BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: Automizer FA, Automizer PN, Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder date: Fri, 2021-10-15 16:57:03 CEST tool: ULTIMATE Automizer 0.2.1-eaa53641 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 34.68 20.49 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 110.54 62.05 None weaver/bench-exp1x3.wvr.yml true 11.12 6.50 None weaver/bench-exp2x3.wvr.yml OUT OF MEMORY 106.25 60.42 None weaver/bench-exp2x4.wvr.yml OUT OF MEMORY 130.80 72.39 None weaver/bench-exp2x6.wvr.yml OUT OF MEMORY 103.64 58.31 None weaver/bench-exp2x9.wvr.yml OUT OF MEMORY 135.99 74.49 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 104.35 60.48 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 128.60 72.28 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 106.99 59.51 None weaver/chl-array-int-symm.wvr.yml true 81.06 52.36 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 109.82 60.52 None weaver/chl-chromosome-opt-symm.wvr.yml true 42.87 27.22 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 110.22 61.78 None weaver/chl-chromosome-symm.wvr.yml true 85.54 54.49 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 105.72 58.91 None weaver/chl-collitem-subst.wvr.yml true 11.81 7.00 None weaver/chl-collitem-symm.wvr.yml true 10.98 6.36 None weaver/chl-collitem-trans.wvr.yml true 11.47 6.35 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 109.82 67.84 None weaver/chl-exp-term-symm.wvr.yml true 35.87 23.07 None weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 105.50 58.38 None weaver/chl-file-item-symm.wvr.yml true 35.50 21.56 None weaver/chl-file-item-trans.wvr.yml OUT OF MEMORY 113.00 61.94 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 107.01 59.93 None weaver/chl-match-symm.wvr.yml true 44.50 28.62 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 113.07 62.00 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 114.69 65.50 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 175.45 101.53 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 135.02 73.18 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 131.83 72.07 None weaver/chl-node-symm.wvr.yml true 345.18 214.67 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 105.58 58.46 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 105.01 58.56 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 157.09 86.38 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 106.33 58.85 None weaver/chl-poker-hand-subst.wvr.yml OUT OF MEMORY 265.79 200.03 None weaver/chl-poker-hand-symm.wvr.yml true 80.50 63.81 None weaver/chl-poker-hand-trans.wvr.yml OUT OF MEMORY 251.86 176.35 None weaver/chl-simpl-str-subst.wvr.yml OUT OF MEMORY 145.45 79.03 None weaver/chl-simpl-str-symm.wvr.yml true 19.83 11.38 None weaver/chl-simpl-str-trans.wvr.yml OUT OF MEMORY 135.14 75.71 None weaver/chl-sre-subst.wvr.yml true 103.63 60.77 None weaver/chl-sre-symm.wvr.yml true 9.64 5.48 None weaver/chl-sre-trans.wvr.yml true 106.74 62.55 None weaver/chl-time-subst.wvr.yml true 10.10 5.67 None weaver/chl-time-symm.wvr.yml true 11.18 6.32 None weaver/chl-time-trans.wvr.yml true 12.31 6.63 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 113.26 61.88 None weaver/chl-word-symm.wvr.yml true 135.05 87.08 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 131.75 71.57 None weaver/clever.wvr.yml true 33.36 17.77 None weaver/fibonacci.wvr.yml true 63.83 45.61 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 902.00 842.85 None weaver/mult-comm.wvr.yml true 12.30 7.02 None weaver/mult-dist.wvr.yml true 129.73 73.41 None weaver/mult-flipped-dist.wvr.yml true 109.77 63.85 None weaver/parallel-bakery-2.wvr.yml false(unreach-call) 136.89 90.10 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 107.28 59.63 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 109.76 61.86 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 114.39 70.43 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 112.24 63.69 None weaver/parallel-bluetooth.wvr.yml false(unreach-call) 16.25 10.36 None weaver/parallel-lamport.wvr.yml OUT OF MEMORY 112.51 67.89 None weaver/parallel-min-max-1.wvr.yml OUT OF MEMORY 135.97 74.03 None weaver/parallel-min-max-2.wvr.yml ERROR: EXCEPTION 7.66 4.89 None weaver/parallel-misc-1.wvr.yml true 662.85 368.67 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 8.97 5.11 None weaver/parallel-misc-2-unrolled.wvr.yml false(unreach-call) 23.40 13.02 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 36.03 20.11 None weaver/parallel-misc-3-extended.wvr.yml OUT OF MEMORY 151.92 84.27 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 25.26 14.14 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 127.28 76.83 None weaver/parallel-misc-5.wvr.yml false(unreach-call) 28.56 15.10 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 113.35 64.30 None weaver/parallel-parallel-sum-1.wvr.yml true 21.96 14.17 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 107.26 61.96 None weaver/parallel-parallel-sum-equiv.wvr.yml true 72.06 43.74 None weaver/parallel-simple-equiv.wvr.yml true 16.70 8.96 None weaver/parallel-ticket-2.wvr.yml false(unreach-call) 24.72 14.62 None weaver/parallel-ticket-3.wvr.yml OUT OF MEMORY 169.40 94.47 None weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 135.69 74.33 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 132.71 73.28 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 132.82 73.84 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 111.54 63.54 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 112.29 66.44 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 118.23 68.32 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 112.27 63.05 None weaver/popl20-bad-commit-1.wvr-bad.yml true 29.11 16.30 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 107.69 60.36 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 22.23 12.23 None weaver/popl20-bad-counter-queue2.wvr.yml true 8.20 4.85 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 102.10 57.21 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 106.37 59.19 None weaver/popl20-bad-ring-nondet.wvr.yml true 28.93 16.22 None weaver/popl20-bad-ring.wvr.yml true 47.89 29.90 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 10.28 6.01 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 117.08 66.62 None weaver/popl20-channel-sum.wvr.yml false(unreach-call) 63.63 37.66 None weaver/popl20-commit-1.wvr.yml true 19.20 10.47 None weaver/popl20-commit-2.wvr.yml true 37.74 21.48 None weaver/popl20-counter-determinism.wvr.yml true 49.87 28.70 None weaver/popl20-counter-fun.wvr.yml true 14.10 8.09 None weaver/popl20-difference-det.wvr.yml true 40.51 26.06 None weaver/popl20-figure1-alt.wvr.yml true 7.58 5.45 None weaver/popl20-figure1.wvr.yml true 9.16 5.14 None weaver/popl20-figure3.wvr.yml false(unreach-call) 9.11 5.73 None weaver/popl20-horseshoe.wvr.yml true 49.62 31.86 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 109.83 61.32 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 104.86 60.31 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 135.27 74.25 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 132.93 78.22 None weaver/popl20-more-array-sum-alt2.wvr.yml true 15.78 8.50 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 103.23 57.56 None weaver/popl20-more-array-sum2.wvr.yml true 17.63 9.68 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 107.70 61.25 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 142.31 78.32 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 113.86 65.89 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 125.63 69.88 None weaver/popl20-more-dec-subseq.wvr.yml true 43.49 24.81 None weaver/popl20-more-inc-subseq.wvr.yml true 34.64 21.47 None weaver/popl20-more-max-array-hom.wvr.yml true 12.27 7.77 None weaver/popl20-more-max-array.wvr.yml true 15.76 8.76 None weaver/popl20-more-min-array-hom.wvr.yml true 12.02 7.35 None weaver/popl20-more-min-array.wvr.yml true 11.90 6.79 None weaver/popl20-more-min-le-max.wvr.yml true 21.11 11.41 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 217.00 114.07 None weaver/popl20-more-multiply-verify.wvr.yml true 174.03 115.85 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 9.40 5.74 None weaver/popl20-more-parray-copy.wvr.yml OUT OF MEMORY 131.84 71.70 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 20.52 11.38 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 136.36 73.80 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 153.62 84.76 None weaver/popl20-more-sum-array-hom.wvr.yml OUT OF MEMORY 183.93 98.07 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 136.80 75.55 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 129.95 73.62 None weaver/popl20-mult-equiv.wvr.yml true 9.25 7.51 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 7.84 5.20 None weaver/popl20-nonblocking-cntr.wvr.yml true 7.53 4.71 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 114.35 71.98 None weaver/popl20-prod-cons.wvr.yml false(unreach-call) 48.85 29.97 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 129.19 76.54 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 61.19 35.32 None weaver/popl20-queue-add-2.wvr.yml true 10.61 6.35 None weaver/popl20-queue-add-3.wvr.yml true 50.55 31.53 None weaver/popl20-send-receive-alt.wvr.yml true 12.19 7.06 None weaver/popl20-send-receive.wvr.yml false(unreach-call) 43.92 26.13 None weaver/popl20-simple-array-sum.wvr.yml OUT OF MEMORY 164.06 88.45 None weaver/popl20-simple-queue.wvr.yml true 9.55 5.47 None weaver/popl20-threaded-sum-3.wvr.yml true 16.56 9.33 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 147.01 79.82 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 142.28 77.28 None weaver/popl20-three-array-sum.wvr.yml OUT OF MEMORY 222.56 119.37 None weaver/popl20-two-queue.wvr.yml true 16.03 9.09 None weaver/security.wvr.yml true 18.07 9.88 None weaver/spaghetti.wvr.yml OUT OF MEMORY 99.64 56.75 None weaver/test-context1.wvr.yml true 8.76 7.14 None weaver/test-easy1.wvr.yml true 8.89 4.98 None weaver/test-easy10.wvr.yml OUT OF MEMORY 104.46 62.94 None weaver/test-easy11.wvr.yml false(unreach-call) 9.04 5.16 None weaver/test-easy6.wvr.yml false(unreach-call) 43.72 28.90 None weaver/test-easy7.wvr.yml true 21.84 12.03 None weaver/test-easy8.wvr.yml true 9.36 5.82 None weaver/test-hard1.wvr.yml true 26.44 15.04 None weaver/test-semi1.wvr.yml true 7.62 4.81 None weaver/unroll-2.wvr.yml true 33.48 20.77 None weaver/unroll-3.wvr.yml true 57.17 33.72 None weaver/unroll-4.wvr.yml true 62.79 39.76 None weaver/unroll-5.wvr.yml true 78.89 49.77 None weaver/unroll-cond-2.wvr.yml true 52.46 31.74 None weaver/unroll-cond-3.wvr.yml true 73.62 48.60 None weaver/unroll-cond-4.wvr.yml true 112.68 77.98 None weaver/unroll-cond-5.wvr.yml true 186.99 113.59 None ldv-races/race-1_1-join.yml true 9.17 5.51 None ldv-races/race-1_2-join.yml true 9.29 5.54 None ldv-races/race-1_2b-join.yml false(unreach-call) 11.38 6.57 None ldv-races/race-1_3-join.yml true 12.18 7.00 None ldv-races/race-1_3b-join.yml false(unreach-call) 9.65 6.10 None ldv-races/race-2_1-container_of.yml OUT OF MEMORY 795.59 550.88 None ldv-races/race-2_2-container_of.yml true 18.16 9.81 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 55.28 34.45 None ldv-races/race-2_3-container_of.yml true 15.72 8.63 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 156.02 92.69 None ldv-races/race-2_4-container_of.yml true 16.07 9.27 None ldv-races/race-2_4b-container_of.yml OUT OF MEMORY 863.86 551.71 None ldv-races/race-2_5-container_of.yml true 15.39 9.28 None ldv-races/race-2_5b-container_of.yml OUT OF MEMORY 802.37 560.64 None ldv-races/race-3_1-container_of-global.yml true 171.73 107.45 None ldv-races/race-3_2-container_of-global.yml true 15.28 8.24 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 70.01 43.64 None pthread/fib_bench-1.yml true 8.09 5.31 None pthread/fib_bench-2.yml true 7.69 5.03 None pthread/fib_bench_longer-1.yml true 7.49 4.39 None pthread/fib_bench_longer-2.yml true 7.45 5.19 None pthread/fib_bench_longest-1.yml true 6.91 4.04 None pthread/fib_bench_longest-2.yml true 7.45 4.93 None pthread/lazy01.yml true 17.76 10.47 None pthread/singleton-b.yml OUT OF MEMORY 92.64 55.45 None pthread/singleton.yml true 18.51 11.67 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 111.90 64.73 None pthread/singleton_with-uninit-problems.yml true 18.75 12.03 None pthread/stateful01-1.yml true 12.11 6.94 None pthread/stateful01-2.yml true 11.80 6.76 None pthread/triangular-1.yml true 8.35 5.24 None pthread/triangular-2.yml true 7.15 4.80 None pthread/triangular-longer-1.yml true 6.91 4.44 None pthread/triangular-longer-2.yml true 7.53 4.62 None pthread/triangular-longest-1.yml true 7.10 4.56 None pthread/triangular-longest-2.yml true 7.39 4.69 None pthread-atomic/dekker-b.yml false(unreach-call) 19.60 11.64 None pthread-atomic/dekker.yml true 11.31 6.31 None pthread-atomic/lamport-b.yml false(unreach-call) 60.81 39.27 None pthread-atomic/lamport.yml true 19.75 11.07 None pthread-atomic/peterson-b.yml false(unreach-call) 18.67 10.69 None pthread-atomic/peterson.yml true 10.12 5.60 None pthread-atomic/read_write_lock-1.yml OUT OF MEMORY 137.81 81.47 None pthread-atomic/read_write_lock-1b.yml OUT OF MEMORY 99.24 56.18 None pthread-atomic/read_write_lock-2.yml true 26.92 17.30 None pthread-atomic/read_write_lock-2b.yml OUT OF MEMORY 106.06 61.25 None pthread-atomic/szymanski-b.yml false(unreach-call) 26.11 15.08 None pthread-atomic/szymanski.yml true 13.97 8.01 None pthread-atomic/time_var_mutex.yml true 15.97 8.96 None pthread-ext/01_inc.yml OUT OF MEMORY 152.83 94.87 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.73 5.02 None pthread-ext/14_spin2003.yml OUT OF MEMORY 166.63 95.61 None pthread-ext/18_read_write_lock.yml true 9.68 6.02 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 196.43 106.24 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 169.62 92.16 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 147.52 79.54 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 147.52 80.72 None pthread-ext/45_monabsex1_vs-b.yml OUT OF MEMORY 162.05 89.06 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 128.40 72.84 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 120.35 70.66 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 131.46 78.27 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 173.36 95.68 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 162.82 89.57 None pthread-lit/qw2004-2.yml false(unreach-call) 9.83 7.19 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 7.86 4.55 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 11.24 6.31 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 10.68 6.37 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 10.46 7.58 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 8.19 4.71 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 8.82 5.28 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 8.42 4.98 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 7.76 4.53 None goblint-regression/04-mutex_02-simple_nr.yml true 8.06 5.00 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 10.22 5.68 None goblint-regression/04-mutex_04-munge_nr.yml true 11.46 7.93 None goblint-regression/04-mutex_05-lockfuns.yml true 10.15 6.01 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 8.29 4.99 None goblint-regression/04-mutex_07-ps_nr.yml true 8.63 5.58 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 9.87 6.00 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 63.29 42.55 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 11.80 6.70 None goblint-regression/04-mutex_12-ptr_nr.yml true 12.28 7.01 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 7.80 4.65 None goblint-regression/04-mutex_15-funarg_nr.yml true 7.57 5.37 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 9.06 7.44 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 8.42 4.83 None goblint-regression/04-mutex_18-glob_guards.yml true 7.61 4.79 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 10.34 6.05 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.23 3.18 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 10.02 5.92 None goblint-regression/04-mutex_22-deref_read.yml true 8.33 5.19 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.85 3.57 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 9.07 5.53 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 7.60 4.92 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 11.20 6.52 None goblint-regression/04-mutex_28-base_nr.yml true 8.39 6.25 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 5.92 3.62 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 8.00 4.58 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 9.56 5.58 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 9.51 5.57 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 6.95 4.17 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 5.67 3.58 None goblint-regression/04-mutex_43-thread_create_nr.yml true 10.43 6.21 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 21.47 14.27 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 8.86 6.85 None goblint-regression/04-mutex_46-escape_nr.yml true 10.13 6.32 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 8.55 5.32 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 7.72 4.38 None goblint-regression/04-mutex_51-mutex_ptr.yml true 10.73 6.52 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 7.51 4.06 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.69 3.25 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 17.16 11.96 None goblint-regression/05-lval_ls_02-idx_nr.yml true 8.93 6.42 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 7.90 6.28 None goblint-regression/05-lval_ls_04-fld_nr.yml true 8.07 4.87 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 7.20 3.90 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 8.48 4.92 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 14.36 8.66 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 7.23 4.42 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 8.93 7.50 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 9.79 6.18 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 7.06 3.81 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 5.54 3.14 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 8.62 5.02 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 7.00 4.17 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.13 669.58 None goblint-regression/06-symbeq_03-funloop_simple.yml ERROR: EXCEPTION 6.01 3.55 None goblint-regression/06-symbeq_04-funloop_hard1.yml ERROR: EXCEPTION 5.62 3.61 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 5.88 3.52 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 5.62 4.71 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 5.96 3.71 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 5.56 3.41 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 7.33 4.40 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 10.47 6.11 None goblint-regression/06-symbeq_11-equ_nr.yml true 11.02 6.16 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 22.41 14.01 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 6.95 4.25 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 56.65 37.69 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 5.73 3.62 None goblint-regression/09-regions_01-list_rc.yml false(unreach-call) 267.27 190.47 None goblint-regression/09-regions_02-list_nr.yml true 310.50 238.03 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 19.76 12.73 None goblint-regression/09-regions_04-list2_nr.yml true 209.82 158.58 None goblint-regression/09-regions_05-ptra_rc.yml false(unreach-call) 257.80 194.75 None goblint-regression/09-regions_06-ptra_nr.yml true 28.07 16.10 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 5.78 3.93 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 6.19 3.54 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 7.73 4.35 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 5.80 3.34 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 5.81 4.16 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 5.81 3.33 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 5.72 3.72 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 7.45 4.26 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 5.78 3.91 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 5.97 3.35 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 5.76 3.62 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 7.39 4.23 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 5.52 3.13 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 5.45 3.49 None goblint-regression/09-regions_26-alloc_region_rc.yml TIMEOUT 900.89 856.46 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 14.66 8.32 None goblint-regression/10-synch_01-thread_unique.yml true 7.48 4.41 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 5.84 3.93 None goblint-regression/10-synch_03-two_unique.yml true 7.44 4.40 None goblint-regression/13-privatized_03-priv_inv.yml true 8.63 4.89 None ----------------------------------------------------------------------------------------------------------------------- Run set 1 done 24994.87 1769.39 - 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 10.91 6.07 None weaver/array-eq-trans.wvr.yml true 22.09 13.51 None weaver/bench-exp1x3.wvr.yml true 8.35 4.94 None weaver/bench-exp2x3.wvr.yml true 9.57 5.39 None weaver/bench-exp2x4.wvr.yml true 13.66 7.63 None weaver/bench-exp2x6.wvr.yml true 13.69 7.51 None weaver/bench-exp2x9.wvr.yml true 27.84 14.41 None weaver/bench-exp3x3-opt.wvr.yml true 11.34 6.70 None weaver/bench-exp3x3.wvr.yml true 14.63 7.91 None weaver/chl-array-int-subst.wvr.yml true 75.02 49.75 None weaver/chl-array-int-symm.wvr.yml true 14.47 7.83 None weaver/chl-array-int-trans.wvr.yml true 70.50 50.75 None weaver/chl-chromosome-opt-symm.wvr.yml true 12.90 7.74 None weaver/chl-chromosome-subst.wvr.yml true 28.61 17.81 None weaver/chl-chromosome-symm.wvr.yml true 12.88 6.94 None weaver/chl-chromosome-trans.wvr.yml true 30.68 17.85 None weaver/chl-collitem-subst.wvr.yml true 11.18 6.39 None weaver/chl-collitem-symm.wvr.yml true 10.75 6.46 None weaver/chl-collitem-trans.wvr.yml true 11.71 6.73 None weaver/chl-exp-term-subst.wvr.yml true 14.44 8.10 None weaver/chl-exp-term-symm.wvr.yml true 9.32 6.18 None weaver/chl-file-item-subst.wvr.yml true 10.17 5.70 None weaver/chl-file-item-symm.wvr.yml true 11.00 6.01 None weaver/chl-file-item-trans.wvr.yml true 12.25 6.61 None weaver/chl-match-subst.wvr.yml true 11.13 6.58 None weaver/chl-match-symm.wvr.yml true 9.51 5.93 None weaver/chl-match-trans.wvr.yml true 11.41 6.71 None weaver/chl-name-comparator-subst.wvr.yml true 71.46 50.06 None weaver/chl-name-comparator-symm.wvr.yml true 36.23 19.24 None weaver/chl-name-comparator-trans.wvr.yml true 71.80 51.29 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 99.89 60.52 None weaver/chl-node-symm.wvr.yml true 23.96 14.53 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 94.41 57.57 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 178.51 133.50 None weaver/chl-nzb-file-symm.wvr.yml true 57.83 39.14 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 165.21 122.24 None weaver/chl-poker-hand-subst.wvr.yml true 139.21 119.10 None weaver/chl-poker-hand-symm.wvr.yml true 93.21 77.68 None weaver/chl-poker-hand-trans.wvr.yml true 134.86 111.62 None weaver/chl-simpl-str-subst.wvr.yml true 9.57 5.34 None weaver/chl-simpl-str-symm.wvr.yml true 11.03 6.01 None weaver/chl-simpl-str-trans.wvr.yml true 9.51 5.30 None weaver/chl-sre-subst.wvr.yml true 10.07 5.55 None weaver/chl-sre-symm.wvr.yml true 7.87 4.47 None weaver/chl-sre-trans.wvr.yml true 8.34 5.13 None weaver/chl-time-subst.wvr.yml true 12.03 6.50 None weaver/chl-time-symm.wvr.yml true 9.12 5.46 None weaver/chl-time-trans.wvr.yml true 9.43 5.75 None weaver/chl-word-subst.wvr.yml true 85.83 56.62 None weaver/chl-word-symm.wvr.yml true 19.66 10.71 None weaver/chl-word-trans.wvr.yml true 82.81 52.08 None weaver/clever.wvr.yml true 9.66 5.85 None weaver/fibonacci.wvr.yml true 10.14 5.54 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 333.93 269.34 None weaver/mult-comm.wvr.yml true 9.45 5.63 None weaver/mult-dist.wvr.yml true 7.82 5.03 None weaver/mult-flipped-dist.wvr.yml true 8.14 4.99 None weaver/parallel-bakery-2.wvr.yml false(unreach-call) 13.64 7.87 None weaver/parallel-bakery-3.wvr.yml false(unreach-call) 212.30 159.69 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 437.79 298.44 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 45.12 31.56 None weaver/parallel-barrier.wvr.yml false(unreach-call) 38.79 22.95 None weaver/parallel-bluetooth.wvr.yml false(unreach-call) 9.33 6.08 None weaver/parallel-lamport.wvr.yml false(unreach-call) 34.11 18.58 None weaver/parallel-min-max-1.wvr.yml false(unreach-call) 22.07 12.32 None weaver/parallel-min-max-2.wvr.yml ERROR: EXCEPTION 6.67 4.56 None weaver/parallel-misc-1.wvr.yml true 25.08 13.06 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.87 5.90 None weaver/parallel-misc-2-unrolled.wvr.yml false(unreach-call) 8.88 5.21 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 10.30 5.82 None weaver/parallel-misc-3-extended.wvr.yml false(unreach-call) 15.11 8.24 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 11.34 6.17 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 9.35 5.40 None weaver/parallel-misc-5.wvr.yml false(unreach-call) 9.91 6.05 None weaver/parallel-parallel-sum-1-dsl.wvr.yml true 14.12 8.01 None weaver/parallel-parallel-sum-1.wvr.yml true 10.81 6.24 None weaver/parallel-parallel-sum-2.wvr.yml true 12.19 7.18 None weaver/parallel-parallel-sum-equiv.wvr.yml true 10.44 6.29 None weaver/parallel-simple-equiv.wvr.yml true 10.20 5.97 None weaver/parallel-ticket-2.wvr.yml false(unreach-call) 11.65 6.30 None weaver/parallel-ticket-3.wvr.yml false(unreach-call) 26.80 15.89 None weaver/parallel-ticket-4.wvr.yml false(unreach-call) 227.21 164.61 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 81.80 55.76 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 83.39 49.80 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 119.36 68.38 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 137.73 77.60 None weaver/popl20-bad-buffer-mult-alt.wvr.yml false(unreach-call) 17.40 9.18 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 12.24 6.62 None weaver/popl20-bad-commit-1.wvr-bad.yml true 13.40 7.69 None weaver/popl20-bad-commit-2.wvr-bad.yml true 15.61 8.39 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 10.78 6.04 None weaver/popl20-bad-counter-queue2.wvr.yml true 8.25 4.83 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 79.07 50.57 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 111.03 83.40 None weaver/popl20-bad-ring-nondet.wvr.yml true 14.31 8.10 None weaver/popl20-bad-ring.wvr.yml true 15.50 8.67 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 7.37 4.30 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 114.54 82.75 None weaver/popl20-channel-sum.wvr.yml false(unreach-call) 13.48 7.39 None weaver/popl20-commit-1.wvr.yml true 13.56 7.69 None weaver/popl20-commit-2.wvr.yml true 14.77 8.32 None weaver/popl20-counter-determinism.wvr.yml true 7.61 4.41 None weaver/popl20-counter-fun.wvr.yml true 10.87 6.08 None weaver/popl20-difference-det.wvr.yml true 7.63 4.52 None weaver/popl20-figure1-alt.wvr.yml true 7.26 4.15 None weaver/popl20-figure1.wvr.yml true 7.29 4.70 None weaver/popl20-figure3.wvr.yml false(unreach-call) 7.86 4.93 None weaver/popl20-horseshoe.wvr.yml true 11.66 6.49 None weaver/popl20-min-max-dec.wvr.yml false(unreach-call) 17.63 9.85 None weaver/popl20-min-max-inc-dec.wvr.yml false(unreach-call) 32.02 19.57 None weaver/popl20-min-max-inc.wvr.yml false(unreach-call) 16.71 9.16 None weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 81.38 62.83 None weaver/popl20-more-array-sum-alt2.wvr.yml true 9.30 5.36 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 110.52 80.92 None weaver/popl20-more-array-sum2.wvr.yml true 10.48 6.34 None weaver/popl20-more-buffer-mult.wvr.yml true 11.26 6.65 None weaver/popl20-more-buffer-mult2.wvr.yml true 11.66 6.36 None weaver/popl20-more-buffer-series.wvr.yml true 15.51 8.66 None weaver/popl20-more-buffer-series2.wvr.yml true 12.40 7.03 None weaver/popl20-more-dec-subseq.wvr.yml true 11.88 6.85 None weaver/popl20-more-inc-subseq.wvr.yml true 11.70 6.53 None weaver/popl20-more-max-array-hom.wvr.yml true 9.11 5.15 None weaver/popl20-more-max-array.wvr.yml true 11.17 6.50 None weaver/popl20-more-min-array-hom.wvr.yml true 11.44 6.24 None weaver/popl20-more-min-array.wvr.yml true 8.42 5.05 None weaver/popl20-more-min-le-max.wvr.yml true 9.54 5.31 None weaver/popl20-more-mts.wvr.yml true 13.93 7.74 None weaver/popl20-more-multiply-verify.wvr.yml true 10.06 6.18 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 7.76 5.12 None weaver/popl20-more-parray-copy.wvr.yml OUT OF MEMORY 157.29 102.63 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 14.09 7.84 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 13.98 8.36 None weaver/popl20-more-sorted.wvr.yml true 20.36 11.83 None weaver/popl20-more-sum-array-hom.wvr.yml true 11.50 6.77 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 90.15 59.79 None weaver/popl20-mult-4.wvr.yml false(unreach-call) 11.87 6.87 None weaver/popl20-mult-equiv.wvr.yml true 8.21 5.01 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 7.05 4.23 None weaver/popl20-nonblocking-cntr.wvr.yml true 7.36 4.41 None weaver/popl20-prod-cons-eq.wvr.yml false(unreach-call) 54.46 32.51 None weaver/popl20-prod-cons.wvr.yml false(unreach-call) 10.74 6.20 None weaver/popl20-prod-cons3.wvr.yml false(unreach-call) 13.79 8.02 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 8.32 5.38 None weaver/popl20-queue-add-2.wvr.yml true 9.95 5.92 None weaver/popl20-queue-add-3.wvr.yml true 12.28 7.25 None weaver/popl20-send-receive-alt.wvr.yml true 8.89 5.23 None weaver/popl20-send-receive.wvr.yml false(unreach-call) 10.66 6.12 None weaver/popl20-simple-array-sum.wvr.yml false(unreach-call) 60.63 43.39 None weaver/popl20-simple-queue.wvr.yml true 11.37 6.61 None weaver/popl20-threaded-sum-3.wvr.yml true 8.39 4.95 None weaver/popl20-three-array-max.wvr.yml true 18.24 9.94 None weaver/popl20-three-array-min.wvr.yml true 19.11 10.66 None weaver/popl20-three-array-sum.wvr.yml true 12.49 7.48 None weaver/popl20-two-queue.wvr.yml true 10.43 7.13 None weaver/security.wvr.yml true 8.62 5.01 None weaver/spaghetti.wvr.yml false(unreach-call) 15.60 8.32 None weaver/test-context1.wvr.yml true 8.04 5.38 None weaver/test-easy1.wvr.yml true 7.68 4.62 None weaver/test-easy10.wvr.yml false(unreach-call) 19.97 11.00 None weaver/test-easy11.wvr.yml false(unreach-call) 7.52 5.68 None weaver/test-easy6.wvr.yml false(unreach-call) 10.37 6.13 None weaver/test-easy7.wvr.yml true 8.75 5.03 None weaver/test-easy8.wvr.yml true 9.40 5.51 None weaver/test-hard1.wvr.yml true 8.68 5.69 None weaver/test-semi1.wvr.yml true 6.88 5.14 None weaver/unroll-2.wvr.yml true 13.54 7.32 None weaver/unroll-3.wvr.yml true 11.81 6.44 None weaver/unroll-4.wvr.yml true 12.99 7.30 None weaver/unroll-5.wvr.yml true 18.08 9.86 None weaver/unroll-cond-2.wvr.yml true 11.21 7.12 None weaver/unroll-cond-3.wvr.yml true 14.34 8.24 None weaver/unroll-cond-4.wvr.yml true 15.42 9.76 None weaver/unroll-cond-5.wvr.yml true 18.99 10.20 None ldv-races/race-1_1-join.yml true 12.05 6.94 None ldv-races/race-1_2-join.yml true 10.54 6.32 None ldv-races/race-1_2b-join.yml false(unreach-call) 10.10 6.12 None ldv-races/race-1_3-join.yml true 9.25 5.96 None ldv-races/race-1_3b-join.yml false(unreach-call) 9.55 5.95 None ldv-races/race-2_1-container_of.yml OUT OF MEMORY 137.51 100.88 None ldv-races/race-2_2-container_of.yml true 17.83 9.85 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 54.66 41.56 None ldv-races/race-2_3-container_of.yml true 14.42 8.34 None ldv-races/race-2_3b-container_of.yml OUT OF MEMORY 113.46 84.25 None ldv-races/race-2_4-container_of.yml true 13.75 8.19 None ldv-races/race-2_4b-container_of.yml OUT OF MEMORY 137.09 106.76 None ldv-races/race-2_5-container_of.yml true 14.37 7.93 None ldv-races/race-2_5b-container_of.yml OUT OF MEMORY 174.07 135.38 None ldv-races/race-3_1-container_of-global.yml OUT OF MEMORY 115.84 88.19 None ldv-races/race-3_2-container_of-global.yml true 13.46 7.57 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 78.85 59.40 None pthread/fib_bench-1.yml true 10.02 5.80 None pthread/fib_bench-2.yml true 8.03 4.58 None pthread/fib_bench_longer-1.yml true 7.71 4.57 None pthread/fib_bench_longer-2.yml true 7.24 4.24 None pthread/fib_bench_longest-1.yml true 10.33 5.89 None pthread/fib_bench_longest-2.yml true 7.65 4.54 None pthread/lazy01.yml true 8.75 5.30 None pthread/singleton-b.yml OUT OF MEMORY 186.26 121.01 None pthread/singleton.yml true 8.40 5.47 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 87.21 58.35 None pthread/singleton_with-uninit-problems.yml true 8.26 5.20 None pthread/stateful01-1.yml true 9.85 5.72 None pthread/stateful01-2.yml true 9.65 5.99 None pthread/triangular-1.yml true 7.27 4.63 None pthread/triangular-2.yml true 7.28 4.59 None pthread/triangular-longer-1.yml true 7.76 4.50 None pthread/triangular-longer-2.yml true 9.51 5.56 None pthread/triangular-longest-1.yml true 7.57 4.54 None pthread/triangular-longest-2.yml true 7.47 4.57 None pthread-atomic/dekker-b.yml false(unreach-call) 9.21 5.25 None pthread-atomic/dekker.yml true 11.64 6.85 None pthread-atomic/lamport-b.yml false(unreach-call) 11.49 7.47 None pthread-atomic/lamport.yml true 13.41 7.35 None pthread-atomic/peterson-b.yml false(unreach-call) 8.93 5.45 None pthread-atomic/peterson.yml true 11.65 6.65 None pthread-atomic/read_write_lock-1.yml true 11.64 7.58 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 17.36 9.32 None pthread-atomic/read_write_lock-2.yml true 7.55 4.35 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 25.01 13.43 None pthread-atomic/szymanski-b.yml false(unreach-call) 9.70 5.48 None pthread-atomic/szymanski.yml true 9.93 6.68 None pthread-atomic/time_var_mutex.yml true 9.07 5.67 None pthread-ext/01_inc.yml OUT OF MEMORY 149.96 99.69 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.44 4.34 None pthread-ext/14_spin2003.yml OUT OF MEMORY 81.25 53.02 None pthread-ext/18_read_write_lock.yml true 8.17 5.00 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 79.83 52.90 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 315.08 234.37 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 78.99 54.95 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 119.52 72.16 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 20.29 10.95 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 107.07 67.70 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 220.64 131.64 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 146.22 105.19 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 141.95 84.18 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 166.66 122.92 None pthread-lit/qw2004-2.yml false(unreach-call) 9.68 5.97 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 7.82 4.85 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 10.86 6.45 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 11.00 6.42 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 11.38 6.45 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 7.75 4.80 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 8.73 5.34 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 8.17 5.28 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 8.28 4.87 None goblint-regression/04-mutex_02-simple_nr.yml true 8.44 5.15 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 8.06 4.96 None goblint-regression/04-mutex_04-munge_nr.yml true 12.00 7.27 None goblint-regression/04-mutex_05-lockfuns.yml true 8.40 5.24 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 8.11 5.10 None goblint-regression/04-mutex_07-ps_nr.yml true 8.39 5.02 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 9.83 5.66 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 500.40 435.68 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 9.15 5.23 None goblint-regression/04-mutex_12-ptr_nr.yml true 10.77 6.50 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 8.06 5.33 None goblint-regression/04-mutex_15-funarg_nr.yml true 8.65 5.02 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 8.16 4.82 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 8.58 5.41 None goblint-regression/04-mutex_18-glob_guards.yml true 7.36 4.24 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 8.36 5.38 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.57 3.54 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 8.42 5.17 None goblint-regression/04-mutex_22-deref_read.yml true 8.59 5.31 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.76 3.30 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 8.47 5.91 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 7.73 4.81 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 8.67 4.95 None goblint-regression/04-mutex_28-base_nr.yml true 8.86 5.28 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 5.86 3.37 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 6.17 3.47 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 9.82 5.57 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 9.19 5.23 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 5.55 3.43 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 6.36 3.70 None goblint-regression/04-mutex_43-thread_create_nr.yml true 7.72 4.70 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 18.02 12.98 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 9.83 5.57 None goblint-regression/04-mutex_46-escape_nr.yml true 10.06 5.99 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 8.37 5.06 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 8.09 4.80 None goblint-regression/04-mutex_51-mutex_ptr.yml true 11.12 6.52 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 5.80 3.78 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.16 3.23 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 16.84 11.89 None goblint-regression/05-lval_ls_02-idx_nr.yml true 10.34 6.75 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 7.66 4.81 None goblint-regression/05-lval_ls_04-fld_nr.yml true 7.72 4.70 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 5.46 3.27 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 8.90 5.52 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 20.72 11.43 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 5.94 3.78 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 9.08 5.75 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 10.33 6.19 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 5.09 2.96 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 5.69 3.38 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 13.97 8.07 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.64 3.42 None goblint-regression/06-symbeq_02-funloop_norace.yml OUT OF MEMORY 137.48 110.05 None goblint-regression/06-symbeq_03-funloop_simple.yml ERROR: EXCEPTION 5.70 3.31 None goblint-regression/06-symbeq_04-funloop_hard1.yml ERROR: EXCEPTION 5.74 3.49 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 5.60 4.03 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 5.67 3.27 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 5.54 3.81 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 5.57 3.25 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 5.30 3.34 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 8.93 5.32 None goblint-regression/06-symbeq_11-equ_nr.yml true 12.26 6.99 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 25.23 14.60 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 6.09 3.53 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 102.40 66.70 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 5.40 3.33 None goblint-regression/09-regions_01-list_rc.yml TIMEOUT 900.66 812.06 None goblint-regression/09-regions_02-list_nr.yml TIMEOUT 901.53 817.79 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 24.74 13.64 None goblint-regression/09-regions_04-list2_nr.yml true 694.83 626.25 None goblint-regression/09-regions_05-ptra_rc.yml TIMEOUT 901.37 812.59 None goblint-regression/09-regions_06-ptra_nr.yml true 30.13 17.11 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 5.89 3.39 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 5.57 3.44 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 6.09 4.19 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 6.00 3.60 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 5.65 3.25 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 5.91 3.72 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 6.25 3.52 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 6.43 3.85 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 5.67 3.44 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 5.70 3.45 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 5.90 3.41 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 5.70 3.22 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 5.40 3.40 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 5.66 3.66 None goblint-regression/09-regions_26-alloc_region_rc.yml OUT OF MEMORY 204.19 160.95 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 11.30 6.76 None goblint-regression/10-synch_01-thread_unique.yml true 7.11 4.06 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 5.52 3.32 None goblint-regression/10-synch_03-two_unique.yml true 7.42 4.29 None goblint-regression/13-privatized_03-priv_inv.yml true 8.35 5.32 None ----------------------------------------------------------------------------------------------------------------------- Run set 2 done 14095.93 1266.85 - 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 19.36 11.06 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 792.41 419.08 None weaver/bench-exp1x3.wvr.yml true 9.43 6.12 None weaver/bench-exp2x3.wvr.yml OUT OF MEMORY 402.02 213.59 None weaver/bench-exp2x4.wvr.yml OUT OF MEMORY 501.56 260.05 None weaver/bench-exp2x6.wvr.yml OUT OF MEMORY 382.00 199.42 None weaver/bench-exp2x9.wvr.yml OUT OF MEMORY 543.99 277.95 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 419.13 224.70 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 550.74 291.62 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 514.73 269.24 None weaver/chl-array-int-symm.wvr.yml true 31.76 17.83 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 535.43 275.69 None weaver/chl-chromosome-opt-symm.wvr.yml true 27.83 16.32 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 778.27 399.95 None weaver/chl-chromosome-symm.wvr.yml true 24.11 13.50 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 629.02 325.10 None weaver/chl-collitem-subst.wvr.yml true 25.82 15.02 None weaver/chl-collitem-symm.wvr.yml true 14.09 8.33 None weaver/chl-collitem-trans.wvr.yml true 25.57 15.64 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 321.89 171.97 None weaver/chl-exp-term-symm.wvr.yml true 13.81 8.64 None weaver/chl-file-item-subst.wvr.yml true 298.61 159.42 None weaver/chl-file-item-symm.wvr.yml true 11.94 7.68 None weaver/chl-file-item-trans.wvr.yml true 341.47 199.98 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 375.88 198.17 None weaver/chl-match-symm.wvr.yml true 14.05 8.43 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 343.72 183.24 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 385.40 198.24 None weaver/chl-name-comparator-symm.wvr.yml true 302.65 169.30 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 406.29 210.34 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 484.76 256.22 None weaver/chl-node-symm.wvr.yml true 69.75 37.99 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 503.97 260.87 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 449.37 229.35 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 580.52 296.08 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 569.07 289.78 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.87 786.89 None weaver/chl-poker-hand-symm.wvr.yml true 861.17 768.93 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 900.71 806.00 None weaver/chl-simpl-str-subst.wvr.yml true 63.54 37.71 None weaver/chl-simpl-str-symm.wvr.yml true 9.98 6.60 None weaver/chl-simpl-str-trans.wvr.yml true 72.57 44.31 None weaver/chl-sre-subst.wvr.yml true 17.03 9.80 None weaver/chl-sre-symm.wvr.yml true 8.11 5.68 None weaver/chl-sre-trans.wvr.yml true 17.97 10.78 None weaver/chl-time-subst.wvr.yml true 12.00 7.54 None weaver/chl-time-symm.wvr.yml true 9.05 6.75 None weaver/chl-time-trans.wvr.yml true 11.61 7.60 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 462.43 239.72 None weaver/chl-word-symm.wvr.yml true 38.22 22.31 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 441.66 232.73 None weaver/clever.wvr.yml true 10.32 6.90 None weaver/fibonacci.wvr.yml true 12.74 7.90 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 901.29 845.46 None weaver/mult-comm.wvr.yml true 9.11 5.60 None weaver/mult-dist.wvr.yml true 22.74 13.65 None weaver/mult-flipped-dist.wvr.yml true 23.11 14.45 None weaver/parallel-bakery-2.wvr.yml false(unreach-call) 17.94 10.09 None weaver/parallel-bakery-3.wvr.yml false(unreach-call) 21.56 11.60 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 306.54 158.63 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 385.81 209.81 None weaver/parallel-barrier.wvr.yml false(unreach-call) 12.74 7.11 None weaver/parallel-bluetooth.wvr.yml false(unreach-call) 10.68 6.48 None weaver/parallel-lamport.wvr.yml false(unreach-call) 107.36 57.94 None weaver/parallel-min-max-1.wvr.yml false(unreach-call) 29.96 21.08 None weaver/parallel-min-max-2.wvr.yml ERROR: EXCEPTION 7.34 4.64 None weaver/parallel-misc-1.wvr.yml true 74.25 42.34 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 9.21 7.70 None weaver/parallel-misc-2-unrolled.wvr.yml false(unreach-call) 9.60 6.22 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 9.33 6.35 None weaver/parallel-misc-3-extended.wvr.yml false(unreach-call) 9.57 5.62 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 8.98 5.63 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 11.52 6.45 None weaver/parallel-misc-5.wvr.yml false(unreach-call) 15.49 9.30 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 568.42 367.70 None weaver/parallel-parallel-sum-1.wvr.yml true 214.83 194.37 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 420.72 290.11 None weaver/parallel-parallel-sum-equiv.wvr.yml true 331.46 284.19 None weaver/parallel-simple-equiv.wvr.yml true 11.87 7.26 None weaver/parallel-ticket-2.wvr.yml false(unreach-call) 11.88 6.67 None weaver/parallel-ticket-3.wvr.yml false(unreach-call) 13.75 7.77 None weaver/parallel-ticket-4.wvr.yml false(unreach-call) 13.90 7.91 None weaver/parallel-ticket-5.wvr.yml false(unreach-call) 14.88 8.45 None weaver/parallel-ticket-6.wvr.yml false(unreach-call) 14.53 8.03 None weaver/parallel-ticket-7.wvr.yml false(unreach-call) 37.51 20.24 None weaver/parallel-ticket-8.wvr.yml false(unreach-call) 28.72 15.54 None weaver/popl20-bad-buffer-mult-alt.wvr.yml false(unreach-call) 348.05 212.42 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 596.90 361.21 None weaver/popl20-bad-commit-1.wvr-bad.yml true 414.91 373.13 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 620.28 416.45 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 15.65 9.30 None weaver/popl20-bad-counter-queue2.wvr.yml true 44.60 40.39 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 910.04 464.45 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 701.60 369.14 None weaver/popl20-bad-ring-nondet.wvr.yml true 338.06 312.36 None weaver/popl20-bad-ring.wvr.yml true 229.70 211.00 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 8.85 5.64 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 592.67 311.75 None weaver/popl20-channel-sum.wvr.yml false(unreach-call) 32.26 18.34 None weaver/popl20-commit-1.wvr.yml true 285.87 264.31 None weaver/popl20-commit-2.wvr.yml true 683.74 653.54 None weaver/popl20-counter-determinism.wvr.yml true 58.15 35.69 None weaver/popl20-counter-fun.wvr.yml true 26.01 15.50 None weaver/popl20-difference-det.wvr.yml true 33.45 19.83 None weaver/popl20-figure1-alt.wvr.yml true 10.50 6.43 None weaver/popl20-figure1.wvr.yml true 10.40 6.23 None weaver/popl20-figure3.wvr.yml false(unreach-call) 10.94 6.35 None weaver/popl20-horseshoe.wvr.yml true 239.40 213.29 None weaver/popl20-min-max-dec.wvr.yml false(unreach-call) 44.04 26.49 None weaver/popl20-min-max-inc-dec.wvr.yml false(unreach-call) 45.25 31.15 None weaver/popl20-min-max-inc.wvr.yml false(unreach-call) 37.03 21.46 None weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 142.33 82.91 None weaver/popl20-more-array-sum-alt2.wvr.yml true 113.93 102.86 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 724.32 388.29 None weaver/popl20-more-array-sum2.wvr.yml true 120.28 105.76 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 459.23 304.11 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 643.93 398.16 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 481.66 314.28 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 499.26 323.04 None weaver/popl20-more-dec-subseq.wvr.yml true 110.87 96.49 None weaver/popl20-more-inc-subseq.wvr.yml true 119.60 100.69 None weaver/popl20-more-max-array-hom.wvr.yml true 79.31 68.56 None weaver/popl20-more-max-array.wvr.yml true 78.95 68.55 None weaver/popl20-more-min-array-hom.wvr.yml true 84.17 73.09 None weaver/popl20-more-min-array.wvr.yml true 81.18 70.10 None weaver/popl20-more-min-le-max.wvr.yml true 59.45 50.74 None weaver/popl20-more-mts.wvr.yml true 212.43 126.97 None weaver/popl20-more-multiply-verify.wvr.yml true 216.37 192.16 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 8.34 5.26 None weaver/popl20-more-parray-copy.wvr.yml ERROR: EXCEPTION 184.89 118.80 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 82.92 72.19 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 315.79 261.61 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 481.03 264.79 None weaver/popl20-more-sum-array-hom.wvr.yml true 87.79 53.87 None weaver/popl20-more-vector-add.wvr.yml ERROR: EXCEPTION 191.88 124.65 None weaver/popl20-mult-4.wvr.yml false(unreach-call) 232.68 133.43 None weaver/popl20-mult-equiv.wvr.yml true 11.95 8.75 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 8.49 5.60 None weaver/popl20-nonblocking-cntr.wvr.yml true 7.89 5.61 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 346.50 231.85 None weaver/popl20-prod-cons.wvr.yml false(unreach-call) 48.20 39.50 None weaver/popl20-prod-cons3.wvr.yml false(unreach-call) 226.03 160.28 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 17.98 11.16 None weaver/popl20-queue-add-2.wvr.yml true 75.60 69.73 None weaver/popl20-queue-add-3.wvr.yml true 230.83 209.29 None weaver/popl20-send-receive-alt.wvr.yml true 75.44 68.80 None weaver/popl20-send-receive.wvr.yml false(unreach-call) 141.41 121.66 None weaver/popl20-simple-array-sum.wvr.yml false(unreach-call) 18.77 10.79 None weaver/popl20-simple-queue.wvr.yml true 56.92 47.89 None weaver/popl20-threaded-sum-3.wvr.yml true 21.64 12.99 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 89.07 67.76 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 261.31 203.22 None weaver/popl20-three-array-sum.wvr.yml true 172.08 140.28 None weaver/popl20-two-queue.wvr.yml true 108.17 98.37 None weaver/security.wvr.yml true 10.78 6.91 None weaver/spaghetti.wvr.yml false(unreach-call) 9.25 5.58 None weaver/test-context1.wvr.yml true 56.92 49.30 None weaver/test-easy1.wvr.yml true 8.35 5.46 None weaver/test-easy10.wvr.yml false(unreach-call) 10.24 6.33 None weaver/test-easy11.wvr.yml false(unreach-call) 10.63 6.35 None weaver/test-easy6.wvr.yml false(unreach-call) 12.08 7.12 None weaver/test-easy7.wvr.yml true 13.18 7.54 None weaver/test-easy8.wvr.yml true 7.20 4.83 None weaver/test-hard1.wvr.yml true 32.24 18.71 None weaver/test-semi1.wvr.yml true 7.39 4.86 None weaver/unroll-2.wvr.yml true 19.00 11.13 None weaver/unroll-3.wvr.yml true 22.02 12.41 None weaver/unroll-4.wvr.yml true 27.88 15.26 None weaver/unroll-5.wvr.yml true 32.31 18.45 None weaver/unroll-cond-2.wvr.yml true 31.14 17.24 None weaver/unroll-cond-3.wvr.yml true 46.22 25.11 None weaver/unroll-cond-4.wvr.yml true 43.16 25.02 None weaver/unroll-cond-5.wvr.yml true 53.77 30.80 None ldv-races/race-1_1-join.yml true 12.93 7.90 None ldv-races/race-1_2-join.yml true 8.93 5.47 None ldv-races/race-1_2b-join.yml false(unreach-call) 8.82 5.25 None ldv-races/race-1_3-join.yml true 11.81 6.99 None ldv-races/race-1_3b-join.yml false(unreach-call) 9.10 5.71 None ldv-races/race-2_1-container_of.yml true 156.75 122.24 None ldv-races/race-2_2-container_of.yml OUT OF MEMORY 639.18 626.74 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 38.97 27.31 None ldv-races/race-2_3-container_of.yml TIMEOUT 903.30 884.01 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 30.10 20.93 None ldv-races/race-2_4-container_of.yml TIMEOUT 902.56 884.47 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 26.40 19.51 None ldv-races/race-2_5-container_of.yml OUT OF MEMORY 599.51 585.39 None ldv-races/race-2_5b-container_of.yml true 143.08 120.69 None ldv-races/race-3_1-container_of-global.yml true 157.95 133.39 None ldv-races/race-3_2-container_of-global.yml OUT OF MEMORY 689.55 672.99 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 34.28 24.12 None pthread/fib_bench-1.yml true 8.28 5.28 None pthread/fib_bench-2.yml true 8.13 5.66 None pthread/fib_bench_longer-1.yml true 8.40 5.71 None pthread/fib_bench_longer-2.yml true 7.83 5.45 None pthread/fib_bench_longest-1.yml true 8.15 5.62 None pthread/fib_bench_longest-2.yml true 7.81 5.12 None pthread/lazy01.yml true 9.44 5.90 None pthread/singleton-b.yml false(unreach-call) 10.43 6.07 None pthread/singleton.yml true 23.02 15.69 None pthread/singleton_with-uninit-problems-b.yml false(unreach-call) 10.91 6.24 None pthread/singleton_with-uninit-problems.yml true 22.96 15.74 None pthread/stateful01-1.yml true 9.96 6.40 None pthread/stateful01-2.yml true 9.92 6.18 None pthread/triangular-1.yml true 9.10 6.17 None pthread/triangular-2.yml true 8.28 5.67 None pthread/triangular-longer-1.yml true 8.00 5.44 None pthread/triangular-longer-2.yml true 8.55 5.57 None pthread/triangular-longest-1.yml true 7.92 5.18 None pthread/triangular-longest-2.yml true 8.34 6.03 None pthread-atomic/dekker-b.yml false(unreach-call) 8.20 5.31 None pthread-atomic/dekker.yml true 11.89 7.25 None pthread-atomic/lamport-b.yml false(unreach-call) 9.21 5.78 None pthread-atomic/lamport.yml true 18.03 10.24 None pthread-atomic/peterson-b.yml false(unreach-call) 8.56 5.66 None pthread-atomic/peterson.yml true 10.98 6.75 None pthread-atomic/read_write_lock-1.yml true 77.63 47.77 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 16.85 8.98 None pthread-atomic/read_write_lock-2.yml true 52.03 35.14 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 9.48 5.57 None pthread-atomic/szymanski-b.yml false(unreach-call) 9.09 5.56 None pthread-atomic/szymanski.yml true 16.66 9.91 None pthread-atomic/time_var_mutex.yml true 10.76 6.63 None pthread-ext/01_inc.yml false(unreach-call) 10.63 7.11 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.23 4.32 None pthread-ext/14_spin2003.yml OUT OF MEMORY 284.46 157.25 None pthread-ext/18_read_write_lock.yml true 8.42 5.66 None pthread-ext/39_rand_lock_p0_vs-b.yml false(unreach-call) 13.04 8.42 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 346.44 189.34 None pthread-ext/40_barrier_vf-b.yml false(unreach-call) 14.28 8.92 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 328.13 182.19 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 9.19 6.21 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 91.94 61.15 None pthread-ext/46_monabsex2_vs-b.yml false(unreach-call) 13.64 8.62 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 214.76 136.65 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml false(unreach-call) 8.92 5.36 None pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 902.68 855.01 None pthread-lit/qw2004-2.yml false(unreach-call) 9.57 5.88 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 7.56 5.02 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 9.60 6.04 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 9.40 5.97 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 9.38 5.51 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 8.37 5.66 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 8.47 5.38 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 8.16 5.13 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 7.79 5.69 None goblint-regression/04-mutex_02-simple_nr.yml true 8.55 5.51 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 7.66 4.74 None goblint-regression/04-mutex_04-munge_nr.yml true 9.03 6.34 None goblint-regression/04-mutex_05-lockfuns.yml true 8.21 5.51 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 7.95 4.98 None goblint-regression/04-mutex_07-ps_nr.yml true 8.66 5.56 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 8.64 5.52 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 20.14 12.64 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 8.07 5.58 None goblint-regression/04-mutex_12-ptr_nr.yml true 10.66 6.67 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 7.93 5.57 None goblint-regression/04-mutex_15-funarg_nr.yml true 8.17 5.23 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 8.49 5.15 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 8.77 6.11 None goblint-regression/04-mutex_18-glob_guards.yml true 7.46 5.57 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 7.83 5.17 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.82 3.30 None goblint-regression/04-mutex_21-sound_base.yml ERROR: EXCEPTION 7.73 5.01 None goblint-regression/04-mutex_22-deref_read.yml true 8.93 5.44 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.33 3.11 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 7.52 4.86 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 7.57 4.64 None goblint-regression/04-mutex_27-base_rc.yml ERROR: EXCEPTION 8.22 5.36 None goblint-regression/04-mutex_28-base_nr.yml true 9.07 5.55 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 6.04 4.18 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 6.00 3.53 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 8.35 5.67 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 8.28 5.45 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 5.37 3.13 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 5.53 3.23 None goblint-regression/04-mutex_43-thread_create_nr.yml true 8.20 5.14 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 14.96 10.05 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 7.84 5.13 None goblint-regression/04-mutex_46-escape_nr.yml true 10.35 6.28 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 8.00 5.12 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 7.89 5.25 None goblint-regression/04-mutex_51-mutex_ptr.yml true 10.81 6.58 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 5.63 3.24 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.71 3.52 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 15.98 11.88 None goblint-regression/05-lval_ls_02-idx_nr.yml true 10.23 6.99 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 7.86 4.85 None goblint-regression/05-lval_ls_04-fld_nr.yml true 7.61 5.28 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 5.38 3.43 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 8.12 5.43 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 10.26 5.95 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 5.39 3.07 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 7.90 4.86 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 9.60 5.99 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 5.31 3.01 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 5.37 3.30 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 8.13 5.34 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.74 3.35 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.88 884.10 None goblint-regression/06-symbeq_03-funloop_simple.yml ERROR: EXCEPTION 5.81 3.61 None goblint-regression/06-symbeq_04-funloop_hard1.yml ERROR: EXCEPTION 6.21 3.62 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 5.56 3.81 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 5.86 3.95 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 5.80 3.45 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 5.79 3.87 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 5.98 4.20 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 9.81 6.12 None goblint-regression/06-symbeq_11-equ_nr.yml true 11.80 7.98 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 15.03 9.23 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 5.59 3.20 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 12.49 7.25 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 5.70 3.59 None goblint-regression/09-regions_01-list_rc.yml false(unreach-call) 30.71 17.33 None goblint-regression/09-regions_02-list_nr.yml true 24.99 15.94 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 14.73 8.27 None goblint-regression/09-regions_04-list2_nr.yml true 61.02 40.23 None goblint-regression/09-regions_05-ptra_rc.yml false(unreach-call) 12.02 7.01 None goblint-regression/09-regions_06-ptra_nr.yml true 17.47 10.35 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 6.44 3.57 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 6.10 3.39 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 5.81 3.65 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 5.86 3.90 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 6.15 3.72 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 5.53 3.75 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 5.72 3.30 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 6.16 4.17 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 6.29 3.95 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 5.74 3.71 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 5.36 3.38 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 5.56 3.73 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 6.11 3.70 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 5.72 3.78 None goblint-regression/09-regions_26-alloc_region_rc.yml false(unreach-call) 663.10 618.90 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 31.94 24.66 None goblint-regression/10-synch_01-thread_unique.yml true 7.70 5.02 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 5.61 3.54 None goblint-regression/10-synch_03-two_unique.yml true 7.57 5.28 None goblint-regression/13-privatized_03-priv_inv.yml true 8.69 5.29 None ----------------------------------------------------------------------------------------------------------------------- Run set 3 done 43338.24 2668.70 - Statistics: 1014 Files correct: 607 correct true: 463 correct false: 144 incorrect: 93 incorrect true: 1 incorrect false: 92 unknown: 314 Score: -434 (max: 1797)