BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: Automizer FA, Automizer PN, Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder date: Tue, 2021-10-19 14:05:24 CEST tool: ULTIMATE Automizer 0.2.1-5b77e9fc tool executable: ./Ultimate.py options: --force-no-wrapper 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-5.11.22-4-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Automizer FA Run set 1 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-FA-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------- weaver/array-eq-symm.wvr.yml true 67.34 44.61 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 118.36 67.78 None weaver/bench-exp1x3.wvr.yml true 11.83 6.92 None weaver/bench-exp2x3.wvr.yml OUT OF MEMORY 107.79 59.90 None weaver/bench-exp2x4.wvr.yml OUT OF MEMORY 137.00 86.82 None weaver/bench-exp2x6.wvr.yml OUT OF MEMORY 115.50 64.28 None weaver/bench-exp2x9.wvr.yml OUT OF MEMORY 139.57 76.50 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 106.78 62.78 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 133.34 76.82 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 112.22 67.41 None weaver/chl-array-int-symm.wvr.yml true 166.19 110.11 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 110.30 59.96 None weaver/chl-chromosome-opt-symm.wvr.yml true 116.88 97.55 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 116.71 67.61 None weaver/chl-chromosome-symm.wvr.yml true 163.30 109.96 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 118.49 80.40 None weaver/chl-collitem-subst.wvr.yml true 19.42 10.60 None weaver/chl-collitem-symm.wvr.yml true 12.28 7.17 None weaver/chl-collitem-trans.wvr.yml true 21.59 18.65 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 123.57 67.45 None weaver/chl-exp-term-symm.wvr.yml true 81.32 72.04 None weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 105.33 58.07 None weaver/chl-file-item-symm.wvr.yml true 73.17 51.51 None weaver/chl-file-item-trans.wvr.yml OUT OF MEMORY 111.46 66.93 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 110.04 60.47 None weaver/chl-match-symm.wvr.yml true 131.75 95.81 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 137.54 90.67 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 116.62 85.96 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 176.61 116.25 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 121.97 94.89 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 105.74 57.58 None weaver/chl-node-symm.wvr.yml OUT OF MEMORY 428.82 269.38 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 111.50 64.42 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 115.71 72.23 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 154.93 84.02 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 106.96 59.07 None weaver/chl-poker-hand-subst.wvr.yml OUT OF MEMORY 367.59 298.15 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 901.29 858.77 None weaver/chl-poker-hand-trans.wvr.yml OUT OF MEMORY 328.99 297.07 None weaver/chl-simpl-str-subst.wvr.yml OUT OF MEMORY 172.80 100.91 None weaver/chl-simpl-str-symm.wvr.yml true 33.57 20.00 None weaver/chl-simpl-str-trans.wvr.yml OUT OF MEMORY 146.61 88.80 None weaver/chl-sre-subst.wvr.yml true 304.15 187.43 None weaver/chl-sre-symm.wvr.yml true 13.41 7.76 None weaver/chl-sre-trans.wvr.yml true 252.97 147.03 None weaver/chl-time-subst.wvr.yml true 13.31 7.51 None weaver/chl-time-symm.wvr.yml true 10.27 6.12 None weaver/chl-time-trans.wvr.yml true 13.12 8.65 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 115.05 73.18 None weaver/chl-word-symm.wvr.yml true 271.58 180.32 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 109.33 63.83 None weaver/clever.wvr.yml true 31.93 30.93 None weaver/fibonacci.wvr.yml true 117.98 91.91 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 479.70 443.12 None weaver/mult-comm.wvr.yml true 11.83 7.94 None weaver/mult-dist.wvr.yml true 173.20 146.40 None weaver/mult-flipped-dist.wvr.yml true 189.17 135.24 None weaver/parallel-bakery-2.wvr.yml true 11.71 6.57 None weaver/parallel-bakery-3.wvr.yml true 198.30 123.30 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 115.95 65.64 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 114.36 75.04 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 141.07 92.50 None weaver/parallel-bluetooth.wvr.yml true 10.55 5.97 None weaver/parallel-lamport.wvr.yml true 38.32 23.41 None weaver/parallel-min-max-1.wvr.yml unknown 5.03 2.90 None weaver/parallel-misc-1.wvr.yml OUT OF MEMORY 365.88 204.46 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 10.89 7.05 None weaver/parallel-misc-2-unrolled.wvr.yml true 22.01 15.58 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 32.32 20.13 None weaver/parallel-misc-3-extended.wvr.yml OUT OF MEMORY 188.83 111.25 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 28.66 19.82 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 198.05 120.30 None weaver/parallel-misc-5.wvr.yml true 18.69 11.18 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 108.97 60.97 None weaver/parallel-parallel-sum-1.wvr.yml OUT OF MEMORY 159.47 134.73 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 145.73 100.57 None weaver/parallel-parallel-sum-equiv.wvr.yml OUT OF MEMORY 169.29 108.32 None weaver/parallel-simple-equiv.wvr.yml true 18.21 10.82 None weaver/parallel-ticket-2.wvr.yml true 10.47 9.31 None weaver/parallel-ticket-3.wvr.yml true 25.20 16.51 None weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 135.92 96.42 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 110.27 65.93 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 138.95 93.19 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 111.38 63.76 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 107.72 75.96 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 106.25 59.03 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 114.17 66.88 None weaver/popl20-bad-commit-1.wvr-bad.yml OUT OF MEMORY 169.94 99.94 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 148.93 90.60 None weaver/popl20-bad-counter-queue.wvr.yml true 10.66 6.11 None weaver/popl20-bad-counter-queue2.wvr.yml true 9.99 5.96 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 116.41 72.82 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 143.13 77.06 None weaver/popl20-bad-ring-nondet.wvr.yml false(unreach-call) 354.61 201.29 None weaver/popl20-bad-ring.wvr.yml true 148.37 97.64 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 11.98 8.95 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 104.77 57.52 None weaver/popl20-channel-sum.wvr.yml true 22.80 14.52 None weaver/popl20-commit-1.wvr.yml true 59.41 37.28 None weaver/popl20-commit-2.wvr.yml OUT OF MEMORY 112.94 85.60 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 130.18 86.82 None weaver/popl20-counter-fun.wvr.yml true 13.70 8.02 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 134.02 79.37 None weaver/popl20-figure1-alt.wvr.yml true 9.25 5.29 None weaver/popl20-figure1.wvr.yml true 10.42 7.73 None weaver/popl20-figure3.wvr.yml true 9.27 5.68 None weaver/popl20-horseshoe.wvr.yml true 109.36 76.20 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 135.79 74.50 None weaver/popl20-min-max-inc-dec.wvr.yml unknown 5.21 3.29 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 143.19 78.21 None weaver/popl20-more-array-sum-alt.wvr.yml true 39.73 25.96 None weaver/popl20-more-array-sum-alt2.wvr.yml true 42.87 26.20 None weaver/popl20-more-array-sum.wvr.yml true 43.04 25.59 None weaver/popl20-more-array-sum2.wvr.yml true 46.81 33.97 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 113.65 78.53 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 149.60 92.95 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 146.86 93.59 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 110.73 60.56 None weaver/popl20-more-dec-subseq.wvr.yml true 42.51 40.77 None weaver/popl20-more-inc-subseq.wvr.yml true 53.99 39.22 None weaver/popl20-more-max-array-hom.wvr.yml true 36.24 25.91 None weaver/popl20-more-max-array.wvr.yml true 34.74 21.49 None weaver/popl20-more-min-array-hom.wvr.yml true 34.33 19.54 None weaver/popl20-more-min-array.wvr.yml true 35.99 23.51 None weaver/popl20-more-min-le-max.wvr.yml true 19.21 11.48 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 146.04 85.59 None weaver/popl20-more-multiply-verify.wvr.yml true 159.31 99.26 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 10.40 10.82 None weaver/popl20-more-parray-copy.wvr.yml OUT OF MEMORY 146.16 101.65 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 39.37 30.76 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 175.87 94.99 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 152.51 82.49 None weaver/popl20-more-sum-array-hom.wvr.yml OUT OF MEMORY 162.37 99.41 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 149.18 115.24 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 133.77 74.39 None weaver/popl20-mult-equiv.wvr.yml true 16.07 13.14 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 12.16 9.55 None weaver/popl20-nonblocking-cntr.wvr.yml true 8.82 7.06 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 146.24 83.18 None weaver/popl20-prod-cons.wvr.yml true 28.31 15.98 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 198.93 116.40 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 178.24 111.98 None weaver/popl20-queue-add-2.wvr.yml true 14.36 8.00 None weaver/popl20-queue-add-3.wvr.yml true 105.68 67.15 None weaver/popl20-send-receive-alt.wvr.yml true 17.03 12.76 None weaver/popl20-send-receive.wvr.yml true 33.96 20.93 None weaver/popl20-simple-array-sum.wvr.yml true 135.79 90.19 None weaver/popl20-simple-queue.wvr.yml true 10.80 6.08 None weaver/popl20-threaded-sum-3.wvr.yml true 16.66 9.15 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 370.52 217.81 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 646.83 387.39 None weaver/popl20-three-array-sum.wvr.yml OUT OF MEMORY 502.22 339.20 None weaver/popl20-two-queue.wvr.yml true 18.92 10.33 None weaver/security.wvr.yml true 23.88 13.58 None weaver/spaghetti.wvr.yml true 157.82 95.85 None weaver/test-context1.wvr.yml true 9.90 5.74 None weaver/test-easy1.wvr.yml true 10.89 6.63 None weaver/test-easy10.wvr.yml OUT OF MEMORY 147.75 82.84 None weaver/test-easy11.wvr.yml true 8.65 4.97 None weaver/test-easy6.wvr.yml true 11.51 8.51 None weaver/test-easy7.wvr.yml true 23.99 13.69 None weaver/test-easy8.wvr.yml true 11.03 8.42 None weaver/test-hard1.wvr.yml true 93.64 60.50 None weaver/test-semi1.wvr.yml true 8.52 9.27 None weaver/unroll-2.wvr.yml true 59.90 38.03 None weaver/unroll-3.wvr.yml true 72.48 46.88 None weaver/unroll-4.wvr.yml true 134.05 87.34 None weaver/unroll-5.wvr.yml true 137.43 108.34 None weaver/unroll-cond-2.wvr.yml true 84.79 59.67 None weaver/unroll-cond-3.wvr.yml true 176.98 121.59 None weaver/unroll-cond-4.wvr.yml true 223.42 145.04 None weaver/unroll-cond-5.wvr.yml true 304.72 202.53 None ldv-races/race-1_1-join.yml true 9.76 5.90 None ldv-races/race-1_2-join.yml true 10.07 6.81 None ldv-races/race-1_2b-join.yml false(unreach-call) 9.37 5.87 None ldv-races/race-1_3-join.yml true 9.82 5.91 None ldv-races/race-1_3b-join.yml false(unreach-call) 9.63 5.44 None ldv-races/race-2_1-container_of.yml ERROR: EXCEPTION 6.40 3.80 None ldv-races/race-2_2-container_of.yml ERROR: EXCEPTION 6.03 3.48 None ldv-races/race-2_2b-container_of.yml ERROR: EXCEPTION 6.43 4.12 None ldv-races/race-2_3-container_of.yml ERROR: EXCEPTION 6.42 4.07 None ldv-races/race-2_3b-container_of.yml ERROR: EXCEPTION 6.53 6.07 None ldv-races/race-2_4-container_of.yml ERROR: EXCEPTION 6.31 4.10 None ldv-races/race-2_4b-container_of.yml ERROR: EXCEPTION 7.39 5.83 None ldv-races/race-2_5-container_of.yml ERROR: EXCEPTION 5.85 3.40 None ldv-races/race-2_5b-container_of.yml ERROR: EXCEPTION 6.32 3.81 None ldv-races/race-3_1-container_of-global.yml ERROR: EXCEPTION 6.00 3.50 None ldv-races/race-3_2-container_of-global.yml ERROR: EXCEPTION 6.50 4.42 None ldv-races/race-3_2b-container_of-global.yml ERROR: EXCEPTION 6.77 4.41 None pthread/fib_bench-1.yml true 7.33 4.29 None pthread/fib_bench-2.yml true 7.90 4.44 None pthread/fib_bench_longer-1.yml true 7.90 4.80 None pthread/fib_bench_longer-2.yml true 7.75 4.59 None pthread/fib_bench_longest-1.yml true 7.68 4.46 None pthread/fib_bench_longest-2.yml true 7.67 4.53 None pthread/lazy01.yml true 29.72 20.75 None pthread/singleton-b.yml OUT OF MEMORY 123.86 78.30 None pthread/singleton.yml true 407.54 252.76 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 102.34 59.70 None pthread/singleton_with-uninit-problems.yml OUT OF MEMORY 389.87 215.39 None pthread/stateful01-1.yml true 21.20 13.47 None pthread/stateful01-2.yml true 21.20 11.54 None pthread/triangular-1.yml true 8.33 4.95 None pthread/triangular-2.yml true 8.40 7.73 None pthread/triangular-longer-1.yml true 7.79 8.14 None pthread/triangular-longer-2.yml true 10.35 7.66 None pthread/triangular-longest-1.yml true 8.10 5.51 None pthread/triangular-longest-2.yml true 7.77 6.41 None pthread-atomic/dekker-b.yml false(unreach-call) 37.32 23.18 None pthread-atomic/dekker.yml true 16.15 9.31 None pthread-atomic/lamport-b.yml false(unreach-call) 87.42 67.96 None pthread-atomic/lamport.yml true 31.81 23.03 None pthread-atomic/peterson-b.yml false(unreach-call) 34.71 20.28 None pthread-atomic/peterson.yml true 13.16 7.47 None pthread-atomic/read_write_lock-1.yml OUT OF MEMORY 203.81 109.65 None pthread-atomic/read_write_lock-1b.yml OUT OF MEMORY 101.24 55.90 None pthread-atomic/read_write_lock-2.yml OUT OF MEMORY (true) 136.17 78.91 None pthread-atomic/read_write_lock-2b.yml OUT OF MEMORY 105.35 59.48 None pthread-atomic/szymanski-b.yml false(unreach-call) 53.38 31.25 None pthread-atomic/szymanski.yml true 21.50 11.97 None pthread-atomic/time_var_mutex.yml true 16.39 8.88 None pthread-ext/01_inc.yml OUT OF MEMORY 179.07 101.65 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.68 4.67 None pthread-ext/14_spin2003.yml OUT OF MEMORY 180.82 115.67 None pthread-ext/18_read_write_lock.yml true 8.75 5.20 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 186.16 99.42 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 163.52 88.72 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 115.05 62.80 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 139.63 83.04 None pthread-ext/45_monabsex1_vs-b.yml OUT OF MEMORY 129.10 72.94 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 136.75 78.30 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 149.34 87.44 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 162.55 88.91 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 195.03 114.39 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 125.71 69.77 None pthread-lit/qw2004-2.yml false(unreach-call) 9.98 5.53 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 8.30 5.14 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 12.59 6.97 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 17.62 9.72 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 13.40 7.30 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 8.49 5.52 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 9.19 5.30 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 8.26 4.74 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 8.29 4.80 None goblint-regression/04-mutex_02-simple_nr.yml true 8.39 5.18 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 7.99 4.88 None goblint-regression/04-mutex_04-munge_nr.yml true 16.17 8.88 None goblint-regression/04-mutex_05-lockfuns.yml true 8.57 4.87 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 8.78 5.02 None goblint-regression/04-mutex_07-ps_nr.yml true 8.38 5.33 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 10.50 6.07 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 107.69 86.53 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 10.00 6.04 None goblint-regression/04-mutex_12-ptr_nr.yml true 12.03 7.18 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 7.91 4.76 None goblint-regression/04-mutex_15-funarg_nr.yml true 8.42 5.43 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 8.33 4.98 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 10.87 6.22 None goblint-regression/04-mutex_18-glob_guards.yml true 7.93 5.13 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 8.84 5.57 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.65 3.22 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 8.32 4.95 None goblint-regression/04-mutex_22-deref_read.yml true 8.77 5.23 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.75 3.62 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 8.25 4.91 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 8.43 4.89 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 11.83 6.77 None goblint-regression/04-mutex_28-base_nr.yml true 8.52 4.96 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 6.32 3.82 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 6.50 4.22 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 10.97 6.25 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 8.69 6.00 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 5.43 3.02 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 5.49 3.17 None goblint-regression/04-mutex_43-thread_create_nr.yml true 7.89 5.44 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 18.50 12.52 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 13.68 7.69 None goblint-regression/04-mutex_46-escape_nr.yml true 22.35 13.16 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 7.84 4.83 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 7.74 4.90 None goblint-regression/04-mutex_51-mutex_ptr.yml true 15.78 9.06 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 5.61 4.07 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.63 4.26 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 17.01 11.82 None goblint-regression/05-lval_ls_02-idx_nr.yml true 9.43 6.54 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 9.98 5.87 None goblint-regression/05-lval_ls_04-fld_nr.yml true 7.60 5.07 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 5.71 3.65 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml ERROR: EXCEPTION 5.49 3.45 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml ERROR: EXCEPTION 5.22 3.35 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 5.47 3.20 None goblint-regression/05-lval_ls_11-fldsense_rc.yml ERROR: EXCEPTION 5.56 3.31 None goblint-regression/05-lval_ls_12-fldsense_nr.yml ERROR: EXCEPTION 5.45 3.51 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 5.63 3.39 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 5.44 3.21 None goblint-regression/05-lval_ls_15-fldunknown_access.yml ERROR: EXCEPTION 5.64 3.65 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 7.35 4.35 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.33 848.95 None goblint-regression/06-symbeq_03-funloop_simple.yml ERROR: EXCEPTION 5.54 3.17 None goblint-regression/06-symbeq_04-funloop_hard1.yml ERROR: EXCEPTION 5.48 3.50 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 5.81 3.34 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 5.68 3.28 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 5.94 3.33 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 5.95 3.68 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 5.62 3.48 None goblint-regression/06-symbeq_10-equ_rc.yml ERROR: EXCEPTION 7.40 4.40 None goblint-regression/06-symbeq_11-equ_nr.yml ERROR: EXCEPTION 5.64 3.23 None goblint-regression/06-symbeq_13-equ_proc_nr.yml ERROR: EXCEPTION 6.92 4.18 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 7.50 4.33 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 56.85 38.26 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 5.55 3.79 None goblint-regression/09-regions_01-list_rc.yml false(unreach-call) 764.91 621.29 None goblint-regression/09-regions_02-list_nr.yml true 750.55 602.15 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 68.67 51.37 None goblint-regression/09-regions_04-list2_nr.yml true 581.90 463.25 None goblint-regression/09-regions_05-ptra_rc.yml TIMEOUT 900.83 727.35 None goblint-regression/09-regions_06-ptra_nr.yml true 265.95 187.03 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 7.64 4.25 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 7.77 4.49 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 5.92 3.49 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 7.42 4.34 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 5.66 3.55 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 7.06 4.27 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 5.75 3.56 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 5.87 3.69 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 7.48 4.51 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 7.08 4.29 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 5.79 3.72 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 5.64 3.29 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 7.24 4.10 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 5.53 3.30 None goblint-regression/09-regions_26-alloc_region_rc.yml TIMEOUT 901.28 712.52 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 12.32 6.96 None goblint-regression/10-synch_01-thread_unique.yml true 7.32 4.73 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 7.07 4.31 None goblint-regression/10-synch_03-two_unique.yml true 9.05 5.29 None goblint-regression/13-privatized_03-priv_inv.yml true 8.50 5.09 None ----------------------------------------------------------------------------------------------------------------------- Run set 1 done 29856.84 1978.27 - Automizer PN Run set 2 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-PN-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------- weaver/array-eq-symm.wvr.yml true 41.37 27.29 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 112.26 80.51 None weaver/bench-exp1x3.wvr.yml true 8.61 5.16 None weaver/bench-exp2x3.wvr.yml true 13.68 7.34 None weaver/bench-exp2x4.wvr.yml true 22.08 11.97 None weaver/bench-exp2x6.wvr.yml true 26.20 14.72 None weaver/bench-exp2x9.wvr.yml true 54.99 34.91 None weaver/bench-exp3x3-opt.wvr.yml true 44.53 28.86 None weaver/bench-exp3x3.wvr.yml true 54.82 34.69 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 76.57 46.58 None weaver/chl-array-int-symm.wvr.yml true 48.10 32.11 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 78.59 47.12 None weaver/chl-chromosome-opt-symm.wvr.yml true 53.87 38.05 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 130.13 89.95 None weaver/chl-chromosome-symm.wvr.yml true 70.62 51.02 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 139.23 95.68 None weaver/chl-collitem-subst.wvr.yml true 17.09 9.10 None weaver/chl-collitem-symm.wvr.yml true 11.74 6.88 None weaver/chl-collitem-trans.wvr.yml true 17.83 9.36 None weaver/chl-exp-term-subst.wvr.yml true 23.35 13.03 None weaver/chl-exp-term-symm.wvr.yml true 12.54 7.42 None weaver/chl-file-item-subst.wvr.yml true 29.57 17.52 None weaver/chl-file-item-symm.wvr.yml true 18.06 9.56 None weaver/chl-file-item-trans.wvr.yml true 27.57 16.12 None weaver/chl-match-subst.wvr.yml true 27.64 14.72 None weaver/chl-match-symm.wvr.yml true 13.33 7.33 None weaver/chl-match-trans.wvr.yml true 27.83 14.94 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 442.52 284.16 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 125.87 97.43 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 497.88 309.55 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 103.22 58.33 None weaver/chl-node-symm.wvr.yml OUT OF MEMORY 134.62 104.60 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 101.12 57.94 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 115.07 75.98 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 151.92 118.54 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 120.62 78.79 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 901.37 839.72 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 900.57 857.87 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 902.18 859.82 None weaver/chl-simpl-str-subst.wvr.yml true 20.30 10.91 None weaver/chl-simpl-str-symm.wvr.yml true 10.70 5.98 None weaver/chl-simpl-str-trans.wvr.yml true 18.14 10.12 None weaver/chl-sre-subst.wvr.yml true 10.63 6.15 None weaver/chl-sre-symm.wvr.yml true 9.46 5.31 None weaver/chl-sre-trans.wvr.yml true 10.66 5.83 None weaver/chl-time-subst.wvr.yml true 11.29 6.15 None weaver/chl-time-symm.wvr.yml true 9.76 5.59 None weaver/chl-time-trans.wvr.yml true 11.37 6.28 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 73.94 45.86 None weaver/chl-word-symm.wvr.yml true 58.90 40.57 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 87.72 51.63 None weaver/clever.wvr.yml true 12.58 7.04 None weaver/fibonacci.wvr.yml true 12.74 7.02 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 258.70 221.86 None weaver/mult-comm.wvr.yml true 10.87 6.44 None weaver/mult-dist.wvr.yml true 10.30 5.84 None weaver/mult-flipped-dist.wvr.yml true 13.44 7.70 None weaver/parallel-bakery-2.wvr.yml true 10.26 6.89 None weaver/parallel-bakery-3.wvr.yml true 39.40 25.49 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 97.32 69.03 None weaver/parallel-barrier-loop.wvr.yml true 138.08 91.81 None weaver/parallel-barrier.wvr.yml true 90.17 62.86 None weaver/parallel-bluetooth.wvr.yml true 10.22 5.72 None weaver/parallel-lamport.wvr.yml true 13.74 7.92 None weaver/parallel-min-max-1.wvr.yml unknown 5.44 3.07 None weaver/parallel-misc-1.wvr.yml true 95.50 72.89 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.04 5.27 None weaver/parallel-misc-2-unrolled.wvr.yml true 9.91 5.69 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 11.87 6.70 None weaver/parallel-misc-3-extended.wvr.yml false(unreach-call) 17.47 9.36 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 9.93 5.95 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 23.32 12.78 None weaver/parallel-misc-5.wvr.yml true 10.82 6.59 None weaver/parallel-parallel-sum-1-dsl.wvr.yml true 77.85 54.50 None weaver/parallel-parallel-sum-1.wvr.yml true 17.71 9.44 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 105.23 65.39 None weaver/parallel-parallel-sum-equiv.wvr.yml true 15.08 8.23 None weaver/parallel-simple-equiv.wvr.yml true 9.94 5.87 None weaver/parallel-ticket-2.wvr.yml true 9.36 5.36 None weaver/parallel-ticket-3.wvr.yml true 10.76 5.99 None weaver/parallel-ticket-4.wvr.yml true 14.90 8.41 None weaver/parallel-ticket-5.wvr.yml true 33.63 20.95 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 100.56 71.78 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 91.77 61.61 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 112.59 71.48 None weaver/popl20-bad-buffer-mult-alt.wvr.yml true 21.14 11.23 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 21.63 11.76 None weaver/popl20-bad-commit-1.wvr-bad.yml true 19.75 10.87 None weaver/popl20-bad-commit-2.wvr-bad.yml true 47.36 27.50 None weaver/popl20-bad-counter-queue.wvr.yml true 9.87 5.45 None weaver/popl20-bad-counter-queue2.wvr.yml true 9.78 5.88 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 84.12 49.33 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 100.63 74.31 None weaver/popl20-bad-ring-nondet.wvr.yml false(unreach-call) 59.26 39.07 None weaver/popl20-bad-ring.wvr.yml true 18.84 10.08 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 9.01 5.55 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 103.73 72.18 None weaver/popl20-channel-sum.wvr.yml true 12.77 7.36 None weaver/popl20-commit-1.wvr.yml true 20.13 10.81 None weaver/popl20-commit-2.wvr.yml true 36.20 22.14 None weaver/popl20-counter-determinism.wvr.yml true 10.62 5.94 None weaver/popl20-counter-fun.wvr.yml true 13.38 7.22 None weaver/popl20-difference-det.wvr.yml true 10.17 5.97 None weaver/popl20-figure1-alt.wvr.yml true 8.57 5.02 None weaver/popl20-figure1.wvr.yml true 7.69 4.55 None weaver/popl20-figure3.wvr.yml true 8.62 4.83 None weaver/popl20-horseshoe.wvr.yml true 15.11 8.19 None weaver/popl20-min-max-dec.wvr.yml true 23.59 13.00 None weaver/popl20-min-max-inc-dec.wvr.yml unknown 4.92 3.26 None weaver/popl20-min-max-inc.wvr.yml true 23.67 13.38 None weaver/popl20-more-array-sum-alt.wvr.yml true 11.33 6.32 None weaver/popl20-more-array-sum-alt2.wvr.yml true 11.07 6.26 None weaver/popl20-more-array-sum.wvr.yml true 13.24 7.91 None weaver/popl20-more-array-sum2.wvr.yml true 13.15 7.22 None weaver/popl20-more-buffer-mult.wvr.yml true 17.56 9.36 None weaver/popl20-more-buffer-mult2.wvr.yml true 18.08 9.64 None weaver/popl20-more-buffer-series.wvr.yml true 18.01 10.56 None weaver/popl20-more-buffer-series2.wvr.yml true 18.18 10.28 None weaver/popl20-more-dec-subseq.wvr.yml true 18.74 10.27 None weaver/popl20-more-inc-subseq.wvr.yml true 18.75 10.39 None weaver/popl20-more-max-array-hom.wvr.yml true 11.83 6.56 None weaver/popl20-more-max-array.wvr.yml true 11.98 7.00 None weaver/popl20-more-min-array-hom.wvr.yml true 12.09 6.93 None weaver/popl20-more-min-array.wvr.yml true 11.15 6.83 None weaver/popl20-more-min-le-max.wvr.yml true 11.12 6.44 None weaver/popl20-more-mts.wvr.yml true 41.70 27.81 None weaver/popl20-more-multiply-verify.wvr.yml true 22.02 12.39 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 9.15 5.79 None weaver/popl20-more-parray-copy.wvr.yml OUT OF MEMORY 93.72 62.77 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 12.41 6.87 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 21.84 11.55 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 85.15 61.82 None weaver/popl20-more-sum-array-hom.wvr.yml true 44.88 29.78 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 92.53 54.18 None weaver/popl20-mult-4.wvr.yml true 10.20 6.02 None weaver/popl20-mult-equiv.wvr.yml true 9.28 5.67 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 8.34 4.99 None weaver/popl20-nonblocking-cntr.wvr.yml true 8.05 4.62 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 174.90 120.29 None weaver/popl20-prod-cons.wvr.yml true 11.73 6.47 None weaver/popl20-prod-cons3.wvr.yml true 15.72 8.51 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 10.96 6.08 None weaver/popl20-queue-add-2.wvr.yml true 11.37 6.62 None weaver/popl20-queue-add-3.wvr.yml true 15.76 8.75 None weaver/popl20-send-receive-alt.wvr.yml true 10.68 6.09 None weaver/popl20-send-receive.wvr.yml true 11.31 6.29 None weaver/popl20-simple-array-sum.wvr.yml true 45.02 30.02 None weaver/popl20-simple-queue.wvr.yml true 13.30 7.57 None weaver/popl20-threaded-sum-3.wvr.yml true 10.26 6.17 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 115.06 76.31 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 133.95 85.03 None weaver/popl20-three-array-sum.wvr.yml OUT OF MEMORY 140.64 108.56 None weaver/popl20-two-queue.wvr.yml true 13.54 7.82 None weaver/security.wvr.yml true 9.64 5.77 None weaver/spaghetti.wvr.yml true 13.27 7.06 None weaver/test-context1.wvr.yml true 9.62 5.47 None weaver/test-easy1.wvr.yml true 8.73 5.30 None weaver/test-easy10.wvr.yml true 14.79 8.29 None weaver/test-easy11.wvr.yml true 7.79 4.52 None weaver/test-easy6.wvr.yml true 8.57 5.21 None weaver/test-easy7.wvr.yml true 9.32 5.49 None weaver/test-easy8.wvr.yml true 10.62 5.81 None weaver/test-hard1.wvr.yml true 11.63 6.32 None weaver/test-semi1.wvr.yml true 8.02 5.21 None weaver/unroll-2.wvr.yml true 20.50 11.79 None weaver/unroll-3.wvr.yml true 24.81 15.09 None weaver/unroll-4.wvr.yml true 36.62 21.52 None weaver/unroll-5.wvr.yml true 34.55 21.00 None weaver/unroll-cond-2.wvr.yml true 27.33 16.07 None weaver/unroll-cond-3.wvr.yml true 34.72 22.92 None weaver/unroll-cond-4.wvr.yml true 44.38 30.05 None weaver/unroll-cond-5.wvr.yml true 53.06 37.11 None ldv-races/race-1_1-join.yml true 10.25 5.82 None ldv-races/race-1_2-join.yml true 10.07 5.85 None ldv-races/race-1_2b-join.yml false(unreach-call) 9.64 6.14 None ldv-races/race-1_3-join.yml true 12.03 6.89 None ldv-races/race-1_3b-join.yml false(unreach-call) 9.75 5.71 None ldv-races/race-2_1-container_of.yml ERROR: EXCEPTION 6.21 3.97 None ldv-races/race-2_2-container_of.yml ERROR: EXCEPTION 6.29 4.06 None ldv-races/race-2_2b-container_of.yml ERROR: EXCEPTION 6.29 3.82 None ldv-races/race-2_3-container_of.yml ERROR: EXCEPTION 5.79 3.54 None ldv-races/race-2_3b-container_of.yml ERROR: EXCEPTION 7.57 4.49 None ldv-races/race-2_4-container_of.yml ERROR: EXCEPTION 6.02 3.45 None ldv-races/race-2_4b-container_of.yml ERROR: EXCEPTION 6.29 4.07 None ldv-races/race-2_5-container_of.yml ERROR: EXCEPTION 5.92 3.34 None ldv-races/race-2_5b-container_of.yml ERROR: EXCEPTION 6.37 4.09 None ldv-races/race-3_1-container_of-global.yml ERROR: EXCEPTION 5.87 3.35 None ldv-races/race-3_2-container_of-global.yml ERROR: EXCEPTION 7.63 4.42 None ldv-races/race-3_2b-container_of-global.yml ERROR: EXCEPTION 6.11 4.26 None pthread/fib_bench-1.yml true 7.53 4.69 None pthread/fib_bench-2.yml true 7.36 4.51 None pthread/fib_bench_longer-1.yml true 7.53 4.62 None pthread/fib_bench_longer-2.yml true 7.30 4.26 None pthread/fib_bench_longest-1.yml true 9.56 5.48 None pthread/fib_bench_longest-2.yml true 7.32 5.40 None pthread/lazy01.yml true 11.05 6.45 None pthread/singleton-b.yml OUT OF MEMORY 71.68 47.54 None pthread/singleton.yml OUT OF MEMORY 130.89 97.48 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 77.12 51.96 None pthread/singleton_with-uninit-problems.yml OUT OF MEMORY 120.10 85.53 None pthread/stateful01-1.yml true 10.58 6.70 None pthread/stateful01-2.yml true 10.06 6.22 None pthread/triangular-1.yml true 7.29 4.58 None pthread/triangular-2.yml true 7.05 4.24 None pthread/triangular-longer-1.yml true 7.52 5.17 None pthread/triangular-longer-2.yml true 7.28 4.57 None pthread/triangular-longest-1.yml true 7.64 4.69 None pthread/triangular-longest-2.yml true 7.39 4.27 None pthread-atomic/dekker-b.yml false(unreach-call) 11.91 7.67 None pthread-atomic/dekker.yml true 10.11 5.89 None pthread-atomic/lamport-b.yml false(unreach-call) 19.92 11.10 None pthread-atomic/lamport.yml true 16.99 9.13 None pthread-atomic/peterson-b.yml false(unreach-call) 10.80 6.06 None pthread-atomic/peterson.yml true 10.57 6.01 None pthread-atomic/read_write_lock-1.yml true 14.05 8.36 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 23.23 13.38 None pthread-atomic/read_write_lock-2.yml true 9.75 5.56 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 27.17 16.42 None pthread-atomic/szymanski-b.yml false(unreach-call) 13.66 7.53 None pthread-atomic/szymanski.yml true 11.93 6.66 None pthread-atomic/time_var_mutex.yml true 10.23 6.74 None pthread-ext/01_inc.yml OUT OF MEMORY 90.25 60.53 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.45 4.37 None pthread-ext/14_spin2003.yml OUT OF MEMORY 96.99 64.60 None pthread-ext/18_read_write_lock.yml true 8.45 4.84 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 112.72 70.59 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 91.16 59.35 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 84.94 55.82 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 107.39 74.48 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 27.58 17.44 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 97.10 62.85 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 128.20 83.76 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 165.03 118.03 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 185.24 119.52 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 115.74 78.95 None pthread-lit/qw2004-2.yml false(unreach-call) 10.68 6.35 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 7.88 4.59 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 14.22 8.06 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 13.87 7.63 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 13.31 7.58 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 8.63 5.02 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 9.00 5.10 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 7.92 4.60 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 8.15 4.64 None goblint-regression/04-mutex_02-simple_nr.yml true 8.67 5.70 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 8.05 4.59 None goblint-regression/04-mutex_04-munge_nr.yml true 13.86 7.78 None goblint-regression/04-mutex_05-lockfuns.yml true 8.46 5.33 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 8.37 4.79 None goblint-regression/04-mutex_07-ps_nr.yml true 8.03 4.97 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 11.02 6.14 None goblint-regression/04-mutex_10-ptrmunge_nr.yml OUT OF MEMORY 827.84 747.24 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 10.61 5.92 None goblint-regression/04-mutex_12-ptr_nr.yml true 18.46 10.11 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 7.94 4.60 None goblint-regression/04-mutex_15-funarg_nr.yml true 8.81 5.35 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 7.90 4.59 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 7.96 5.04 None goblint-regression/04-mutex_18-glob_guards.yml true 7.81 4.57 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 9.52 5.50 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.77 3.27 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 8.16 4.95 None goblint-regression/04-mutex_22-deref_read.yml true 8.03 4.67 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.30 3.29 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 8.69 5.18 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 7.37 4.37 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 9.07 5.19 None goblint-regression/04-mutex_28-base_nr.yml true 9.21 5.29 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 6.07 3.82 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 5.74 3.67 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 10.74 6.31 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 9.29 5.28 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 5.62 3.51 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 5.24 3.04 None goblint-regression/04-mutex_43-thread_create_nr.yml true 8.36 5.18 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 19.33 12.94 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 10.91 6.14 None goblint-regression/04-mutex_46-escape_nr.yml true 26.85 15.17 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 8.33 4.87 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 8.08 5.02 None goblint-regression/04-mutex_51-mutex_ptr.yml true 17.96 9.96 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 5.74 3.24 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.85 3.36 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 17.92 12.42 None goblint-regression/05-lval_ls_02-idx_nr.yml true 9.69 6.73 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 8.00 4.61 None goblint-regression/05-lval_ls_04-fld_nr.yml true 8.03 4.68 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 5.32 3.32 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml ERROR: EXCEPTION 5.45 3.31 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml ERROR: EXCEPTION 5.19 3.37 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 5.28 2.98 None goblint-regression/05-lval_ls_11-fldsense_rc.yml ERROR: EXCEPTION 5.47 3.30 None goblint-regression/05-lval_ls_12-fldsense_nr.yml ERROR: EXCEPTION 5.43 3.05 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 5.61 3.18 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 5.33 3.35 None goblint-regression/05-lval_ls_15-fldunknown_access.yml ERROR: EXCEPTION 5.29 2.98 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.08 2.94 None goblint-regression/06-symbeq_02-funloop_norace.yml OUT OF MEMORY 187.60 145.25 None goblint-regression/06-symbeq_03-funloop_simple.yml ERROR: EXCEPTION 5.53 3.10 None goblint-regression/06-symbeq_04-funloop_hard1.yml ERROR: EXCEPTION 5.95 3.57 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 5.65 3.47 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 5.62 3.32 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 5.98 3.39 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 4.95 2.82 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 5.47 3.15 None goblint-regression/06-symbeq_10-equ_rc.yml ERROR: EXCEPTION 6.07 3.55 None goblint-regression/06-symbeq_11-equ_nr.yml ERROR: EXCEPTION 5.31 3.32 None goblint-regression/06-symbeq_13-equ_proc_nr.yml ERROR: EXCEPTION 5.68 3.68 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 5.63 3.52 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 118.62 86.17 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 5.07 2.78 None goblint-regression/09-regions_01-list_rc.yml TIMEOUT 904.54 794.00 None goblint-regression/09-regions_02-list_nr.yml OUT OF MEMORY 780.61 681.12 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 173.00 136.88 None goblint-regression/09-regions_04-list2_nr.yml OUT OF MEMORY 755.35 652.63 None goblint-regression/09-regions_05-ptra_rc.yml OUT OF MEMORY 545.18 466.48 None goblint-regression/09-regions_06-ptra_nr.yml OUT OF MEMORY 432.31 355.62 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 6.07 4.03 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 5.52 3.55 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 5.44 3.52 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 6.23 4.05 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 5.70 3.51 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 5.94 4.22 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 5.95 4.18 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 7.01 4.05 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 5.34 3.51 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 7.16 4.42 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 5.51 3.54 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 7.21 4.39 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 5.63 3.42 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 5.62 3.54 None goblint-regression/09-regions_26-alloc_region_rc.yml OUT OF MEMORY 136.69 98.86 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 11.89 6.83 None goblint-regression/10-synch_01-thread_unique.yml true 6.98 4.62 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 5.81 3.63 None goblint-regression/10-synch_03-two_unique.yml true 6.97 4.26 None goblint-regression/13-privatized_03-priv_inv.yml true 8.58 5.05 None ----------------------------------------------------------------------------------------------------------------------- Run set 2 done 17812.51 1380.99 - Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder Run set 3 of 3 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------- weaver/array-eq-symm.wvr.yml true 51.49 30.97 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 494.29 260.02 None weaver/bench-exp1x3.wvr.yml true 10.04 6.68 None weaver/bench-exp2x3.wvr.yml true 160.05 95.86 None weaver/bench-exp2x4.wvr.yml OUT OF MEMORY 453.42 236.04 None weaver/bench-exp2x6.wvr.yml OUT OF MEMORY 388.25 204.09 None weaver/bench-exp2x9.wvr.yml OUT OF MEMORY 509.68 263.68 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 456.03 241.55 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 615.10 318.70 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 401.92 211.01 None weaver/chl-array-int-symm.wvr.yml true 61.64 37.11 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 405.01 208.64 None weaver/chl-chromosome-opt-symm.wvr.yml true 94.58 68.57 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 379.57 199.72 None weaver/chl-chromosome-symm.wvr.yml true 101.12 62.72 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 409.35 211.15 None weaver/chl-collitem-subst.wvr.yml true 39.01 25.90 None weaver/chl-collitem-symm.wvr.yml true 15.67 8.95 None weaver/chl-collitem-trans.wvr.yml true 41.29 28.99 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 259.90 138.09 None weaver/chl-exp-term-symm.wvr.yml true 16.84 9.89 None weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 294.66 152.67 None weaver/chl-file-item-symm.wvr.yml true 15.23 8.88 None weaver/chl-file-item-trans.wvr.yml OUT OF MEMORY 307.33 167.26 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 267.72 141.37 None weaver/chl-match-symm.wvr.yml true 18.13 10.43 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 264.98 141.55 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 378.14 194.57 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 300.47 156.89 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 394.91 206.90 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 353.30 183.94 None weaver/chl-node-symm.wvr.yml true 105.53 62.01 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 473.38 242.35 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 381.02 198.23 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 394.49 202.88 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 377.38 195.23 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 902.06 811.72 None weaver/chl-poker-hand-symm.wvr.yml TIMEOUT 905.90 674.30 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 903.95 750.87 None weaver/chl-simpl-str-subst.wvr.yml true 74.74 40.65 None weaver/chl-simpl-str-symm.wvr.yml true 15.06 8.91 None weaver/chl-simpl-str-trans.wvr.yml true 87.37 48.13 None weaver/chl-sre-subst.wvr.yml true 18.02 10.48 None weaver/chl-sre-symm.wvr.yml true 10.70 6.48 None weaver/chl-sre-trans.wvr.yml true 17.45 10.30 None weaver/chl-time-subst.wvr.yml true 14.44 9.22 None weaver/chl-time-symm.wvr.yml true 10.07 6.31 None weaver/chl-time-trans.wvr.yml true 15.64 9.30 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 405.26 208.67 None weaver/chl-word-symm.wvr.yml true 74.39 43.58 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 385.09 200.91 None weaver/clever.wvr.yml true 17.40 10.31 None weaver/fibonacci.wvr.yml true 20.08 11.20 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 903.23 815.59 None weaver/mult-comm.wvr.yml true 12.10 7.55 None weaver/mult-dist.wvr.yml true 24.89 14.04 None weaver/mult-flipped-dist.wvr.yml true 31.77 17.89 None weaver/parallel-bakery-2.wvr.yml true 13.77 8.56 None weaver/parallel-bakery-3.wvr.yml true 81.91 50.63 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 454.10 240.63 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 325.70 170.68 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 459.52 237.08 None weaver/parallel-bluetooth.wvr.yml true 11.33 7.04 None weaver/parallel-lamport.wvr.yml true 21.29 12.06 None weaver/parallel-min-max-1.wvr.yml unknown 5.18 3.04 None weaver/parallel-misc-1.wvr.yml OUT OF MEMORY 352.87 182.61 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 10.54 6.38 None weaver/parallel-misc-2-unrolled.wvr.yml true 11.37 6.96 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 10.04 6.21 None weaver/parallel-misc-3-extended.wvr.yml false(unreach-call) 10.50 6.18 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 9.70 5.80 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 10.79 6.28 None weaver/parallel-misc-5.wvr.yml true 13.00 7.84 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 421.35 223.49 None weaver/parallel-parallel-sum-1.wvr.yml true 44.23 26.88 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 376.29 199.11 None weaver/parallel-parallel-sum-equiv.wvr.yml true 99.12 59.47 None weaver/parallel-simple-equiv.wvr.yml true 10.92 6.79 None weaver/parallel-ticket-2.wvr.yml true 10.74 6.79 None weaver/parallel-ticket-3.wvr.yml true 16.72 9.98 None weaver/parallel-ticket-4.wvr.yml true 43.76 27.05 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 433.26 237.76 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 278.64 157.45 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 392.84 218.06 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 301.67 173.86 None weaver/popl20-bad-buffer-mult-alt.wvr.yml true 76.87 49.52 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 76.32 48.50 None weaver/popl20-bad-commit-1.wvr-bad.yml true 78.81 51.37 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 300.73 177.90 None weaver/popl20-bad-counter-queue.wvr.yml true 15.37 9.09 None weaver/popl20-bad-counter-queue2.wvr.yml true 14.55 8.80 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 751.42 407.69 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 412.15 221.46 None weaver/popl20-bad-ring-nondet.wvr.yml false(unreach-call) 117.70 70.02 None weaver/popl20-bad-ring.wvr.yml true 49.17 30.11 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 10.44 6.90 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 364.26 194.18 None weaver/popl20-channel-sum.wvr.yml true 16.75 9.90 None weaver/popl20-commit-1.wvr.yml true 54.29 34.51 None weaver/popl20-commit-2.wvr.yml OUT OF MEMORY 161.71 102.33 None weaver/popl20-counter-determinism.wvr.yml true 28.46 18.54 None weaver/popl20-counter-fun.wvr.yml true 30.60 16.53 None weaver/popl20-difference-det.wvr.yml true 25.62 15.57 None weaver/popl20-figure1-alt.wvr.yml true 11.64 7.06 None weaver/popl20-figure1.wvr.yml true 8.66 5.61 None weaver/popl20-figure3.wvr.yml true 9.54 6.07 None weaver/popl20-horseshoe.wvr.yml true 32.38 18.51 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 188.40 142.23 None weaver/popl20-min-max-inc-dec.wvr.yml unknown 7.32 4.30 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 145.51 112.66 None weaver/popl20-more-array-sum-alt.wvr.yml true 28.79 16.22 None weaver/popl20-more-array-sum-alt2.wvr.yml true 19.59 11.57 None weaver/popl20-more-array-sum.wvr.yml true 26.98 14.92 None weaver/popl20-more-array-sum2.wvr.yml true 38.35 21.05 None weaver/popl20-more-buffer-mult.wvr.yml true 69.59 42.66 None weaver/popl20-more-buffer-mult2.wvr.yml true 56.18 34.67 None weaver/popl20-more-buffer-series.wvr.yml true 98.14 61.23 None weaver/popl20-more-buffer-series2.wvr.yml true 68.84 44.40 None weaver/popl20-more-dec-subseq.wvr.yml true 31.07 17.90 None weaver/popl20-more-inc-subseq.wvr.yml true 30.05 16.74 None weaver/popl20-more-max-array-hom.wvr.yml true 26.94 15.73 None weaver/popl20-more-max-array.wvr.yml true 26.46 15.44 None weaver/popl20-more-min-array-hom.wvr.yml true 25.68 14.78 None weaver/popl20-more-min-array.wvr.yml true 28.02 15.99 None weaver/popl20-more-min-le-max.wvr.yml true 19.38 11.68 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 337.66 184.34 None weaver/popl20-more-multiply-verify.wvr.yml true 44.36 25.87 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 10.11 6.19 None weaver/popl20-more-parray-copy.wvr.yml OUT OF MEMORY 805.48 687.08 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 19.83 11.66 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 110.36 63.44 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 338.80 183.62 None weaver/popl20-more-sum-array-hom.wvr.yml true 160.36 96.62 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 792.16 673.98 None weaver/popl20-mult-4.wvr.yml true 65.67 41.68 None weaver/popl20-mult-equiv.wvr.yml true 12.92 8.55 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 10.25 6.37 None weaver/popl20-nonblocking-cntr.wvr.yml true 9.56 6.09 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 437.41 245.91 None weaver/popl20-prod-cons.wvr.yml true 18.32 10.43 None weaver/popl20-prod-cons3.wvr.yml true 55.32 34.20 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 29.21 16.48 None weaver/popl20-queue-add-2.wvr.yml true 17.96 10.70 None weaver/popl20-queue-add-3.wvr.yml true 35.09 20.22 None weaver/popl20-send-receive-alt.wvr.yml true 16.47 9.57 None weaver/popl20-send-receive.wvr.yml true 35.28 19.44 None weaver/popl20-simple-array-sum.wvr.yml ERROR: EXCEPTION 589.51 567.18 None weaver/popl20-simple-queue.wvr.yml true 12.87 7.75 None weaver/popl20-threaded-sum-3.wvr.yml true 18.50 11.13 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 298.04 247.45 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 410.27 314.05 None weaver/popl20-three-array-sum.wvr.yml true 288.27 236.90 None weaver/popl20-two-queue.wvr.yml true 21.26 12.10 None weaver/security.wvr.yml true 10.70 6.94 None weaver/spaghetti.wvr.yml true 28.88 17.62 None weaver/test-context1.wvr.yml true 12.18 7.81 None weaver/test-easy1.wvr.yml true 9.63 6.65 None weaver/test-easy10.wvr.yml true 29.18 17.42 None weaver/test-easy11.wvr.yml true 8.71 6.33 None weaver/test-easy6.wvr.yml true 10.39 6.92 None weaver/test-easy7.wvr.yml true 11.47 7.27 None weaver/test-easy8.wvr.yml true 8.28 5.77 None weaver/test-hard1.wvr.yml true 24.33 14.25 None weaver/test-semi1.wvr.yml true 8.08 5.62 None weaver/unroll-2.wvr.yml true 26.68 15.03 None weaver/unroll-3.wvr.yml true 31.22 18.78 None weaver/unroll-4.wvr.yml true 38.70 21.92 None weaver/unroll-5.wvr.yml true 42.42 26.15 None weaver/unroll-cond-2.wvr.yml true 32.82 19.12 None weaver/unroll-cond-3.wvr.yml true 44.05 25.61 None weaver/unroll-cond-4.wvr.yml true 58.34 35.23 None weaver/unroll-cond-5.wvr.yml true 74.69 43.11 None ldv-races/race-1_1-join.yml true 10.18 5.98 None ldv-races/race-1_2-join.yml true 9.97 6.98 None ldv-races/race-1_2b-join.yml false(unreach-call) 9.23 5.70 None ldv-races/race-1_3-join.yml true 9.84 6.55 None ldv-races/race-1_3b-join.yml false(unreach-call) 8.78 5.88 None ldv-races/race-2_1-container_of.yml ERROR: EXCEPTION 6.02 3.75 None ldv-races/race-2_2-container_of.yml ERROR: EXCEPTION 5.94 3.61 None ldv-races/race-2_2b-container_of.yml ERROR: EXCEPTION 6.23 3.76 None ldv-races/race-2_3-container_of.yml ERROR: EXCEPTION 5.95 3.31 None ldv-races/race-2_3b-container_of.yml ERROR: EXCEPTION 6.39 3.53 None ldv-races/race-2_4-container_of.yml ERROR: EXCEPTION 6.31 4.08 None ldv-races/race-2_4b-container_of.yml ERROR: EXCEPTION 6.00 3.65 None ldv-races/race-2_5-container_of.yml ERROR: EXCEPTION 5.79 3.25 None ldv-races/race-2_5b-container_of.yml ERROR: EXCEPTION 6.19 3.38 None ldv-races/race-3_1-container_of-global.yml ERROR: EXCEPTION 6.18 3.87 None ldv-races/race-3_2-container_of-global.yml ERROR: EXCEPTION 6.94 4.17 None ldv-races/race-3_2b-container_of-global.yml ERROR: EXCEPTION 6.09 4.54 None pthread/fib_bench-1.yml true 8.67 5.53 None pthread/fib_bench-2.yml true 8.53 7.99 None pthread/fib_bench_longer-1.yml true 8.57 6.25 None pthread/fib_bench_longer-2.yml true 8.91 6.04 None pthread/fib_bench_longest-1.yml true 8.64 5.95 None pthread/fib_bench_longest-2.yml true 8.68 5.52 None pthread/lazy01.yml true 11.91 7.66 None pthread/singleton-b.yml false(unreach-call) 11.85 6.93 None pthread/singleton.yml true 36.02 26.97 None pthread/singleton_with-uninit-problems-b.yml false(unreach-call) 12.14 7.50 None pthread/singleton_with-uninit-problems.yml true 39.96 25.07 None pthread/stateful01-1.yml true 11.73 7.04 None pthread/stateful01-2.yml true 12.24 7.59 None pthread/triangular-1.yml true 8.72 6.62 None pthread/triangular-2.yml true 8.48 5.88 None pthread/triangular-longer-1.yml true 8.17 5.31 None pthread/triangular-longer-2.yml true 8.85 6.17 None pthread/triangular-longest-1.yml true 8.62 5.81 None pthread/triangular-longest-2.yml true 8.45 5.49 None pthread-atomic/dekker-b.yml false(unreach-call) 9.00 5.37 None pthread-atomic/dekker.yml true 14.08 8.84 None pthread-atomic/lamport-b.yml false(unreach-call) 9.91 5.91 None pthread-atomic/lamport.yml true 23.62 13.23 None pthread-atomic/peterson-b.yml false(unreach-call) 9.38 5.51 None pthread-atomic/peterson.yml true 13.13 8.07 None pthread-atomic/read_write_lock-1.yml true 121.13 79.39 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 11.92 7.06 None pthread-atomic/read_write_lock-2.yml true 70.72 45.03 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 11.48 6.65 None pthread-atomic/szymanski-b.yml false(unreach-call) 9.75 5.66 None pthread-atomic/szymanski.yml true 21.48 12.73 None pthread-atomic/time_var_mutex.yml true 12.02 7.20 None pthread-ext/01_inc.yml false(unreach-call) 10.66 7.50 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.39 4.41 None pthread-ext/14_spin2003.yml OUT OF MEMORY 244.89 138.19 None pthread-ext/18_read_write_lock.yml true 8.62 5.64 None pthread-ext/39_rand_lock_p0_vs-b.yml false(unreach-call) 12.38 8.32 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 235.86 130.08 None pthread-ext/40_barrier_vf-b.yml false(unreach-call) 15.42 9.86 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 326.39 174.62 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 9.61 7.07 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 103.75 70.52 None pthread-ext/46_monabsex2_vs-b.yml false(unreach-call) 10.54 7.10 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 116.47 76.62 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml false(unreach-call) 9.59 5.92 None pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 901.93 819.43 None pthread-lit/qw2004-2.yml false(unreach-call) 9.82 5.85 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 8.07 4.96 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 10.04 6.05 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 9.93 6.12 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 9.24 5.80 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 8.32 5.06 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 8.23 5.26 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 7.83 5.10 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 8.04 5.74 None goblint-regression/04-mutex_02-simple_nr.yml true 8.70 5.36 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 7.79 4.73 None goblint-regression/04-mutex_04-munge_nr.yml true 9.42 5.91 None goblint-regression/04-mutex_05-lockfuns.yml true 8.42 5.32 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 7.66 4.84 None goblint-regression/04-mutex_07-ps_nr.yml true 8.79 5.57 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 8.65 5.90 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 29.72 16.36 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 8.76 5.80 None goblint-regression/04-mutex_12-ptr_nr.yml true 17.04 9.98 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 7.57 5.37 None goblint-regression/04-mutex_15-funarg_nr.yml true 8.82 5.45 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 7.68 4.97 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 9.27 6.13 None goblint-regression/04-mutex_18-glob_guards.yml true 8.44 5.62 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 7.79 5.25 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.84 3.77 None goblint-regression/04-mutex_21-sound_base.yml ERROR: EXCEPTION 7.92 4.74 None goblint-regression/04-mutex_22-deref_read.yml true 9.15 5.81 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.56 3.25 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 7.75 5.24 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 8.06 5.00 None goblint-regression/04-mutex_27-base_rc.yml ERROR: EXCEPTION 9.13 5.63 None goblint-regression/04-mutex_28-base_nr.yml true 9.59 5.93 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 6.08 3.69 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 6.05 4.24 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 8.68 5.32 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 7.97 5.34 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 5.73 3.67 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 5.45 3.48 None goblint-regression/04-mutex_43-thread_create_nr.yml true 8.73 5.36 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 16.15 11.50 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 8.58 5.41 None goblint-regression/04-mutex_46-escape_nr.yml true 17.59 9.95 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 7.84 4.81 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 7.91 5.38 None goblint-regression/04-mutex_51-mutex_ptr.yml true 18.41 10.41 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 5.95 3.51 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.85 4.08 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 16.94 12.20 None goblint-regression/05-lval_ls_02-idx_nr.yml true 10.74 7.62 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 7.57 5.45 None goblint-regression/05-lval_ls_04-fld_nr.yml true 8.15 5.57 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 5.40 3.60 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml ERROR: EXCEPTION 5.44 3.12 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml ERROR: EXCEPTION 5.19 3.74 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 5.50 3.98 None goblint-regression/05-lval_ls_11-fldsense_rc.yml ERROR: EXCEPTION 5.17 3.36 None goblint-regression/05-lval_ls_12-fldsense_nr.yml ERROR: EXCEPTION 5.62 3.15 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 5.50 3.18 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 5.49 3.55 None goblint-regression/05-lval_ls_15-fldunknown_access.yml ERROR: EXCEPTION 6.94 3.79 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.27 3.19 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.87 885.14 None goblint-regression/06-symbeq_03-funloop_simple.yml ERROR: EXCEPTION 5.36 3.13 None goblint-regression/06-symbeq_04-funloop_hard1.yml ERROR: EXCEPTION 5.70 3.74 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 5.57 3.18 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 5.51 3.27 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 5.61 3.68 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 7.63 4.45 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 5.31 3.42 None goblint-regression/06-symbeq_10-equ_rc.yml ERROR: EXCEPTION 5.42 3.05 None goblint-regression/06-symbeq_11-equ_nr.yml ERROR: EXCEPTION 5.49 4.00 None goblint-regression/06-symbeq_13-equ_proc_nr.yml ERROR: EXCEPTION 5.64 3.87 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 5.74 3.31 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 12.80 8.04 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 5.47 3.15 None goblint-regression/09-regions_01-list_rc.yml false(unreach-call) 40.38 22.97 None goblint-regression/09-regions_02-list_nr.yml true 44.31 27.58 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 15.96 9.36 None goblint-regression/09-regions_04-list2_nr.yml true 125.07 98.96 None goblint-regression/09-regions_05-ptra_rc.yml false(unreach-call) 11.99 6.84 None goblint-regression/09-regions_06-ptra_nr.yml true 48.61 27.28 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 5.86 3.31 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 5.42 3.41 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 5.89 3.95 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 5.51 3.55 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 5.66 3.58 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 5.85 4.18 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 5.88 3.81 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 5.60 3.47 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 5.76 3.48 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 5.50 3.53 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 5.82 3.54 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 5.53 3.63 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 5.52 3.42 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 5.82 3.99 None goblint-regression/09-regions_26-alloc_region_rc.yml false(unreach-call) 365.38 340.90 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 35.08 27.01 None goblint-regression/10-synch_01-thread_unique.yml true 7.63 5.06 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 5.58 3.37 None goblint-regression/10-synch_03-two_unique.yml true 9.57 6.17 None goblint-regression/13-privatized_03-priv_inv.yml true 8.61 5.57 None ----------------------------------------------------------------------------------------------------------------------- Run set 3 done 32910.84 2177.30 - Statistics: 1011 Files correct: 590 correct true: 471 correct false: 119 incorrect: 21 incorrect true: 0 incorrect false: 21 unknown: 400 Score: 725 (max: 1791)