BENCHMARK INFORMATION benchmark definition: benchexec/og-proof-generation.xml name: og-proof-generation run sets: EmpireAutomataProducerTest-NoAssert date: Sat, 2025-03-15 19:58:47 CET tool: shell tool executable: ./run-test.sh options: success '1 tests successful' failure '1 tests failed' parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s hardware requirements: - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.12-5-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ PetriOwickiGriesTestSuite-WithAssert Run set 1 of 6: skipped NaiveOwickiGriesTestSuite-WithAssert Run set 2 of 6: skipped PetriOwickiGriesTestSuite-NoAssert Run set 3 of 6: skipped NaiveOwickiGriesTestSuite-NoAssert Run set 4 of 6: skipped EmpireAutomataProducerTest-WithAssert Run set 5 of 6: skipped EmpireAutomataProducerTest-NoAssert Run set 6 of 6 with options 'success 1 tests successful failure 1 tests failed command ${benchmark_path}/../run-test.sh Library-ProofsTest de.uni_freiburg.informatik.ultimate.lib.proofs.owickigries.EmpireAutomataProducerTest ${inputfile_name} false' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- NoDataRace.04-mutex_02-simple_nr.ats done 5.89 2.54 None NoDataRace.04-mutex_04-munge_nr.ats done 13.65 7.08 None NoDataRace.04-mutex_05-lockfuns.ats done 5.56 2.77 None NoDataRace.04-mutex_07-ps_nr.ats done 5.29 2.77 None NoDataRace.04-mutex_12-ptr_nr.ats done 7.11 3.27 None NoDataRace.04-mutex_15-funarg_nr.ats done 6.41 3.01 None NoDataRace.04-mutex_17-ps_add1_nr.ats done 6.34 2.77 None NoDataRace.04-mutex_18-glob_guards.ats done 5.88 2.86 None NoDataRace.04-mutex_22-deref_read.ats done 6.85 2.99 None NoDataRace.04-mutex_28-base_nr.ats done 6.43 2.92 None NoDataRace.04-mutex_36-trylock_nr.ats done 13.29 5.93 None NoDataRace.04-mutex_41-pt_rwlock.ats done 6.10 2.78 None NoDataRace.04-mutex_42-trylock_2mutex.ats done 6.99 3.04 None NoDataRace.04-mutex_43-thread_create_nr.ats done 6.33 2.78 None NoDataRace.04-mutex_46-escape_nr.ats done 7.49 2.82 None NoDataRace.04-mutex_51-mutex_ptr.ats done 8.28 3.33 None NoDataRace.04-mutex_54-pt_rwlock_ww.ats done 6.03 2.24 None NoDataRace.05-lval_ls_02-idx_nr.ats done 6.34 2.47 None NoDataRace.05-lval_ls_04-fld_nr.ats done 5.94 2.67 None NoDataRace.05-lval_ls_12-fldsense_nr.ats done 8.00 3.19 None NoDataRace.06-symbeq_11-equ_nr.ats done 8.67 3.72 None NoDataRace.06-symbeq_13-equ_proc_nr.ats ERROR (1) 39.58 32.31 None NoDataRace.06-symbeq_15-list_entry_nr.ats TIMEOUT 300.42 278.06 None NoDataRace.06-symbeq_23-idxsense_nr.ats done 9.98 4.03 None NoDataRace.09-regions_09-arraylist.ats ERROR (1) 38.36 32.09 None NoDataRace.10-synch_01-thread_unique.ats done 4.58 2.42 None NoDataRace.10-synch_03-two_unique.ats done 5.27 1.92 None NoDataRace.13-privatized_01-priv_nr_true.ats done 6.65 2.46 None NoDataRace.13-privatized_03-priv_inv.ats done 6.50 2.43 None NoDataRace.13-privatized_18-first-reads_true.ats done 5.81 2.38 None NoDataRace.13-privatized_18-first-reads_unknown_1_neg.ats done 5.58 2.16 None NoDataRace.13-privatized_18-first-reads_unknown_1_pos.ats done 5.76 2.29 None NoDataRace.13-privatized_18-first-reads_unknown_2_neg.ats done 5.56 2.32 None NoDataRace.13-privatized_18-first-reads_unknown_2_pos.ats done 5.67 2.28 None NoDataRace.13-privatized_19-publish-precision_true.ats done 5.61 2.26 None NoDataRace.13-privatized_19-publish-precision_unknown_1_neg.ats done 6.04 2.14 None NoDataRace.13-privatized_19-publish-precision_unknown_1_pos.ats done 5.73 2.05 None NoDataRace.13-privatized_19-publish-precision_unknown_2_neg.ats done 6.08 2.11 None NoDataRace.13-privatized_19-publish-precision_unknown_2_pos.ats done 5.65 2.16 None NoDataRace.13-privatized_20-publish-regression_true.ats done 5.89 2.20 None NoDataRace.13-privatized_24-multiple-protecting_true.ats done 9.96 3.02 None NoDataRace.13-privatized_25-struct_nr_true.ats done 6.70 2.51 None NoDataRace.13-privatized_27-multiple-protecting2_true.ats done 11.36 3.44 None NoDataRace.13-privatized_29-multiple-protecting2-vesal_true.ats done 6.67 2.68 None NoDataRace.13-privatized_30-traces-oplus-vs-meet_true.ats done 6.46 2.55 None NoDataRace.13-privatized_31-traces-mine-vs-mutex_true.ats done 6.23 2.50 None NoDataRace.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.ats done 6.60 2.55 None NoDataRace.13-privatized_33-traces-v-matters_true.ats done 6.58 2.45 None NoDataRace.13-privatized_34-traces-minepp-L-needs-to-be-um_true.ats done 6.09 2.40 None NoDataRace.13-privatized_35-traces-ex-2_true.ats done 5.48 1.95 None NoDataRace.13-privatized_36-traces-ex-3_true.ats done 5.66 2.00 None NoDataRace.13-privatized_37-traces-ex-4_true.ats done 5.76 2.08 None NoDataRace.13-privatized_38-traces-ex-4-switch_true.ats done 6.28 2.32 None NoDataRace.13-privatized_40-traces-ex-6_true.ats done 5.92 2.28 None NoDataRace.13-privatized_41-traces-ex-7_unknown_1_neg.ats done 5.78 2.18 None NoDataRace.13-privatized_41-traces-ex-7_unknown_1_pos.ats done 5.98 2.19 None NoDataRace.13-privatized_42-traces-ex-mini_true.ats done 6.13 2.29 None NoDataRace.13-privatized_44-traces-mine2_true.ats done 6.12 2.33 None NoDataRace.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.ats done 5.77 2.23 None NoDataRace.13-privatized_46-refine-protected1_true.ats done 5.42 2.17 None NoDataRace.13-privatized_47-refine-protected2_true.ats done 5.42 2.19 None NoDataRace.13-privatized_52-refine-protected-loop2-small_true.ats done 5.13 1.81 None NoDataRace.13-privatized_57-singlethreaded-unlock_true.ats done 5.38 1.68 None NoDataRace.13-privatized_58-singlethreaded-lock_true.ats done 5.30 1.80 None NoDataRace.13-privatized_66-mine-W-init_true.ats done 4.91 1.69 None NoDataRace.13-privatized_67-pthread_cond_wait_true.ats done 7.94 2.93 None NoDataRace.13-privatized_67-pthread_cond_wait_unknown_1_neg.ats done 8.09 3.14 None NoDataRace.13-privatized_67-pthread_cond_wait_unknown_1_pos.ats done 7.73 3.30 None NoDataRace.13-privatized_68-pfscan_protected_loop_minimal_interval_true.ats ERROR (1) 38.39 31.71 None NoDataRace.13-privatized_69-refine-protected-loop-interval_true.ats done 7.18 2.55 None NoDataRace.18_read_write_lock.ats done 5.65 2.17 None NoDataRace.28-race_reach_45-escape_racing.ats done 7.15 2.82 None NoDataRace.28-race_reach_46-escape_racefree.ats done 7.51 2.91 None NoDataRace.36-apron_11-traces-max-simple_true.ats done 5.84 2.23 None NoDataRace.36-apron_16-traces-unprot2_true.ats done 5.06 1.98 None NoDataRace.36-apron_17-traces-rpb-litmus_unknown_1_neg.ats done 6.18 2.29 None NoDataRace.36-apron_17-traces-rpb-litmus_unknown_1_pos.ats done 6.04 2.14 None NoDataRace.36-apron_21-traces-cluster-based_true.ats done 10.42 3.52 None NoDataRace.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.ats done 10.44 4.13 None NoDataRace.arithmetic_prog_bad.ats done 17.41 9.72 None NoDataRace.arithmetic_prog_ok.ats done 17.08 9.51 None NoDataRace.array-eq-symm.wvr.ats ERROR (1) 104.16 97.22 None NoDataRace.bench-exp1x3.wvr.ats done 7.06 2.73 None NoDataRace.bench-exp2x3.wvr.ats done 29.52 13.66 None NoDataRace.bigshot_s.ats done 5.85 2.58 None NoDataRace.bigshot_s2.ats done 5.64 2.53 None NoDataRace.char_generic_nvram_read_nvram_write_nvram.ats TIMEOUT 300.13 289.53 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.ats TIMEOUT 300.70 286.07 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.ats TIMEOUT 300.75 140.26 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.ats TIMEOUT 300.28 151.31 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.ats TIMEOUT 301.89 153.56 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.ats TIMEOUT 300.77 285.53 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.ats TIMEOUT 300.33 152.04 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.ats TIMEOUT 300.92 284.63 None NoDataRace.chl-array-int-symm.wvr.ats TIMEOUT 300.98 290.61 None NoDataRace.chl-chromosome-opt-symm.wvr.ats ERROR (1) 38.77 31.94 None NoDataRace.chl-chromosome-symm.wvr.ats TIMEOUT 300.96 291.10 None NoDataRace.chl-collitem-subst.wvr.ats done 11.74 5.80 None NoDataRace.chl-collitem-symm.wvr.ats done 8.49 2.68 None NoDataRace.chl-collitem-trans.wvr.ats done 12.01 5.77 None NoDataRace.chl-exp-term-symm.wvr.ats done 13.24 5.15 None NoDataRace.chl-file-item-subst.wvr.ats ERROR (1) 221.45 212.14 None NoDataRace.chl-file-item-symm.wvr.ats done 20.19 11.39 None NoDataRace.chl-file-item-trans.wvr.ats ERROR (1) 229.73 220.59 None NoDataRace.chl-match-subst.wvr.ats ERROR (1) 221.68 212.76 None NoDataRace.chl-match-symm.wvr.ats ERROR (1) 38.71 31.18 None NoDataRace.chl-match-trans.wvr.ats ERROR (1) 218.25 209.24 None NoDataRace.chl-name-comparator-symm.wvr.ats TIMEOUT 301.78 150.51 None NoDataRace.chl-node-symm.wvr.ats TIMEOUT 301.02 290.01 None NoDataRace.chl-poker-hand-subst.wvr.ats TIMEOUT 300.41 161.05 None NoDataRace.chl-poker-hand-symm.wvr.ats done 20.52 10.40 None NoDataRace.chl-poker-hand-trans.wvr.ats TIMEOUT 301.65 150.27 None NoDataRace.chl-simpl-str-subst.wvr.ats ERROR (1) 38.72 31.13 None NoDataRace.chl-simpl-str-symm.wvr.ats done 9.30 2.76 None NoDataRace.chl-simpl-str-trans.wvr.ats ERROR (1) 39.64 31.23 None NoDataRace.chl-sre-subst.wvr.ats done 9.97 2.83 None NoDataRace.chl-sre-symm.wvr.ats done 7.10 2.09 None NoDataRace.chl-sre-trans.wvr.ats done 9.94 2.76 None NoDataRace.chl-time-subst.wvr.ats done 8.09 2.73 None NoDataRace.chl-time-symm.wvr.ats done 6.08 2.06 None NoDataRace.chl-time-trans.wvr.ats done 8.39 2.85 None NoDataRace.chl-word-symm.wvr.ats TIMEOUT 301.08 290.78 None NoDataRace.circular_buffer_bad.ats ERROR (1) 37.48 31.44 None NoDataRace.circular_buffer_ok.ats ERROR (1) 200.86 193.11 None NoDataRace.clever.wvr.ats ERROR (1) 37.69 31.64 None NoDataRace.dekker-unfair.ats done 5.94 1.80 None NoDataRace.dekker.ats done 5.87 1.98 None NoDataRace.fib_safe-10.ats done 13.38 7.38 None NoDataRace.fib_safe-11.ats done 13.24 7.34 None NoDataRace.fib_safe-12.ats done 13.24 7.29 None NoDataRace.fib_safe-5.ats done 13.16 7.31 None NoDataRace.fib_safe-6.ats done 13.24 7.27 None NoDataRace.fib_safe-7.ats done 13.27 7.25 None NoDataRace.fib_unsafe-10.ats done 13.04 7.33 None NoDataRace.fib_unsafe-11.ats done 13.36 7.28 None NoDataRace.fib_unsafe-12.ats done 13.48 7.35 None NoDataRace.fib_unsafe-5.ats done 12.87 7.05 None NoDataRace.fib_unsafe-6.ats done 13.15 7.24 None NoDataRace.fib_unsafe-7.ats done 12.95 7.09 None NoDataRace.fibonacci.wvr.ats ERROR (1) 37.10 31.33 None NoDataRace.lamport.ats done 7.60 2.15 None NoDataRace.lazy01.ats done 6.13 2.01 None NoDataRace.mix000.oepc.ats done 9.19 3.88 None NoDataRace.mix000.opt.ats done 8.49 3.66 None NoDataRace.mix001.oepc.ats done 9.42 4.22 None NoDataRace.mix001.opt.ats done 9.33 3.73 None NoDataRace.mix002.oepc.ats done 8.22 3.51 None NoDataRace.mix002.opt.ats done 8.30 3.52 None NoDataRace.mix003.oepc.ats done 8.07 3.32 None NoDataRace.mix003_power.opt_pso.opt_rmo.opt_tso.opt.ats done 8.46 3.74 None NoDataRace.mix004.oepc.ats done 8.51 3.79 None NoDataRace.mix004.opt.ats done 8.77 3.94 None NoDataRace.mix005.opt.ats done 8.94 4.03 None NoDataRace.mix005_power.oepc_pso.oepc_rmo.oepc.ats done 8.70 3.88 None NoDataRace.mix005_tso.oepc.ats done 8.33 3.40 None NoDataRace.mix006.opt.ats done 8.59 3.68 None NoDataRace.mix006_power.oepc_pso.oepc_rmo.oepc.ats done 8.04 3.30 None NoDataRace.mix006_tso.oepc.ats done 13.00 7.15 None NoDataRace.mix007.oepc.ats done 8.73 3.74 None NoDataRace.mix007.opt.ats done 9.07 3.97 None NoDataRace.mix008.opt.ats done 8.68 3.86 None NoDataRace.mix008_power.oepc_pso.oepc_rmo.oepc.ats done 8.62 3.81 None NoDataRace.mix008_tso.oepc.ats done 13.57 7.44 None NoDataRace.mix009.oepc.ats done 7.79 2.86 None NoDataRace.mix009.opt.ats done 9.16 3.56 None NoDataRace.mix010.oepc.ats done 8.61 3.52 None NoDataRace.mix010.opt.ats done 8.65 3.72 None NoDataRace.mix011.opt.ats done 8.77 3.80 None NoDataRace.mix011_power.oepc_pso.oepc_rmo.oepc.ats done 8.37 3.55 None NoDataRace.mix011_tso.oepc.ats done 7.75 3.09 None NoDataRace.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.ats done 7.52 2.87 None NoDataRace.mix012_pso.opt_tso.opt.ats done 8.32 3.34 None NoDataRace.mix013.oepc.ats done 8.60 3.77 None NoDataRace.mix013.opt.ats done 8.94 3.98 None NoDataRace.mix014.opt.ats done 9.10 4.04 None NoDataRace.mix014_power.oepc_pso.oepc_rmo.oepc.ats done 9.18 4.03 None NoDataRace.mix014_tso.oepc.ats done 12.63 7.12 None NoDataRace.mix015.oepc.ats done 8.43 3.59 None NoDataRace.mix015.opt.ats done 8.72 3.67 None NoDataRace.mix016.oepc.ats done 7.89 3.05 None NoDataRace.mix016_power.opt_rmo.opt.ats done 7.83 3.18 None NoDataRace.mix016_pso.opt_tso.opt.ats done 8.76 3.70 None NoDataRace.mix017.oepc.ats done 8.39 3.81 None NoDataRace.mix017_power.opt_rmo.opt.ats done 8.00 3.49 None NoDataRace.mix017_pso.opt_tso.opt.ats done 8.92 3.98 None NoDataRace.mix018.opt.ats done 8.95 3.94 None NoDataRace.mix018_power.oepc_pso.oepc_rmo.oepc.ats done 8.81 3.67 None NoDataRace.mix018_tso.oepc.ats done 9.08 3.84 None NoDataRace.mix019.opt.ats done 8.79 3.77 None NoDataRace.mix019_power.oepc_pso.oepc_rmo.oepc.ats done 8.58 3.51 None NoDataRace.mix019_tso.oepc.ats done 8.21 3.45 None NoDataRace.mix020.oepc.ats done 8.58 4.02 None NoDataRace.mix020.opt.ats done 9.17 4.05 None NoDataRace.mix021.opt.ats done 9.59 4.55 None NoDataRace.mix021_power.oepc_pso.oepc_rmo.oepc.ats done 8.77 3.96 None NoDataRace.mix021_tso.oepc.ats done 8.16 3.48 None NoDataRace.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.67 2.86 None NoDataRace.mix022_tso.ats done 8.39 3.40 None NoDataRace.mix023_power.oepc_pso.oepc_rmo.oepc.ats done 8.92 3.83 None NoDataRace.mix023_power.opt_pso.opt_rmo.opt.ats done 8.27 3.37 None NoDataRace.mix023_tso.ats done 14.37 8.06 None NoDataRace.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 8.43 3.42 None NoDataRace.mix024_power.opt_pso.opt_rmo.opt.ats done 8.11 3.22 None NoDataRace.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 8.31 3.33 None NoDataRace.mix025_pso.opt_rmo.opt.ats done 7.68 2.99 None NoDataRace.mix026.oepc.ats done 8.63 3.56 None NoDataRace.mix026_power.opt_tso.opt.ats done 9.08 3.85 None NoDataRace.mix026_pso.opt_rmo.opt.ats done 8.48 3.44 None NoDataRace.mix027_power.oepc_pso.oepc_rmo.oepc.ats done 8.38 3.65 None NoDataRace.mix027_power.opt_pso.opt_rmo.opt.ats done 8.48 3.50 None NoDataRace.mix027_tso.ats done 8.91 3.71 None NoDataRace.mix028_power.oepc_pso.oepc_rmo.oepc.ats done 8.06 3.50 None NoDataRace.mix028_power.opt_pso.opt_rmo.opt.ats done 7.64 3.33 None NoDataRace.mix028_tso.ats done 8.20 3.69 None NoDataRace.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 8.61 3.66 None NoDataRace.mix029_power.opt_pso.opt_rmo.opt.ats done 8.14 3.33 None NoDataRace.mix030_power.oepc_pso.oepc_rmo.oepc.ats done 8.66 3.86 None NoDataRace.mix030_power.opt_pso.opt_rmo.opt.ats done 7.84 3.39 None NoDataRace.mix030_tso.ats done 9.05 3.95 None NoDataRace.mix031.oepc.ats done 7.20 3.15 None NoDataRace.mix031.opt.ats done 8.00 3.21 None NoDataRace.mix032.oepc.ats done 8.62 3.82 None NoDataRace.mix032.opt.ats done 7.32 3.24 None NoDataRace.mix033.opt.ats done 7.76 3.20 None NoDataRace.mix033_power.oepc_pso.oepc_rmo.oepc.ats done 7.85 3.37 None NoDataRace.mix033_tso.oepc.ats done 8.03 3.28 None NoDataRace.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.ats done 7.67 3.11 None NoDataRace.mix034_pso.opt_tso.opt.ats done 7.39 3.06 None NoDataRace.mix035.oepc.ats done 7.88 3.56 None NoDataRace.mix035_power.opt_rmo.opt.ats done 8.21 3.51 None NoDataRace.mix035_pso.opt_tso.opt.ats done 7.39 3.15 None NoDataRace.mix036.oepc.ats done 8.46 4.01 None NoDataRace.mix036_power.opt_rmo.opt.ats done 8.48 3.69 None NoDataRace.mix036_pso.opt_tso.opt.ats done 7.54 3.29 None NoDataRace.mix037.opt.ats done 7.64 3.17 None NoDataRace.mix037_power.oepc_pso.oepc_rmo.oepc.ats done 8.85 3.79 None NoDataRace.mix037_tso.oepc.ats done 8.97 3.77 None NoDataRace.mix038.opt.ats done 7.77 3.20 None NoDataRace.mix038_power.oepc_pso.oepc_rmo.oepc.ats done 7.97 3.55 None NoDataRace.mix038_tso.oepc.ats done 7.91 3.47 None NoDataRace.mix039.oepc.ats done 8.61 4.00 None NoDataRace.mix039.opt.ats done 7.87 3.35 None NoDataRace.mix040.opt.ats done 8.11 3.28 None NoDataRace.mix040_power.oepc_pso.oepc_rmo.oepc.ats done 8.91 3.81 None NoDataRace.mix040_tso.oepc.ats done 7.94 3.31 None NoDataRace.mix041_power.oepc_pso.oepc_rmo.oepc.ats done 7.63 2.93 None NoDataRace.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 8.23 2.96 None NoDataRace.mix042.oepc.ats done 8.05 3.37 None NoDataRace.mix042.opt.ats done 7.40 3.11 None NoDataRace.mix043.oepc.ats done 8.50 3.89 None NoDataRace.mix043.opt.ats done 7.52 3.24 None NoDataRace.mix044.opt.ats done 8.44 3.30 None NoDataRace.mix044_power.oepc_pso.oepc_rmo.oepc.ats done 9.02 3.90 None NoDataRace.mix044_tso.oepc.ats done 8.38 3.56 None NoDataRace.mix045_power.oepc_pso.oepc_rmo.oepc.ats done 8.52 3.51 None NoDataRace.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 7.70 2.96 None NoDataRace.mix046.oepc.ats done 9.15 3.90 None NoDataRace.mix046.opt.ats done 8.01 3.21 None NoDataRace.mix047_power.oepc_pso.oepc_rmo.oepc.ats done 8.95 3.89 None NoDataRace.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 7.94 3.31 None NoDataRace.mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.ats done 7.62 3.08 None NoDataRace.mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.ats done 8.34 3.51 None NoDataRace.mix050.ats done 8.48 3.87 None NoDataRace.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 8.39 3.75 None NoDataRace.mix051_pso.opt_rmo.opt_tso.opt.ats done 7.60 3.09 None NoDataRace.mix051_tso.oepc.ats done 8.38 3.49 None NoDataRace.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 8.00 3.26 None NoDataRace.mix052_pso.opt_rmo.opt_tso.opt.ats done 7.14 2.80 None NoDataRace.mix052_tso.oepc.ats done 8.11 3.19 None NoDataRace.mix053.opt.ats done 8.08 3.10 None NoDataRace.mix053_power.oepc_pso.oepc_rmo.oepc.ats done 9.18 4.23 None NoDataRace.mix053_tso.oepc.ats done 8.34 3.44 None NoDataRace.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 7.86 3.16 None NoDataRace.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 7.09 2.98 None NoDataRace.mix055.opt.ats done 8.03 3.25 None NoDataRace.mix055_power.oepc_pso.oepc_rmo.oepc.ats done 9.17 4.30 None NoDataRace.mix055_tso.oepc.ats done 8.71 3.61 None NoDataRace.mix056_power.oepc_pso.oepc_rmo.oepc.ats done 7.79 3.42 None NoDataRace.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 7.32 2.82 None NoDataRace.mix057_power.oepc_pso.oepc_rmo.oepc.ats done 8.35 3.55 None NoDataRace.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 8.23 3.41 None NoDataRace.mult-comm.wvr.ats done 6.38 2.25 None NoDataRace.mult-dist.wvr.ats done 9.75 3.16 None NoDataRace.mult-flipped-dist.wvr.ats done 10.04 3.23 None NoDataRace.parallel-lamport.wvr.ats done 11.66 3.90 None NoDataRace.parallel-min-max-1.wvr.ats done 13.55 4.10 None NoDataRace.parallel-misc-1.wvr.ats TIMEOUT 301.02 290.92 None NoDataRace.parallel-misc-2-unrolled-atomic.wvr.ats done 7.61 2.52 None NoDataRace.parallel-misc-2-unrolled.wvr.ats done 8.11 2.70 None NoDataRace.parallel-misc-2.wvr.ats done 9.70 4.15 None NoDataRace.parallel-misc-3-extended.wvr.ats done 40.04 30.46 None NoDataRace.parallel-misc-3.wvr.ats done 8.31 2.82 None NoDataRace.parallel-misc-4.wvr.ats done 7.73 2.55 None NoDataRace.parallel-misc-5.wvr.ats done 8.90 2.82 None NoDataRace.parallel-parallel-sum-1-dsl.wvr.ats done 17.11 7.76 None NoDataRace.parallel-parallel-sum-1.wvr.ats done 23.37 14.74 None NoDataRace.parallel-parallel-sum-2.wvr.ats ERROR (1) 148.33 140.31 None NoDataRace.parallel-parallel-sum-equiv.wvr.ats done 12.19 4.58 None NoDataRace.parallel-simple-equiv.wvr.ats done 7.20 2.41 None NoDataRace.parallel-ticket-2.wvr.ats done 6.75 2.38 None NoDataRace.parallel-ticket-3.wvr.ats done 9.90 2.99 None NoDataRace.parallel-ticket-4.wvr.ats done 18.26 6.52 None NoDataRace.peterson.ats done 6.05 2.16 None NoDataRace.popl20-bad-buffer-mult-alt.wvr.ats ERROR (1) 65.96 58.72 None NoDataRace.popl20-bad-buffer-mult-alt2.wvr.ats ERROR (1) 65.67 57.47 None NoDataRace.popl20-bad-buffer-mult-alt3.wvr.ats ERROR (1) 65.21 58.15 None NoDataRace.popl20-bad-commit-1.wvr-bad.ats TIMEOUT 301.09 290.06 None NoDataRace.popl20-bad-counter-queue.wvr.ats done 9.27 2.51 None NoDataRace.popl20-bad-counter-queue2.wvr.ats done 6.27 1.89 None NoDataRace.popl20-bad-ring-nondet.wvr.ats TIMEOUT 300.16 288.83 None NoDataRace.popl20-bad-ring.wvr.ats ERROR (1) 221.23 211.89 None NoDataRace.popl20-bad-threaded-sum-2.wvr.ats done 6.39 1.85 None NoDataRace.popl20-channel-sum.wvr.ats done 10.73 3.00 None NoDataRace.popl20-commit-1.wvr.ats ERROR (1) 111.25 103.21 None NoDataRace.popl20-commit-2.wvr.ats TIMEOUT 301.08 290.03 None NoDataRace.popl20-counter-determinism.wvr.ats done 8.61 2.02 None NoDataRace.popl20-counter-fun.wvr.ats done 7.77 2.15 None NoDataRace.popl20-difference-det.wvr.ats done 8.11 2.05 None NoDataRace.popl20-figure1-alt.wvr.ats done 5.70 1.59 None NoDataRace.popl20-figure1.wvr.ats done 5.19 1.55 None NoDataRace.popl20-figure3.wvr.ats done 5.35 1.54 None NoDataRace.popl20-horseshoe.wvr.ats ERROR (1) 37.64 31.19 None NoDataRace.popl20-min-max-dec.wvr.ats done 9.85 2.40 None NoDataRace.popl20-min-max-inc-dec.wvr.ats done 20.78 6.94 None NoDataRace.popl20-min-max-inc.wvr.ats done 9.89 2.53 None NoDataRace.popl20-more-array-sum-alt.wvr.ats done 25.84 11.03 None NoDataRace.popl20-more-array-sum-alt2.wvr.ats done 8.16 2.43 None NoDataRace.popl20-more-array-sum2.wvr.ats done 8.93 2.69 None NoDataRace.popl20-more-buffer-mult.wvr.ats ERROR (1) 38.04 31.12 None NoDataRace.popl20-more-buffer-mult2.wvr.ats ERROR (1) 38.09 31.11 None NoDataRace.popl20-more-buffer-mult3.wvr.ats ERROR (1) 38.85 31.20 None NoDataRace.popl20-more-buffer-series.wvr.ats done 35.53 25.80 None NoDataRace.popl20-more-buffer-series2.wvr.ats done 34.67 25.25 None NoDataRace.popl20-more-buffer-series3.wvr.ats done 35.61 26.03 None NoDataRace.popl20-more-dec-subseq.wvr.ats TIMEOUT 300.84 290.84 None NoDataRace.popl20-more-inc-subseq.wvr.ats TIMEOUT 300.87 290.71 None NoDataRace.popl20-more-max-array-hom.wvr.ats done 8.43 2.33 None NoDataRace.popl20-more-max-array.wvr.ats done 7.80 2.24 None NoDataRace.popl20-more-min-array-hom.wvr.ats done 8.46 2.33 None NoDataRace.popl20-more-min-array.wvr.ats done 8.08 2.24 None NoDataRace.popl20-more-min-le-max.wvr.ats done 8.35 2.36 None NoDataRace.popl20-more-mts.wvr.ats done 47.40 29.83 None NoDataRace.popl20-more-multiply-verify.wvr.ats done 24.57 16.97 None NoDataRace.popl20-more-nonblocking-counter-alt2.wvr.ats done 5.39 1.53 None NoDataRace.popl20-more-queue-add-2-nl.wvr.ats ERROR (1) 37.59 31.20 None NoDataRace.popl20-more-queue-add-3-nl.wvr.ats TIMEOUT 300.74 291.39 None NoDataRace.popl20-more-sum-array-hom.wvr.ats ERROR (1) 39.87 31.11 None NoDataRace.popl20-mult-4.wvr.ats done 8.81 2.11 None NoDataRace.popl20-mult-equiv.wvr.ats done 5.93 1.71 None NoDataRace.popl20-nonblocking-cntr-alt.wvr.ats done 5.61 1.58 None NoDataRace.popl20-nonblocking-cntr.wvr.ats done 5.11 1.57 None NoDataRace.popl20-prod-cons.wvr.ats done 8.41 2.36 None NoDataRace.popl20-prod-cons3.wvr.ats done 34.31 24.45 None NoDataRace.popl20-proofs-counter-add-4-semi-Q67.wvr.ats done 12.36 4.27 None NoDataRace.popl20-queue-add-2.wvr.ats done 7.76 2.22 None NoDataRace.popl20-queue-add-3.wvr.ats ERROR (1) 38.02 31.27 None NoDataRace.popl20-send-receive-alt.wvr.ats done 7.84 2.15 None NoDataRace.popl20-send-receive.wvr.ats done 8.74 2.25 None NoDataRace.popl20-simple-array-sum.wvr.ats done 9.79 2.39 None NoDataRace.popl20-simple-queue.wvr.ats done 6.90 2.08 None NoDataRace.popl20-threaded-sum-3.wvr.ats done 7.63 2.06 None NoDataRace.popl20-two-queue.wvr.ats ERROR (1) 38.13 31.18 None NoDataRace.pthread-demo-datarace-1.ats done 5.90 1.69 None NoDataRace.pthread-demo-datarace-3.ats done 5.45 1.66 None NoDataRace.queue.ats TIMEOUT 301.00 289.96 None NoDataRace.queue_longer.ats TIMEOUT 300.59 158.19 None NoDataRace.queue_ok.ats TIMEOUT 300.93 167.88 None NoDataRace.qw2004-2b.ats done 5.84 1.78 None NoDataRace.race-1_1-join.ats done 6.82 2.16 None NoDataRace.race-1_2-join.ats done 6.54 2.14 None NoDataRace.race-1_3-join.ats done 6.66 2.12 None NoDataRace.race-2_2-container_of.ats done 10.96 3.39 None NoDataRace.race-2_3-container_of.ats done 12.85 4.01 None NoDataRace.race-2_4-container_of.ats done 11.90 3.80 None NoDataRace.race-2_5-container_of.ats done 12.02 3.82 None NoDataRace.race-3_2-container_of-global.ats done 17.32 8.05 None NoDataRace.race-4_1-thread_local_vars.ats ERROR (1) 37.68 31.20 None NoDataRace.read_write_lock-1.ats done 6.01 1.83 None NoDataRace.read_write_lock-2.ats done 5.36 1.69 None NoDataRace.rfi000_power.oepc_pso.oepc_rmo.oepc.ats done 9.64 3.90 None NoDataRace.rfi000_power.opt_pso.opt_rmo.opt.ats done 7.04 2.44 None NoDataRace.rfi000_tso.ats done 8.92 4.00 None NoDataRace.rfi001_power.oepc_pso.oepc_rmo.oepc.ats done 7.70 2.68 None NoDataRace.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 7.71 2.61 None NoDataRace.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.86 4.23 None NoDataRace.rfi002_tso.ats done 12.17 6.25 None NoDataRace.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.19 2.54 None NoDataRace.rfi003_tso.ats done 9.36 4.19 None NoDataRace.rfi004.ats done 7.37 2.46 None NoDataRace.rfi005.ats done 8.95 3.70 None NoDataRace.rfi006_power.oepc.ats done 10.46 4.00 None NoDataRace.rfi006_power.opt.ats done 11.43 4.36 None NoDataRace.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 8.73 3.72 None NoDataRace.rfi006_rmo.ats done 9.84 3.68 None NoDataRace.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.14 2.73 None NoDataRace.rfi007_tso.ats done 8.26 3.28 None NoDataRace.rfi008.oepc.ats done 8.68 3.68 None NoDataRace.rfi008.opt.ats done 8.20 3.33 None NoDataRace.rfi009_power.oepc.ats done 11.34 4.32 None NoDataRace.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 8.76 3.72 None NoDataRace.rfi009_rmo.oepc.ats done 10.38 4.05 None NoDataRace.rfi010.ats done 8.30 3.29 None NoDataRace.safe000_power.oepc.ats done 12.08 5.29 None NoDataRace.safe000_power.opt.ats done 10.01 3.91 None NoDataRace.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.91 1.86 None NoDataRace.safe000_rmo.ats done 11.73 4.66 None NoDataRace.safe001_power.oepc.ats done 12.55 5.31 None NoDataRace.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.ats done 7.41 2.85 None NoDataRace.safe001_rmo.oepc.ats done 11.41 4.56 None NoDataRace.safe001_tso.ats done 5.44 1.66 None NoDataRace.safe002_power.oepc.ats done 12.23 5.26 None NoDataRace.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.ats done 7.18 2.76 None NoDataRace.safe002_rmo.oepc.ats done 11.22 4.57 None NoDataRace.safe002_tso.ats done 5.66 1.70 None NoDataRace.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.76 4.48 None NoDataRace.safe003_power.opt.ats done 10.07 3.83 None NoDataRace.safe003_tso.ats done 5.65 1.75 None NoDataRace.safe004_power.oepc_pso.oepc_rmo.oepc.ats done 9.87 4.38 None NoDataRace.safe004_power.opt_pso.opt_rmo.opt.ats done 7.55 2.76 None NoDataRace.safe004_tso.ats done 5.57 1.74 None NoDataRace.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.49 2.86 None NoDataRace.safe005_tso.ats done 5.67 1.83 None NoDataRace.safe006_power.oepc-thin000_power.oepc.ats done 12.30 4.63 None NoDataRace.safe006_power.opt-thin000_power.opt.ats done 9.45 3.55 None NoDataRace.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.43 1.70 None NoDataRace.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.ats done 8.57 2.85 None NoDataRace.safe007_power.oepc-thin001_power.oepc.ats done 9.36 3.35 None NoDataRace.safe007_power.opt-thin001_power.opt.ats done 10.02 3.70 None NoDataRace.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.93 1.80 None NoDataRace.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.ats done 8.74 2.99 None NoDataRace.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.64 3.02 None NoDataRace.safe008_power.opt.ats done 10.24 4.00 None NoDataRace.safe008_tso.ats done 5.46 1.85 None NoDataRace.safe009_power.oepc.ats done 11.08 4.17 None NoDataRace.safe009_power.opt.ats done 10.17 3.91 None NoDataRace.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.23 1.65 None NoDataRace.safe009_rmo.oepc.ats done 11.23 3.74 None NoDataRace.safe009_rmo.opt.ats done 8.89 3.48 None NoDataRace.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.50 2.76 None NoDataRace.safe010_tso.ats done 5.90 1.98 None NoDataRace.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.ats done 8.01 3.00 None NoDataRace.safe011_power.opt_pso.opt.ats done 8.13 3.03 None NoDataRace.safe011_tso.ats done 5.82 1.90 None NoDataRace.safe012_power.oepc.ats done 9.01 3.36 None NoDataRace.safe012_power.opt.ats done 9.67 3.71 None NoDataRace.safe012_pso.oepc_pso.opt_rmo.opt.ats done 7.40 2.95 None NoDataRace.safe012_rmo.oepc.ats done 8.64 2.98 None NoDataRace.safe012_tso.ats done 5.84 1.82 None NoDataRace.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.65 2.95 None NoDataRace.safe013_tso.ats done 5.61 1.99 None NoDataRace.safe014_power.oepc.ats done 9.72 3.50 None NoDataRace.safe014_power.opt.ats done 9.57 3.64 None NoDataRace.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.92 1.74 None NoDataRace.safe014_rmo.oepc.ats done 8.56 2.89 None NoDataRace.safe014_rmo.opt.ats done 12.15 4.89 None NoDataRace.safe015_power.oepc.ats done 14.52 6.58 None NoDataRace.safe015_power.opt.ats done 12.80 5.74 None NoDataRace.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.62 1.90 None NoDataRace.safe015_rmo.ats done 12.71 4.86 None NoDataRace.safe016_power.oepc.ats done 12.06 4.54 None NoDataRace.safe016_power.opt.ats done 12.18 5.09 None NoDataRace.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.74 1.92 None NoDataRace.safe016_rmo.oepc.ats done 11.29 4.11 None NoDataRace.safe016_rmo.opt.ats done 11.19 4.57 None NoDataRace.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.56 2.88 None NoDataRace.safe017_tso.ats done 5.57 1.83 None NoDataRace.safe018_power.oepc.ats done 9.29 3.40 None NoDataRace.safe018_power.opt.ats done 13.14 5.57 None NoDataRace.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.65 1.94 None NoDataRace.safe018_rmo.oepc.ats done 8.35 3.17 None NoDataRace.safe018_rmo.opt.ats done 11.03 4.74 None NoDataRace.safe019_power.oepc.ats done 11.24 4.86 None NoDataRace.safe019_power.opt.ats done 17.62 8.80 None NoDataRace.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.78 2.03 None NoDataRace.safe019_rmo.oepc.ats done 10.79 4.36 None NoDataRace.safe019_rmo.opt.ats done 10.67 4.55 None NoDataRace.safe020_power.ats done 12.72 5.45 None NoDataRace.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.95 2.05 None NoDataRace.safe020_rmo.ats done 10.97 4.64 None NoDataRace.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.ats done 8.54 3.57 None NoDataRace.safe021_power.opt_pso.opt.ats done 8.05 3.09 None NoDataRace.safe021_tso.ats done 5.76 1.95 None NoDataRace.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.56 2.86 None NoDataRace.safe022_tso.ats done 5.61 1.73 None NoDataRace.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.85 5.37 None NoDataRace.safe023_tso.ats done 5.80 2.03 None NoDataRace.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 8.59 3.56 None NoDataRace.safe024_tso.ats done 5.66 2.14 None NoDataRace.safe025_power.ats done 13.47 6.25 None NoDataRace.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.71 2.12 None NoDataRace.safe025_rmo.ats done 11.72 5.10 None NoDataRace.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 8.17 3.28 None NoDataRace.safe026_tso.ats done 5.72 1.93 None NoDataRace.safe027_power.oepc.ats done 11.88 4.76 None NoDataRace.safe027_power.opt.ats done 13.10 5.62 None NoDataRace.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.06 2.07 None NoDataRace.safe027_rmo.ats done 10.18 4.19 None NoDataRace.safe028_power.ats done 14.12 6.37 None NoDataRace.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.06 2.19 None NoDataRace.safe028_rmo.ats done 10.89 4.62 None NoDataRace.safe029_power.oepc_pso.oepc_rmo.oepc.ats done 6.94 2.89 None NoDataRace.safe029_power.opt_pso.opt_rmo.opt.ats done 7.20 2.79 None NoDataRace.safe029_tso.ats done 5.43 1.92 None NoDataRace.safe030_power.oepc_pso.oepc_rmo.oepc.ats done 8.34 3.45 None NoDataRace.safe030_power.opt_pso.opt_rmo.opt.ats done 7.58 2.95 None NoDataRace.safe030_tso.ats done 6.01 2.09 None NoDataRace.safe031_power.oepc_pso.oepc_rmo.oepc.ats done 7.68 3.14 None NoDataRace.safe031_power.opt_pso.opt_rmo.opt.ats done 7.45 3.11 None NoDataRace.safe031_tso.ats done 5.56 2.17 None NoDataRace.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.56 4.98 None NoDataRace.safe032_tso.ats done 6.10 1.93 None NoDataRace.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.35 2.73 None NoDataRace.safe033_tso.ats done 5.92 1.90 None NoDataRace.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.81 3.22 None NoDataRace.safe034_tso.ats done 6.11 2.17 None NoDataRace.safe035_power.ats done 19.34 10.39 None NoDataRace.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.ats done 5.63 2.16 None NoDataRace.safe036.ats done 6.01 2.10 None NoDataRace.safe037.ats done 6.04 2.12 None NoDataRace.security.wvr.ats done 12.54 6.64 None NoDataRace.singleton.ats done 6.75 2.09 None NoDataRace.singleton_with-uninit-problems.ats done 6.29 2.12 None NoDataRace.stack-1.ats done 8.61 2.80 None NoDataRace.stack-2.ats done 9.53 3.24 None NoDataRace.stack_longer-1.ats done 13.29 4.40 None NoDataRace.stack_longer-2.ats done 10.99 3.87 None NoDataRace.stack_longest-1.ats done 14.68 5.28 None NoDataRace.stack_longest-2.ats done 13.50 4.75 None NoDataRace.stateful01-1.ats done 7.37 2.36 None NoDataRace.stateful01-2.ats done 7.32 2.28 None NoDataRace.sync01.ats done 7.73 2.85 None NoDataRace.szymanski.ats done 6.20 2.44 None NoDataRace.test-context1.wvr.ats done 6.47 2.55 None NoDataRace.test-easy1.wvr.ats done 6.13 2.38 None NoDataRace.test-easy11.wvr.ats done 5.81 2.20 None NoDataRace.test-easy7.wvr.ats done 8.23 2.81 None NoDataRace.test-easy8.wvr.ats done 5.68 1.81 None NoDataRace.test-hard1.wvr.ats done 10.47 2.90 None NoDataRace.test-semi1.wvr.ats done 5.61 1.97 None NoDataRace.thin002_power.oepc.ats done 9.84 4.04 None NoDataRace.thin002_power.opt.ats done 10.14 4.58 None NoDataRace.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.48 2.46 None NoDataRace.thin002_rmo.ats done 8.67 3.61 None NoDataRace.time_var_mutex.ats done 8.03 2.62 None NoDataRace.triangular-1.ats done 5.21 2.15 None NoDataRace.triangular-2.ats done 5.02 1.88 None NoDataRace.triangular-longer-1.ats done 5.44 1.88 None NoDataRace.triangular-longer-2.ats done 5.22 1.85 None NoDataRace.triangular-longest-1.ats done 4.99 1.83 None NoDataRace.triangular-longest-2.ats done 5.24 1.88 None NoDataRace.unroll-2.wvr.ats done 20.38 11.60 None NoDataRace.unroll-3.wvr.ats done 32.32 22.64 None NoDataRace.unroll-4.wvr.ats ERROR (1) 39.46 31.33 None NoDataRace.unroll-5.wvr.ats ERROR (1) 37.97 31.29 None NoDataRace.unroll-cond-2.wvr.ats ERROR (1) 38.91 31.45 None NoDataRace.unroll-cond-3.wvr.ats ERROR (1) 37.89 31.54 None NoDataRace.unroll-cond-4.wvr.ats ERROR (1) 53.72 47.87 None NoDataRace.unroll-cond-5.wvr.ats ERROR (1) 203.11 194.45 None NoDataRace.unwind1-1.ats done 6.01 2.41 None NoDataRace.unwind1-100.ats done 6.22 2.34 None NoDataRace.unwind1-nondet.ats done 5.61 1.69 None NoDataRace.unwind2-1.ats done 5.80 1.74 None NoDataRace.unwind2-100.ats done 5.68 1.74 None NoDataRace.unwind2-nondet.ats done 5.87 1.73 None NoDataRace.unwind3-1.ats done 5.76 1.72 None NoOverflow.04-mutex_02-simple_nr.ats done 5.80 1.72 None NoOverflow.04-mutex_04-munge_nr.ats done 37.08 8.92 None NoOverflow.04-mutex_05-lockfuns.ats done 6.44 1.96 None NoOverflow.04-mutex_07-ps_nr.ats done 6.99 2.06 None NoOverflow.04-mutex_10-ptrmunge_nr.ats ERROR (1) 41.19 31.19 None NoOverflow.04-mutex_12-ptr_nr.ats done 8.41 2.49 None NoOverflow.04-mutex_15-funarg_nr.ats done 7.01 2.20 None NoOverflow.04-mutex_17-ps_add1_nr.ats done 11.83 4.40 None NoOverflow.04-mutex_28-base_nr.ats done 4.86 1.56 None NoOverflow.04-mutex_41-pt_rwlock.ats done 5.43 1.63 None NoOverflow.04-mutex_42-trylock_2mutex.ats done 6.73 1.86 None NoOverflow.04-mutex_43-thread_create_nr.ats done 5.55 1.63 None NoOverflow.04-mutex_46-escape_nr.ats ERROR (1) 40.42 31.24 None NoOverflow.04-mutex_51-mutex_ptr.ats done 7.90 2.35 None NoOverflow.04-mutex_54-pt_rwlock_ww.ats done 5.24 1.60 None NoOverflow.05-lval_ls_02-idx_nr.ats done 8.91 3.06 None NoOverflow.05-lval_ls_04-fld_nr.ats done 6.26 1.79 None NoOverflow.05-lval_ls_12-fldsense_nr.ats done 7.44 2.28 None NoOverflow.06-symbeq_11-equ_nr.ats done 5.66 1.75 None NoOverflow.06-symbeq_23-idxsense_nr.ats done 12.58 4.75 None NoOverflow.09-regions_04-list2_nr.ats done 12.81 5.14 None NoOverflow.09-regions_09-arraylist.ats done 6.66 2.22 None NoOverflow.09-regions_11-arraylist_nr.ats done 9.56 3.25 None NoOverflow.09-regions_12-arraycollapse_rc.ats done 7.85 2.41 None NoOverflow.09-regions_13-arraycollapse_nr.ats done 7.37 2.42 None NoOverflow.09-regions_17-arrayloop_nr.ats done 21.26 11.96 None NoOverflow.09-regions_19-nested_nr.ats done 9.75 3.31 None NoOverflow.13-privatized_01-priv_nr_true.ats done 8.36 2.87 None NoOverflow.13-privatized_24-multiple-protecting_true.ats done 9.15 2.72 None NoOverflow.13-privatized_25-struct_nr_true.ats done 7.91 2.67 None NoOverflow.13-privatized_27-multiple-protecting2_true.ats done 8.11 2.48 None NoOverflow.13-privatized_29-multiple-protecting2-vesal_true.ats done 6.42 2.21 None NoOverflow.13-privatized_31-traces-mine-vs-mutex_true.ats done 6.38 2.10 None NoOverflow.13-privatized_52-refine-protected-loop2-small_true.ats done 5.48 2.04 None NoOverflow.28-race_reach_45-escape_racing.ats done 7.33 2.40 None NoOverflow.28-race_reach_46-escape_racefree.ats done 8.02 2.65 None NoOverflow.36-apron_21-traces-cluster-based_true.ats done 6.22 2.19 None NoOverflow.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.ats done 29.24 10.97 None NoOverflow.arithmetic_prog_bad.ats done 12.39 5.10 None NoOverflow.arithmetic_prog_ok.ats done 13.04 5.04 None NoOverflow.array-eq-symm.wvr.ats ERROR (1) 39.02 31.26 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.ats done 21.67 11.58 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.ats done 21.66 11.66 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.ats done 18.71 9.44 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.ats done 20.29 11.02 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.ats done 18.74 9.96 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.ats done 18.36 9.87 None NoOverflow.chl-chromosome-opt-symm.wvr.ats ERROR (1) 37.50 31.22 None NoOverflow.chl-collitem-subst.wvr.ats TIMEOUT 300.91 290.73 None NoOverflow.chl-collitem-symm.wvr.ats done 18.28 11.22 None NoOverflow.chl-collitem-trans.wvr.ats TIMEOUT 300.94 290.36 None NoOverflow.chl-exp-term-symm.wvr.ats ERROR (1) 52.15 31.97 None NoOverflow.chl-file-item-subst.wvr.ats TIMEOUT 300.81 291.38 None NoOverflow.chl-file-item-symm.wvr.ats ERROR (1) 47.08 31.32 None NoOverflow.chl-file-item-trans.wvr.ats TIMEOUT 300.80 291.54 None NoOverflow.chl-match-symm.wvr.ats TIMEOUT 300.99 290.40 None NoOverflow.chl-name-comparator-symm.wvr.ats TIMEOUT 300.13 288.23 None NoOverflow.chl-simpl-str-symm.wvr.ats ERROR (1) 52.31 31.74 None NoOverflow.chl-simpl-str-trans.wvr.ats TIMEOUT 300.92 291.10 None NoOverflow.chl-time-subst.wvr.ats done 8.68 2.67 None NoOverflow.chl-time-symm.wvr.ats done 6.54 1.82 None NoOverflow.chl-time-trans.wvr.ats done 7.90 2.62 None NoOverflow.chl-word-symm.wvr.ats ERROR (1) 109.40 100.57 None NoOverflow.circular_buffer_bad.ats done 8.41 2.14 None NoOverflow.circular_buffer_ok.ats done 8.38 2.30 None NoOverflow.clever.wvr.ats done 8.47 2.19 None NoOverflow.exponential-4.ats done 11.65 5.32 None NoOverflow.lazy01.ats done 6.90 1.97 None NoOverflow.mix000.oepc.ats done 6.31 1.73 None NoOverflow.mix000.opt.ats done 5.94 1.74 None NoOverflow.mix001.oepc.ats done 6.41 2.02 None NoOverflow.mix001.opt.ats done 6.89 2.13 None NoOverflow.mix002.oepc.ats done 6.09 1.95 None NoOverflow.mix002.opt.ats done 6.10 1.80 None NoOverflow.mix003.oepc.ats done 6.07 1.85 None NoOverflow.mix003_power.opt_pso.opt_rmo.opt_tso.opt.ats done 6.41 1.82 None NoOverflow.mix004.oepc.ats done 6.63 1.98 None NoOverflow.mix004.opt.ats done 6.79 1.94 None NoOverflow.mix005.opt.ats done 6.34 1.99 None NoOverflow.mix005_power.oepc_pso.oepc_rmo.oepc.ats done 6.57 1.97 None NoOverflow.mix005_tso.oepc.ats done 7.04 2.03 None NoOverflow.mix006.opt.ats done 6.19 1.80 None NoOverflow.mix006_power.oepc_pso.oepc_rmo.oepc.ats done 6.10 1.83 None NoOverflow.mix006_tso.oepc.ats done 6.87 2.15 None NoOverflow.mix007.oepc.ats done 7.02 2.15 None NoOverflow.mix007.opt.ats done 7.04 2.16 None NoOverflow.mix008.opt.ats done 6.58 1.89 None NoOverflow.mix008_power.oepc_pso.oepc_rmo.oepc.ats done 6.74 1.92 None NoOverflow.mix008_tso.oepc.ats done 7.05 2.20 None NoOverflow.mix009.oepc.ats done 5.98 1.84 None NoOverflow.mix009.opt.ats done 5.93 1.86 None NoOverflow.mix010.oepc.ats done 6.36 1.88 None NoOverflow.mix010.opt.ats done 6.11 1.85 None NoOverflow.mix011.opt.ats done 6.28 1.92 None NoOverflow.mix011_power.oepc_pso.oepc_rmo.oepc.ats done 6.53 1.92 None NoOverflow.mix011_tso.oepc.ats done 6.39 1.99 None NoOverflow.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.ats done 5.77 1.76 None NoOverflow.mix012_pso.opt_tso.opt.ats done 5.93 1.80 None NoOverflow.mix013.oepc.ats done 7.07 2.09 None NoOverflow.mix013.opt.ats done 6.48 2.08 None NoOverflow.mix014.opt.ats done 6.96 2.11 None NoOverflow.mix014_power.oepc_pso.oepc_rmo.oepc.ats done 6.77 2.05 None NoOverflow.mix014_tso.oepc.ats done 7.18 2.13 None NoOverflow.mix015.oepc.ats done 6.55 2.02 None NoOverflow.mix015.opt.ats done 6.31 2.03 None NoOverflow.mix016.oepc.ats done 6.09 2.02 None NoOverflow.mix016_power.opt_rmo.opt.ats done 6.28 1.92 None NoOverflow.mix016_pso.opt_tso.opt.ats done 5.97 1.92 None NoOverflow.mix017.oepc.ats done 7.05 2.29 None NoOverflow.mix017_power.opt_rmo.opt.ats done 6.73 2.31 None NoOverflow.mix017_pso.opt_tso.opt.ats done 6.83 2.32 None NoOverflow.mix018.opt.ats done 6.96 2.26 None NoOverflow.mix018_power.oepc_pso.oepc_rmo.oepc.ats done 6.59 2.14 None NoOverflow.mix018_tso.oepc.ats done 7.29 2.43 None NoOverflow.mix019.opt.ats done 6.66 2.32 None NoOverflow.mix019_power.oepc_pso.oepc_rmo.oepc.ats done 6.47 2.21 None NoOverflow.mix019_tso.oepc.ats done 6.65 2.27 None NoOverflow.mix020.oepc.ats done 6.85 2.38 None NoOverflow.mix020.opt.ats done 7.33 2.38 None NoOverflow.mix021.opt.ats done 6.90 2.39 None NoOverflow.mix021_power.oepc_pso.oepc_rmo.oepc.ats done 6.79 2.38 None NoOverflow.mix021_tso.oepc.ats done 6.92 2.37 None NoOverflow.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 5.98 2.16 None NoOverflow.mix022_tso.ats done 6.04 2.09 None NoOverflow.mix023_power.oepc_pso.oepc_rmo.oepc.ats done 6.53 2.38 None NoOverflow.mix023_power.opt_pso.opt_rmo.opt.ats done 7.19 2.34 None NoOverflow.mix023_tso.ats done 7.83 2.47 None NoOverflow.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 6.63 2.23 None NoOverflow.mix024_power.opt_pso.opt_rmo.opt.ats done 6.14 1.88 None NoOverflow.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 6.46 1.97 None NoOverflow.mix025_pso.opt_rmo.opt.ats done 6.59 2.05 None NoOverflow.mix026.oepc.ats done 7.25 2.22 None NoOverflow.mix026_power.opt_tso.opt.ats done 8.12 2.20 None NoOverflow.mix026_pso.opt_rmo.opt.ats done 6.47 1.91 None NoOverflow.mix027_power.oepc_pso.oepc_rmo.oepc.ats done 6.64 2.05 None NoOverflow.mix027_power.opt_pso.opt_rmo.opt.ats done 6.90 2.09 None NoOverflow.mix027_tso.ats done 6.94 2.11 None NoOverflow.mix028_power.oepc_pso.oepc_rmo.oepc.ats done 6.22 2.00 None NoOverflow.mix028_power.opt_pso.opt_rmo.opt.ats done 6.29 1.77 None NoOverflow.mix028_tso.ats done 6.02 1.82 None NoOverflow.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 7.15 2.13 None NoOverflow.mix029_power.opt_pso.opt_rmo.opt.ats done 7.22 2.09 None NoOverflow.mix030_power.oepc_pso.oepc_rmo.oepc.ats done 6.95 2.14 None NoOverflow.mix030_power.opt_pso.opt_rmo.opt.ats done 6.59 1.94 None NoOverflow.mix030_tso.ats done 6.81 1.93 None NoOverflow.mix031.oepc.ats done 6.23 1.94 None NoOverflow.mix031.opt.ats done 6.34 1.92 None NoOverflow.mix032.oepc.ats done 6.37 2.08 None NoOverflow.mix032.opt.ats done 6.38 1.97 None NoOverflow.mix033.opt.ats done 6.29 1.96 None NoOverflow.mix033_power.oepc_pso.oepc_rmo.oepc.ats done 6.35 2.02 None NoOverflow.mix033_tso.oepc.ats done 6.79 2.08 None NoOverflow.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.ats done 6.12 1.97 None NoOverflow.mix034_pso.opt_tso.opt.ats done 6.05 1.92 None NoOverflow.mix035.oepc.ats done 6.30 2.00 None NoOverflow.mix035_power.opt_rmo.opt.ats done 6.23 2.27 None NoOverflow.mix035_pso.opt_tso.opt.ats done 6.75 2.32 None NoOverflow.mix036.oepc.ats done 7.20 2.34 None NoOverflow.mix036_power.opt_rmo.opt.ats done 7.34 2.37 None NoOverflow.mix036_pso.opt_tso.opt.ats done 6.94 2.34 None NoOverflow.mix037.opt.ats done 6.96 2.32 None NoOverflow.mix037_power.oepc_pso.oepc_rmo.oepc.ats done 7.06 2.37 None NoOverflow.mix037_tso.oepc.ats done 7.24 2.43 None NoOverflow.mix038.opt.ats done 6.61 2.31 None NoOverflow.mix038_power.oepc_pso.oepc_rmo.oepc.ats done 6.39 2.25 None NoOverflow.mix038_tso.oepc.ats done 6.02 2.22 None NoOverflow.mix039.oepc.ats done 6.49 2.31 None NoOverflow.mix039.opt.ats done 6.60 2.23 None NoOverflow.mix040.opt.ats done 6.70 2.36 None NoOverflow.mix040_power.oepc_pso.oepc_rmo.oepc.ats done 7.01 2.35 None NoOverflow.mix040_tso.oepc.ats done 7.19 2.34 None NoOverflow.mix041_power.oepc_pso.oepc_rmo.oepc.ats done 6.41 2.14 None NoOverflow.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 5.79 2.20 None NoOverflow.mix042.oepc.ats done 6.70 2.28 None NoOverflow.mix042.opt.ats done 6.86 2.32 None NoOverflow.mix043.oepc.ats done 6.89 2.20 None NoOverflow.mix043.opt.ats done 6.86 2.24 None NoOverflow.mix044.opt.ats done 6.81 2.34 None NoOverflow.mix044_power.oepc_pso.oepc_rmo.oepc.ats done 6.90 2.28 None NoOverflow.mix044_tso.oepc.ats done 6.79 2.32 None NoOverflow.mix045_power.oepc_pso.oepc_rmo.oepc.ats done 6.46 2.12 None NoOverflow.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 6.09 2.12 None NoOverflow.mix046.oepc.ats done 6.89 2.37 None NoOverflow.mix046.opt.ats done 6.96 2.27 None NoOverflow.mix047_power.oepc_pso.oepc_rmo.oepc.ats done 6.77 2.32 None NoOverflow.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 7.06 2.27 None NoOverflow.mix048_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr000_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.ats done 6.03 2.06 None NoOverflow.mix049_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt-podwr001_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.ats done 6.15 2.15 None NoOverflow.mix050.ats done 6.55 2.28 None NoOverflow.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 7.03 2.32 None NoOverflow.mix051_pso.opt_rmo.opt_tso.opt.ats done 7.05 2.28 None NoOverflow.mix051_tso.oepc.ats done 6.98 2.37 None NoOverflow.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 6.58 2.17 None NoOverflow.mix052_pso.opt_rmo.opt_tso.opt.ats done 6.48 2.25 None NoOverflow.mix052_tso.oepc.ats done 6.51 2.17 None NoOverflow.mix053.opt.ats done 6.49 2.26 None NoOverflow.mix053_power.oepc_pso.oepc_rmo.oepc.ats done 6.60 2.29 None NoOverflow.mix053_tso.oepc.ats done 6.83 2.31 None NoOverflow.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 5.97 2.19 None NoOverflow.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 6.22 2.21 None NoOverflow.mix055.opt.ats done 7.14 2.31 None NoOverflow.mix055_power.oepc_pso.oepc_rmo.oepc.ats done 6.67 2.34 None NoOverflow.mix055_tso.oepc.ats done 7.07 2.36 None NoOverflow.mix056_power.oepc_pso.oepc_rmo.oepc.ats done 6.34 2.14 None NoOverflow.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 6.13 2.22 None NoOverflow.mix057_power.oepc_pso.oepc_rmo.oepc.ats done 6.60 2.27 None NoOverflow.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 6.92 2.25 None NoOverflow.parallel-bakery-2.wvr.ats ERROR (1) 45.27 38.69 None NoOverflow.parallel-bluetooth.wvr.ats done 9.05 2.76 None NoOverflow.parallel-lamport.wvr.ats done 10.39 3.12 None NoOverflow.parallel-min-max-1.wvr.ats done 19.89 8.27 None NoOverflow.parallel-misc-2-unrolled-atomic.wvr.ats done 7.15 2.13 None NoOverflow.parallel-misc-4.wvr.ats ERROR (1) 49.74 43.37 None NoOverflow.parallel-ticket-2.wvr.ats done 6.78 2.04 None NoOverflow.parallel-ticket-3.wvr.ats done 8.77 2.36 None NoOverflow.parallel-ticket-4.wvr.ats done 12.15 3.15 None NoOverflow.parallel-ticket-5.wvr.ats done 17.79 6.01 None NoOverflow.popl20-bad-commit-1.wvr-bad.ats ERROR (1) 39.67 31.27 None NoOverflow.popl20-bad-commit-2.wvr-bad.ats ERROR (1) 134.17 66.49 None NoOverflow.popl20-commit-1.wvr.ats done 21.45 10.41 None NoOverflow.popl20-commit-2.wvr.ats ERROR (1) 64.66 31.21 None NoOverflow.popl20-counter-fun.wvr.ats done 33.04 22.81 None NoOverflow.popl20-more-dec-subseq.wvr.ats done 10.82 3.29 None NoOverflow.popl20-more-inc-subseq.wvr.ats done 10.99 3.51 None NoOverflow.popl20-more-max-array-hom.wvr.ats done 44.39 21.25 None NoOverflow.popl20-more-max-array.wvr.ats done 41.67 21.21 None NoOverflow.popl20-more-min-array-hom.wvr.ats done 42.99 21.30 None NoOverflow.popl20-more-min-array.wvr.ats done 44.07 21.76 None NoOverflow.popl20-more-min-le-max.wvr.ats done 17.13 6.87 None NoOverflow.popl20-more-multiply-verify.wvr.ats done 8.87 2.60 None NoOverflow.popl20-more-sum-array-hom.wvr.ats done 43.76 22.07 None NoOverflow.popl20-more-vector-add.wvr.ats ERROR (1) 64.86 31.80 None NoOverflow.popl20-simple-queue.wvr.ats done 7.51 2.46 None NoOverflow.qw2004-2b.ats done 9.07 2.61 None NoOverflow.read_write_lock-2.ats done 11.56 2.85 None NoOverflow.rfi000_power.oepc_pso.oepc_rmo.oepc.ats done 6.12 1.84 None NoOverflow.rfi000_power.opt_pso.opt_rmo.opt.ats done 5.40 1.75 None NoOverflow.rfi000_tso.ats done 5.53 1.70 None NoOverflow.rfi001_power.oepc_pso.oepc_rmo.oepc.ats done 5.81 1.82 None NoOverflow.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 6.33 1.95 None NoOverflow.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.38 1.93 None NoOverflow.rfi002_tso.ats done 6.89 1.97 None NoOverflow.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 5.98 1.99 None NoOverflow.rfi003_tso.ats done 6.20 1.97 None NoOverflow.rfi004.ats done 5.65 1.91 None NoOverflow.rfi005.ats done 5.89 1.84 None NoOverflow.rfi006_power.oepc.ats done 6.76 2.12 None NoOverflow.rfi006_power.opt.ats done 7.03 2.18 None NoOverflow.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.90 2.10 None NoOverflow.rfi006_rmo.ats done 6.52 2.02 None NoOverflow.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 5.61 1.74 None NoOverflow.rfi007_tso.ats done 6.03 1.92 None NoOverflow.rfi008.oepc.ats done 5.99 2.01 None NoOverflow.rfi008.opt.ats done 6.26 1.95 None NoOverflow.rfi009_power.oepc.ats done 6.45 2.01 None NoOverflow.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 6.10 1.87 None NoOverflow.rfi009_rmo.oepc.ats done 6.43 2.09 None NoOverflow.rfi010.ats done 6.23 1.97 None NoOverflow.safe000_power.oepc.ats done 6.92 2.27 None NoOverflow.safe000_power.opt.ats done 6.81 2.24 None NoOverflow.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.14 1.99 None NoOverflow.safe000_rmo.ats done 6.80 2.16 None NoOverflow.safe001_power.oepc.ats done 6.64 2.13 None NoOverflow.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.ats done 6.68 1.99 None NoOverflow.safe001_rmo.oepc.ats done 6.61 2.11 None NoOverflow.safe001_tso.ats done 6.12 1.94 None NoOverflow.safe002_power.oepc.ats done 7.40 2.28 None NoOverflow.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.ats done 6.55 2.14 None NoOverflow.safe002_rmo.oepc.ats done 6.52 2.16 None NoOverflow.safe002_tso.ats done 5.61 1.86 None NoOverflow.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.85 2.04 None NoOverflow.safe003_power.opt.ats done 7.09 2.32 None NoOverflow.safe003_tso.ats done 5.97 1.97 None NoOverflow.safe004_power.oepc_pso.oepc_rmo.oepc.ats done 7.01 2.20 None NoOverflow.safe004_power.opt_pso.opt_rmo.opt.ats done 6.11 2.02 None NoOverflow.safe004_tso.ats done 5.94 1.88 None NoOverflow.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.05 1.87 None NoOverflow.safe005_tso.ats done 5.65 1.93 None NoOverflow.safe006_power.oepc-thin000_power.oepc.ats done 6.45 2.23 None NoOverflow.safe006_power.opt-thin000_power.opt.ats done 6.72 2.21 None NoOverflow.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.30 1.94 None NoOverflow.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.ats done 6.13 2.05 None NoOverflow.safe007_power.oepc-thin001_power.oepc.ats done 7.11 2.21 None NoOverflow.safe007_power.opt-thin001_power.opt.ats done 6.78 2.24 None NoOverflow.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.80 1.97 None NoOverflow.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.ats done 6.49 2.18 None NoOverflow.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.69 2.20 None NoOverflow.safe008_power.opt.ats done 7.09 2.32 None NoOverflow.safe008_tso.ats done 6.13 2.06 None NoOverflow.safe009_power.oepc.ats done 6.89 2.14 None NoOverflow.safe009_power.opt.ats done 6.66 2.07 None NoOverflow.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.97 1.90 None NoOverflow.safe009_rmo.oepc.ats done 6.72 2.22 None NoOverflow.safe009_rmo.opt.ats done 6.94 2.23 None NoOverflow.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 5.89 2.06 None NoOverflow.safe010_tso.ats done 5.23 1.92 None NoOverflow.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.ats done 6.10 1.89 None NoOverflow.safe011_power.opt_pso.opt.ats done 5.99 1.88 None NoOverflow.safe011_tso.ats done 5.70 1.90 None NoOverflow.safe012_power.oepc.ats done 6.84 2.23 None NoOverflow.safe012_power.opt.ats done 6.94 2.25 None NoOverflow.safe012_pso.oepc_pso.opt_rmo.opt.ats done 6.59 2.16 None NoOverflow.safe012_rmo.oepc.ats done 6.56 2.22 None NoOverflow.safe012_tso.ats done 6.03 1.86 None NoOverflow.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.18 1.89 None NoOverflow.safe013_tso.ats done 6.11 1.96 None NoOverflow.safe014_power.oepc.ats done 6.84 2.32 None NoOverflow.safe014_power.opt.ats done 6.91 2.31 None NoOverflow.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.29 2.07 None NoOverflow.safe014_rmo.oepc.ats done 6.79 2.27 None NoOverflow.safe014_rmo.opt.ats done 6.95 2.10 None NoOverflow.safe015_power.oepc.ats done 7.07 2.17 None NoOverflow.safe015_power.opt.ats done 6.81 2.26 None NoOverflow.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.98 2.01 None NoOverflow.safe015_rmo.ats done 6.59 2.29 None NoOverflow.safe016_power.oepc.ats done 7.18 2.55 None NoOverflow.safe016_power.opt.ats done 7.12 2.42 None NoOverflow.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.37 2.10 None NoOverflow.safe016_rmo.oepc.ats done 6.92 2.17 None NoOverflow.safe016_rmo.opt.ats done 7.62 2.40 None NoOverflow.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.46 2.11 None NoOverflow.safe017_tso.ats done 6.04 2.02 None NoOverflow.safe018_power.oepc.ats done 6.30 2.22 None NoOverflow.safe018_power.opt.ats done 6.54 2.24 None NoOverflow.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.73 1.98 None NoOverflow.safe018_rmo.oepc.ats done 6.17 1.86 None NoOverflow.safe018_rmo.opt.ats done 6.85 2.37 None NoOverflow.safe019_power.oepc.ats done 6.92 2.59 None NoOverflow.safe019_power.opt.ats done 7.57 2.64 None NoOverflow.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.65 2.36 None NoOverflow.safe019_rmo.oepc.ats done 7.08 2.55 None NoOverflow.safe019_rmo.opt.ats done 7.55 2.51 None NoOverflow.safe020_power.ats done 6.62 2.17 None NoOverflow.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.81 1.92 None NoOverflow.safe020_rmo.ats done 6.43 2.19 None NoOverflow.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.ats done 6.61 2.15 None NoOverflow.safe021_power.opt_pso.opt.ats done 6.11 2.15 None NoOverflow.safe021_tso.ats done 5.73 2.05 None NoOverflow.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 5.77 1.84 None NoOverflow.safe022_tso.ats done 5.53 1.80 None NoOverflow.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 7.03 2.17 None NoOverflow.safe023_tso.ats done 6.03 2.05 None NoOverflow.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.71 2.28 None NoOverflow.safe024_tso.ats done 5.76 2.12 None NoOverflow.safe025_power.ats done 6.89 2.44 None NoOverflow.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.09 1.93 None NoOverflow.safe025_rmo.ats done 6.67 2.17 None NoOverflow.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.27 2.16 None NoOverflow.safe026_tso.ats done 5.78 1.95 None NoOverflow.safe027_power.oepc.ats done 7.23 2.40 None NoOverflow.safe027_power.opt.ats done 7.25 2.52 None NoOverflow.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.61 2.20 None NoOverflow.safe027_rmo.ats done 7.08 2.41 None NoOverflow.safe028_power.ats done 6.88 2.23 None NoOverflow.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.79 1.82 None NoOverflow.safe028_rmo.ats done 6.49 2.23 None NoOverflow.safe029_power.oepc_pso.oepc_rmo.oepc.ats done 6.02 1.99 None NoOverflow.safe029_power.opt_pso.opt_rmo.opt.ats done 6.02 1.97 None NoOverflow.safe029_tso.ats done 5.35 1.95 None NoOverflow.safe030_power.oepc_pso.oepc_rmo.oepc.ats done 6.14 1.92 None NoOverflow.safe030_power.opt_pso.opt_rmo.opt.ats done 6.13 1.87 None NoOverflow.safe030_tso.ats done 6.04 1.93 None NoOverflow.safe031_power.oepc_pso.oepc_rmo.oepc.ats done 6.19 2.12 None NoOverflow.safe031_power.opt_pso.opt_rmo.opt.ats done 6.77 2.15 None NoOverflow.safe031_tso.ats done 5.54 1.96 None NoOverflow.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.56 2.13 None NoOverflow.safe032_tso.ats done 5.70 1.72 None NoOverflow.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.30 1.75 None NoOverflow.safe033_tso.ats done 5.30 1.75 None NoOverflow.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 6.43 2.12 None NoOverflow.safe034_tso.ats done 6.09 1.98 None NoOverflow.safe035_power.ats done 7.82 2.49 None NoOverflow.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.ats done 5.61 1.98 None NoOverflow.safe036.ats done 5.44 1.68 None NoOverflow.safe037.ats done 5.45 1.77 None NoOverflow.stack-1.ats ERROR (1) 40.54 31.07 None NoOverflow.stack-2.ats ERROR (1) 37.73 31.22 None NoOverflow.stateful01-1.ats done 7.54 2.56 None NoOverflow.stateful01-2.ats done 7.41 2.51 None NoOverflow.sync01.ats done 7.85 2.98 None NoOverflow.test-context1.wvr.ats done 16.93 7.13 None NoOverflow.test-easy1.wvr.ats done 6.17 2.33 None NoOverflow.test-easy6.wvr.ats done 10.79 2.93 None NoOverflow.test-hard1.wvr.ats done 7.13 2.06 None NoOverflow.test-semi1.wvr.ats done 6.16 1.91 None NoOverflow.thin002_power.oepc.ats done 7.01 2.18 None NoOverflow.thin002_power.opt.ats done 6.79 2.16 None NoOverflow.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 5.98 1.86 None NoOverflow.thin002_rmo.ats done 7.39 2.16 None NoOverflow.triangular-1.ats ERROR (1) 39.41 31.16 None NoOverflow.triangular-2.ats ERROR (1) 39.39 31.12 None NoOverflow.triangular-longer-1.ats ERROR (1) 37.90 31.50 None NoOverflow.triangular-longer-2.ats ERROR (1) 37.86 31.55 None NoOverflow.triangular-longest-1.ats ERROR (1) 43.01 36.19 None NoOverflow.triangular-longest-2.ats ERROR (1) 43.49 36.65 None NoOverflow.unroll-2.wvr.ats done 7.43 2.06 None NoOverflow.unroll-3.wvr.ats done 6.71 1.95 None NoOverflow.unroll-4.wvr.ats done 7.33 2.12 None NoOverflow.unroll-5.wvr.ats done 7.46 2.13 None NoOverflow.unroll-cond-2.wvr.ats done 6.72 1.92 None NoOverflow.unroll-cond-3.wvr.ats done 8.09 2.57 None NoOverflow.unroll-cond-4.wvr.ats done 8.23 2.67 None NoOverflow.unroll-cond-5.wvr.ats done 8.10 2.72 None NoOverflow.unwind1-1.ats done 7.42 2.53 None NoOverflow.unwind1-100.ats done 7.79 2.64 None NoOverflow.unwind1-nondet.ats done 9.48 2.66 None NoOverflow.unwind2-1.ats done 20.84 6.52 None NoOverflow.unwind2-100.ats ERROR (1) 171.11 18.47 None NoOverflow.unwind2-nondet.ats ERROR (1) 176.77 32.03 None NoOverflow.unwind3-1.ats done 8.44 2.46 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 6 done 22007.52 1143.55 - Statistics: 975 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 94