BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency-witness-validation-gemcutter.xml name: concurrency-witness-validation-gemcutter run sets: validate-goblint-witnesses-mutex-meet-ghost, validate-goblint-witnesses-protection-ghost, validate-goblint-witnesses-mutex-meet-local, validate-goblint-witnesses-protection-local date: Mon, 2024-08-26 16:28:37 CEST tool: ULTIMATE GemCutter 0.2.4-da67795f tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.8-4-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ verify Run set 1 of 9: skipped verify+validate-goblint-witnesses-mutex-meet-ghost Run set 2 of 9: skipped validate-goblint-witnesses-mutex-meet-ghost Run set 3 of 9 with options '--full-output --witness-type correctness_witness --witnessparser.only.consider.loop.invariants false --cacsl2boogietranslator.check.unreachability.of.reach_error.function false --validate ./goblint.2024-08-20_10-08-36.files/mutex-meet-ghost/${taskdef_name}/witness.yml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml unknown 0.03 0.03 None pthread/bigshot_s2.yml unknown 0.03 0.03 None pthread/fib_safe-10.yml true 14.16 8.35 None pthread/fib_safe-11.yml true 17.56 9.80 None pthread/fib_safe-12.yml true 18.27 10.11 None pthread/fib_safe-5.yml true 12.61 7.69 None pthread/fib_safe-6.yml true 17.13 9.73 None pthread/fib_safe-7.yml true 12.96 8.42 None pthread/queue_ok.yml TIMEOUT 901.15 867.98 None pthread/queue_ok_longer.yml OUT OF MEMORY 82.95 52.47 None pthread/queue_ok_longest.yml OUT OF MEMORY 102.42 66.36 None pthread/singleton_with-uninit-problems.yml unknown 0.03 0.03 None pthread/stack-1.yml true 11.17 6.69 None pthread/stack_longer-2.yml true 12.25 7.98 None pthread/stack_longest-2.yml true 15.25 8.50 None pthread/stateful01-2.yml true 14.88 8.64 None pthread/sync01.yml true 15.60 8.59 None pthread/triangular-1.yml true 11.94 7.39 None pthread/triangular-longer-1.yml true 12.70 8.16 None pthread/triangular-longest-1.yml true 12.01 7.37 None pthread-atomic/dekker.yml true 14.42 9.14 None pthread-atomic/lamport.yml true 16.14 8.98 None pthread-atomic/peterson.yml true 20.10 10.98 None pthread-atomic/read_write_lock-1-pthread.yml true 18.86 10.76 None pthread-atomic/read_write_lock-1.yml true 42.09 22.77 None pthread-atomic/szymanski.yml true 20.96 11.62 None pthread-atomic/time_var_mutex.yml true 17.09 9.87 None pthread-ext/01b_inc-pthread.yml unknown 0.04 0.04 None pthread-ext/01b_inc.yml unknown 0.04 0.04 None pthread-ext/02_inc_cas.yml unknown 0.04 0.04 None pthread-ext/03_incdec-pthread.yml unknown 0.04 0.04 None pthread-ext/03_incdec.yml unknown 0.04 0.04 None pthread-ext/04_incdec_cas.yml unknown 0.04 0.04 None pthread-ext/08_rand_cas.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym-pthread.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym-zero.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt-pthread.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt-zero.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt.yml unknown 0.04 0.04 None pthread-ext/14_spin2003-pthread.yml unknown 0.04 0.04 None pthread-ext/14_spin2003.yml unknown 0.04 0.04 None pthread-ext/18_read_write_lock-pthread.yml true 14.55 8.27 None pthread-ext/18_read_write_lock.yml true 10.76 6.87 None pthread-ext/25_stack-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack.yml unknown 0.03 0.03 None pthread-ext/25_stack_longer-2-pthread.yml unknown 0.03 0.04 None pthread-ext/25_stack_longer-2.yml unknown 0.04 0.04 None pthread-ext/25_stack_longest-1-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack_longest-1.yml unknown 0.04 0.04 None pthread-ext/26_stack_cas.yml unknown 0.04 0.04 None pthread-ext/26_stack_cas_longer-2.yml unknown 0.04 0.04 None pthread-ext/26_stack_cas_longest-2.yml unknown 0.04 0.04 None pthread-ext/29_conditionals_vs.yml unknown 0.04 0.04 None pthread-ext/31_simple_loop5_vs-pthread.yml unknown 0.04 0.04 None pthread-ext/31_simple_loop5_vs.yml unknown 0.04 0.04 None pthread-ext/35_double_lock_p3_vs-pthread.yml unknown 0.04 0.04 None pthread-ext/35_double_lock_p3_vs.yml unknown 0.04 0.04 None pthread-ext/36_stack_cas_p0_vs_concur.yml unknown 0.04 0.04 None pthread-ext/37_stack_lock_p0_vs_concur-pthread.yml unknown 0.04 0.04 None pthread-ext/37_stack_lock_p0_vs_concur.yml unknown 0.04 0.04 None pthread-ext/39_rand_lock_p0_vs-pthread.yml unknown 0.04 0.04 None pthread-ext/39_rand_lock_p0_vs.yml unknown 0.04 0.04 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml unknown 0.04 0.04 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml unknown 0.04 0.04 None pthread-ext/45_monabsex1_vs.yml unknown 0.04 0.04 None pthread-ext/46_monabsex2_vs.yml unknown 0.04 0.04 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml unknown 0.04 0.04 None pthread-ext/48_ticket_lock_low_contention_vs.yml unknown 0.04 0.04 None pthread-wmm/rfi000_tso.yml true 55.45 33.59 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 69.38 42.27 None pthread-wmm/rfi002_tso.yml true 144.08 115.99 None pthread-wmm/rfi003_tso.yml true 54.98 33.21 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 28.10 15.33 None pthread-wmm/safe001_tso.yml true 33.75 17.80 None pthread-wmm/safe002_tso.yml true 32.63 17.41 None pthread-wmm/safe003_tso.yml true 26.07 14.45 None pthread-wmm/safe004_tso.yml true 32.71 17.47 None pthread-wmm/safe005_tso.yml true 41.52 21.91 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.95 9.72 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 33.16 17.51 None pthread-wmm/safe008_tso.yml true 24.07 13.60 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 29.50 15.71 None pthread-wmm/safe010_tso.yml true 16.68 9.58 None pthread-wmm/safe011_tso.yml true 28.44 15.49 None pthread-wmm/safe012_tso.yml true 35.01 18.57 None pthread-wmm/safe013_tso.yml true 32.60 17.52 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 32.67 17.54 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 21.83 11.98 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 46.25 28.58 None pthread-wmm/safe017_tso.yml true 18.71 11.23 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.48 13.46 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 82.96 52.46 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 23.35 12.82 None pthread-wmm/safe021_tso.yml true 47.32 25.27 None pthread-wmm/safe022_tso.yml true 15.59 9.28 None pthread-wmm/safe023_tso.yml true 34.20 18.00 None pthread-wmm/safe024_tso.yml true 37.89 21.75 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 59.07 32.39 None pthread-wmm/safe026_tso.yml true 27.43 16.08 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 61.63 34.20 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 43.13 22.79 None pthread-wmm/safe029_tso.yml true 16.49 9.06 None pthread-wmm/safe030_tso.yml true 24.18 13.00 None pthread-wmm/safe031_tso.yml true 23.59 13.13 None pthread-wmm/safe032_tso.yml true 32.30 17.15 None pthread-wmm/safe033_tso.yml true 16.76 9.31 None pthread-wmm/safe034_tso.yml true 25.98 15.99 None pthread-wmm/safe035_power.yml true 235.08 175.65 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 33.97 17.87 None pthread-wmm/safe036.yml true 13.68 8.17 None pthread-wmm/safe037.yml true 44.65 25.72 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 80.22 55.43 None pthread-lit/sssc12-pthread.yml unknown 0.04 0.04 None pthread-lit/sssc12.yml unknown 0.04 0.04 None pthread-lit/sssc12_variant-pthread.yml unknown 0.04 0.04 None pthread-lit/sssc12_variant.yml unknown 0.04 0.04 None ldv-races/race-1_1-join.yml true 11.45 7.05 None ldv-races/race-2_1-container_of.yml unknown 0.04 0.04 None ldv-races/race-3_1-container_of-global.yml unknown 0.04 0.04 None ldv-races/race-4_1-thread_local_vars.yml true 20.75 11.55 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 33.40 17.71 None pthread-complex/workstealqueue_mutex-2.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 35.10 19.45 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 39.23 22.17 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 28.45 17.27 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 25.67 14.88 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 42.51 24.35 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 36.81 20.93 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 38.17 20.92 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 35.60 20.26 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 35.90 19.99 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 32.66 19.96 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 26.76 15.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 37.19 20.53 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 30.69 19.84 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 41.12 23.30 None pthread-C-DAC/pthread-demo-datarace-1.yml true 14.23 8.07 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 20.35 11.51 None pthread-C-DAC/pthread-numerical-integration.yml unknown 23.56 12.91 None pthread-divine/tls_basic.yml unknown 0.04 0.04 None goblint-regression/13-privatized_01-priv_nr_true.yml true 13.41 7.73 None goblint-regression/13-privatized_04-priv_multi_true.yml true 20.16 11.52 None goblint-regression/13-privatized_18-first-reads_true.yml true 13.29 7.60 None goblint-regression/13-privatized_19-publish-precision_true.yml true 14.26 8.08 None goblint-regression/13-privatized_20-publish-regression_true.yml true 12.31 7.24 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 13.73 8.70 None goblint-regression/13-privatized_25-struct_nr_true.yml true 13.95 8.17 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 31.24 16.91 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 11.80 8.34 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 14.69 8.55 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 15.02 8.45 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 15.95 9.24 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.61 7.04 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 15.11 8.73 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 11.21 6.94 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 10.48 6.79 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 15.35 8.65 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 14.34 8.14 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 11.11 7.12 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.63 7.89 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 14.51 8.58 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 13.99 8.28 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 10.66 6.44 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 13.63 7.83 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 10.27 6.22 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 9.72 6.38 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 13.15 7.78 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 13.36 7.88 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 19.18 11.86 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 13.84 8.09 None goblint-regression/28-race_reach_02-simple_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_04-munge_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_08-cond_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_12-ptr_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_20-callback_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_22-deref_read_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_28-funptr_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_36-indirect_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_41-trylock_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_42-trylock2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_46-escape_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_60-invariant_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_70-funloop_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_79-equ_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_85-list2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_87-lists_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml unknown 0.04 0.05 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 13.77 8.19 None goblint-regression/36-apron_16-traces-unprot2_true.yml unknown 0.04 0.04 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 21.22 11.57 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 11.48 6.92 None weaver/array-eq-symm.wvr.yml true 12.43 8.54 None weaver/array-eq-trans.wvr.yml true 24.72 13.65 None weaver/bench-exp1x3.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x3.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x4.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x6.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x9.wvr.yml unknown 0.04 0.04 None weaver/bench-exp3x3-opt.wvr.yml unknown 0.04 0.04 None weaver/bench-exp3x3.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-opt-symm.wvr.yml true 22.89 12.93 None weaver/chl-chromosome-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-exp-term-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-exp-term-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-match-subst.wvr.yml true 16.65 9.15 None weaver/chl-match-symm.wvr.yml true 11.27 7.11 None weaver/chl-match-trans.wvr.yml true 14.03 8.12 None weaver/chl-name-comparator-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-node-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-node-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-node-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-poker-hand-subst.wvr.yml true 143.96 98.54 None weaver/chl-poker-hand-symm.wvr.yml true 39.39 21.95 None weaver/chl-poker-hand-trans.wvr.yml true 148.91 113.71 None weaver/chl-simpl-str-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-sre-subst.wvr.yml true 12.96 8.14 None weaver/chl-sre-symm.wvr.yml true 11.45 7.40 None weaver/chl-sre-trans.wvr.yml true 16.77 9.32 None weaver/chl-time-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-time-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-time-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-word-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-word-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-word-trans.wvr.yml unknown 0.04 0.04 None weaver/clever.wvr.yml true 10.85 6.87 None weaver/fibonacci.wvr.yml unknown 0.03 0.03 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.48 886.65 None weaver/mult-comm.wvr.yml unknown 0.04 0.04 None weaver/mult-dist.wvr.yml unknown 0.04 0.04 None weaver/mult-flipped-dist.wvr.yml unknown 0.04 0.04 None weaver/parallel-bakery-2.wvr.yml true 40.22 21.14 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 540.80 444.74 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 901.43 770.73 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 401.24 317.59 None weaver/parallel-bluetooth.wvr.yml true 13.40 8.52 None weaver/parallel-lamport.wvr.yml true 417.13 382.13 None weaver/parallel-min-max-1.wvr.yml true 15.15 9.26 None weaver/parallel-misc-1.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 15.34 8.61 None weaver/parallel-misc-2-unrolled.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-3-extended.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-3.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-4.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-5.wvr.yml true 12.42 8.06 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 93.53 65.60 None weaver/parallel-parallel-sum-1.wvr.yml true 546.23 469.91 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 900.36 801.31 None weaver/parallel-parallel-sum-equiv.wvr.yml true 106.88 72.49 None weaver/parallel-simple-equiv.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-2.wvr.yml true 16.37 9.84 None weaver/parallel-ticket-3.wvr.yml true 25.00 14.98 None weaver/parallel-ticket-4.wvr.yml true 82.31 59.61 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 116.78 81.97 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 92.60 58.92 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 109.99 72.17 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 120.39 78.44 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 146.27 119.73 None weaver/popl20-bad-commit-1.wvr-bad.yml true 339.33 292.82 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 554.01 463.86 None weaver/popl20-bad-counter-queue2.wvr.yml true 13.23 7.97 None weaver/popl20-bad-dot-product-alt.wvr.yml true 63.57 37.97 None weaver/popl20-bad-dot-product.wvr.yml true 104.17 67.75 None weaver/popl20-bad-ring-nondet.wvr.yml true 100.52 73.15 None weaver/popl20-bad-ring.wvr.yml true 79.30 50.64 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 10.83 7.08 None weaver/popl20-bad-three-array-sum-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-channel-sum.wvr.yml true 12.00 7.88 None weaver/popl20-commit-1.wvr.yml true 162.64 122.87 None weaver/popl20-commit-2.wvr.yml true 561.37 523.61 None weaver/popl20-counter-determinism.wvr.yml true 13.39 8.42 None weaver/popl20-counter-fun.wvr.yml true 29.18 17.03 None weaver/popl20-difference-det.wvr.yml true 14.48 8.65 None weaver/popl20-figure1-alt.wvr.yml true 11.17 6.72 None weaver/popl20-figure1.wvr.yml true 10.15 6.22 None weaver/popl20-figure3.wvr.yml true 13.14 7.58 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 900.67 860.57 None weaver/popl20-min-max-dec.wvr.yml true 20.56 11.45 None weaver/popl20-min-max-inc-dec.wvr.yml true 31.24 16.68 None weaver/popl20-min-max-inc.wvr.yml true 21.06 11.56 None weaver/popl20-more-array-sum-alt2.wvr.yml true 117.70 83.22 None weaver/popl20-more-array-sum2.wvr.yml true 30.69 17.20 None weaver/popl20-more-buffer-mult2.wvr.yml true 180.89 133.32 None weaver/popl20-more-buffer-series2.wvr.yml true 183.89 135.35 None weaver/popl20-more-dec-subseq.wvr.yml true 22.43 13.90 None weaver/popl20-more-inc-subseq.wvr.yml true 22.05 13.32 None weaver/popl20-more-max-array-hom.wvr.yml true 12.90 8.16 None weaver/popl20-more-max-array.wvr.yml true 17.44 10.03 None weaver/popl20-more-min-array-hom.wvr.yml true 13.20 7.92 None weaver/popl20-more-min-array.wvr.yml true 17.81 10.23 None weaver/popl20-more-min-le-max.wvr.yml true 12.66 8.19 None weaver/popl20-more-mts.wvr.yml true 24.33 15.49 None weaver/popl20-more-multiply-verify.wvr.yml true 15.23 9.40 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml true 12.88 7.83 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 14.68 9.39 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 325.74 258.60 None weaver/popl20-more-sorted.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-sum-array-hom.wvr.yml unknown 0.03 0.03 None weaver/popl20-more-vector-add.wvr.yml unknown 0.04 0.04 None weaver/popl20-mult-4.wvr.yml true 10.07 6.08 None weaver/popl20-mult-equiv.wvr.yml true 9.62 6.24 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 10.92 6.76 None weaver/popl20-nonblocking-cntr.wvr.yml true 12.72 7.64 None weaver/popl20-prod-cons-eq.wvr.yml unknown 0.04 0.04 None weaver/popl20-prod-cons.wvr.yml true 55.66 38.15 None weaver/popl20-prod-cons3.wvr.yml true 64.41 47.54 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 22.96 12.71 None weaver/popl20-queue-add-2.wvr.yml true 18.18 10.29 None weaver/popl20-queue-add-3.wvr.yml true 211.49 158.11 None weaver/popl20-send-receive-alt.wvr.yml true 23.77 13.52 None weaver/popl20-send-receive.wvr.yml true 51.79 31.01 None weaver/popl20-simple-array-sum.wvr.yml TIMEOUT 900.58 873.10 None weaver/popl20-simple-queue.wvr.yml true 18.25 10.99 None weaver/popl20-threaded-sum-3.wvr.yml true 11.19 7.08 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 364.72 319.08 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 528.05 483.37 None weaver/popl20-three-array-sum.wvr.yml TIMEOUT 900.50 884.67 None weaver/popl20-two-queue.wvr.yml true 46.54 28.03 None weaver/security.wvr.yml true 15.32 8.53 None weaver/spaghetti.wvr.yml unknown 0.04 0.04 None weaver/test-context1.wvr.yml true 16.71 9.80 None weaver/test-easy1.wvr.yml unknown 0.04 0.04 None weaver/test-easy10.wvr.yml unknown 0.04 0.04 None weaver/test-easy11.wvr.yml true 18.26 10.75 None weaver/test-easy6.wvr.yml true 34.12 18.13 None weaver/test-easy7.wvr.yml unknown 0.04 0.04 None weaver/test-easy8.wvr.yml unknown 0.03 0.04 None weaver/test-hard1.wvr.yml TIMEOUT 900.90 832.03 None weaver/test-semi1.wvr.yml true 14.27 8.36 None weaver/unroll-2.wvr.yml true 13.86 8.13 None weaver/unroll-3.wvr.yml true 13.75 8.21 None weaver/unroll-4.wvr.yml true 13.81 8.09 None weaver/unroll-5.wvr.yml true 13.98 8.35 None weaver/unroll-cond-2.wvr.yml true 13.71 8.16 None weaver/unroll-cond-3.wvr.yml true 14.10 7.98 None weaver/unroll-cond-4.wvr.yml true 13.46 7.73 None weaver/unroll-cond-5.wvr.yml true 14.76 8.59 None pthread-deagle/arithmetic_prog_ok.yml true 17.93 10.18 None pthread-deagle/circular_buffer_ok.yml true 277.84 236.53 None pthread-race-challenges/thread-local-pthread-value.yml unknown 0.04 0.04 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 0.04 0.04 None pthread-race-challenges/thread-local-value.yml unknown 0.04 0.04 None pthread/fib_unsafe-10.yml true 17.61 9.77 None pthread/fib_unsafe-11.yml true 17.94 10.19 None pthread/fib_unsafe-12.yml true 17.69 9.77 None pthread/fib_unsafe-5.yml true 17.90 9.88 None pthread/fib_unsafe-6.yml true 18.53 10.07 None pthread/fib_unsafe-7.yml true 17.34 9.70 None pthread/lazy01.yml true 11.75 7.42 None pthread/queue.yml TIMEOUT 901.25 831.17 None pthread/queue_longer.yml OUT OF MEMORY 67.70 47.10 None pthread/queue_longest.yml OUT OF MEMORY 109.95 70.76 None pthread/reorder_2.yml ERROR (7) 16.15 9.59 None pthread/reorder_5.yml ERROR (7) 16.40 9.55 None pthread/singleton.yml unknown 0.04 0.04 None pthread/stack-2.yml unknown 0.04 0.04 None pthread/stack_longer-1.yml unknown 0.04 0.04 None pthread/stack_longest-1.yml unknown 0.04 0.04 None pthread/stateful01-1.yml true 11.97 7.26 None pthread/triangular-2.yml true 15.78 8.70 None pthread/triangular-longer-2.yml true 12.63 7.72 None pthread/triangular-longest-2.yml true 12.10 7.47 None pthread/twostage_3.yml unknown 0.04 0.04 None pthread-atomic/read_write_lock-2.yml true 43.63 23.50 None pthread-ext/25_stack_longer-1-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack_longer-1.yml unknown 0.04 0.04 None pthread-ext/25_stack_longest-2-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack_longest-2.yml unknown 0.04 0.04 None pthread-ext/26_stack_cas_longer-1.yml unknown 0.04 0.04 None pthread-ext/26_stack_cas_longest-1.yml unknown 0.04 0.04 None pthread-ext/28_buggy_simple_loop1_vf.yml unknown 0.04 0.04 None pthread-ext/40_barrier_vf-pthread.yml unknown 0.04 0.04 None pthread-ext/40_barrier_vf.yml unknown 0.04 0.04 None pthread-wmm/mix000.oepc.yml true 80.04 52.50 None pthread-wmm/mix000.opt.yml true 75.94 51.28 None pthread-wmm/mix001.oepc.yml TIMEOUT 900.43 795.47 None pthread-wmm/mix001.opt.yml true 776.01 682.65 None pthread-wmm/mix002.oepc.yml TIMEOUT 900.57 790.99 None pthread-wmm/mix002.opt.yml TIMEOUT 900.44 807.03 None pthread-wmm/mix003.oepc.yml TIMEOUT 901.06 848.44 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml true 623.24 572.47 None pthread-wmm/mix004.oepc.yml TIMEOUT 901.17 831.22 None pthread-wmm/mix004.opt.yml TIMEOUT 900.44 795.33 None pthread-wmm/mix005.opt.yml TIMEOUT 900.39 796.92 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.17 829.75 None pthread-wmm/mix005_tso.oepc.yml TIMEOUT 901.37 828.53 None pthread-wmm/mix006.opt.yml true 510.42 463.74 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.07 852.41 None pthread-wmm/mix006_tso.oepc.yml TIMEOUT 901.03 806.37 None pthread-wmm/mix007.oepc.yml TIMEOUT 900.51 799.64 None pthread-wmm/mix007.opt.yml TIMEOUT 901.47 805.11 None pthread-wmm/mix008.opt.yml TIMEOUT 901.42 809.59 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.50 807.81 None pthread-wmm/mix008_tso.oepc.yml TIMEOUT 901.39 808.87 None pthread-wmm/mix009.oepc.yml true 85.49 60.09 None pthread-wmm/mix009.opt.yml true 113.37 71.23 None pthread-wmm/mix010.oepc.yml TIMEOUT 901.25 829.90 None pthread-wmm/mix010.opt.yml true 651.41 603.01 None pthread-wmm/mix011.opt.yml true 714.81 622.31 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.46 801.24 None pthread-wmm/mix011_tso.oepc.yml true 714.87 667.62 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 70.10 42.52 None pthread-wmm/mix012_pso.opt_tso.opt.yml true 64.56 38.99 None pthread-wmm/mix013.oepc.yml TIMEOUT 901.16 828.89 None pthread-wmm/mix013.opt.yml TIMEOUT 901.27 833.54 None pthread-wmm/mix014.opt.yml TIMEOUT 900.42 803.62 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.09 847.11 None pthread-wmm/mix014_tso.oepc.yml TIMEOUT 900.47 813.53 None pthread-wmm/mix015.oepc.yml TIMEOUT 900.41 804.74 None pthread-wmm/mix015.opt.yml TIMEOUT 901.05 848.25 None pthread-wmm/mix016.oepc.yml TIMEOUT 901.49 800.81 None pthread-wmm/mix016_power.opt_rmo.opt.yml true 580.83 496.27 None pthread-wmm/mix016_pso.opt_tso.opt.yml true 528.00 452.33 None pthread-wmm/mix017.oepc.yml TIMEOUT 900.57 804.03 None pthread-wmm/mix017_power.opt_rmo.opt.yml TIMEOUT 901.07 843.66 None pthread-wmm/mix017_pso.opt_tso.opt.yml TIMEOUT 901.20 834.71 None pthread-wmm/mix018.opt.yml TIMEOUT 901.53 804.83 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.45 799.58 None pthread-wmm/mix018_tso.oepc.yml TIMEOUT 901.38 826.20 None pthread-wmm/mix019.opt.yml true 482.72 402.72 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml true 738.08 678.81 None pthread-wmm/mix019_tso.oepc.yml true 548.32 466.08 None pthread-wmm/mix020.oepc.yml TIMEOUT 900.48 799.56 None pthread-wmm/mix020.opt.yml TIMEOUT 901.06 852.93 None pthread-wmm/mix021.opt.yml TIMEOUT 901.41 809.88 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.57 800.71 None pthread-wmm/mix021_tso.oepc.yml TIMEOUT 901.12 847.15 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 88.38 52.00 None pthread-wmm/mix022_tso.yml true 75.23 42.50 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.45 807.65 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.62 793.98 None pthread-wmm/mix023_tso.yml TIMEOUT 901.13 845.09 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.20 836.07 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.72 793.31 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 900.50 798.60 None pthread-wmm/mix025_pso.opt_rmo.opt.yml true 588.60 507.40 None pthread-wmm/mix026.oepc.yml TIMEOUT 901.14 836.27 None pthread-wmm/mix026_power.opt_tso.opt.yml TIMEOUT 901.32 826.96 None pthread-wmm/mix026_pso.opt_rmo.opt.yml TIMEOUT 900.46 801.16 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.40 799.14 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.05 851.82 None pthread-wmm/mix027_tso.yml TIMEOUT 900.77 787.54 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 742.98 697.09 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml true 517.80 441.64 None pthread-wmm/mix028_tso.yml true 511.09 429.47 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.43 804.68 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.49 802.19 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.33 846.35 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.36 830.12 None pthread-wmm/mix030_tso.yml TIMEOUT 901.42 807.60 None pthread-wmm/mix031.oepc.yml true 108.14 74.40 None pthread-wmm/mix031.opt.yml true 81.34 53.24 None pthread-wmm/mix032.oepc.yml TIMEOUT 900.55 796.24 None pthread-wmm/mix032.opt.yml true 616.41 529.96 None pthread-wmm/mix033.opt.yml true 499.28 447.36 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.32 831.18 None pthread-wmm/mix033_tso.oepc.yml TIMEOUT 900.78 800.49 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 70.03 43.81 None pthread-wmm/mix034_pso.opt_tso.opt.yml true 81.41 46.79 None pthread-wmm/mix035.oepc.yml TIMEOUT 901.55 798.87 None pthread-wmm/mix035_power.opt_rmo.opt.yml true 641.21 601.49 None pthread-wmm/mix035_pso.opt_tso.opt.yml true 382.30 318.79 None pthread-wmm/mix036.oepc.yml TIMEOUT 900.96 848.66 None pthread-wmm/mix036_power.opt_rmo.opt.yml TIMEOUT 901.05 800.73 None pthread-wmm/mix036_pso.opt_tso.opt.yml TIMEOUT 900.61 802.52 None pthread-wmm/mix037.opt.yml TIMEOUT 901.37 831.47 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.19 837.55 None pthread-wmm/mix037_tso.oepc.yml TIMEOUT 901.21 846.84 None pthread-wmm/mix038.opt.yml true 377.18 300.39 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.45 799.52 None pthread-wmm/mix038_tso.oepc.yml true 591.97 505.89 None pthread-wmm/mix039.oepc.yml TIMEOUT 900.40 796.06 None pthread-wmm/mix039.opt.yml TIMEOUT 901.21 854.13 None pthread-wmm/mix040.opt.yml TIMEOUT 900.77 795.86 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.32 826.97 None pthread-wmm/mix040_tso.oepc.yml TIMEOUT 900.63 783.93 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml true 119.83 71.74 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 73.49 40.19 None pthread-wmm/mix042.oepc.yml TIMEOUT 900.59 797.40 None pthread-wmm/mix042.opt.yml true 371.38 318.45 None pthread-wmm/mix043.oepc.yml TIMEOUT 901.47 799.25 None pthread-wmm/mix043.opt.yml TIMEOUT 900.66 785.71 None pthread-wmm/mix044.opt.yml TIMEOUT 900.71 797.69 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.34 821.98 None pthread-wmm/mix044_tso.oepc.yml TIMEOUT 901.48 821.72 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.27 844.03 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 381.19 311.72 None pthread-wmm/mix046.oepc.yml TIMEOUT 901.08 843.36 None pthread-wmm/mix046.opt.yml TIMEOUT 900.72 799.03 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.46 797.18 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 900.67 790.29 None pthread-wmm/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.yml true 58.44 37.33 None pthread-wmm/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.yml true 837.47 752.54 None pthread-wmm/mix050.yml TIMEOUT 901.08 851.06 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 900.51 795.96 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 900.52 795.89 None pthread-wmm/mix051_tso.oepc.yml TIMEOUT 900.76 792.84 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 474.08 395.86 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml true 251.77 190.95 None pthread-wmm/mix052_tso.oepc.yml true 396.90 338.32 None pthread-wmm/mix053.opt.yml TIMEOUT 901.35 826.79 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.33 829.59 None pthread-wmm/mix053_tso.oepc.yml TIMEOUT 900.72 796.81 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 71.19 44.63 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 45.87 25.85 None pthread-wmm/mix055.opt.yml TIMEOUT 901.27 834.49 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.40 798.53 None pthread-wmm/mix055_tso.oepc.yml TIMEOUT 901.01 789.19 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml true 505.69 417.07 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 272.37 205.59 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.29 813.24 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.39 819.79 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 86.60 50.47 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml true 35.95 20.90 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 104.30 65.76 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 55.47 33.85 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 31.27 17.82 None pthread-wmm/rfi004.yml true 74.47 43.98 None pthread-wmm/rfi005.yml true 29.35 16.69 None pthread-wmm/rfi006_power.oepc.yml true 245.12 190.07 None pthread-wmm/rfi006_power.opt.yml true 563.08 513.77 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 221.67 161.13 None pthread-wmm/rfi006_rmo.yml true 234.88 179.22 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 83.86 50.51 None pthread-wmm/rfi007_tso.yml true 71.96 40.07 None pthread-wmm/rfi008.oepc.yml true 110.32 67.54 None pthread-wmm/rfi008.opt.yml true 116.86 70.97 None pthread-wmm/rfi009_power.oepc.yml true 316.41 246.16 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 181.52 126.07 None pthread-wmm/rfi009_rmo.oepc.yml true 273.55 208.63 None pthread-wmm/rfi010.yml true 90.93 51.76 None pthread-wmm/safe000_power.oepc.yml true 515.46 425.31 None pthread-wmm/safe000_power.opt.yml TIMEOUT 900.51 795.03 None pthread-wmm/safe000_rmo.yml true 446.57 369.62 None pthread-wmm/safe001_power.oepc.yml true 320.70 270.92 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 265.63 199.26 None pthread-wmm/safe001_rmo.oepc.yml true 351.29 303.75 None pthread-wmm/safe002_power.oepc.yml true 354.25 286.18 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 239.64 178.98 None pthread-wmm/safe002_rmo.oepc.yml true 298.50 260.05 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 397.28 325.62 None pthread-wmm/safe003_power.opt.yml TIMEOUT 901.02 848.45 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml true 389.59 315.11 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml true 229.62 173.20 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 127.09 95.22 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml true 82.05 47.75 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml true 159.51 121.21 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 58.22 35.83 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml true 355.46 291.89 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml true 794.27 744.02 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 291.47 246.97 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 341.01 274.21 None pthread-wmm/safe008_power.opt.yml TIMEOUT 901.26 831.21 None pthread-wmm/safe009_power.oepc.yml true 251.37 192.42 None pthread-wmm/safe009_power.opt.yml TIMEOUT 901.52 800.69 None pthread-wmm/safe009_rmo.oepc.yml true 222.00 170.93 None pthread-wmm/safe009_rmo.opt.yml true 364.09 314.90 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 37.84 22.78 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 317.04 279.65 None pthread-wmm/safe011_power.opt_pso.opt.yml true 202.50 149.13 None pthread-wmm/safe012_power.oepc.yml true 298.57 236.17 None pthread-wmm/safe012_power.opt.yml true 796.37 700.15 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml true 143.01 100.24 None pthread-wmm/safe012_rmo.oepc.yml true 237.78 198.51 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 245.33 179.79 None pthread-wmm/safe014_power.oepc.yml true 391.69 320.09 None pthread-wmm/safe014_power.opt.yml true 737.13 643.31 None pthread-wmm/safe014_rmo.oepc.yml true 367.81 296.32 None pthread-wmm/safe014_rmo.opt.yml true 422.25 369.76 None pthread-wmm/safe015_power.oepc.yml true 646.62 553.70 None pthread-wmm/safe015_power.opt.yml true 618.24 565.51 None pthread-wmm/safe015_rmo.yml true 645.87 560.32 None pthread-wmm/safe016_power.oepc.yml TIMEOUT 901.65 824.96 None pthread-wmm/safe016_power.opt.yml TIMEOUT 901.31 793.36 None pthread-wmm/safe016_rmo.oepc.yml TIMEOUT 901.36 781.08 None pthread-wmm/safe016_rmo.opt.yml TIMEOUT 901.06 793.76 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 231.86 196.98 None pthread-wmm/safe018_power.oepc.yml true 196.09 162.39 None pthread-wmm/safe018_power.opt.yml true 681.10 615.48 None pthread-wmm/safe018_rmo.oepc.yml true 219.71 166.53 None pthread-wmm/safe018_rmo.opt.yml true 197.44 160.59 None pthread-wmm/safe019_power.oepc.yml true 777.46 720.86 None pthread-wmm/safe019_power.opt.yml TIMEOUT 901.26 843.60 None pthread-wmm/safe019_rmo.oepc.yml true 818.77 714.06 None pthread-wmm/safe019_rmo.opt.yml TIMEOUT 900.87 791.72 None pthread-wmm/safe020_power.yml TIMEOUT 901.63 803.81 None pthread-wmm/safe020_rmo.yml true 248.21 212.69 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 504.57 428.10 None pthread-wmm/safe021_power.opt_pso.opt.yml true 343.51 276.72 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 57.94 36.27 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 175.41 137.50 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 317.30 270.20 None pthread-wmm/safe025_power.yml TIMEOUT 901.09 844.47 None pthread-wmm/safe025_rmo.yml TIMEOUT 900.72 796.06 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 353.28 304.49 None pthread-wmm/safe027_power.oepc.yml true 745.33 644.91 None pthread-wmm/safe027_power.opt.yml TIMEOUT 901.34 828.89 None pthread-wmm/safe027_rmo.yml true 693.41 599.25 None pthread-wmm/safe028_power.yml TIMEOUT 900.99 803.25 None pthread-wmm/safe028_rmo.yml true 547.62 464.74 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml true 37.34 21.85 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml true 24.36 13.40 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml true 234.29 192.90 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml true 84.26 58.00 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml true 178.29 143.91 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml true 124.09 81.09 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 159.56 121.54 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 30.24 16.83 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 103.48 71.87 None pthread-wmm/thin002_power.oepc.yml TIMEOUT 900.66 797.93 None pthread-wmm/thin002_power.opt.yml TIMEOUT 900.56 802.12 None pthread-wmm/thin002_rmo.yml TIMEOUT 901.12 843.69 None pthread-lit/qw2004-2b.yml unknown 0.04 0.04 None ldv-races/race-1_2-join.yml true 11.62 7.13 None ldv-races/race-1_3-join.yml true 11.95 7.25 None ldv-races/race-2_2-container_of.yml unknown 0.04 0.04 None ldv-races/race-2_3-container_of.yml unknown 0.04 0.04 None ldv-races/race-2_4-container_of.yml unknown 0.04 0.04 None ldv-races/race-2_5-container_of.yml unknown 0.04 0.04 None ldv-races/race-3_2-container_of-global.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 23.44 12.88 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR (7) 24.26 13.84 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR (7) 26.63 14.44 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR (7) 20.14 11.49 None pthread-complex/bounded_buffer.yml unknown 0.04 0.04 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.94 848.57 None pthread-complex/safestack_relacy.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 26.94 15.64 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 26.46 15.11 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 35.41 19.33 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 25.97 15.58 None pthread-C-DAC/pthread-demo-datarace-3.yml true 10.19 6.14 None pthread-divine/tls_destructor_worker.yml unknown 0.04 0.04 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 13.48 7.95 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 10.24 6.23 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 10.26 6.42 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 13.71 7.72 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 10.39 6.54 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 11.03 6.63 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 11.18 7.08 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 14.10 8.01 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 10.27 6.55 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 10.79 7.20 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml true 15.62 8.74 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml true 11.71 7.20 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml true 11.70 7.37 None goblint-regression/28-race_reach_01-simple_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_03-munge_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_06-cond_racing1.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_07-cond_racing2.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_11-ptr_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_19-callback_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_21-deref_read_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_24-sound_lock_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_27-funptr_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_37-indirect_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_45-escape_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_61-invariant_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_71-funloop_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_78-equ_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_81-list_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_82-list_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_83-list2_racing1.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_84-list2_racing2.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_86-lists_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_94-alloc_region_racing.yml unknown 0.04 0.04 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 13.90 7.75 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 10.74 7.25 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml unknown 0.04 0.04 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml unknown 0.04 0.04 None weaver/parallel-barrier-loop.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-buffer-mult-alt.wvr.yml true 149.56 118.46 None weaver/popl20-bad-counter-queue.wvr.yml true 19.59 12.71 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 900.62 795.51 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 241.71 207.01 None weaver/popl20-more-buffer-mult.wvr.yml true 175.08 129.81 None weaver/popl20-more-buffer-series.wvr.yml true 220.91 169.30 None pthread-deagle/arithmetic_prog_bad.yml true 13.02 8.00 None pthread-deagle/circular_buffer_bad.yml true 19.93 11.51 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 3 done 164845.45 10705.78 - verify+validate-goblint-witnesses-protection-ghost Run set 4 of 9: skipped validate-goblint-witnesses-protection-ghost Run set 5 of 9 with options '--full-output --witness-type correctness_witness --witnessparser.only.consider.loop.invariants false --cacsl2boogietranslator.check.unreachability.of.reach_error.function false --validate ./goblint.2024-08-20_10-08-36.files/protection-ghost/${taskdef_name}/witness.yml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml unknown 0.04 0.04 None pthread/bigshot_s2.yml unknown 0.04 0.04 None pthread/fib_safe-10.yml true 14.16 8.16 None pthread/fib_safe-11.yml true 18.45 10.37 None pthread/fib_safe-12.yml true 17.96 9.96 None pthread/fib_safe-5.yml true 12.33 7.49 None pthread/fib_safe-6.yml true 16.83 9.42 None pthread/fib_safe-7.yml true 13.12 8.40 None pthread/queue_ok.yml TIMEOUT 900.99 877.60 None pthread/queue_ok_longer.yml OUT OF MEMORY 74.04 46.66 None pthread/queue_ok_longest.yml OUT OF MEMORY 123.37 83.40 None pthread/singleton_with-uninit-problems.yml unknown 0.04 0.04 None pthread/stack-1.yml true 11.32 7.06 None pthread/stack_longer-2.yml true 11.95 7.62 None pthread/stack_longest-2.yml true 14.64 8.54 None pthread/stateful01-2.yml true 14.31 8.47 None pthread/sync01.yml true 15.08 8.77 None pthread/triangular-1.yml true 11.10 6.79 None pthread/triangular-longer-1.yml true 12.19 7.86 None pthread/triangular-longest-1.yml true 11.21 6.89 None pthread-atomic/dekker.yml true 15.55 9.13 None pthread-atomic/lamport.yml true 14.36 10.57 None pthread-atomic/peterson.yml true 19.92 11.34 None pthread-atomic/read_write_lock-1-pthread.yml true 18.07 10.52 None pthread-atomic/read_write_lock-1.yml true 42.11 22.54 None pthread-atomic/szymanski.yml true 19.22 11.01 None pthread-atomic/time_var_mutex.yml true 16.99 9.64 None pthread-ext/01b_inc-pthread.yml unknown 0.04 0.04 None pthread-ext/01b_inc.yml unknown 0.04 0.04 None pthread-ext/02_inc_cas.yml unknown 0.04 0.04 None pthread-ext/03_incdec-pthread.yml unknown 0.04 0.04 None pthread-ext/03_incdec.yml unknown 0.04 0.04 None pthread-ext/04_incdec_cas.yml unknown 0.04 0.04 None pthread-ext/08_rand_cas.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym-pthread.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym-zero.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym.yml unknown 0.05 0.07 None pthread-ext/11_fmaxsymopt-pthread.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt-zero.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt.yml unknown 0.04 0.04 None pthread-ext/14_spin2003-pthread.yml unknown 0.05 0.05 None pthread-ext/14_spin2003.yml unknown 0.04 0.04 None pthread-ext/18_read_write_lock-pthread.yml true 10.35 6.40 None pthread-ext/18_read_write_lock.yml true 15.62 8.77 None pthread-ext/25_stack-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack.yml unknown 0.04 0.04 None pthread-ext/25_stack_longer-2-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack_longer-2.yml unknown 0.04 0.04 None pthread-ext/25_stack_longest-1-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack_longest-1.yml unknown 0.04 0.09 None pthread-ext/26_stack_cas.yml unknown 0.04 0.04 None pthread-ext/26_stack_cas_longer-2.yml unknown 0.04 0.05 None pthread-ext/26_stack_cas_longest-2.yml unknown 0.04 0.04 None pthread-ext/29_conditionals_vs.yml unknown 0.04 0.04 None pthread-ext/31_simple_loop5_vs-pthread.yml unknown 0.04 0.04 None pthread-ext/31_simple_loop5_vs.yml unknown 0.04 0.04 None pthread-ext/35_double_lock_p3_vs-pthread.yml unknown 0.04 0.04 None pthread-ext/35_double_lock_p3_vs.yml unknown 0.04 0.04 None pthread-ext/36_stack_cas_p0_vs_concur.yml unknown 0.04 0.04 None pthread-ext/37_stack_lock_p0_vs_concur-pthread.yml unknown 0.04 0.04 None pthread-ext/37_stack_lock_p0_vs_concur.yml unknown 0.04 0.05 None pthread-ext/39_rand_lock_p0_vs-pthread.yml unknown 0.04 0.04 None pthread-ext/39_rand_lock_p0_vs.yml unknown 0.04 0.04 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml unknown 0.04 0.04 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml unknown 0.04 0.04 None pthread-ext/45_monabsex1_vs.yml unknown 0.04 0.04 None pthread-ext/46_monabsex2_vs.yml unknown 0.05 0.05 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml unknown 0.04 0.04 None pthread-ext/48_ticket_lock_low_contention_vs.yml unknown 0.05 0.05 None pthread-wmm/rfi000_tso.yml true 41.26 23.58 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 34.99 19.35 None pthread-wmm/rfi002_tso.yml true 56.97 36.97 None pthread-wmm/rfi003_tso.yml true 38.26 24.52 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 30.56 16.34 None pthread-wmm/safe001_tso.yml true 28.48 15.27 None pthread-wmm/safe002_tso.yml true 26.79 14.45 None pthread-wmm/safe003_tso.yml true 34.49 18.58 None pthread-wmm/safe004_tso.yml true 20.62 11.82 None pthread-wmm/safe005_tso.yml true 41.92 22.34 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 16.71 9.34 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 24.66 13.75 None pthread-wmm/safe008_tso.yml true 30.87 16.41 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.95 13.62 None pthread-wmm/safe010_tso.yml true 16.61 9.40 None pthread-wmm/safe011_tso.yml true 19.56 10.78 None pthread-wmm/safe012_tso.yml true 30.07 15.98 None pthread-wmm/safe013_tso.yml true 37.67 20.10 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 26.23 14.55 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.24 14.04 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 43.46 23.33 None pthread-wmm/safe017_tso.yml true 22.68 12.40 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 22.13 12.00 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 44.43 27.56 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 17.22 9.86 None pthread-wmm/safe021_tso.yml true 38.88 20.75 None pthread-wmm/safe022_tso.yml true 16.35 9.05 None pthread-wmm/safe023_tso.yml true 31.80 16.91 None pthread-wmm/safe024_tso.yml true 34.11 19.99 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 35.89 20.31 None pthread-wmm/safe026_tso.yml true 21.87 13.36 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 46.80 25.06 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 25.64 14.29 None pthread-wmm/safe029_tso.yml true 16.52 9.38 None pthread-wmm/safe030_tso.yml true 23.43 12.99 None pthread-wmm/safe031_tso.yml true 26.82 14.76 None pthread-wmm/safe032_tso.yml true 35.28 19.01 None pthread-wmm/safe033_tso.yml true 16.12 8.99 None pthread-wmm/safe034_tso.yml true 28.54 15.33 None pthread-wmm/safe035_power.yml true 121.76 99.13 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 28.80 15.69 None pthread-wmm/safe036.yml true 12.49 7.43 None pthread-wmm/safe037.yml true 36.14 19.46 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 60.13 40.74 None pthread-lit/sssc12-pthread.yml unknown 0.05 0.05 None pthread-lit/sssc12.yml unknown 0.05 0.05 None pthread-lit/sssc12_variant-pthread.yml unknown 0.04 0.04 None pthread-lit/sssc12_variant.yml unknown 0.04 0.04 None ldv-races/race-1_1-join.yml true 11.85 8.49 None ldv-races/race-2_1-container_of.yml unknown 0.04 0.04 None ldv-races/race-3_1-container_of-global.yml unknown 0.04 0.04 None ldv-races/race-4_1-thread_local_vars.yml true 20.73 11.50 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR (7) 28.23 15.66 None pthread-complex/workstealqueue_mutex-2.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 34.01 18.89 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 25.84 14.82 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 36.52 20.91 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 40.68 23.49 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 42.27 24.16 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 29.62 18.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 39.38 22.43 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 39.66 21.91 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 36.73 20.85 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 33.13 19.34 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 36.41 20.72 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 26.41 14.97 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 36.75 20.92 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 29.17 18.47 None pthread-C-DAC/pthread-demo-datarace-1.yml true 14.20 8.35 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 21.81 12.05 None pthread-C-DAC/pthread-numerical-integration.yml unknown 22.90 12.74 None pthread-divine/tls_basic.yml unknown 0.04 0.04 None goblint-regression/13-privatized_01-priv_nr_true.yml true 13.86 7.90 None goblint-regression/13-privatized_04-priv_multi_true.yml true 27.50 14.97 None goblint-regression/13-privatized_18-first-reads_true.yml true 13.61 7.75 None goblint-regression/13-privatized_19-publish-precision_true.yml true 10.75 6.39 None goblint-regression/13-privatized_20-publish-regression_true.yml true 11.05 6.66 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 15.44 8.60 None goblint-regression/13-privatized_25-struct_nr_true.yml true 13.68 7.82 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 14.67 8.44 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 10.79 6.65 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 13.76 8.22 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 14.15 8.38 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 14.76 8.56 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 11.87 6.99 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 15.05 8.49 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 14.08 8.04 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 14.67 8.51 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 15.01 8.28 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 11.29 7.35 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 10.50 6.73 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 10.53 6.57 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 14.92 8.74 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 13.82 8.11 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 10.90 6.85 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 13.31 7.57 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 14.44 8.22 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 13.57 7.79 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 13.44 7.66 None goblint-regression/13-privatized_66-mine-W-init_true.yml true 10.41 7.03 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 18.65 10.59 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 13.83 7.93 None goblint-regression/28-race_reach_02-simple_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_04-munge_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_08-cond_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_12-ptr_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_20-callback_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_22-deref_read_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_28-funptr_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_36-indirect_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_41-trylock_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_42-trylock2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_46-escape_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_60-invariant_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_70-funloop_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_79-equ_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_85-list2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_87-lists_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml unknown 0.05 0.05 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 13.89 7.99 None goblint-regression/36-apron_16-traces-unprot2_true.yml unknown 0.04 0.04 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 13.88 8.14 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 11.28 6.78 None weaver/array-eq-symm.wvr.yml true 14.26 8.24 None weaver/array-eq-trans.wvr.yml true 18.16 10.98 None weaver/bench-exp1x3.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x3.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x4.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x6.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x9.wvr.yml unknown 0.04 0.04 None weaver/bench-exp3x3-opt.wvr.yml unknown 0.04 0.04 None weaver/bench-exp3x3.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-opt-symm.wvr.yml true 21.93 12.60 None weaver/chl-chromosome-subst.wvr.yml unknown 0.04 0.08 None weaver/chl-chromosome-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-exp-term-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-exp-term-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-match-subst.wvr.yml true 13.39 8.37 None weaver/chl-match-symm.wvr.yml true 15.29 9.15 None weaver/chl-match-trans.wvr.yml true 17.13 10.09 None weaver/chl-name-comparator-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-node-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-node-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-node-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-poker-hand-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-poker-hand-symm.wvr.yml true 28.89 15.38 None weaver/chl-poker-hand-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-sre-subst.wvr.yml true 12.13 7.18 None weaver/chl-sre-symm.wvr.yml true 14.14 8.11 None weaver/chl-sre-trans.wvr.yml true 16.32 9.53 None weaver/chl-time-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-time-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-time-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-word-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-word-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-word-trans.wvr.yml unknown 0.04 0.04 None weaver/clever.wvr.yml true 13.21 7.88 None weaver/fibonacci.wvr.yml unknown 0.04 0.04 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.55 878.24 None weaver/mult-comm.wvr.yml unknown 0.04 0.04 None weaver/mult-dist.wvr.yml unknown 0.04 0.04 None weaver/mult-flipped-dist.wvr.yml unknown 0.05 0.05 None weaver/parallel-bakery-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-bakery-3.wvr.yml unknown 0.04 0.04 None weaver/parallel-bakery-4.wvr.yml unknown 0.04 0.04 None weaver/parallel-barrier.wvr.yml true 46.53 30.76 None weaver/parallel-bluetooth.wvr.yml true 10.27 6.49 None weaver/parallel-lamport.wvr.yml true 21.42 13.01 None weaver/parallel-min-max-1.wvr.yml true 14.90 8.42 None weaver/parallel-misc-1.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2-unrolled.wvr.yml unknown 0.05 0.05 None weaver/parallel-misc-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-3-extended.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-3.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-4.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-5.wvr.yml unknown 0.04 0.04 None weaver/parallel-parallel-sum-1-dsl.wvr.yml true 19.95 11.33 None weaver/parallel-parallel-sum-1.wvr.yml true 10.54 6.84 None weaver/parallel-parallel-sum-2.wvr.yml true 18.96 10.80 None weaver/parallel-parallel-sum-equiv.wvr.yml true 16.54 9.90 None weaver/parallel-simple-equiv.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-3.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-4.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-5.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-6.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-7.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-8.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 24.18 13.07 None weaver/popl20-bad-commit-1.wvr-bad.yml true 14.39 8.59 None weaver/popl20-bad-commit-2.wvr-bad.yml true 55.51 33.93 None weaver/popl20-bad-counter-queue2.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-dot-product-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-dot-product.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-ring-nondet.wvr.yml true 11.14 6.91 None weaver/popl20-bad-ring.wvr.yml true 14.40 8.49 None weaver/popl20-bad-threaded-sum-2.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-three-array-sum-alt.wvr.yml unknown 0.05 0.05 None weaver/popl20-channel-sum.wvr.yml unknown 0.04 0.04 None weaver/popl20-commit-1.wvr.yml unknown 0.04 0.04 None weaver/popl20-commit-2.wvr.yml unknown 0.04 0.04 None weaver/popl20-counter-determinism.wvr.yml true 17.21 10.12 None weaver/popl20-counter-fun.wvr.yml unknown 0.04 0.04 None weaver/popl20-difference-det.wvr.yml true 13.69 9.61 None weaver/popl20-figure1-alt.wvr.yml true 14.02 7.95 None weaver/popl20-figure1.wvr.yml true 13.46 7.68 None weaver/popl20-figure3.wvr.yml true 13.52 7.75 None weaver/popl20-horseshoe.wvr.yml true 10.88 6.80 None weaver/popl20-min-max-dec.wvr.yml true 11.87 6.93 None weaver/popl20-min-max-inc-dec.wvr.yml true 21.31 11.72 None weaver/popl20-min-max-inc.wvr.yml true 15.62 8.99 None weaver/popl20-more-array-sum-alt2.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-array-sum2.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-buffer-mult2.wvr.yml true 24.14 12.91 None weaver/popl20-more-buffer-series2.wvr.yml true 25.00 13.75 None weaver/popl20-more-dec-subseq.wvr.yml true 11.16 6.65 None weaver/popl20-more-inc-subseq.wvr.yml true 15.89 9.07 None weaver/popl20-more-max-array-hom.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-max-array.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-min-array-hom.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-min-array.wvr.yml unknown 0.05 0.05 None weaver/popl20-more-min-le-max.wvr.yml true 11.02 7.51 None weaver/popl20-more-mts.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-multiply-verify.wvr.yml unknown 0.04 0.05 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml true 9.57 6.86 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 14.10 8.01 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 10.31 6.63 None weaver/popl20-more-sorted.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-sum-array-hom.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-vector-add.wvr.yml unknown 0.04 0.04 None weaver/popl20-mult-4.wvr.yml true 13.45 7.64 None weaver/popl20-mult-equiv.wvr.yml unknown 0.04 0.04 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 9.84 6.39 None weaver/popl20-nonblocking-cntr.wvr.yml true 10.57 6.35 None weaver/popl20-prod-cons-eq.wvr.yml unknown 0.04 0.04 None weaver/popl20-prod-cons.wvr.yml true 14.26 8.12 None weaver/popl20-prod-cons3.wvr.yml true 12.20 7.69 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 16.51 9.69 None weaver/popl20-queue-add-2.wvr.yml true 10.64 7.27 None weaver/popl20-queue-add-3.wvr.yml true 14.54 8.57 None weaver/popl20-send-receive-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-send-receive.wvr.yml unknown 0.04 0.04 None weaver/popl20-simple-array-sum.wvr.yml true 19.89 11.34 None weaver/popl20-simple-queue.wvr.yml unknown 0.04 0.04 None weaver/popl20-threaded-sum-3.wvr.yml true 13.98 7.99 None weaver/popl20-three-array-max.wvr.yml true 22.75 12.88 None weaver/popl20-three-array-min.wvr.yml true 16.90 10.22 None weaver/popl20-three-array-sum.wvr.yml true 16.48 10.18 None weaver/popl20-two-queue.wvr.yml unknown 0.04 0.04 None weaver/security.wvr.yml true 15.27 8.61 None weaver/spaghetti.wvr.yml unknown 0.04 0.04 None weaver/test-context1.wvr.yml true 10.53 7.53 None weaver/test-easy1.wvr.yml unknown 0.04 0.04 None weaver/test-easy10.wvr.yml unknown 0.04 0.04 None weaver/test-easy11.wvr.yml true 17.58 10.42 None weaver/test-easy6.wvr.yml true 26.66 17.16 None weaver/test-easy7.wvr.yml unknown 0.04 0.04 None weaver/test-easy8.wvr.yml unknown 0.04 0.04 None weaver/test-hard1.wvr.yml unknown 0.04 0.04 None weaver/test-semi1.wvr.yml true 13.07 7.39 None weaver/unroll-2.wvr.yml true 14.63 8.43 None weaver/unroll-3.wvr.yml true 9.93 6.36 None weaver/unroll-4.wvr.yml true 14.10 8.24 None weaver/unroll-5.wvr.yml true 14.26 8.43 None weaver/unroll-cond-2.wvr.yml true 13.68 8.16 None weaver/unroll-cond-3.wvr.yml true 10.97 6.90 None weaver/unroll-cond-4.wvr.yml true 10.30 6.54 None weaver/unroll-cond-5.wvr.yml true 11.42 9.22 None pthread-deagle/arithmetic_prog_ok.yml true 12.79 7.72 None pthread-deagle/circular_buffer_ok.yml true 192.26 156.82 None pthread-race-challenges/thread-local-pthread-value.yml unknown 0.04 0.04 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 0.04 0.04 None pthread-race-challenges/thread-local-value.yml unknown 0.04 0.04 None pthread/fib_unsafe-10.yml true 18.17 10.39 None pthread/fib_unsafe-11.yml true 17.51 9.96 None pthread/fib_unsafe-12.yml true 17.67 9.98 None pthread/fib_unsafe-5.yml true 17.09 9.95 None pthread/fib_unsafe-6.yml true 17.76 10.48 None pthread/fib_unsafe-7.yml true 12.78 7.90 None pthread/lazy01.yml true 11.87 7.47 None pthread/queue.yml TIMEOUT 901.01 841.09 None pthread/queue_longer.yml OUT OF MEMORY 58.17 39.80 None pthread/queue_longest.yml OUT OF MEMORY 98.38 75.60 None pthread/reorder_2.yml unknown 0.04 0.04 None pthread/reorder_5.yml unknown 0.04 0.04 None pthread/singleton.yml unknown 0.04 0.04 None pthread/stack-2.yml unknown 0.04 0.04 None pthread/stack_longer-1.yml unknown 0.04 0.04 None pthread/stack_longest-1.yml unknown 0.04 0.04 None pthread/stateful01-1.yml true 14.13 8.34 None pthread/triangular-2.yml true 15.89 9.25 None pthread/triangular-longer-2.yml true 15.40 8.70 None pthread/triangular-longest-2.yml true 11.89 8.21 None pthread/twostage_3.yml unknown 0.04 0.04 None pthread-atomic/read_write_lock-2.yml true 30.63 17.75 None pthread-ext/25_stack_longer-1-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack_longer-1.yml unknown 0.04 0.04 None pthread-ext/25_stack_longest-2-pthread.yml unknown 0.04 0.04 None pthread-ext/25_stack_longest-2.yml unknown 0.04 0.04 None pthread-ext/26_stack_cas_longer-1.yml unknown 0.04 0.04 None pthread-ext/26_stack_cas_longest-1.yml unknown 0.04 0.04 None pthread-ext/28_buggy_simple_loop1_vf.yml unknown 0.04 0.04 None pthread-ext/40_barrier_vf-pthread.yml unknown 0.04 0.04 None pthread-ext/40_barrier_vf.yml unknown 0.04 0.04 None pthread-wmm/mix000.oepc.yml true 42.49 24.18 None pthread-wmm/mix000.opt.yml true 53.22 29.01 None pthread-wmm/mix001.oepc.yml true 490.24 403.29 None pthread-wmm/mix001.opt.yml true 349.56 276.89 None pthread-wmm/mix002.oepc.yml true 622.18 571.99 None pthread-wmm/mix002.opt.yml true 578.87 485.43 None pthread-wmm/mix003.oepc.yml true 320.20 252.61 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml true 220.86 178.66 None pthread-wmm/mix004.oepc.yml TIMEOUT 900.45 815.82 None pthread-wmm/mix004.opt.yml TIMEOUT 900.94 787.80 None pthread-wmm/mix005.opt.yml TIMEOUT 900.47 819.64 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.23 850.18 None pthread-wmm/mix005_tso.oepc.yml TIMEOUT 901.25 781.06 None pthread-wmm/mix006.opt.yml true 152.58 115.73 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml true 360.89 291.82 None pthread-wmm/mix006_tso.oepc.yml true 497.25 418.68 None pthread-wmm/mix007.oepc.yml TIMEOUT 900.48 815.51 None pthread-wmm/mix007.opt.yml TIMEOUT 900.97 784.25 None pthread-wmm/mix008.opt.yml TIMEOUT 900.88 785.43 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.01 781.35 None pthread-wmm/mix008_tso.oepc.yml TIMEOUT 900.99 847.46 None pthread-wmm/mix009.oepc.yml true 39.53 23.57 None pthread-wmm/mix009.opt.yml true 40.33 24.10 None pthread-wmm/mix010.oepc.yml true 407.76 333.74 None pthread-wmm/mix010.opt.yml true 239.95 202.42 None pthread-wmm/mix011.opt.yml true 269.20 203.89 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml true 336.62 270.90 None pthread-wmm/mix011_tso.oepc.yml true 274.99 219.10 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 33.46 18.65 None pthread-wmm/mix012_pso.opt_tso.opt.yml true 32.11 18.17 None pthread-wmm/mix013.oepc.yml TIMEOUT 900.49 814.85 None pthread-wmm/mix013.opt.yml TIMEOUT 901.39 822.77 None pthread-wmm/mix014.opt.yml TIMEOUT 901.35 838.94 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.15 846.87 None pthread-wmm/mix014_tso.oepc.yml TIMEOUT 900.57 794.63 None pthread-wmm/mix015.oepc.yml true 543.70 460.38 None pthread-wmm/mix015.opt.yml true 297.00 232.13 None pthread-wmm/mix016.oepc.yml true 161.71 113.22 None pthread-wmm/mix016_power.opt_rmo.opt.yml true 213.94 159.38 None pthread-wmm/mix016_pso.opt_tso.opt.yml true 166.18 125.13 None pthread-wmm/mix017.oepc.yml TIMEOUT 901.07 783.49 None pthread-wmm/mix017_power.opt_rmo.opt.yml TIMEOUT 901.01 776.37 None pthread-wmm/mix017_pso.opt_tso.opt.yml TIMEOUT 901.04 783.78 None pthread-wmm/mix018.opt.yml TIMEOUT 900.49 821.35 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.92 792.14 None pthread-wmm/mix018_tso.oepc.yml TIMEOUT 901.20 781.61 None pthread-wmm/mix019.opt.yml true 189.56 134.77 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml true 141.46 111.56 None pthread-wmm/mix019_tso.oepc.yml true 153.35 107.87 None pthread-wmm/mix020.oepc.yml TIMEOUT 900.95 791.02 None pthread-wmm/mix020.opt.yml true 806.75 747.24 None pthread-wmm/mix021.opt.yml TIMEOUT 900.89 789.18 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.57 819.18 None pthread-wmm/mix021_tso.oepc.yml TIMEOUT 900.59 813.66 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 42.96 23.10 None pthread-wmm/mix022_tso.yml true 39.81 21.03 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.40 844.08 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.96 780.12 None pthread-wmm/mix023_tso.yml TIMEOUT 901.09 844.74 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 567.05 480.88 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml true 464.57 384.05 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 238.61 182.57 None pthread-wmm/mix025_pso.opt_rmo.opt.yml true 210.93 160.13 None pthread-wmm/mix026.oepc.yml TIMEOUT 900.98 787.83 None pthread-wmm/mix026_power.opt_tso.opt.yml TIMEOUT 900.48 817.23 None pthread-wmm/mix026_pso.opt_rmo.opt.yml TIMEOUT 901.13 787.03 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.96 788.14 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.10 784.07 None pthread-wmm/mix027_tso.yml TIMEOUT 901.40 841.08 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 243.24 185.57 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml true 205.06 154.08 None pthread-wmm/mix028_tso.yml true 180.96 130.09 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 900.45 819.77 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.57 818.82 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.95 785.42 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.09 782.35 None pthread-wmm/mix030_tso.yml TIMEOUT 900.98 784.92 None pthread-wmm/mix031.oepc.yml true 59.37 33.73 None pthread-wmm/mix031.opt.yml true 54.60 31.03 None pthread-wmm/mix032.oepc.yml true 414.63 376.67 None pthread-wmm/mix032.opt.yml true 231.24 198.34 None pthread-wmm/mix033.opt.yml true 268.63 209.56 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml true 400.26 361.53 None pthread-wmm/mix033_tso.oepc.yml true 376.76 304.16 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 46.52 25.29 None pthread-wmm/mix034_pso.opt_tso.opt.yml true 39.43 21.16 None pthread-wmm/mix035.oepc.yml true 265.53 221.77 None pthread-wmm/mix035_power.opt_rmo.opt.yml true 259.97 198.94 None pthread-wmm/mix035_pso.opt_tso.opt.yml true 157.03 126.59 None pthread-wmm/mix036.oepc.yml TIMEOUT 900.99 786.27 None pthread-wmm/mix036_power.opt_rmo.opt.yml TIMEOUT 901.00 784.01 None pthread-wmm/mix036_pso.opt_tso.opt.yml TIMEOUT 901.00 785.76 None pthread-wmm/mix037.opt.yml TIMEOUT 901.01 778.18 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.25 846.55 None pthread-wmm/mix037_tso.oepc.yml TIMEOUT 900.50 814.18 None pthread-wmm/mix038.opt.yml true 144.46 112.41 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml true 258.87 200.99 None pthread-wmm/mix038_tso.oepc.yml true 188.42 159.12 None pthread-wmm/mix039.oepc.yml TIMEOUT 901.37 843.72 None pthread-wmm/mix039.opt.yml TIMEOUT 900.88 781.87 None pthread-wmm/mix040.opt.yml TIMEOUT 900.52 814.87 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.88 788.37 None pthread-wmm/mix040_tso.oepc.yml TIMEOUT 900.79 815.36 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml true 48.26 25.59 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 27.36 15.91 None pthread-wmm/mix042.oepc.yml true 274.30 211.42 None pthread-wmm/mix042.opt.yml true 149.97 119.14 None pthread-wmm/mix043.oepc.yml TIMEOUT 900.88 790.77 None pthread-wmm/mix043.opt.yml TIMEOUT 901.38 844.49 None pthread-wmm/mix044.opt.yml TIMEOUT 900.96 785.23 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.95 786.62 None pthread-wmm/mix044_tso.oepc.yml TIMEOUT 900.96 786.61 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml true 245.00 190.65 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 164.69 118.03 None pthread-wmm/mix046.oepc.yml TIMEOUT 901.58 821.69 None pthread-wmm/mix046.opt.yml TIMEOUT 901.45 836.70 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.92 787.05 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 900.98 786.99 None pthread-wmm/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.yml true 27.48 15.86 None pthread-wmm/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.yml true 200.56 144.76 None pthread-wmm/mix050.yml TIMEOUT 901.48 840.72 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 900.91 787.89 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml true 606.76 538.89 None pthread-wmm/mix051_tso.oepc.yml TIMEOUT 900.78 815.59 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 137.26 95.61 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml true 120.77 80.48 None pthread-wmm/mix052_tso.oepc.yml true 135.89 92.52 None pthread-wmm/mix053.opt.yml true 860.80 797.19 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.09 782.95 None pthread-wmm/mix053_tso.oepc.yml true 743.10 637.75 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 37.81 20.21 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 28.32 15.19 None pthread-wmm/mix055.opt.yml TIMEOUT 901.20 788.62 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.27 785.14 None pthread-wmm/mix055_tso.oepc.yml TIMEOUT 901.28 785.42 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml true 110.81 80.50 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 90.58 63.26 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.56 814.65 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 823.47 715.24 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 33.67 19.61 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml true 21.27 12.75 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 36.74 20.66 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 36.53 19.94 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 24.72 14.58 None pthread-wmm/rfi004.yml true 31.73 17.78 None pthread-wmm/rfi005.yml true 25.66 14.00 None pthread-wmm/rfi006_power.oepc.yml true 195.57 168.23 None pthread-wmm/rfi006_power.opt.yml true 342.15 278.85 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 81.24 54.79 None pthread-wmm/rfi006_rmo.yml true 223.65 172.35 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 31.84 18.00 None pthread-wmm/rfi007_tso.yml true 30.71 16.95 None pthread-wmm/rfi008.oepc.yml true 42.92 25.75 None pthread-wmm/rfi008.opt.yml true 40.99 23.55 None pthread-wmm/rfi009_power.oepc.yml true 234.82 191.48 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 54.84 34.23 None pthread-wmm/rfi009_rmo.oepc.yml true 214.96 175.46 None pthread-wmm/rfi010.yml true 37.90 20.51 None pthread-wmm/safe000_power.oepc.yml true 329.41 264.79 None pthread-wmm/safe000_power.opt.yml true 752.83 701.10 None pthread-wmm/safe000_rmo.yml true 285.02 246.69 None pthread-wmm/safe001_power.oepc.yml true 370.86 301.94 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 119.04 78.78 None pthread-wmm/safe001_rmo.oepc.yml true 288.11 254.61 None pthread-wmm/safe002_power.oepc.yml true 340.69 274.92 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 87.36 59.46 None pthread-wmm/safe002_rmo.oepc.yml true 277.18 236.44 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 204.41 152.94 None pthread-wmm/safe003_power.opt.yml TIMEOUT 901.24 784.84 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml true 238.57 194.19 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml true 61.92 42.18 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 79.83 48.11 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml true 37.93 24.22 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml true 99.75 62.65 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 51.35 29.02 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml true 180.43 150.36 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml true 380.66 311.04 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 217.63 162.69 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 114.96 89.86 None pthread-wmm/safe008_power.opt.yml true 534.08 453.74 None pthread-wmm/safe009_power.oepc.yml true 205.75 156.37 None pthread-wmm/safe009_power.opt.yml true 534.54 450.67 None pthread-wmm/safe009_rmo.oepc.yml true 154.80 123.28 None pthread-wmm/safe009_rmo.opt.yml true 267.82 220.15 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 27.46 14.62 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 147.70 102.98 None pthread-wmm/safe011_power.opt_pso.opt.yml true 70.75 50.17 None pthread-wmm/safe012_power.oepc.yml true 168.30 137.99 None pthread-wmm/safe012_power.opt.yml true 321.90 254.43 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml true 58.81 39.49 None pthread-wmm/safe012_rmo.oepc.yml true 156.56 122.59 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 90.41 56.41 None pthread-wmm/safe014_power.oepc.yml true 264.72 201.95 None pthread-wmm/safe014_power.opt.yml true 303.06 242.65 None pthread-wmm/safe014_rmo.oepc.yml true 205.94 172.50 None pthread-wmm/safe014_rmo.opt.yml true 392.16 345.28 None pthread-wmm/safe015_power.oepc.yml true 310.10 240.99 None pthread-wmm/safe015_power.opt.yml true 583.89 536.39 None pthread-wmm/safe015_rmo.yml true 572.62 511.69 None pthread-wmm/safe016_power.oepc.yml true 854.12 776.71 None pthread-wmm/safe016_power.opt.yml TIMEOUT 901.23 783.03 None pthread-wmm/safe016_rmo.oepc.yml true 855.33 795.08 None pthread-wmm/safe016_rmo.opt.yml TIMEOUT 901.29 843.04 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 109.89 74.48 None pthread-wmm/safe018_power.oepc.yml true 156.66 112.65 None pthread-wmm/safe018_power.opt.yml true 300.80 237.98 None pthread-wmm/safe018_rmo.oepc.yml true 153.64 109.76 None pthread-wmm/safe018_rmo.opt.yml true 224.22 171.87 None pthread-wmm/safe019_power.oepc.yml true 884.52 775.39 None pthread-wmm/safe019_power.opt.yml TIMEOUT 901.00 783.82 None pthread-wmm/safe019_rmo.oepc.yml true 740.98 647.54 None pthread-wmm/safe019_rmo.opt.yml TIMEOUT 901.54 825.08 None pthread-wmm/safe020_power.yml true 394.22 318.18 None pthread-wmm/safe020_rmo.yml true 298.55 239.41 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 140.00 97.06 None pthread-wmm/safe021_power.opt_pso.opt.yml true 154.06 105.93 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 35.02 18.64 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 169.38 119.02 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 160.42 112.04 None pthread-wmm/safe025_power.yml true 385.92 330.76 None pthread-wmm/safe025_rmo.yml true 727.18 678.01 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 126.79 84.71 None pthread-wmm/safe027_power.oepc.yml true 699.15 608.16 None pthread-wmm/safe027_power.opt.yml TIMEOUT 900.58 794.19 None pthread-wmm/safe027_rmo.yml true 623.89 540.75 None pthread-wmm/safe028_power.yml true 577.53 490.67 None pthread-wmm/safe028_rmo.yml true 365.07 319.39 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml true 28.12 15.05 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml true 22.77 12.28 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml true 99.15 71.70 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml true 64.10 36.66 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml true 56.04 35.98 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml true 75.95 44.86 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 115.80 76.97 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 21.00 11.56 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 60.98 39.36 None pthread-wmm/thin002_power.oepc.yml TIMEOUT 900.52 815.76 None pthread-wmm/thin002_power.opt.yml TIMEOUT 900.57 794.94 None pthread-wmm/thin002_rmo.yml TIMEOUT 901.31 844.14 None pthread-lit/qw2004-2b.yml unknown 0.04 0.04 None ldv-races/race-1_2-join.yml true 12.17 7.36 None ldv-races/race-1_3-join.yml true 12.15 7.83 None ldv-races/race-2_2-container_of.yml unknown 0.04 0.04 None ldv-races/race-2_3-container_of.yml unknown 0.04 0.04 None ldv-races/race-2_4-container_of.yml unknown 0.04 0.04 None ldv-races/race-2_5-container_of.yml unknown 0.04 0.04 None ldv-races/race-3_2-container_of-global.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR (7) 34.09 18.14 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR (7) 25.47 14.30 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml ERROR (7) 27.54 14.72 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR (7) 21.30 12.52 None pthread-complex/bounded_buffer.yml unknown 0.04 0.04 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.84 870.86 None pthread-complex/safestack_relacy.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 34.61 18.80 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 36.59 20.53 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 26.72 16.08 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 34.36 19.01 None pthread-C-DAC/pthread-demo-datarace-3.yml true 13.75 7.76 None pthread-divine/tls_destructor_worker.yml unknown 0.05 0.05 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 10.49 6.66 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 10.92 7.12 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 13.43 8.07 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 13.45 7.63 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 11.21 7.38 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 14.45 8.14 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 13.94 7.93 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 11.22 6.98 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 14.48 8.10 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 13.64 7.72 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml true 12.15 7.96 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml true 16.57 9.15 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml true 15.08 8.49 None goblint-regression/28-race_reach_01-simple_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_03-munge_racing.yml unknown 0.05 0.05 None goblint-regression/28-race_reach_06-cond_racing1.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_07-cond_racing2.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_11-ptr_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_19-callback_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_21-deref_read_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_24-sound_lock_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_27-funptr_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_37-indirect_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_45-escape_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_61-invariant_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_71-funloop_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_78-equ_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_81-list_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_82-list_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_83-list2_racing1.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_84-list2_racing2.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_86-lists_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_94-alloc_region_racing.yml unknown 0.04 0.04 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 13.80 7.87 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 10.62 7.13 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml unknown 0.04 0.04 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml unknown 0.04 0.04 None weaver/parallel-barrier-loop.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-buffer-mult-alt.wvr.yml true 24.92 13.23 None weaver/popl20-bad-counter-queue.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-array-sum-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-array-sum.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-buffer-mult.wvr.yml true 17.43 10.34 None weaver/popl20-more-buffer-series.wvr.yml true 26.45 14.28 None pthread-deagle/arithmetic_prog_bad.yml true 17.40 9.72 None pthread-deagle/circular_buffer_bad.yml unknown 0.04 0.04 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 5 done 116894.48 7693.14 - verify+validate-goblint-witnesses-mutex-meet-local Run set 6 of 9: skipped validate-goblint-witnesses-mutex-meet-local Run set 7 of 9 with options '--full-output --witness-type correctness_witness --witnessparser.only.consider.loop.invariants false --cacsl2boogietranslator.check.unreachability.of.reach_error.function false --validate ./goblint.2024-08-20_10-08-36.files/mutex-meet-local/${taskdef_name}/witness.yml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml unknown 0.04 0.04 None pthread/bigshot_s2.yml unknown 0.04 0.04 None pthread/fib_safe-10.yml true 16.59 10.21 None pthread/fib_safe-11.yml true 21.45 12.34 None pthread/fib_safe-12.yml true 21.21 12.59 None pthread/fib_safe-5.yml true 14.86 9.42 None pthread/fib_safe-6.yml true 20.78 12.09 None pthread/fib_safe-7.yml true 15.32 10.66 None pthread/queue_ok.yml TIMEOUT 900.82 869.77 None pthread/queue_ok_longer.yml OUT OF MEMORY 98.52 66.87 None pthread/queue_ok_longest.yml OUT OF MEMORY 76.17 48.02 None pthread/singleton_with-uninit-problems.yml unknown 0.04 0.04 None pthread/stack-1.yml true 12.31 7.87 None pthread/stack_longer-2.yml true 12.90 9.33 None pthread/stack_longest-2.yml true 16.13 9.43 None pthread/stateful01-2.yml true 14.35 8.65 None pthread/sync01.yml unknown 0.04 0.04 None pthread/triangular-1.yml true 22.75 13.00 None pthread/triangular-longer-1.yml true 16.74 10.43 None pthread/triangular-longest-1.yml true 22.63 12.94 None pthread-atomic/dekker.yml true 33.45 19.26 None pthread-atomic/lamport.yml true 96.83 71.76 None pthread-atomic/peterson.yml true 26.65 14.93 None pthread-atomic/read_write_lock-1-pthread.yml true 22.30 13.50 None pthread-atomic/read_write_lock-1.yml true 31.18 18.95 None pthread-atomic/szymanski.yml true 62.27 35.79 None pthread-atomic/time_var_mutex.yml true 16.20 9.79 None pthread-ext/01b_inc-pthread.yml OUT OF MEMORY 101.90 62.47 None pthread-ext/01b_inc.yml unknown 0.04 0.04 None pthread-ext/02_inc_cas.yml unknown 0.04 0.04 None pthread-ext/03_incdec-pthread.yml unknown 0.04 0.04 None pthread-ext/03_incdec.yml unknown 0.04 0.04 None pthread-ext/04_incdec_cas.yml unknown 0.04 0.04 None pthread-ext/08_rand_cas.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym-pthread.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym-zero.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt-pthread.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt-zero.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt.yml unknown 0.04 0.04 None pthread-ext/14_spin2003-pthread.yml OUT OF MEMORY 80.65 53.48 None pthread-ext/14_spin2003.yml unknown 0.04 0.04 None pthread-ext/18_read_write_lock-pthread.yml true 11.81 7.54 None pthread-ext/18_read_write_lock.yml true 16.52 9.50 None pthread-ext/25_stack-pthread.yml OUT OF MEMORY 112.02 69.26 None pthread-ext/25_stack.yml OUT OF MEMORY 87.69 58.77 None pthread-ext/25_stack_longer-2-pthread.yml OUT OF MEMORY 118.96 74.20 None pthread-ext/25_stack_longer-2.yml OUT OF MEMORY 82.54 54.53 None pthread-ext/25_stack_longest-1-pthread.yml OUT OF MEMORY 83.91 55.15 None pthread-ext/25_stack_longest-1.yml OUT OF MEMORY 91.00 61.74 None pthread-ext/26_stack_cas.yml TIMEOUT 901.26 825.72 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 901.55 820.04 None pthread-ext/26_stack_cas_longest-2.yml TIMEOUT 901.81 820.33 None pthread-ext/29_conditionals_vs.yml unknown 0.04 0.04 None pthread-ext/31_simple_loop5_vs-pthread.yml OUT OF MEMORY 87.16 54.13 None pthread-ext/31_simple_loop5_vs.yml unknown 0.04 0.04 None pthread-ext/35_double_lock_p3_vs-pthread.yml OUT OF MEMORY 105.24 68.70 None pthread-ext/35_double_lock_p3_vs.yml unknown 0.04 0.05 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 900.92 844.89 None pthread-ext/37_stack_lock_p0_vs_concur-pthread.yml TIMEOUT 901.10 864.12 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 777.58 692.64 None pthread-ext/39_rand_lock_p0_vs-pthread.yml OUT OF MEMORY 83.22 55.46 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 105.15 76.33 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml unknown 0.04 0.04 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml unknown 0.05 0.05 None pthread-ext/45_monabsex1_vs.yml unknown 0.05 0.05 None pthread-ext/46_monabsex2_vs.yml unknown 0.04 0.05 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 95.01 59.79 None pthread-ext/48_ticket_lock_low_contention_vs.yml unknown 0.05 0.05 None pthread-wmm/rfi000_tso.yml true 471.94 425.55 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 410.78 342.58 None pthread-wmm/rfi002_tso.yml TIMEOUT 901.24 816.85 None pthread-wmm/rfi003_tso.yml true 461.32 406.29 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 95.81 57.22 None pthread-wmm/safe001_tso.yml true 102.38 65.75 None pthread-wmm/safe002_tso.yml true 75.89 51.17 None pthread-wmm/safe003_tso.yml true 105.05 64.36 None pthread-wmm/safe004_tso.yml true 97.20 72.52 None pthread-wmm/safe005_tso.yml true 169.22 118.43 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 32.98 18.09 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 91.03 56.63 None pthread-wmm/safe008_tso.yml true 56.10 33.83 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 46.74 27.88 None pthread-wmm/safe010_tso.yml true 30.40 16.78 None pthread-wmm/safe011_tso.yml true 72.99 41.30 None pthread-wmm/safe012_tso.yml true 73.42 49.36 None pthread-wmm/safe013_tso.yml true 90.80 53.08 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 146.22 104.58 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 90.77 66.40 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 271.57 212.41 None pthread-wmm/safe017_tso.yml true 64.60 36.21 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 58.35 34.09 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 253.56 191.90 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 64.41 35.48 None pthread-wmm/safe021_tso.yml true 61.17 38.25 None pthread-wmm/safe022_tso.yml true 23.97 14.49 None pthread-wmm/safe023_tso.yml true 133.99 93.22 None pthread-wmm/safe024_tso.yml true 74.30 50.50 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 103.17 74.86 None pthread-wmm/safe026_tso.yml true 51.63 30.72 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 187.02 149.69 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 54.39 33.51 None pthread-wmm/safe029_tso.yml true 18.79 10.81 None pthread-wmm/safe030_tso.yml true 65.31 36.68 None pthread-wmm/safe031_tso.yml true 63.62 39.13 None pthread-wmm/safe032_tso.yml true 126.85 85.33 None pthread-wmm/safe033_tso.yml true 22.31 13.18 None pthread-wmm/safe034_tso.yml true 62.84 40.81 None pthread-wmm/safe035_power.yml TIMEOUT 901.40 805.25 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 130.13 103.44 None pthread-wmm/safe036.yml true 35.49 19.31 None pthread-wmm/safe037.yml true 70.92 45.66 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 487.90 402.79 None pthread-lit/sssc12-pthread.yml OUT OF MEMORY 155.16 103.15 None pthread-lit/sssc12.yml OUT OF MEMORY 85.04 63.17 None pthread-lit/sssc12_variant-pthread.yml OUT OF MEMORY 114.93 83.07 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 95.43 70.08 None ldv-races/race-1_1-join.yml unknown 0.04 0.04 None ldv-races/race-2_1-container_of.yml unknown 0.04 0.04 None ldv-races/race-3_1-container_of-global.yml unknown 0.04 0.04 None ldv-races/race-4_1-thread_local_vars.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml OUT OF MEMORY 110.37 73.96 None pthread-complex/workstealqueue_mutex-2.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 23.60 13.51 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 24.27 13.88 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 26.11 15.19 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 37.57 20.90 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 24.39 13.81 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 25.93 14.69 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 24.96 14.50 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 0.05 0.05 None pthread-C-DAC/pthread-demo-datarace-1.yml true 13.55 8.76 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 22.01 11.96 None pthread-C-DAC/pthread-numerical-integration.yml unknown 16.37 9.65 None pthread-divine/tls_basic.yml unknown 0.04 0.04 None goblint-regression/13-privatized_01-priv_nr_true.yml true 11.20 7.60 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 79.53 47.49 None goblint-regression/13-privatized_18-first-reads_true.yml true 10.17 6.70 None goblint-regression/13-privatized_19-publish-precision_true.yml true 12.07 8.13 None goblint-regression/13-privatized_20-publish-regression_true.yml true 11.71 7.14 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 20.18 11.76 None goblint-regression/13-privatized_25-struct_nr_true.yml true 10.47 6.77 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 37.83 20.66 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 14.42 9.21 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 12.00 7.63 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 12.74 7.87 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 15.71 8.99 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 12.39 7.46 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 13.46 8.97 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 16.63 9.80 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 11.55 7.27 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 12.03 8.36 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 16.21 9.25 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 12.49 7.84 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.01 6.82 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 11.55 6.97 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 12.87 8.21 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 9.97 6.87 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 13.50 8.22 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 13.80 8.08 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 13.39 7.85 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 10.39 6.29 None goblint-regression/13-privatized_66-mine-W-init_true.yml unknown 0.04 0.04 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 17.19 10.36 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 11.65 7.22 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 66.73 47.34 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 74.77 51.16 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml ERROR (7) 18.05 9.95 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 82.91 52.33 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 114.61 73.93 None goblint-regression/28-race_reach_12-ptr_racefree.yml OUT OF MEMORY 174.19 139.98 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 83.18 57.97 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 55.46 36.89 None goblint-regression/28-race_reach_28-funptr_racefree.yml ERROR (7) 20.89 11.41 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 114.54 75.58 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 82.06 50.28 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 133.20 81.83 None goblint-regression/28-race_reach_46-escape_racefree.yml true 12.16 7.21 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 87.42 64.02 None goblint-regression/28-race_reach_60-invariant_racefree.yml OUT OF MEMORY 75.80 51.01 None goblint-regression/28-race_reach_70-funloop_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 154.49 110.00 None goblint-regression/28-race_reach_85-list2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_87-lists_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml unknown 0.04 0.04 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 13.39 7.91 None goblint-regression/36-apron_16-traces-unprot2_true.yml unknown 0.04 0.04 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 37.31 20.58 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 15.02 9.27 None weaver/array-eq-symm.wvr.yml unknown 0.04 0.04 None weaver/array-eq-trans.wvr.yml unknown 0.04 0.04 None weaver/bench-exp1x3.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x3.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x4.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x6.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x9.wvr.yml unknown 0.04 0.04 None weaver/bench-exp3x3-opt.wvr.yml unknown 0.04 0.04 None weaver/bench-exp3x3.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-opt-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-exp-term-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-exp-term-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-match-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-match-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-match-trans.wvr.yml unknown 0.04 0.05 None weaver/chl-name-comparator-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-node-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-node-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-node-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 901.30 807.76 None weaver/chl-poker-hand-symm.wvr.yml true 223.64 195.27 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 901.12 833.71 None weaver/chl-simpl-str-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-sre-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-sre-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-sre-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-time-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-time-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-time-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-word-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-word-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-word-trans.wvr.yml unknown 0.04 0.04 None weaver/clever.wvr.yml unknown 0.04 0.04 None weaver/fibonacci.wvr.yml unknown 0.04 0.04 None weaver/loop-tiling-eq.wvr.yml unknown 0.04 0.04 None weaver/mult-comm.wvr.yml unknown 0.04 0.04 None weaver/mult-dist.wvr.yml unknown 0.04 0.04 None weaver/mult-flipped-dist.wvr.yml unknown 0.04 0.04 None weaver/parallel-bakery-2.wvr.yml true 104.65 66.11 None weaver/parallel-bakery-3.wvr.yml TIMEOUT 901.68 771.50 None weaver/parallel-bakery-4.wvr.yml TIMEOUT 900.91 788.81 None weaver/parallel-barrier.wvr.yml true 823.65 697.10 None weaver/parallel-bluetooth.wvr.yml true 15.98 9.35 None weaver/parallel-lamport.wvr.yml true 58.27 38.73 None weaver/parallel-min-max-1.wvr.yml true 18.51 11.85 None weaver/parallel-misc-1.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 15.68 9.52 None weaver/parallel-misc-2-unrolled.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-3-extended.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-3.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-4.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-5.wvr.yml true 25.84 15.71 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 117.74 77.16 None weaver/parallel-parallel-sum-1.wvr.yml true 326.92 264.68 None weaver/parallel-parallel-sum-2.wvr.yml TIMEOUT 901.18 841.67 None weaver/parallel-parallel-sum-equiv.wvr.yml true 91.55 68.43 None weaver/parallel-simple-equiv.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-2.wvr.yml true 25.03 14.85 None weaver/parallel-ticket-3.wvr.yml true 47.00 29.46 None weaver/parallel-ticket-4.wvr.yml true 113.24 85.47 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 293.79 250.41 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 113.33 71.45 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 103.67 64.42 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 84.45 55.52 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 900.84 861.74 None weaver/popl20-bad-commit-1.wvr-bad.yml true 498.47 446.15 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 901.76 827.11 None weaver/popl20-bad-counter-queue2.wvr.yml true 28.21 16.31 None weaver/popl20-bad-dot-product-alt.wvr.yml true 205.00 151.27 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 177.71 126.40 None weaver/popl20-bad-ring-nondet.wvr.yml true 397.28 326.34 None weaver/popl20-bad-ring.wvr.yml true 529.52 457.72 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 15.60 9.14 None weaver/popl20-bad-three-array-sum-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-channel-sum.wvr.yml true 18.68 11.06 None weaver/popl20-commit-1.wvr.yml true 567.69 531.89 None weaver/popl20-commit-2.wvr.yml TIMEOUT 901.15 800.62 None weaver/popl20-counter-determinism.wvr.yml true 22.25 12.79 None weaver/popl20-counter-fun.wvr.yml true 57.21 36.12 None weaver/popl20-difference-det.wvr.yml true 19.58 11.54 None weaver/popl20-figure1-alt.wvr.yml true 14.17 8.44 None weaver/popl20-figure1.wvr.yml true 14.22 8.47 None weaver/popl20-figure3.wvr.yml true 14.06 8.37 None weaver/popl20-horseshoe.wvr.yml true 195.46 149.88 None weaver/popl20-min-max-dec.wvr.yml true 25.84 15.73 None weaver/popl20-min-max-inc-dec.wvr.yml true 46.62 31.85 None weaver/popl20-min-max-inc.wvr.yml true 34.27 19.46 None weaver/popl20-more-array-sum-alt2.wvr.yml TIMEOUT 901.28 806.78 None weaver/popl20-more-array-sum2.wvr.yml true 94.35 69.91 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 900.45 807.46 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 900.37 803.63 None weaver/popl20-more-dec-subseq.wvr.yml true 33.25 20.85 None weaver/popl20-more-inc-subseq.wvr.yml true 44.10 26.48 None weaver/popl20-more-max-array-hom.wvr.yml true 17.30 11.19 None weaver/popl20-more-max-array.wvr.yml true 17.22 11.63 None weaver/popl20-more-min-array-hom.wvr.yml true 22.16 13.56 None weaver/popl20-more-min-array.wvr.yml true 17.15 11.20 None weaver/popl20-more-min-le-max.wvr.yml true 22.06 13.51 None weaver/popl20-more-mts.wvr.yml true 68.30 45.70 None weaver/popl20-more-multiply-verify.wvr.yml true 29.71 17.20 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml true 13.66 8.48 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 29.48 18.01 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 207.48 152.95 None weaver/popl20-more-sorted.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-sum-array-hom.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-vector-add.wvr.yml unknown 0.04 0.04 None weaver/popl20-mult-4.wvr.yml true 20.04 12.01 None weaver/popl20-mult-equiv.wvr.yml true 16.39 10.12 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 14.22 8.40 None weaver/popl20-nonblocking-cntr.wvr.yml true 10.67 6.95 None weaver/popl20-prod-cons-eq.wvr.yml unknown 0.04 0.04 None weaver/popl20-prod-cons.wvr.yml true 85.25 62.67 None weaver/popl20-prod-cons3.wvr.yml true 247.67 195.59 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 28.64 18.93 None weaver/popl20-queue-add-2.wvr.yml true 82.29 57.46 None weaver/popl20-queue-add-3.wvr.yml true 201.55 158.12 None weaver/popl20-send-receive-alt.wvr.yml true 34.33 23.35 None weaver/popl20-send-receive.wvr.yml true 21.12 13.36 None weaver/popl20-simple-array-sum.wvr.yml true 38.07 24.60 None weaver/popl20-simple-queue.wvr.yml true 30.03 19.91 None weaver/popl20-threaded-sum-3.wvr.yml true 21.60 12.16 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 98.66 74.17 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 129.16 86.38 None weaver/popl20-three-array-sum.wvr.yml true 96.41 71.21 None weaver/popl20-two-queue.wvr.yml true 169.85 149.33 None weaver/security.wvr.yml unknown 0.04 0.04 None weaver/spaghetti.wvr.yml unknown 0.04 0.04 None weaver/test-context1.wvr.yml true 13.97 9.01 None weaver/test-easy1.wvr.yml unknown 0.04 0.04 None weaver/test-easy10.wvr.yml unknown 0.04 0.04 None weaver/test-easy11.wvr.yml true 14.17 9.57 None weaver/test-easy6.wvr.yml true 26.55 15.31 None weaver/test-easy7.wvr.yml unknown 0.04 0.04 None weaver/test-easy8.wvr.yml unknown 0.04 0.04 None weaver/test-hard1.wvr.yml TIMEOUT 901.27 838.83 None weaver/test-semi1.wvr.yml true 13.23 8.34 None weaver/unroll-2.wvr.yml unknown 0.04 0.04 None weaver/unroll-3.wvr.yml unknown 0.04 0.04 None weaver/unroll-4.wvr.yml unknown 0.04 0.04 None weaver/unroll-5.wvr.yml unknown 0.04 0.04 None weaver/unroll-cond-2.wvr.yml unknown 0.04 0.04 None weaver/unroll-cond-3.wvr.yml unknown 0.04 0.04 None weaver/unroll-cond-4.wvr.yml unknown 0.04 0.04 None weaver/unroll-cond-5.wvr.yml unknown 0.04 0.04 None pthread-deagle/arithmetic_prog_ok.yml unknown 0.04 0.04 None pthread-deagle/circular_buffer_ok.yml true 70.89 40.47 None pthread-race-challenges/thread-local-pthread-value.yml unknown 0.04 0.04 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 0.04 0.04 None pthread-race-challenges/thread-local-value.yml unknown 0.04 0.04 None pthread/fib_unsafe-10.yml true 14.82 10.05 None pthread/fib_unsafe-11.yml true 15.63 9.84 None pthread/fib_unsafe-12.yml true 15.06 9.84 None pthread/fib_unsafe-5.yml true 15.32 9.84 None pthread/fib_unsafe-6.yml true 19.73 11.67 None pthread/fib_unsafe-7.yml true 14.89 9.75 None pthread/lazy01.yml true 13.42 8.77 None pthread/queue.yml TIMEOUT 901.08 843.98 None pthread/queue_longer.yml OUT OF MEMORY 89.23 57.51 None pthread/queue_longest.yml OUT OF MEMORY 65.74 45.29 None pthread/reorder_2.yml unknown 0.04 0.04 None pthread/reorder_5.yml unknown 0.04 0.04 None pthread/singleton.yml unknown 0.04 0.04 None pthread/stack-2.yml unknown 0.04 0.04 None pthread/stack_longer-1.yml unknown 0.04 0.04 None pthread/stack_longest-1.yml unknown 0.04 0.04 None pthread/stateful01-1.yml true 11.62 7.58 None pthread/triangular-2.yml true 22.09 12.68 None pthread/triangular-longer-2.yml true 17.26 10.68 None pthread/triangular-longest-2.yml true 16.36 10.23 None pthread/twostage_3.yml unknown 0.04 0.04 None pthread-atomic/read_write_lock-2.yml true 73.14 41.44 None pthread-ext/25_stack_longer-1-pthread.yml OUT OF MEMORY 80.70 52.77 None pthread-ext/25_stack_longer-1.yml OUT OF MEMORY 96.93 59.13 None pthread-ext/25_stack_longest-2-pthread.yml OUT OF MEMORY 71.35 46.59 None pthread-ext/25_stack_longest-2.yml OUT OF MEMORY 80.09 54.91 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.70 856.17 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.81 852.32 None pthread-ext/28_buggy_simple_loop1_vf.yml unknown 0.04 0.04 None pthread-ext/40_barrier_vf-pthread.yml unknown 0.04 0.04 None pthread-ext/40_barrier_vf.yml unknown 0.04 0.04 None pthread-wmm/mix000.oepc.yml true 288.52 221.73 None pthread-wmm/mix000.opt.yml true 293.11 226.08 None pthread-wmm/mix001.oepc.yml TIMEOUT 901.31 835.28 None pthread-wmm/mix001.opt.yml TIMEOUT 901.24 830.94 None pthread-wmm/mix002.oepc.yml TIMEOUT 901.48 796.49 None pthread-wmm/mix002.opt.yml TIMEOUT 901.11 850.48 None pthread-wmm/mix003.oepc.yml TIMEOUT 901.47 797.60 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 900.64 799.87 None pthread-wmm/mix004.oepc.yml TIMEOUT 900.76 793.47 None pthread-wmm/mix004.opt.yml TIMEOUT 901.44 811.43 None pthread-wmm/mix005.opt.yml TIMEOUT 901.56 802.08 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.79 783.61 None pthread-wmm/mix005_tso.oepc.yml TIMEOUT 900.62 821.40 None pthread-wmm/mix006.opt.yml TIMEOUT 901.51 814.38 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.51 795.40 None pthread-wmm/mix006_tso.oepc.yml TIMEOUT 901.11 850.49 None pthread-wmm/mix007.oepc.yml TIMEOUT 901.48 829.22 None pthread-wmm/mix007.opt.yml TIMEOUT 901.30 834.38 None pthread-wmm/mix008.opt.yml TIMEOUT 901.50 827.98 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.58 836.83 None pthread-wmm/mix008_tso.oepc.yml TIMEOUT 901.38 807.04 None pthread-wmm/mix009.oepc.yml true 239.31 180.44 None pthread-wmm/mix009.opt.yml true 307.06 239.14 None pthread-wmm/mix010.oepc.yml TIMEOUT 901.46 799.51 None pthread-wmm/mix010.opt.yml TIMEOUT 901.65 805.06 None pthread-wmm/mix011.opt.yml TIMEOUT 901.49 809.05 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.36 796.20 None pthread-wmm/mix011_tso.oepc.yml true 841.18 743.49 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 156.02 118.74 None pthread-wmm/mix012_pso.opt_tso.opt.yml true 251.24 193.86 None pthread-wmm/mix013.oepc.yml TIMEOUT 901.17 794.07 None pthread-wmm/mix013.opt.yml TIMEOUT 901.32 835.74 None pthread-wmm/mix014.opt.yml TIMEOUT 901.20 838.03 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.64 820.06 None pthread-wmm/mix014_tso.oepc.yml TIMEOUT 901.25 834.29 None pthread-wmm/mix015.oepc.yml TIMEOUT 900.97 850.75 None pthread-wmm/mix015.opt.yml TIMEOUT 901.36 805.90 None pthread-wmm/mix016.oepc.yml true 865.94 814.36 None pthread-wmm/mix016_power.opt_rmo.opt.yml TIMEOUT 900.50 789.92 None pthread-wmm/mix016_pso.opt_tso.opt.yml TIMEOUT 901.49 806.58 None pthread-wmm/mix017.oepc.yml TIMEOUT 900.91 797.46 None pthread-wmm/mix017_power.opt_rmo.opt.yml TIMEOUT 901.68 798.37 None pthread-wmm/mix017_pso.opt_tso.opt.yml TIMEOUT 901.49 801.86 None pthread-wmm/mix018.opt.yml TIMEOUT 901.59 807.55 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.68 792.35 None pthread-wmm/mix018_tso.oepc.yml TIMEOUT 901.43 823.78 None pthread-wmm/mix019.opt.yml true 804.38 745.15 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml true 790.44 734.48 None pthread-wmm/mix019_tso.oepc.yml true 408.80 358.11 None pthread-wmm/mix020.oepc.yml TIMEOUT 900.66 790.26 None pthread-wmm/mix020.opt.yml TIMEOUT 901.17 846.61 None pthread-wmm/mix021.opt.yml TIMEOUT 901.09 851.29 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.85 795.59 None pthread-wmm/mix021_tso.oepc.yml TIMEOUT 901.34 790.42 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 215.56 154.31 None pthread-wmm/mix022_tso.yml true 191.30 138.24 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.21 785.38 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.50 797.30 None pthread-wmm/mix023_tso.yml TIMEOUT 901.32 842.80 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.44 810.11 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.54 795.64 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.47 806.06 None pthread-wmm/mix025_pso.opt_rmo.opt.yml true 867.90 801.16 None pthread-wmm/mix026.oepc.yml TIMEOUT 901.32 839.94 None pthread-wmm/mix026_power.opt_tso.opt.yml TIMEOUT 901.16 783.94 None pthread-wmm/mix026_pso.opt_rmo.opt.yml TIMEOUT 901.61 822.59 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.39 842.96 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.68 798.20 None pthread-wmm/mix027_tso.yml TIMEOUT 901.42 840.13 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.48 800.63 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml true 555.47 468.55 None pthread-wmm/mix028_tso.yml true 858.84 763.71 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.49 826.12 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.89 796.69 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.01 794.28 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.94 794.77 None pthread-wmm/mix030_tso.yml TIMEOUT 901.35 829.51 None pthread-wmm/mix031.oepc.yml true 241.89 200.32 None pthread-wmm/mix031.opt.yml true 304.20 238.23 None pthread-wmm/mix032.oepc.yml TIMEOUT 901.62 795.24 None pthread-wmm/mix032.opt.yml TIMEOUT 901.28 822.20 None pthread-wmm/mix033.opt.yml TIMEOUT 901.63 797.39 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.16 844.20 None pthread-wmm/mix033_tso.oepc.yml true 730.66 675.99 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 220.98 182.62 None pthread-wmm/mix034_pso.opt_tso.opt.yml true 215.16 157.94 None pthread-wmm/mix035.oepc.yml TIMEOUT 901.50 799.11 None pthread-wmm/mix035_power.opt_rmo.opt.yml TIMEOUT 901.48 804.28 None pthread-wmm/mix035_pso.opt_tso.opt.yml true 695.97 644.49 None pthread-wmm/mix036.oepc.yml TIMEOUT 900.63 799.30 None pthread-wmm/mix036_power.opt_rmo.opt.yml TIMEOUT 901.30 834.00 None pthread-wmm/mix036_pso.opt_tso.opt.yml TIMEOUT 901.58 803.60 None pthread-wmm/mix037.opt.yml TIMEOUT 901.49 801.41 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.91 797.78 None pthread-wmm/mix037_tso.oepc.yml TIMEOUT 901.53 828.01 None pthread-wmm/mix038.opt.yml true 809.83 707.83 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml true 776.25 720.16 None pthread-wmm/mix038_tso.oepc.yml true 686.67 618.09 None pthread-wmm/mix039.oepc.yml TIMEOUT 901.73 799.26 None pthread-wmm/mix039.opt.yml TIMEOUT 901.30 845.08 None pthread-wmm/mix040.opt.yml TIMEOUT 901.16 835.80 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml unknown 0.04 0.04 None pthread-wmm/mix040_tso.oepc.yml TIMEOUT 900.94 804.78 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml true 246.71 183.96 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 166.53 119.26 None pthread-wmm/mix042.oepc.yml true 870.91 775.92 None pthread-wmm/mix042.opt.yml true 795.38 697.66 None pthread-wmm/mix043.oepc.yml TIMEOUT 901.45 831.05 None pthread-wmm/mix043.opt.yml TIMEOUT 900.99 794.82 None pthread-wmm/mix044.opt.yml TIMEOUT 900.85 790.91 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.37 821.90 None pthread-wmm/mix044_tso.oepc.yml TIMEOUT 901.34 789.96 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.31 800.95 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 617.64 571.84 None pthread-wmm/mix046.oepc.yml TIMEOUT 901.46 825.04 None pthread-wmm/mix046.opt.yml TIMEOUT 900.98 788.84 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.94 837.35 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 819.27 756.55 None pthread-wmm/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.yml true 164.40 109.92 None pthread-wmm/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.yml true 632.91 544.81 None pthread-wmm/mix050.yml TIMEOUT 901.13 786.75 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml TIMEOUT 900.87 799.21 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml TIMEOUT 901.58 844.82 None pthread-wmm/mix051_tso.oepc.yml TIMEOUT 901.12 780.54 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 566.62 507.85 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml true 617.58 523.83 None pthread-wmm/mix052_tso.oepc.yml true 403.12 323.52 None pthread-wmm/mix053.opt.yml TIMEOUT 901.73 826.94 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.77 795.99 None pthread-wmm/mix053_tso.oepc.yml TIMEOUT 901.65 826.32 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 160.74 105.15 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 134.20 85.78 None pthread-wmm/mix055.opt.yml TIMEOUT 900.70 788.29 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.67 790.73 None pthread-wmm/mix055_tso.oepc.yml TIMEOUT 901.72 820.19 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml true 529.46 470.14 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 492.84 409.34 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.74 787.20 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.77 831.40 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 350.47 267.16 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml true 272.98 203.79 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 271.83 191.98 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 153.44 121.56 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 309.78 239.20 None pthread-wmm/rfi004.yml true 236.11 169.98 None pthread-wmm/rfi005.yml true 103.97 62.76 None pthread-wmm/rfi006_power.oepc.yml true 825.37 773.54 None pthread-wmm/rfi006_power.opt.yml TIMEOUT 900.69 791.72 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 732.30 661.85 None pthread-wmm/rfi006_rmo.yml TIMEOUT 901.01 776.09 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 233.47 162.51 None pthread-wmm/rfi007_tso.yml true 220.65 155.32 None pthread-wmm/rfi008.oepc.yml true 248.88 183.93 None pthread-wmm/rfi008.opt.yml true 287.75 235.15 None pthread-wmm/rfi009_power.oepc.yml true 584.61 492.85 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml TIMEOUT 901.59 808.60 None pthread-wmm/rfi009_rmo.oepc.yml true 810.70 717.08 None pthread-wmm/rfi010.yml true 302.13 235.62 None pthread-wmm/safe000_power.oepc.yml true 709.44 606.78 None pthread-wmm/safe000_power.opt.yml TIMEOUT 900.80 795.41 None pthread-wmm/safe000_rmo.yml true 673.81 569.79 None pthread-wmm/safe001_power.oepc.yml true 865.25 799.68 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 627.43 564.65 None pthread-wmm/safe001_rmo.oepc.yml true 608.36 534.89 None pthread-wmm/safe002_power.oepc.yml true 785.03 670.94 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml TIMEOUT 901.34 823.00 None pthread-wmm/safe002_rmo.oepc.yml true 730.88 632.24 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.22 847.26 None pthread-wmm/safe003_power.opt.yml TIMEOUT 900.94 791.44 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.72 787.45 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml TIMEOUT 900.76 787.77 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 900.69 789.33 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml true 172.55 121.57 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml true 693.00 629.40 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 151.05 111.51 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml true 572.22 477.73 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml TIMEOUT 901.53 807.35 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 775.19 709.00 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 548.09 462.25 None pthread-wmm/safe008_power.opt.yml TIMEOUT 901.65 833.73 None pthread-wmm/safe009_power.oepc.yml true 334.50 263.90 None pthread-wmm/safe009_power.opt.yml TIMEOUT 901.64 804.57 None pthread-wmm/safe009_rmo.oepc.yml true 316.02 248.06 None pthread-wmm/safe009_rmo.opt.yml true 414.42 354.41 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 127.62 83.15 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 487.81 428.29 None pthread-wmm/safe011_power.opt_pso.opt.yml true 418.17 334.70 None pthread-wmm/safe012_power.oepc.yml true 588.26 486.20 None pthread-wmm/safe012_power.opt.yml TIMEOUT 901.57 787.94 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml true 823.76 716.57 None pthread-wmm/safe012_rmo.oepc.yml true 842.22 800.91 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 681.43 589.13 None pthread-wmm/safe014_power.oepc.yml TIMEOUT 901.15 778.45 None pthread-wmm/safe014_power.opt.yml TIMEOUT 900.72 800.24 None pthread-wmm/safe014_rmo.oepc.yml TIMEOUT 901.78 837.26 None pthread-wmm/safe014_rmo.opt.yml TIMEOUT 901.57 821.76 None pthread-wmm/safe015_power.oepc.yml TIMEOUT 901.46 817.89 None pthread-wmm/safe015_power.opt.yml true 805.13 696.44 None pthread-wmm/safe015_rmo.yml true 758.91 691.61 None pthread-wmm/safe016_power.oepc.yml TIMEOUT 901.85 814.78 None pthread-wmm/safe016_power.opt.yml OUT OF MEMORY 816.10 703.14 None pthread-wmm/safe016_rmo.oepc.yml OUT OF MEMORY 680.17 579.34 None pthread-wmm/safe016_rmo.opt.yml OUT OF MEMORY 727.42 624.21 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 503.34 417.70 None pthread-wmm/safe018_power.oepc.yml true 540.24 449.12 None pthread-wmm/safe018_power.opt.yml TIMEOUT 901.16 850.21 None pthread-wmm/safe018_rmo.oepc.yml true 354.40 278.66 None pthread-wmm/safe018_rmo.opt.yml true 569.48 479.90 None pthread-wmm/safe019_power.oepc.yml TIMEOUT 901.39 780.39 None pthread-wmm/safe019_power.opt.yml TIMEOUT 901.49 841.50 None pthread-wmm/safe019_rmo.oepc.yml TIMEOUT 900.71 815.39 None pthread-wmm/safe019_rmo.opt.yml TIMEOUT 900.94 809.40 None pthread-wmm/safe020_power.yml TIMEOUT 901.47 831.61 None pthread-wmm/safe020_rmo.yml true 454.65 370.63 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 610.13 518.67 None pthread-wmm/safe021_power.opt_pso.opt.yml true 429.18 352.53 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 169.58 115.33 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.30 838.25 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 725.40 636.61 None pthread-wmm/safe025_power.yml TIMEOUT 901.65 799.84 None pthread-wmm/safe025_rmo.yml TIMEOUT 901.05 782.75 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 605.30 519.49 None pthread-wmm/safe027_power.oepc.yml TIMEOUT 901.22 777.49 None pthread-wmm/safe027_power.opt.yml TIMEOUT 901.36 806.08 None pthread-wmm/safe027_rmo.yml TIMEOUT 901.09 774.87 None pthread-wmm/safe028_power.yml TIMEOUT 901.01 854.68 None pthread-wmm/safe028_rmo.yml true 605.69 511.04 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml true 131.56 81.65 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml true 106.53 72.99 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml true 441.73 386.70 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml true 310.64 260.52 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml true 513.25 425.24 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml true 368.25 320.97 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml TIMEOUT 901.09 845.17 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 169.93 122.14 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 485.27 430.01 None pthread-wmm/thin002_power.oepc.yml TIMEOUT 901.82 772.62 None pthread-wmm/thin002_power.opt.yml TIMEOUT 901.69 797.38 None pthread-wmm/thin002_rmo.yml TIMEOUT 901.15 768.95 None pthread-lit/qw2004-2b.yml unknown 0.05 0.09 None ldv-races/race-1_2-join.yml unknown 0.05 0.05 None ldv-races/race-1_3-join.yml unknown 0.05 0.05 None ldv-races/race-2_2-container_of.yml unknown 0.05 0.05 None ldv-races/race-2_3-container_of.yml unknown 0.04 0.05 None ldv-races/race-2_4-container_of.yml unknown 0.04 0.05 None ldv-races/race-2_5-container_of.yml unknown 0.05 0.05 None ldv-races/race-3_2-container_of-global.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml OUT OF MEMORY 132.85 89.17 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 478.29 432.62 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml TIMEOUT 900.93 868.42 None pthread-complex/bounded_buffer.yml unknown 0.04 0.04 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.94 849.11 None pthread-complex/safestack_relacy.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 27.77 16.37 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 27.44 15.69 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 36.23 20.18 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 25.74 14.77 None pthread-C-DAC/pthread-demo-datarace-3.yml true 15.78 9.30 None pthread-divine/tls_destructor_worker.yml unknown 0.04 0.04 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 10.11 6.35 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 14.00 8.21 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 10.14 6.43 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 14.17 8.59 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 14.56 8.52 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 14.95 9.24 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 11.35 7.26 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 15.51 9.20 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 14.82 8.86 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 14.85 8.57 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml true 12.12 7.93 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml true 17.09 9.84 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml true 16.78 9.92 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 87.83 54.71 None goblint-regression/28-race_reach_03-munge_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 72.22 48.29 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 96.73 61.77 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml OUT OF MEMORY 118.57 73.82 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 143.49 112.92 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 103.91 66.69 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 80.43 49.33 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 20.69 11.34 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 81.28 51.19 None goblint-regression/28-race_reach_27-funptr_racing.yml ERROR (7) 20.27 10.95 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 109.25 73.77 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 19.35 10.93 None goblint-regression/28-race_reach_45-escape_racing.yml true 16.64 9.57 None goblint-regression/28-race_reach_61-invariant_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_71-funloop_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 170.65 109.72 None goblint-regression/28-race_reach_81-list_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_82-list_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_83-list2_racing1.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_84-list2_racing2.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_86-lists_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_94-alloc_region_racing.yml unknown 0.04 0.04 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 16.68 9.44 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 15.79 9.07 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml unknown 0.04 0.04 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml unknown 0.04 0.04 None weaver/parallel-barrier-loop.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 901.13 845.94 None weaver/popl20-bad-counter-queue.wvr.yml true 101.70 72.76 None weaver/popl20-more-array-sum-alt.wvr.yml TIMEOUT 900.39 794.75 None weaver/popl20-more-array-sum.wvr.yml TIMEOUT 900.71 867.80 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 900.50 804.75 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 900.73 871.45 None pthread-deagle/arithmetic_prog_bad.yml unknown 0.04 0.04 None pthread-deagle/circular_buffer_bad.yml true 26.59 14.60 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 7 done 220504.57 14212.68 - verify+validate-goblint-witnesses-protection-local Run set 8 of 9: skipped validate-goblint-witnesses-protection-local Run set 9 of 9 with options '--full-output --witness-type correctness_witness --witnessparser.only.consider.loop.invariants false --cacsl2boogietranslator.check.unreachability.of.reach_error.function false --validate ./goblint.2024-08-20_10-08-36.files/protection-local/${taskdef_name}/witness.yml' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ pthread/bigshot_s.yml unknown 0.05 0.05 None pthread/bigshot_s2.yml unknown 0.04 0.05 None pthread/fib_safe-10.yml true 16.41 10.65 None pthread/fib_safe-11.yml true 21.64 12.60 None pthread/fib_safe-12.yml true 21.29 12.45 None pthread/fib_safe-5.yml true 15.36 10.02 None pthread/fib_safe-6.yml true 21.11 12.21 None pthread/fib_safe-7.yml true 15.90 10.74 None pthread/queue_ok.yml TIMEOUT 901.01 869.16 None pthread/queue_ok_longer.yml OUT OF MEMORY 91.98 61.32 None pthread/queue_ok_longest.yml OUT OF MEMORY 83.85 53.29 None pthread/singleton_with-uninit-problems.yml unknown 0.04 0.04 None pthread/stack-1.yml unknown 0.04 0.04 None pthread/stack_longer-2.yml unknown 0.04 0.04 None pthread/stack_longest-2.yml unknown 0.04 0.04 None pthread/stateful01-2.yml true 15.06 9.04 None pthread/sync01.yml unknown 0.05 0.05 None pthread/triangular-1.yml true 16.57 10.17 None pthread/triangular-longer-1.yml true 18.43 11.95 None pthread/triangular-longest-1.yml true 22.83 13.05 None pthread-atomic/dekker.yml true 45.23 24.95 None pthread-atomic/lamport.yml true 111.46 74.56 None pthread-atomic/peterson.yml true 20.32 11.67 None pthread-atomic/read_write_lock-1-pthread.yml true 19.73 12.20 None pthread-atomic/read_write_lock-1.yml true 33.34 19.12 None pthread-atomic/szymanski.yml true 48.92 33.28 None pthread-atomic/time_var_mutex.yml true 15.88 9.44 None pthread-ext/01b_inc-pthread.yml OUT OF MEMORY 85.50 58.26 None pthread-ext/01b_inc.yml unknown 0.04 0.04 None pthread-ext/02_inc_cas.yml unknown 0.04 0.04 None pthread-ext/03_incdec-pthread.yml unknown 0.04 0.04 None pthread-ext/03_incdec.yml unknown 0.04 0.04 None pthread-ext/04_incdec_cas.yml unknown 0.05 0.05 None pthread-ext/08_rand_cas.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym-pthread.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym-zero.yml unknown 0.04 0.04 None pthread-ext/09_fmaxsym.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt-pthread.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt-zero.yml unknown 0.04 0.04 None pthread-ext/11_fmaxsymopt.yml unknown 0.04 0.04 None pthread-ext/14_spin2003-pthread.yml OUT OF MEMORY 75.67 49.75 None pthread-ext/14_spin2003.yml unknown 0.04 0.04 None pthread-ext/18_read_write_lock-pthread.yml true 15.90 9.14 None pthread-ext/18_read_write_lock.yml true 17.80 10.07 None pthread-ext/25_stack-pthread.yml OUT OF MEMORY 114.09 70.74 None pthread-ext/25_stack.yml OUT OF MEMORY 86.06 56.03 None pthread-ext/25_stack_longer-2-pthread.yml OUT OF MEMORY 85.08 57.34 None pthread-ext/25_stack_longer-2.yml OUT OF MEMORY 128.21 78.48 None pthread-ext/25_stack_longest-1-pthread.yml OUT OF MEMORY 122.56 76.07 None pthread-ext/25_stack_longest-1.yml OUT OF MEMORY 117.19 70.96 None pthread-ext/26_stack_cas.yml TIMEOUT 901.08 842.44 None pthread-ext/26_stack_cas_longer-2.yml TIMEOUT 900.98 873.27 None pthread-ext/26_stack_cas_longest-2.yml OUT OF MEMORY 489.44 412.84 None pthread-ext/29_conditionals_vs.yml unknown 0.04 0.04 None pthread-ext/31_simple_loop5_vs-pthread.yml OUT OF MEMORY 81.03 51.00 None pthread-ext/31_simple_loop5_vs.yml unknown 0.04 0.04 None pthread-ext/35_double_lock_p3_vs-pthread.yml OUT OF MEMORY 84.98 56.35 None pthread-ext/35_double_lock_p3_vs.yml unknown 0.05 0.05 None pthread-ext/36_stack_cas_p0_vs_concur.yml TIMEOUT 900.63 862.75 None pthread-ext/37_stack_lock_p0_vs_concur-pthread.yml TIMEOUT 901.22 854.64 None pthread-ext/37_stack_lock_p0_vs_concur.yml OUT OF MEMORY 564.10 494.18 None pthread-ext/39_rand_lock_p0_vs-pthread.yml OUT OF MEMORY 111.79 72.24 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 120.86 79.86 None pthread-ext/43_NetBSD_sysmon_power_sliced-pthread.yml unknown 0.04 0.04 None pthread-ext/43_NetBSD_sysmon_power_sliced.yml unknown 0.04 0.04 None pthread-ext/45_monabsex1_vs.yml unknown 0.04 0.04 None pthread-ext/46_monabsex2_vs.yml unknown 0.04 0.04 None pthread-ext/48_ticket_lock_low_contention_vs-pthread.yml OUT OF MEMORY 103.09 64.43 None pthread-ext/48_ticket_lock_low_contention_vs.yml unknown 0.05 0.05 None pthread-wmm/rfi000_tso.yml true 109.79 65.65 None pthread-wmm/rfi002_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 124.09 79.66 None pthread-wmm/rfi002_tso.yml true 212.33 154.44 None pthread-wmm/rfi003_tso.yml true 136.84 89.16 None pthread-wmm/safe000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 90.36 53.29 None pthread-wmm/safe001_tso.yml true 97.90 62.25 None pthread-wmm/safe002_tso.yml true 105.33 65.41 None pthread-wmm/safe003_tso.yml true 93.81 54.19 None pthread-wmm/safe004_tso.yml true 136.17 90.78 None pthread-wmm/safe005_tso.yml true 155.21 110.37 None pthread-wmm/safe006_pso.oepc_pso.opt_tso.oepc_tso.opt-thin000_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 29.93 16.57 None pthread-wmm/safe007_pso.oepc_pso.opt_tso.oepc_tso.opt-thin001_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 85.32 51.58 None pthread-wmm/safe008_tso.yml true 69.80 40.10 None pthread-wmm/safe009_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 68.42 37.73 None pthread-wmm/safe010_tso.yml true 26.87 14.81 None pthread-wmm/safe011_tso.yml true 72.62 41.68 None pthread-wmm/safe012_tso.yml true 102.80 62.73 None pthread-wmm/safe013_tso.yml true 76.74 46.14 None pthread-wmm/safe014_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 147.42 101.17 None pthread-wmm/safe015_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 122.91 83.03 None pthread-wmm/safe016_pso.oepc_pso.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 221.87 170.71 None pthread-wmm/safe017_tso.yml true 68.22 37.82 None pthread-wmm/safe018_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 70.82 39.89 None pthread-wmm/safe019_pso.oepc_pso.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 230.97 171.53 None pthread-wmm/safe020_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 60.16 33.14 None pthread-wmm/safe021_tso.yml true 82.24 49.34 None pthread-wmm/safe022_tso.yml true 27.42 15.32 None pthread-wmm/safe023_tso.yml true 134.67 94.75 None pthread-wmm/safe024_tso.yml true 94.76 58.17 None pthread-wmm/safe025_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 142.14 100.38 None pthread-wmm/safe026_tso.yml true 61.97 35.40 None pthread-wmm/safe027_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 251.82 198.74 None pthread-wmm/safe028_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 67.44 37.21 None pthread-wmm/safe029_tso.yml true 25.71 14.49 None pthread-wmm/safe030_tso.yml true 66.25 37.59 None pthread-wmm/safe031_tso.yml true 76.30 43.36 None pthread-wmm/safe032_tso.yml true 121.55 83.38 None pthread-wmm/safe033_tso.yml true 31.48 17.11 None pthread-wmm/safe034_tso.yml true 88.35 55.36 None pthread-wmm/safe035_power.yml true 456.69 386.42 None pthread-wmm/safe035_pso.oepc_pso.opt_rmo.oepc_rmo.opt_tso.oepc_tso.opt.yml true 152.50 107.59 None pthread-wmm/safe036.yml true 35.20 19.04 None pthread-wmm/safe037.yml true 107.80 71.62 None pthread-wmm/thin002_pso.oepc_pso.opt_tso.oepc_tso.opt.yml OUT OF MEMORY 467.86 387.06 None pthread-lit/sssc12-pthread.yml unknown 0.04 0.04 None pthread-lit/sssc12.yml unknown 0.04 0.04 None pthread-lit/sssc12_variant-pthread.yml unknown 0.04 0.04 None pthread-lit/sssc12_variant.yml unknown 0.04 0.04 None ldv-races/race-1_1-join.yml true 15.41 9.03 None ldv-races/race-2_1-container_of.yml unknown 0.04 0.04 None ldv-races/race-3_1-container_of-global.yml unknown 0.04 0.04 None ldv-races/race-4_1-thread_local_vars.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml unknown 0.04 0.04 None pthread-complex/workstealqueue_mutex-2.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_nvram_unlocked_ioctl_write_nvram.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_read_nvram_nvram_unlocked_ioctl.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_get.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_current.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_get.yml unknown 0.05 0.05 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_configure_pc8736x_gpio_set.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_get.yml unknown 0.04 0.05 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_get_pc8736x_gpio_set.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_change.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_configure.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_current.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_get.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_open_pc8736x_gpio_set.yml unknown 0.04 0.04 None pthread-C-DAC/pthread-demo-datarace-1.yml true 16.42 9.32 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 20.13 11.26 None pthread-C-DAC/pthread-numerical-integration.yml unknown 0.04 0.04 None pthread-divine/tls_basic.yml unknown 0.05 0.05 None goblint-regression/13-privatized_01-priv_nr_true.yml true 14.17 8.23 None goblint-regression/13-privatized_04-priv_multi_true.yml OUT OF MEMORY 78.74 46.74 None goblint-regression/13-privatized_18-first-reads_true.yml true 14.04 8.23 None goblint-regression/13-privatized_19-publish-precision_true.yml true 15.31 8.79 None goblint-regression/13-privatized_20-publish-regression_true.yml true 15.15 8.75 None goblint-regression/13-privatized_24-multiple-protecting_true.yml true 28.86 15.57 None goblint-regression/13-privatized_25-struct_nr_true.yml true 14.30 8.38 None goblint-regression/13-privatized_27-multiple-protecting2_true.yml true 41.11 22.33 None goblint-regression/13-privatized_29-multiple-protecting2-vesal_true.yml true 17.89 9.97 None goblint-regression/13-privatized_30-traces-oplus-vs-meet_true.yml true 15.43 9.11 None goblint-regression/13-privatized_31-traces-mine-vs-mutex_true.yml true 16.75 9.57 None goblint-regression/13-privatized_32-traces-mine-vs-oplus-vs-meet_true.yml true 16.83 9.35 None goblint-regression/13-privatized_33-traces-v-matters_true.yml true 12.27 7.49 None goblint-regression/13-privatized_34-traces-minepp-L-needs-to-be-um_true.yml true 16.56 9.37 None goblint-regression/13-privatized_35-traces-ex-2_true.yml true 17.35 9.86 None goblint-regression/13-privatized_36-traces-ex-3_true.yml true 15.96 9.07 None goblint-regression/13-privatized_37-traces-ex-4_true.yml true 15.49 9.04 None goblint-regression/13-privatized_38-traces-ex-4-switch_true.yml true 15.34 9.14 None goblint-regression/13-privatized_40-traces-ex-6_true.yml true 14.38 8.39 None goblint-regression/13-privatized_42-traces-ex-mini_true.yml true 11.09 7.19 None goblint-regression/13-privatized_44-traces-mine2_true.yml true 15.50 9.26 None goblint-regression/13-privatized_45-traces-per-global-and-current-lock-mine-incomparable_true.yml true 16.68 9.40 None goblint-regression/13-privatized_46-refine-protected1_true.yml true 13.24 7.81 None goblint-regression/13-privatized_47-refine-protected2_true.yml true 14.08 8.20 None goblint-regression/13-privatized_52-refine-protected-loop2-small_true.yml true 16.00 9.18 None goblint-regression/13-privatized_57-singlethreaded-unlock_true.yml true 12.70 7.61 None goblint-regression/13-privatized_58-singlethreaded-lock_true.yml true 10.09 5.99 None goblint-regression/13-privatized_66-mine-W-init_true.yml unknown 0.04 0.04 None goblint-regression/13-privatized_68-pfscan_protected_loop_minimal_interval_true.yml true 24.13 13.35 None goblint-regression/13-privatized_69-refine-protected-loop-interval_true.yml true 16.30 9.16 None goblint-regression/28-race_reach_02-simple_racefree.yml OUT OF MEMORY 127.76 79.67 None goblint-regression/28-race_reach_04-munge_racefree.yml OUT OF MEMORY 125.24 78.06 None goblint-regression/28-race_reach_05-lockfuns_racefree.yml ERROR (7) 18.58 10.17 None goblint-regression/28-race_reach_08-cond_racefree.yml OUT OF MEMORY 88.39 57.85 None goblint-regression/28-race_reach_10-ptrmunge_racefree.yml OUT OF MEMORY 132.48 85.29 None goblint-regression/28-race_reach_12-ptr_racefree.yml TIMEOUT 900.98 822.02 None goblint-regression/28-race_reach_20-callback_racefree.yml OUT OF MEMORY 123.09 77.76 None goblint-regression/28-race_reach_22-deref_read_racefree.yml OUT OF MEMORY 133.50 82.15 None goblint-regression/28-race_reach_28-funptr_racefree.yml ERROR (7) 15.47 8.97 None goblint-regression/28-race_reach_36-indirect_racefree.yml OUT OF MEMORY 170.60 142.89 None goblint-regression/28-race_reach_41-trylock_racefree.yml OUT OF MEMORY 103.55 66.13 None goblint-regression/28-race_reach_42-trylock2_racefree.yml OUT OF MEMORY 104.14 63.73 None goblint-regression/28-race_reach_46-escape_racefree.yml true 17.77 9.86 None goblint-regression/28-race_reach_51-mutexptr_racefree.yml OUT OF MEMORY 94.58 59.28 None goblint-regression/28-race_reach_60-invariant_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_70-funloop_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_73-funloop_hard_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_74-tricky_address1_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_75-tricky_address2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_76-tricky_address3_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_79-equ_racefree.yml OUT OF MEMORY 187.70 121.02 None goblint-regression/28-race_reach_85-list2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_87-lists_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_91-arrayloop2_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_93-evilcollapse_racefree.yml unknown 0.05 0.05 None goblint-regression/36-apron_11-traces-max-simple_true.yml true 14.19 8.49 None goblint-regression/36-apron_16-traces-unprot2_true.yml unknown 0.04 0.04 None goblint-regression/36-apron_21-traces-cluster-based_true.yml true 35.41 19.27 None goblint-regression/36-apron_22-traces-write-centered-vs-meet-mutex_true_no-overflow.yml true 17.99 10.01 None weaver/array-eq-symm.wvr.yml unknown 0.04 0.04 None weaver/array-eq-trans.wvr.yml unknown 0.04 0.04 None weaver/bench-exp1x3.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x3.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x4.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x6.wvr.yml unknown 0.04 0.04 None weaver/bench-exp2x9.wvr.yml unknown 0.04 0.04 None weaver/bench-exp3x3-opt.wvr.yml unknown 0.04 0.04 None weaver/bench-exp3x3.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-array-int-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-opt-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-chromosome-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-collitem-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-exp-term-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-exp-term-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-file-item-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-match-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-match-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-match-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-name-comparator-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-node-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-node-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-node-trans.wvr.yml unknown 0.05 0.05 None weaver/chl-nzb-file-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-nzb-file-symm.wvr.yml unknown 0.04 0.05 None weaver/chl-nzb-file-trans.wvr.yml unknown 0.04 0.05 None weaver/chl-poker-hand-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-poker-hand-symm.wvr.yml true 266.57 237.31 None weaver/chl-poker-hand-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-simpl-str-trans.wvr.yml unknown 0.05 0.05 None weaver/chl-sre-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-sre-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-sre-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-time-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-time-symm.wvr.yml unknown 0.04 0.04 None weaver/chl-time-trans.wvr.yml unknown 0.04 0.04 None weaver/chl-word-subst.wvr.yml unknown 0.04 0.04 None weaver/chl-word-symm.wvr.yml unknown 0.05 0.05 None weaver/chl-word-trans.wvr.yml unknown 0.04 0.05 None weaver/clever.wvr.yml unknown 0.04 0.04 None weaver/fibonacci.wvr.yml unknown 0.04 0.04 None weaver/loop-tiling-eq.wvr.yml unknown 0.04 0.04 None weaver/mult-comm.wvr.yml unknown 0.04 0.04 None weaver/mult-dist.wvr.yml unknown 0.04 0.04 None weaver/mult-flipped-dist.wvr.yml unknown 0.04 0.04 None weaver/parallel-bakery-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-bakery-3.wvr.yml unknown 0.04 0.04 None weaver/parallel-bakery-4.wvr.yml unknown 0.04 0.04 None weaver/parallel-barrier.wvr.yml true 54.09 30.91 None weaver/parallel-bluetooth.wvr.yml unknown 0.04 0.04 None weaver/parallel-lamport.wvr.yml true 43.56 24.37 None weaver/parallel-min-max-1.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-1.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2-unrolled.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-3-extended.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-3.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-4.wvr.yml unknown 0.04 0.04 None weaver/parallel-misc-5.wvr.yml unknown 0.04 0.04 None weaver/parallel-parallel-sum-1-dsl.wvr.yml unknown 0.04 0.04 None weaver/parallel-parallel-sum-1.wvr.yml unknown 0.04 0.04 None weaver/parallel-parallel-sum-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-parallel-sum-equiv.wvr.yml unknown 0.04 0.05 None weaver/parallel-simple-equiv.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-2.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-3.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-4.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-5.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-6.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-7.wvr.yml unknown 0.04 0.04 None weaver/parallel-ticket-8.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 34.46 18.82 None weaver/popl20-bad-commit-1.wvr-bad.yml true 121.96 80.76 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 147.87 102.12 None weaver/popl20-bad-counter-queue2.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-dot-product-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-dot-product.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-ring-nondet.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-ring.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-threaded-sum-2.wvr.yml unknown 0.04 0.04 None weaver/popl20-bad-three-array-sum-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-channel-sum.wvr.yml unknown 0.04 0.04 None weaver/popl20-commit-1.wvr.yml unknown 0.04 0.04 None weaver/popl20-commit-2.wvr.yml unknown 0.04 0.04 None weaver/popl20-counter-determinism.wvr.yml true 21.99 12.79 None weaver/popl20-counter-fun.wvr.yml unknown 0.04 0.04 None weaver/popl20-difference-det.wvr.yml true 19.28 11.31 None weaver/popl20-figure1-alt.wvr.yml true 13.97 8.30 None weaver/popl20-figure1.wvr.yml true 10.69 7.24 None weaver/popl20-figure3.wvr.yml unknown 0.04 0.04 None weaver/popl20-horseshoe.wvr.yml unknown 0.04 0.04 None weaver/popl20-min-max-dec.wvr.yml unknown 0.04 0.04 None weaver/popl20-min-max-inc-dec.wvr.yml unknown 0.04 0.04 None weaver/popl20-min-max-inc.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-array-sum-alt2.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-array-sum2.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-buffer-mult2.wvr.yml true 31.37 17.81 None weaver/popl20-more-buffer-series2.wvr.yml true 33.59 18.91 None weaver/popl20-more-dec-subseq.wvr.yml true 11.31 7.06 None weaver/popl20-more-inc-subseq.wvr.yml true 11.54 7.57 None weaver/popl20-more-max-array-hom.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-max-array.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-min-array-hom.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-min-array.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-min-le-max.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-mts.wvr.yml unknown 0.05 0.05 None weaver/popl20-more-multiply-verify.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml unknown 0.05 0.05 None weaver/popl20-more-queue-add-2-nl.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-queue-add-3-nl.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-sorted.wvr.yml unknown 0.05 0.05 None weaver/popl20-more-sum-array-hom.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-vector-add.wvr.yml unknown 0.04 0.04 None weaver/popl20-mult-4.wvr.yml unknown 0.04 0.04 None weaver/popl20-mult-equiv.wvr.yml unknown 0.04 0.04 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 13.42 8.02 None weaver/popl20-nonblocking-cntr.wvr.yml true 10.31 6.58 None weaver/popl20-prod-cons-eq.wvr.yml unknown 0.04 0.04 None weaver/popl20-prod-cons.wvr.yml unknown 0.04 0.04 None weaver/popl20-prod-cons3.wvr.yml unknown 0.04 0.04 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 40.90 24.35 None weaver/popl20-queue-add-2.wvr.yml unknown 0.04 0.04 None weaver/popl20-queue-add-3.wvr.yml unknown 0.04 0.04 None weaver/popl20-send-receive-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-send-receive.wvr.yml unknown 0.04 0.04 None weaver/popl20-simple-array-sum.wvr.yml true 17.85 11.13 None weaver/popl20-simple-queue.wvr.yml unknown 0.04 0.04 None weaver/popl20-threaded-sum-3.wvr.yml unknown 0.04 0.04 None weaver/popl20-three-array-max.wvr.yml true 24.41 14.55 None weaver/popl20-three-array-min.wvr.yml true 25.11 14.94 None weaver/popl20-three-array-sum.wvr.yml true 20.76 12.81 None weaver/popl20-two-queue.wvr.yml unknown 0.04 0.04 None weaver/security.wvr.yml unknown 0.04 0.04 None weaver/spaghetti.wvr.yml unknown 0.04 0.04 None weaver/test-context1.wvr.yml true 14.72 9.14 None weaver/test-easy1.wvr.yml unknown 0.04 0.04 None weaver/test-easy10.wvr.yml unknown 0.04 0.04 None weaver/test-easy11.wvr.yml true 15.86 9.76 None weaver/test-easy6.wvr.yml true 40.87 21.90 None weaver/test-easy7.wvr.yml unknown 0.04 0.04 None weaver/test-easy8.wvr.yml unknown 0.04 0.04 None weaver/test-hard1.wvr.yml unknown 0.04 0.04 None weaver/test-semi1.wvr.yml unknown 0.04 0.04 None weaver/unroll-2.wvr.yml unknown 0.04 0.04 None weaver/unroll-3.wvr.yml unknown 0.05 0.05 None weaver/unroll-4.wvr.yml unknown 0.04 0.04 None weaver/unroll-5.wvr.yml unknown 0.05 0.05 None weaver/unroll-cond-2.wvr.yml unknown 0.04 0.04 None weaver/unroll-cond-3.wvr.yml unknown 0.04 0.05 None weaver/unroll-cond-4.wvr.yml unknown 0.04 0.04 None weaver/unroll-cond-5.wvr.yml unknown 0.04 0.04 None pthread-deagle/arithmetic_prog_ok.yml unknown 0.04 0.04 None pthread-deagle/circular_buffer_ok.yml true 40.52 25.37 None pthread-race-challenges/thread-local-pthread-value.yml unknown 0.04 0.04 None pthread-race-challenges/thread-local-value-dynamic.yml unknown 0.04 0.04 None pthread-race-challenges/thread-local-value.yml unknown 0.04 0.04 None pthread/fib_unsafe-10.yml true 21.24 12.31 None pthread/fib_unsafe-11.yml true 20.22 12.24 None pthread/fib_unsafe-12.yml true 20.18 12.03 None pthread/fib_unsafe-5.yml true 15.62 10.64 None pthread/fib_unsafe-6.yml true 16.79 10.33 None pthread/fib_unsafe-7.yml true 20.15 11.90 None pthread/lazy01.yml true 17.72 10.43 None pthread/queue.yml TIMEOUT 900.97 872.65 None pthread/queue_longer.yml OUT OF MEMORY 89.01 56.59 None pthread/queue_longest.yml OUT OF MEMORY 86.29 54.58 None pthread/reorder_2.yml unknown 0.04 0.04 None pthread/reorder_5.yml unknown 0.04 0.04 None pthread/singleton.yml unknown 0.04 0.04 None pthread/stack-2.yml unknown 0.04 0.04 None pthread/stack_longer-1.yml unknown 0.04 0.04 None pthread/stack_longest-1.yml unknown 0.04 0.04 None pthread/stateful01-1.yml true 15.15 8.91 None pthread/triangular-2.yml true 18.67 11.05 None pthread/triangular-longer-2.yml true 23.65 13.46 None pthread/triangular-longest-2.yml true 23.28 13.19 None pthread/twostage_3.yml unknown 0.05 0.05 None pthread-atomic/read_write_lock-2.yml true 71.36 41.53 None pthread-ext/25_stack_longer-1-pthread.yml OUT OF MEMORY 104.00 64.29 None pthread-ext/25_stack_longer-1.yml OUT OF MEMORY 75.02 50.04 None pthread-ext/25_stack_longest-2-pthread.yml OUT OF MEMORY 82.01 53.53 None pthread-ext/25_stack_longest-2.yml OUT OF MEMORY 107.95 65.73 None pthread-ext/26_stack_cas_longer-1.yml TIMEOUT 900.96 814.92 None pthread-ext/26_stack_cas_longest-1.yml TIMEOUT 900.53 861.44 None pthread-ext/28_buggy_simple_loop1_vf.yml unknown 0.05 0.05 None pthread-ext/40_barrier_vf-pthread.yml unknown 0.04 0.04 None pthread-ext/40_barrier_vf.yml unknown 0.04 0.04 None pthread-wmm/mix000.oepc.yml true 106.01 63.44 None pthread-wmm/mix000.opt.yml true 83.01 54.23 None pthread-wmm/mix001.oepc.yml true 423.27 376.86 None pthread-wmm/mix001.opt.yml true 297.83 225.21 None pthread-wmm/mix002.oepc.yml true 554.99 462.20 None pthread-wmm/mix002.opt.yml true 244.55 195.21 None pthread-wmm/mix003.oepc.yml true 290.75 239.50 None pthread-wmm/mix003_power.opt_pso.opt_rmo.opt_tso.opt.yml true 222.73 165.45 None pthread-wmm/mix004.oepc.yml TIMEOUT 901.30 776.58 None pthread-wmm/mix004.opt.yml TIMEOUT 901.58 774.34 None pthread-wmm/mix005.opt.yml true 702.71 623.89 None pthread-wmm/mix005_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.63 771.86 None pthread-wmm/mix005_tso.oepc.yml TIMEOUT 901.41 774.48 None pthread-wmm/mix006.opt.yml true 291.91 243.81 None pthread-wmm/mix006_power.oepc_pso.oepc_rmo.oepc.yml true 452.06 368.46 None pthread-wmm/mix006_tso.oepc.yml true 670.17 600.49 None pthread-wmm/mix007.oepc.yml TIMEOUT 901.91 823.95 None pthread-wmm/mix007.opt.yml true 885.35 794.82 None pthread-wmm/mix008.opt.yml OUT OF MEMORY 374.76 290.19 None pthread-wmm/mix008_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.23 774.47 None pthread-wmm/mix008_tso.oepc.yml TIMEOUT 901.33 776.88 None pthread-wmm/mix009.oepc.yml true 79.67 51.22 None pthread-wmm/mix009.opt.yml true 98.24 66.17 None pthread-wmm/mix010.oepc.yml true 433.49 354.48 None pthread-wmm/mix010.opt.yml true 258.23 191.96 None pthread-wmm/mix011.opt.yml true 202.41 160.27 None pthread-wmm/mix011_power.oepc_pso.oepc_rmo.oepc.yml true 366.82 288.93 None pthread-wmm/mix011_tso.oepc.yml true 236.92 200.86 None pthread-wmm/mix012_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 80.21 45.52 None pthread-wmm/mix012_pso.opt_tso.opt.yml true 105.86 62.22 None pthread-wmm/mix013.oepc.yml TIMEOUT 901.69 841.05 None pthread-wmm/mix013.opt.yml TIMEOUT 900.83 807.23 None pthread-wmm/mix014.opt.yml OUT OF MEMORY 703.26 582.91 None pthread-wmm/mix014_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.65 772.74 None pthread-wmm/mix014_tso.oepc.yml TIMEOUT 900.75 819.53 None pthread-wmm/mix015.oepc.yml true 356.63 284.12 None pthread-wmm/mix015.opt.yml true 292.70 223.18 None pthread-wmm/mix016.oepc.yml true 261.18 226.27 None pthread-wmm/mix016_power.opt_rmo.opt.yml true 297.98 225.26 None pthread-wmm/mix016_pso.opt_tso.opt.yml true 231.26 167.65 None pthread-wmm/mix017.oepc.yml TIMEOUT 901.40 772.91 None pthread-wmm/mix017_power.opt_rmo.opt.yml true 476.88 426.57 None pthread-wmm/mix017_pso.opt_tso.opt.yml true 343.60 290.03 None pthread-wmm/mix018.opt.yml true 590.93 536.54 None pthread-wmm/mix018_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.78 766.57 None pthread-wmm/mix018_tso.oepc.yml true 630.51 531.53 None pthread-wmm/mix019.opt.yml true 255.44 186.85 None pthread-wmm/mix019_power.oepc_pso.oepc_rmo.oepc.yml true 249.63 188.98 None pthread-wmm/mix019_tso.oepc.yml true 283.12 219.56 None pthread-wmm/mix020.oepc.yml TIMEOUT 901.63 772.75 None pthread-wmm/mix020.opt.yml true 550.53 455.28 None pthread-wmm/mix021.opt.yml TIMEOUT 901.64 774.24 None pthread-wmm/mix021_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.70 811.27 None pthread-wmm/mix021_tso.oepc.yml true 643.37 537.91 None pthread-wmm/mix022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 80.68 52.81 None pthread-wmm/mix022_tso.yml true 67.52 40.32 None pthread-wmm/mix023_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.85 758.01 None pthread-wmm/mix023_power.opt_pso.opt_rmo.opt.yml OUT OF MEMORY 799.25 725.79 None pthread-wmm/mix023_tso.yml TIMEOUT 901.90 833.97 None pthread-wmm/mix024_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 344.55 293.00 None pthread-wmm/mix024_power.opt_pso.opt_rmo.opt.yml true 351.40 296.97 None pthread-wmm/mix025_power.oepc_power.opt_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml true 261.99 218.30 None pthread-wmm/mix025_pso.opt_rmo.opt.yml true 281.69 214.42 None pthread-wmm/mix026.oepc.yml TIMEOUT 901.52 772.52 None pthread-wmm/mix026_power.opt_tso.opt.yml TIMEOUT 901.67 770.62 None pthread-wmm/mix026_pso.opt_rmo.opt.yml TIMEOUT 900.77 803.43 None pthread-wmm/mix027_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 826.84 751.45 None pthread-wmm/mix027_power.opt_pso.opt_rmo.opt.yml OUT OF MEMORY 814.66 684.14 None pthread-wmm/mix027_tso.yml OUT OF MEMORY 494.86 401.60 None pthread-wmm/mix028_power.oepc_pso.oepc_rmo.oepc.yml true 230.56 188.09 None pthread-wmm/mix028_power.opt_pso.opt_rmo.opt.yml true 291.76 222.78 None pthread-wmm/mix028_tso.yml true 248.13 181.21 None pthread-wmm/mix029_power.oepc_pso.oepc_rmo.oepc_tso.oepc_tso.opt.yml TIMEOUT 901.11 804.54 None pthread-wmm/mix029_power.opt_pso.opt_rmo.opt.yml true 707.41 598.93 None pthread-wmm/mix030_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.95 806.55 None pthread-wmm/mix030_power.opt_pso.opt_rmo.opt.yml TIMEOUT 901.60 770.81 None pthread-wmm/mix030_tso.yml true 534.57 440.45 None pthread-wmm/mix031.oepc.yml true 100.88 72.45 None pthread-wmm/mix031.opt.yml true 118.54 77.46 None pthread-wmm/mix032.oepc.yml true 590.68 500.68 None pthread-wmm/mix032.opt.yml true 287.61 244.19 None pthread-wmm/mix033.opt.yml true 310.26 238.46 None pthread-wmm/mix033_power.oepc_pso.oepc_rmo.oepc.yml true 452.49 412.18 None pthread-wmm/mix033_tso.oepc.yml true 215.82 148.98 None pthread-wmm/mix034_power.oepc_power.opt_pso.oepc_rmo.oepc_rmo.opt_tso.oepc.yml true 95.00 56.86 None pthread-wmm/mix034_pso.opt_tso.opt.yml true 61.92 40.96 None pthread-wmm/mix035.oepc.yml true 271.70 207.24 None pthread-wmm/mix035_power.opt_rmo.opt.yml true 320.91 250.41 None pthread-wmm/mix035_pso.opt_tso.opt.yml true 184.13 147.80 None pthread-wmm/mix036.oepc.yml TIMEOUT 901.31 774.81 None pthread-wmm/mix036_power.opt_rmo.opt.yml true 831.28 763.40 None pthread-wmm/mix036_pso.opt_tso.opt.yml TIMEOUT 901.21 806.32 None pthread-wmm/mix037.opt.yml TIMEOUT 901.48 772.73 None pthread-wmm/mix037_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.47 776.15 None pthread-wmm/mix037_tso.oepc.yml TIMEOUT 901.41 766.69 None pthread-wmm/mix038.opt.yml true 217.32 177.54 None pthread-wmm/mix038_power.oepc_pso.oepc_rmo.oepc.yml true 253.04 186.44 None pthread-wmm/mix038_tso.oepc.yml true 331.62 293.54 None pthread-wmm/mix039.oepc.yml TIMEOUT 901.76 775.59 None pthread-wmm/mix039.opt.yml true 798.82 677.74 None pthread-wmm/mix040.opt.yml true 746.97 666.05 None pthread-wmm/mix040_power.oepc_pso.oepc_rmo.oepc.yml OUT OF MEMORY 816.70 747.73 None pthread-wmm/mix040_tso.oepc.yml true 825.66 703.72 None pthread-wmm/mix041_power.oepc_pso.oepc_rmo.oepc.yml true 97.03 59.77 None pthread-wmm/mix041_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 59.13 36.72 None pthread-wmm/mix042.oepc.yml true 279.73 214.04 None pthread-wmm/mix042.opt.yml true 192.34 151.38 None pthread-wmm/mix043.oepc.yml TIMEOUT 901.37 833.96 None pthread-wmm/mix043.opt.yml TIMEOUT 900.65 806.59 None pthread-wmm/mix044.opt.yml TIMEOUT 901.43 773.27 None pthread-wmm/mix044_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 900.85 819.41 None pthread-wmm/mix044_tso.oepc.yml TIMEOUT 901.51 766.35 None pthread-wmm/mix045_power.oepc_pso.oepc_rmo.oepc.yml true 247.03 198.35 None pthread-wmm/mix045_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 240.59 176.01 None pthread-wmm/mix046.oepc.yml TIMEOUT 901.81 767.99 None pthread-wmm/mix046.opt.yml TIMEOUT 901.56 771.23 None pthread-wmm/mix047_power.oepc_pso.oepc_rmo.oepc.yml TIMEOUT 901.84 765.63 None pthread-wmm/mix047_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 865.50 742.07 None pthread-wmm/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.yml true 52.55 31.21 None pthread-wmm/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.yml true 171.44 131.59 None pthread-wmm/mix050.yml TIMEOUT 901.64 773.81 None pthread-wmm/mix051_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 768.75 686.76 None pthread-wmm/mix051_pso.opt_rmo.opt_tso.opt.yml true 775.84 654.66 None pthread-wmm/mix051_tso.oepc.yml TIMEOUT 901.56 832.07 None pthread-wmm/mix052_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 168.67 128.76 None pthread-wmm/mix052_pso.opt_rmo.opt_tso.opt.yml true 130.73 91.51 None pthread-wmm/mix052_tso.oepc.yml true 183.85 150.72 None pthread-wmm/mix053.opt.yml true 369.73 311.42 None pthread-wmm/mix053_power.oepc_pso.oepc_rmo.oepc.yml true 707.93 632.14 None pthread-wmm/mix053_tso.oepc.yml true 579.21 484.40 None pthread-wmm/mix054_power.oepc_power.opt_pso.oepc_rmo.oepc.yml true 50.90 31.02 None pthread-wmm/mix054_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 53.98 34.14 None pthread-wmm/mix055.opt.yml true 591.82 542.67 None pthread-wmm/mix055_power.oepc_pso.oepc_rmo.oepc.yml true 526.57 439.42 None pthread-wmm/mix055_tso.oepc.yml true 459.62 407.09 None pthread-wmm/mix056_power.oepc_pso.oepc_rmo.oepc.yml true 149.26 99.78 None pthread-wmm/mix056_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 171.67 116.63 None pthread-wmm/mix057_power.oepc_pso.oepc_rmo.oepc.yml true 653.84 579.14 None pthread-wmm/mix057_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 483.96 396.52 None pthread-wmm/rfi000_power.oepc_pso.oepc_rmo.oepc.yml true 142.57 94.35 None pthread-wmm/rfi000_power.opt_pso.opt_rmo.opt.yml true 146.86 94.95 None pthread-wmm/rfi001_power.oepc_pso.oepc_rmo.oepc.yml true 97.94 58.40 None pthread-wmm/rfi001_power.opt_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 85.71 54.92 None pthread-wmm/rfi003_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 116.57 73.72 None pthread-wmm/rfi004.yml true 68.86 41.43 None pthread-wmm/rfi005.yml true 42.56 23.45 None pthread-wmm/rfi006_power.oepc.yml true 497.68 411.75 None pthread-wmm/rfi006_power.opt.yml true 530.53 436.22 None pthread-wmm/rfi006_pso.oepc_pso.opt_tso.oepc_tso.opt.yml true 268.26 201.64 None pthread-wmm/rfi006_rmo.yml true 465.76 379.90 None pthread-wmm/rfi007_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 79.83 51.33 None pthread-wmm/rfi007_tso.yml true 87.81 51.37 None pthread-wmm/rfi008.oepc.yml true 74.70 46.94 None pthread-wmm/rfi008.opt.yml true 113.76 70.86 None pthread-wmm/rfi009_power.oepc.yml true 356.09 310.03 None pthread-wmm/rfi009_power.opt_pso.oepc_pso.opt_rmo.opt_tso.oepc_tso.opt.yml true 167.66 113.19 None pthread-wmm/rfi009_rmo.oepc.yml true 350.59 290.92 None pthread-wmm/rfi010.yml true 97.89 59.02 None pthread-wmm/safe000_power.oepc.yml true 378.63 301.56 None pthread-wmm/safe000_power.opt.yml true 514.73 459.95 None pthread-wmm/safe000_rmo.yml true 350.63 279.22 None pthread-wmm/safe001_power.oepc.yml true 409.39 330.33 None pthread-wmm/safe001_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 258.62 213.75 None pthread-wmm/safe001_rmo.oepc.yml true 363.81 285.40 None pthread-wmm/safe002_power.oepc.yml true 374.65 330.78 None pthread-wmm/safe002_power.opt_pso.oepc_pso.opt_rmo.opt.yml true 266.37 200.65 None pthread-wmm/safe002_rmo.oepc.yml true 389.86 313.21 None pthread-wmm/safe003_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 331.75 258.41 None pthread-wmm/safe003_power.opt.yml true 733.03 673.66 None pthread-wmm/safe004_power.oepc_pso.oepc_rmo.oepc.yml true 326.67 272.17 None pthread-wmm/safe004_power.opt_pso.opt_rmo.opt.yml true 373.15 318.80 None pthread-wmm/safe005_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 425.12 345.54 None pthread-wmm/safe006_power.oepc-thin000_power.oepc.yml true 67.29 42.58 None pthread-wmm/safe006_power.opt-thin000_power.opt.yml true 116.32 73.17 None pthread-wmm/safe006_rmo.oepc_rmo.opt-thin000_rmo.oepc_rmo.opt.yml true 82.20 48.59 None pthread-wmm/safe007_power.oepc-thin001_power.oepc.yml true 188.34 145.10 None pthread-wmm/safe007_power.opt-thin001_power.opt.yml true 311.36 238.19 None pthread-wmm/safe007_rmo.oepc_rmo.opt-thin001_rmo.oepc_rmo.opt.yml true 338.67 266.43 None pthread-wmm/safe008_power.oepc_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 206.29 148.42 None pthread-wmm/safe008_power.opt.yml true 413.81 332.54 None pthread-wmm/safe009_power.oepc.yml true 199.99 145.24 None pthread-wmm/safe009_power.opt.yml true 281.15 239.48 None pthread-wmm/safe009_rmo.oepc.yml true 144.54 110.20 None pthread-wmm/safe009_rmo.opt.yml true 220.08 180.14 None pthread-wmm/safe010_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 63.16 34.66 None pthread-wmm/safe011_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 194.78 138.19 None pthread-wmm/safe011_power.opt_pso.opt.yml true 157.63 118.30 None pthread-wmm/safe012_power.oepc.yml true 254.98 186.64 None pthread-wmm/safe012_power.opt.yml true 323.02 253.95 None pthread-wmm/safe012_pso.oepc_pso.opt_rmo.opt.yml true 199.61 140.94 None pthread-wmm/safe012_rmo.oepc.yml true 403.18 317.10 None pthread-wmm/safe013_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 131.93 94.36 None pthread-wmm/safe014_power.oepc.yml true 417.10 358.38 None pthread-wmm/safe014_power.opt.yml true 455.82 373.57 None pthread-wmm/safe014_rmo.oepc.yml true 512.66 413.35 None pthread-wmm/safe014_rmo.opt.yml true 548.76 482.48 None pthread-wmm/safe015_power.oepc.yml true 287.85 221.12 None pthread-wmm/safe015_power.opt.yml true 415.09 369.91 None pthread-wmm/safe015_rmo.yml true 401.44 349.49 None pthread-wmm/safe016_power.oepc.yml true 487.14 423.15 None pthread-wmm/safe016_power.opt.yml OUT OF MEMORY 420.75 341.18 None pthread-wmm/safe016_rmo.oepc.yml OUT OF MEMORY 374.65 299.94 None pthread-wmm/safe016_rmo.opt.yml OUT OF MEMORY 424.49 340.75 None pthread-wmm/safe017_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 180.71 127.01 None pthread-wmm/safe018_power.oepc.yml true 169.58 117.81 None pthread-wmm/safe018_power.opt.yml true 321.81 249.65 None pthread-wmm/safe018_rmo.oepc.yml true 174.22 121.60 None pthread-wmm/safe018_rmo.opt.yml true 285.32 241.64 None pthread-wmm/safe019_power.oepc.yml true 494.15 430.04 None pthread-wmm/safe019_power.opt.yml OUT OF MEMORY 600.09 497.39 None pthread-wmm/safe019_rmo.oepc.yml OUT OF MEMORY 381.18 302.31 None pthread-wmm/safe019_rmo.opt.yml OUT OF MEMORY 511.44 422.26 None pthread-wmm/safe020_power.yml true 263.10 216.91 None pthread-wmm/safe020_rmo.yml true 278.46 209.65 None pthread-wmm/safe021_power.oepc_pso.oepc_rmo.oepc_rmo.opt.yml true 152.73 121.22 None pthread-wmm/safe021_power.opt_pso.opt.yml true 208.62 148.21 None pthread-wmm/safe022_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 70.86 39.54 None pthread-wmm/safe023_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 370.85 296.24 None pthread-wmm/safe024_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 149.96 97.51 None pthread-wmm/safe025_power.yml true 279.35 229.97 None pthread-wmm/safe025_rmo.yml true 531.14 463.29 None pthread-wmm/safe026_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 191.61 135.38 None pthread-wmm/safe027_power.oepc.yml true 540.51 492.35 None pthread-wmm/safe027_power.opt.yml OUT OF MEMORY 359.63 308.33 None pthread-wmm/safe027_rmo.yml true 893.17 769.65 None pthread-wmm/safe028_power.yml true 333.28 259.23 None pthread-wmm/safe028_rmo.yml true 327.92 258.34 None pthread-wmm/safe029_power.oepc_pso.oepc_rmo.oepc.yml true 48.68 29.12 None pthread-wmm/safe029_power.opt_pso.opt_rmo.opt.yml true 49.23 30.17 None pthread-wmm/safe030_power.oepc_pso.oepc_rmo.oepc.yml true 175.98 125.46 None pthread-wmm/safe030_power.opt_pso.opt_rmo.opt.yml true 133.07 86.63 None pthread-wmm/safe031_power.oepc_pso.oepc_rmo.oepc.yml true 133.66 99.52 None pthread-wmm/safe031_power.opt_pso.opt_rmo.opt.yml true 124.10 89.87 None pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 363.39 290.18 None pthread-wmm/safe033_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 43.08 24.94 None pthread-wmm/safe034_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.yml true 179.54 122.10 None pthread-wmm/thin002_power.oepc.yml OUT OF MEMORY 359.48 277.66 None pthread-wmm/thin002_power.opt.yml TIMEOUT 901.61 832.30 None pthread-wmm/thin002_rmo.yml TIMEOUT 901.19 804.32 None pthread-lit/qw2004-2b.yml unknown 0.04 0.05 None ldv-races/race-1_2-join.yml true 12.77 7.76 None ldv-races/race-1_3-join.yml true 12.58 7.48 None ldv-races/race-2_2-container_of.yml unknown 0.05 0.05 None ldv-races/race-2_3-container_of.yml unknown 0.04 0.04 None ldv-races/race-2_4-container_of.yml unknown 0.04 0.04 None ldv-races/race-2_5-container_of.yml unknown 0.04 0.04 None ldv-races/race-3_2-container_of-global.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml unknown 0.04 0.04 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml unknown 0.05 0.05 None pthread-complex/bounded_buffer.yml unknown 0.04 0.04 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 900.72 879.31 None pthread-complex/safestack_relacy.yml unknown 0.04 0.04 None pthread-driver-races/char_generic_nvram_read_nvram_write_nvram.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_current.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_set.yml unknown 0.04 0.04 None pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_current_pc8736x_gpio_set.yml unknown 0.04 0.04 None pthread-C-DAC/pthread-demo-datarace-3.yml true 15.74 9.04 None pthread-divine/tls_destructor_worker.yml unknown 0.04 0.04 None goblint-regression/13-privatized_18-first-reads_unknown_1_neg.yml true 14.04 8.38 None goblint-regression/13-privatized_18-first-reads_unknown_1_pos.yml true 13.66 7.96 None goblint-regression/13-privatized_18-first-reads_unknown_2_neg.yml true 13.95 8.16 None goblint-regression/13-privatized_18-first-reads_unknown_2_pos.yml true 13.76 8.08 None goblint-regression/13-privatized_19-publish-precision_unknown_1_neg.yml true 14.60 8.56 None goblint-regression/13-privatized_19-publish-precision_unknown_1_pos.yml true 14.81 8.59 None goblint-regression/13-privatized_19-publish-precision_unknown_2_neg.yml true 11.41 7.86 None goblint-regression/13-privatized_19-publish-precision_unknown_2_pos.yml true 15.06 9.06 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_neg.yml true 14.61 8.45 None goblint-regression/13-privatized_41-traces-ex-7_unknown_1_pos.yml true 11.13 7.22 None goblint-regression/13-privatized_67-pthread_cond_wait_true.yml true 16.98 9.81 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_neg.yml true 16.29 9.63 None goblint-regression/13-privatized_67-pthread_cond_wait_unknown_1_pos.yml true 12.54 8.25 None goblint-regression/28-race_reach_01-simple_racing.yml OUT OF MEMORY 125.12 77.45 None goblint-regression/28-race_reach_03-munge_racing.yml unknown 0.05 0.05 None goblint-regression/28-race_reach_06-cond_racing1.yml OUT OF MEMORY 132.79 82.60 None goblint-regression/28-race_reach_07-cond_racing2.yml OUT OF MEMORY 127.47 77.90 None goblint-regression/28-race_reach_09-ptrmunge_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_11-ptr_racing.yml OUT OF MEMORY 370.30 336.69 None goblint-regression/28-race_reach_19-callback_racing.yml OUT OF MEMORY 122.20 76.73 None goblint-regression/28-race_reach_21-deref_read_racing.yml OUT OF MEMORY 112.75 68.61 None goblint-regression/28-race_reach_23-sound_unlock_racing.yml unknown 19.67 10.79 None goblint-regression/28-race_reach_24-sound_lock_racing.yml OUT OF MEMORY 109.58 68.07 None goblint-regression/28-race_reach_27-funptr_racing.yml ERROR (7) 20.95 11.64 None goblint-regression/28-race_reach_37-indirect_racing.yml OUT OF MEMORY 157.62 111.93 None goblint-regression/28-race_reach_40-trylock_racing.yml unknown 20.21 11.12 None goblint-regression/28-race_reach_45-escape_racing.yml true 17.08 9.50 None goblint-regression/28-race_reach_61-invariant_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_71-funloop_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_72-funloop_hard_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_77-tricky_address4_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_78-equ_racing.yml OUT OF MEMORY 175.40 111.06 None goblint-regression/28-race_reach_81-list_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_82-list_racefree.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_83-list2_racing1.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_84-list2_racing2.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_86-lists_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_90-arrayloop2_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_92-evilcollapse_racing.yml unknown 0.04 0.04 None goblint-regression/28-race_reach_94-alloc_region_racing.yml unknown 0.04 0.05 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_neg.yml true 16.51 9.42 None goblint-regression/36-apron_17-traces-rpb-litmus_unknown_1_pos.yml true 16.42 9.30 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_neg.yml unknown 0.04 0.04 None goblint-regression/36-apron_41-threadenter-no-locals_unknown_1_pos.yml unknown 0.05 0.05 None weaver/parallel-barrier-loop.wvr.yml unknown 0.05 0.05 None weaver/popl20-bad-buffer-mult-alt.wvr.yml true 28.19 16.51 None weaver/popl20-bad-counter-queue.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-array-sum-alt.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-array-sum.wvr.yml unknown 0.04 0.04 None weaver/popl20-more-buffer-mult.wvr.yml true 36.10 19.79 None weaver/popl20-more-buffer-series.wvr.yml true 37.78 20.69 None pthread-deagle/arithmetic_prog_bad.yml unknown 0.04 0.05 None pthread-deagle/circular_buffer_bad.yml unknown 0.04 0.05 None ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Run set 9 done 125900.36 7981.96 - Statistics: 2856 Files correct: 641 correct true: 641 correct false: 0 incorrect: 707 incorrect true: 707 incorrect false: 0 unknown: 1508 Score: -21342 (max: 4332)