BENCHMARK INFORMATION benchmark definition: ../benchexec/concurrency.xml name: concurrency run sets: Automizer FA, Automizer PN, Automizer PARTIAL_ORDER_FA.NewStatesSleepPersistentFixedOrder date: Sat, 2021-10-16 22:32:21 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 33.97 20.18 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 109.10 63.38 None weaver/bench-exp1x3.wvr.yml true 9.27 5.25 None weaver/bench-exp2x3.wvr.yml OUT OF MEMORY 101.56 57.97 None weaver/bench-exp2x4.wvr.yml OUT OF MEMORY 128.75 71.13 None weaver/bench-exp2x6.wvr.yml OUT OF MEMORY 104.22 59.43 None weaver/bench-exp2x9.wvr.yml OUT OF MEMORY 132.05 72.91 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 101.80 58.91 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 126.89 70.84 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 107.52 59.72 None weaver/chl-array-int-symm.wvr.yml true 79.32 51.17 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 106.68 58.78 None weaver/chl-chromosome-opt-symm.wvr.yml true 41.98 27.52 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 108.35 62.12 None weaver/chl-chromosome-symm.wvr.yml true 75.96 48.60 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 103.00 57.32 None weaver/chl-collitem-subst.wvr.yml true 11.16 6.88 None weaver/chl-collitem-symm.wvr.yml true 10.30 6.72 None weaver/chl-collitem-trans.wvr.yml true 11.84 7.00 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 106.52 64.07 None weaver/chl-exp-term-symm.wvr.yml true 37.15 23.16 None weaver/chl-file-item-subst.wvr.yml OUT OF MEMORY 102.78 56.49 None weaver/chl-file-item-symm.wvr.yml true 33.17 20.54 None weaver/chl-file-item-trans.wvr.yml OUT OF MEMORY 107.06 58.95 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 105.72 58.90 None weaver/chl-match-symm.wvr.yml true 45.77 28.90 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 106.05 58.91 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 112.29 64.42 None weaver/chl-name-comparator-symm.wvr.yml OUT OF MEMORY 181.90 102.56 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 135.27 73.90 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 133.00 73.11 None weaver/chl-node-symm.wvr.yml true 335.99 207.22 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 104.29 57.70 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 99.68 55.15 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 148.94 81.37 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 107.37 59.93 None weaver/chl-poker-hand-subst.wvr.yml OUT OF MEMORY 256.06 177.19 None weaver/chl-poker-hand-symm.wvr.yml true 85.07 71.73 None weaver/chl-poker-hand-trans.wvr.yml OUT OF MEMORY 245.02 168.89 None weaver/chl-simpl-str-subst.wvr.yml OUT OF MEMORY 132.23 71.96 None weaver/chl-simpl-str-symm.wvr.yml true 19.77 11.58 None weaver/chl-simpl-str-trans.wvr.yml OUT OF MEMORY 138.82 77.06 None weaver/chl-sre-subst.wvr.yml true 103.64 62.05 None weaver/chl-sre-symm.wvr.yml true 9.48 5.38 None weaver/chl-sre-trans.wvr.yml true 101.56 58.97 None weaver/chl-time-subst.wvr.yml true 9.41 5.85 None weaver/chl-time-symm.wvr.yml true 10.75 5.91 None weaver/chl-time-trans.wvr.yml true 9.13 5.55 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 129.82 70.83 None weaver/chl-word-symm.wvr.yml true 131.36 86.21 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 98.51 55.23 None weaver/clever.wvr.yml true 33.39 18.18 None weaver/fibonacci.wvr.yml true 57.66 37.79 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 900.91 873.77 None weaver/mult-comm.wvr.yml true 12.34 6.92 None weaver/mult-dist.wvr.yml true 129.84 73.27 None weaver/mult-flipped-dist.wvr.yml true 106.09 67.30 None weaver/parallel-bakery-2.wvr.yml false(unreach-call) 132.65 87.00 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 106.74 59.08 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 105.10 60.19 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 100.78 57.77 None weaver/parallel-barrier.wvr.yml OUT OF MEMORY 110.69 65.73 None weaver/parallel-bluetooth.wvr.yml false(unreach-call) 14.97 8.34 None weaver/parallel-lamport.wvr.yml OUT OF MEMORY 100.29 55.30 None weaver/parallel-min-max-1.wvr.yml OUT OF MEMORY 131.41 71.00 None weaver/parallel-min-max-2.wvr.yml ERROR: EXCEPTION 8.35 5.02 None weaver/parallel-misc-1.wvr.yml true 661.97 361.79 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 10.22 6.70 None weaver/parallel-misc-2-unrolled.wvr.yml false(unreach-call) 21.45 11.68 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 26.31 16.98 None weaver/parallel-misc-3-extended.wvr.yml OUT OF MEMORY 151.62 83.64 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 21.62 12.01 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 147.16 86.68 None weaver/parallel-misc-5.wvr.yml false(unreach-call) 22.01 12.36 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 105.23 59.91 None weaver/parallel-parallel-sum-1.wvr.yml true 20.15 11.66 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 110.01 64.64 None weaver/parallel-parallel-sum-equiv.wvr.yml true 76.48 48.37 None weaver/parallel-simple-equiv.wvr.yml true 12.31 6.90 None weaver/parallel-ticket-2.wvr.yml false(unreach-call) 23.31 13.23 None weaver/parallel-ticket-3.wvr.yml OUT OF MEMORY 217.45 114.12 None weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 101.12 56.71 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 102.55 57.79 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 104.70 60.23 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 135.16 75.37 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 104.17 59.16 None weaver/popl20-bad-buffer-mult-alt.wvr.yml OUT OF MEMORY 104.64 58.64 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 127.39 74.22 None weaver/popl20-bad-commit-1.wvr-bad.yml true 26.08 14.98 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 114.99 67.52 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 20.99 12.02 None weaver/popl20-bad-counter-queue2.wvr.yml true 7.86 4.60 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 102.52 57.59 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 128.66 70.06 None weaver/popl20-bad-ring-nondet.wvr.yml true 24.17 13.19 None weaver/popl20-bad-ring.wvr.yml true 49.23 29.49 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 8.06 5.02 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 108.08 60.10 None weaver/popl20-channel-sum.wvr.yml false(unreach-call) 48.65 32.08 None weaver/popl20-commit-1.wvr.yml true 14.00 7.63 None weaver/popl20-commit-2.wvr.yml true 33.05 19.00 None weaver/popl20-counter-determinism.wvr.yml true 37.51 22.52 None weaver/popl20-counter-fun.wvr.yml true 11.03 6.15 None weaver/popl20-difference-det.wvr.yml true 48.87 28.51 None weaver/popl20-figure1-alt.wvr.yml true 7.80 4.45 None weaver/popl20-figure1.wvr.yml true 7.58 4.52 None weaver/popl20-figure3.wvr.yml false(unreach-call) 8.50 4.84 None weaver/popl20-horseshoe.wvr.yml true 50.05 31.30 None weaver/popl20-min-max-dec.wvr.yml OUT OF MEMORY 103.05 57.57 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 102.63 58.59 None weaver/popl20-min-max-inc.wvr.yml OUT OF MEMORY 99.15 56.05 None weaver/popl20-more-array-sum-alt.wvr.yml OUT OF MEMORY 128.52 72.22 None weaver/popl20-more-array-sum-alt2.wvr.yml true 15.65 8.57 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 112.50 65.86 None weaver/popl20-more-array-sum2.wvr.yml true 18.22 9.75 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 100.38 57.12 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 208.64 111.57 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 112.59 65.82 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 156.21 85.03 None weaver/popl20-more-dec-subseq.wvr.yml true 37.15 21.12 None weaver/popl20-more-inc-subseq.wvr.yml true 33.73 20.57 None weaver/popl20-more-max-array-hom.wvr.yml true 15.59 8.70 None weaver/popl20-more-max-array.wvr.yml true 15.57 8.30 None weaver/popl20-more-min-array-hom.wvr.yml true 12.65 7.04 None weaver/popl20-more-min-array.wvr.yml true 12.07 6.80 None weaver/popl20-more-min-le-max.wvr.yml true 26.40 13.99 None weaver/popl20-more-mts.wvr.yml OUT OF MEMORY 171.73 91.70 None weaver/popl20-more-multiply-verify.wvr.yml true 169.71 95.58 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 8.45 4.95 None weaver/popl20-more-parray-copy.wvr.yml OUT OF MEMORY 134.96 73.26 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 18.55 10.28 None weaver/popl20-more-queue-add-3-nl.wvr.yml OUT OF MEMORY 136.14 74.80 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 176.11 95.19 None weaver/popl20-more-sum-array-hom.wvr.yml OUT OF MEMORY 137.21 74.36 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 139.72 77.64 None weaver/popl20-mult-4.wvr.yml OUT OF MEMORY 127.71 73.37 None weaver/popl20-mult-equiv.wvr.yml true 8.89 7.01 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 7.58 5.91 None weaver/popl20-nonblocking-cntr.wvr.yml true 7.06 4.41 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 112.14 68.66 None weaver/popl20-prod-cons.wvr.yml false(unreach-call) 48.29 31.55 None weaver/popl20-prod-cons3.wvr.yml OUT OF MEMORY 165.72 89.76 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 50.99 31.06 None weaver/popl20-queue-add-2.wvr.yml true 10.74 6.47 None weaver/popl20-queue-add-3.wvr.yml true 60.66 36.84 None weaver/popl20-send-receive-alt.wvr.yml true 9.45 5.87 None weaver/popl20-send-receive.wvr.yml false(unreach-call) 43.10 25.97 None weaver/popl20-simple-array-sum.wvr.yml OUT OF MEMORY 127.58 69.48 None weaver/popl20-simple-queue.wvr.yml true 8.96 5.22 None weaver/popl20-threaded-sum-3.wvr.yml true 14.06 7.82 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 140.99 77.86 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 137.85 74.16 None weaver/popl20-three-array-sum.wvr.yml OUT OF MEMORY 227.70 123.38 None weaver/popl20-two-queue.wvr.yml true 15.39 8.37 None weaver/security.wvr.yml true 17.43 9.66 None weaver/spaghetti.wvr.yml OUT OF MEMORY 109.14 62.27 None weaver/test-context1.wvr.yml true 8.39 5.01 None weaver/test-easy1.wvr.yml true 11.29 6.45 None weaver/test-easy10.wvr.yml OUT OF MEMORY 104.96 64.18 None weaver/test-easy11.wvr.yml false(unreach-call) 8.99 5.35 None weaver/test-easy6.wvr.yml false(unreach-call) 43.71 27.63 None weaver/test-easy7.wvr.yml true 20.66 12.03 None weaver/test-easy8.wvr.yml true 6.78 4.17 None weaver/test-hard1.wvr.yml true 25.14 14.65 None weaver/test-semi1.wvr.yml true 9.41 5.26 None weaver/unroll-2.wvr.yml true 32.21 19.50 None weaver/unroll-3.wvr.yml true 53.73 31.89 None weaver/unroll-4.wvr.yml true 60.06 37.95 None weaver/unroll-5.wvr.yml true 95.85 58.16 None weaver/unroll-cond-2.wvr.yml true 43.08 26.63 None weaver/unroll-cond-3.wvr.yml true 73.93 46.86 None weaver/unroll-cond-4.wvr.yml true 137.25 82.84 None weaver/unroll-cond-5.wvr.yml true 190.76 114.90 None ldv-races/race-1_1-join.yml true 8.96 5.14 None ldv-races/race-1_2-join.yml true 9.49 6.01 None ldv-races/race-1_2b-join.yml false(unreach-call) 9.05 5.55 None ldv-races/race-1_3-join.yml true 9.27 5.14 None ldv-races/race-1_3b-join.yml false(unreach-call) 9.66 5.80 None ldv-races/race-2_1-container_of.yml OUT OF MEMORY 829.57 573.00 None ldv-races/race-2_2-container_of.yml true 13.84 7.68 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 53.91 33.12 None ldv-races/race-2_3-container_of.yml true 16.80 9.41 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 115.49 72.63 None ldv-races/race-2_4-container_of.yml true 15.75 9.38 None ldv-races/race-2_4b-container_of.yml OUT OF MEMORY 737.62 502.91 None ldv-races/race-2_5-container_of.yml true 16.43 9.23 None ldv-races/race-2_5b-container_of.yml OUT OF MEMORY 767.51 536.70 None ldv-races/race-3_1-container_of-global.yml true 144.57 93.96 None ldv-races/race-3_2-container_of-global.yml true 15.87 9.65 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 75.41 48.14 None pthread/fib_bench-1.yml true 7.81 4.47 None pthread/fib_bench-2.yml true 9.57 5.57 None pthread/fib_bench_longer-1.yml true 7.78 4.61 None pthread/fib_bench_longer-2.yml true 7.46 4.81 None pthread/fib_bench_longest-1.yml true 9.65 5.84 None pthread/fib_bench_longest-2.yml true 7.28 4.39 None pthread/lazy01.yml true 17.77 10.72 None pthread/singleton-b.yml OUT OF MEMORY 136.00 77.16 None pthread/singleton.yml true 18.22 11.27 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 95.56 56.54 None pthread/singleton_with-uninit-problems.yml true 19.63 11.86 None pthread/stateful01-1.yml true 12.44 6.90 None pthread/stateful01-2.yml true 11.95 7.02 None pthread/triangular-1.yml true 7.80 4.51 None pthread/triangular-2.yml true 7.47 4.58 None pthread/triangular-longer-1.yml true 7.52 4.78 None pthread/triangular-longer-2.yml true 7.21 4.25 None pthread/triangular-longest-1.yml true 7.74 4.91 None pthread/triangular-longest-2.yml true 7.43 4.79 None pthread-atomic/dekker-b.yml false(unreach-call) 18.42 10.22 None pthread-atomic/dekker.yml true 14.62 8.27 None pthread-atomic/lamport-b.yml false(unreach-call) 57.07 37.41 None pthread-atomic/lamport.yml true 20.01 10.80 None pthread-atomic/peterson-b.yml false(unreach-call) 19.15 10.99 None pthread-atomic/peterson.yml true 13.68 7.64 None pthread-atomic/read_write_lock-1.yml OUT OF MEMORY 129.87 71.92 None pthread-atomic/read_write_lock-1b.yml OUT OF MEMORY 100.09 57.00 None pthread-atomic/read_write_lock-2.yml true 25.40 15.27 None pthread-atomic/read_write_lock-2b.yml OUT OF MEMORY 104.26 59.49 None pthread-atomic/szymanski-b.yml false(unreach-call) 32.03 18.39 None pthread-atomic/szymanski.yml true 13.33 7.32 None pthread-atomic/time_var_mutex.yml true 11.97 6.58 None pthread-ext/01_inc.yml OUT OF MEMORY 185.27 102.61 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.01 4.10 None pthread-ext/14_spin2003.yml OUT OF MEMORY 163.48 93.30 None pthread-ext/18_read_write_lock.yml true 8.10 4.66 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 209.18 110.64 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 159.09 86.12 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 118.07 65.11 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 151.14 82.49 None pthread-ext/45_monabsex1_vs-b.yml OUT OF MEMORY 164.98 90.50 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 124.89 70.73 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 114.98 66.80 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 133.29 75.80 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 144.07 82.93 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 166.30 91.53 None pthread-lit/qw2004-2.yml false(unreach-call) 9.73 5.49 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 7.69 4.51 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 10.68 5.83 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 10.53 6.21 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 13.60 7.65 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 10.64 6.09 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 8.92 5.04 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 8.41 5.47 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 7.74 4.65 None goblint-regression/04-mutex_02-simple_nr.yml true 7.88 5.19 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 8.08 4.66 None goblint-regression/04-mutex_04-munge_nr.yml true 14.57 8.33 None goblint-regression/04-mutex_05-lockfuns.yml true 10.68 6.32 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 8.38 5.01 None goblint-regression/04-mutex_07-ps_nr.yml true 7.63 4.53 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 9.30 5.55 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 60.93 39.29 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 11.79 6.67 None goblint-regression/04-mutex_12-ptr_nr.yml true 9.71 5.62 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 7.99 4.86 None goblint-regression/04-mutex_15-funarg_nr.yml true 9.98 5.93 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 10.56 6.14 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 8.47 5.45 None goblint-regression/04-mutex_18-glob_guards.yml true 9.23 5.46 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 8.14 4.96 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.90 3.51 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 7.35 4.45 None goblint-regression/04-mutex_22-deref_read.yml true 11.04 6.45 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.78 3.39 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 11.25 6.31 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 8.01 4.69 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 8.40 4.85 None goblint-regression/04-mutex_28-base_nr.yml true 10.91 6.21 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 6.27 3.68 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 6.08 3.71 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 12.46 7.13 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 11.64 6.64 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 5.65 3.24 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 5.79 3.36 None goblint-regression/04-mutex_43-thread_create_nr.yml true 7.47 4.44 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 18.34 12.39 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 11.69 6.86 None goblint-regression/04-mutex_46-escape_nr.yml true 9.88 5.88 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 7.89 5.10 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 7.84 4.76 None goblint-regression/04-mutex_51-mutex_ptr.yml true 13.83 7.85 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 7.61 4.40 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.63 3.38 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 16.89 12.03 None goblint-regression/05-lval_ls_02-idx_nr.yml true 11.11 7.05 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 7.27 4.32 None goblint-regression/05-lval_ls_04-fld_nr.yml true 9.90 5.44 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 5.68 4.06 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 8.67 5.18 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 19.75 10.67 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 5.17 2.97 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 11.71 6.50 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 12.62 7.29 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 5.34 3.92 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 5.49 3.17 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 9.19 5.69 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.39 3.68 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 901.80 701.96 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.74 3.19 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 7.56 4.55 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 7.61 4.55 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 6.02 3.44 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 7.50 4.09 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 5.63 3.25 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 11.32 6.44 None goblint-regression/06-symbeq_11-equ_nr.yml true 10.58 6.37 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 23.62 13.42 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 7.49 4.50 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 61.33 38.58 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 5.08 3.37 None goblint-regression/09-regions_01-list_rc.yml false(unreach-call) 261.62 187.52 None goblint-regression/09-regions_02-list_nr.yml true 360.73 264.88 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 21.64 12.19 None goblint-regression/09-regions_04-list2_nr.yml true 207.82 155.16 None goblint-regression/09-regions_05-ptra_rc.yml false(unreach-call) 201.48 174.64 None goblint-regression/09-regions_06-ptra_nr.yml true 35.63 19.96 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 6.07 3.63 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 5.77 3.22 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 5.67 3.27 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 5.78 3.57 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 5.73 3.73 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 5.65 3.21 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 5.74 3.27 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 5.57 3.54 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 7.33 4.14 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 5.44 2.95 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 5.83 3.36 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 5.36 3.41 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 5.63 3.21 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 7.16 4.23 None goblint-regression/09-regions_26-alloc_region_rc.yml TIMEOUT 900.69 742.50 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 11.22 6.74 None goblint-regression/10-synch_01-thread_unique.yml true 7.06 3.97 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 7.30 4.32 None goblint-regression/10-synch_03-two_unique.yml true 7.47 4.65 None goblint-regression/13-privatized_03-priv_inv.yml true 7.55 4.33 None ----------------------------------------------------------------------------------------------------------------------- Run set 1 done 24568.23 1631.09 - 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.09 5.73 None weaver/array-eq-trans.wvr.yml true 21.12 13.00 None weaver/bench-exp1x3.wvr.yml true 7.46 4.36 None weaver/bench-exp2x3.wvr.yml true 8.61 4.84 None weaver/bench-exp2x4.wvr.yml true 13.22 7.19 None weaver/bench-exp2x6.wvr.yml true 13.32 7.67 None weaver/bench-exp2x9.wvr.yml true 27.17 14.55 None weaver/bench-exp3x3-opt.wvr.yml true 11.10 6.57 None weaver/bench-exp3x3.wvr.yml true 14.11 7.91 None weaver/chl-array-int-subst.wvr.yml true 73.53 49.24 None weaver/chl-array-int-symm.wvr.yml true 13.72 7.90 None weaver/chl-array-int-trans.wvr.yml true 73.75 49.06 None weaver/chl-chromosome-opt-symm.wvr.yml true 12.51 7.34 None weaver/chl-chromosome-subst.wvr.yml true 29.90 18.08 None weaver/chl-chromosome-symm.wvr.yml true 12.81 7.21 None weaver/chl-chromosome-trans.wvr.yml true 27.37 16.57 None weaver/chl-collitem-subst.wvr.yml true 10.99 6.15 None weaver/chl-collitem-symm.wvr.yml true 10.67 6.01 None weaver/chl-collitem-trans.wvr.yml true 14.46 7.96 None weaver/chl-exp-term-subst.wvr.yml true 10.70 6.96 None weaver/chl-exp-term-symm.wvr.yml true 9.28 5.24 None weaver/chl-file-item-subst.wvr.yml true 13.97 7.49 None weaver/chl-file-item-symm.wvr.yml true 8.88 5.05 None weaver/chl-file-item-trans.wvr.yml true 10.46 5.75 None weaver/chl-match-subst.wvr.yml true 11.19 6.66 None weaver/chl-match-symm.wvr.yml true 9.00 5.63 None weaver/chl-match-trans.wvr.yml true 10.98 6.70 None weaver/chl-name-comparator-subst.wvr.yml true 77.62 54.84 None weaver/chl-name-comparator-symm.wvr.yml true 28.59 15.28 None weaver/chl-name-comparator-trans.wvr.yml true 95.41 63.54 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 83.97 57.48 None weaver/chl-node-symm.wvr.yml true 32.55 18.20 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 103.49 62.01 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 164.52 120.39 None weaver/chl-nzb-file-symm.wvr.yml true 54.88 38.77 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 170.65 127.73 None weaver/chl-poker-hand-subst.wvr.yml true 143.21 120.99 None weaver/chl-poker-hand-symm.wvr.yml true 82.38 69.69 None weaver/chl-poker-hand-trans.wvr.yml true 131.74 108.51 None weaver/chl-simpl-str-subst.wvr.yml true 9.48 5.45 None weaver/chl-simpl-str-symm.wvr.yml true 10.87 6.41 None weaver/chl-simpl-str-trans.wvr.yml true 9.67 5.76 None weaver/chl-sre-subst.wvr.yml true 10.11 5.64 None weaver/chl-sre-symm.wvr.yml true 7.41 4.45 None weaver/chl-sre-trans.wvr.yml true 7.48 4.70 None weaver/chl-time-subst.wvr.yml true 11.89 6.81 None weaver/chl-time-symm.wvr.yml true 8.98 5.09 None weaver/chl-time-trans.wvr.yml true 9.47 5.57 None weaver/chl-word-subst.wvr.yml true 92.18 60.48 None weaver/chl-word-symm.wvr.yml true 20.06 11.09 None weaver/chl-word-trans.wvr.yml true 80.99 51.35 None weaver/clever.wvr.yml true 9.70 5.59 None weaver/fibonacci.wvr.yml true 10.73 6.29 None weaver/loop-tiling-eq.wvr.yml OUT OF MEMORY 326.76 262.70 None weaver/mult-comm.wvr.yml true 7.50 4.88 None weaver/mult-dist.wvr.yml true 10.75 5.84 None weaver/mult-flipped-dist.wvr.yml true 8.40 4.76 None weaver/parallel-bakery-2.wvr.yml false(unreach-call) 14.09 8.43 None weaver/parallel-bakery-3.wvr.yml OUT OF MEMORY 185.26 140.20 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 379.02 280.00 None weaver/parallel-barrier-loop.wvr.yml false(unreach-call) 48.81 33.27 None weaver/parallel-barrier.wvr.yml false(unreach-call) 31.45 19.60 None weaver/parallel-bluetooth.wvr.yml false(unreach-call) 11.76 6.49 None weaver/parallel-lamport.wvr.yml false(unreach-call) 36.24 19.58 None weaver/parallel-min-max-1.wvr.yml false(unreach-call) 30.84 16.48 None weaver/parallel-min-max-2.wvr.yml ERROR: EXCEPTION 7.15 4.65 None weaver/parallel-misc-1.wvr.yml true 18.37 10.23 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 8.03 5.61 None weaver/parallel-misc-2-unrolled.wvr.yml false(unreach-call) 11.86 6.34 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 12.86 7.40 None weaver/parallel-misc-3-extended.wvr.yml false(unreach-call) 14.90 9.37 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 12.06 7.08 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 9.54 6.37 None weaver/parallel-misc-5.wvr.yml false(unreach-call) 9.22 5.70 None weaver/parallel-parallel-sum-1-dsl.wvr.yml true 12.00 6.98 None weaver/parallel-parallel-sum-1.wvr.yml true 13.60 7.35 None weaver/parallel-parallel-sum-2.wvr.yml true 11.78 6.41 None weaver/parallel-parallel-sum-equiv.wvr.yml true 10.28 6.38 None weaver/parallel-simple-equiv.wvr.yml true 10.44 6.13 None weaver/parallel-ticket-2.wvr.yml false(unreach-call) 11.68 6.90 None weaver/parallel-ticket-3.wvr.yml false(unreach-call) 26.84 16.39 None weaver/parallel-ticket-4.wvr.yml OUT OF MEMORY 102.98 73.00 None weaver/parallel-ticket-5.wvr.yml OUT OF MEMORY 96.40 61.26 None weaver/parallel-ticket-6.wvr.yml OUT OF MEMORY 77.09 47.34 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 122.88 70.46 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 102.76 63.39 None weaver/popl20-bad-buffer-mult-alt.wvr.yml false(unreach-call) 18.79 10.41 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 11.74 6.91 None weaver/popl20-bad-commit-1.wvr-bad.yml true 13.25 7.70 None weaver/popl20-bad-commit-2.wvr-bad.yml true 15.22 8.56 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 10.07 6.39 None weaver/popl20-bad-counter-queue2.wvr.yml true 8.23 4.83 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 76.31 45.82 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 113.55 84.75 None weaver/popl20-bad-ring-nondet.wvr.yml true 13.50 7.39 None weaver/popl20-bad-ring.wvr.yml true 13.43 7.28 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 7.46 5.04 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 117.00 84.90 None weaver/popl20-channel-sum.wvr.yml false(unreach-call) 13.38 7.33 None weaver/popl20-commit-1.wvr.yml true 12.82 7.73 None weaver/popl20-commit-2.wvr.yml true 15.18 8.27 None weaver/popl20-counter-determinism.wvr.yml true 7.27 4.29 None weaver/popl20-counter-fun.wvr.yml true 10.62 6.53 None weaver/popl20-difference-det.wvr.yml true 7.42 4.76 None weaver/popl20-figure1-alt.wvr.yml true 6.76 4.45 None weaver/popl20-figure1.wvr.yml true 7.10 4.10 None weaver/popl20-figure3.wvr.yml false(unreach-call) 8.01 4.80 None weaver/popl20-horseshoe.wvr.yml true 11.23 6.70 None weaver/popl20-min-max-dec.wvr.yml false(unreach-call) 17.16 9.27 None weaver/popl20-min-max-inc-dec.wvr.yml false(unreach-call) 30.19 18.66 None weaver/popl20-min-max-inc.wvr.yml false(unreach-call) 18.02 9.67 None weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 77.77 56.70 None weaver/popl20-more-array-sum-alt2.wvr.yml true 8.75 5.38 None weaver/popl20-more-array-sum.wvr.yml false(unreach-call) 373.29 270.44 None weaver/popl20-more-array-sum2.wvr.yml true 10.21 6.26 None weaver/popl20-more-buffer-mult.wvr.yml true 10.63 6.28 None weaver/popl20-more-buffer-mult2.wvr.yml true 10.68 6.57 None weaver/popl20-more-buffer-series.wvr.yml true 12.00 6.79 None weaver/popl20-more-buffer-series2.wvr.yml true 11.69 6.66 None weaver/popl20-more-dec-subseq.wvr.yml true 11.97 7.25 None weaver/popl20-more-inc-subseq.wvr.yml true 11.84 6.59 None weaver/popl20-more-max-array-hom.wvr.yml true 8.36 5.18 None weaver/popl20-more-max-array.wvr.yml true 11.09 6.33 None weaver/popl20-more-min-array-hom.wvr.yml true 8.79 5.24 None weaver/popl20-more-min-array.wvr.yml true 8.77 5.12 None weaver/popl20-more-min-le-max.wvr.yml true 8.78 5.05 None weaver/popl20-more-mts.wvr.yml true 12.63 7.01 None weaver/popl20-more-multiply-verify.wvr.yml true 10.68 5.98 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 7.30 5.01 None weaver/popl20-more-parray-copy.wvr.yml OUT OF MEMORY 122.33 88.56 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 13.35 7.59 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 12.52 7.21 None weaver/popl20-more-sorted.wvr.yml true 18.23 10.47 None weaver/popl20-more-sum-array-hom.wvr.yml true 10.60 6.34 None weaver/popl20-more-vector-add.wvr.yml OUT OF MEMORY 86.25 56.72 None weaver/popl20-mult-4.wvr.yml false(unreach-call) 8.63 5.03 None weaver/popl20-mult-equiv.wvr.yml true 10.29 5.65 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 6.98 4.45 None weaver/popl20-nonblocking-cntr.wvr.yml true 7.02 4.60 None weaver/popl20-prod-cons-eq.wvr.yml false(unreach-call) 40.00 25.15 None weaver/popl20-prod-cons.wvr.yml false(unreach-call) 10.16 5.68 None weaver/popl20-prod-cons3.wvr.yml false(unreach-call) 12.40 7.23 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 10.34 6.06 None weaver/popl20-queue-add-2.wvr.yml true 9.70 5.89 None weaver/popl20-queue-add-3.wvr.yml true 14.86 7.99 None weaver/popl20-send-receive-alt.wvr.yml true 8.40 5.21 None weaver/popl20-send-receive.wvr.yml false(unreach-call) 13.16 7.49 None weaver/popl20-simple-array-sum.wvr.yml false(unreach-call) 57.38 41.12 None weaver/popl20-simple-queue.wvr.yml true 8.61 4.90 None weaver/popl20-threaded-sum-3.wvr.yml true 10.76 6.30 None weaver/popl20-three-array-max.wvr.yml true 17.51 9.84 None weaver/popl20-three-array-min.wvr.yml true 17.88 9.56 None weaver/popl20-three-array-sum.wvr.yml true 16.35 9.06 None weaver/popl20-two-queue.wvr.yml true 11.17 6.22 None weaver/security.wvr.yml true 10.19 5.61 None weaver/spaghetti.wvr.yml false(unreach-call) 11.63 6.52 None weaver/test-context1.wvr.yml true 8.73 5.30 None weaver/test-easy1.wvr.yml true 7.37 4.30 None weaver/test-easy10.wvr.yml false(unreach-call) 19.36 10.81 None weaver/test-easy11.wvr.yml false(unreach-call) 7.67 4.76 None weaver/test-easy6.wvr.yml false(unreach-call) 9.57 5.80 None weaver/test-easy7.wvr.yml true 11.10 6.45 None weaver/test-easy8.wvr.yml true 9.01 5.26 None weaver/test-hard1.wvr.yml true 8.29 4.74 None weaver/test-semi1.wvr.yml true 7.05 4.11 None weaver/unroll-2.wvr.yml true 10.60 5.95 None weaver/unroll-3.wvr.yml true 11.36 6.51 None weaver/unroll-4.wvr.yml true 12.55 7.19 None weaver/unroll-5.wvr.yml true 17.46 9.21 None weaver/unroll-cond-2.wvr.yml true 15.46 8.22 None weaver/unroll-cond-3.wvr.yml true 13.56 7.38 None weaver/unroll-cond-4.wvr.yml true 15.64 8.32 None weaver/unroll-cond-5.wvr.yml true 18.60 10.00 None ldv-races/race-1_1-join.yml true 9.73 5.77 None ldv-races/race-1_2-join.yml true 9.42 5.87 None ldv-races/race-1_2b-join.yml false(unreach-call) 9.35 5.33 None ldv-races/race-1_3-join.yml true 8.94 5.28 None ldv-races/race-1_3b-join.yml false(unreach-call) 11.98 6.84 None ldv-races/race-2_1-container_of.yml OUT OF MEMORY 104.90 76.52 None ldv-races/race-2_2-container_of.yml true 13.45 7.64 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 53.17 37.16 None ldv-races/race-2_3-container_of.yml true 14.19 8.07 None ldv-races/race-2_3b-container_of.yml OUT OF MEMORY 106.29 80.24 None ldv-races/race-2_4-container_of.yml true 13.95 7.67 None ldv-races/race-2_4b-container_of.yml OUT OF MEMORY 116.94 88.62 None ldv-races/race-2_5-container_of.yml true 18.11 9.71 None ldv-races/race-2_5b-container_of.yml OUT OF MEMORY 158.85 125.14 None ldv-races/race-3_1-container_of-global.yml OUT OF MEMORY 114.09 87.20 None ldv-races/race-3_2-container_of-global.yml true 13.44 7.76 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 77.79 56.88 None pthread/fib_bench-1.yml true 7.61 4.42 None pthread/fib_bench-2.yml true 9.55 5.27 None pthread/fib_bench_longer-1.yml true 7.30 4.48 None pthread/fib_bench_longer-2.yml true 7.50 4.89 None pthread/fib_bench_longest-1.yml true 7.40 4.61 None pthread/fib_bench_longest-2.yml true 9.62 5.76 None pthread/lazy01.yml true 8.13 4.78 None pthread/singleton-b.yml OUT OF MEMORY 103.68 66.24 None pthread/singleton.yml true 8.02 4.74 None pthread/singleton_with-uninit-problems-b.yml OUT OF MEMORY 86.91 57.89 None pthread/singleton_with-uninit-problems.yml true 8.18 5.42 None pthread/stateful01-1.yml true 9.20 5.56 None pthread/stateful01-2.yml true 8.62 4.83 None pthread/triangular-1.yml true 7.17 4.64 None pthread/triangular-2.yml true 7.14 4.68 None pthread/triangular-longer-1.yml true 7.36 4.51 None pthread/triangular-longer-2.yml true 7.28 4.67 None pthread/triangular-longest-1.yml true 7.34 4.25 None pthread/triangular-longest-2.yml true 6.93 4.10 None pthread-atomic/dekker-b.yml false(unreach-call) 8.56 5.13 None pthread-atomic/dekker.yml true 9.39 5.45 None pthread-atomic/lamport-b.yml false(unreach-call) 11.37 6.61 None pthread-atomic/lamport.yml true 13.08 7.68 None pthread-atomic/peterson-b.yml false(unreach-call) 9.03 5.18 None pthread-atomic/peterson.yml true 8.72 5.27 None pthread-atomic/read_write_lock-1.yml true 11.66 6.51 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 16.18 9.55 None pthread-atomic/read_write_lock-2.yml true 7.50 4.37 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 17.98 10.06 None pthread-atomic/szymanski-b.yml false(unreach-call) 9.15 5.45 None pthread-atomic/szymanski.yml true 9.75 5.85 None pthread-atomic/time_var_mutex.yml true 8.83 5.56 None pthread-ext/01_inc.yml OUT OF MEMORY 156.34 105.78 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.20 4.44 None pthread-ext/14_spin2003.yml OUT OF MEMORY 111.90 74.36 None pthread-ext/18_read_write_lock.yml true 10.40 6.10 None pthread-ext/39_rand_lock_p0_vs-b.yml OUT OF MEMORY 125.75 77.31 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 143.46 110.11 None pthread-ext/40_barrier_vf-b.yml OUT OF MEMORY 80.65 55.74 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 104.19 63.44 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 15.60 8.62 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 139.76 85.41 None pthread-ext/46_monabsex2_vs-b.yml OUT OF MEMORY 117.97 77.43 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 157.61 111.63 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml OUT OF MEMORY 85.99 54.36 None pthread-ext/48_ticket_lock_low_contention_vs.yml OUT OF MEMORY 121.94 89.11 None pthread-lit/qw2004-2.yml false(unreach-call) 10.17 6.70 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 8.01 5.46 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 11.22 7.06 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 10.88 7.36 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 10.86 7.57 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 8.32 5.05 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 8.96 5.01 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 7.97 4.68 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 8.39 6.14 None goblint-regression/04-mutex_02-simple_nr.yml true 8.00 4.54 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 8.21 4.62 None goblint-regression/04-mutex_04-munge_nr.yml true 11.36 7.76 None goblint-regression/04-mutex_05-lockfuns.yml true 8.22 4.67 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 11.23 6.13 None goblint-regression/04-mutex_07-ps_nr.yml true 7.98 5.02 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 9.41 5.59 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 504.37 441.12 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 9.52 5.36 None goblint-regression/04-mutex_12-ptr_nr.yml true 13.45 7.71 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 7.88 5.08 None goblint-regression/04-mutex_15-funarg_nr.yml true 7.84 5.90 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 8.52 5.22 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 8.53 4.92 None goblint-regression/04-mutex_18-glob_guards.yml true 7.64 4.68 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 8.15 5.05 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.85 3.31 None goblint-regression/04-mutex_21-sound_base.yml false(unreach-call) 7.70 4.57 None goblint-regression/04-mutex_22-deref_read.yml true 8.51 6.04 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 7.65 4.06 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 8.07 4.62 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 7.94 4.75 None goblint-regression/04-mutex_27-base_rc.yml false(unreach-call) 8.61 5.50 None goblint-regression/04-mutex_28-base_nr.yml true 8.58 4.98 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 8.09 4.66 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 5.95 3.50 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 9.08 6.11 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 8.93 5.53 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 5.84 3.43 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 5.37 3.24 None goblint-regression/04-mutex_43-thread_create_nr.yml true 8.02 4.97 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 22.51 13.83 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 9.70 5.52 None goblint-regression/04-mutex_46-escape_nr.yml true 13.61 7.76 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 8.35 5.16 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 7.69 4.61 None goblint-regression/04-mutex_51-mutex_ptr.yml true 10.37 7.56 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 5.30 3.37 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.80 3.29 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 17.03 11.31 None goblint-regression/05-lval_ls_02-idx_nr.yml true 8.66 5.52 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 7.28 4.63 None goblint-regression/05-lval_ls_04-fld_nr.yml true 7.83 4.50 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 5.60 3.40 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 11.67 6.77 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 17.97 10.17 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 5.54 4.05 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 9.20 5.34 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 10.21 6.09 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 5.80 3.49 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 5.18 2.95 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 14.68 7.89 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.59 4.16 None goblint-regression/06-symbeq_02-funloop_norace.yml OUT OF MEMORY 160.79 125.34 None goblint-regression/06-symbeq_03-funloop_simple.yml ERROR: EXCEPTION 7.58 4.54 None goblint-regression/06-symbeq_04-funloop_hard1.yml ERROR: EXCEPTION 5.79 3.80 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 5.88 3.75 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 5.95 3.35 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 5.51 3.23 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 5.51 3.20 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 5.71 3.42 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 8.80 5.57 None goblint-regression/06-symbeq_11-equ_nr.yml true 11.17 6.55 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 26.50 14.42 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 5.81 3.22 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 84.03 56.85 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 6.94 3.80 None goblint-regression/09-regions_01-list_rc.yml TIMEOUT 900.63 811.95 None goblint-regression/09-regions_02-list_nr.yml OUT OF MEMORY 743.22 678.31 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 31.18 16.66 None goblint-regression/09-regions_04-list2_nr.yml true 772.44 678.56 None goblint-regression/09-regions_05-ptra_rc.yml TIMEOUT 901.51 813.09 None goblint-regression/09-regions_06-ptra_nr.yml true 27.86 17.40 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 7.23 4.14 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 5.64 3.50 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 7.78 4.45 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 7.42 4.35 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 5.70 3.49 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 5.65 3.34 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 6.17 3.79 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 7.57 4.37 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 7.61 4.28 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 5.70 3.25 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 5.64 3.86 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 5.85 3.25 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 6.97 4.01 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 5.72 3.53 None goblint-regression/09-regions_26-alloc_region_rc.yml OUT OF MEMORY 167.40 123.69 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 14.79 8.33 None goblint-regression/10-synch_01-thread_unique.yml true 6.70 4.46 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 5.58 3.14 None goblint-regression/10-synch_03-two_unique.yml true 7.26 4.70 None goblint-regression/13-privatized_03-priv_inv.yml true 7.75 4.57 None ----------------------------------------------------------------------------------------------------------------------- Run set 2 done 13515.97 1257.04 - 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 20.12 11.36 None weaver/array-eq-trans.wvr.yml OUT OF MEMORY 866.59 456.90 None weaver/bench-exp1x3.wvr.yml true 8.71 5.96 None weaver/bench-exp2x3.wvr.yml OUT OF MEMORY 403.28 212.27 None weaver/bench-exp2x4.wvr.yml OUT OF MEMORY 510.09 264.00 None weaver/bench-exp2x6.wvr.yml OUT OF MEMORY 374.68 196.62 None weaver/bench-exp2x9.wvr.yml OUT OF MEMORY 555.53 284.09 None weaver/bench-exp3x3-opt.wvr.yml OUT OF MEMORY 404.80 218.93 None weaver/bench-exp3x3.wvr.yml OUT OF MEMORY 507.36 269.23 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 486.35 255.06 None weaver/chl-array-int-symm.wvr.yml true 31.87 17.92 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 506.09 261.35 None weaver/chl-chromosome-opt-symm.wvr.yml true 27.26 17.31 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 791.40 409.52 None weaver/chl-chromosome-symm.wvr.yml true 24.79 13.61 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 626.30 324.91 None weaver/chl-collitem-subst.wvr.yml true 25.59 16.46 None weaver/chl-collitem-symm.wvr.yml true 13.31 7.89 None weaver/chl-collitem-trans.wvr.yml true 28.24 16.22 None weaver/chl-exp-term-subst.wvr.yml OUT OF MEMORY 315.58 169.06 None weaver/chl-exp-term-symm.wvr.yml true 15.02 10.28 None weaver/chl-file-item-subst.wvr.yml true 278.46 149.26 None weaver/chl-file-item-symm.wvr.yml true 11.95 8.46 None weaver/chl-file-item-trans.wvr.yml true 319.53 179.00 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 367.18 193.76 None weaver/chl-match-symm.wvr.yml true 12.41 7.69 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 355.21 190.63 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 402.57 206.76 None weaver/chl-name-comparator-symm.wvr.yml true 290.37 161.97 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 410.56 214.49 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 497.39 269.21 None weaver/chl-node-symm.wvr.yml true 53.02 30.81 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 499.55 257.29 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 564.97 288.31 None weaver/chl-nzb-file-symm.wvr.yml OUT OF MEMORY 557.27 285.82 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 555.29 282.77 None weaver/chl-poker-hand-subst.wvr.yml TIMEOUT 900.90 812.18 None weaver/chl-poker-hand-symm.wvr.yml true 858.51 775.87 None weaver/chl-poker-hand-trans.wvr.yml TIMEOUT 901.10 802.25 None weaver/chl-simpl-str-subst.wvr.yml true 57.74 35.12 None weaver/chl-simpl-str-symm.wvr.yml true 10.23 6.73 None weaver/chl-simpl-str-trans.wvr.yml true 71.11 43.51 None weaver/chl-sre-subst.wvr.yml true 18.53 11.20 None weaver/chl-sre-symm.wvr.yml true 8.61 5.52 None weaver/chl-sre-trans.wvr.yml true 16.96 10.00 None weaver/chl-time-subst.wvr.yml true 12.09 7.72 None weaver/chl-time-symm.wvr.yml true 9.51 6.59 None weaver/chl-time-trans.wvr.yml true 11.18 7.04 None weaver/chl-word-subst.wvr.yml OUT OF MEMORY 456.40 235.70 None weaver/chl-word-symm.wvr.yml true 37.66 23.49 None weaver/chl-word-trans.wvr.yml OUT OF MEMORY 441.52 228.21 None weaver/clever.wvr.yml true 10.95 6.82 None weaver/fibonacci.wvr.yml true 12.84 8.07 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 901.71 834.24 None weaver/mult-comm.wvr.yml true 8.46 5.60 None weaver/mult-dist.wvr.yml true 21.61 13.85 None weaver/mult-flipped-dist.wvr.yml true 21.51 13.43 None weaver/parallel-bakery-2.wvr.yml false(unreach-call) 17.32 10.45 None weaver/parallel-bakery-3.wvr.yml false(unreach-call) 19.57 11.42 None weaver/parallel-bakery-4.wvr.yml OUT OF MEMORY 312.56 162.68 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 365.76 199.99 None weaver/parallel-barrier.wvr.yml false(unreach-call) 11.96 7.26 None weaver/parallel-bluetooth.wvr.yml false(unreach-call) 9.88 6.28 None weaver/parallel-lamport.wvr.yml false(unreach-call) 96.70 56.72 None weaver/parallel-min-max-1.wvr.yml false(unreach-call) 29.38 19.33 None weaver/parallel-min-max-2.wvr.yml ERROR: EXCEPTION 7.09 4.10 None weaver/parallel-misc-1.wvr.yml true 71.87 44.19 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 8.57 5.58 None weaver/parallel-misc-2-unrolled.wvr.yml false(unreach-call) 9.47 5.59 None weaver/parallel-misc-2.wvr.yml false(unreach-call) 9.54 5.65 None weaver/parallel-misc-3-extended.wvr.yml false(unreach-call) 8.83 5.66 None weaver/parallel-misc-3.wvr.yml false(unreach-call) 9.54 5.66 None weaver/parallel-misc-4.wvr.yml false(unreach-call) 10.63 6.54 None weaver/parallel-misc-5.wvr.yml false(unreach-call) 18.83 11.12 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 524.35 347.41 None weaver/parallel-parallel-sum-1.wvr.yml true 227.39 201.46 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 341.19 250.97 None weaver/parallel-parallel-sum-equiv.wvr.yml true 356.95 297.43 None weaver/parallel-simple-equiv.wvr.yml true 8.91 7.76 None weaver/parallel-ticket-2.wvr.yml false(unreach-call) 11.86 7.49 None weaver/parallel-ticket-3.wvr.yml false(unreach-call) 10.31 7.40 None weaver/parallel-ticket-4.wvr.yml false(unreach-call) 14.42 8.20 None weaver/parallel-ticket-5.wvr.yml false(unreach-call) 11.03 7.14 None weaver/parallel-ticket-6.wvr.yml false(unreach-call) 15.27 8.26 None weaver/parallel-ticket-7.wvr.yml false(unreach-call) 27.50 15.81 None weaver/parallel-ticket-8.wvr.yml false(unreach-call) 30.77 16.54 None weaver/popl20-bad-buffer-mult-alt.wvr.yml false(unreach-call) 377.84 230.10 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml OUT OF MEMORY 525.44 320.06 None weaver/popl20-bad-commit-1.wvr-bad.yml true 376.62 344.95 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 452.99 325.85 None weaver/popl20-bad-counter-queue.wvr.yml false(unreach-call) 15.96 9.19 None weaver/popl20-bad-counter-queue2.wvr.yml true 43.60 39.66 None weaver/popl20-bad-dot-product-alt.wvr.yml TIMEOUT 910.20 464.84 None weaver/popl20-bad-dot-product.wvr.yml OUT OF MEMORY 491.59 262.60 None weaver/popl20-bad-ring-nondet.wvr.yml true 351.95 316.40 None weaver/popl20-bad-ring.wvr.yml true 233.77 212.26 None weaver/popl20-bad-threaded-sum-2.wvr.yml true 8.75 6.21 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 700.37 371.42 None weaver/popl20-channel-sum.wvr.yml false(unreach-call) 39.45 22.33 None weaver/popl20-commit-1.wvr.yml true 292.14 264.92 None weaver/popl20-commit-2.wvr.yml true 676.12 645.41 None weaver/popl20-counter-determinism.wvr.yml true 60.20 36.79 None weaver/popl20-counter-fun.wvr.yml true 24.09 14.38 None weaver/popl20-difference-det.wvr.yml true 25.05 16.49 None weaver/popl20-figure1-alt.wvr.yml true 7.51 5.09 None weaver/popl20-figure1.wvr.yml true 7.88 5.41 None weaver/popl20-figure3.wvr.yml false(unreach-call) 11.32 6.75 None weaver/popl20-horseshoe.wvr.yml true 237.60 217.85 None weaver/popl20-min-max-dec.wvr.yml false(unreach-call) 30.95 19.23 None weaver/popl20-min-max-inc-dec.wvr.yml false(unreach-call) 44.88 30.80 None weaver/popl20-min-max-inc.wvr.yml false(unreach-call) 39.98 22.90 None weaver/popl20-more-array-sum-alt.wvr.yml false(unreach-call) 104.19 65.74 None weaver/popl20-more-array-sum-alt2.wvr.yml true 121.79 105.80 None weaver/popl20-more-array-sum.wvr.yml OUT OF MEMORY 608.15 320.66 None weaver/popl20-more-array-sum2.wvr.yml true 118.41 106.50 None weaver/popl20-more-buffer-mult.wvr.yml OUT OF MEMORY 561.97 352.93 None weaver/popl20-more-buffer-mult2.wvr.yml OUT OF MEMORY 624.69 382.14 None weaver/popl20-more-buffer-series.wvr.yml OUT OF MEMORY 522.49 337.66 None weaver/popl20-more-buffer-series2.wvr.yml OUT OF MEMORY 481.80 312.74 None weaver/popl20-more-dec-subseq.wvr.yml true 120.01 97.84 None weaver/popl20-more-inc-subseq.wvr.yml true 107.59 96.06 None weaver/popl20-more-max-array-hom.wvr.yml true 79.26 69.45 None weaver/popl20-more-max-array.wvr.yml true 82.92 68.38 None weaver/popl20-more-min-array-hom.wvr.yml true 83.41 72.84 None weaver/popl20-more-min-array.wvr.yml true 72.64 60.62 None weaver/popl20-more-min-le-max.wvr.yml true 60.56 50.76 None weaver/popl20-more-mts.wvr.yml true 222.71 136.19 None weaver/popl20-more-multiply-verify.wvr.yml true 214.27 192.05 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml false(unreach-call) 11.01 6.54 None weaver/popl20-more-parray-copy.wvr.yml ERROR: EXCEPTION 146.38 103.55 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 85.48 70.54 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 314.01 260.79 None weaver/popl20-more-sorted.wvr.yml OUT OF MEMORY 338.60 188.51 None weaver/popl20-more-sum-array-hom.wvr.yml true 89.15 54.37 None weaver/popl20-more-vector-add.wvr.yml ERROR: EXCEPTION 185.69 121.47 None weaver/popl20-mult-4.wvr.yml false(unreach-call) 298.19 168.54 None weaver/popl20-mult-equiv.wvr.yml true 10.49 6.84 None weaver/popl20-nonblocking-cntr-alt.wvr.yml true 8.09 5.46 None weaver/popl20-nonblocking-cntr.wvr.yml true 8.04 5.39 None weaver/popl20-prod-cons-eq.wvr.yml OUT OF MEMORY 587.13 404.84 None weaver/popl20-prod-cons.wvr.yml false(unreach-call) 49.71 40.64 None weaver/popl20-prod-cons3.wvr.yml false(unreach-call) 188.73 143.44 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 17.52 11.14 None weaver/popl20-queue-add-2.wvr.yml true 75.96 69.45 None weaver/popl20-queue-add-3.wvr.yml true 232.58 214.99 None weaver/popl20-send-receive-alt.wvr.yml true 75.87 68.78 None weaver/popl20-send-receive.wvr.yml false(unreach-call) 158.55 132.86 None weaver/popl20-simple-array-sum.wvr.yml false(unreach-call) 14.49 8.72 None weaver/popl20-simple-queue.wvr.yml true 51.47 46.92 None weaver/popl20-threaded-sum-3.wvr.yml true 22.12 13.89 None weaver/popl20-three-array-max.wvr.yml OUT OF MEMORY 89.03 68.37 None weaver/popl20-three-array-min.wvr.yml OUT OF MEMORY 312.05 244.76 None weaver/popl20-three-array-sum.wvr.yml true 168.54 137.03 None weaver/popl20-two-queue.wvr.yml true 109.94 99.84 None weaver/security.wvr.yml true 11.80 7.24 None weaver/spaghetti.wvr.yml false(unreach-call) 10.86 6.45 None weaver/test-context1.wvr.yml true 54.99 46.97 None weaver/test-easy1.wvr.yml true 8.26 5.31 None weaver/test-easy10.wvr.yml false(unreach-call) 13.65 8.25 None weaver/test-easy11.wvr.yml false(unreach-call) 8.19 4.84 None weaver/test-easy6.wvr.yml false(unreach-call) 12.96 7.59 None weaver/test-easy7.wvr.yml true 10.30 6.13 None weaver/test-easy8.wvr.yml true 9.55 6.19 None weaver/test-hard1.wvr.yml true 22.07 14.12 None weaver/test-semi1.wvr.yml true 7.78 5.55 None weaver/unroll-2.wvr.yml true 21.87 12.29 None weaver/unroll-3.wvr.yml true 33.12 17.76 None weaver/unroll-4.wvr.yml true 29.85 17.37 None weaver/unroll-5.wvr.yml true 30.70 18.09 None weaver/unroll-cond-2.wvr.yml true 24.03 13.45 None weaver/unroll-cond-3.wvr.yml true 31.17 17.57 None weaver/unroll-cond-4.wvr.yml true 52.43 29.30 None weaver/unroll-cond-5.wvr.yml true 50.76 30.52 None ldv-races/race-1_1-join.yml true 9.77 5.83 None ldv-races/race-1_2-join.yml true 12.00 7.48 None ldv-races/race-1_2b-join.yml false(unreach-call) 8.89 5.85 None ldv-races/race-1_3-join.yml true 9.50 6.27 None ldv-races/race-1_3b-join.yml false(unreach-call) 9.30 5.71 None ldv-races/race-2_1-container_of.yml true 143.23 116.15 None ldv-races/race-2_2-container_of.yml OUT OF MEMORY 660.07 642.49 None ldv-races/race-2_2b-container_of.yml false(unreach-call) 39.78 28.63 None ldv-races/race-2_3-container_of.yml TIMEOUT 901.21 888.11 None ldv-races/race-2_3b-container_of.yml false(unreach-call) 31.50 21.55 None ldv-races/race-2_4-container_of.yml TIMEOUT 902.52 885.77 None ldv-races/race-2_4b-container_of.yml false(unreach-call) 25.39 19.29 None ldv-races/race-2_5-container_of.yml OUT OF MEMORY 621.64 600.82 None ldv-races/race-2_5b-container_of.yml true 143.40 116.89 None ldv-races/race-3_1-container_of-global.yml true 157.86 134.42 None ldv-races/race-3_2-container_of-global.yml OUT OF MEMORY 689.79 675.43 None ldv-races/race-3_2b-container_of-global.yml false(unreach-call) 33.79 24.16 None pthread/fib_bench-1.yml true 8.04 5.54 None pthread/fib_bench-2.yml true 7.90 5.31 None pthread/fib_bench_longer-1.yml true 7.72 5.26 None pthread/fib_bench_longer-2.yml true 7.87 5.25 None pthread/fib_bench_longest-1.yml true 7.28 5.32 None pthread/fib_bench_longest-2.yml true 7.60 5.09 None pthread/lazy01.yml true 9.21 6.38 None pthread/singleton-b.yml false(unreach-call) 10.75 6.48 None pthread/singleton.yml true 22.97 15.42 None pthread/singleton_with-uninit-problems-b.yml false(unreach-call) 9.72 6.24 None pthread/singleton_with-uninit-problems.yml true 24.69 16.43 None pthread/stateful01-1.yml true 10.03 6.30 None pthread/stateful01-2.yml true 9.82 6.46 None pthread/triangular-1.yml true 7.92 5.53 None pthread/triangular-2.yml true 7.51 5.40 None pthread/triangular-longer-1.yml true 8.05 5.19 None pthread/triangular-longer-2.yml true 8.19 5.58 None pthread/triangular-longest-1.yml true 7.93 5.42 None pthread/triangular-longest-2.yml true 8.31 5.63 None pthread-atomic/dekker-b.yml false(unreach-call) 8.16 4.82 None pthread-atomic/dekker.yml true 12.38 7.86 None pthread-atomic/lamport-b.yml false(unreach-call) 9.32 5.85 None pthread-atomic/lamport.yml true 16.97 9.72 None pthread-atomic/peterson-b.yml false(unreach-call) 9.16 5.41 None pthread-atomic/peterson.yml true 11.20 6.98 None pthread-atomic/read_write_lock-1.yml true 80.07 48.86 None pthread-atomic/read_write_lock-1b.yml false(unreach-call) 16.33 9.69 None pthread-atomic/read_write_lock-2.yml true 47.26 31.06 None pthread-atomic/read_write_lock-2b.yml false(unreach-call) 9.00 5.29 None pthread-atomic/szymanski-b.yml false(unreach-call) 8.28 5.08 None pthread-atomic/szymanski.yml true 16.37 9.64 None pthread-atomic/time_var_mutex.yml true 10.80 7.11 None pthread-ext/01_inc.yml false(unreach-call) 10.54 6.63 None pthread-ext/02_inc_cas.yml ERROR: EXCEPTION 7.46 4.69 None pthread-ext/14_spin2003.yml OUT OF MEMORY 227.41 126.83 None pthread-ext/18_read_write_lock.yml true 8.46 5.46 None pthread-ext/39_rand_lock_p0_vs-b.yml false(unreach-call) 12.38 7.96 None pthread-ext/39_rand_lock_p0_vs.yml OUT OF MEMORY 349.40 189.77 None pthread-ext/40_barrier_vf-b.yml false(unreach-call) 14.45 8.79 None pthread-ext/40_barrier_vf.yml OUT OF MEMORY 328.82 182.06 None pthread-ext/45_monabsex1_vs-b.yml false(unreach-call) 9.24 6.07 None pthread-ext/45_monabsex1_vs.yml OUT OF MEMORY 75.38 50.97 None pthread-ext/46_monabsex2_vs-b.yml false(unreach-call) 10.05 6.86 None pthread-ext/46_monabsex2_vs.yml OUT OF MEMORY 208.55 131.37 None pthread-ext/48_ticket_lock_low_contention_vs-b.yml false(unreach-call) 9.02 5.67 None pthread-ext/48_ticket_lock_low_contention_vs.yml TIMEOUT 901.39 867.87 None pthread-lit/qw2004-2.yml false(unreach-call) 9.33 6.02 None goblint-regression/00-sanity_09-include.yml false(unreach-call) 7.61 4.71 None goblint-regression/02-base_24-malloc_races.yml false(unreach-call) 9.12 5.78 None goblint-regression/02-base_25-malloc_race_cp.yml false(unreach-call) 9.20 5.64 None goblint-regression/02-base_26-malloc_struct.yml false(unreach-call) 8.97 5.80 None goblint-regression/03-practical_07-nonterm.yml false(unreach-call) 7.91 5.09 None goblint-regression/03-practical_08-nonterm1.yml false(unreach-call) 8.59 5.00 None goblint-regression/03-practical_15-exit_problems.yml false(unreach-call) 7.34 5.03 None goblint-regression/04-mutex_01-simple_rc.yml false(unreach-call) 8.65 4.94 None goblint-regression/04-mutex_02-simple_nr.yml true 7.85 5.88 None goblint-regression/04-mutex_03-munge_rc.yml false(unreach-call) 8.06 5.04 None goblint-regression/04-mutex_04-munge_nr.yml true 8.67 5.92 None goblint-regression/04-mutex_05-lockfuns.yml true 7.95 4.98 None goblint-regression/04-mutex_06-ps_rc.yml false(unreach-call) 7.66 5.01 None goblint-regression/04-mutex_07-ps_nr.yml true 8.28 5.42 None goblint-regression/04-mutex_09-ptrmunge_rc.yml false(unreach-call) 8.04 5.12 None goblint-regression/04-mutex_10-ptrmunge_nr.yml true 21.69 12.29 None goblint-regression/04-mutex_11-ptr_rc.yml false(unreach-call) 7.81 5.09 None goblint-regression/04-mutex_12-ptr_nr.yml true 9.88 6.17 None goblint-regression/04-mutex_14-funarg_rc.yml false(unreach-call) 7.54 5.00 None goblint-regression/04-mutex_15-funarg_nr.yml true 7.49 4.79 None goblint-regression/04-mutex_16-ps_add1_rc.yml false(unreach-call) 7.83 4.78 None goblint-regression/04-mutex_17-ps_add1_nr.yml true 8.98 6.13 None goblint-regression/04-mutex_18-glob_guards.yml true 7.12 4.35 None goblint-regression/04-mutex_19-call_by_ptr_rc.yml false(unreach-call) 7.52 4.84 None goblint-regression/04-mutex_20-stdfun_rc.yml unknown 5.41 3.08 None goblint-regression/04-mutex_21-sound_base.yml ERROR: EXCEPTION 7.14 4.78 None goblint-regression/04-mutex_22-deref_read.yml true 8.67 5.55 None goblint-regression/04-mutex_23-sound_unlock.yml unknown 5.29 3.38 None goblint-regression/04-mutex_24-sound_lock.yml false(unreach-call) 8.13 5.33 None goblint-regression/04-mutex_25-single_acc.yml false(unreach-call) 7.36 4.41 None goblint-regression/04-mutex_27-base_rc.yml ERROR: EXCEPTION 8.53 5.39 None goblint-regression/04-mutex_28-base_nr.yml true 8.40 5.57 None goblint-regression/04-mutex_35-trylock_rc.yml unknown 6.36 4.04 None goblint-regression/04-mutex_36-trylock_nr.yml unknown 6.27 4.00 None goblint-regression/04-mutex_37-indirect_rc.yml false(unreach-call) 7.75 5.06 None goblint-regression/04-mutex_38-indexing_malloc.yml false(unreach-call) 7.90 5.54 None goblint-regression/04-mutex_41-pt_rwlock.yml unknown 5.55 3.18 None goblint-regression/04-mutex_42-trylock_2mutex.yml unknown 5.23 2.96 None goblint-regression/04-mutex_43-thread_create_nr.yml true 7.93 5.08 None goblint-regression/04-mutex_44-malloc_sound.yml false(unreach-call) 14.40 10.29 None goblint-regression/04-mutex_45-escape_rc.yml false(unreach-call) 8.27 5.35 None goblint-regression/04-mutex_46-escape_nr.yml true 9.94 6.21 None goblint-regression/04-mutex_47-fun_write.yml false(unreach-call) 7.44 4.60 None goblint-regression/04-mutex_50-funptr_rc.yml false(unreach-call) 7.33 4.49 None goblint-regression/04-mutex_51-mutex_ptr.yml true 10.56 7.24 None goblint-regression/04-mutex_54-pt_rwlock_ww.yml unknown 5.82 3.34 None goblint-regression/04-mutex_55-pt_rwlock_rr.yml unknown 5.65 3.52 None goblint-regression/05-lval_ls_01-idx_rc.yml false(unreach-call) 15.94 11.36 None goblint-regression/05-lval_ls_02-idx_nr.yml true 10.15 7.01 None goblint-regression/05-lval_ls_03-fld_rc.yml false(unreach-call) 7.05 4.49 None goblint-regression/05-lval_ls_04-fld_nr.yml true 8.03 5.73 None goblint-regression/05-lval_ls_05-glob_idx_rc.yml ERROR: EXCEPTION 5.42 3.84 None goblint-regression/05-lval_ls_07-glob_fld_rc.yml false(unreach-call) 7.72 4.80 None goblint-regression/05-lval_ls_08-glob_fld_2_rc.yml false(unreach-call) 10.49 6.57 None goblint-regression/05-lval_ls_09-idxsense_rc.yml ERROR: EXCEPTION 5.65 3.92 None goblint-regression/05-lval_ls_11-fldsense_rc.yml false(unreach-call) 8.21 5.40 None goblint-regression/05-lval_ls_12-fldsense_nr.yml true 9.99 6.05 None goblint-regression/05-lval_ls_13-idxunknown_lock.yml ERROR: EXCEPTION 5.41 3.13 None goblint-regression/05-lval_ls_14-idxunknown_access.yml ERROR: EXCEPTION 6.02 4.34 None goblint-regression/05-lval_ls_15-fldunknown_access.yml false(unreach-call) 8.08 4.91 None goblint-regression/05-lval_ls_16-idxunknown_unlock.yml unknown 5.84 3.82 None goblint-regression/06-symbeq_02-funloop_norace.yml TIMEOUT 902.08 886.48 None goblint-regression/06-symbeq_03-funloop_simple.yml ERROR: EXCEPTION 5.56 4.31 None goblint-regression/06-symbeq_04-funloop_hard1.yml ERROR: EXCEPTION 5.93 3.38 None goblint-regression/06-symbeq_05-funloop_hard2.yml ERROR: EXCEPTION 5.51 3.66 None goblint-regression/06-symbeq_06-tricky_address1.yml ERROR: EXCEPTION 5.73 3.54 None goblint-regression/06-symbeq_07-tricky_address2.yml ERROR: EXCEPTION 5.80 3.63 None goblint-regression/06-symbeq_08-tricky_address3.yml ERROR: EXCEPTION 6.20 4.05 None goblint-regression/06-symbeq_09-tricky_address4.yml ERROR: EXCEPTION 6.13 4.23 None goblint-regression/06-symbeq_10-equ_rc.yml false(unreach-call) 9.86 6.35 None goblint-regression/06-symbeq_11-equ_nr.yml true 12.54 7.49 None goblint-regression/06-symbeq_13-equ_proc_nr.yml true 15.55 9.84 None goblint-regression/06-symbeq_14-list_entry_rc.yml unknown 6.06 3.75 None goblint-regression/06-symbeq_15-list_entry_nr.yml true 12.53 7.95 None goblint-regression/06-symbeq_23-idxsense_nr.yml ERROR: EXCEPTION 5.49 3.65 None goblint-regression/09-regions_01-list_rc.yml false(unreach-call) 31.65 18.09 None goblint-regression/09-regions_02-list_nr.yml true 25.85 14.95 None goblint-regression/09-regions_03-list2_rc.yml false(unreach-call) 13.73 7.99 None goblint-regression/09-regions_04-list2_nr.yml true 59.46 40.50 None goblint-regression/09-regions_05-ptra_rc.yml false(unreach-call) 12.13 7.39 None goblint-regression/09-regions_06-ptra_nr.yml true 15.39 9.33 None goblint-regression/09-regions_09-arraylist.yml ERROR: EXCEPTION 5.88 3.64 None goblint-regression/09-regions_10-arraylist_rc.yml ERROR: EXCEPTION 6.05 3.43 None goblint-regression/09-regions_11-arraylist_nr.yml ERROR: EXCEPTION 5.48 3.16 None goblint-regression/09-regions_12-arraycollapse_rc.yml ERROR: EXCEPTION 5.62 3.43 None goblint-regression/09-regions_13-arraycollapse_nr.yml ERROR: EXCEPTION 5.94 3.28 None goblint-regression/09-regions_16-arrayloop_rc.yml ERROR: EXCEPTION 5.68 3.25 None goblint-regression/09-regions_17-arrayloop_nr.yml ERROR: EXCEPTION 5.48 3.59 None goblint-regression/09-regions_18-nested_rc.yml ERROR: EXCEPTION 5.75 3.23 None goblint-regression/09-regions_19-nested_nr.yml ERROR: EXCEPTION 6.01 3.49 None goblint-regression/09-regions_20-arrayloop2_rc.yml ERROR: EXCEPTION 5.37 3.40 None goblint-regression/09-regions_21-arrayloop2_nr.yml ERROR: EXCEPTION 6.13 4.03 None goblint-regression/09-regions_22-nocollapse.yml ERROR: EXCEPTION 5.33 3.10 None goblint-regression/09-regions_23-evilcollapse_rc.yml ERROR: EXCEPTION 5.55 3.17 None goblint-regression/09-regions_24-evilcollapse_nr.yml ERROR: EXCEPTION 5.41 3.11 None goblint-regression/09-regions_26-alloc_region_rc.yml false(unreach-call) 652.08 607.96 None goblint-regression/09-regions_28-list2alloc.yml false(unreach-call) 31.55 24.01 None goblint-regression/10-synch_01-thread_unique.yml true 7.24 4.76 None goblint-regression/10-synch_02-thread_nonunique.yml ERROR: EXCEPTION 5.56 3.47 None goblint-regression/10-synch_03-two_unique.yml true 7.68 5.25 None goblint-regression/13-privatized_03-priv_inv.yml true 8.47 5.58 None ----------------------------------------------------------------------------------------------------------------------- Run set 3 done 42862.94 2669.12 - Statistics: 1014 Files correct: 607 correct true: 463 correct false: 144 incorrect: 92 incorrect true: 1 incorrect false: 91 unknown: 315 Score: -418 (max: 1797)