BENCHMARK INFORMATION benchmark definition: benchexec/og-proof-generation.xml name: og-proof-generation run sets: PetriOwickiGriesTestSuite-NoAssert date: Thu, 2024-01-11 13:57:53 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 done 12.96 5.33 None MemSafety.04-mutex_04-munge_nr.i_BEv2_AllErrorsAtOnce.ats done 15.70 7.12 None MemSafety.04-mutex_05-lockfuns.i_BEv2_AllErrorsAtOnce.ats done 16.94 8.16 None MemSafety.04-mutex_07-ps_nr.i_BEv2_AllErrorsAtOnce.ats done 9.41 4.13 None MemSafety.04-mutex_10-ptrmunge_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.20 264.15 None MemSafety.04-mutex_12-ptr_nr.i_BEv2_AllErrorsAtOnce.ats done 280.42 219.95 None MemSafety.04-mutex_15-funarg_nr.i_BEv2_AllErrorsAtOnce.ats done 19.03 9.61 None MemSafety.04-mutex_17-ps_add1_nr.i_BEv2_AllErrorsAtOnce.ats done 8.00 4.16 None MemSafety.04-mutex_18-glob_guards.i_BEv2_AllErrorsAtOnce.ats done 10.68 4.71 None MemSafety.04-mutex_22-deref_read.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.28 255.85 None MemSafety.04-mutex_28-base_nr.i_BEv2_AllErrorsAtOnce.ats done 7.29 4.35 None MemSafety.04-mutex_36-trylock_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.54 146.10 None MemSafety.04-mutex_41-pt_rwlock.i_BEv2_AllErrorsAtOnce.ats done 15.49 6.27 None MemSafety.04-mutex_42-trylock_2mutex.i_BEv2_AllErrorsAtOnce.ats done 24.73 13.54 None MemSafety.04-mutex_43-thread_create_nr.i_BEv2_AllErrorsAtOnce.ats done 8.01 3.10 None MemSafety.04-mutex_51-mutex_ptr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.12 256.31 None MemSafety.04-mutex_54-pt_rwlock_ww.i_BEv2_AllErrorsAtOnce.ats done 15.05 5.14 None MemSafety.05-lval_ls_02-idx_nr.i_BEv2_AllErrorsAtOnce.ats done 9.00 3.22 None MemSafety.05-lval_ls_04-fld_nr.i_BEv2_AllErrorsAtOnce.ats done 7.21 2.77 None MemSafety.05-lval_ls_12-fldsense_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.33 261.24 None MemSafety.06-symbeq_05-funloop_hard2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.76 259.46 None MemSafety.06-symbeq_06-tricky_address1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.07 121.64 None MemSafety.06-symbeq_07-tricky_address2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.75 256.41 None MemSafety.06-symbeq_08-tricky_address3.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.28 184.31 None MemSafety.06-symbeq_11-equ_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.90 141.50 None MemSafety.06-symbeq_13-equ_proc_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.80 158.67 None MemSafety.06-symbeq_23-idxsense_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.95 254.06 None MemSafety.09-regions_02-list_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.18 108.63 None MemSafety.09-regions_04-list2_nr.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.74 259.62 None MemSafety.10-synch_01-thread_unique.i_BEv2_AllErrorsAtOnce.ats done 8.79 2.32 None MemSafety.10-synch_03-two_unique.i_BEv2_AllErrorsAtOnce.ats done 10.20 2.81 None MemSafety.13-privatized_01-priv_nr_true.i_BEv2_AllErrorsAtOnce.ats done 69.00 43.09 None MemSafety.13-privatized_03-priv_inv.i_BEv2_AllErrorsAtOnce.ats done 17.51 5.23 None MemSafety.13-privatized_04-priv_multi_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.36 139.62 None MemSafety.13-privatized_18-first-reads_true.i_BEv2_AllErrorsAtOnce.ats done 21.26 8.35 None MemSafety.13-privatized_18-first-reads_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 18.33 6.79 None MemSafety.13-privatized_18-first-reads_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 19.24 7.07 None MemSafety.13-privatized_18-first-reads_unknown_2_neg.i_BEv2_AllErrorsAtOnce.ats done 19.41 7.38 None MemSafety.13-privatized_18-first-reads_unknown_2_pos.i_BEv2_AllErrorsAtOnce.ats done 18.64 6.80 None MemSafety.13-privatized_19-publish-precision_true.i_BEv2_AllErrorsAtOnce.ats done 20.63 8.72 None MemSafety.13-privatized_19-publish-precision_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 22.24 9.10 None MemSafety.13-privatized_19-publish-precision_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 23.02 9.82 None MemSafety.13-privatized_19-publish-precision_unknown_2_neg.i_BEv2_AllErrorsAtOnce.ats done 21.43 8.84 None MemSafety.13-privatized_19-publish-precision_unknown_2_pos.i_BEv2_AllErrorsAtOnce.ats done 22.94 8.97 None MemSafety.13-privatized_20-publish-regression_true.i_BEv2_AllErrorsAtOnce.ats done 35.37 20.65 None MemSafety.13-privatized_24-multiple-protecting_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 254.30 None MemSafety.13-privatized_25-struct_nr_true.i_BEv2_AllErrorsAtOnce.ats done 60.48 39.97 None MemSafety.13-privatized_27-multiple-protecting2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.38 255.24 None MemSafety.13-privatized_29-multiple-protecting2-vesal_true.i_BEv2_AllErrorsAtOnce.ats done 143.20 105.07 None MemSafety.13-privatized_30-traces-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 25.76 12.31 None MemSafety.13-privatized_31-traces-mine-vs-mutex_true.i_BEv2_AllErrorsAtOnce.ats done 44.97 25.35 None MemSafety.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 91.13 64.68 None MemSafety.13-privatized_33-traces-v-matters_true.i_BEv2_AllErrorsAtOnce.ats done 7.80 2.36 None MemSafety.13-privatized_34-traces-minepp-L-needs-to-be-um_true.i_BEv2_AllErrorsAtOnce.ats done 8.21 2.30 None MemSafety.13-privatized_35-traces-ex-2_true.i_BEv2_AllErrorsAtOnce.ats done 7.97 2.07 None MemSafety.13-privatized_36-traces-ex-3_true.i_BEv2_AllErrorsAtOnce.ats done 7.88 2.00 None MemSafety.13-privatized_37-traces-ex-4_true.i_BEv2_AllErrorsAtOnce.ats done 7.82 2.22 None MemSafety.13-privatized_38-traces-ex-4-switch_true.i_BEv2_AllErrorsAtOnce.ats done 8.00 2.25 None MemSafety.13-privatized_40-traces-ex-6_true.i_BEv2_AllErrorsAtOnce.ats done 7.56 2.20 None MemSafety.13-privatized_41-traces-ex-7_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 8.26 2.39 None MemSafety.13-privatized_41-traces-ex-7_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 8.24 2.78 None MemSafety.13-privatized_42-traces-ex-mini_true.i_BEv2_AllErrorsAtOnce.ats done 8.31 2.63 None MemSafety.13-privatized_44-traces-mine2_true.i_BEv2_AllErrorsAtOnce.ats done 8.79 2.70 None MemSafety.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.i_BEv2_AllErrorsAtOnce.ats done 8.35 2.83 None MemSafety.13-privatized_46-refine-protected1_true.i_BEv2_AllErrorsAtOnce.ats done 7.32 2.30 None MemSafety.13-privatized_47-refine-protected2_true.i_BEv2_AllErrorsAtOnce.ats done 7.11 2.39 None MemSafety.13-privatized_52-refine-protected-loop2-small_true.i_BEv2_AllErrorsAtOnce.ats done 7.75 2.43 None MemSafety.13-privatized_57-singlethreaded-unlock_true.i_BEv2_AllErrorsAtOnce.ats done 7.91 3.07 None MemSafety.13-privatized_58-singlethreaded-lock_true.i_BEv2_AllErrorsAtOnce.ats done 8.02 2.91 None MemSafety.13-privatized_66-mine-W-init_true.i_BEv2_AllErrorsAtOnce.ats done 6.91 2.71 None MemSafety.13-privatized_67-pthread_cond_wait_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.80 172.77 None MemSafety.13-privatized_67-pthread_cond_wait_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.97 176.66 None MemSafety.13-privatized_67-pthread_cond_wait_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.22 174.40 None MemSafety.13-privatized_68-pfscan_protected_loop_minimal_interval_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.10 96.10 None MemSafety.13-privatized_69-refine-protected-loop-interval_true.i_BEv2_AllErrorsAtOnce.ats done 8.24 3.17 None MemSafety.18_read_write_lock-pthread.i_BEv2_AllErrorsAtOnce.ats done 7.57 2.91 None MemSafety.18_read_write_lock.i_BEv2_AllErrorsAtOnce.ats done 7.29 2.54 None MemSafety.36-apron_11-traces-max-simple_true.i_BEv2_AllErrorsAtOnce.ats done 8.18 2.96 None MemSafety.36-apron_16-traces-unprot2_true.i_BEv2_AllErrorsAtOnce.ats done 7.68 2.43 None MemSafety.36-apron_17-traces-rpb-litmus_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 8.35 2.86 None MemSafety.36-apron_17-traces-rpb-litmus_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 8.39 2.85 None MemSafety.36-apron_21-traces-cluster-based_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.55 94.89 None MemSafety.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.i_BEv2_AllErrorsAtOnce.ats done 8.97 3.01 None MemSafety.36-apron_41-threadenter-no-locals_unknown_1_neg.i_BEv2_AllErrorsAtOnce.ats done 7.68 2.44 None MemSafety.36-apron_41-threadenter-no-locals_unknown_1_pos.i_BEv2_AllErrorsAtOnce.ats done 8.06 2.36 None MemSafety.arithmetic_prog_bad.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.31 179.38 None MemSafety.arithmetic_prog_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.82 197.82 None MemSafety.bench-exp1x3.wvr.c_BEv2_AllErrorsAtOnce.ats done 42.23 23.87 None MemSafety.bench-exp2x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.31 62.11 None MemSafety.bench-exp2x4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 60.31 None MemSafety.bench-exp2x6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.58 126.87 None MemSafety.bench-exp2x9.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 311.35 58.42 None MemSafety.bench-exp3x3-opt.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.96 227.99 None MemSafety.bench-exp3x3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.62 49.18 None MemSafety.bigshot_s.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.45 269.20 None MemSafety.bigshot_s2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.96 269.67 None MemSafety.chl-collitem-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.34 138.69 None MemSafety.chl-collitem-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 45.01 26.22 None MemSafety.chl-collitem-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.20 171.03 None MemSafety.chl-exp-term-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.64 62.73 None MemSafety.chl-exp-term-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.20 256.41 None MemSafety.chl-file-item-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.60 67.92 None MemSafety.chl-file-item-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.00 208.79 None MemSafety.chl-file-item-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.18 94.71 None MemSafety.chl-match-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.36 82.21 None MemSafety.chl-match-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.74 254.53 None MemSafety.chl-match-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.48 85.37 None MemSafety.chl-simpl-str-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 308.39 73.04 None MemSafety.chl-simpl-str-symm.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.86 252.26 None MemSafety.chl-simpl-str-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 309.04 65.73 None MemSafety.chl-sre-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.70 142.39 None MemSafety.chl-sre-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 29.81 18.94 None MemSafety.chl-sre-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.34 192.11 None MemSafety.chl-time-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.01 173.64 None MemSafety.chl-time-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 36.42 18.79 None MemSafety.chl-time-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.22 186.09 None MemSafety.circular_buffer_bad.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 307.00 43.46 None MemSafety.circular_buffer_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 308.16 44.20 None MemSafety.clever.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.53 142.38 None MemSafety.dekker.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.64 177.96 None MemSafety.fib_safe-10.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.72 159.95 None MemSafety.fib_safe-11.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.84 149.45 None MemSafety.fib_safe-12.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.91 169.32 None MemSafety.fib_safe-5.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.66 154.37 None MemSafety.fib_safe-6.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.47 164.54 None MemSafety.fib_safe-7.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.62 156.05 None MemSafety.fib_unsafe-10.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.70 163.70 None MemSafety.fib_unsafe-11.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.75 160.22 None MemSafety.fib_unsafe-12.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.93 161.27 None MemSafety.fib_unsafe-5.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.94 173.44 None MemSafety.fib_unsafe-6.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.97 169.23 None MemSafety.fib_unsafe-7.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.97 183.98 None MemSafety.fibonacci.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.93 263.19 None MemSafety.lamport.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.31 213.30 None MemSafety.lazy01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.23 110.02 None MemSafety.mix000.oepc.i_BEv2_AllErrorsAtOnce.ats done 14.26 4.21 None MemSafety.mix000.opt.i_BEv2_AllErrorsAtOnce.ats done 14.67 4.54 None MemSafety.mix001.oepc.i_BEv2_AllErrorsAtOnce.ats done 263.32 123.79 None MemSafety.mix001.opt.i_BEv2_AllErrorsAtOnce.ats done 236.86 118.55 None MemSafety.mix002.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.85 130.99 None MemSafety.mix002.opt.i_BEv2_AllErrorsAtOnce.ats done 249.35 134.56 None MemSafety.mix003.oepc.i_BEv2_AllErrorsAtOnce.ats done 157.36 95.52 None MemSafety.mix003_power.opt_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 166.39 101.65 None MemSafety.mix004.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.28 147.24 None MemSafety.mix004.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.76 179.14 None MemSafety.mix005.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.33 174.76 None MemSafety.mix005_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.51 113.98 None MemSafety.mix005_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.42 174.86 None MemSafety.mix006.opt.i_BEv2_AllErrorsAtOnce.ats done 182.82 94.59 None MemSafety.mix006_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 177.72 93.45 None MemSafety.mix006_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 270.82 116.57 None MemSafety.mix007.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.15 134.61 None MemSafety.mix007.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.55 183.39 None MemSafety.mix008.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.79 141.87 None MemSafety.mix008_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 127.41 None MemSafety.mix008_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 130.86 None MemSafety.mix009.oepc.i_BEv2_AllErrorsAtOnce.ats done 13.71 5.36 None MemSafety.mix009.opt.i_BEv2_AllErrorsAtOnce.ats done 14.83 5.42 None MemSafety.mix010.oepc.i_BEv2_AllErrorsAtOnce.ats done 230.54 116.63 None MemSafety.mix010.opt.i_BEv2_AllErrorsAtOnce.ats done 224.54 114.68 None MemSafety.mix011.opt.i_BEv2_AllErrorsAtOnce.ats done 257.07 120.33 None MemSafety.mix011_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 182.31 115.15 None MemSafety.mix011_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 215.96 113.10 None MemSafety.mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 13.53 3.97 None MemSafety.mix012_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 14.18 4.69 None MemSafety.mix013.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.11 138.14 None MemSafety.mix013.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.80 143.14 None MemSafety.mix014.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.20 160.14 None MemSafety.mix014_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.46 123.75 None MemSafety.mix014_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.63 129.98 None MemSafety.mix015.oepc.i_BEv2_AllErrorsAtOnce.ats done 221.24 117.53 None MemSafety.mix015.opt.i_BEv2_AllErrorsAtOnce.ats done 203.95 115.00 None MemSafety.mix016.oepc.i_BEv2_AllErrorsAtOnce.ats done 128.73 84.94 None MemSafety.mix016_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 133.56 88.43 None MemSafety.mix016_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 130.65 83.71 None MemSafety.mix017.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.36 210.88 None MemSafety.mix017_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.70 134.66 None MemSafety.mix017_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.17 124.02 None MemSafety.mix018.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.94 129.81 None MemSafety.mix018_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 183.09 None MemSafety.mix018_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.10 169.60 None MemSafety.mix019.opt.i_BEv2_AllErrorsAtOnce.ats done 138.22 82.95 None MemSafety.mix019_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 145.06 82.24 None MemSafety.mix019_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 131.83 81.63 None MemSafety.mix020.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.68 141.37 None MemSafety.mix020.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.17 128.08 None MemSafety.mix021.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.29 149.92 None MemSafety.mix021_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.05 129.39 None MemSafety.mix021_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.85 146.32 None MemSafety.mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.25 4.29 None MemSafety.mix022_tso.i_BEv2_AllErrorsAtOnce.ats done 13.56 4.36 None MemSafety.mix023_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.38 134.60 None MemSafety.mix023_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.61 203.04 None MemSafety.mix023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.88 130.85 None MemSafety.mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 211.88 113.27 None MemSafety.mix024_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 222.29 118.86 None MemSafety.mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 128.74 83.34 None MemSafety.mix025_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 125.98 83.42 None MemSafety.mix026.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.12 143.06 None MemSafety.mix026_power.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.44 136.17 None MemSafety.mix026_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.92 130.46 None MemSafety.mix027_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.74 117.73 None MemSafety.mix027_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.04 148.76 None MemSafety.mix027_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.83 147.51 None MemSafety.mix028_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 189.46 84.37 None MemSafety.mix028_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 123.52 80.73 None MemSafety.mix028_tso.i_BEv2_AllErrorsAtOnce.ats done 127.97 79.75 None MemSafety.mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.33 142.99 None MemSafety.mix029_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.30 151.30 None MemSafety.mix030_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.42 173.83 None MemSafety.mix030_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.23 148.66 None MemSafety.mix030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 195.89 None MemSafety.mix031.oepc.i_BEv2_AllErrorsAtOnce.ats done 14.40 5.38 None MemSafety.mix031.opt.i_BEv2_AllErrorsAtOnce.ats done 14.58 5.63 None MemSafety.mix032.oepc.i_BEv2_AllErrorsAtOnce.ats done 202.17 117.64 None MemSafety.mix032.opt.i_BEv2_AllErrorsAtOnce.ats done 207.40 121.06 None MemSafety.mix033.opt.i_BEv2_AllErrorsAtOnce.ats done 235.15 119.47 None MemSafety.mix033_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 243.43 118.01 None MemSafety.mix033_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 235.23 114.90 None MemSafety.mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 13.85 4.00 None MemSafety.mix034_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 14.36 4.40 None MemSafety.mix035.oepc.i_BEv2_AllErrorsAtOnce.ats done 144.20 87.41 None MemSafety.mix035_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 144.30 84.14 None MemSafety.mix035_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 125.04 80.10 None MemSafety.mix036.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.41 125.48 None MemSafety.mix036_power.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.41 130.94 None MemSafety.mix036_pso.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.90 136.62 None MemSafety.mix037.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.46 208.88 None MemSafety.mix037_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.77 147.04 None MemSafety.mix037_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.90 119.33 None MemSafety.mix038.opt.i_BEv2_AllErrorsAtOnce.ats done 153.43 85.18 None MemSafety.mix038_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 149.50 82.00 None MemSafety.mix038_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 161.88 85.53 None MemSafety.mix039.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.16 147.31 None MemSafety.mix039.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.68 209.84 None MemSafety.mix040.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.20 191.24 None MemSafety.mix040_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.58 123.78 None MemSafety.mix040_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.35 185.54 None MemSafety.mix041_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 14.49 4.82 None MemSafety.mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 15.03 5.19 None MemSafety.mix042.oepc.i_BEv2_AllErrorsAtOnce.ats done 153.06 83.96 None MemSafety.mix042.opt.i_BEv2_AllErrorsAtOnce.ats done 130.04 85.91 None MemSafety.mix043.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.42 152.92 None MemSafety.mix043.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.21 126.41 None MemSafety.mix044.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.37 123.96 None MemSafety.mix044_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.54 126.41 None MemSafety.mix044_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.50 133.40 None MemSafety.mix045_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 133.79 80.13 None MemSafety.mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 134.84 81.40 None MemSafety.mix046.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.05 125.21 None MemSafety.mix046.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.80 131.33 None MemSafety.mix047_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.11 152.86 None MemSafety.mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.00 145.69 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 13.48 5.78 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 163.14 86.72 None MemSafety.mix050.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.12 138.90 None MemSafety.mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.25 134.42 None MemSafety.mix051_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.42 174.06 None MemSafety.mix051_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.97 151.85 None MemSafety.mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 128.01 81.13 None MemSafety.mix052_pso.opt_rmo.opt_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 126.70 83.15 None MemSafety.mix052_tso.oepc.i_BEv2_AllErrorsAtOnce.ats done 120.04 77.96 None MemSafety.mix053.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.34 148.95 None MemSafety.mix053_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.44 180.61 None MemSafety.mix053_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.96 151.77 None MemSafety.mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 13.80 4.09 None MemSafety.mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 13.54 4.29 None MemSafety.mix055.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.31 173.00 None MemSafety.mix055_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.34 188.75 None MemSafety.mix055_tso.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.32 148.73 None MemSafety.mix056_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 126.27 80.65 None MemSafety.mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 122.63 79.44 None MemSafety.mix057_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.75 124.74 None MemSafety.mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.15 150.24 None MemSafety.mult-comm.wvr.c_BEv2_AllErrorsAtOnce.ats done 150.01 106.82 None MemSafety.mult-dist.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.30 105.09 None MemSafety.mult-flipped-dist.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.40 117.82 None MemSafety.parallel-bakery-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.44 171.46 None MemSafety.parallel-bakery-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.33 145.20 None MemSafety.parallel-bakery-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.68 63.27 None MemSafety.parallel-bluetooth.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.30 167.41 None MemSafety.parallel-misc-2-unrolled-atomic.wvr.c_BEv2_AllErrorsAtOnce.ats done 54.58 34.40 None MemSafety.parallel-misc-2-unrolled.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.23 191.88 None MemSafety.parallel-misc-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 251.73 187.61 None MemSafety.parallel-misc-3-extended.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.10 154.07 None MemSafety.parallel-misc-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.80 184.57 None MemSafety.parallel-misc-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.22 169.54 None MemSafety.parallel-misc-5.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.79 172.14 None MemSafety.parallel-simple-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.42 214.75 None MemSafety.parallel-ticket-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 93.61 65.45 None MemSafety.parallel-ticket-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 209.83 None MemSafety.parallel-ticket-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.90 70.81 None MemSafety.parallel-ticket-5.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.12 68.45 None MemSafety.parallel-ticket-6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.12 61.43 None MemSafety.peterson.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 198.10 None MemSafety.popl20-bad-threaded-sum-2.wvr.c_BEv2_AllErrorsAtOnce.ats done 86.41 62.73 None MemSafety.popl20-counter-determinism.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.73 68.98 None MemSafety.popl20-difference-det.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.70 65.79 None MemSafety.popl20-figure1-alt.wvr.c_BEv2_AllErrorsAtOnce.ats done 160.58 119.32 None MemSafety.popl20-figure1.wvr.c_BEv2_AllErrorsAtOnce.ats done 140.18 104.83 None MemSafety.popl20-figure3.wvr.c_BEv2_AllErrorsAtOnce.ats done 166.11 127.32 None MemSafety.popl20-more-nonblocking-counter-alt2.wvr.c_BEv2_AllErrorsAtOnce.ats done 92.77 65.91 None MemSafety.popl20-mult-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 308.24 54.77 None MemSafety.popl20-mult-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.57 226.10 None MemSafety.popl20-nonblocking-cntr-alt.wvr.c_BEv2_AllErrorsAtOnce.ats done 97.04 64.20 None MemSafety.popl20-nonblocking-cntr.wvr.c_BEv2_AllErrorsAtOnce.ats done 93.01 62.05 None MemSafety.popl20-proofs-counter-add-4-semi-Q67.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.20 56.95 None MemSafety.popl20-threaded-sum-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.72 196.10 None MemSafety.pthread-demo-datarace-1.i_BEv2_AllErrorsAtOnce.ats done 28.54 13.90 None MemSafety.pthread-demo-datarace-3.i_BEv2_AllErrorsAtOnce.ats done 28.03 13.38 None MemSafety.qw2004-2b.i_BEv2_AllErrorsAtOnce.ats done 9.21 4.57 None MemSafety.race-1_1-join.i_BEv2_AllErrorsAtOnce.ats done 60.00 38.77 None MemSafety.race-1_2-join.i_BEv2_AllErrorsAtOnce.ats done 32.05 16.38 None MemSafety.race-1_3-join.i_BEv2_AllErrorsAtOnce.ats done 42.03 23.69 None MemSafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.96 97.98 None MemSafety.read_write_lock-1-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.52 81.67 None MemSafety.read_write_lock-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 100.10 None MemSafety.read_write_lock-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.74 87.42 None MemSafety.rfi000_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 14.94 4.06 None MemSafety.rfi000_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.93 4.82 None MemSafety.rfi000_tso.i_BEv2_AllErrorsAtOnce.ats done 13.72 4.78 None MemSafety.rfi001_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 15.04 5.21 None MemSafety.rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 14.12 6.18 None MemSafety.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 14.66 6.41 None MemSafety.rfi002_tso.i_BEv2_AllErrorsAtOnce.ats done 16.40 8.55 None MemSafety.rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 14.36 6.85 None MemSafety.rfi003_tso.i_BEv2_AllErrorsAtOnce.ats done 14.04 6.95 None MemSafety.rfi004.i_BEv2_AllErrorsAtOnce.ats done 14.42 6.91 None MemSafety.rfi005.i_BEv2_AllErrorsAtOnce.ats done 14.83 7.03 None MemSafety.rfi006_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.41 98.60 None MemSafety.rfi006_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.52 101.31 None MemSafety.rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 146.16 122.92 None MemSafety.rfi006_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.45 120.02 None MemSafety.rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.44 6.28 None MemSafety.rfi007_tso.i_BEv2_AllErrorsAtOnce.ats done 13.06 6.47 None MemSafety.rfi008.oepc.i_BEv2_AllErrorsAtOnce.ats done 14.73 6.97 None MemSafety.rfi008.opt.i_BEv2_AllErrorsAtOnce.ats done 14.62 7.06 None MemSafety.rfi009_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.63 123.25 None MemSafety.rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 144.50 127.93 None MemSafety.rfi009_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.92 112.59 None MemSafety.rfi010.i_BEv2_AllErrorsAtOnce.ats done 13.98 7.34 None MemSafety.safe000_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.71 86.58 None MemSafety.safe000_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.13 100.29 None MemSafety.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 113.45 93.90 None MemSafety.safe000_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.65 100.95 None MemSafety.safe001_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.52 90.09 None MemSafety.safe001_power.opt_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 129.90 104.35 None MemSafety.safe001_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.46 84.69 None MemSafety.safe001_tso.i_BEv2_AllErrorsAtOnce.ats done 120.43 95.76 None MemSafety.safe002_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.94 91.91 None MemSafety.safe002_power.opt_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 136.01 102.76 None MemSafety.safe002_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.46 80.94 None MemSafety.safe002_tso.i_BEv2_AllErrorsAtOnce.ats done 112.19 86.01 None MemSafety.safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 127.09 95.01 None MemSafety.safe003_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.82 71.65 None MemSafety.safe003_tso.i_BEv2_AllErrorsAtOnce.ats done 111.67 82.29 None MemSafety.safe004_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 128.44 93.18 None MemSafety.safe004_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 126.17 91.05 None MemSafety.safe004_tso.i_BEv2_AllErrorsAtOnce.ats done 113.23 81.30 None MemSafety.safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 157.00 116.02 None MemSafety.safe005_tso.i_BEv2_AllErrorsAtOnce.ats done 130.52 94.92 None MemSafety.safe006_power.oepc-thin000_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.12 109.39 None MemSafety.safe006_power.opt-thin000_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.22 182.28 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 12.90 5.24 None MemSafety.safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.62 238.03 None MemSafety.safe007_power.oepc-thin001_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.10 57.44 None MemSafety.safe007_power.opt-thin001_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.61 97.43 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 113.80 83.98 None MemSafety.safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.17 79.86 None MemSafety.safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 130.78 98.74 None MemSafety.safe008_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.44 71.14 None MemSafety.safe008_tso.i_BEv2_AllErrorsAtOnce.ats done 112.30 88.86 None MemSafety.safe009_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.61 89.58 None MemSafety.safe009_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.19 76.35 None MemSafety.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 118.24 96.22 None MemSafety.safe009_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.15 90.95 None MemSafety.safe009_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.17 77.90 None MemSafety.safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 14.89 8.47 None MemSafety.safe010_tso.i_BEv2_AllErrorsAtOnce.ats done 12.98 6.92 None MemSafety.safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 131.04 95.45 None MemSafety.safe011_power.opt_pso.opt.i_BEv2_AllErrorsAtOnce.ats done 124.01 94.56 None MemSafety.safe011_tso.i_BEv2_AllErrorsAtOnce.ats done 113.41 87.50 None MemSafety.safe012_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.65 85.06 None MemSafety.safe012_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.51 72.97 None MemSafety.safe012_pso.oepc_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 135.45 100.17 None MemSafety.safe012_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.83 152.50 None MemSafety.safe012_tso.i_BEv2_AllErrorsAtOnce.ats done 117.51 85.46 None MemSafety.safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 152.27 120.27 None MemSafety.safe013_tso.i_BEv2_AllErrorsAtOnce.ats done 136.01 106.07 None MemSafety.safe014_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.30 93.42 None MemSafety.safe014_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.89 179.61 None MemSafety.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 112.32 85.94 None MemSafety.safe014_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.42 109.35 None MemSafety.safe014_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.26 65.67 None MemSafety.safe015_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.56 88.08 None MemSafety.safe015_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.15 77.64 None MemSafety.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 132.15 107.42 None MemSafety.safe015_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.14 84.83 None MemSafety.safe016_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.93 107.57 None MemSafety.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.50 186.51 None MemSafety.safe016_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.11 107.74 None MemSafety.safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 112.65 93.18 None MemSafety.safe017_tso.i_BEv2_AllErrorsAtOnce.ats done 103.44 82.55 None MemSafety.safe018_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.09 78.50 None MemSafety.safe018_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.00 92.68 None MemSafety.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 101.77 82.45 None MemSafety.safe018_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.70 99.49 None MemSafety.safe018_rmo.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.12 77.94 None MemSafety.safe019_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.98 100.64 None MemSafety.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.69 185.21 None MemSafety.safe019_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.83 133.95 None MemSafety.safe020_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.44 82.00 None MemSafety.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 118.24 89.14 None MemSafety.safe020_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.83 79.86 None MemSafety.safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 130.25 100.89 None MemSafety.safe021_power.opt_pso.opt.i_BEv2_AllErrorsAtOnce.ats done 126.52 95.26 None MemSafety.safe021_tso.i_BEv2_AllErrorsAtOnce.ats done 107.37 79.42 None MemSafety.safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 13.37 6.21 None MemSafety.safe022_tso.i_BEv2_AllErrorsAtOnce.ats done 12.75 5.52 None MemSafety.safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 149.57 110.67 None MemSafety.safe023_tso.i_BEv2_AllErrorsAtOnce.ats done 125.30 92.19 None MemSafety.safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 150.92 110.05 None MemSafety.safe024_tso.i_BEv2_AllErrorsAtOnce.ats done 132.62 94.75 None MemSafety.safe025_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.17 57.13 None MemSafety.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 129.52 97.90 None MemSafety.safe025_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.85 61.03 None MemSafety.safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 108.92 80.58 None MemSafety.safe026_tso.i_BEv2_AllErrorsAtOnce.ats done 101.70 73.90 None MemSafety.safe027_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 309.37 98.64 None MemSafety.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.52 140.06 None MemSafety.safe027_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.74 72.59 None MemSafety.safe028_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.59 72.27 None MemSafety.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 113.80 83.08 None MemSafety.safe028_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 308.88 72.14 None MemSafety.safe029_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 15.00 6.78 None MemSafety.safe029_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 14.07 7.13 None MemSafety.safe029_tso.i_BEv2_AllErrorsAtOnce.ats done 13.23 6.58 None MemSafety.safe030_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 119.90 86.34 None MemSafety.safe030_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 125.02 89.49 None MemSafety.safe030_tso.i_BEv2_AllErrorsAtOnce.ats done 113.90 81.58 None MemSafety.safe031_power.oepc_pso.oepc_rmo.oepc.i_BEv2_AllErrorsAtOnce.ats done 141.62 101.83 None MemSafety.safe031_power.opt_pso.opt_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 141.37 99.68 None MemSafety.safe031_tso.i_BEv2_AllErrorsAtOnce.ats done 129.75 91.26 None MemSafety.safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 287.70 133.21 None MemSafety.safe032_tso.i_BEv2_AllErrorsAtOnce.ats done 152.75 106.06 None MemSafety.safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 15.11 7.08 None MemSafety.safe033_tso.i_BEv2_AllErrorsAtOnce.ats done 13.22 6.06 None MemSafety.safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats done 283.21 126.53 None MemSafety.safe034_tso.i_BEv2_AllErrorsAtOnce.ats done 152.16 104.20 None MemSafety.safe035_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.93 131.91 None MemSafety.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats done 169.48 102.59 None MemSafety.safe036.i_BEv2_AllErrorsAtOnce.ats done 12.55 3.18 None MemSafety.safe037.i_BEv2_AllErrorsAtOnce.ats done 187.86 102.45 None MemSafety.security.wvr.c_BEv2_AllErrorsAtOnce.ats done 185.95 133.88 None MemSafety.singleton.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.42 96.06 None MemSafety.singleton_with-uninit-problems.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.84 99.89 None MemSafety.spaghetti.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.26 62.72 None MemSafety.stack-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 307.38 133.68 None MemSafety.stack_longer-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.57 150.23 None MemSafety.stack_longest-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 311.34 144.58 None MemSafety.stateful01-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.22 168.87 None MemSafety.stateful01-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.15 174.41 None MemSafety.sync01.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.84 172.91 None MemSafety.szymanski.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.76 228.57 None MemSafety.test-easy1.wvr.c_BEv2_AllErrorsAtOnce.ats done 69.66 42.96 None MemSafety.test-easy10.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.16 171.95 None MemSafety.test-easy11.wvr.c_BEv2_AllErrorsAtOnce.ats done 148.19 107.23 None MemSafety.test-easy6.wvr.c_BEv2_AllErrorsAtOnce.ats done 232.17 171.29 None MemSafety.test-easy7.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.10 185.60 None MemSafety.test-easy8.wvr.c_BEv2_AllErrorsAtOnce.ats done 57.19 35.88 None MemSafety.test-hard1.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.57 61.45 None MemSafety.test-semi1.wvr.c_BEv2_AllErrorsAtOnce.ats done 34.06 20.60 None MemSafety.thin002_power.oepc.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.26 107.60 None MemSafety.thin002_power.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.52 90.70 None MemSafety.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.66 172.27 None MemSafety.thin002_rmo.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 308.19 87.19 None MemSafety.time_var_mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.72 195.52 None MemSafety.triangular-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.69 157.86 None MemSafety.triangular-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.23 167.37 None MemSafety.triangular-longer-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.57 164.25 None MemSafety.triangular-longer-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.31 153.67 None MemSafety.triangular-longest-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.84 156.90 None MemSafety.triangular-longest-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.33 157.33 None ConcurrencySafety.13-privatized_01-priv_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.15 262.92 None ConcurrencySafety.13-privatized_04-priv_multi_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 307.90 53.29 None ConcurrencySafety.13-privatized_18-first-reads_true.i_BEv2_AllErrorsAtOnce.ats done 16.66 4.89 None ConcurrencySafety.13-privatized_19-publish-precision_true.i_BEv2_AllErrorsAtOnce.ats done 14.54 3.78 None ConcurrencySafety.13-privatized_20-publish-regression_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.75 266.58 None ConcurrencySafety.13-privatized_24-multiple-protecting_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.09 53.69 None ConcurrencySafety.13-privatized_25-struct_nr_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.75 261.84 None ConcurrencySafety.13-privatized_27-multiple-protecting2_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.65 53.35 None ConcurrencySafety.13-privatized_29-multiple-protecting2-vesal_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.71 175.17 None ConcurrencySafety.13-privatized_30-traces-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats done 48.57 33.76 None ConcurrencySafety.13-privatized_31-traces-mine-vs-mutex_true.i_BEv2_AllErrorsAtOnce.ats done 22.68 11.10 None ConcurrencySafety.13-privatized_32-traces-mine-vs-oplus-vs-meet_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.71 269.78 None ConcurrencySafety.13-privatized_33-traces-v-matters_true.i_BEv2_AllErrorsAtOnce.ats done 124.29 100.39 None ConcurrencySafety.13-privatized_34-traces-minepp-L-needs-to-be-um_true.i_BEv2_AllErrorsAtOnce.ats done 240.03 180.97 None ConcurrencySafety.13-privatized_35-traces-ex-2_true.i_BEv2_AllErrorsAtOnce.ats done 21.28 9.86 None ConcurrencySafety.13-privatized_36-traces-ex-3_true.i_BEv2_AllErrorsAtOnce.ats done 18.07 8.06 None ConcurrencySafety.13-privatized_37-traces-ex-4_true.i_BEv2_AllErrorsAtOnce.ats done 14.27 4.85 None ConcurrencySafety.13-privatized_38-traces-ex-4-switch_true.i_BEv2_AllErrorsAtOnce.ats done 28.24 14.35 None ConcurrencySafety.13-privatized_40-traces-ex-6_true.i_BEv2_AllErrorsAtOnce.ats done 20.04 9.35 None ConcurrencySafety.13-privatized_42-traces-ex-mini_true.i_BEv2_AllErrorsAtOnce.ats done 18.08 5.84 None ConcurrencySafety.13-privatized_44-traces-mine2_true.i_BEv2_AllErrorsAtOnce.ats done 17.60 6.81 None ConcurrencySafety.13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.i_BEv2_AllErrorsAtOnce.ats done 33.34 18.06 None ConcurrencySafety.13-privatized_46-refine-protected1_true.i_BEv2_AllErrorsAtOnce.ats done 10.79 3.44 None ConcurrencySafety.13-privatized_47-refine-protected2_true.i_BEv2_AllErrorsAtOnce.ats done 12.87 3.97 None ConcurrencySafety.13-privatized_52-refine-protected-loop2-small_true.i_BEv2_AllErrorsAtOnce.ats done 13.77 4.64 None ConcurrencySafety.13-privatized_57-singlethreaded-unlock_true.i_BEv2_AllErrorsAtOnce.ats done 9.70 3.29 None ConcurrencySafety.13-privatized_58-singlethreaded-lock_true.i_BEv2_AllErrorsAtOnce.ats done 9.69 3.32 None ConcurrencySafety.13-privatized_66-mine-W-init_true.i_BEv2_AllErrorsAtOnce.ats done 8.81 2.61 None ConcurrencySafety.13-privatized_69-refine-protected-loop-interval_true.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.11 58.70 None ConcurrencySafety.18_read_write_lock-pthread.i_BEv2_AllErrorsAtOnce.ats done 12.36 4.01 None ConcurrencySafety.18_read_write_lock.i_BEv2_AllErrorsAtOnce.ats done 13.05 4.33 None ConcurrencySafety.28-race_reach_46-escape_racefree.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.72 273.42 None ConcurrencySafety.36-apron_11-traces-max-simple_true.i_BEv2_AllErrorsAtOnce.ats done 59.30 41.80 None ConcurrencySafety.36-apron_16-traces-unprot2_true.i_BEv2_AllErrorsAtOnce.ats done 10.36 3.11 None ConcurrencySafety.36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.77 44.98 None ConcurrencySafety.arithmetic_prog_ok.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.64 68.37 None ConcurrencySafety.bigshot_s.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.97 219.87 None ConcurrencySafety.bigshot_s2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.30 213.75 None ConcurrencySafety.char_generic_nvram_read_nvram_nvram_unlocked_ioctl.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.24 265.73 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.18 274.95 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats done 29.11 16.78 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.36 164.34 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 228.31 36.06 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.09 103.27 None ConcurrencySafety.char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.65 76.25 None ConcurrencySafety.chl-collitem-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.19 66.86 None ConcurrencySafety.chl-collitem-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 29.58 11.63 None ConcurrencySafety.chl-collitem-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.01 76.05 None ConcurrencySafety.chl-sre-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.03 91.81 None ConcurrencySafety.chl-sre-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 24.79 12.44 None ConcurrencySafety.chl-sre-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.78 96.90 None ConcurrencySafety.chl-time-subst.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.78 94.84 None ConcurrencySafety.chl-time-symm.wvr.c_BEv2_AllErrorsAtOnce.ats done 22.38 10.50 None ConcurrencySafety.chl-time-trans.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.41 94.36 None ConcurrencySafety.dekker.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.86 151.25 None ConcurrencySafety.lamport.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.18 65.86 None ConcurrencySafety.parallel-bakery-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.08 99.10 None ConcurrencySafety.parallel-bluetooth.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.16 94.01 None ConcurrencySafety.parallel-misc-2-unrolled-atomic.wvr.c_BEv2_AllErrorsAtOnce.ats done 26.14 18.69 None ConcurrencySafety.parallel-misc-2-unrolled.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.42 94.72 None ConcurrencySafety.parallel-misc-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.11 136.06 None ConcurrencySafety.parallel-simple-equiv.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.73 99.96 None ConcurrencySafety.parallel-ticket-2.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.02 134.50 None ConcurrencySafety.parallel-ticket-3.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.33 88.85 None ConcurrencySafety.parallel-ticket-4.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.19 321.01 None ConcurrencySafety.peterson.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.15 302.04 None ConcurrencySafety.popl20-bad-ring-nondet.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.75 99.44 None ConcurrencySafety.popl20-more-min-le-max.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.86 84.22 None ConcurrencySafety.popl20-simple-array-sum.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.94 115.20 None ConcurrencySafety.race-1_1-join.i_BEv2_AllErrorsAtOnce.ats done 43.98 33.98 None ConcurrencySafety.race-4_1-thread_local_vars.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.89 287.96 None ConcurrencySafety.read_write_lock-1-pthread.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.59 132.87 None ConcurrencySafety.read_write_lock-1.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.61 106.64 None ConcurrencySafety.rfi000_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.26 128.80 None ConcurrencySafety.rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 185.47 56.56 None ConcurrencySafety.rfi002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.48 109.53 None ConcurrencySafety.rfi003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.31 105.96 None ConcurrencySafety.safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.56 102.67 None ConcurrencySafety.safe001_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.90 111.02 None ConcurrencySafety.safe002_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.49 108.89 None ConcurrencySafety.safe003_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.36 106.10 None ConcurrencySafety.safe004_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.52 103.75 None ConcurrencySafety.safe005_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.64 99.50 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 302.30 127.35 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.74 97.88 None ConcurrencySafety.safe008_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.39 96.12 None ConcurrencySafety.safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.66 102.90 None ConcurrencySafety.safe010_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.44 244.45 None ConcurrencySafety.safe011_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.81 126.72 None ConcurrencySafety.safe012_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.26 134.75 None ConcurrencySafety.safe013_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.83 114.16 None ConcurrencySafety.safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.70 100.20 None ConcurrencySafety.safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.43 98.84 None ConcurrencySafety.safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.72 113.54 None ConcurrencySafety.safe017_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.96 106.59 None ConcurrencySafety.safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.44 121.04 None ConcurrencySafety.safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.47 117.75 None ConcurrencySafety.safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.17 114.61 None ConcurrencySafety.safe021_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.08 109.87 None ConcurrencySafety.safe022_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.37 231.54 None ConcurrencySafety.safe023_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.25 137.82 None ConcurrencySafety.safe024_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.28 131.64 None ConcurrencySafety.safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.30 105.98 None ConcurrencySafety.safe026_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.26 139.19 None ConcurrencySafety.safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.49 104.75 None ConcurrencySafety.safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.79 135.36 None ConcurrencySafety.safe029_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.33 191.48 None ConcurrencySafety.safe030_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.50 93.43 None ConcurrencySafety.safe031_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.89 89.23 None ConcurrencySafety.safe032_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.06 132.04 None ConcurrencySafety.safe033_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 304.72 192.19 None ConcurrencySafety.safe034_tso.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.78 103.90 None ConcurrencySafety.safe035_power.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.97 103.65 None ConcurrencySafety.safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.71 86.86 None ConcurrencySafety.safe036.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.85 173.94 None ConcurrencySafety.safe037.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 303.29 94.02 None ConcurrencySafety.security.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 300.99 296.46 None ConcurrencySafety.singleton_with-uninit-problems.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 302.98 103.66 None ConcurrencySafety.spaghetti.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.03 88.06 None ConcurrencySafety.stateful01-2.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.79 102.98 None ConcurrencySafety.sync01.i_BEv2_AllErrorsAtOnce.ats done 178.40 148.90 None ConcurrencySafety.szymanski.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 305.97 93.04 None ConcurrencySafety.test-easy6.wvr.c_BEv2_AllErrorsAtOnce.ats TIMEOUT 306.02 91.16 None ConcurrencySafety.test-easy8.wvr.c_BEv2_AllErrorsAtOnce.ats done 31.94 22.12 None ConcurrencySafety.test-semi1.wvr.c_BEv2_AllErrorsAtOnce.ats done 19.68 12.62 None ConcurrencySafety.thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.21 58.10 None ConcurrencySafety.time_var_mutex.i_BEv2_AllErrorsAtOnce.ats TIMEOUT 301.38 144.96 None ConcurrencySafety.triangular-1.i_BEv2_AllErrorsAtOnce.ats ERROR (1) 293.86 100.82 None --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 124450.16 4511.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: 341