BENCHMARK INFORMATION benchmark definition: benchexec/og-proof-generation.xml name: og-proof-generation run sets: EmpireAutomataProducerTest-WithAssert date: Sat, 2025-03-15 19:37:51 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 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} true' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- NoDataRace.04-mutex_02-simple_nr.ats done 8.33 3.75 None NoDataRace.04-mutex_04-munge_nr.ats done 23.47 13.36 None NoDataRace.04-mutex_05-lockfuns.ats done 7.01 3.48 None NoDataRace.04-mutex_07-ps_nr.ats done 8.82 4.07 None NoDataRace.04-mutex_12-ptr_nr.ats done 10.64 4.72 None NoDataRace.04-mutex_15-funarg_nr.ats done 10.68 4.42 None NoDataRace.04-mutex_17-ps_add1_nr.ats done 9.89 4.62 None NoDataRace.04-mutex_18-glob_guards.ats done 7.88 3.91 None NoDataRace.04-mutex_22-deref_read.ats done 10.01 4.48 None NoDataRace.04-mutex_28-base_nr.ats done 10.20 4.71 None NoDataRace.04-mutex_36-trylock_nr.ats done 74.88 66.25 None NoDataRace.04-mutex_41-pt_rwlock.ats done 7.21 3.75 None NoDataRace.04-mutex_42-trylock_2mutex.ats done 10.94 5.01 None NoDataRace.04-mutex_43-thread_create_nr.ats done 9.95 4.17 None NoDataRace.04-mutex_46-escape_nr.ats done 11.28 4.28 None NoDataRace.04-mutex_51-mutex_ptr.ats done 12.60 5.18 None NoDataRace.04-mutex_54-pt_rwlock_ww.ats done 6.97 2.50 None NoDataRace.05-lval_ls_02-idx_nr.ats done 10.26 3.91 None NoDataRace.05-lval_ls_04-fld_nr.ats done 7.54 2.93 None NoDataRace.05-lval_ls_12-fldsense_nr.ats done 12.55 6.19 None NoDataRace.06-symbeq_11-equ_nr.ats done 15.63 7.66 None NoDataRace.06-symbeq_13-equ_proc_nr.ats ERROR (1) 37.67 31.66 None NoDataRace.06-symbeq_15-list_entry_nr.ats ERROR (1) 36.83 31.74 None NoDataRace.06-symbeq_23-idxsense_nr.ats done 20.79 11.59 None NoDataRace.09-regions_09-arraylist.ats ERROR (1) 45.79 37.02 None NoDataRace.10-synch_01-thread_unique.ats done 4.89 2.51 None NoDataRace.10-synch_03-two_unique.ats done 6.41 2.52 None NoDataRace.13-privatized_01-priv_nr_true.ats done 10.79 3.77 None NoDataRace.13-privatized_03-priv_inv.ats done 9.05 3.04 None NoDataRace.13-privatized_18-first-reads_true.ats done 7.98 2.82 None NoDataRace.13-privatized_18-first-reads_unknown_1_neg.ats done 7.00 2.55 None NoDataRace.13-privatized_18-first-reads_unknown_1_pos.ats done 6.80 2.35 None NoDataRace.13-privatized_18-first-reads_unknown_2_neg.ats done 6.11 2.33 None NoDataRace.13-privatized_18-first-reads_unknown_2_pos.ats done 6.22 1.95 None NoDataRace.13-privatized_19-publish-precision_true.ats done 6.84 2.21 None NoDataRace.13-privatized_19-publish-precision_unknown_1_neg.ats done 8.12 2.87 None NoDataRace.13-privatized_19-publish-precision_unknown_1_pos.ats done 8.37 3.04 None NoDataRace.13-privatized_19-publish-precision_unknown_2_neg.ats done 8.09 2.96 None NoDataRace.13-privatized_19-publish-precision_unknown_2_pos.ats done 8.32 3.01 None NoDataRace.13-privatized_20-publish-regression_true.ats done 9.11 3.27 None NoDataRace.13-privatized_24-multiple-protecting_true.ats done 14.99 7.08 None NoDataRace.13-privatized_25-struct_nr_true.ats done 9.27 3.07 None NoDataRace.13-privatized_27-multiple-protecting2_true.ats done 24.12 15.43 None NoDataRace.13-privatized_29-multiple-protecting2-vesal_true.ats done 10.29 3.38 None NoDataRace.13-privatized_30-traces-oplus-vs-meet_true.ats done 8.97 3.13 None NoDataRace.13-privatized_31-traces-mine-vs-mutex_true.ats done 8.31 3.04 None NoDataRace.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.ats done 9.99 3.68 None NoDataRace.13-privatized_33-traces-v-matters_true.ats done 8.88 3.32 None NoDataRace.13-privatized_34-traces-minepp-L-needs-to-be-um_true.ats done 8.99 3.21 None NoDataRace.13-privatized_35-traces-ex-2_true.ats done 8.66 2.82 None NoDataRace.13-privatized_36-traces-ex-3_true.ats done 8.23 2.78 None NoDataRace.13-privatized_37-traces-ex-4_true.ats done 7.85 2.26 None NoDataRace.13-privatized_38-traces-ex-4-switch_true.ats done 9.09 3.01 None NoDataRace.13-privatized_40-traces-ex-6_true.ats done 8.61 2.88 None NoDataRace.13-privatized_41-traces-ex-7_unknown_1_neg.ats done 7.21 2.67 None NoDataRace.13-privatized_41-traces-ex-7_unknown_1_pos.ats done 7.28 2.66 None NoDataRace.13-privatized_42-traces-ex-mini_true.ats done 9.65 3.26 None NoDataRace.13-privatized_44-traces-mine2_true.ats done 8.41 2.72 None NoDataRace.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.ats done 7.94 2.72 None NoDataRace.13-privatized_46-refine-protected1_true.ats done 6.63 2.34 None NoDataRace.13-privatized_47-refine-protected2_true.ats done 6.89 2.40 None NoDataRace.13-privatized_52-refine-protected-loop2-small_true.ats done 7.11 2.45 None NoDataRace.13-privatized_57-singlethreaded-unlock_true.ats done 6.15 2.26 None NoDataRace.13-privatized_58-singlethreaded-lock_true.ats done 6.47 2.37 None NoDataRace.13-privatized_66-mine-W-init_true.ats done 5.81 2.19 None NoDataRace.13-privatized_67-pthread_cond_wait_true.ats done 12.57 4.21 None NoDataRace.13-privatized_67-pthread_cond_wait_unknown_1_neg.ats done 12.30 4.20 None NoDataRace.13-privatized_67-pthread_cond_wait_unknown_1_pos.ats done 12.35 4.25 None NoDataRace.13-privatized_68-pfscan_protected_loop_minimal_interval_true.ats ERROR (1) 40.64 31.63 None NoDataRace.13-privatized_69-refine-protected-loop-interval_true.ats done 11.36 4.15 None NoDataRace.18_read_write_lock.ats done 6.87 2.34 None NoDataRace.28-race_reach_45-escape_racing.ats done 11.83 4.32 None NoDataRace.28-race_reach_46-escape_racefree.ats done 11.81 4.37 None NoDataRace.36-apron_11-traces-max-simple_true.ats done 6.97 2.42 None NoDataRace.36-apron_16-traces-unprot2_true.ats done 6.26 2.25 None NoDataRace.36-apron_17-traces-rpb-litmus_unknown_1_neg.ats done 8.31 2.67 None NoDataRace.36-apron_17-traces-rpb-litmus_unknown_1_pos.ats done 8.31 2.70 None NoDataRace.36-apron_21-traces-cluster-based_true.ats done 29.32 18.89 None NoDataRace.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.ats done 17.51 7.22 None NoDataRace.arithmetic_prog_bad.ats done 33.44 20.71 None NoDataRace.arithmetic_prog_ok.ats done 34.71 20.45 None NoDataRace.array-eq-symm.wvr.ats ERROR (1) 113.73 103.95 None NoDataRace.bench-exp1x3.wvr.ats done 11.02 3.90 None NoDataRace.bench-exp2x3.wvr.ats ERROR (1) 55.58 31.86 None NoDataRace.bigshot_s.ats done 7.72 2.92 None NoDataRace.bigshot_s2.ats done 7.43 2.72 None NoDataRace.char_generic_nvram_read_nvram_write_nvram.ats TIMEOUT 300.54 285.81 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.ats ERROR (1) 46.62 31.83 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.ats ERROR (1) 47.96 32.15 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.ats ERROR (1) 47.56 31.34 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.ats ERROR (1) 48.41 31.93 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.ats ERROR (1) 46.82 31.29 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.ats ERROR (1) 46.29 31.40 None NoDataRace.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.ats ERROR (1) 48.03 32.17 None NoDataRace.chl-array-int-symm.wvr.ats TIMEOUT 300.57 286.24 None NoDataRace.chl-chromosome-opt-symm.wvr.ats ERROR (1) 41.01 31.23 None NoDataRace.chl-chromosome-symm.wvr.ats TIMEOUT 300.45 286.40 None NoDataRace.chl-collitem-subst.wvr.ats done 13.91 6.70 None NoDataRace.chl-collitem-symm.wvr.ats done 10.74 3.32 None NoDataRace.chl-collitem-trans.wvr.ats done 14.63 6.78 None NoDataRace.chl-exp-term-symm.wvr.ats done 39.81 25.87 None NoDataRace.chl-file-item-subst.wvr.ats ERROR (1) 224.71 213.44 None NoDataRace.chl-file-item-symm.wvr.ats done 37.62 23.63 None NoDataRace.chl-file-item-trans.wvr.ats ERROR (1) 224.80 212.78 None NoDataRace.chl-match-subst.wvr.ats ERROR (1) 227.04 214.85 None NoDataRace.chl-match-symm.wvr.ats ERROR (1) 41.35 31.30 None NoDataRace.chl-match-trans.wvr.ats ERROR (1) 229.51 217.10 None NoDataRace.chl-name-comparator-symm.wvr.ats TIMEOUT 300.97 281.81 None NoDataRace.chl-node-symm.wvr.ats TIMEOUT 300.41 284.74 None NoDataRace.chl-poker-hand-subst.wvr.ats TIMEOUT 300.24 277.91 None NoDataRace.chl-poker-hand-symm.wvr.ats done 36.93 20.99 None NoDataRace.chl-poker-hand-trans.wvr.ats TIMEOUT 300.77 173.56 None NoDataRace.chl-simpl-str-subst.wvr.ats ERROR (1) 41.61 31.15 None NoDataRace.chl-simpl-str-symm.wvr.ats done 18.56 7.16 None NoDataRace.chl-simpl-str-trans.wvr.ats ERROR (1) 41.86 31.05 None NoDataRace.chl-sre-subst.wvr.ats done 21.86 10.03 None NoDataRace.chl-sre-symm.wvr.ats done 11.91 3.04 None NoDataRace.chl-sre-trans.wvr.ats done 21.44 9.96 None NoDataRace.chl-time-subst.wvr.ats done 10.57 3.18 None NoDataRace.chl-time-symm.wvr.ats done 8.91 2.37 None NoDataRace.chl-time-trans.wvr.ats done 10.43 3.21 None NoDataRace.chl-word-symm.wvr.ats TIMEOUT 301.01 287.23 None NoDataRace.circular_buffer_bad.ats ERROR (1) 40.46 31.40 None NoDataRace.circular_buffer_ok.ats ERROR (1) 217.11 205.44 None NoDataRace.clever.wvr.ats ERROR (1) 39.92 31.38 None NoDataRace.dekker-unfair.ats done 9.28 2.37 None NoDataRace.dekker.ats done 9.41 2.50 None NoDataRace.fib_safe-10.ats done 32.47 19.73 None NoDataRace.fib_safe-11.ats done 31.56 19.51 None NoDataRace.fib_safe-12.ats done 32.76 20.77 None NoDataRace.fib_safe-5.ats done 32.27 20.21 None NoDataRace.fib_safe-6.ats done 33.68 21.26 None NoDataRace.fib_safe-7.ats done 33.69 21.38 None NoDataRace.fib_unsafe-10.ats done 32.37 20.69 None NoDataRace.fib_unsafe-11.ats done 33.14 21.09 None NoDataRace.fib_unsafe-12.ats done 32.94 21.16 None NoDataRace.fib_unsafe-5.ats done 33.51 21.40 None NoDataRace.fib_unsafe-6.ats done 34.14 22.51 None NoDataRace.fib_unsafe-7.ats done 33.46 22.33 None NoDataRace.fibonacci.wvr.ats ERROR (1) 40.34 31.19 None NoDataRace.lamport.ats done 14.10 4.82 None NoDataRace.lazy01.ats done 10.06 2.85 None NoDataRace.mix000.oepc.ats done 12.06 4.36 None NoDataRace.mix000.opt.ats done 10.44 3.77 None NoDataRace.mix001.oepc.ats done 12.53 4.77 None NoDataRace.mix001.opt.ats done 12.05 4.09 None NoDataRace.mix002.oepc.ats done 11.20 3.82 None NoDataRace.mix002.opt.ats done 11.66 4.14 None NoDataRace.mix003.oepc.ats done 11.73 3.84 None NoDataRace.mix003_power.opt_pso.opt_rmo.opt_tso.opt.ats done 11.06 4.13 None NoDataRace.mix004.oepc.ats done 12.31 4.25 None NoDataRace.mix004.opt.ats done 12.16 4.51 None NoDataRace.mix005.opt.ats done 12.50 4.47 None NoDataRace.mix005_power.oepc_pso.oepc_rmo.oepc.ats done 12.90 4.72 None NoDataRace.mix005_tso.oepc.ats done 12.51 4.55 None NoDataRace.mix006.opt.ats done 11.78 4.40 None NoDataRace.mix006_power.oepc_pso.oepc_rmo.oepc.ats done 11.30 3.90 None NoDataRace.mix006_tso.oepc.ats done 17.50 8.48 None NoDataRace.mix007.oepc.ats done 12.08 4.84 None NoDataRace.mix007.opt.ats done 12.46 4.88 None NoDataRace.mix008.opt.ats done 12.44 4.73 None NoDataRace.mix008_power.oepc_pso.oepc_rmo.oepc.ats done 12.55 4.83 None NoDataRace.mix008_tso.oepc.ats done 18.74 9.24 None NoDataRace.mix009.oepc.ats done 10.28 3.57 None NoDataRace.mix009.opt.ats done 11.46 4.73 None NoDataRace.mix010.oepc.ats done 11.54 4.07 None NoDataRace.mix010.opt.ats done 11.54 4.96 None NoDataRace.mix011.opt.ats done 12.34 4.91 None NoDataRace.mix011_power.oepc_pso.oepc_rmo.oepc.ats done 12.12 4.65 None NoDataRace.mix011_tso.oepc.ats done 11.23 4.20 None NoDataRace.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.ats done 10.53 3.80 None NoDataRace.mix012_pso.opt_tso.opt.ats done 11.75 4.61 None NoDataRace.mix013.oepc.ats done 12.41 5.32 None NoDataRace.mix013.opt.ats done 11.42 4.77 None NoDataRace.mix014.opt.ats done 13.13 5.45 None NoDataRace.mix014_power.oepc_pso.oepc_rmo.oepc.ats done 12.88 5.36 None NoDataRace.mix014_tso.oepc.ats done 17.16 9.10 None NoDataRace.mix015.oepc.ats done 12.37 4.63 None NoDataRace.mix015.opt.ats done 11.39 5.09 None NoDataRace.mix016.oepc.ats done 11.65 4.55 None NoDataRace.mix016_power.opt_rmo.opt.ats done 10.88 3.89 None NoDataRace.mix016_pso.opt_tso.opt.ats done 11.53 4.84 None NoDataRace.mix017.oepc.ats done 11.13 4.88 None NoDataRace.mix017_power.opt_rmo.opt.ats done 11.93 4.19 None NoDataRace.mix017_pso.opt_tso.opt.ats done 12.27 4.98 None NoDataRace.mix018.opt.ats done 12.30 5.19 None NoDataRace.mix018_power.oepc_pso.oepc_rmo.oepc.ats done 12.39 5.13 None NoDataRace.mix018_tso.oepc.ats done 11.90 4.75 None NoDataRace.mix019.opt.ats done 12.26 4.50 None NoDataRace.mix019_power.oepc_pso.oepc_rmo.oepc.ats done 12.75 4.32 None NoDataRace.mix019_tso.oepc.ats done 11.23 4.19 None NoDataRace.mix020.oepc.ats done 11.48 4.91 None NoDataRace.mix020.opt.ats done 13.15 4.86 None NoDataRace.mix021.opt.ats done 14.14 5.91 None NoDataRace.mix021_power.oepc_pso.oepc_rmo.oepc.ats done 11.71 5.10 None NoDataRace.mix021_tso.oepc.ats done 11.19 4.65 None NoDataRace.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.14 4.09 None NoDataRace.mix022_tso.ats done 11.76 4.79 None NoDataRace.mix023_power.oepc_pso.oepc_rmo.oepc.ats done 13.05 5.48 None NoDataRace.mix023_power.opt_pso.opt_rmo.opt.ats done 12.30 4.59 None NoDataRace.mix023_tso.ats done 18.61 10.28 None NoDataRace.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 11.90 4.92 None NoDataRace.mix024_power.opt_pso.opt_rmo.opt.ats done 10.68 4.78 None NoDataRace.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 11.17 4.75 None NoDataRace.mix025_pso.opt_rmo.opt.ats done 10.79 4.57 None NoDataRace.mix026.oepc.ats done 12.58 5.84 None NoDataRace.mix026_power.opt_tso.opt.ats done 12.70 6.23 None NoDataRace.mix026_pso.opt_rmo.opt.ats done 12.65 5.35 None NoDataRace.mix027_power.oepc_pso.oepc_rmo.oepc.ats done 11.55 5.90 None NoDataRace.mix027_power.opt_pso.opt_rmo.opt.ats done 11.58 5.24 None NoDataRace.mix027_tso.ats done 12.63 5.17 None NoDataRace.mix028_power.oepc_pso.oepc_rmo.oepc.ats done 11.88 4.64 None NoDataRace.mix028_power.opt_pso.opt_rmo.opt.ats done 10.68 4.54 None NoDataRace.mix028_tso.ats done 14.78 5.65 None NoDataRace.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 11.95 6.07 None NoDataRace.mix029_power.opt_pso.opt_rmo.opt.ats done 11.94 5.03 None NoDataRace.mix030_power.oepc_pso.oepc_rmo.oepc.ats done 12.68 6.00 None NoDataRace.mix030_power.opt_pso.opt_rmo.opt.ats done 11.16 4.98 None NoDataRace.mix030_tso.ats done 11.92 5.80 None NoDataRace.mix031.oepc.ats done 10.85 4.61 None NoDataRace.mix031.opt.ats done 12.08 5.06 None NoDataRace.mix032.oepc.ats done 13.17 5.77 None NoDataRace.mix032.opt.ats done 10.95 4.77 None NoDataRace.mix033.opt.ats done 11.83 4.90 None NoDataRace.mix033_power.oepc_pso.oepc_rmo.oepc.ats done 12.23 5.17 None NoDataRace.mix033_tso.oepc.ats done 11.61 4.99 None NoDataRace.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.ats done 10.96 4.40 None NoDataRace.mix034_pso.opt_tso.opt.ats done 10.64 4.13 None NoDataRace.mix035.oepc.ats done 11.06 5.08 None NoDataRace.mix035_power.opt_rmo.opt.ats done 11.36 5.33 None NoDataRace.mix035_pso.opt_tso.opt.ats done 11.84 4.42 None NoDataRace.mix036.oepc.ats done 12.66 5.78 None NoDataRace.mix036_power.opt_rmo.opt.ats done 11.78 4.77 None NoDataRace.mix036_pso.opt_tso.opt.ats done 12.30 4.84 None NoDataRace.mix037.opt.ats done 11.27 4.75 None NoDataRace.mix037_power.oepc_pso.oepc_rmo.oepc.ats done 12.84 5.82 None NoDataRace.mix037_tso.oepc.ats done 12.86 5.69 None NoDataRace.mix038.opt.ats done 11.17 4.85 None NoDataRace.mix038_power.oepc_pso.oepc_rmo.oepc.ats done 11.79 5.21 None NoDataRace.mix038_tso.oepc.ats done 11.69 4.92 None NoDataRace.mix039.oepc.ats done 12.76 5.68 None NoDataRace.mix039.opt.ats done 11.51 4.95 None NoDataRace.mix040.opt.ats done 11.06 4.57 None NoDataRace.mix040_power.oepc_pso.oepc_rmo.oepc.ats done 13.23 5.87 None NoDataRace.mix040_tso.oepc.ats done 12.24 5.00 None NoDataRace.mix041_power.oepc_pso.oepc_rmo.oepc.ats done 11.04 4.34 None NoDataRace.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 11.74 4.34 None NoDataRace.mix042.oepc.ats done 11.48 4.90 None NoDataRace.mix042.opt.ats done 10.88 4.56 None NoDataRace.mix043.oepc.ats done 12.59 6.03 None NoDataRace.mix043.opt.ats done 11.78 4.93 None NoDataRace.mix044.opt.ats done 11.84 4.89 None NoDataRace.mix044_power.oepc_pso.oepc_rmo.oepc.ats done 11.80 6.01 None NoDataRace.mix044_tso.oepc.ats done 11.54 5.61 None NoDataRace.mix045_power.oepc_pso.oepc_rmo.oepc.ats done 12.09 4.88 None NoDataRace.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 11.13 4.37 None NoDataRace.mix046.oepc.ats done 15.39 5.86 None NoDataRace.mix046.opt.ats done 11.53 4.73 None NoDataRace.mix047_power.oepc_pso.oepc_rmo.oepc.ats done 12.06 5.91 None NoDataRace.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 11.26 4.92 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 11.68 4.73 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 12.07 4.84 None NoDataRace.mix050.ats done 12.56 5.68 None NoDataRace.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 12.85 5.64 None NoDataRace.mix051_pso.opt_rmo.opt_tso.opt.ats done 11.84 5.00 None NoDataRace.mix051_tso.oepc.ats done 12.68 5.68 None NoDataRace.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 11.14 5.33 None NoDataRace.mix052_pso.opt_rmo.opt_tso.opt.ats done 11.22 4.71 None NoDataRace.mix052_tso.oepc.ats done 11.65 4.80 None NoDataRace.mix053.opt.ats done 11.04 4.51 None NoDataRace.mix053_power.oepc_pso.oepc_rmo.oepc.ats done 13.57 6.59 None NoDataRace.mix053_tso.oepc.ats done 11.99 5.00 None NoDataRace.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 10.99 4.58 None NoDataRace.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 10.42 4.11 None NoDataRace.mix055.opt.ats done 11.65 4.68 None NoDataRace.mix055_power.oepc_pso.oepc_rmo.oepc.ats done 13.88 6.79 None NoDataRace.mix055_tso.oepc.ats done 11.53 5.52 None NoDataRace.mix056_power.oepc_pso.oepc_rmo.oepc.ats done 11.43 5.12 None NoDataRace.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 10.19 4.39 None NoDataRace.mix057_power.oepc_pso.oepc_rmo.oepc.ats done 12.08 5.77 None NoDataRace.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 11.31 4.93 None NoDataRace.mult-comm.wvr.ats done 11.24 5.19 None NoDataRace.mult-dist.wvr.ats done 37.57 29.85 None NoDataRace.mult-flipped-dist.wvr.ats done 40.16 30.52 None NoDataRace.parallel-lamport.wvr.ats done 51.49 40.96 None NoDataRace.parallel-min-max-1.wvr.ats done 53.06 41.31 None NoDataRace.parallel-misc-1.wvr.ats TIMEOUT 300.18 288.23 None NoDataRace.parallel-misc-2-unrolled-atomic.wvr.ats done 11.85 4.62 None NoDataRace.parallel-misc-2-unrolled.wvr.ats done 14.75 7.04 None NoDataRace.parallel-misc-2.wvr.ats done 16.56 8.11 None NoDataRace.parallel-misc-3-extended.wvr.ats ERROR (1) 40.07 31.45 None NoDataRace.parallel-misc-3.wvr.ats done 15.72 7.63 None NoDataRace.parallel-misc-4.wvr.ats done 15.67 5.67 None NoDataRace.parallel-misc-5.wvr.ats done 20.27 10.42 None NoDataRace.parallel-parallel-sum-1-dsl.wvr.ats done 30.20 18.02 None NoDataRace.parallel-parallel-sum-1.wvr.ats done 57.74 43.12 None NoDataRace.parallel-parallel-sum-2.wvr.ats ERROR (1) 158.00 147.32 None NoDataRace.parallel-parallel-sum-equiv.wvr.ats done 16.58 6.32 None NoDataRace.parallel-simple-equiv.wvr.ats done 10.95 2.88 None NoDataRace.parallel-ticket-2.wvr.ats done 10.25 2.79 None NoDataRace.parallel-ticket-3.wvr.ats done 17.49 6.47 None NoDataRace.parallel-ticket-4.wvr.ats done 61.98 34.07 None NoDataRace.peterson.ats done 9.66 2.82 None NoDataRace.popl20-bad-buffer-mult-alt.wvr.ats ERROR (1) 73.18 63.30 None NoDataRace.popl20-bad-buffer-mult-alt2.wvr.ats ERROR (1) 71.09 61.03 None NoDataRace.popl20-bad-buffer-mult-alt3.wvr.ats ERROR (1) 70.46 61.19 None NoDataRace.popl20-bad-commit-1.wvr-bad.ats TIMEOUT 300.43 286.45 None NoDataRace.popl20-bad-counter-queue.wvr.ats done 17.57 6.70 None NoDataRace.popl20-bad-counter-queue2.wvr.ats done 9.11 2.48 None NoDataRace.popl20-bad-ring-nondet.wvr.ats TIMEOUT 300.42 286.08 None NoDataRace.popl20-bad-ring.wvr.ats ERROR (1) 238.98 227.17 None NoDataRace.popl20-bad-threaded-sum-2.wvr.ats done 9.99 2.69 None NoDataRace.popl20-channel-sum.wvr.ats done 24.30 11.26 None NoDataRace.popl20-commit-1.wvr.ats ERROR (1) 119.06 108.38 None NoDataRace.popl20-commit-2.wvr.ats TIMEOUT 300.31 286.44 None NoDataRace.popl20-counter-determinism.wvr.ats done 15.23 5.72 None NoDataRace.popl20-counter-fun.wvr.ats done 12.66 3.76 None NoDataRace.popl20-difference-det.wvr.ats done 16.75 6.07 None NoDataRace.popl20-figure1-alt.wvr.ats done 8.81 2.28 None NoDataRace.popl20-figure1.wvr.ats done 7.32 2.07 None NoDataRace.popl20-figure3.wvr.ats done 8.63 2.34 None NoDataRace.popl20-horseshoe.wvr.ats ERROR (1) 40.40 31.31 None NoDataRace.popl20-min-max-dec.wvr.ats done 15.79 5.40 None NoDataRace.popl20-min-max-inc-dec.wvr.ats done 38.93 18.29 None NoDataRace.popl20-min-max-inc.wvr.ats done 15.16 5.38 None NoDataRace.popl20-more-array-sum-alt.wvr.ats ERROR (1) 64.07 31.30 None NoDataRace.popl20-more-array-sum-alt2.wvr.ats done 11.77 3.31 None NoDataRace.popl20-more-array-sum2.wvr.ats done 13.26 3.74 None NoDataRace.popl20-more-buffer-mult.wvr.ats ERROR (1) 41.25 31.11 None NoDataRace.popl20-more-buffer-mult2.wvr.ats ERROR (1) 41.31 31.16 None NoDataRace.popl20-more-buffer-mult3.wvr.ats ERROR (1) 40.99 31.11 None NoDataRace.popl20-more-buffer-series.wvr.ats done 46.40 31.76 None NoDataRace.popl20-more-buffer-series2.wvr.ats done 45.75 31.72 None NoDataRace.popl20-more-buffer-series3.wvr.ats done 47.60 32.72 None NoDataRace.popl20-more-dec-subseq.wvr.ats TIMEOUT 300.17 286.83 None NoDataRace.popl20-more-inc-subseq.wvr.ats TIMEOUT 300.27 286.77 None NoDataRace.popl20-more-max-array-hom.wvr.ats done 12.75 3.39 None NoDataRace.popl20-more-max-array.wvr.ats done 12.25 3.44 None NoDataRace.popl20-more-min-array-hom.wvr.ats done 12.27 3.60 None NoDataRace.popl20-more-min-array.wvr.ats done 11.85 3.48 None NoDataRace.popl20-more-min-le-max.wvr.ats done 12.08 3.67 None NoDataRace.popl20-more-mts.wvr.ats ERROR (1) 46.10 31.14 None NoDataRace.popl20-more-multiply-verify.wvr.ats done 32.32 20.16 None NoDataRace.popl20-more-nonblocking-counter-alt2.wvr.ats done 7.20 2.16 None NoDataRace.popl20-more-queue-add-2-nl.wvr.ats ERROR (1) 39.88 31.18 None NoDataRace.popl20-more-queue-add-3-nl.wvr.ats TIMEOUT 300.23 286.67 None NoDataRace.popl20-more-sum-array-hom.wvr.ats ERROR (1) 42.78 31.17 None NoDataRace.popl20-mult-4.wvr.ats done 15.47 5.24 None NoDataRace.popl20-mult-equiv.wvr.ats done 9.10 2.25 None NoDataRace.popl20-nonblocking-cntr-alt.wvr.ats done 8.20 2.15 None NoDataRace.popl20-nonblocking-cntr.wvr.ats done 6.52 1.93 None NoDataRace.popl20-prod-cons.wvr.ats done 15.33 5.35 None NoDataRace.popl20-prod-cons3.wvr.ats done 54.88 39.61 None NoDataRace.popl20-proofs-counter-add-4-semi-Q67.wvr.ats done 42.12 29.52 None NoDataRace.popl20-queue-add-2.wvr.ats done 11.92 3.86 None NoDataRace.popl20-queue-add-3.wvr.ats ERROR (1) 40.59 31.45 None NoDataRace.popl20-send-receive-alt.wvr.ats done 12.42 3.78 None NoDataRace.popl20-send-receive.wvr.ats done 14.02 4.43 None NoDataRace.popl20-simple-array-sum.wvr.ats done 19.09 7.33 None NoDataRace.popl20-simple-queue.wvr.ats done 9.90 2.86 None NoDataRace.popl20-threaded-sum-3.wvr.ats done 10.31 2.86 None NoDataRace.popl20-two-queue.wvr.ats ERROR (1) 40.31 31.12 None NoDataRace.pthread-demo-datarace-1.ats done 8.77 2.36 None NoDataRace.pthread-demo-datarace-3.ats done 9.95 2.53 None NoDataRace.queue.ats TIMEOUT 300.43 285.08 None NoDataRace.queue_longer.ats ERROR (1) 51.32 31.92 None NoDataRace.queue_ok.ats TIMEOUT 300.45 259.93 None NoDataRace.qw2004-2b.ats done 7.98 2.13 None NoDataRace.race-1_1-join.ats done 9.80 2.83 None NoDataRace.race-1_2-join.ats done 8.80 2.68 None NoDataRace.race-1_3-join.ats done 9.41 2.79 None NoDataRace.race-2_2-container_of.ats done 17.65 6.04 None NoDataRace.race-2_3-container_of.ats done 18.85 6.78 None NoDataRace.race-2_4-container_of.ats done 19.14 6.64 None NoDataRace.race-2_5-container_of.ats done 19.22 6.76 None NoDataRace.race-3_2-container_of-global.ats done 31.65 16.28 None NoDataRace.race-4_1-thread_local_vars.ats ERROR (1) 41.88 31.22 None NoDataRace.read_write_lock-1.ats done 10.16 2.78 None NoDataRace.read_write_lock-2.ats done 6.65 1.93 None NoDataRace.rfi000_power.oepc_pso.oepc_rmo.oepc.ats done 12.79 4.80 None NoDataRace.rfi000_power.opt_pso.opt_rmo.opt.ats done 10.32 3.16 None NoDataRace.rfi000_tso.ats done 12.03 4.49 None NoDataRace.rfi001_power.oepc_pso.oepc_rmo.oepc.ats done 10.43 3.20 None NoDataRace.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 10.61 3.20 None NoDataRace.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 13.02 5.19 None NoDataRace.rfi002_tso.ats done 16.86 7.43 None NoDataRace.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.84 2.96 None NoDataRace.rfi003_tso.ats done 13.30 5.01 None NoDataRace.rfi004.ats done 9.97 3.04 None NoDataRace.rfi005.ats done 12.11 4.60 None NoDataRace.rfi006_power.oepc.ats done 15.67 5.86 None NoDataRace.rfi006_power.opt.ats done 16.21 5.95 None NoDataRace.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 12.27 4.45 None NoDataRace.rfi006_rmo.ats done 14.63 4.97 None NoDataRace.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.07 3.20 None NoDataRace.rfi007_tso.ats done 11.63 3.84 None NoDataRace.rfi008.oepc.ats done 12.45 4.44 None NoDataRace.rfi008.opt.ats done 11.73 3.94 None NoDataRace.rfi009_power.oepc.ats done 16.15 5.85 None NoDataRace.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 11.66 4.33 None NoDataRace.rfi009_rmo.oepc.ats done 15.18 5.40 None NoDataRace.rfi010.ats done 11.76 3.93 None NoDataRace.safe000_power.oepc.ats done 17.66 7.10 None NoDataRace.safe000_power.opt.ats done 15.42 5.18 None NoDataRace.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.12 1.99 None NoDataRace.safe000_rmo.ats done 16.56 6.16 None NoDataRace.safe001_power.oepc.ats done 17.54 7.15 None NoDataRace.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.ats done 10.27 3.34 None NoDataRace.safe001_rmo.oepc.ats done 16.91 6.25 None NoDataRace.safe001_tso.ats done 7.40 2.13 None NoDataRace.safe002_power.oepc.ats done 16.89 7.00 None NoDataRace.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.ats done 10.70 3.48 None NoDataRace.safe002_rmo.oepc.ats done 16.66 6.33 None NoDataRace.safe002_tso.ats done 7.26 2.10 None NoDataRace.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 13.60 5.36 None NoDataRace.safe003_power.opt.ats done 14.70 5.22 None NoDataRace.safe003_tso.ats done 7.06 2.04 None NoDataRace.safe004_power.oepc_pso.oepc_rmo.oepc.ats done 13.86 5.50 None NoDataRace.safe004_power.opt_pso.opt_rmo.opt.ats done 11.32 3.65 None NoDataRace.safe004_tso.ats done 6.99 2.02 None NoDataRace.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.78 3.59 None NoDataRace.safe005_tso.ats done 7.42 2.23 None NoDataRace.safe006_power.oepc-thin000_power.oepc.ats done 18.78 7.28 None NoDataRace.safe006_power.opt-thin000_power.opt.ats done 14.54 4.67 None NoDataRace.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.85 2.08 None NoDataRace.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.ats done 12.52 4.14 None NoDataRace.safe007_power.oepc-thin001_power.oepc.ats done 13.54 4.65 None NoDataRace.safe007_power.opt-thin001_power.opt.ats done 14.70 5.00 None NoDataRace.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.32 2.21 None NoDataRace.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.ats done 12.89 4.18 None NoDataRace.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.93 3.75 None NoDataRace.safe008_power.opt.ats done 14.86 5.33 None NoDataRace.safe008_tso.ats done 6.79 2.17 None NoDataRace.safe009_power.oepc.ats done 16.29 5.86 None NoDataRace.safe009_power.opt.ats done 14.65 5.39 None NoDataRace.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.14 2.12 None NoDataRace.safe009_rmo.oepc.ats done 15.73 5.27 None NoDataRace.safe009_rmo.opt.ats done 13.45 4.44 None NoDataRace.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.11 3.14 None NoDataRace.safe010_tso.ats done 6.28 1.95 None NoDataRace.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.ats done 11.09 3.68 None NoDataRace.safe011_power.opt_pso.opt.ats done 11.44 3.67 None NoDataRace.safe011_tso.ats done 7.71 2.28 None NoDataRace.safe012_power.oepc.ats done 13.85 4.97 None NoDataRace.safe012_power.opt.ats done 13.83 5.14 None NoDataRace.safe012_pso.oepc_pso.opt_rmo.opt.ats done 11.31 3.96 None NoDataRace.safe012_rmo.oepc.ats done 12.01 4.15 None NoDataRace.safe012_tso.ats done 7.18 2.28 None NoDataRace.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.89 3.68 None NoDataRace.safe013_tso.ats done 7.71 2.32 None NoDataRace.safe014_power.oepc.ats done 13.55 4.77 None NoDataRace.safe014_power.opt.ats done 14.34 5.01 None NoDataRace.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.38 2.24 None NoDataRace.safe014_rmo.oepc.ats done 11.45 3.94 None NoDataRace.safe014_rmo.opt.ats done 17.02 6.69 None NoDataRace.safe015_power.oepc.ats done 19.52 8.76 None NoDataRace.safe015_power.opt.ats done 18.67 7.50 None NoDataRace.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.72 2.26 None NoDataRace.safe015_rmo.ats done 18.16 6.60 None NoDataRace.safe016_power.oepc.ats done 16.42 6.32 None NoDataRace.safe016_power.opt.ats done 16.83 6.98 None NoDataRace.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.27 2.18 None NoDataRace.safe016_rmo.oepc.ats done 15.33 5.55 None NoDataRace.safe016_rmo.opt.ats done 16.30 6.31 None NoDataRace.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.25 4.00 None NoDataRace.safe017_tso.ats done 7.30 2.47 None NoDataRace.safe018_power.oepc.ats done 14.68 5.15 None NoDataRace.safe018_power.opt.ats done 18.74 8.60 None NoDataRace.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 6.94 2.30 None NoDataRace.safe018_rmo.oepc.ats done 12.11 4.10 None NoDataRace.safe018_rmo.opt.ats done 14.89 5.99 None NoDataRace.safe019_power.oepc.ats done 17.20 6.59 None NoDataRace.safe019_power.opt.ats done 24.87 13.33 None NoDataRace.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 8.12 2.42 None NoDataRace.safe019_rmo.oepc.ats done 16.01 5.68 None NoDataRace.safe019_rmo.opt.ats done 15.87 6.34 None NoDataRace.safe020_power.ats done 19.32 8.46 None NoDataRace.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.35 2.26 None NoDataRace.safe020_rmo.ats done 15.88 6.16 None NoDataRace.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.ats done 11.26 4.14 None NoDataRace.safe021_power.opt_pso.opt.ats done 11.12 4.10 None NoDataRace.safe021_tso.ats done 7.39 2.41 None NoDataRace.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.06 3.73 None NoDataRace.safe022_tso.ats done 7.08 2.16 None NoDataRace.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 14.80 6.57 None NoDataRace.safe023_tso.ats done 7.22 2.06 None NoDataRace.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.73 4.18 None NoDataRace.safe024_tso.ats done 7.66 2.40 None NoDataRace.safe025_power.ats done 19.38 8.55 None NoDataRace.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.24 2.34 None NoDataRace.safe025_rmo.ats done 17.84 7.70 None NoDataRace.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.16 4.31 None NoDataRace.safe026_tso.ats done 7.62 2.53 None NoDataRace.safe027_power.oepc.ats done 17.13 7.12 None NoDataRace.safe027_power.opt.ats done 18.44 8.04 None NoDataRace.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 8.40 2.54 None NoDataRace.safe027_rmo.ats done 14.79 5.99 None NoDataRace.safe028_power.ats done 20.60 9.81 None NoDataRace.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 7.90 2.66 None NoDataRace.safe028_rmo.ats done 15.55 6.66 None NoDataRace.safe029_power.oepc_pso.oepc_rmo.oepc.ats done 10.10 3.34 None NoDataRace.safe029_power.opt_pso.opt_rmo.opt.ats done 10.22 3.51 None NoDataRace.safe029_tso.ats done 7.14 2.37 None NoDataRace.safe030_power.oepc_pso.oepc_rmo.oepc.ats done 11.90 4.39 None NoDataRace.safe030_power.opt_pso.opt_rmo.opt.ats done 10.51 3.74 None NoDataRace.safe030_tso.ats done 7.67 2.51 None NoDataRace.safe031_power.oepc_pso.oepc_rmo.oepc.ats done 11.23 4.01 None NoDataRace.safe031_power.opt_pso.opt_rmo.opt.ats done 10.48 3.72 None NoDataRace.safe031_tso.ats done 7.47 2.27 None NoDataRace.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 14.20 6.63 None NoDataRace.safe032_tso.ats done 7.68 2.60 None NoDataRace.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.51 3.76 None NoDataRace.safe033_tso.ats done 7.23 2.41 None NoDataRace.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 12.28 3.83 None NoDataRace.safe034_tso.ats done 7.45 2.61 None NoDataRace.safe035_power.ats done 24.10 12.36 None NoDataRace.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.ats done 7.60 2.59 None NoDataRace.safe036.ats done 7.22 2.48 None NoDataRace.safe037.ats done 7.82 2.47 None NoDataRace.security.wvr.ats done 21.82 11.92 None NoDataRace.singleton.ats done 11.68 4.25 None NoDataRace.singleton_with-uninit-problems.ats done 11.42 4.24 None NoDataRace.stack-1.ats done 15.30 6.00 None NoDataRace.stack-2.ats done 19.28 8.80 None NoDataRace.stack_longer-1.ats done 29.12 16.26 None NoDataRace.stack_longer-2.ats done 23.15 11.78 None NoDataRace.stack_longest-1.ats done 47.99 33.03 None NoDataRace.stack_longest-2.ats done 40.80 26.88 None NoDataRace.stateful01-1.ats done 11.44 3.31 None NoDataRace.stateful01-2.ats done 12.29 3.13 None NoDataRace.sync01.ats done 12.62 4.09 None NoDataRace.szymanski.ats done 10.36 3.45 None NoDataRace.test-context1.wvr.ats done 10.09 2.94 None NoDataRace.test-easy1.wvr.ats done 9.97 2.85 None NoDataRace.test-easy11.wvr.ats done 6.92 2.18 None NoDataRace.test-easy7.wvr.ats done 13.76 5.44 None NoDataRace.test-easy8.wvr.ats done 6.79 2.35 None NoDataRace.test-hard1.wvr.ats done 36.40 24.80 None NoDataRace.test-semi1.wvr.ats done 6.72 2.46 None NoDataRace.thin002_power.oepc.ats done 13.95 5.68 None NoDataRace.thin002_power.opt.ats done 14.28 5.46 None NoDataRace.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 8.06 2.47 None NoDataRace.thin002_rmo.ats done 12.19 4.47 None NoDataRace.time_var_mutex.ats done 10.38 3.42 None NoDataRace.triangular-1.ats done 5.42 1.73 None NoDataRace.triangular-2.ats done 5.76 1.78 None NoDataRace.triangular-longer-1.ats done 5.38 1.78 None NoDataRace.triangular-longer-2.ats done 5.60 1.68 None NoDataRace.triangular-longest-1.ats done 5.41 1.79 None NoDataRace.triangular-longest-2.ats done 5.83 1.96 None NoDataRace.unroll-2.wvr.ats done 43.17 28.97 None NoDataRace.unroll-3.wvr.ats done 62.28 47.93 None NoDataRace.unroll-4.wvr.ats ERROR (1) 42.44 31.27 None NoDataRace.unroll-5.wvr.ats ERROR (1) 40.61 31.39 None NoDataRace.unroll-cond-2.wvr.ats ERROR (1) 43.80 31.34 None NoDataRace.unroll-cond-3.wvr.ats ERROR (1) 40.96 31.32 None NoDataRace.unroll-cond-4.wvr.ats ERROR (1) 63.77 53.49 None NoDataRace.unroll-cond-5.wvr.ats ERROR (1) 217.39 205.77 None NoDataRace.unwind1-1.ats done 6.77 1.98 None NoDataRace.unwind1-100.ats done 6.62 1.97 None NoDataRace.unwind1-nondet.ats done 6.90 1.97 None NoDataRace.unwind2-1.ats done 7.07 2.00 None NoDataRace.unwind2-100.ats done 6.77 1.98 None NoDataRace.unwind2-nondet.ats done 7.35 2.22 None NoDataRace.unwind3-1.ats done 7.80 2.34 None NoOverflow.04-mutex_02-simple_nr.ats done 8.67 2.34 None NoOverflow.04-mutex_04-munge_nr.ats done 55.72 14.61 None NoOverflow.04-mutex_05-lockfuns.ats done 8.65 2.65 None NoOverflow.04-mutex_07-ps_nr.ats done 10.12 3.04 None NoOverflow.04-mutex_10-ptrmunge_nr.ats ERROR (1) 41.62 31.33 None NoOverflow.04-mutex_12-ptr_nr.ats done 14.56 4.55 None NoOverflow.04-mutex_15-funarg_nr.ats done 11.70 3.43 None NoOverflow.04-mutex_17-ps_add1_nr.ats done 22.31 9.57 None NoOverflow.04-mutex_28-base_nr.ats done 6.65 2.12 None NoOverflow.04-mutex_41-pt_rwlock.ats done 7.24 2.61 None NoOverflow.04-mutex_42-trylock_2mutex.ats done 10.88 3.58 None NoOverflow.04-mutex_43-thread_create_nr.ats done 8.86 3.05 None NoOverflow.04-mutex_46-escape_nr.ats ERROR (1) 40.77 31.67 None NoOverflow.04-mutex_51-mutex_ptr.ats done 14.56 5.42 None NoOverflow.04-mutex_54-pt_rwlock_ww.ats done 7.17 2.24 None NoOverflow.05-lval_ls_02-idx_nr.ats done 16.46 6.65 None NoOverflow.05-lval_ls_04-fld_nr.ats done 9.18 2.77 None NoOverflow.05-lval_ls_12-fldsense_nr.ats done 11.80 3.91 None NoOverflow.06-symbeq_11-equ_nr.ats done 8.24 2.39 None NoOverflow.06-symbeq_23-idxsense_nr.ats done 23.40 11.09 None NoOverflow.09-regions_04-list2_nr.ats done 19.33 9.45 None NoOverflow.09-regions_09-arraylist.ats done 10.50 3.11 None NoOverflow.09-regions_11-arraylist_nr.ats done 19.99 8.27 None NoOverflow.09-regions_12-arraycollapse_rc.ats done 11.24 3.84 None NoOverflow.09-regions_13-arraycollapse_nr.ats done 11.91 3.90 None NoOverflow.09-regions_17-arrayloop_nr.ats done 47.94 32.59 None NoOverflow.09-regions_19-nested_nr.ats done 18.76 7.55 None NoOverflow.13-privatized_01-priv_nr_true.ats done 14.96 5.27 None NoOverflow.13-privatized_24-multiple-protecting_true.ats done 18.89 9.04 None NoOverflow.13-privatized_25-struct_nr_true.ats done 12.29 4.02 None NoOverflow.13-privatized_27-multiple-protecting2_true.ats done 20.38 9.58 None NoOverflow.13-privatized_29-multiple-protecting2-vesal_true.ats done 10.23 3.00 None NoOverflow.13-privatized_31-traces-mine-vs-mutex_true.ats done 8.50 2.67 None NoOverflow.13-privatized_52-refine-protected-loop2-small_true.ats done 6.86 2.20 None NoOverflow.28-race_reach_45-escape_racing.ats done 10.56 3.31 None NoOverflow.28-race_reach_46-escape_racefree.ats done 12.55 4.29 None NoOverflow.36-apron_21-traces-cluster-based_true.ats done 10.34 3.62 None NoOverflow.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.ats ERROR (1) 47.10 31.60 None NoOverflow.arithmetic_prog_bad.ats done 31.10 16.12 None NoOverflow.arithmetic_prog_ok.ats done 30.49 15.86 None NoOverflow.array-eq-symm.wvr.ats ERROR (1) 42.61 31.30 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.ats done 42.10 27.44 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.ats done 45.34 27.86 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.ats done 34.00 18.62 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.ats done 32.59 18.45 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.ats done 32.46 18.35 None NoOverflow.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.ats done 33.69 18.73 None NoOverflow.chl-chromosome-opt-symm.wvr.ats ERROR (1) 41.17 31.64 None NoOverflow.chl-collitem-subst.wvr.ats TIMEOUT 300.49 285.30 None NoOverflow.chl-collitem-symm.wvr.ats done 24.42 13.72 None NoOverflow.chl-collitem-trans.wvr.ats TIMEOUT 300.40 285.56 None NoOverflow.chl-exp-term-symm.wvr.ats ERROR (1) 48.38 33.63 None NoOverflow.chl-file-item-subst.wvr.ats TIMEOUT 300.26 285.94 None NoOverflow.chl-file-item-symm.wvr.ats ERROR (1) 45.50 31.42 None NoOverflow.chl-file-item-trans.wvr.ats TIMEOUT 300.35 285.66 None NoOverflow.chl-match-symm.wvr.ats TIMEOUT 300.98 287.35 None NoOverflow.chl-name-comparator-symm.wvr.ats TIMEOUT 300.22 269.94 None NoOverflow.chl-simpl-str-symm.wvr.ats ERROR (1) 49.49 33.21 None NoOverflow.chl-simpl-str-trans.wvr.ats TIMEOUT 300.16 285.72 None NoOverflow.chl-time-subst.wvr.ats done 12.59 4.33 None NoOverflow.chl-time-symm.wvr.ats done 9.88 2.91 None NoOverflow.chl-time-trans.wvr.ats done 12.78 3.91 None NoOverflow.chl-word-symm.wvr.ats ERROR (1) 127.47 113.70 None NoOverflow.circular_buffer_bad.ats done 17.06 5.40 None NoOverflow.circular_buffer_ok.ats done 17.81 6.30 None NoOverflow.clever.wvr.ats done 17.78 6.48 None NoOverflow.exponential-4.ats done 19.54 8.90 None NoOverflow.lazy01.ats done 11.04 3.22 None NoOverflow.mix000.oepc.ats done 9.01 2.34 None NoOverflow.mix000.opt.ats done 8.75 2.32 None NoOverflow.mix001.oepc.ats done 10.82 3.09 None NoOverflow.mix001.opt.ats done 10.47 3.04 None NoOverflow.mix002.oepc.ats done 10.54 3.02 None NoOverflow.mix002.opt.ats done 10.53 2.96 None NoOverflow.mix003.oepc.ats done 11.54 3.53 None NoOverflow.mix003_power.opt_pso.opt_rmo.opt_tso.opt.ats done 11.15 3.46 None NoOverflow.mix004.oepc.ats done 13.49 4.69 None NoOverflow.mix004.opt.ats done 13.45 4.70 None NoOverflow.mix005.opt.ats done 13.02 4.40 None NoOverflow.mix005_power.oepc_pso.oepc_rmo.oepc.ats done 13.60 4.66 None NoOverflow.mix005_tso.oepc.ats done 13.44 4.69 None NoOverflow.mix006.opt.ats done 10.71 3.18 None NoOverflow.mix006_power.oepc_pso.oepc_rmo.oepc.ats done 10.96 3.17 None NoOverflow.mix006_tso.oepc.ats done 11.21 3.20 None NoOverflow.mix007.oepc.ats done 13.98 4.79 None NoOverflow.mix007.opt.ats done 13.59 4.74 None NoOverflow.mix008.opt.ats done 13.23 4.73 None NoOverflow.mix008_power.oepc_pso.oepc_rmo.oepc.ats done 13.74 4.89 None NoOverflow.mix008_tso.oepc.ats done 13.70 5.01 None NoOverflow.mix009.oepc.ats done 8.91 2.51 None NoOverflow.mix009.opt.ats done 9.06 2.62 None NoOverflow.mix010.oepc.ats done 10.43 3.18 None NoOverflow.mix010.opt.ats done 10.96 3.20 None NoOverflow.mix011.opt.ats done 10.14 2.91 None NoOverflow.mix011_power.oepc_pso.oepc_rmo.oepc.ats done 11.15 3.40 None NoOverflow.mix011_tso.oepc.ats done 11.15 3.46 None NoOverflow.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.ats done 9.09 2.60 None NoOverflow.mix012_pso.opt_tso.opt.ats done 9.21 2.65 None NoOverflow.mix013.oepc.ats done 13.86 4.83 None NoOverflow.mix013.opt.ats done 13.08 4.57 None NoOverflow.mix014.opt.ats done 12.73 4.62 None NoOverflow.mix014_power.oepc_pso.oepc_rmo.oepc.ats done 13.34 4.59 None NoOverflow.mix014_tso.oepc.ats done 14.77 5.23 None NoOverflow.mix015.oepc.ats done 10.19 2.91 None NoOverflow.mix015.opt.ats done 10.77 3.19 None NoOverflow.mix016.oepc.ats done 10.90 3.19 None NoOverflow.mix016_power.opt_rmo.opt.ats done 11.02 3.15 None NoOverflow.mix016_pso.opt_tso.opt.ats done 10.55 3.04 None NoOverflow.mix017.oepc.ats done 13.50 4.68 None NoOverflow.mix017_power.opt_rmo.opt.ats done 13.86 4.54 None NoOverflow.mix017_pso.opt_tso.opt.ats done 13.27 4.58 None NoOverflow.mix018.opt.ats done 13.69 4.54 None NoOverflow.mix018_power.oepc_pso.oepc_rmo.oepc.ats done 12.77 4.36 None NoOverflow.mix018_tso.oepc.ats done 13.47 4.68 None NoOverflow.mix019.opt.ats done 11.44 3.34 None NoOverflow.mix019_power.oepc_pso.oepc_rmo.oepc.ats done 10.95 3.34 None NoOverflow.mix019_tso.oepc.ats done 10.99 3.42 None NoOverflow.mix020.oepc.ats done 13.54 4.60 None NoOverflow.mix020.opt.ats done 13.40 4.76 None NoOverflow.mix021.opt.ats done 13.66 4.78 None NoOverflow.mix021_power.oepc_pso.oepc_rmo.oepc.ats done 13.65 4.80 None NoOverflow.mix021_tso.oepc.ats done 13.82 4.75 None NoOverflow.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.32 2.37 None NoOverflow.mix022_tso.ats done 9.01 2.67 None NoOverflow.mix023_power.oepc_pso.oepc_rmo.oepc.ats done 13.64 4.92 None NoOverflow.mix023_power.opt_pso.opt_rmo.opt.ats done 13.63 4.74 None NoOverflow.mix023_tso.ats done 15.49 5.75 None NoOverflow.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 11.27 3.48 None NoOverflow.mix024_power.opt_pso.opt_rmo.opt.ats done 10.25 2.76 None NoOverflow.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 9.95 2.85 None NoOverflow.mix025_pso.opt_rmo.opt.ats done 10.75 3.06 None NoOverflow.mix026.oepc.ats done 13.36 4.62 None NoOverflow.mix026_power.opt_tso.opt.ats done 13.51 4.47 None NoOverflow.mix026_pso.opt_rmo.opt.ats done 13.21 4.43 None NoOverflow.mix027_power.oepc_pso.oepc_rmo.oepc.ats done 13.20 4.44 None NoOverflow.mix027_power.opt_pso.opt_rmo.opt.ats done 12.67 4.26 None NoOverflow.mix027_tso.ats done 14.01 4.46 None NoOverflow.mix028_power.oepc_pso.oepc_rmo.oepc.ats done 10.70 3.07 None NoOverflow.mix028_power.opt_pso.opt_rmo.opt.ats done 10.71 3.01 None NoOverflow.mix028_tso.ats done 10.41 2.92 None NoOverflow.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.ats done 13.00 4.55 None NoOverflow.mix029_power.opt_pso.opt_rmo.opt.ats done 13.43 4.63 None NoOverflow.mix030_power.oepc_pso.oepc_rmo.oepc.ats done 13.64 4.73 None NoOverflow.mix030_power.opt_pso.opt_rmo.opt.ats done 13.04 4.49 None NoOverflow.mix030_tso.ats done 16.59 4.69 None NoOverflow.mix031.oepc.ats done 9.25 2.35 None NoOverflow.mix031.opt.ats done 8.63 2.35 None NoOverflow.mix032.oepc.ats done 11.13 3.17 None NoOverflow.mix032.opt.ats done 11.28 3.27 None NoOverflow.mix033.opt.ats done 11.22 3.17 None NoOverflow.mix033_power.oepc_pso.oepc_rmo.oepc.ats done 11.50 3.29 None NoOverflow.mix033_tso.oepc.ats done 11.28 3.31 None NoOverflow.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.ats done 8.69 2.26 None NoOverflow.mix034_pso.opt_tso.opt.ats done 8.69 2.24 None NoOverflow.mix035.oepc.ats done 10.98 3.22 None NoOverflow.mix035_power.opt_rmo.opt.ats done 11.05 3.21 None NoOverflow.mix035_pso.opt_tso.opt.ats done 10.75 3.11 None NoOverflow.mix036.oepc.ats done 13.43 4.80 None NoOverflow.mix036_power.opt_rmo.opt.ats done 13.00 4.59 None NoOverflow.mix036_pso.opt_tso.opt.ats done 13.43 4.47 None NoOverflow.mix037.opt.ats done 12.93 4.42 None NoOverflow.mix037_power.oepc_pso.oepc_rmo.oepc.ats done 13.92 4.63 None NoOverflow.mix037_tso.oepc.ats done 13.06 4.44 None NoOverflow.mix038.opt.ats done 10.52 2.80 None NoOverflow.mix038_power.oepc_pso.oepc_rmo.oepc.ats done 11.10 3.10 None NoOverflow.mix038_tso.oepc.ats done 10.39 3.15 None NoOverflow.mix039.oepc.ats done 13.23 4.62 None NoOverflow.mix039.opt.ats done 13.27 4.54 None NoOverflow.mix040.opt.ats done 13.10 4.58 None NoOverflow.mix040_power.oepc_pso.oepc_rmo.oepc.ats done 13.75 4.73 None NoOverflow.mix040_tso.oepc.ats done 13.56 4.59 None NoOverflow.mix041_power.oepc_pso.oepc_rmo.oepc.ats done 9.09 2.53 None NoOverflow.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 9.36 2.42 None NoOverflow.mix042.oepc.ats done 10.30 2.96 None NoOverflow.mix042.opt.ats done 10.75 3.08 None NoOverflow.mix043.oepc.ats done 13.73 4.90 None NoOverflow.mix043.opt.ats done 13.07 5.12 None NoOverflow.mix044.opt.ats done 14.05 4.88 None NoOverflow.mix044_power.oepc_pso.oepc_rmo.oepc.ats done 13.43 4.81 None NoOverflow.mix044_tso.oepc.ats done 13.69 4.69 None NoOverflow.mix045_power.oepc_pso.oepc_rmo.oepc.ats done 10.60 2.92 None NoOverflow.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 10.34 3.22 None NoOverflow.mix046.oepc.ats done 13.82 5.04 None NoOverflow.mix046.opt.ats done 13.86 5.29 None NoOverflow.mix047_power.oepc_pso.oepc_rmo.oepc.ats done 13.61 5.19 None NoOverflow.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 13.96 5.03 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 8.80 2.90 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 11.21 3.40 None NoOverflow.mix050.ats done 13.59 4.92 None NoOverflow.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 13.29 4.91 None NoOverflow.mix051_pso.opt_rmo.opt_tso.opt.ats done 12.69 4.85 None NoOverflow.mix051_tso.oepc.ats done 13.25 4.79 None NoOverflow.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 10.53 3.55 None NoOverflow.mix052_pso.opt_rmo.opt_tso.opt.ats done 10.89 3.43 None NoOverflow.mix052_tso.oepc.ats done 11.28 3.56 None NoOverflow.mix053.opt.ats done 13.16 4.64 None NoOverflow.mix053_power.oepc_pso.oepc_rmo.oepc.ats done 13.39 5.14 None NoOverflow.mix053_tso.oepc.ats done 13.77 5.31 None NoOverflow.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.ats done 8.99 3.00 None NoOverflow.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 9.58 3.05 None NoOverflow.mix055.opt.ats done 13.55 5.31 None NoOverflow.mix055_power.oepc_pso.oepc_rmo.oepc.ats done 13.56 5.20 None NoOverflow.mix055_tso.oepc.ats done 13.85 4.92 None NoOverflow.mix056_power.oepc_pso.oepc_rmo.oepc.ats done 10.71 3.00 None NoOverflow.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 10.64 3.07 None NoOverflow.mix057_power.oepc_pso.oepc_rmo.oepc.ats done 13.82 4.89 None NoOverflow.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 13.22 4.98 None NoOverflow.parallel-bakery-2.wvr.ats ERROR (1) 42.34 32.30 None NoOverflow.parallel-bluetooth.wvr.ats done 18.41 7.09 None NoOverflow.parallel-lamport.wvr.ats done 20.67 8.34 None NoOverflow.parallel-min-max-1.wvr.ats done 92.18 60.18 None NoOverflow.parallel-misc-2-unrolled-atomic.wvr.ats done 10.51 3.13 None NoOverflow.parallel-misc-4.wvr.ats ERROR (1) 40.53 31.51 None NoOverflow.parallel-ticket-2.wvr.ats done 10.88 2.99 None NoOverflow.parallel-ticket-3.wvr.ats done 15.40 5.30 None NoOverflow.parallel-ticket-4.wvr.ats done 28.50 14.61 None NoOverflow.parallel-ticket-5.wvr.ats done 89.44 67.96 None NoOverflow.popl20-bad-commit-1.wvr-bad.ats ERROR (1) 43.77 31.26 None NoOverflow.popl20-bad-commit-2.wvr-bad.ats ERROR (1) 158.29 86.69 None NoOverflow.popl20-commit-1.wvr.ats done 44.29 26.87 None NoOverflow.popl20-commit-2.wvr.ats ERROR (1) 51.80 31.13 None NoOverflow.popl20-counter-fun.wvr.ats ERROR (1) 45.59 31.09 None NoOverflow.popl20-more-dec-subseq.wvr.ats done 20.90 8.39 None NoOverflow.popl20-more-inc-subseq.wvr.ats done 21.47 8.66 None NoOverflow.popl20-more-max-array-hom.wvr.ats ERROR (1) 48.59 31.18 None NoOverflow.popl20-more-max-array.wvr.ats ERROR (1) 48.33 31.15 None NoOverflow.popl20-more-min-array-hom.wvr.ats ERROR (1) 48.51 31.21 None NoOverflow.popl20-more-min-array.wvr.ats ERROR (1) 49.12 31.18 None NoOverflow.popl20-more-min-le-max.wvr.ats done 71.79 56.20 None NoOverflow.popl20-more-multiply-verify.wvr.ats done 15.26 4.61 None NoOverflow.popl20-more-sum-array-hom.wvr.ats ERROR (1) 47.68 31.24 None NoOverflow.popl20-more-vector-add.wvr.ats ERROR (1) 47.31 31.21 None NoOverflow.popl20-simple-queue.wvr.ats done 10.67 3.18 None NoOverflow.qw2004-2b.ats done 15.76 5.27 None NoOverflow.read_write_lock-2.ats done 25.50 12.52 None NoOverflow.rfi000_power.oepc_pso.oepc_rmo.oepc.ats done 8.88 2.42 None NoOverflow.rfi000_power.opt_pso.opt_rmo.opt.ats done 8.94 2.62 None NoOverflow.rfi000_tso.ats done 9.66 2.61 None NoOverflow.rfi001_power.oepc_pso.oepc_rmo.oepc.ats done 9.40 2.58 None NoOverflow.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 9.09 2.57 None NoOverflow.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.83 2.63 None NoOverflow.rfi002_tso.ats done 10.22 2.81 None NoOverflow.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.30 2.40 None NoOverflow.rfi003_tso.ats done 9.33 2.52 None NoOverflow.rfi004.ats done 9.11 2.40 None NoOverflow.rfi005.ats done 9.24 2.61 None NoOverflow.rfi006_power.oepc.ats done 11.82 3.47 None NoOverflow.rfi006_power.opt.ats done 11.58 3.47 None NoOverflow.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 10.81 3.24 None NoOverflow.rfi006_rmo.ats done 10.83 3.18 None NoOverflow.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.53 2.59 None NoOverflow.rfi007_tso.ats done 9.18 2.64 None NoOverflow.rfi008.oepc.ats done 9.65 2.68 None NoOverflow.rfi008.opt.ats done 9.91 2.58 None NoOverflow.rfi009_power.oepc.ats done 11.35 3.63 None NoOverflow.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.ats done 11.41 3.52 None NoOverflow.rfi009_rmo.oepc.ats done 11.68 3.57 None NoOverflow.rfi010.ats done 9.11 2.77 None NoOverflow.safe000_power.oepc.ats done 11.90 3.89 None NoOverflow.safe000_power.opt.ats done 11.29 3.65 None NoOverflow.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 10.17 3.21 None NoOverflow.safe000_rmo.ats done 11.74 4.18 None NoOverflow.safe001_power.oepc.ats done 11.69 4.20 None NoOverflow.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.ats done 11.03 3.70 None NoOverflow.safe001_rmo.oepc.ats done 11.58 4.06 None NoOverflow.safe001_tso.ats done 10.08 3.36 None NoOverflow.safe002_power.oepc.ats done 11.39 3.84 None NoOverflow.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.ats done 10.31 3.15 None NoOverflow.safe002_rmo.oepc.ats done 11.55 3.51 None NoOverflow.safe002_tso.ats done 10.14 3.59 None NoOverflow.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.54 4.17 None NoOverflow.safe003_power.opt.ats done 11.69 4.84 None NoOverflow.safe003_tso.ats done 12.07 4.31 None NoOverflow.safe004_power.oepc_pso.oepc_rmo.oepc.ats done 11.68 4.68 None NoOverflow.safe004_power.opt_pso.opt_rmo.opt.ats done 13.25 4.55 None NoOverflow.safe004_tso.ats done 10.80 4.13 None NoOverflow.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.99 4.45 None NoOverflow.safe005_tso.ats done 10.12 4.01 None NoOverflow.safe006_power.oepc-thin000_power.oepc.ats done 10.29 3.33 None NoOverflow.safe006_power.opt-thin000_power.opt.ats done 9.81 3.10 None NoOverflow.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 8.18 2.64 None NoOverflow.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.ats done 9.68 3.03 None NoOverflow.safe007_power.oepc-thin001_power.oepc.ats done 11.28 4.86 None NoOverflow.safe007_power.opt-thin001_power.opt.ats done 11.99 5.05 None NoOverflow.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 10.44 4.21 None NoOverflow.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.ats done 11.68 4.88 None NoOverflow.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.59 4.85 None NoOverflow.safe008_power.opt.ats done 11.85 5.00 None NoOverflow.safe008_tso.ats done 10.83 4.38 None NoOverflow.safe009_power.oepc.ats done 11.94 5.04 None NoOverflow.safe009_power.opt.ats done 11.58 4.90 None NoOverflow.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 9.77 3.83 None NoOverflow.safe009_rmo.oepc.ats done 11.21 4.40 None NoOverflow.safe009_rmo.opt.ats done 11.24 4.37 None NoOverflow.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.11 3.25 None NoOverflow.safe010_tso.ats done 10.80 3.36 None NoOverflow.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.ats done 11.90 4.96 None NoOverflow.safe011_power.opt_pso.opt.ats done 11.39 5.17 None NoOverflow.safe011_tso.ats done 10.22 4.47 None NoOverflow.safe012_power.oepc.ats done 11.54 5.15 None NoOverflow.safe012_power.opt.ats done 10.93 5.34 None NoOverflow.safe012_pso.oepc_pso.opt_rmo.opt.ats done 10.94 5.33 None NoOverflow.safe012_rmo.oepc.ats done 11.49 5.32 None NoOverflow.safe012_tso.ats done 10.12 4.70 None NoOverflow.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.00 5.08 None NoOverflow.safe013_tso.ats done 9.69 4.63 None NoOverflow.safe014_power.oepc.ats done 11.66 5.14 None NoOverflow.safe014_power.opt.ats done 14.10 5.14 None NoOverflow.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 10.35 3.80 None NoOverflow.safe014_rmo.oepc.ats done 11.42 4.49 None NoOverflow.safe014_rmo.opt.ats done 12.15 4.92 None NoOverflow.safe015_power.oepc.ats done 12.14 5.22 None NoOverflow.safe015_power.opt.ats done 12.23 5.47 None NoOverflow.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 11.12 4.75 None NoOverflow.safe015_rmo.ats done 11.86 5.71 None NoOverflow.safe016_power.oepc.ats done 14.77 8.39 None NoOverflow.safe016_power.opt.ats done 15.06 8.81 None NoOverflow.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 12.55 6.36 None NoOverflow.safe016_rmo.oepc.ats done 14.43 8.07 None NoOverflow.safe016_rmo.opt.ats done 14.56 8.04 None NoOverflow.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.28 5.25 None NoOverflow.safe017_tso.ats done 9.85 4.33 None NoOverflow.safe018_power.oepc.ats done 11.38 4.87 None NoOverflow.safe018_power.opt.ats done 12.48 4.77 None NoOverflow.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 10.70 3.66 None NoOverflow.safe018_rmo.oepc.ats done 11.17 3.92 None NoOverflow.safe018_rmo.opt.ats done 11.76 4.16 None NoOverflow.safe019_power.oepc.ats done 14.75 7.87 None NoOverflow.safe019_power.opt.ats done 14.78 7.27 None NoOverflow.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 12.35 5.39 None NoOverflow.safe019_rmo.oepc.ats done 14.92 7.04 None NoOverflow.safe019_rmo.opt.ats done 14.28 6.70 None NoOverflow.safe020_power.ats done 11.69 4.75 None NoOverflow.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 10.54 4.27 None NoOverflow.safe020_rmo.ats done 11.41 4.74 None NoOverflow.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.ats done 11.28 4.67 None NoOverflow.safe021_power.opt_pso.opt.ats done 11.08 4.74 None NoOverflow.safe021_tso.ats done 9.99 4.06 None NoOverflow.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.67 3.67 None NoOverflow.safe022_tso.ats done 8.01 3.38 None NoOverflow.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 10.96 4.34 None NoOverflow.safe023_tso.ats done 10.43 3.87 None NoOverflow.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.41 4.35 None NoOverflow.safe024_tso.ats done 11.03 4.15 None NoOverflow.safe025_power.ats done 11.53 5.30 None NoOverflow.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 10.64 4.85 None NoOverflow.safe025_rmo.ats done 12.52 6.00 None NoOverflow.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.78 5.51 None NoOverflow.safe026_tso.ats done 10.60 4.74 None NoOverflow.safe027_power.oepc.ats done 14.31 8.65 None NoOverflow.safe027_power.opt.ats done 14.95 8.83 None NoOverflow.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 12.46 7.00 None NoOverflow.safe027_rmo.ats done 14.53 7.80 None NoOverflow.safe028_power.ats done 12.22 5.73 None NoOverflow.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 13.27 4.79 None NoOverflow.safe028_rmo.ats done 11.21 4.38 None NoOverflow.safe029_power.oepc_pso.oepc_rmo.oepc.ats done 9.91 3.25 None NoOverflow.safe029_power.opt_pso.opt_rmo.opt.ats done 9.42 3.18 None NoOverflow.safe029_tso.ats done 8.20 2.89 None NoOverflow.safe030_power.oepc_pso.oepc_rmo.oepc.ats done 11.01 4.22 None NoOverflow.safe030_power.opt_pso.opt_rmo.opt.ats done 11.32 4.19 None NoOverflow.safe030_tso.ats done 10.06 3.81 None NoOverflow.safe031_power.oepc_pso.oepc_rmo.oepc.ats done 10.80 4.45 None NoOverflow.safe031_power.opt_pso.opt_rmo.opt.ats done 11.89 4.59 None NoOverflow.safe031_tso.ats done 10.72 4.14 None NoOverflow.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.29 4.84 None NoOverflow.safe032_tso.ats done 10.26 4.20 None NoOverflow.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 9.55 3.75 None NoOverflow.safe033_tso.ats done 8.92 3.49 None NoOverflow.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.ats done 11.35 4.78 None NoOverflow.safe034_tso.ats done 10.30 4.23 None NoOverflow.safe035_power.ats done 18.02 10.56 None NoOverflow.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.ats done 10.35 4.29 None NoOverflow.safe036.ats done 8.60 3.34 None NoOverflow.safe037.ats done 11.61 4.21 None NoOverflow.stack-1.ats ERROR (1) 39.66 31.67 None NoOverflow.stack-2.ats ERROR (1) 41.89 31.79 None NoOverflow.stateful01-1.ats done 12.02 5.36 None NoOverflow.stateful01-2.ats done 12.22 5.55 None NoOverflow.sync01.ats done 13.99 6.63 None NoOverflow.test-context1.wvr.ats done 45.90 32.79 None NoOverflow.test-easy1.wvr.ats done 9.47 4.03 None NoOverflow.test-easy6.wvr.ats done 21.08 10.51 None NoOverflow.test-hard1.wvr.ats done 9.93 3.66 None NoOverflow.test-semi1.wvr.ats done 8.78 3.64 None NoOverflow.thin002_power.oepc.ats done 14.82 7.23 None NoOverflow.thin002_power.opt.ats done 15.25 7.13 None NoOverflow.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.ats done 12.21 5.41 None NoOverflow.thin002_rmo.ats done 13.90 5.91 None NoOverflow.triangular-1.ats ERROR (1) 40.17 31.42 None NoOverflow.triangular-2.ats ERROR (1) 39.91 31.52 None NoOverflow.triangular-longer-1.ats ERROR (1) 39.32 31.52 None NoOverflow.triangular-longer-2.ats ERROR (1) 40.01 31.96 None NoOverflow.triangular-longest-1.ats ERROR (1) 41.32 32.10 None NoOverflow.triangular-longest-2.ats ERROR (1) 40.48 31.37 None NoOverflow.unroll-2.wvr.ats done 11.30 4.04 None NoOverflow.unroll-3.wvr.ats done 11.10 4.17 None NoOverflow.unroll-4.wvr.ats done 12.03 4.38 None NoOverflow.unroll-5.wvr.ats done 13.36 4.43 None NoOverflow.unroll-cond-2.wvr.ats done 11.72 3.96 None NoOverflow.unroll-cond-3.wvr.ats done 13.29 4.14 None NoOverflow.unroll-cond-4.wvr.ats done 13.89 4.74 None NoOverflow.unroll-cond-5.wvr.ats done 14.65 5.03 None NoOverflow.unwind1-1.ats done 12.74 3.95 None NoOverflow.unwind1-100.ats done 13.82 4.42 None NoOverflow.unwind1-nondet.ats done 18.02 6.80 None NoOverflow.unwind2-1.ats ERROR (1) 50.69 34.00 None NoOverflow.unwind2-100.ats ERROR (1) 118.00 33.67 None NoOverflow.unwind2-nondet.ats ERROR (1) 94.33 32.38 None NoOverflow.unwind3-1.ats done 14.36 4.75 None ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 5 done 24819.62 1235.66 - EmpireAutomataProducerTest-NoAssert Run set 6 of 6: skipped Statistics: 975 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 106