BENCHMARK INFORMATION benchmark definition: benchexec/og-proof-generation.xml name: og-proof-generation run sets: NaiveOwickiGriesTestSuite-WithAssert, NaiveOwickiGriesTestSuite-NoAssert date: Thu, 2024-01-25 13:52:17 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-5.15.108-1-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 4: skipped NaiveOwickiGriesTestSuite-WithAssert Run set 2 of 4 with options 'success 1 tests successful failure 1 tests failed command ${benchmark_path}/../run-test.sh Library-TraceCheckerUtilsTest de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.owickigries.NaiveOwickiGriesTestSuite ${inputfile_name} true' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- MemSafety.04-mutex_02-simple_nr.i_BEv2_AllErrorsAtOnce.ats done 16.12 8.09 None MemSafety.04-mutex_04-munge_nr.i_BEv2_AllErrorsAtOnce.ats done 26.28 17.60 None MemSafety.04-mutex_05-lockfuns.i_BEv2_AllErrorsAtOnce.ats done 32.06 23.34 None MemSafety.04-mutex_07-ps_nr.i_BEv2_AllErrorsAtOnce.ats done 8.95 5.02 None MemSafety.04-mutex_10-ptrmunge_nr.i_BEv2_AllErrorsAtOnce.ats done 267.93 248.26 None MemSafety.04-mutex_12-ptr_nr.i_BEv2_AllErrorsAtOnce.ats done 31.13 18.09 None MemSafety.04-mutex_15-funarg_nr.i_BEv2_AllErrorsAtOnce.ats done 48.72 37.87 None MemSafety.04-mutex_17-ps_add1_nr.i_BEv2_AllErrorsAtOnce.ats done 9.26 5.07 None MemSafety.04-mutex_18-glob_guards.i_BEv2_AllErrorsAtOnce.ats done 16.16 7.65 None MemSafety.04-mutex_22-deref_read.i_BEv2_AllErrorsAtOnce.ats done 28.18 16.33 None MemSafety.04-mutex_28-base_nr.i_BEv2_AllErrorsAtOnce.ats done 12.12 6.08 None MemSafety.04-mutex_36-trylock_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.91 113.90 None MemSafety.04-mutex_41-pt_rwlock.i_BEv2_AllErrorsAtOnce.ats done 24.27 13.07 None MemSafety.04-mutex_42-trylock_2mutex.i_BEv2_AllErrorsAtOnce.ats done 241.91 222.58 None MemSafety.04-mutex_43-thread_create_nr.i_BEv2_AllErrorsAtOnce.ats done 10.83 3.19 None MemSafety.04-mutex_51-mutex_ptr.i_BEv2_AllErrorsAtOnce.ats done 40.43 25.97 None MemSafety.04-mutex_54-pt_rwlock_ww.i_BEv2_AllErrorsAtOnce.ats done 21.43 9.94 None MemSafety.05-lval_ls_02-idx_nr.i_BEv2_AllErrorsAtOnce.ats done 10.75 3.09 None MemSafety.05-lval_ls_04-fld_nr.i_BEv2_AllErrorsAtOnce.ats done 10.21 2.70 None MemSafety.05-lval_ls_12-fldsense_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 280.10 None MemSafety.06-symbeq_05-funloop_hard2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 264.93 None MemSafety.06-symbeq_06-tricky_address1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.45 229.50 None MemSafety.06-symbeq_07-tricky_address2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.42 230.10 None MemSafety.06-symbeq_08-tricky_address3.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.59 239.72 None MemSafety.06-symbeq_11-equ_nr.i_BEv2_AllErrorsAtOnce.ats done 52.43 36.79 None MemSafety.06-symbeq_13-equ_proc_nr.i_BEv2_AllErrorsAtOnce.ats done 42.32 25.05 None MemSafety.06-symbeq_23-idxsense_nr.i_BEv2_AllErrorsAtOnce.ats done 279.96 252.78 None MemSafety.09-regions_02-list_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.93 229.13 None MemSafety.09-regions_04-list2_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.41 251.44 None MemSafety.10-synch_01-thread_unique.i_BEv2_AllErrorsAtOnce.ats done 9.79 2.08 None MemSafety.10-synch_03-two_unique.i_BEv2_AllErrorsAtOnce.ats done 11.70 2.44 None MemSafety.13-privatized_01-priv_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 259.30 None MemSafety.13-privatized_03-priv_inv.i_BEv2_AllErrorsAtOnce.ats done 55.09 39.75 None MemSafety.13-privatized_04-priv_multi_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.43 154.32 None MemSafety.13-privatized_18-first-reads_true.i_BEv2_AllErrorsAtOnce.ats done 97.46 80.16 None MemSafety.13-privatized_18-first-reads_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 29.73 16.96 None MemSafety.13-privatized_18-first-reads_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 30.92 17.00 None MemSafety.13-privatized_18-first-reads_unknown_2_neg.i_BEv2_AllErrorsAtOnce.ats done 32.99 19.65 None MemSafety.13-privatized_18-first-reads_unknown_2_pos.i_BEv2_AllErrorsAtOnce.ats done 31.17 17.38 None MemSafety.13-privatized_19-publish-precision_true.i_BEv2_AllErrorsAtOnce.ats done 70.94 56.98 None MemSafety.13-privatized_19-publish-precision_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 93.73 77.48 None MemSafety.13-privatized_19-publish-precision_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 89.24 73.08 None MemSafety.13-privatized_19-publish-precision_unknown_2_neg.i_BEv2_AllErrorsAtOnce.ats done 81.51 65.82 None MemSafety.13-privatized_19-publish-precision_unknown_2_pos.i_BEv2_AllErrorsAtOnce.ats done 88.94 73.21 None MemSafety.13-privatized_20-publish-regression_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.65 228.23 None MemSafety.13-privatized_24-multiple-protecting_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.25 176.64 None MemSafety.13-privatized_25-struct_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.86 262.28 None MemSafety.13-privatized_27-multiple-protecting2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.37 122.61 None MemSafety.13-privatized_29-multiple-protecting2-vesal_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 259.56 None MemSafety.13-privatized_30-traces-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 250.10 228.53 None MemSafety.13-privatized_31-traces-mine-vs-mutex_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 250.65 None MemSafety.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.93 259.45 None MemSafety.13-privatized_33-traces-v-matters_true.i_BEv2_AllErrorsAtOnce.ats done 11.43 2.37 None MemSafety.13-privatized_34-traces-minepp-L-needs-to-be-um_true.i_BEv2_AllErrorsAtOnce.ats done 11.35 2.35 None MemSafety.13-privatized_35-traces-ex-2_true.i_BEv2_AllErrorsAtOnce.ats done 9.88 2.14 None MemSafety.13-privatized_36-traces-ex-3_true.i_BEv2_AllErrorsAtOnce.ats done 10.25 2.12 None MemSafety.13-privatized_37-traces-ex-4_true.i_BEv2_AllErrorsAtOnce.ats done 10.40 2.29 None MemSafety.13-privatized_38-traces-ex-4-switch_true.i_BEv2_AllErrorsAtOnce.ats done 10.55 2.49 None MemSafety.13-privatized_40-traces-ex-6_true.i_BEv2_AllErrorsAtOnce.ats done 10.70 2.49 None MemSafety.13-privatized_41-traces-ex-7_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 10.66 2.45 None MemSafety.13-privatized_41-traces-ex-7_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 10.05 2.34 None MemSafety.13-privatized_42-traces-ex-mini_true.i_BEv2_AllErrorsAtOnce.ats done 11.33 2.54 None MemSafety.13-privatized_44-traces-mine2_true.i_BEv2_AllErrorsAtOnce.ats done 10.67 2.45 None MemSafety.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.i_BEv2_AllErrorsAtOnce.ats done 10.34 2.43 None MemSafety.13-privatized_46-refine-protected1_true.i_BEv2_AllErrorsAtOnce.ats done 10.31 2.29 None MemSafety.13-privatized_47-refine-protected2_true.i_BEv2_AllErrorsAtOnce.ats done 10.89 2.53 None MemSafety.13-privatized_52-refine-protected-loop2-small_true.i_BEv2_AllErrorsAtOnce.ats done 11.68 2.52 None MemSafety.13-privatized_57-singlethreaded-unlock_true.i_BEv2_AllErrorsAtOnce.ats done 10.64 2.34 None MemSafety.13-privatized_58-singlethreaded-lock_true.i_BEv2_AllErrorsAtOnce.ats done 9.78 2.22 None MemSafety.13-privatized_66-mine-W-init_true.i_BEv2_AllErrorsAtOnce.ats done 8.72 1.97 None MemSafety.13-privatized_67-pthread_cond_wait_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.11 250.71 None MemSafety.13-privatized_67-pthread_cond_wait_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.27 244.81 None MemSafety.13-privatized_67-pthread_cond_wait_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.95 244.60 None MemSafety.13-privatized_68-pfscan_protected_loop_minimal_interval_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.76 166.12 None MemSafety.13-privatized_69-refine-protected-loop-interval_true.i_BEv2_AllErrorsAtOnce.ats done 10.89 3.37 None MemSafety.18_read_write_lock-pthread.i_BEv2_AllErrorsAtOnce.ats done 10.28 2.94 None MemSafety.18_read_write_lock.i_BEv2_AllErrorsAtOnce.ats done 10.34 2.55 None MemSafety.36-apron_11-traces-max-simple_true.i_BEv2_AllErrorsAtOnce.ats done 9.03 2.46 None MemSafety.36-apron_16-traces-unprot2_true.i_BEv2_AllErrorsAtOnce.ats done 10.54 2.51 None MemSafety.36-apron_17-traces-rpb-litmus_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 11.61 2.71 None MemSafety.36-apron_17-traces-rpb-litmus_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 11.46 2.56 None MemSafety.36-apron_21-traces-cluster-based_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.17 273.05 None MemSafety.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.i_BEv2_AllErrorsAtOnce.ats done 13.23 3.20 None MemSafety.36-apron_41-threadenter-no-locals_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 9.14 2.06 None MemSafety.36-apron_41-threadenter-no-locals_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 9.14 1.98 None MemSafety.arithmetic_prog_bad.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.65 141.70 None MemSafety.arithmetic_prog_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.95 148.59 None MemSafety.bench-exp1x3.wvr.c_BEv2_AllErrorsAtOnce.ats done 35.79 20.75 None MemSafety.bench-exp2x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.45 117.51 None MemSafety.bench-exp2x4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.17 113.81 None MemSafety.bench-exp2x6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.47 148.43 None MemSafety.bench-exp2x9.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.97 268.99 None MemSafety.bench-exp3x3-opt.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.17 247.61 None MemSafety.bench-exp3x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.78 246.64 None MemSafety.bigshot_s.i_BEv2_AllErrorsAtOnce.ats done 47.57 29.31 None MemSafety.bigshot_s2.i_BEv2_AllErrorsAtOnce.ats done 42.66 23.40 None MemSafety.chl-collitem-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 233.74 None MemSafety.chl-collitem-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 67.22 50.37 None MemSafety.chl-collitem-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 231.89 None MemSafety.chl-exp-term-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 215.38 None MemSafety.chl-exp-term-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.64 129.52 None MemSafety.chl-file-item-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.54 184.83 None MemSafety.chl-file-item-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.89 120.76 None MemSafety.chl-file-item-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.28 190.59 None MemSafety.chl-match-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 270.61 None MemSafety.chl-match-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.49 112.22 None MemSafety.chl-match-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.71 248.91 None MemSafety.chl-simpl-str-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.53 242.36 None MemSafety.chl-simpl-str-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.25 131.03 None MemSafety.chl-simpl-str-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 256.95 None MemSafety.chl-sre-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.95 226.82 None MemSafety.chl-sre-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 21.94 7.62 None MemSafety.chl-sre-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.30 230.61 None MemSafety.chl-time-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.49 240.17 None MemSafety.chl-time-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 52.95 38.09 None MemSafety.chl-time-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.03 236.32 None MemSafety.circular_buffer_bad.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.28 134.83 None MemSafety.circular_buffer_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 160.49 None MemSafety.clever.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.73 235.55 None MemSafety.dekker.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.56 185.16 None MemSafety.fib_safe-10.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.76 179.74 None MemSafety.fib_safe-11.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.98 182.11 None MemSafety.fib_safe-12.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 171.97 None MemSafety.fib_safe-5.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.29 181.46 None MemSafety.fib_safe-6.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.34 189.36 None MemSafety.fib_safe-7.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.50 192.04 None MemSafety.fib_unsafe-10.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.37 181.87 None MemSafety.fib_unsafe-11.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 195.54 None MemSafety.fib_unsafe-12.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.16 198.83 None MemSafety.fib_unsafe-5.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.74 189.45 None MemSafety.fib_unsafe-6.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.87 188.35 None MemSafety.fib_unsafe-7.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.29 181.11 None MemSafety.fibonacci.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 135.20 None MemSafety.lamport.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.27 150.05 None MemSafety.lazy01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.32 126.11 None MemSafety.mix000.oepc.i_BEv2_AllErrorsAtOnce.ats done 18.43 6.02 None MemSafety.mix000.opt.i_BEv2_AllErrorsAtOnce.ats done 15.93 4.92 None MemSafety.mix001.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 235.80 None MemSafety.mix001.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 232.57 None MemSafety.mix002.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.83 234.13 None MemSafety.mix002.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.90 242.75 None MemSafety.mix003.oepc.i_BEv2_AllErrorsAtOnce.ats done 235.88 176.99 None MemSafety.mix003_power.opt_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 251.81 186.57 None MemSafety.mix004.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.64 144.57 None MemSafety.mix004.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.86 142.34 None MemSafety.mix005.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.11 152.30 None MemSafety.mix005_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.97 146.81 None MemSafety.mix005_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.93 152.01 None MemSafety.mix006.opt.i_BEv2_AllErrorsAtOnce.ats done 206.89 152.57 None MemSafety.mix006_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 256.19 191.99 None MemSafety.mix006_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 229.54 None MemSafety.mix007.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.26 152.61 None MemSafety.mix007.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.36 156.41 None MemSafety.mix008.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.38 153.46 None MemSafety.mix008_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.66 160.94 None MemSafety.mix008_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.55 128.53 None MemSafety.mix009.oepc.i_BEv2_AllErrorsAtOnce.ats done 20.10 7.67 None MemSafety.mix009.opt.i_BEv2_AllErrorsAtOnce.ats done 19.02 7.34 None MemSafety.mix010.oepc.i_BEv2_AllErrorsAtOnce.ats done 296.30 225.94 None MemSafety.mix010.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 232.48 None MemSafety.mix011.opt.i_BEv2_AllErrorsAtOnce.ats done 280.68 218.19 None MemSafety.mix011_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.24 233.67 None MemSafety.mix011_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 282.44 216.85 None MemSafety.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 16.45 4.77 None MemSafety.mix012_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 17.90 5.87 None MemSafety.mix013.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.60 144.54 None MemSafety.mix013.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.51 150.40 None MemSafety.mix014.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.90 158.49 None MemSafety.mix014_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.44 136.66 None MemSafety.mix014_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 123.49 None MemSafety.mix015.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.62 221.51 None MemSafety.mix015.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.70 231.70 None MemSafety.mix016.oepc.i_BEv2_AllErrorsAtOnce.ats done 119.69 101.28 None MemSafety.mix016_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 121.61 101.68 None MemSafety.mix016_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 176.78 156.26 None MemSafety.mix017.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.87 147.53 None MemSafety.mix017_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.49 158.97 None MemSafety.mix017_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.21 163.91 None MemSafety.mix018.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.44 148.07 None MemSafety.mix018_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.34 153.33 None MemSafety.mix018_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.29 146.12 None MemSafety.mix019.opt.i_BEv2_AllErrorsAtOnce.ats done 120.25 100.89 None MemSafety.mix019_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 134.36 114.68 None MemSafety.mix019_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 140.15 122.84 None MemSafety.mix020.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.12 156.85 None MemSafety.mix020.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.49 166.39 None MemSafety.mix021.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.54 159.26 None MemSafety.mix021_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.92 157.48 None MemSafety.mix021_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 164.50 None MemSafety.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 15.48 5.43 None MemSafety.mix022_tso.i_BEv2_AllErrorsAtOnce.ats done 17.12 5.34 None MemSafety.mix023_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.90 154.25 None MemSafety.mix023_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.01 158.38 None MemSafety.mix023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.59 129.32 None MemSafety.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.01 232.78 None MemSafety.mix024_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.38 238.10 None MemSafety.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 132.07 114.67 None MemSafety.mix025_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 152.99 134.37 None MemSafety.mix026.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.07 154.29 None MemSafety.mix026_power.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.68 159.32 None MemSafety.mix026_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.46 162.92 None MemSafety.mix027_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.12 165.99 None MemSafety.mix027_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.31 144.71 None MemSafety.mix027_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.33 149.34 None MemSafety.mix028_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 153.88 135.67 None MemSafety.mix028_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 130.53 112.52 None MemSafety.mix028_tso.i_BEv2_AllErrorsAtOnce.ats done 152.68 132.96 None MemSafety.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.35 163.09 None MemSafety.mix029_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.15 158.17 None MemSafety.mix030_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.75 153.59 None MemSafety.mix030_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.11 151.10 None MemSafety.mix030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.71 144.68 None MemSafety.mix031.oepc.i_BEv2_AllErrorsAtOnce.ats done 19.55 7.12 None MemSafety.mix031.opt.i_BEv2_AllErrorsAtOnce.ats done 20.34 8.83 None MemSafety.mix032.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.30 230.44 None MemSafety.mix032.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 232.34 None MemSafety.mix033.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.27 228.77 None MemSafety.mix033_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 230.09 None MemSafety.mix033_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 284.03 218.40 None MemSafety.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 17.80 6.82 None MemSafety.mix034_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 16.09 5.38 None MemSafety.mix035.oepc.i_BEv2_AllErrorsAtOnce.ats done 141.20 123.23 None MemSafety.mix035_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 162.64 142.62 None MemSafety.mix035_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 139.10 122.06 None MemSafety.mix036.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.16 159.07 None MemSafety.mix036_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.33 152.82 None MemSafety.mix036_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.25 138.18 None MemSafety.mix037.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 159.89 None MemSafety.mix037_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.91 149.95 None MemSafety.mix037_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.63 147.02 None MemSafety.mix038.opt.i_BEv2_AllErrorsAtOnce.ats done 125.70 107.79 None MemSafety.mix038_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 187.03 166.69 None MemSafety.mix038_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 187.06 167.50 None MemSafety.mix039.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.32 159.37 None MemSafety.mix039.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 156.26 None MemSafety.mix040.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.27 160.44 None MemSafety.mix040_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.92 148.19 None MemSafety.mix040_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 150.71 None MemSafety.mix041_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 15.51 4.90 None MemSafety.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 16.57 4.96 None MemSafety.mix042.oepc.i_BEv2_AllErrorsAtOnce.ats done 185.76 165.29 None MemSafety.mix042.opt.i_BEv2_AllErrorsAtOnce.ats done 174.96 154.45 None MemSafety.mix043.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.79 158.01 None MemSafety.mix043.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 159.01 None MemSafety.mix044.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.28 156.83 None MemSafety.mix044_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.10 155.80 None MemSafety.mix044_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.00 176.32 None MemSafety.mix045_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 138.36 120.33 None MemSafety.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 137.85 118.42 None MemSafety.mix046.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.50 153.62 None MemSafety.mix046.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 159.76 None MemSafety.mix047_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.17 159.57 None MemSafety.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.38 152.34 None MemSafety.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.i_BEv2_AllErrorsAtOnce.ats done 16.59 4.99 None MemSafety.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.i_BEv2_AllErrorsAtOnce.ats done 128.48 108.22 None MemSafety.mix050.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.32 161.40 None MemSafety.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.68 150.54 None MemSafety.mix051_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 151.49 None MemSafety.mix051_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.27 159.00 None MemSafety.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 120.35 101.26 None MemSafety.mix052_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 139.60 120.61 None MemSafety.mix052_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 133.05 115.28 None MemSafety.mix053.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.03 152.45 None MemSafety.mix053_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.59 158.03 None MemSafety.mix053_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.32 151.45 None MemSafety.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 16.55 5.54 None MemSafety.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 15.97 5.35 None MemSafety.mix055.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 169.06 None MemSafety.mix055_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.43 153.56 None MemSafety.mix055_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.05 162.56 None MemSafety.mix056_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 150.09 132.25 None MemSafety.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 104.12 85.80 None MemSafety.mix057_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.20 147.96 None MemSafety.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.85 162.35 None MemSafety.mult-comm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.54 231.31 None MemSafety.mult-dist.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.31 146.61 None MemSafety.mult-flipped-dist.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.63 138.51 None MemSafety.parallel-bakery-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.26 251.78 None MemSafety.parallel-bakery-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 126.12 None MemSafety.parallel-bakery-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.22 269.30 None MemSafety.parallel-bluetooth.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 240.50 None MemSafety.parallel-misc-2-unrolled-atomic.wvr.c_BEv2_AllErrorsAtOnce.ats done 68.53 53.29 None MemSafety.parallel-misc-2-unrolled.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.13 248.01 None MemSafety.parallel-misc-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.55 228.27 None MemSafety.parallel-misc-3-extended.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.55 144.38 None MemSafety.parallel-misc-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.29 264.23 None MemSafety.parallel-misc-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.73 147.72 None MemSafety.parallel-misc-5.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.96 132.72 None MemSafety.parallel-simple-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.82 233.75 None MemSafety.parallel-ticket-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 138.60 120.03 None MemSafety.parallel-ticket-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.84 142.13 None MemSafety.parallel-ticket-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.01 123.98 None MemSafety.parallel-ticket-5.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.19 248.49 None MemSafety.parallel-ticket-6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.97 267.69 None MemSafety.peterson.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 257.04 None MemSafety.popl20-bad-threaded-sum-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 96.54 78.92 None MemSafety.popl20-counter-determinism.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 240.22 None MemSafety.popl20-difference-det.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 254.42 None MemSafety.popl20-figure1-alt.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.61 236.29 None MemSafety.popl20-figure1.wvr.c_BEv2_AllErrorsAtOnce.ats done 254.11 182.34 None MemSafety.popl20-figure3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.48 234.16 None MemSafety.popl20-more-nonblocking-counter-alt2.wvr.c_BEv2_AllErrorsAtOnce.ats done 84.40 66.06 None MemSafety.popl20-mult-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.53 258.72 None MemSafety.popl20-mult-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.30 149.49 None MemSafety.popl20-nonblocking-cntr-alt.wvr.c_BEv2_AllErrorsAtOnce.ats done 97.49 78.60 None MemSafety.popl20-nonblocking-cntr.wvr.c_BEv2_AllErrorsAtOnce.ats done 114.95 95.64 None MemSafety.popl20-proofs-counter-add-4-semi-Q67.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.11 113.15 None MemSafety.popl20-threaded-sum-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.86 140.11 None MemSafety.pthread-demo-datarace-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.93 280.82 None MemSafety.pthread-demo-datarace-3.i_BEv2_AllErrorsAtOnce.ats done 262.61 240.17 None MemSafety.qw2004-2b.i_BEv2_AllErrorsAtOnce.ats done 10.49 2.77 None MemSafety.race-1_1-join.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 279.63 None MemSafety.race-1_2-join.i_BEv2_AllErrorsAtOnce.ats done 50.62 34.40 None MemSafety.race-1_3-join.i_BEv2_AllErrorsAtOnce.ats done 58.64 42.79 None MemSafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.92 197.98 None MemSafety.read_write_lock-1-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.48 261.92 None MemSafety.read_write_lock-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.23 236.57 None MemSafety.read_write_lock-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.84 220.18 None MemSafety.rfi000_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 15.30 4.36 None MemSafety.rfi000_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 15.05 4.23 None MemSafety.rfi000_tso.i_BEv2_AllErrorsAtOnce.ats done 16.17 5.51 None MemSafety.rfi001_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 17.45 6.02 None MemSafety.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 16.52 5.88 None MemSafety.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 17.36 6.18 None MemSafety.rfi002_tso.i_BEv2_AllErrorsAtOnce.ats done 22.02 9.26 None MemSafety.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 16.60 6.29 None MemSafety.rfi003_tso.i_BEv2_AllErrorsAtOnce.ats done 18.31 6.15 None MemSafety.rfi004.i_BEv2_AllErrorsAtOnce.ats done 19.51 8.39 None MemSafety.rfi005.i_BEv2_AllErrorsAtOnce.ats done 16.99 5.84 None MemSafety.rfi006_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.14 257.98 None MemSafety.rfi006_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.12 227.36 None MemSafety.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 146.72 125.63 None MemSafety.rfi006_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.03 202.02 None MemSafety.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 16.90 6.37 None MemSafety.rfi007_tso.i_BEv2_AllErrorsAtOnce.ats done 15.83 5.63 None MemSafety.rfi008.oepc.i_BEv2_AllErrorsAtOnce.ats done 17.63 6.43 None MemSafety.rfi008.opt.i_BEv2_AllErrorsAtOnce.ats done 18.62 6.77 None MemSafety.rfi009_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.62 236.84 None MemSafety.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 165.93 143.48 None MemSafety.rfi009_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.43 205.88 None MemSafety.rfi010.i_BEv2_AllErrorsAtOnce.ats done 17.05 5.62 None MemSafety.safe000_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.75 263.95 None MemSafety.safe000_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.73 209.17 None MemSafety.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 63.75 45.93 None MemSafety.safe000_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.34 263.59 None MemSafety.safe001_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.33 258.69 None MemSafety.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 137.65 117.96 None MemSafety.safe001_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.45 262.90 None MemSafety.safe001_tso.i_BEv2_AllErrorsAtOnce.ats done 92.61 74.42 None MemSafety.safe002_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.21 263.25 None MemSafety.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 191.90 169.44 None MemSafety.safe002_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.64 262.10 None MemSafety.safe002_tso.i_BEv2_AllErrorsAtOnce.ats done 66.01 47.96 None MemSafety.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 135.69 114.44 None MemSafety.safe003_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 249.97 None MemSafety.safe003_tso.i_BEv2_AllErrorsAtOnce.ats done 61.87 44.36 None MemSafety.safe004_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 158.39 137.12 None MemSafety.safe004_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 138.30 117.19 None MemSafety.safe004_tso.i_BEv2_AllErrorsAtOnce.ats done 84.53 66.67 None MemSafety.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 287.08 214.44 None MemSafety.safe005_tso.i_BEv2_AllErrorsAtOnce.ats done 176.14 153.46 None MemSafety.safe006_power.oepc-thin000_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 149.44 None MemSafety.safe006_power.opt-thin000_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.30 167.16 None MemSafety.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 14.63 3.59 None MemSafety.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 167.47 None MemSafety.safe007_power.oepc-thin001_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.46 204.60 None MemSafety.safe007_power.opt-thin001_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 258.22 None MemSafety.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 91.56 73.49 None MemSafety.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 170.33 None MemSafety.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 105.67 85.43 None MemSafety.safe008_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.47 236.81 None MemSafety.safe008_tso.i_BEv2_AllErrorsAtOnce.ats done 65.21 48.41 None MemSafety.safe009_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.23 225.06 None MemSafety.safe009_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 222.32 None MemSafety.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 63.22 46.17 None MemSafety.safe009_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.45 190.96 None MemSafety.safe009_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.19 185.10 None MemSafety.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 15.79 5.15 None MemSafety.safe010_tso.i_BEv2_AllErrorsAtOnce.ats done 14.01 4.13 None MemSafety.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 123.84 104.26 None MemSafety.safe011_power.opt_pso.opt.i_BEv2_AllErrorsAtOnce.ats done 102.06 83.54 None MemSafety.safe011_tso.i_BEv2_AllErrorsAtOnce.ats done 80.19 62.50 None MemSafety.safe012_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.31 197.96 None MemSafety.safe012_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.35 259.23 None MemSafety.safe012_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 131.42 111.31 None MemSafety.safe012_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.31 159.61 None MemSafety.safe012_tso.i_BEv2_AllErrorsAtOnce.ats done 91.25 72.80 None MemSafety.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.91 227.91 None MemSafety.safe013_tso.i_BEv2_AllErrorsAtOnce.ats done 139.38 118.50 None MemSafety.safe014_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.47 235.34 None MemSafety.safe014_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.07 191.12 None MemSafety.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 68.36 51.50 None MemSafety.safe014_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.47 171.77 None MemSafety.safe014_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.79 257.54 None MemSafety.safe015_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 264.65 None MemSafety.safe015_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.98 259.19 None MemSafety.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 93.94 76.72 None MemSafety.safe015_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.67 260.64 None MemSafety.safe016_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 260.62 None MemSafety.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.52 199.45 None MemSafety.safe016_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.10 258.78 None MemSafety.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 92.38 73.59 None MemSafety.safe017_tso.i_BEv2_AllErrorsAtOnce.ats done 46.63 30.58 None MemSafety.safe018_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.20 214.45 None MemSafety.safe018_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.23 254.08 None MemSafety.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 70.37 53.02 None MemSafety.safe018_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.79 165.94 None MemSafety.safe018_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.07 255.36 None MemSafety.safe019_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.54 237.97 None MemSafety.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 139.45 None MemSafety.safe019_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.82 244.32 None MemSafety.safe020_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.12 246.42 None MemSafety.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 78.16 61.27 None MemSafety.safe020_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.13 237.20 None MemSafety.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 116.76 97.45 None MemSafety.safe021_power.opt_pso.opt.i_BEv2_AllErrorsAtOnce.ats done 123.28 104.14 None MemSafety.safe021_tso.i_BEv2_AllErrorsAtOnce.ats done 61.90 46.35 None MemSafety.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 17.38 6.46 None MemSafety.safe022_tso.i_BEv2_AllErrorsAtOnce.ats done 15.58 5.31 None MemSafety.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 196.19 142.35 None MemSafety.safe023_tso.i_BEv2_AllErrorsAtOnce.ats done 187.40 165.43 None MemSafety.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 194.12 149.49 None MemSafety.safe024_tso.i_BEv2_AllErrorsAtOnce.ats done 145.15 124.36 None MemSafety.safe025_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.49 263.63 None MemSafety.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 187.89 167.66 None MemSafety.safe025_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 263.61 None MemSafety.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 99.81 79.64 None MemSafety.safe026_tso.i_BEv2_AllErrorsAtOnce.ats done 50.31 32.65 None MemSafety.safe027_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.74 188.33 None MemSafety.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.46 149.56 None MemSafety.safe027_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.20 248.44 None MemSafety.safe028_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.77 254.41 None MemSafety.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 87.42 70.52 None MemSafety.safe028_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.36 226.92 None MemSafety.safe029_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 17.01 4.64 None MemSafety.safe029_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 14.68 5.30 None MemSafety.safe029_tso.i_BEv2_AllErrorsAtOnce.ats done 14.59 4.36 None MemSafety.safe030_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 120.73 101.77 None MemSafety.safe030_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 144.38 124.28 None MemSafety.safe030_tso.i_BEv2_AllErrorsAtOnce.ats done 54.56 37.66 None MemSafety.safe031_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 167.73 122.05 None MemSafety.safe031_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 169.02 125.47 None MemSafety.safe031_tso.i_BEv2_AllErrorsAtOnce.ats done 187.63 166.38 None MemSafety.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 243.94 181.24 None MemSafety.safe032_tso.i_BEv2_AllErrorsAtOnce.ats done 194.02 172.42 None MemSafety.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 17.38 5.05 None MemSafety.safe033_tso.i_BEv2_AllErrorsAtOnce.ats done 14.91 3.13 None MemSafety.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 249.36 184.09 None MemSafety.safe034_tso.i_BEv2_AllErrorsAtOnce.ats done 195.01 173.86 None MemSafety.safe035_power.i_BEv2_AllErrorsAtOnce.ats done 273.00 200.59 None MemSafety.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 215.54 191.14 None MemSafety.safe036.i_BEv2_AllErrorsAtOnce.ats done 14.60 3.87 None MemSafety.safe037.i_BEv2_AllErrorsAtOnce.ats done 151.68 130.25 None MemSafety.security.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.26 223.33 None MemSafety.singleton.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.23 227.68 None MemSafety.singleton_with-uninit-problems.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.33 222.03 None MemSafety.spaghetti.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.10 266.00 None MemSafety.stack-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.01 207.24 None MemSafety.stack_longer-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.22 187.43 None MemSafety.stack_longest-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.18 215.41 None MemSafety.stateful01-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 257.49 None MemSafety.stateful01-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.01 255.26 None MemSafety.sync01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.44 227.13 None MemSafety.szymanski.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.45 165.44 None MemSafety.test-easy1.wvr.c_BEv2_AllErrorsAtOnce.ats done 85.86 68.58 None MemSafety.test-easy10.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.27 215.42 None MemSafety.test-easy11.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.03 234.46 None MemSafety.test-easy6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 259.61 None MemSafety.test-easy7.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 258.50 None MemSafety.test-easy8.wvr.c_BEv2_AllErrorsAtOnce.ats done 48.93 33.49 None MemSafety.test-hard1.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.61 124.89 None MemSafety.test-semi1.wvr.c_BEv2_AllErrorsAtOnce.ats done 32.54 18.09 None MemSafety.thin002_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.57 246.61 None MemSafety.thin002_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 224.16 None MemSafety.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 132.59 None MemSafety.thin002_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.39 224.71 None MemSafety.time_var_mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.15 246.07 None MemSafety.triangular-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.10 196.13 None MemSafety.triangular-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 226.62 None MemSafety.triangular-longer-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.70 224.65 None MemSafety.triangular-longer-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.66 231.17 None MemSafety.triangular-longest-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 192.98 None MemSafety.triangular-longest-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.46 238.30 None ConcurrencySafety.13-privatized_01-priv_nr_true.i_BEv2_AllErrorsAtOnce.ats done 175.24 151.48 None ConcurrencySafety.13-privatized_04-priv_multi_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.41 111.19 None ConcurrencySafety.13-privatized_18-first-reads_true.i_BEv2_AllErrorsAtOnce.ats done 50.75 35.95 None ConcurrencySafety.13-privatized_19-publish-precision_true.i_BEv2_AllErrorsAtOnce.ats done 24.02 10.68 None ConcurrencySafety.13-privatized_20-publish-regression_true.i_BEv2_AllErrorsAtOnce.ats done 84.79 68.31 None ConcurrencySafety.13-privatized_24-multiple-protecting_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 248.54 None ConcurrencySafety.13-privatized_25-struct_nr_true.i_BEv2_AllErrorsAtOnce.ats done 116.88 96.84 None ConcurrencySafety.13-privatized_27-multiple-protecting2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.61 139.98 None ConcurrencySafety.13-privatized_29-multiple-protecting2-vesal_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.78 220.82 None ConcurrencySafety.13-privatized_30-traces-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 24.80 11.17 None ConcurrencySafety.13-privatized_31-traces-mine-vs-mutex_true.i_BEv2_AllErrorsAtOnce.ats done 59.46 44.36 None ConcurrencySafety.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 288.60 263.17 None ConcurrencySafety.13-privatized_33-traces-v-matters_true.i_BEv2_AllErrorsAtOnce.ats done 38.55 22.94 None ConcurrencySafety.13-privatized_34-traces-minepp-L-needs-to-be-um_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 279.10 None ConcurrencySafety.13-privatized_35-traces-ex-2_true.i_BEv2_AllErrorsAtOnce.ats done 25.11 10.39 None ConcurrencySafety.13-privatized_36-traces-ex-3_true.i_BEv2_AllErrorsAtOnce.ats done 26.47 13.10 None ConcurrencySafety.13-privatized_37-traces-ex-4_true.i_BEv2_AllErrorsAtOnce.ats done 20.53 8.06 None ConcurrencySafety.13-privatized_38-traces-ex-4-switch_true.i_BEv2_AllErrorsAtOnce.ats done 23.95 9.68 None ConcurrencySafety.13-privatized_40-traces-ex-6_true.i_BEv2_AllErrorsAtOnce.ats done 22.00 9.45 None ConcurrencySafety.13-privatized_42-traces-ex-mini_true.i_BEv2_AllErrorsAtOnce.ats done 31.35 18.31 None ConcurrencySafety.13-privatized_44-traces-mine2_true.i_BEv2_AllErrorsAtOnce.ats done 25.16 11.50 None ConcurrencySafety.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.i_BEv2_AllErrorsAtOnce.ats done 34.42 20.41 None ConcurrencySafety.13-privatized_46-refine-protected1_true.i_BEv2_AllErrorsAtOnce.ats done 13.92 2.94 None ConcurrencySafety.13-privatized_47-refine-protected2_true.i_BEv2_AllErrorsAtOnce.ats done 14.91 4.09 None ConcurrencySafety.13-privatized_52-refine-protected-loop2-small_true.i_BEv2_AllErrorsAtOnce.ats done 44.18 31.73 None ConcurrencySafety.13-privatized_57-singlethreaded-unlock_true.i_BEv2_AllErrorsAtOnce.ats done 12.35 2.93 None ConcurrencySafety.13-privatized_58-singlethreaded-lock_true.i_BEv2_AllErrorsAtOnce.ats done 12.54 3.09 None ConcurrencySafety.13-privatized_66-mine-W-init_true.i_BEv2_AllErrorsAtOnce.ats done 11.62 2.55 None ConcurrencySafety.13-privatized_69-refine-protected-loop-interval_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 253.98 None ConcurrencySafety.18_read_write_lock-pthread.i_BEv2_AllErrorsAtOnce.ats done 15.48 4.33 None ConcurrencySafety.18_read_write_lock.i_BEv2_AllErrorsAtOnce.ats done 16.37 4.65 None ConcurrencySafety.28-race_reach_46-escape_racefree.i_BEv2_AllErrorsAtOnce.ats done 247.89 225.57 None ConcurrencySafety.36-apron_11-traces-max-simple_true.i_BEv2_AllErrorsAtOnce.ats done 74.09 57.42 None ConcurrencySafety.36-apron_16-traces-unprot2_true.i_BEv2_AllErrorsAtOnce.ats done 12.12 3.43 None ConcurrencySafety.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.53 163.87 None ConcurrencySafety.arithmetic_prog_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.98 161.97 None ConcurrencySafety.bigshot_s.i_BEv2_AllErrorsAtOnce.ats done 33.01 16.84 None ConcurrencySafety.bigshot_s2.i_BEv2_AllErrorsAtOnce.ats done 32.42 15.33 None ConcurrencySafety.char_generic_nvram_read_nvram_nvram_unlocked_ioctl.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.23 229.44 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.65 116.65 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.88 275.44 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.78 103.12 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 311.71 110.09 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.59 113.07 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.24 127.33 None ConcurrencySafety.chl-collitem-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 239.98 None ConcurrencySafety.chl-collitem-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 159.35 142.19 None ConcurrencySafety.chl-collitem-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.38 227.85 None ConcurrencySafety.chl-sre-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.90 231.64 None ConcurrencySafety.chl-sre-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 36.75 22.14 None ConcurrencySafety.chl-sre-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.21 233.85 None ConcurrencySafety.chl-time-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.27 230.30 None ConcurrencySafety.chl-time-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 43.36 28.24 None ConcurrencySafety.chl-time-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.83 230.91 None ConcurrencySafety.dekker.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.61 164.52 None ConcurrencySafety.lamport.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.46 142.72 None ConcurrencySafety.parallel-bakery-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.27 226.54 None ConcurrencySafety.parallel-bluetooth.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.51 227.45 None ConcurrencySafety.parallel-misc-2-unrolled-atomic.wvr.c_BEv2_AllErrorsAtOnce.ats done 67.15 51.77 None ConcurrencySafety.parallel-misc-2-unrolled.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 239.66 None ConcurrencySafety.parallel-misc-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 256.47 None ConcurrencySafety.parallel-simple-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 238.79 None ConcurrencySafety.parallel-ticket-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 154.89 133.28 None ConcurrencySafety.parallel-ticket-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 230.63 None ConcurrencySafety.parallel-ticket-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.20 253.83 None ConcurrencySafety.peterson.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.20 241.84 None ConcurrencySafety.popl20-bad-ring-nondet.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.99 95.30 None ConcurrencySafety.popl20-more-min-le-max.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.76 120.67 None ConcurrencySafety.popl20-simple-array-sum.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.35 136.63 None ConcurrencySafety.race-1_1-join.i_BEv2_AllErrorsAtOnce.ats done 190.75 171.54 None ConcurrencySafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.55 133.87 None ConcurrencySafety.read_write_lock-1-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 221.64 None ConcurrencySafety.read_write_lock-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 224.46 None ConcurrencySafety.rfi000_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.18 247.79 None ConcurrencySafety.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 242.20 33.92 None ConcurrencySafety.rfi002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.15 172.38 None ConcurrencySafety.rfi003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.38 242.91 None ConcurrencySafety.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.38 128.69 None ConcurrencySafety.safe001_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.73 201.40 None ConcurrencySafety.safe002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 209.27 None ConcurrencySafety.safe003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.40 141.46 None ConcurrencySafety.safe004_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.47 149.00 None ConcurrencySafety.safe005_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.11 133.70 None ConcurrencySafety.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.25 252.86 None ConcurrencySafety.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.39 133.22 None ConcurrencySafety.safe008_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.10 149.13 None ConcurrencySafety.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.41 149.22 None ConcurrencySafety.safe010_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.24 240.95 None ConcurrencySafety.safe011_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.67 155.60 None ConcurrencySafety.safe012_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.64 151.75 None ConcurrencySafety.safe013_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.51 138.04 None ConcurrencySafety.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.74 153.20 None ConcurrencySafety.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.49 142.24 None ConcurrencySafety.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.36 216.82 None ConcurrencySafety.safe017_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.59 169.23 None ConcurrencySafety.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.75 151.28 None ConcurrencySafety.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.26 214.81 None ConcurrencySafety.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.95 163.39 None ConcurrencySafety.safe021_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 162.43 None ConcurrencySafety.safe022_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.64 241.77 None ConcurrencySafety.safe023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.70 135.34 None ConcurrencySafety.safe024_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.50 156.53 None ConcurrencySafety.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 136.27 None ConcurrencySafety.safe026_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.95 157.90 None ConcurrencySafety.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 220.04 None ConcurrencySafety.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.49 146.60 None ConcurrencySafety.safe029_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.31 247.41 None ConcurrencySafety.safe030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.37 194.99 None ConcurrencySafety.safe031_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.10 143.45 None ConcurrencySafety.safe032_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 137.28 None ConcurrencySafety.safe033_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 252.83 None ConcurrencySafety.safe034_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.13 147.91 None ConcurrencySafety.safe035_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.94 173.22 None ConcurrencySafety.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.03 136.43 None ConcurrencySafety.safe036.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 250.02 None ConcurrencySafety.safe037.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.58 149.79 None ConcurrencySafety.security.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 253.34 None ConcurrencySafety.singleton_with-uninit-problems.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.94 100.96 None ConcurrencySafety.spaghetti.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.27 184.70 None ConcurrencySafety.stateful01-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 262.63 None ConcurrencySafety.sync01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.62 251.36 None ConcurrencySafety.szymanski.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.47 167.44 None ConcurrencySafety.test-easy6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.13 255.61 None ConcurrencySafety.test-easy8.wvr.c_BEv2_AllErrorsAtOnce.ats done 59.29 43.16 None ConcurrencySafety.test-semi1.wvr.c_BEv2_AllErrorsAtOnce.ats done 40.58 26.39 None ConcurrencySafety.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.18 260.33 None ConcurrencySafety.time_var_mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.78 248.19 None ConcurrencySafety.triangular-1.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 280.61 91.58 None --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 127942.05 6315.65 - PetriOwickiGriesTestSuite-NoAssert Run set 3 of 4: skipped NaiveOwickiGriesTestSuite-NoAssert Run set 4 of 4 with options 'success 1 tests successful failure 1 tests failed command ${benchmark_path}/../run-test.sh Library-TraceCheckerUtilsTest de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.owickigries.NaiveOwickiGriesTestSuite ${inputfile_name} false' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- MemSafety.04-mutex_02-simple_nr.i_BEv2_AllErrorsAtOnce.ats done 12.88 6.50 None MemSafety.04-mutex_04-munge_nr.i_BEv2_AllErrorsAtOnce.ats done 21.06 14.40 None MemSafety.04-mutex_05-lockfuns.i_BEv2_AllErrorsAtOnce.ats done 26.97 19.61 None MemSafety.04-mutex_07-ps_nr.i_BEv2_AllErrorsAtOnce.ats done 10.31 5.31 None MemSafety.04-mutex_10-ptrmunge_nr.i_BEv2_AllErrorsAtOnce.ats done 248.09 229.60 None MemSafety.04-mutex_12-ptr_nr.i_BEv2_AllErrorsAtOnce.ats done 19.76 12.16 None MemSafety.04-mutex_15-funarg_nr.i_BEv2_AllErrorsAtOnce.ats done 41.79 32.78 None MemSafety.04-mutex_17-ps_add1_nr.i_BEv2_AllErrorsAtOnce.ats done 9.74 4.72 None MemSafety.04-mutex_18-glob_guards.i_BEv2_AllErrorsAtOnce.ats done 11.95 5.95 None MemSafety.04-mutex_22-deref_read.i_BEv2_AllErrorsAtOnce.ats done 19.42 11.71 None MemSafety.04-mutex_28-base_nr.i_BEv2_AllErrorsAtOnce.ats done 10.66 5.03 None MemSafety.04-mutex_36-trylock_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.86 93.17 None MemSafety.04-mutex_41-pt_rwlock.i_BEv2_AllErrorsAtOnce.ats done 17.89 11.00 None MemSafety.04-mutex_42-trylock_2mutex.i_BEv2_AllErrorsAtOnce.ats done 262.98 246.33 None MemSafety.04-mutex_43-thread_create_nr.i_BEv2_AllErrorsAtOnce.ats done 9.88 2.12 None MemSafety.04-mutex_51-mutex_ptr.i_BEv2_AllErrorsAtOnce.ats done 29.28 18.83 None MemSafety.04-mutex_54-pt_rwlock_ww.i_BEv2_AllErrorsAtOnce.ats done 16.77 8.01 None MemSafety.05-lval_ls_02-idx_nr.i_BEv2_AllErrorsAtOnce.ats done 9.00 2.99 None MemSafety.05-lval_ls_04-fld_nr.i_BEv2_AllErrorsAtOnce.ats done 8.36 2.59 None MemSafety.05-lval_ls_12-fldsense_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.24 278.43 None MemSafety.06-symbeq_05-funloop_hard2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.68 270.04 None MemSafety.06-symbeq_06-tricky_address1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.84 230.13 None MemSafety.06-symbeq_07-tricky_address2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.22 235.67 None MemSafety.06-symbeq_08-tricky_address3.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 235.23 None MemSafety.06-symbeq_11-equ_nr.i_BEv2_AllErrorsAtOnce.ats done 46.13 34.21 None MemSafety.06-symbeq_13-equ_proc_nr.i_BEv2_AllErrorsAtOnce.ats done 32.65 19.93 None MemSafety.06-symbeq_23-idxsense_nr.i_BEv2_AllErrorsAtOnce.ats done 270.91 248.98 None MemSafety.09-regions_02-list_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.27 218.67 None MemSafety.09-regions_04-list2_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 252.52 None MemSafety.10-synch_01-thread_unique.i_BEv2_AllErrorsAtOnce.ats done 8.14 1.87 None MemSafety.10-synch_03-two_unique.i_BEv2_AllErrorsAtOnce.ats done 9.36 2.04 None MemSafety.13-privatized_01-priv_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.40 258.44 None MemSafety.13-privatized_03-priv_inv.i_BEv2_AllErrorsAtOnce.ats done 52.96 41.63 None MemSafety.13-privatized_04-priv_multi_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.41 152.80 None MemSafety.13-privatized_18-first-reads_true.i_BEv2_AllErrorsAtOnce.ats done 80.93 69.29 None MemSafety.13-privatized_18-first-reads_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 25.03 15.03 None MemSafety.13-privatized_18-first-reads_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 25.55 15.27 None MemSafety.13-privatized_18-first-reads_unknown_2_neg.i_BEv2_AllErrorsAtOnce.ats done 23.20 13.87 None MemSafety.13-privatized_18-first-reads_unknown_2_pos.i_BEv2_AllErrorsAtOnce.ats done 26.34 15.51 None MemSafety.13-privatized_19-publish-precision_true.i_BEv2_AllErrorsAtOnce.ats done 64.44 52.83 None MemSafety.13-privatized_19-publish-precision_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 78.49 67.35 None MemSafety.13-privatized_19-publish-precision_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 77.94 66.00 None MemSafety.13-privatized_19-publish-precision_unknown_2_neg.i_BEv2_AllErrorsAtOnce.ats done 79.61 68.03 None MemSafety.13-privatized_19-publish-precision_unknown_2_pos.i_BEv2_AllErrorsAtOnce.ats done 79.87 68.00 None MemSafety.13-privatized_20-publish-regression_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.17 240.59 None MemSafety.13-privatized_24-multiple-protecting_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.57 158.81 None MemSafety.13-privatized_25-struct_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 261.66 None MemSafety.13-privatized_27-multiple-protecting2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.34 99.45 None MemSafety.13-privatized_29-multiple-protecting2-vesal_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.13 262.89 None MemSafety.13-privatized_30-traces-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 246.53 227.46 None MemSafety.13-privatized_31-traces-mine-vs-mutex_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 257.38 None MemSafety.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.50 260.36 None MemSafety.13-privatized_33-traces-v-matters_true.i_BEv2_AllErrorsAtOnce.ats done 10.55 2.18 None MemSafety.13-privatized_34-traces-minepp-L-needs-to-be-um_true.i_BEv2_AllErrorsAtOnce.ats done 9.97 2.13 None MemSafety.13-privatized_35-traces-ex-2_true.i_BEv2_AllErrorsAtOnce.ats done 10.04 2.05 None MemSafety.13-privatized_36-traces-ex-3_true.i_BEv2_AllErrorsAtOnce.ats done 9.08 2.05 None MemSafety.13-privatized_37-traces-ex-4_true.i_BEv2_AllErrorsAtOnce.ats done 10.08 2.12 None MemSafety.13-privatized_38-traces-ex-4-switch_true.i_BEv2_AllErrorsAtOnce.ats done 10.21 2.30 None MemSafety.13-privatized_40-traces-ex-6_true.i_BEv2_AllErrorsAtOnce.ats done 9.95 2.07 None MemSafety.13-privatized_41-traces-ex-7_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 9.47 2.07 None MemSafety.13-privatized_41-traces-ex-7_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 9.25 2.15 None MemSafety.13-privatized_42-traces-ex-mini_true.i_BEv2_AllErrorsAtOnce.ats done 9.88 2.20 None MemSafety.13-privatized_44-traces-mine2_true.i_BEv2_AllErrorsAtOnce.ats done 9.60 2.20 None MemSafety.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.i_BEv2_AllErrorsAtOnce.ats done 9.64 2.33 None MemSafety.13-privatized_46-refine-protected1_true.i_BEv2_AllErrorsAtOnce.ats done 9.49 2.35 None MemSafety.13-privatized_47-refine-protected2_true.i_BEv2_AllErrorsAtOnce.ats done 8.44 2.14 None MemSafety.13-privatized_52-refine-protected-loop2-small_true.i_BEv2_AllErrorsAtOnce.ats done 10.22 2.24 None MemSafety.13-privatized_57-singlethreaded-unlock_true.i_BEv2_AllErrorsAtOnce.ats done 9.72 2.21 None MemSafety.13-privatized_58-singlethreaded-lock_true.i_BEv2_AllErrorsAtOnce.ats done 9.28 2.33 None MemSafety.13-privatized_66-mine-W-init_true.i_BEv2_AllErrorsAtOnce.ats done 8.72 2.14 None MemSafety.13-privatized_67-pthread_cond_wait_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 255.17 None MemSafety.13-privatized_67-pthread_cond_wait_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 252.00 None MemSafety.13-privatized_67-pthread_cond_wait_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.91 249.89 None MemSafety.13-privatized_68-pfscan_protected_loop_minimal_interval_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.47 167.65 None MemSafety.13-privatized_69-refine-protected-loop-interval_true.i_BEv2_AllErrorsAtOnce.ats done 10.29 3.69 None MemSafety.18_read_write_lock-pthread.i_BEv2_AllErrorsAtOnce.ats done 10.39 3.63 None MemSafety.18_read_write_lock.i_BEv2_AllErrorsAtOnce.ats done 9.06 2.32 None MemSafety.36-apron_11-traces-max-simple_true.i_BEv2_AllErrorsAtOnce.ats done 9.15 2.31 None MemSafety.36-apron_16-traces-unprot2_true.i_BEv2_AllErrorsAtOnce.ats done 9.40 2.17 None MemSafety.36-apron_17-traces-rpb-litmus_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 10.31 2.58 None MemSafety.36-apron_17-traces-rpb-litmus_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 10.60 2.38 None MemSafety.36-apron_21-traces-cluster-based_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 272.22 None MemSafety.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.i_BEv2_AllErrorsAtOnce.ats done 11.39 2.72 None MemSafety.36-apron_41-threadenter-no-locals_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 8.57 2.01 None MemSafety.36-apron_41-threadenter-no-locals_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 9.11 2.02 None MemSafety.arithmetic_prog_bad.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.18 128.56 None MemSafety.arithmetic_prog_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.17 176.36 None MemSafety.bench-exp1x3.wvr.c_BEv2_AllErrorsAtOnce.ats done 24.61 14.09 None MemSafety.bench-exp2x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.22 120.98 None MemSafety.bench-exp2x4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 101.68 None MemSafety.bench-exp2x6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.32 90.84 None MemSafety.bench-exp2x9.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.46 196.36 None MemSafety.bench-exp3x3-opt.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.53 224.09 None MemSafety.bench-exp3x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.78 225.09 None MemSafety.bigshot_s.i_BEv2_AllErrorsAtOnce.ats done 30.12 16.16 None MemSafety.bigshot_s2.i_BEv2_AllErrorsAtOnce.ats done 27.36 12.85 None MemSafety.chl-collitem-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.80 236.86 None MemSafety.chl-collitem-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 45.96 35.81 None MemSafety.chl-collitem-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 235.99 None MemSafety.chl-exp-term-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.37 187.61 None MemSafety.chl-exp-term-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.84 141.16 None MemSafety.chl-file-item-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.18 186.55 None MemSafety.chl-file-item-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.95 108.09 None MemSafety.chl-file-item-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.17 184.10 None MemSafety.chl-match-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.30 243.76 None MemSafety.chl-match-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.56 103.69 None MemSafety.chl-match-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.40 256.60 None MemSafety.chl-simpl-str-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.32 204.75 None MemSafety.chl-simpl-str-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 124.75 None MemSafety.chl-simpl-str-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.52 200.33 None MemSafety.chl-sre-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.35 224.24 None MemSafety.chl-sre-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 14.27 4.74 None MemSafety.chl-sre-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.43 231.23 None MemSafety.chl-time-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.68 239.59 None MemSafety.chl-time-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 45.18 34.17 None MemSafety.chl-time-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 239.85 None MemSafety.circular_buffer_bad.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.43 116.31 None MemSafety.circular_buffer_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.34 135.52 None MemSafety.clever.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.47 252.10 None MemSafety.dekker.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.31 182.75 None MemSafety.fib_safe-10.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.09 170.83 None MemSafety.fib_safe-11.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.49 172.11 None MemSafety.fib_safe-12.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.43 188.76 None MemSafety.fib_safe-5.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 185.16 None MemSafety.fib_safe-6.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.45 203.46 None MemSafety.fib_safe-7.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.80 179.34 None MemSafety.fib_unsafe-10.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.23 190.13 None MemSafety.fib_unsafe-11.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.50 179.89 None MemSafety.fib_unsafe-12.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.87 190.56 None MemSafety.fib_unsafe-5.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.29 188.72 None MemSafety.fib_unsafe-6.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.18 215.92 None MemSafety.fib_unsafe-7.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 189.02 None MemSafety.fibonacci.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.62 123.44 None MemSafety.lamport.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.11 166.29 None MemSafety.lazy01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.13 127.65 None MemSafety.mix000.oepc.i_BEv2_AllErrorsAtOnce.ats done 13.90 4.38 None MemSafety.mix000.opt.i_BEv2_AllErrorsAtOnce.ats done 12.48 3.90 None MemSafety.mix001.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.32 235.90 None MemSafety.mix001.opt.i_BEv2_AllErrorsAtOnce.ats done 268.45 206.98 None MemSafety.mix002.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.51 237.60 None MemSafety.mix002.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.04 245.98 None MemSafety.mix003.oepc.i_BEv2_AllErrorsAtOnce.ats done 206.21 158.83 None MemSafety.mix003_power.opt_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 229.69 173.55 None MemSafety.mix004.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 159.33 None MemSafety.mix004.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.04 165.35 None MemSafety.mix005.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.83 159.19 None MemSafety.mix005_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.59 164.77 None MemSafety.mix005_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.81 152.84 None MemSafety.mix006.opt.i_BEv2_AllErrorsAtOnce.ats done 186.43 136.94 None MemSafety.mix006_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 227.69 171.58 None MemSafety.mix006_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.64 232.74 None MemSafety.mix007.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.24 155.91 None MemSafety.mix007.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 169.22 None MemSafety.mix008.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.49 148.95 None MemSafety.mix008_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.65 154.89 None MemSafety.mix008_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 126.69 None MemSafety.mix009.oepc.i_BEv2_AllErrorsAtOnce.ats done 15.08 5.59 None MemSafety.mix009.opt.i_BEv2_AllErrorsAtOnce.ats done 15.00 5.77 None MemSafety.mix010.oepc.i_BEv2_AllErrorsAtOnce.ats done 268.49 203.01 None MemSafety.mix010.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 230.22 None MemSafety.mix011.opt.i_BEv2_AllErrorsAtOnce.ats done 237.66 183.65 None MemSafety.mix011_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.33 230.13 None MemSafety.mix011_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 256.11 193.22 None MemSafety.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 12.50 3.55 None MemSafety.mix012_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 12.93 4.21 None MemSafety.mix013.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.12 145.59 None MemSafety.mix013.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.99 152.32 None MemSafety.mix014.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 173.30 None MemSafety.mix014_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.39 135.91 None MemSafety.mix014_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.24 130.65 None MemSafety.mix015.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.18 231.35 None MemSafety.mix015.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.44 232.64 None MemSafety.mix016.oepc.i_BEv2_AllErrorsAtOnce.ats done 100.92 85.45 None MemSafety.mix016_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 107.69 92.16 None MemSafety.mix016_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 150.30 132.97 None MemSafety.mix017.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.18 182.64 None MemSafety.mix017_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.40 176.49 None MemSafety.mix017_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.52 169.28 None MemSafety.mix018.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.71 166.80 None MemSafety.mix018_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.34 154.42 None MemSafety.mix018_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.62 194.12 None MemSafety.mix019.opt.i_BEv2_AllErrorsAtOnce.ats done 99.36 85.02 None MemSafety.mix019_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 121.35 105.14 None MemSafety.mix019_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 125.44 107.79 None MemSafety.mix020.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.00 172.56 None MemSafety.mix020.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.49 164.24 None MemSafety.mix021.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 188.56 None MemSafety.mix021_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.83 182.64 None MemSafety.mix021_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 226.69 None MemSafety.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 11.89 3.99 None MemSafety.mix022_tso.i_BEv2_AllErrorsAtOnce.ats done 12.57 4.15 None MemSafety.mix023_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 170.02 None MemSafety.mix023_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 155.76 None MemSafety.mix023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.79 121.76 None MemSafety.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 257.75 195.59 None MemSafety.mix024_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 298.88 231.13 None MemSafety.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 113.15 97.08 None MemSafety.mix025_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 131.32 115.29 None MemSafety.mix026.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 181.91 None MemSafety.mix026_power.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 159.00 None MemSafety.mix026_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.47 176.22 None MemSafety.mix027_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.25 168.26 None MemSafety.mix027_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.11 169.89 None MemSafety.mix027_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.05 192.00 None MemSafety.mix028_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 137.43 120.20 None MemSafety.mix028_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 114.24 99.35 None MemSafety.mix028_tso.i_BEv2_AllErrorsAtOnce.ats done 130.60 116.43 None MemSafety.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.84 172.21 None MemSafety.mix029_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 162.70 None MemSafety.mix030_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.91 178.78 None MemSafety.mix030_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.37 189.90 None MemSafety.mix030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.23 202.28 None MemSafety.mix031.oepc.i_BEv2_AllErrorsAtOnce.ats done 15.11 5.99 None MemSafety.mix031.opt.i_BEv2_AllErrorsAtOnce.ats done 16.31 6.75 None MemSafety.mix032.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 230.56 None MemSafety.mix032.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.24 231.81 None MemSafety.mix033.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.27 231.07 None MemSafety.mix033_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.48 226.73 None MemSafety.mix033_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 266.34 201.42 None MemSafety.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 13.89 4.49 None MemSafety.mix034_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 12.57 3.30 None MemSafety.mix035.oepc.i_BEv2_AllErrorsAtOnce.ats done 123.09 108.22 None MemSafety.mix035_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 137.48 122.59 None MemSafety.mix035_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 116.80 101.16 None MemSafety.mix036.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 163.65 None MemSafety.mix036_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.53 165.49 None MemSafety.mix036_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.31 156.49 None MemSafety.mix037.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.67 180.88 None MemSafety.mix037_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.59 167.72 None MemSafety.mix037_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.91 171.26 None MemSafety.mix038.opt.i_BEv2_AllErrorsAtOnce.ats done 100.29 85.88 None MemSafety.mix038_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 165.09 147.80 None MemSafety.mix038_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 161.48 144.37 None MemSafety.mix039.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.44 149.62 None MemSafety.mix039.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.43 173.39 None MemSafety.mix040.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.96 189.33 None MemSafety.mix040_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.19 143.84 None MemSafety.mix040_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.03 183.58 None MemSafety.mix041_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 12.95 3.46 None MemSafety.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 12.53 3.71 None MemSafety.mix042.oepc.i_BEv2_AllErrorsAtOnce.ats done 165.91 149.53 None MemSafety.mix042.opt.i_BEv2_AllErrorsAtOnce.ats done 154.84 136.90 None MemSafety.mix043.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.06 161.71 None MemSafety.mix043.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.69 156.31 None MemSafety.mix044.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 192.86 None MemSafety.mix044_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.95 175.61 None MemSafety.mix044_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.26 171.28 None MemSafety.mix045_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 113.50 97.97 None MemSafety.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 118.16 103.55 None MemSafety.mix046.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.44 175.72 None MemSafety.mix046.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.13 167.71 None MemSafety.mix047_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.98 178.09 None MemSafety.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.93 171.19 None MemSafety.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.i_BEv2_AllErrorsAtOnce.ats done 12.85 3.61 None MemSafety.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.i_BEv2_AllErrorsAtOnce.ats done 104.91 89.93 None MemSafety.mix050.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.43 169.08 None MemSafety.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.86 179.29 None MemSafety.mix051_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.40 155.41 None MemSafety.mix051_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.99 162.24 None MemSafety.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 100.49 87.36 None MemSafety.mix052_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 113.99 97.37 None MemSafety.mix052_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 113.00 96.70 None MemSafety.mix053.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.71 232.66 None MemSafety.mix053_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.13 176.08 None MemSafety.mix053_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 206.90 None MemSafety.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 12.23 3.79 None MemSafety.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 12.04 3.40 None MemSafety.mix055.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.50 180.07 None MemSafety.mix055_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 168.72 None MemSafety.mix055_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.13 196.20 None MemSafety.mix056_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 122.85 108.53 None MemSafety.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 81.70 66.58 None MemSafety.mix057_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.34 180.75 None MemSafety.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.02 216.03 None MemSafety.mult-comm.wvr.c_BEv2_AllErrorsAtOnce.ats done 298.30 227.88 None MemSafety.mult-dist.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.91 146.22 None MemSafety.mult-flipped-dist.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.05 135.44 None MemSafety.parallel-bakery-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.57 244.55 None MemSafety.parallel-bakery-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.63 114.72 None MemSafety.parallel-bakery-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 278.09 None MemSafety.parallel-bluetooth.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 236.94 None MemSafety.parallel-misc-2-unrolled-atomic.wvr.c_BEv2_AllErrorsAtOnce.ats done 55.13 43.80 None MemSafety.parallel-misc-2-unrolled.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 246.92 None MemSafety.parallel-misc-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.91 229.10 None MemSafety.parallel-misc-3-extended.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 126.25 None MemSafety.parallel-misc-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.14 268.23 None MemSafety.parallel-misc-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.13 189.39 None MemSafety.parallel-misc-5.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.97 133.19 None MemSafety.parallel-simple-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.50 234.34 None MemSafety.parallel-ticket-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 114.28 99.47 None MemSafety.parallel-ticket-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.53 145.09 None MemSafety.parallel-ticket-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.93 92.37 None MemSafety.parallel-ticket-5.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 191.51 None MemSafety.parallel-ticket-6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.67 270.82 None MemSafety.peterson.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.38 265.43 None MemSafety.popl20-bad-threaded-sum-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 80.66 68.06 None MemSafety.popl20-counter-determinism.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.37 107.45 None MemSafety.popl20-difference-det.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 93.32 None MemSafety.popl20-figure1-alt.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.67 247.22 None MemSafety.popl20-figure1.wvr.c_BEv2_AllErrorsAtOnce.ats done 214.02 160.54 None MemSafety.popl20-figure3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 237.27 None MemSafety.popl20-more-nonblocking-counter-alt2.wvr.c_BEv2_AllErrorsAtOnce.ats done 63.68 51.54 None MemSafety.popl20-mult-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 96.84 None MemSafety.popl20-mult-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 175.60 None MemSafety.popl20-nonblocking-cntr-alt.wvr.c_BEv2_AllErrorsAtOnce.ats done 74.04 61.39 None MemSafety.popl20-nonblocking-cntr.wvr.c_BEv2_AllErrorsAtOnce.ats done 98.82 85.76 None MemSafety.popl20-proofs-counter-add-4-semi-Q67.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.04 102.10 None MemSafety.popl20-threaded-sum-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.48 166.95 None MemSafety.pthread-demo-datarace-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 282.99 None MemSafety.pthread-demo-datarace-3.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.46 282.81 None MemSafety.qw2004-2b.i_BEv2_AllErrorsAtOnce.ats done 9.16 2.18 None MemSafety.race-1_1-join.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.10 282.76 None MemSafety.race-1_2-join.i_BEv2_AllErrorsAtOnce.ats done 41.75 30.28 None MemSafety.race-1_3-join.i_BEv2_AllErrorsAtOnce.ats done 49.77 38.00 None MemSafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.79 112.43 None MemSafety.read_write_lock-1-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.85 123.53 None MemSafety.read_write_lock-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.20 110.89 None MemSafety.read_write_lock-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.49 115.31 None MemSafety.rfi000_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 13.32 3.94 None MemSafety.rfi000_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.18 3.70 None MemSafety.rfi000_tso.i_BEv2_AllErrorsAtOnce.ats done 13.11 3.92 None MemSafety.rfi001_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 12.28 3.51 None MemSafety.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 13.24 3.84 None MemSafety.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.16 4.49 None MemSafety.rfi002_tso.i_BEv2_AllErrorsAtOnce.ats done 16.62 7.50 None MemSafety.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.21 5.24 None MemSafety.rfi003_tso.i_BEv2_AllErrorsAtOnce.ats done 13.93 4.76 None MemSafety.rfi004.i_BEv2_AllErrorsAtOnce.ats done 14.26 7.20 None MemSafety.rfi005.i_BEv2_AllErrorsAtOnce.ats done 14.45 5.63 None MemSafety.rfi006_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.06 127.64 None MemSafety.rfi006_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.33 122.61 None MemSafety.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 142.68 127.11 None MemSafety.rfi006_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.21 112.55 None MemSafety.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.38 4.62 None MemSafety.rfi007_tso.i_BEv2_AllErrorsAtOnce.ats done 14.01 4.95 None MemSafety.rfi008.oepc.i_BEv2_AllErrorsAtOnce.ats done 16.21 6.42 None MemSafety.rfi008.opt.i_BEv2_AllErrorsAtOnce.ats done 18.28 6.95 None MemSafety.rfi009_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.67 119.33 None MemSafety.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 167.15 149.85 None MemSafety.rfi009_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.38 130.01 None MemSafety.rfi010.i_BEv2_AllErrorsAtOnce.ats done 16.03 6.12 None MemSafety.safe000_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.27 120.75 None MemSafety.safe000_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.77 137.20 None MemSafety.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 49.28 37.66 None MemSafety.safe000_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.43 125.58 None MemSafety.safe001_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.24 114.29 None MemSafety.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 134.61 120.57 None MemSafety.safe001_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.79 124.04 None MemSafety.safe001_tso.i_BEv2_AllErrorsAtOnce.ats done 77.96 66.01 None MemSafety.safe002_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.49 110.26 None MemSafety.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 183.41 166.99 None MemSafety.safe002_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.90 118.50 None MemSafety.safe002_tso.i_BEv2_AllErrorsAtOnce.ats done 49.94 37.89 None MemSafety.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 126.00 111.25 None MemSafety.safe003_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.05 128.68 None MemSafety.safe003_tso.i_BEv2_AllErrorsAtOnce.ats done 48.28 37.36 None MemSafety.safe004_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 129.92 115.35 None MemSafety.safe004_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 126.71 110.46 None MemSafety.safe004_tso.i_BEv2_AllErrorsAtOnce.ats done 74.66 61.85 None MemSafety.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 250.24 189.59 None MemSafety.safe005_tso.i_BEv2_AllErrorsAtOnce.ats done 161.58 146.21 None MemSafety.safe006_power.oepc-thin000_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 226.40 None MemSafety.safe006_power.opt-thin000_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.21 242.34 None MemSafety.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 11.96 2.91 None MemSafety.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.25 203.69 None MemSafety.safe007_power.oepc-thin001_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.14 114.38 None MemSafety.safe007_power.opt-thin001_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.51 138.75 None MemSafety.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 77.43 64.78 None MemSafety.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 120.23 None MemSafety.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 94.53 79.59 None MemSafety.safe008_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.57 121.85 None MemSafety.safe008_tso.i_BEv2_AllErrorsAtOnce.ats done 49.38 36.35 None MemSafety.safe009_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.21 105.89 None MemSafety.safe009_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.04 140.05 None MemSafety.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 46.20 34.91 None MemSafety.safe009_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.93 113.87 None MemSafety.safe009_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 116.39 None MemSafety.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 11.56 4.07 None MemSafety.safe010_tso.i_BEv2_AllErrorsAtOnce.ats done 11.71 3.59 None MemSafety.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 115.66 102.44 None MemSafety.safe011_power.opt_pso.opt.i_BEv2_AllErrorsAtOnce.ats done 87.38 75.53 None MemSafety.safe011_tso.i_BEv2_AllErrorsAtOnce.ats done 70.44 58.66 None MemSafety.safe012_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.57 122.36 None MemSafety.safe012_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.45 140.84 None MemSafety.safe012_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 122.99 109.34 None MemSafety.safe012_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 122.50 None MemSafety.safe012_tso.i_BEv2_AllErrorsAtOnce.ats done 79.07 66.94 None MemSafety.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 240.56 None MemSafety.safe013_tso.i_BEv2_AllErrorsAtOnce.ats done 132.31 118.98 None MemSafety.safe014_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 151.59 None MemSafety.safe014_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.77 127.95 None MemSafety.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 46.69 35.25 None MemSafety.safe014_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.09 135.37 None MemSafety.safe014_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.63 123.92 None MemSafety.safe015_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 119.91 None MemSafety.safe015_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.43 114.38 None MemSafety.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 75.64 63.73 None MemSafety.safe015_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.40 126.65 None MemSafety.safe016_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.01 141.95 None MemSafety.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.61 243.18 None MemSafety.safe016_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.40 136.32 None MemSafety.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 78.92 67.48 None MemSafety.safe017_tso.i_BEv2_AllErrorsAtOnce.ats done 33.95 22.42 None MemSafety.safe018_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.47 150.04 None MemSafety.safe018_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.34 135.81 None MemSafety.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 53.58 42.39 None MemSafety.safe018_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 138.97 None MemSafety.safe018_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 123.56 None MemSafety.safe019_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.97 215.35 None MemSafety.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.54 190.00 None MemSafety.safe019_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 212.33 None MemSafety.safe020_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 112.81 None MemSafety.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 66.10 54.90 None MemSafety.safe020_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.40 116.17 None MemSafety.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 107.24 93.08 None MemSafety.safe021_power.opt_pso.opt.i_BEv2_AllErrorsAtOnce.ats done 109.25 95.79 None MemSafety.safe021_tso.i_BEv2_AllErrorsAtOnce.ats done 49.82 39.68 None MemSafety.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.28 4.18 None MemSafety.safe022_tso.i_BEv2_AllErrorsAtOnce.ats done 10.42 3.87 None MemSafety.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 176.14 132.63 None MemSafety.safe023_tso.i_BEv2_AllErrorsAtOnce.ats done 158.21 143.01 None MemSafety.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 184.94 141.38 None MemSafety.safe024_tso.i_BEv2_AllErrorsAtOnce.ats done 126.84 113.48 None MemSafety.safe025_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 99.55 None MemSafety.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 156.90 140.80 None MemSafety.safe025_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.39 106.98 None MemSafety.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 83.53 69.17 None MemSafety.safe026_tso.i_BEv2_AllErrorsAtOnce.ats done 34.43 22.18 None MemSafety.safe027_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.47 208.95 None MemSafety.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.33 187.86 None MemSafety.safe027_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.53 174.68 None MemSafety.safe028_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.23 104.15 None MemSafety.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 76.24 62.97 None MemSafety.safe028_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 99.38 None MemSafety.safe029_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 12.04 3.56 None MemSafety.safe029_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.32 3.84 None MemSafety.safe029_tso.i_BEv2_AllErrorsAtOnce.ats done 10.71 2.93 None MemSafety.safe030_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 100.18 84.33 None MemSafety.safe030_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 129.74 114.14 None MemSafety.safe030_tso.i_BEv2_AllErrorsAtOnce.ats done 35.59 23.73 None MemSafety.safe031_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 148.23 109.06 None MemSafety.safe031_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 167.41 121.98 None MemSafety.safe031_tso.i_BEv2_AllErrorsAtOnce.ats done 164.14 147.31 None MemSafety.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 209.77 165.09 None MemSafety.safe032_tso.i_BEv2_AllErrorsAtOnce.ats done 177.64 160.98 None MemSafety.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 11.28 4.04 None MemSafety.safe033_tso.i_BEv2_AllErrorsAtOnce.ats done 10.76 2.76 None MemSafety.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 221.40 168.47 None MemSafety.safe034_tso.i_BEv2_AllErrorsAtOnce.ats done 166.38 150.98 None MemSafety.safe035_power.i_BEv2_AllErrorsAtOnce.ats done 255.04 190.84 None MemSafety.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 198.73 180.66 None MemSafety.safe036.i_BEv2_AllErrorsAtOnce.ats done 11.55 2.40 None MemSafety.safe037.i_BEv2_AllErrorsAtOnce.ats done 122.66 107.02 None MemSafety.security.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 232.63 None MemSafety.singleton.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.38 157.69 None MemSafety.singleton_with-uninit-problems.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.53 167.91 None MemSafety.spaghetti.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.19 194.64 None MemSafety.stack-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.79 174.34 None MemSafety.stack_longer-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 167.78 None MemSafety.stack_longest-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.17 226.23 None MemSafety.stateful01-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 257.65 None MemSafety.stateful01-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.03 256.82 None MemSafety.sync01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.20 255.05 None MemSafety.szymanski.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.26 167.33 None MemSafety.test-easy1.wvr.c_BEv2_AllErrorsAtOnce.ats done 73.29 60.94 None MemSafety.test-easy10.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.70 116.23 None MemSafety.test-easy11.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.59 239.31 None MemSafety.test-easy6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 260.73 None MemSafety.test-easy7.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 260.48 None MemSafety.test-easy8.wvr.c_BEv2_AllErrorsAtOnce.ats done 32.58 22.91 None MemSafety.test-hard1.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.64 91.84 None MemSafety.test-semi1.wvr.c_BEv2_AllErrorsAtOnce.ats done 22.07 12.22 None MemSafety.thin002_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.91 162.53 None MemSafety.thin002_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.40 214.14 None MemSafety.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 168.20 None MemSafety.thin002_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 230.60 None MemSafety.time_var_mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.98 235.81 None MemSafety.triangular-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.12 193.35 None MemSafety.triangular-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.25 204.85 None MemSafety.triangular-longer-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.16 197.44 None MemSafety.triangular-longer-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.84 257.84 None MemSafety.triangular-longest-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.79 261.47 None MemSafety.triangular-longest-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.80 258.47 None ConcurrencySafety.13-privatized_01-priv_nr_true.i_BEv2_AllErrorsAtOnce.ats done 163.47 146.14 None ConcurrencySafety.13-privatized_04-priv_multi_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.09 101.44 None ConcurrencySafety.13-privatized_18-first-reads_true.i_BEv2_AllErrorsAtOnce.ats done 41.09 30.28 None ConcurrencySafety.13-privatized_19-publish-precision_true.i_BEv2_AllErrorsAtOnce.ats done 17.83 8.52 None ConcurrencySafety.13-privatized_20-publish-regression_true.i_BEv2_AllErrorsAtOnce.ats done 72.64 61.22 None ConcurrencySafety.13-privatized_24-multiple-protecting_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.98 253.62 None ConcurrencySafety.13-privatized_25-struct_nr_true.i_BEv2_AllErrorsAtOnce.ats done 105.21 91.67 None ConcurrencySafety.13-privatized_27-multiple-protecting2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.56 132.67 None ConcurrencySafety.13-privatized_29-multiple-protecting2-vesal_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.81 224.88 None ConcurrencySafety.13-privatized_30-traces-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 17.83 8.06 None ConcurrencySafety.13-privatized_31-traces-mine-vs-mutex_true.i_BEv2_AllErrorsAtOnce.ats done 53.47 41.63 None ConcurrencySafety.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 278.75 257.04 None ConcurrencySafety.13-privatized_33-traces-v-matters_true.i_BEv2_AllErrorsAtOnce.ats done 28.78 18.89 None ConcurrencySafety.13-privatized_34-traces-minepp-L-needs-to-be-um_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.33 279.07 None ConcurrencySafety.13-privatized_35-traces-ex-2_true.i_BEv2_AllErrorsAtOnce.ats done 17.48 7.26 None ConcurrencySafety.13-privatized_36-traces-ex-3_true.i_BEv2_AllErrorsAtOnce.ats done 20.15 10.30 None ConcurrencySafety.13-privatized_37-traces-ex-4_true.i_BEv2_AllErrorsAtOnce.ats done 14.52 5.34 None ConcurrencySafety.13-privatized_38-traces-ex-4-switch_true.i_BEv2_AllErrorsAtOnce.ats done 18.04 7.72 None ConcurrencySafety.13-privatized_40-traces-ex-6_true.i_BEv2_AllErrorsAtOnce.ats done 17.66 7.01 None ConcurrencySafety.13-privatized_42-traces-ex-mini_true.i_BEv2_AllErrorsAtOnce.ats done 24.02 14.23 None ConcurrencySafety.13-privatized_44-traces-mine2_true.i_BEv2_AllErrorsAtOnce.ats done 17.33 7.16 None ConcurrencySafety.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.i_BEv2_AllErrorsAtOnce.ats done 25.76 14.91 None ConcurrencySafety.13-privatized_46-refine-protected1_true.i_BEv2_AllErrorsAtOnce.ats done 9.69 2.47 None ConcurrencySafety.13-privatized_47-refine-protected2_true.i_BEv2_AllErrorsAtOnce.ats done 13.48 3.10 None ConcurrencySafety.13-privatized_52-refine-protected-loop2-small_true.i_BEv2_AllErrorsAtOnce.ats done 40.20 28.68 None ConcurrencySafety.13-privatized_57-singlethreaded-unlock_true.i_BEv2_AllErrorsAtOnce.ats done 10.57 2.28 None ConcurrencySafety.13-privatized_58-singlethreaded-lock_true.i_BEv2_AllErrorsAtOnce.ats done 11.39 2.94 None ConcurrencySafety.13-privatized_66-mine-W-init_true.i_BEv2_AllErrorsAtOnce.ats done 9.92 2.70 None ConcurrencySafety.13-privatized_69-refine-protected-loop-interval_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.53 249.54 None ConcurrencySafety.18_read_write_lock-pthread.i_BEv2_AllErrorsAtOnce.ats done 11.56 2.97 None ConcurrencySafety.18_read_write_lock.i_BEv2_AllErrorsAtOnce.ats done 12.96 3.31 None ConcurrencySafety.28-race_reach_46-escape_racefree.i_BEv2_AllErrorsAtOnce.ats done 228.37 209.66 None ConcurrencySafety.36-apron_11-traces-max-simple_true.i_BEv2_AllErrorsAtOnce.ats done 59.25 47.83 None ConcurrencySafety.36-apron_16-traces-unprot2_true.i_BEv2_AllErrorsAtOnce.ats done 10.91 2.57 None ConcurrencySafety.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.81 156.07 None ConcurrencySafety.arithmetic_prog_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.56 164.98 None ConcurrencySafety.bigshot_s.i_BEv2_AllErrorsAtOnce.ats done 23.29 10.28 None ConcurrencySafety.bigshot_s2.i_BEv2_AllErrorsAtOnce.ats done 21.71 8.94 None ConcurrencySafety.char_generic_nvram_read_nvram_nvram_unlocked_ioctl.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.90 227.68 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 85.82 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.21 274.14 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.61 103.10 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 229.55 40.50 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.30 101.43 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 91.38 None ConcurrencySafety.chl-collitem-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.59 234.42 None ConcurrencySafety.chl-collitem-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 134.36 118.71 None ConcurrencySafety.chl-collitem-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.90 232.54 None ConcurrencySafety.chl-sre-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.32 228.09 None ConcurrencySafety.chl-sre-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 25.82 14.19 None ConcurrencySafety.chl-sre-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.02 233.65 None ConcurrencySafety.chl-time-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.05 243.99 None ConcurrencySafety.chl-time-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 34.87 22.84 None ConcurrencySafety.chl-time-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.20 236.47 None ConcurrencySafety.dekker.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.47 160.74 None ConcurrencySafety.lamport.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.92 158.76 None ConcurrencySafety.parallel-bakery-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.30 236.53 None ConcurrencySafety.parallel-bluetooth.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.84 222.52 None ConcurrencySafety.parallel-misc-2-unrolled-atomic.wvr.c_BEv2_AllErrorsAtOnce.ats done 58.28 47.33 None ConcurrencySafety.parallel-misc-2-unrolled.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 242.86 None ConcurrencySafety.parallel-misc-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.96 261.50 None ConcurrencySafety.parallel-simple-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 248.06 None ConcurrencySafety.parallel-ticket-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 130.65 113.75 None ConcurrencySafety.parallel-ticket-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.05 238.85 None ConcurrencySafety.parallel-ticket-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 260.27 None ConcurrencySafety.peterson.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.19 245.39 None ConcurrencySafety.popl20-bad-ring-nondet.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.76 200.51 None ConcurrencySafety.popl20-more-min-le-max.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.56 109.56 None ConcurrencySafety.popl20-simple-array-sum.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.74 205.85 None ConcurrencySafety.race-1_1-join.i_BEv2_AllErrorsAtOnce.ats done 180.29 164.78 None ConcurrencySafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.47 111.04 None ConcurrencySafety.read_write_lock-1-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.62 144.69 None ConcurrencySafety.read_write_lock-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.11 195.76 None ConcurrencySafety.rfi000_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.22 250.86 None ConcurrencySafety.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 187.39 21.95 None ConcurrencySafety.rfi002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.49 183.23 None ConcurrencySafety.rfi003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.04 242.04 None ConcurrencySafety.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.14 117.43 None ConcurrencySafety.safe001_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.35 200.86 None ConcurrencySafety.safe002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 232.67 None ConcurrencySafety.safe003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.51 126.51 None ConcurrencySafety.safe004_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.47 141.53 None ConcurrencySafety.safe005_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.42 139.88 None ConcurrencySafety.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 259.28 None ConcurrencySafety.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.27 141.91 None ConcurrencySafety.safe008_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.58 174.08 None ConcurrencySafety.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.62 161.85 None ConcurrencySafety.safe010_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.81 233.86 None ConcurrencySafety.safe011_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.01 179.78 None ConcurrencySafety.safe012_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.78 145.63 None ConcurrencySafety.safe013_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.60 154.84 None ConcurrencySafety.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.45 146.43 None ConcurrencySafety.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.57 137.97 None ConcurrencySafety.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.55 204.07 None ConcurrencySafety.safe017_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.44 190.25 None ConcurrencySafety.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.59 164.53 None ConcurrencySafety.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.57 207.48 None ConcurrencySafety.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.98 168.70 None ConcurrencySafety.safe021_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.33 163.17 None ConcurrencySafety.safe022_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.23 250.20 None ConcurrencySafety.safe023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.60 166.12 None ConcurrencySafety.safe024_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 163.84 None ConcurrencySafety.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.48 127.78 None ConcurrencySafety.safe026_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.46 153.61 None ConcurrencySafety.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.88 217.93 None ConcurrencySafety.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.75 144.39 None ConcurrencySafety.safe029_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.04 247.32 None ConcurrencySafety.safe030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.65 165.52 None ConcurrencySafety.safe031_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.02 165.11 None ConcurrencySafety.safe032_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.50 154.11 None ConcurrencySafety.safe033_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.19 251.68 None ConcurrencySafety.safe034_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.10 136.75 None ConcurrencySafety.safe035_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.98 224.80 None ConcurrencySafety.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.74 138.22 None ConcurrencySafety.safe036.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.12 252.05 None ConcurrencySafety.safe037.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.51 138.02 None ConcurrencySafety.security.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 264.80 None ConcurrencySafety.singleton_with-uninit-problems.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.82 146.57 None ConcurrencySafety.spaghetti.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.40 100.90 None ConcurrencySafety.stateful01-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.88 265.40 None ConcurrencySafety.sync01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 246.55 None ConcurrencySafety.szymanski.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.47 183.53 None ConcurrencySafety.test-easy6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.86 262.04 None ConcurrencySafety.test-easy8.wvr.c_BEv2_AllErrorsAtOnce.ats done 45.24 34.39 None ConcurrencySafety.test-semi1.wvr.c_BEv2_AllErrorsAtOnce.ats done 28.65 18.19 None ConcurrencySafety.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.25 250.53 None ConcurrencySafety.time_var_mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 245.92 None ConcurrencySafety.triangular-1.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 295.84 83.97 None --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 4 done 125222.63 5803.09 - Statistics: 1222 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 711