BENCHMARK INFORMATION benchmark definition: benchexec/og-proof-generation.xml name: og-proof-generation run sets: PetriOwickiGriesTestSuite-NoAssert date: Thu, 2024-01-11 18:10:31 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: skipped PetriOwickiGriesTestSuite-NoAssert Run set 3 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.PetriOwickiGriesTestSuite ${inputfile_name} false' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- MemSafety.04-mutex_02-simple_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.81 146.10 None MemSafety.04-mutex_04-munge_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 144.11 None MemSafety.04-mutex_05-lockfuns.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.62 138.39 None MemSafety.04-mutex_07-ps_nr.i_BEv2_AllErrorsAtOnce.ats done 8.75 4.18 None MemSafety.04-mutex_10-ptrmunge_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.60 146.55 None MemSafety.04-mutex_12-ptr_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.51 146.08 None MemSafety.04-mutex_15-funarg_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.41 140.97 None MemSafety.04-mutex_17-ps_add1_nr.i_BEv2_AllErrorsAtOnce.ats done 8.36 4.18 None MemSafety.04-mutex_18-glob_guards.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.46 141.50 None MemSafety.04-mutex_22-deref_read.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.57 140.09 None MemSafety.04-mutex_28-base_nr.i_BEv2_AllErrorsAtOnce.ats done 8.70 4.14 None MemSafety.04-mutex_36-trylock_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.86 140.00 None MemSafety.04-mutex_41-pt_rwlock.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 144.31 None MemSafety.04-mutex_42-trylock_2mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.62 146.18 None MemSafety.04-mutex_43-thread_create_nr.i_BEv2_AllErrorsAtOnce.ats done 8.57 3.34 None MemSafety.04-mutex_51-mutex_ptr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.17 145.10 None MemSafety.04-mutex_54-pt_rwlock_ww.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.85 143.89 None MemSafety.05-lval_ls_02-idx_nr.i_BEv2_AllErrorsAtOnce.ats done 9.11 4.01 None MemSafety.05-lval_ls_04-fld_nr.i_BEv2_AllErrorsAtOnce.ats done 7.85 5.32 None MemSafety.05-lval_ls_12-fldsense_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.94 137.63 None MemSafety.06-symbeq_05-funloop_hard2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.76 331.89 None MemSafety.06-symbeq_06-tricky_address1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.25 132.51 None MemSafety.06-symbeq_07-tricky_address2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.29 134.15 None MemSafety.06-symbeq_08-tricky_address3.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.49 126.92 None MemSafety.06-symbeq_11-equ_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.33 128.85 None MemSafety.06-symbeq_13-equ_proc_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.30 139.23 None MemSafety.06-symbeq_23-idxsense_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.04 137.83 None MemSafety.09-regions_02-list_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.52 164.36 None MemSafety.09-regions_04-list2_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.91 326.32 None MemSafety.10-synch_01-thread_unique.i_BEv2_AllErrorsAtOnce.ats done 9.49 5.80 None MemSafety.10-synch_03-two_unique.i_BEv2_AllErrorsAtOnce.ats done 16.74 9.77 None MemSafety.13-privatized_01-priv_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 136.24 None MemSafety.13-privatized_03-priv_inv.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.59 135.32 None MemSafety.13-privatized_04-priv_multi_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.87 133.96 None MemSafety.13-privatized_18-first-reads_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.51 134.03 None MemSafety.13-privatized_18-first-reads_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.59 132.51 None MemSafety.13-privatized_18-first-reads_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 135.14 None MemSafety.13-privatized_18-first-reads_unknown_2_neg.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.96 129.35 None MemSafety.13-privatized_18-first-reads_unknown_2_pos.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.79 138.46 None MemSafety.13-privatized_19-publish-precision_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.72 136.91 None MemSafety.13-privatized_19-publish-precision_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.50 137.18 None MemSafety.13-privatized_19-publish-precision_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.54 139.28 None MemSafety.13-privatized_19-publish-precision_unknown_2_neg.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.56 138.41 None MemSafety.13-privatized_19-publish-precision_unknown_2_pos.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.16 143.56 None MemSafety.13-privatized_20-publish-regression_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.05 134.09 None MemSafety.13-privatized_24-multiple-protecting_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.60 138.46 None MemSafety.13-privatized_25-struct_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.95 138.54 None MemSafety.13-privatized_27-multiple-protecting2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.92 127.36 None MemSafety.13-privatized_29-multiple-protecting2-vesal_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.72 95.94 None MemSafety.13-privatized_30-traces-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.51 101.74 None MemSafety.13-privatized_31-traces-mine-vs-mutex_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.39 104.27 None MemSafety.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.89 101.66 None MemSafety.13-privatized_33-traces-v-matters_true.i_BEv2_AllErrorsAtOnce.ats done 10.58 7.15 None MemSafety.13-privatized_34-traces-minepp-L-needs-to-be-um_true.i_BEv2_AllErrorsAtOnce.ats done 10.44 6.93 None MemSafety.13-privatized_35-traces-ex-2_true.i_BEv2_AllErrorsAtOnce.ats done 9.67 6.15 None MemSafety.13-privatized_36-traces-ex-3_true.i_BEv2_AllErrorsAtOnce.ats done 9.32 5.92 None MemSafety.13-privatized_37-traces-ex-4_true.i_BEv2_AllErrorsAtOnce.ats done 8.25 5.32 None MemSafety.13-privatized_38-traces-ex-4-switch_true.i_BEv2_AllErrorsAtOnce.ats done 8.22 5.63 None MemSafety.13-privatized_40-traces-ex-6_true.i_BEv2_AllErrorsAtOnce.ats done 10.31 6.67 None MemSafety.13-privatized_41-traces-ex-7_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 8.60 6.03 None MemSafety.13-privatized_41-traces-ex-7_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 9.64 6.54 None MemSafety.13-privatized_42-traces-ex-mini_true.i_BEv2_AllErrorsAtOnce.ats done 10.12 6.49 None MemSafety.13-privatized_44-traces-mine2_true.i_BEv2_AllErrorsAtOnce.ats done 9.35 5.87 None MemSafety.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.i_BEv2_AllErrorsAtOnce.ats done 8.55 5.97 None MemSafety.13-privatized_46-refine-protected1_true.i_BEv2_AllErrorsAtOnce.ats done 8.75 6.35 None MemSafety.13-privatized_47-refine-protected2_true.i_BEv2_AllErrorsAtOnce.ats done 6.60 5.71 None MemSafety.13-privatized_52-refine-protected-loop2-small_true.i_BEv2_AllErrorsAtOnce.ats done 8.44 5.33 None MemSafety.13-privatized_57-singlethreaded-unlock_true.i_BEv2_AllErrorsAtOnce.ats done 9.64 5.03 None MemSafety.13-privatized_58-singlethreaded-lock_true.i_BEv2_AllErrorsAtOnce.ats done 8.73 5.12 None MemSafety.13-privatized_66-mine-W-init_true.i_BEv2_AllErrorsAtOnce.ats done 8.24 5.14 None MemSafety.13-privatized_67-pthread_cond_wait_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.87 130.77 None MemSafety.13-privatized_67-pthread_cond_wait_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.19 126.28 None MemSafety.13-privatized_67-pthread_cond_wait_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.71 135.61 None MemSafety.13-privatized_68-pfscan_protected_loop_minimal_interval_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.84 132.15 None MemSafety.13-privatized_69-refine-protected-loop-interval_true.i_BEv2_AllErrorsAtOnce.ats done 9.19 6.66 None MemSafety.18_read_write_lock-pthread.i_BEv2_AllErrorsAtOnce.ats done 9.25 8.09 None MemSafety.18_read_write_lock.i_BEv2_AllErrorsAtOnce.ats done 8.38 7.30 None MemSafety.36-apron_11-traces-max-simple_true.i_BEv2_AllErrorsAtOnce.ats done 9.71 7.60 None MemSafety.36-apron_16-traces-unprot2_true.i_BEv2_AllErrorsAtOnce.ats done 9.56 6.64 None MemSafety.36-apron_17-traces-rpb-litmus_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 8.83 5.71 None MemSafety.36-apron_17-traces-rpb-litmus_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 10.03 6.20 None MemSafety.36-apron_21-traces-cluster-based_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.12 132.80 None MemSafety.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.i_BEv2_AllErrorsAtOnce.ats done 11.30 7.34 None MemSafety.36-apron_41-threadenter-no-locals_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 7.28 5.36 None MemSafety.36-apron_41-threadenter-no-locals_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 8.80 6.24 None MemSafety.arithmetic_prog_bad.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.53 138.01 None MemSafety.arithmetic_prog_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.62 132.29 None MemSafety.bench-exp1x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.60 130.94 None MemSafety.bench-exp2x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.23 136.22 None MemSafety.bench-exp2x4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.53 139.14 None MemSafety.bench-exp2x6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.55 139.36 None MemSafety.bench-exp2x9.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.93 131.79 None MemSafety.bench-exp3x3-opt.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.82 131.30 None MemSafety.bench-exp3x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.84 128.02 None MemSafety.bigshot_s.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.38 124.64 None MemSafety.bigshot_s2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 137.23 None MemSafety.chl-collitem-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.24 124.90 None MemSafety.chl-collitem-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 131.55 None MemSafety.chl-collitem-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 127.66 None MemSafety.chl-exp-term-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 140.26 None MemSafety.chl-exp-term-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 126.40 None MemSafety.chl-file-item-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 142.64 None MemSafety.chl-file-item-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.91 138.62 None MemSafety.chl-file-item-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.10 134.77 None MemSafety.chl-match-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.93 137.28 None MemSafety.chl-match-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.70 142.57 None MemSafety.chl-match-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.10 138.06 None MemSafety.chl-simpl-str-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.83 141.03 None MemSafety.chl-simpl-str-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.41 139.95 None MemSafety.chl-simpl-str-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.98 153.67 None MemSafety.chl-sre-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.48 132.84 None MemSafety.chl-sre-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.58 154.58 None MemSafety.chl-sre-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 150.91 None MemSafety.chl-time-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.48 148.07 None MemSafety.chl-time-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.30 154.54 None MemSafety.chl-time-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.05 151.42 None MemSafety.circular_buffer_bad.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.91 145.52 None MemSafety.circular_buffer_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.38 147.75 None MemSafety.clever.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.38 150.42 None MemSafety.dekker.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.46 149.91 None MemSafety.fib_safe-10.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.69 148.49 None MemSafety.fib_safe-11.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.41 147.48 None MemSafety.fib_safe-12.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.54 146.53 None MemSafety.fib_safe-5.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.24 144.38 None MemSafety.fib_safe-6.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.73 142.84 None MemSafety.fib_safe-7.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.76 154.97 None MemSafety.fib_unsafe-10.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.33 143.17 None MemSafety.fib_unsafe-11.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.44 147.11 None MemSafety.fib_unsafe-12.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.62 153.21 None MemSafety.fib_unsafe-5.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 151.83 None MemSafety.fib_unsafe-6.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.86 148.40 None MemSafety.fib_unsafe-7.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.26 153.29 None MemSafety.fibonacci.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.62 147.80 None MemSafety.lamport.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.35 154.46 None MemSafety.lazy01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.50 145.39 None MemSafety.mix000.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.30 147.31 None MemSafety.mix000.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.74 143.58 None MemSafety.mix001.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 154.45 None MemSafety.mix001.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.17 151.59 None MemSafety.mix002.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.29 142.57 None MemSafety.mix002.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.41 150.13 None MemSafety.mix003.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.05 149.87 None MemSafety.mix003_power.opt_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 149.46 None MemSafety.mix004.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.74 146.63 None MemSafety.mix004.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.61 149.93 None MemSafety.mix005.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 143.23 None MemSafety.mix005_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.30 156.78 None MemSafety.mix005_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.04 144.20 None MemSafety.mix006.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.73 144.95 None MemSafety.mix006_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 145.58 None MemSafety.mix006_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.93 138.90 None MemSafety.mix007.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.07 145.30 None MemSafety.mix007.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.83 148.39 None MemSafety.mix008.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.39 147.74 None MemSafety.mix008_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.89 147.46 None MemSafety.mix008_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 142.89 None MemSafety.mix009.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.06 140.40 None MemSafety.mix009.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 140.71 None MemSafety.mix010.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.80 136.57 None MemSafety.mix010.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.35 136.54 None MemSafety.mix011.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.58 134.45 None MemSafety.mix011_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.43 134.56 None MemSafety.mix011_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.00 131.30 None MemSafety.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.04 133.50 None MemSafety.mix012_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.23 125.44 None MemSafety.mix013.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.26 129.27 None MemSafety.mix013.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.01 128.85 None MemSafety.mix014.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.07 132.76 None MemSafety.mix014_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.31 133.18 None MemSafety.mix014_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.35 142.61 None MemSafety.mix015.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.23 139.47 None MemSafety.mix015.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 145.31 None MemSafety.mix016.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.50 143.96 None MemSafety.mix016_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.52 138.81 None MemSafety.mix016_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.95 146.75 None MemSafety.mix017.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.96 143.53 None MemSafety.mix017_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.31 140.98 None MemSafety.mix017_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.87 144.44 None MemSafety.mix018.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.55 142.88 None MemSafety.mix018_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.64 154.57 None MemSafety.mix018_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.64 159.49 None MemSafety.mix019.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.56 147.15 None MemSafety.mix019_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.57 145.53 None MemSafety.mix019_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.34 147.61 None MemSafety.mix020.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.42 155.57 None MemSafety.mix020.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.88 154.96 None MemSafety.mix021.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.68 144.96 None MemSafety.mix021_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.03 145.92 None MemSafety.mix021_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.86 147.98 None MemSafety.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.34 146.00 None MemSafety.mix022_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 145.66 None MemSafety.mix023_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 148.05 None MemSafety.mix023_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 147.70 None MemSafety.mix023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.07 146.33 None MemSafety.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 148.77 None MemSafety.mix024_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 150.47 None MemSafety.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.14 148.20 None MemSafety.mix025_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 148.14 None MemSafety.mix026.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.01 152.32 None MemSafety.mix026_power.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.49 156.30 None MemSafety.mix026_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.96 151.61 None MemSafety.mix027_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.98 147.99 None MemSafety.mix027_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.92 155.31 None MemSafety.mix027_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.23 149.13 None MemSafety.mix028_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.44 148.98 None MemSafety.mix028_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.95 150.96 None MemSafety.mix028_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.27 148.32 None MemSafety.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.14 143.71 None MemSafety.mix029_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.35 148.18 None MemSafety.mix030_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.86 146.81 None MemSafety.mix030_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.20 144.43 None MemSafety.mix030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.91 151.45 None MemSafety.mix031.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 146.03 None MemSafety.mix031.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 150.10 None MemSafety.mix032.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.26 149.82 None MemSafety.mix032.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.65 146.69 None MemSafety.mix033.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.07 154.43 None MemSafety.mix033_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 152.16 None MemSafety.mix033_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.65 151.55 None MemSafety.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 141.95 None MemSafety.mix034_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.26 142.68 None MemSafety.mix035.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 139.34 None MemSafety.mix035_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.18 133.91 None MemSafety.mix035_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.09 136.59 None MemSafety.mix036.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.91 130.90 None MemSafety.mix036_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.80 141.46 None MemSafety.mix036_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.39 130.32 None MemSafety.mix037.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.33 144.16 None MemSafety.mix037_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.57 140.64 None MemSafety.mix037_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.57 138.72 None MemSafety.mix038.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.24 134.79 None MemSafety.mix038_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 137.06 None MemSafety.mix038_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.59 135.95 None MemSafety.mix039.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.31 139.87 None MemSafety.mix039.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.58 134.43 None MemSafety.mix040.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.04 129.61 None MemSafety.mix040_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.55 141.36 None MemSafety.mix040_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 141.87 None MemSafety.mix041_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.51 132.97 None MemSafety.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.12 138.35 None MemSafety.mix042.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 141.91 None MemSafety.mix042.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.14 141.02 None MemSafety.mix043.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 139.14 None MemSafety.mix043.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 142.00 None MemSafety.mix044.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.99 143.29 None MemSafety.mix044_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.25 147.96 None MemSafety.mix044_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.64 145.18 None MemSafety.mix045_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.66 140.98 None MemSafety.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 143.51 None MemSafety.mix046.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.62 140.39 None MemSafety.mix046.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.13 141.89 None MemSafety.mix047_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.73 136.41 None MemSafety.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.70 145.93 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 TIMEOUT 300.26 138.60 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 TIMEOUT 301.69 142.41 None MemSafety.mix050.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.26 147.99 None MemSafety.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.52 144.28 None MemSafety.mix051_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.91 136.75 None MemSafety.mix051_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.17 143.92 None MemSafety.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.97 143.17 None MemSafety.mix052_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.26 149.80 None MemSafety.mix052_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.59 148.80 None MemSafety.mix053.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.91 142.95 None MemSafety.mix053_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.00 136.02 None MemSafety.mix053_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.87 141.30 None MemSafety.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.26 139.50 None MemSafety.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 135.52 None MemSafety.mix055.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.54 130.56 None MemSafety.mix055_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.74 133.90 None MemSafety.mix055_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 133.20 None MemSafety.mix056_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.71 144.66 None MemSafety.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.92 140.22 None MemSafety.mix057_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.47 136.46 None MemSafety.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.56 136.38 None MemSafety.mult-comm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.09 136.12 None MemSafety.mult-dist.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.93 134.08 None MemSafety.mult-flipped-dist.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.92 132.53 None MemSafety.parallel-bakery-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 129.74 None MemSafety.parallel-bakery-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.49 130.81 None MemSafety.parallel-bakery-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 135.90 None MemSafety.parallel-bluetooth.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.23 131.10 None MemSafety.parallel-misc-2-unrolled-atomic.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.76 123.09 None MemSafety.parallel-misc-2-unrolled.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.91 131.08 None MemSafety.parallel-misc-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.70 130.03 None MemSafety.parallel-misc-3-extended.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.24 134.22 None MemSafety.parallel-misc-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.66 132.56 None MemSafety.parallel-misc-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 133.07 None MemSafety.parallel-misc-5.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 131.53 None MemSafety.parallel-simple-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.07 133.63 None MemSafety.parallel-ticket-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.56 133.11 None MemSafety.parallel-ticket-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 133.88 None MemSafety.parallel-ticket-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.33 128.31 None MemSafety.parallel-ticket-5.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 130.84 None MemSafety.parallel-ticket-6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.43 128.63 None MemSafety.peterson.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.52 131.85 None MemSafety.popl20-bad-threaded-sum-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.41 127.82 None MemSafety.popl20-counter-determinism.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.20 130.31 None MemSafety.popl20-difference-det.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 129.99 None MemSafety.popl20-figure1-alt.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.79 130.50 None MemSafety.popl20-figure1.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 130.26 None MemSafety.popl20-figure3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.85 135.99 None MemSafety.popl20-more-nonblocking-counter-alt2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.65 132.54 None MemSafety.popl20-mult-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 133.64 None MemSafety.popl20-mult-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.07 136.00 None MemSafety.popl20-nonblocking-cntr-alt.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.65 131.73 None MemSafety.popl20-nonblocking-cntr.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.46 129.24 None MemSafety.popl20-proofs-counter-add-4-semi-Q67.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.44 127.85 None MemSafety.popl20-threaded-sum-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.41 124.71 None MemSafety.pthread-demo-datarace-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.01 128.62 None MemSafety.pthread-demo-datarace-3.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 130.47 None MemSafety.qw2004-2b.i_BEv2_AllErrorsAtOnce.ats done 8.94 6.52 None MemSafety.race-1_1-join.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.24 125.00 None MemSafety.race-1_2-join.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.91 127.93 None MemSafety.race-1_3-join.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.29 129.61 None MemSafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.59 132.58 None MemSafety.read_write_lock-1-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.22 134.87 None MemSafety.read_write_lock-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.54 134.92 None MemSafety.read_write_lock-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.97 139.27 None MemSafety.rfi000_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.82 135.24 None MemSafety.rfi000_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.42 137.91 None MemSafety.rfi000_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 133.47 None MemSafety.rfi001_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.43 131.04 None MemSafety.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.64 128.87 None MemSafety.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.61 125.13 None MemSafety.rfi002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.28 127.55 None MemSafety.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.66 124.73 None MemSafety.rfi003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.55 127.42 None MemSafety.rfi004.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.50 125.72 None MemSafety.rfi005.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.22 127.54 None MemSafety.rfi006_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.00 130.99 None MemSafety.rfi006_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.92 134.57 None MemSafety.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.67 140.46 None MemSafety.rfi006_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.53 137.32 None MemSafety.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.58 133.97 None MemSafety.rfi007_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.96 129.55 None MemSafety.rfi008.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.16 129.65 None MemSafety.rfi008.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.58 130.80 None MemSafety.rfi009_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 132.74 None MemSafety.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.09 130.48 None MemSafety.rfi009_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.08 131.05 None MemSafety.rfi010.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 128.05 None MemSafety.safe000_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.84 127.03 None MemSafety.safe000_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.87 130.78 None MemSafety.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.04 137.12 None MemSafety.safe000_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 126.30 None MemSafety.safe001_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.87 127.45 None MemSafety.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.61 133.57 None MemSafety.safe001_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 125.19 None MemSafety.safe001_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.22 131.21 None MemSafety.safe002_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.19 127.94 None MemSafety.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.07 132.99 None MemSafety.safe002_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 130.23 None MemSafety.safe002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.81 132.50 None MemSafety.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 131.22 None MemSafety.safe003_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.95 134.85 None MemSafety.safe003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.37 132.05 None MemSafety.safe004_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.58 130.98 None MemSafety.safe004_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.78 121.75 None MemSafety.safe004_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.54 127.35 None MemSafety.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.79 133.04 None MemSafety.safe005_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.52 132.69 None MemSafety.safe006_power.oepc-thin000_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.69 131.57 None MemSafety.safe006_power.opt-thin000_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.24 127.18 None MemSafety.safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.15 144.50 None MemSafety.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.43 122.17 None MemSafety.safe007_power.oepc-thin001_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.98 132.16 None MemSafety.safe007_power.opt-thin001_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 150.76 None MemSafety.safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.31 129.94 None MemSafety.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.71 128.01 None MemSafety.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.53 130.09 None MemSafety.safe008_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 127.11 None MemSafety.safe008_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.47 131.26 None MemSafety.safe009_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.11 127.62 None MemSafety.safe009_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.52 131.54 None MemSafety.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.63 132.64 None MemSafety.safe009_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.73 134.49 None MemSafety.safe009_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.39 128.46 None MemSafety.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.97 125.12 None MemSafety.safe010_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.34 143.93 None MemSafety.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.25 128.40 None MemSafety.safe011_power.opt_pso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.52 132.72 None MemSafety.safe011_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.41 132.04 None MemSafety.safe012_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.27 131.63 None MemSafety.safe012_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.21 135.38 None MemSafety.safe012_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.01 129.35 None MemSafety.safe012_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.72 131.36 None MemSafety.safe012_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.23 128.21 None MemSafety.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.66 134.64 None MemSafety.safe013_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.03 133.35 None MemSafety.safe014_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.15 133.77 None MemSafety.safe014_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.43 128.08 None MemSafety.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.60 132.63 None MemSafety.safe014_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.61 129.40 None MemSafety.safe014_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.38 127.02 None MemSafety.safe015_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.84 124.25 None MemSafety.safe015_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.50 121.12 None MemSafety.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.64 128.14 None MemSafety.safe015_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.70 122.02 None MemSafety.safe016_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.71 136.20 None MemSafety.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.29 132.26 None MemSafety.safe016_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 133.74 None MemSafety.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.43 129.02 None MemSafety.safe017_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.17 123.48 None MemSafety.safe018_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.78 123.74 None MemSafety.safe018_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.27 136.15 None MemSafety.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.39 128.19 None MemSafety.safe018_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.32 126.09 None MemSafety.safe018_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.55 123.70 None MemSafety.safe019_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.76 156.66 None MemSafety.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.31 124.00 None MemSafety.safe019_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.08 199.23 None MemSafety.safe020_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.38 118.96 None MemSafety.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.73 122.07 None MemSafety.safe020_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.93 131.62 None MemSafety.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.25 121.96 None MemSafety.safe021_power.opt_pso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.50 132.29 None MemSafety.safe021_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.76 130.50 None MemSafety.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.14 124.72 None MemSafety.safe022_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.18 143.67 None MemSafety.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 135.72 None MemSafety.safe023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 130.93 None MemSafety.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.48 126.02 None MemSafety.safe024_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.57 130.07 None MemSafety.safe025_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.25 117.40 None MemSafety.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 127.03 None MemSafety.safe025_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 121.01 None MemSafety.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.98 127.54 None MemSafety.safe026_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 120.91 None MemSafety.safe027_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.00 165.51 None MemSafety.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.23 133.47 None MemSafety.safe027_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.84 140.56 None MemSafety.safe028_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.28 123.28 None MemSafety.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.35 131.57 None MemSafety.safe028_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.24 130.31 None MemSafety.safe029_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 124.90 None MemSafety.safe029_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.27 129.24 None MemSafety.safe029_tso.i_BEv2_AllErrorsAtOnce.ats done 145.93 90.86 None MemSafety.safe030_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.39 125.53 None MemSafety.safe030_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.47 127.33 None MemSafety.safe030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.13 126.63 None MemSafety.safe031_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.65 125.42 None MemSafety.safe031_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.11 128.75 None MemSafety.safe031_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.35 125.53 None MemSafety.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 132.59 None MemSafety.safe032_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.85 131.77 None MemSafety.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.57 121.65 None MemSafety.safe033_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.37 138.89 None MemSafety.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.44 124.05 None MemSafety.safe034_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.55 127.83 None MemSafety.safe035_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.26 128.61 None MemSafety.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.58 128.20 None MemSafety.safe036.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.30 134.84 None MemSafety.safe037.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.22 114.77 None MemSafety.security.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.31 109.22 None MemSafety.singleton.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.64 148.30 None MemSafety.singleton_with-uninit-problems.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.05 151.34 None MemSafety.spaghetti.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 108.38 None MemSafety.stack-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.71 207.33 None MemSafety.stack_longer-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.70 220.84 None MemSafety.stack_longest-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 211.30 None MemSafety.stateful01-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.92 111.42 None MemSafety.stateful01-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.50 114.31 None MemSafety.sync01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.19 114.50 None MemSafety.szymanski.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.51 117.31 None MemSafety.test-easy1.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.81 112.81 None MemSafety.test-easy10.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.28 110.52 None MemSafety.test-easy11.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.90 109.71 None MemSafety.test-easy6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.66 108.41 None MemSafety.test-easy7.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.26 103.99 None MemSafety.test-easy8.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.05 108.23 None MemSafety.test-hard1.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.52 112.05 None MemSafety.test-semi1.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.25 111.81 None MemSafety.thin002_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.99 144.35 None MemSafety.thin002_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.25 158.24 None MemSafety.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.93 121.91 None MemSafety.thin002_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.32 157.64 None MemSafety.time_var_mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.69 127.34 None MemSafety.triangular-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.04 126.42 None MemSafety.triangular-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.85 125.46 None MemSafety.triangular-longer-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 130.19 None MemSafety.triangular-longer-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.04 128.29 None MemSafety.triangular-longest-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.56 132.58 None MemSafety.triangular-longest-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.08 131.21 None ConcurrencySafety.13-privatized_01-priv_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.91 132.20 None ConcurrencySafety.13-privatized_04-priv_multi_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.24 135.26 None ConcurrencySafety.13-privatized_18-first-reads_true.i_BEv2_AllErrorsAtOnce.ats done 26.51 18.66 None ConcurrencySafety.13-privatized_19-publish-precision_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.81 128.54 None ConcurrencySafety.13-privatized_20-publish-regression_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.63 124.88 None ConcurrencySafety.13-privatized_24-multiple-protecting_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 125.80 None ConcurrencySafety.13-privatized_25-struct_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.73 134.47 None ConcurrencySafety.13-privatized_27-multiple-protecting2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.39 133.50 None ConcurrencySafety.13-privatized_29-multiple-protecting2-vesal_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.98 136.96 None ConcurrencySafety.13-privatized_30-traces-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 131.15 None ConcurrencySafety.13-privatized_31-traces-mine-vs-mutex_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.08 131.17 None ConcurrencySafety.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.61 127.07 None ConcurrencySafety.13-privatized_33-traces-v-matters_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.01 136.98 None ConcurrencySafety.13-privatized_34-traces-minepp-L-needs-to-be-um_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.30 131.34 None ConcurrencySafety.13-privatized_35-traces-ex-2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.40 128.95 None ConcurrencySafety.13-privatized_36-traces-ex-3_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.73 129.09 None ConcurrencySafety.13-privatized_37-traces-ex-4_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.27 124.08 None ConcurrencySafety.13-privatized_38-traces-ex-4-switch_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.05 124.81 None ConcurrencySafety.13-privatized_40-traces-ex-6_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.49 123.59 None ConcurrencySafety.13-privatized_42-traces-ex-mini_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.46 123.23 None ConcurrencySafety.13-privatized_44-traces-mine2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.56 131.68 None ConcurrencySafety.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.52 119.93 None ConcurrencySafety.13-privatized_46-refine-protected1_true.i_BEv2_AllErrorsAtOnce.ats done 24.83 19.38 None ConcurrencySafety.13-privatized_47-refine-protected2_true.i_BEv2_AllErrorsAtOnce.ats done 68.08 45.72 None ConcurrencySafety.13-privatized_52-refine-protected-loop2-small_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.23 122.84 None ConcurrencySafety.13-privatized_57-singlethreaded-unlock_true.i_BEv2_AllErrorsAtOnce.ats done 10.38 7.36 None ConcurrencySafety.13-privatized_58-singlethreaded-lock_true.i_BEv2_AllErrorsAtOnce.ats done 12.57 7.93 None ConcurrencySafety.13-privatized_66-mine-W-init_true.i_BEv2_AllErrorsAtOnce.ats done 10.21 6.51 None ConcurrencySafety.13-privatized_69-refine-protected-loop-interval_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.52 125.44 None ConcurrencySafety.18_read_write_lock-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.94 122.54 None ConcurrencySafety.18_read_write_lock.i_BEv2_AllErrorsAtOnce.ats done 18.07 12.75 None ConcurrencySafety.28-race_reach_46-escape_racefree.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.10 122.22 None ConcurrencySafety.36-apron_11-traces-max-simple_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.32 123.12 None ConcurrencySafety.36-apron_16-traces-unprot2_true.i_BEv2_AllErrorsAtOnce.ats done 11.13 7.28 None ConcurrencySafety.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.08 121.52 None ConcurrencySafety.arithmetic_prog_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 121.70 None ConcurrencySafety.bigshot_s.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.18 122.63 None ConcurrencySafety.bigshot_s2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.24 121.57 None ConcurrencySafety.char_generic_nvram_read_nvram_nvram_unlocked_ioctl.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.02 311.50 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 119.40 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats done 34.07 26.34 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.66 118.04 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 173.93 80.03 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.51 114.33 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 156.56 None ConcurrencySafety.chl-collitem-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.44 133.44 None ConcurrencySafety.chl-collitem-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.15 120.54 None ConcurrencySafety.chl-collitem-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.91 123.17 None ConcurrencySafety.chl-sre-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.08 130.59 None ConcurrencySafety.chl-sre-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 108.55 57.51 None ConcurrencySafety.chl-sre-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.75 123.51 None ConcurrencySafety.chl-time-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 128.68 None ConcurrencySafety.chl-time-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 128.30 66.16 None ConcurrencySafety.chl-time-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.26 124.77 None ConcurrencySafety.dekker.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.84 121.19 None ConcurrencySafety.lamport.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.56 111.94 None ConcurrencySafety.parallel-bakery-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.79 128.42 None ConcurrencySafety.parallel-bluetooth.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.02 119.97 None ConcurrencySafety.parallel-misc-2-unrolled-atomic.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.99 127.39 None ConcurrencySafety.parallel-misc-2-unrolled.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.63 116.66 None ConcurrencySafety.parallel-misc-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.68 116.16 None ConcurrencySafety.parallel-simple-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.80 122.57 None ConcurrencySafety.parallel-ticket-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.95 114.88 None ConcurrencySafety.parallel-ticket-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.26 116.08 None ConcurrencySafety.parallel-ticket-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.76 339.93 None ConcurrencySafety.peterson.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.50 119.26 None ConcurrencySafety.popl20-bad-ring-nondet.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.38 129.06 None ConcurrencySafety.popl20-more-min-le-max.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.47 114.71 None ConcurrencySafety.popl20-simple-array-sum.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.75 140.74 None ConcurrencySafety.race-1_1-join.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.99 122.45 None ConcurrencySafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.64 126.81 None ConcurrencySafety.read_write_lock-1-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.07 130.30 None ConcurrencySafety.read_write_lock-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.03 126.93 None ConcurrencySafety.rfi000_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 123.97 None ConcurrencySafety.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 163.83 69.51 None ConcurrencySafety.rfi002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.93 126.05 None ConcurrencySafety.rfi003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.93 122.03 None ConcurrencySafety.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.06 121.49 None ConcurrencySafety.safe001_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.48 120.42 None ConcurrencySafety.safe002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.04 123.22 None ConcurrencySafety.safe003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.14 122.68 None ConcurrencySafety.safe004_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.67 119.26 None ConcurrencySafety.safe005_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.66 125.76 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 303.04 131.18 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.85 118.47 None ConcurrencySafety.safe008_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.95 125.91 None ConcurrencySafety.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.31 125.43 None ConcurrencySafety.safe010_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.54 135.47 None ConcurrencySafety.safe011_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.17 128.97 None ConcurrencySafety.safe012_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.17 123.21 None ConcurrencySafety.safe013_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.46 127.45 None ConcurrencySafety.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.80 124.81 None ConcurrencySafety.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.64 125.07 None ConcurrencySafety.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.77 132.70 None ConcurrencySafety.safe017_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.81 125.91 None ConcurrencySafety.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.10 130.16 None ConcurrencySafety.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 136.18 None ConcurrencySafety.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 126.82 None ConcurrencySafety.safe021_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 132.13 None ConcurrencySafety.safe022_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.61 141.13 None ConcurrencySafety.safe023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.38 134.65 None ConcurrencySafety.safe024_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.52 132.64 None ConcurrencySafety.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 130.86 None ConcurrencySafety.safe026_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.28 132.78 None ConcurrencySafety.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.90 131.03 None ConcurrencySafety.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.55 131.65 None ConcurrencySafety.safe029_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.32 131.69 None ConcurrencySafety.safe030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.81 123.35 None ConcurrencySafety.safe031_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.59 125.74 None ConcurrencySafety.safe032_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.80 129.07 None ConcurrencySafety.safe033_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.63 130.98 None ConcurrencySafety.safe034_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.43 121.91 None ConcurrencySafety.safe035_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.60 138.13 None ConcurrencySafety.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.43 119.36 None ConcurrencySafety.safe036.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.47 130.08 None ConcurrencySafety.safe037.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 122.89 None ConcurrencySafety.security.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 312.16 None ConcurrencySafety.singleton_with-uninit-problems.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.32 120.77 None ConcurrencySafety.spaghetti.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.47 119.47 None ConcurrencySafety.stateful01-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.47 116.63 None ConcurrencySafety.sync01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.14 112.25 None ConcurrencySafety.szymanski.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.84 108.68 None ConcurrencySafety.test-easy6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.84 105.31 None ConcurrencySafety.test-easy8.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 308.74 86.02 None ConcurrencySafety.test-semi1.wvr.c_BEv2_AllErrorsAtOnce.ats done 92.42 55.09 None ConcurrencySafety.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.71 80.87 None ConcurrencySafety.time_var_mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 317.48 62.56 None ConcurrencySafety.triangular-1.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 275.82 104.53 None --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 170071.32 5678.73 - NaiveOwickiGriesTestSuite-NoAssert Run set 4 of 4: skipped Statistics: 611 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 561