BENCHMARK INFORMATION benchmark definition: ../benchexec/termination-concurrency.xml name: termination-concurrency run sets: BuchiAutomizer (no LBE).SVCOMP ConcurrencySafety-Main, BuchiAutomizer (semantic LBE).SVCOMP ConcurrencySafety-Main, BuchiAutomizer (syntactic LBE).SVCOMP ConcurrencySafety-Main date: Tue, 2022-07-26 13:22:03 CEST tool: ULTIMATE Automizer 0.2.2-0d686a68 tool executable: ./Ultimate.py options: --force-no-wrapper -tc ../../../trunk/examples/toolchains/BuchiAutomizerCInline.xml parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 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 ------------------------------------------------------------ BuchiAutomizer (no LBE).SVCOMP ConcurrencySafety-Main Run set 1 of 3 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/BuchiAutomizerCInline.xml -s ../../../trunk/examples/settings/buchiAutomizer/concurrent-automaton-noLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- pthread-atomic/dekker-b.yml false(termination) 9.87 6.08 None pthread-atomic/dekker.yml false(termination) 14.27 7.92 None pthread-atomic/gcd-2.yml false(termination) 12.97 6.98 None pthread-atomic/lamport-b.yml false(termination) 15.16 8.12 None pthread-atomic/lamport.yml false(termination) 20.39 10.85 None pthread-atomic/peterson-b.yml false(termination) 12.19 6.93 None pthread-atomic/peterson.yml false(termination) 13.11 7.39 None pthread-atomic/qrcu-1.yml false(termination) 19.73 12.98 None pthread-atomic/qrcu-2.yml false(termination) 21.62 11.95 None pthread-atomic/read_write_lock-1.yml true 10.98 6.71 None pthread-atomic/read_write_lock-1b.yml true 11.31 6.81 None pthread-atomic/read_write_lock-2.yml true 12.91 7.59 None pthread-atomic/read_write_lock-2b.yml true 12.62 7.44 None pthread-atomic/scull.yml OUT OF MEMORY 129.47 72.61 None pthread-atomic/szymanski-b.yml false(termination) 10.80 6.80 None pthread-atomic/szymanski.yml false(termination) 12.01 6.72 None pthread-atomic/time_var_mutex.yml true 7.07 4.64 None pthread-lit/fk2012.yml false(termination) 14.94 8.10 None pthread-lit/fkp2013-1.yml OUT OF MEMORY 160.29 95.04 None pthread-lit/fkp2013-2.yml OUT OF MEMORY 158.13 93.80 None pthread-lit/fkp2013_variant-1.yml OUT OF MEMORY 131.29 82.54 None pthread-lit/fkp2013_variant-2.yml OUT OF MEMORY 128.85 83.62 None pthread-lit/fkp2014.yml OUT OF MEMORY 218.87 121.88 None pthread-lit/qw2004-1.yml true 9.27 5.09 None pthread-lit/qw2004-2.yml true 9.10 5.07 None pthread-lit/qw2004-2b.yml true 7.14 5.10 None pthread-lit/qw2004_variant.yml OUT OF MEMORY 214.24 119.65 None pthread-lit/sssc12.yml OUT OF MEMORY 213.91 128.89 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 174.92 104.99 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 87.31 59.19 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 68.26 50.11 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 44.29 23.91 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 271.57 163.46 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml OUT OF MEMORY 222.99 140.99 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 21.86 11.61 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml ERROR: EXCEPTION 19.87 10.77 None pthread-complex/bounded_buffer.yml OUT OF MEMORY 246.09 132.26 None pthread-complex/elimination_backoff_stack.yml OUT OF MEMORY 103.07 62.79 None pthread-complex/safestack_relacy.yml TIMEOUT 300.29 275.15 None pthread-complex/workstealqueue_mutex-1.yml TIMEOUT 301.06 237.39 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 301.25 255.26 None pthread-C-DAC/pthread-demo-datarace-1.yml true 20.41 13.86 None pthread-C-DAC/pthread-demo-datarace-2.yml true 23.27 14.00 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 8.21 4.80 None pthread-C-DAC/pthread-numerical-integration.yml unknown 5.73 3.57 None pthread-divine/barrier_2t.yml TIMEOUT 300.55 274.93 None pthread-divine/barrier_3t.yml TIMEOUT 301.46 285.07 None pthread-divine/condvar.yml false(termination) 12.59 7.12 None pthread-divine/condvar_spurious_wakeup.yml true 13.49 8.91 None pthread-divine/divinefifo-bug_1w1r.yml false(termination) 111.32 83.56 None pthread-divine/divinefifo_1w1r.yml false(termination) 47.79 34.30 None pthread-divine/one_time_barrier_2t.yml TIMEOUT 300.54 276.57 None pthread-divine/one_time_barrier_3t.yml TIMEOUT 300.89 274.94 None pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 301.06 275.98 None pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT 301.60 284.19 None pthread-divine/ring_1w1r-1.yml false(termination) 31.90 21.88 None pthread-divine/ring_1w1r-2.yml false(termination) 15.06 8.66 None pthread-divine/ring_2w1r-1.yml false(termination) 121.87 74.94 None pthread-divine/ring_2w1r-2.yml false(termination) 143.42 84.87 None pthread-divine/tls_basic.yml unknown 5.65 3.62 None pthread-divine/tls_destructor_worker.yml unknown 6.07 4.19 None pthread-nondet/nondet-array-1.yml OUT OF MEMORY 220.81 135.09 None pthread-nondet/nondet-array-2.yml OUT OF MEMORY 262.13 153.61 None pthread-nondet/nondet-loop-bound-1.yml OUT OF MEMORY 214.14 136.29 None pthread-nondet/nondet-loop-bound-2.yml OUT OF MEMORY 81.52 55.52 None pthread-nondet/nondet-loop-bound-variant-1.yml OUT OF MEMORY 151.37 86.58 None pthread-nondet/nondet-loop-bound-variant-2.yml OUT OF MEMORY 122.70 72.11 None weaver/array-eq-symm.wvr.yml ERROR: EXCEPTION 50.33 28.80 None weaver/array-eq-trans.wvr.yml ERROR: EXCEPTION 89.38 61.73 None weaver/bench-exp1x3.wvr.yml unknown 40.60 29.25 None weaver/bench-exp2x3.wvr.yml unknown 55.05 40.92 None weaver/bench-exp2x4.wvr.yml unknown 49.07 38.87 None weaver/bench-exp2x6.wvr.yml unknown 58.02 42.77 None weaver/bench-exp2x9.wvr.yml unknown 59.61 45.51 None weaver/bench-exp3x3-opt.wvr.yml false(termination) 37.96 23.47 None weaver/bench-exp3x3.wvr.yml unknown 93.05 70.00 None weaver/chl-array-int-subst.wvr.yml OUT OF MEMORY 131.71 75.86 None weaver/chl-array-int-symm.wvr.yml true 49.48 29.60 None weaver/chl-array-int-trans.wvr.yml OUT OF MEMORY 189.98 106.02 None weaver/chl-chromosome-opt-symm.wvr.yml true 94.79 70.62 None weaver/chl-chromosome-subst.wvr.yml OUT OF MEMORY 152.89 86.87 None weaver/chl-chromosome-symm.wvr.yml ERROR: EXCEPTION 60.47 45.05 None weaver/chl-chromosome-trans.wvr.yml OUT OF MEMORY 187.00 103.66 None weaver/chl-collitem-subst.wvr.yml true 7.46 4.34 None weaver/chl-collitem-symm.wvr.yml true 7.45 4.57 None weaver/chl-collitem-trans.wvr.yml true 7.88 4.90 None weaver/chl-exp-term-subst.wvr.yml true 32.18 20.16 None weaver/chl-exp-term-symm.wvr.yml true 7.20 4.79 None weaver/chl-file-item-subst.wvr.yml true 60.33 37.60 None weaver/chl-file-item-symm.wvr.yml true 10.02 5.57 None weaver/chl-file-item-trans.wvr.yml true 77.08 45.90 None weaver/chl-match-subst.wvr.yml OUT OF MEMORY 203.08 109.29 None weaver/chl-match-symm.wvr.yml true 8.95 5.62 None weaver/chl-match-trans.wvr.yml OUT OF MEMORY 214.35 115.23 None weaver/chl-name-comparator-subst.wvr.yml OUT OF MEMORY 128.64 76.34 None weaver/chl-name-comparator-symm.wvr.yml true 100.95 69.65 None weaver/chl-name-comparator-trans.wvr.yml OUT OF MEMORY 134.93 78.22 None weaver/chl-node-subst.wvr.yml OUT OF MEMORY 169.53 101.55 None weaver/chl-node-symm.wvr.yml true 55.23 35.02 None weaver/chl-node-trans.wvr.yml OUT OF MEMORY 162.90 92.90 None weaver/chl-nzb-file-subst.wvr.yml OUT OF MEMORY 130.50 73.12 None weaver/chl-nzb-file-symm.wvr.yml TIMEOUT 301.10 199.69 None weaver/chl-nzb-file-trans.wvr.yml OUT OF MEMORY 192.32 103.88 None weaver/chl-simpl-str-subst.wvr.yml true 30.35 19.69 None weaver/chl-simpl-str-symm.wvr.yml true 10.38 6.04 None weaver/chl-simpl-str-trans.wvr.yml true 39.67 23.60 None weaver/chl-sre-subst.wvr.yml true 10.18 6.00 None weaver/chl-sre-symm.wvr.yml true 7.03 4.40 None weaver/chl-sre-trans.wvr.yml true 8.32 5.19 None weaver/chl-time-subst.wvr.yml true 7.23 4.31 None weaver/chl-time-symm.wvr.yml true 7.14 5.23 None weaver/chl-time-trans.wvr.yml true 9.99 5.92 None weaver/chl-word-subst.wvr.yml TIMEOUT 302.60 172.62 None weaver/chl-word-symm.wvr.yml true 36.05 25.08 None weaver/chl-word-trans.wvr.yml TIMEOUT 301.40 185.81 None weaver/clever.wvr.yml true 15.50 10.34 None weaver/fibonacci.wvr.yml true 32.16 17.27 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 303.37 260.45 None weaver/mult-comm.wvr.yml unknown 44.54 38.94 None weaver/mult-dist.wvr.yml unknown 54.58 47.68 None weaver/mult-flipped-dist.wvr.yml unknown 53.92 41.39 None weaver/parallel-bakery-2.wvr.yml true 8.69 4.86 None weaver/parallel-bakery-3.wvr.yml true 8.95 6.14 None weaver/parallel-bakery-4.wvr.yml true 52.93 33.41 None weaver/parallel-barrier-loop.wvr.yml OUT OF MEMORY 153.22 90.00 None weaver/parallel-barrier.wvr.yml true 141.16 84.83 None weaver/parallel-bluetooth.wvr.yml true 7.11 4.44 None weaver/parallel-lamport.wvr.yml true 17.06 11.09 None weaver/parallel-min-max-1.wvr.yml true 33.13 23.28 None weaver/parallel-misc-1.wvr.yml true 64.70 39.07 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 11.29 7.23 None weaver/parallel-misc-2-unrolled.wvr.yml unknown 49.78 41.57 None weaver/parallel-misc-2.wvr.yml unknown 97.07 87.87 None weaver/parallel-misc-3-extended.wvr.yml false(termination) 59.26 46.74 None weaver/parallel-misc-3.wvr.yml false(termination) 37.74 28.61 None weaver/parallel-misc-4.wvr.yml false(termination) 24.40 16.97 None weaver/parallel-misc-5.wvr.yml unknown 56.51 42.17 None weaver/parallel-parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 168.29 97.88 None weaver/parallel-parallel-sum-1.wvr.yml true 109.73 72.27 None weaver/parallel-parallel-sum-2.wvr.yml OUT OF MEMORY 101.04 67.58 None weaver/parallel-parallel-sum-equiv.wvr.yml true 65.92 42.15 None weaver/parallel-simple-equiv.wvr.yml true 6.95 4.58 None weaver/parallel-ticket-2.wvr.yml true 6.55 4.52 None weaver/parallel-ticket-3.wvr.yml true 7.39 4.37 None weaver/parallel-ticket-4.wvr.yml true 9.17 5.69 None weaver/parallel-ticket-5.wvr.yml true 21.34 12.91 None weaver/parallel-ticket-6.wvr.yml true 131.71 84.77 None weaver/parallel-ticket-7.wvr.yml OUT OF MEMORY 100.41 66.76 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 137.92 83.42 None weaver/popl20-bad-buffer-mult-alt.wvr.yml TIMEOUT 306.24 187.60 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml TIMEOUT 301.97 190.46 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 301.41 206.22 None weaver/popl20-bad-commit-2.wvr-bad.yml OUT OF MEMORY 264.59 164.29 None weaver/popl20-bad-counter-queue.wvr.yml true 24.54 17.14 None weaver/popl20-bad-counter-queue2.wvr.yml true 25.79 16.30 None weaver/popl20-bad-dot-product-alt.wvr.yml OUT OF MEMORY 250.15 136.39 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 315.24 186.07 None weaver/popl20-bad-ring-nondet.wvr.yml false(termination) 57.13 40.20 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 301.04 259.40 None weaver/popl20-bad-threaded-sum-2.wvr.yml false(termination) 39.47 26.48 None weaver/popl20-bad-three-array-sum-alt.wvr.yml OUT OF MEMORY 154.28 92.98 None weaver/popl20-channel-sum.wvr.yml true 32.24 20.88 None weaver/popl20-commit-1.wvr.yml true 77.94 55.10 None weaver/popl20-commit-2.wvr.yml TIMEOUT 304.33 197.01 None weaver/popl20-counter-determinism.wvr.yml OUT OF MEMORY 273.74 154.56 None weaver/popl20-counter-fun.wvr.yml true 29.12 20.69 None weaver/popl20-difference-det.wvr.yml OUT OF MEMORY 164.44 96.33 None weaver/popl20-figure1-alt.wvr.yml true 10.92 6.91 None weaver/popl20-figure1.wvr.yml true 10.40 7.12 None weaver/popl20-figure3.wvr.yml unknown 44.29 37.04 None weaver/popl20-horseshoe.wvr.yml TIMEOUT 301.43 263.41 None weaver/popl20-min-max-dec.wvr.yml true 104.88 63.30 None weaver/popl20-min-max-inc-dec.wvr.yml OUT OF MEMORY 95.82 60.38 None weaver/popl20-min-max-inc.wvr.yml true 83.94 57.86 None weaver/popl20-more-array-sum-alt.wvr.yml true 55.27 33.63 None weaver/popl20-more-array-sum-alt2.wvr.yml true 42.52 28.15 None weaver/popl20-more-array-sum.wvr.yml ERROR: EXCEPTION 53.26 32.06 None weaver/popl20-more-array-sum2.wvr.yml true 67.64 50.12 None weaver/popl20-more-buffer-mult.wvr.yml TIMEOUT 305.73 268.92 None weaver/popl20-more-buffer-mult2.wvr.yml TIMEOUT 301.97 185.99 None weaver/popl20-more-buffer-series.wvr.yml TIMEOUT 301.40 206.06 None weaver/popl20-more-buffer-series2.wvr.yml TIMEOUT 301.74 203.13 None weaver/popl20-more-dec-subseq.wvr.yml true 61.48 38.92 None weaver/popl20-more-inc-subseq.wvr.yml true 47.01 34.30 None weaver/popl20-more-max-array-hom.wvr.yml true 56.46 34.73 None weaver/popl20-more-max-array.wvr.yml true 42.52 26.76 None weaver/popl20-more-min-array-hom.wvr.yml true 57.13 34.28 None weaver/popl20-more-min-array.wvr.yml true 54.77 32.35 None weaver/popl20-more-min-le-max.wvr.yml true 24.88 16.10 None weaver/popl20-more-mts.wvr.yml true 183.35 114.48 None weaver/popl20-more-multiply-verify.wvr.yml unknown 70.84 60.29 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml unknown 47.63 34.69 None weaver/popl20-more-parray-copy.wvr.yml true 83.60 52.95 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 33.63 23.22 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 241.92 172.93 None weaver/popl20-more-sorted.wvr.yml true 100.41 59.12 None weaver/popl20-more-sum-array-hom.wvr.yml true 51.77 31.67 None weaver/popl20-more-vector-add.wvr.yml ERROR: EXCEPTION 184.47 140.51 None weaver/popl20-mult-4.wvr.yml unknown 68.67 51.63 None weaver/popl20-mult-equiv.wvr.yml unknown 63.29 46.04 None weaver/popl20-nonblocking-cntr-alt.wvr.yml false(termination) 12.43 7.14 None weaver/popl20-nonblocking-cntr.wvr.yml false(termination) 13.30 7.37 None weaver/popl20-prod-cons-eq.wvr.yml TIMEOUT 302.48 235.88 None weaver/popl20-prod-cons.wvr.yml true 30.19 19.77 None weaver/popl20-prod-cons3.wvr.yml TIMEOUT 321.04 189.63 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 34.30 19.02 None weaver/popl20-queue-add-2.wvr.yml true 36.85 22.73 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 300.82 213.28 None weaver/popl20-send-receive-alt.wvr.yml true 60.12 40.16 None weaver/popl20-send-receive.wvr.yml true 117.80 76.43 None weaver/popl20-simple-array-sum.wvr.yml false(termination) 54.90 36.08 None weaver/popl20-simple-queue.wvr.yml true 32.80 21.55 None weaver/popl20-threaded-sum-3.wvr.yml false(termination) 45.13 33.59 None weaver/popl20-three-array-max.wvr.yml TIMEOUT 311.21 203.81 None weaver/popl20-three-array-min.wvr.yml TIMEOUT 301.46 214.76 None weaver/popl20-three-array-sum.wvr.yml false(termination) 157.68 101.43 None weaver/popl20-two-queue.wvr.yml true 58.84 41.65 None weaver/security.wvr.yml true 6.57 3.96 None weaver/spaghetti.wvr.yml false(termination) 15.22 8.75 None weaver/test-context1.wvr.yml true 68.85 53.23 None weaver/test-easy1.wvr.yml true 9.87 6.45 None weaver/test-easy10.wvr.yml true 10.87 6.26 None weaver/test-easy11.wvr.yml true 10.73 7.19 None weaver/test-easy6.wvr.yml true 6.59 4.25 None weaver/test-easy7.wvr.yml true 6.66 4.25 None weaver/test-hard1.wvr.yml unknown 79.26 59.32 None weaver/test-semi1.wvr.yml true 6.55 3.91 None weaver/unroll-2.wvr.yml unknown 50.14 38.02 None weaver/unroll-3.wvr.yml unknown 55.61 45.21 None weaver/unroll-4.wvr.yml unknown 52.54 39.05 None weaver/unroll-5.wvr.yml unknown 63.00 45.25 None weaver/unroll-cond-2.wvr.yml unknown 51.53 39.23 None weaver/unroll-cond-3.wvr.yml unknown 58.66 42.44 None weaver/unroll-cond-4.wvr.yml unknown 50.77 38.63 None weaver/unroll-cond-5.wvr.yml unknown 55.58 44.05 None pthread-deagle/airline-10.yml OUT OF MEMORY 169.97 111.10 None pthread-deagle/airline-15.yml OUT OF MEMORY 176.09 111.17 None pthread-deagle/airline-20.yml OUT OF MEMORY 179.78 116.62 None pthread-deagle/airline-25.yml OUT OF MEMORY 205.90 125.82 None pthread-deagle/airline-5.yml OUT OF MEMORY 222.44 135.63 None pthread-deagle/arithmetic_prog_bad.yml false(termination) 36.05 21.14 None pthread-deagle/arithmetic_prog_ok.yml false(termination) 33.41 19.15 None pthread-deagle/circular_buffer_bad.yml true 52.44 36.12 None pthread-deagle/circular_buffer_ok.yml true 91.67 77.79 None pthread-deagle/floating_read-10.yml OUT OF MEMORY 164.89 119.32 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 200.88 133.22 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 196.29 128.06 None pthread-deagle/floating_read-25.yml OUT OF MEMORY 190.24 127.83 None pthread-deagle/floating_read-5.yml OUT OF MEMORY 93.92 61.68 None pthread-deagle/reorder_c11_bad-10.yml OUT OF MEMORY 180.01 107.03 None pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 107.62 70.33 None pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 107.58 69.87 None pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 132.80 83.27 None pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 184.91 109.86 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 106.89 71.24 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 164.55 99.28 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 109.56 74.01 None pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 127.80 81.20 None pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 129.55 81.10 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 26574.38 1323.46 - BuchiAutomizer (semantic LBE).SVCOMP ConcurrencySafety-Main Run set 2 of 3 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/BuchiAutomizerCInline.xml -s ../../../trunk/examples/settings/buchiAutomizer/concurrent-automaton-semanticLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- pthread-atomic/dekker-b.yml false(termination) 12.72 7.91 None pthread-atomic/dekker.yml false(termination) 17.48 9.87 None pthread-atomic/gcd-2.yml false(termination) 32.04 23.65 None pthread-atomic/lamport-b.yml false(termination) 16.76 9.35 None pthread-atomic/lamport.yml false(termination) 19.66 10.61 None pthread-atomic/peterson-b.yml false(termination) 14.90 8.51 None pthread-atomic/peterson.yml false(termination) 16.23 9.18 None pthread-atomic/qrcu-1.yml false(termination) 16.87 11.30 None pthread-atomic/qrcu-2.yml false(termination) 20.26 11.26 None pthread-atomic/read_write_lock-1.yml true 11.51 6.81 None pthread-atomic/read_write_lock-1b.yml true 11.40 7.72 None pthread-atomic/read_write_lock-2.yml true 11.06 7.08 None pthread-atomic/read_write_lock-2b.yml true 11.86 6.94 None pthread-atomic/scull.yml true 23.01 13.64 None pthread-atomic/szymanski-b.yml false(termination) 12.53 7.07 None pthread-atomic/szymanski.yml false(termination) 14.03 8.41 None pthread-atomic/time_var_mutex.yml true 11.98 7.42 None pthread-lit/fk2012.yml false(termination) 12.85 7.86 None pthread-lit/fkp2013-1.yml OUT OF MEMORY 262.15 206.70 None pthread-lit/fkp2013-2.yml TIMEOUT 301.05 218.67 None pthread-lit/fkp2013_variant-1.yml TIMEOUT 301.29 217.48 None pthread-lit/fkp2013_variant-2.yml OUT OF MEMORY 284.52 204.29 None pthread-lit/fkp2014.yml OUT OF MEMORY 250.05 168.28 None pthread-lit/qw2004-1.yml true 14.48 8.46 None pthread-lit/qw2004-2.yml true 13.43 7.65 None pthread-lit/qw2004-2b.yml true 11.38 7.10 None pthread-lit/qw2004_variant.yml OUT OF MEMORY 194.78 145.84 None pthread-lit/sssc12.yml OUT OF MEMORY 289.02 182.00 None pthread-lit/sssc12_variant.yml OUT OF MEMORY 249.72 161.02 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 67.65 51.04 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 65.69 50.27 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 32.64 18.98 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 219.68 127.45 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT (ERROR: EXCEPTION) 302.28 206.31 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 21.99 11.66 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml ERROR: EXCEPTION 21.36 11.44 None pthread-complex/bounded_buffer.yml ERROR: EXCEPTION 28.47 20.18 None pthread-complex/elimination_backoff_stack.yml ERROR: EXCEPTION 46.45 30.81 None pthread-complex/safestack_relacy.yml TIMEOUT 300.15 286.11 None pthread-complex/workstealqueue_mutex-1.yml ERROR: EXCEPTION 53.91 43.83 None pthread-complex/workstealqueue_mutex-2.yml ERROR: EXCEPTION 54.95 42.63 None pthread-C-DAC/pthread-demo-datarace-1.yml true 29.50 17.46 None pthread-C-DAC/pthread-demo-datarace-2.yml true 26.98 16.62 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 5.58 3.74 None pthread-C-DAC/pthread-numerical-integration.yml unknown 6.14 3.99 None pthread-divine/barrier_2t.yml ERROR: EXCEPTION 29.28 19.81 None pthread-divine/barrier_3t.yml ERROR: EXCEPTION 23.34 16.81 None pthread-divine/condvar.yml false(termination) 13.73 8.68 None pthread-divine/condvar_spurious_wakeup.yml true 14.12 9.34 None pthread-divine/divinefifo-bug_1w1r.yml false(termination) 105.01 86.10 None pthread-divine/divinefifo_1w1r.yml false(termination) 106.84 81.46 None pthread-divine/one_time_barrier_2t.yml ERROR: EXCEPTION 21.54 15.47 None pthread-divine/one_time_barrier_3t.yml ERROR: EXCEPTION 38.21 25.02 None pthread-divine/one_time_barrier_twice_2t.yml ERROR: EXCEPTION 23.88 17.66 None pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT (ERROR: EXCEPTION) 302.36 284.53 None pthread-divine/ring_1w1r-1.yml false(termination) 31.52 21.89 None pthread-divine/ring_1w1r-2.yml false(termination) 31.29 17.72 None pthread-divine/ring_2w1r-1.yml false(termination) 46.91 31.79 None pthread-divine/ring_2w1r-2.yml false(termination) 53.59 31.62 None pthread-divine/tls_basic.yml unknown 5.93 4.06 None pthread-divine/tls_destructor_worker.yml unknown 6.88 4.05 None pthread-nondet/nondet-array-1.yml OUT OF MEMORY 107.67 72.97 None pthread-nondet/nondet-array-2.yml OUT OF MEMORY 116.11 71.28 None pthread-nondet/nondet-loop-bound-1.yml OUT OF MEMORY 211.91 157.79 None pthread-nondet/nondet-loop-bound-2.yml OUT OF MEMORY 233.20 179.81 None pthread-nondet/nondet-loop-bound-variant-1.yml OUT OF MEMORY 163.47 109.40 None pthread-nondet/nondet-loop-bound-variant-2.yml OUT OF MEMORY 173.67 112.77 None weaver/array-eq-symm.wvr.yml true 31.43 22.28 None weaver/array-eq-trans.wvr.yml true 81.21 53.50 None weaver/bench-exp1x3.wvr.yml unknown 37.20 28.14 None weaver/bench-exp2x3.wvr.yml unknown 59.54 44.07 None weaver/bench-exp2x4.wvr.yml unknown 61.36 45.06 None weaver/bench-exp2x6.wvr.yml unknown 58.49 43.45 None weaver/bench-exp2x9.wvr.yml unknown 56.73 47.42 None weaver/bench-exp3x3-opt.wvr.yml false(termination) 18.42 12.06 None weaver/bench-exp3x3.wvr.yml unknown 66.42 53.55 None weaver/chl-array-int-subst.wvr.yml true 74.48 48.17 None weaver/chl-array-int-symm.wvr.yml true 43.71 30.81 None weaver/chl-array-int-trans.wvr.yml true 80.88 52.40 None weaver/chl-chromosome-opt-symm.wvr.yml true 73.28 56.58 None weaver/chl-chromosome-subst.wvr.yml true 279.07 251.89 None weaver/chl-chromosome-symm.wvr.yml true 75.32 56.73 None weaver/chl-chromosome-trans.wvr.yml true 240.95 226.24 None weaver/chl-collitem-subst.wvr.yml true 16.89 11.59 None weaver/chl-collitem-symm.wvr.yml true 13.63 8.70 None weaver/chl-collitem-trans.wvr.yml true 18.23 11.92 None weaver/chl-exp-term-subst.wvr.yml true 18.38 10.99 None weaver/chl-exp-term-symm.wvr.yml true 12.01 8.12 None weaver/chl-file-item-subst.wvr.yml true 22.29 13.68 None weaver/chl-file-item-symm.wvr.yml true 19.06 10.66 None weaver/chl-file-item-trans.wvr.yml true 18.16 11.82 None weaver/chl-match-subst.wvr.yml true 27.83 17.23 None weaver/chl-match-symm.wvr.yml true 20.71 11.66 None weaver/chl-match-trans.wvr.yml true 20.70 14.08 None weaver/chl-name-comparator-subst.wvr.yml true 73.49 48.33 None weaver/chl-name-comparator-symm.wvr.yml true 52.91 33.34 None weaver/chl-name-comparator-trans.wvr.yml true 71.21 45.51 None weaver/chl-node-subst.wvr.yml true 104.46 74.56 None weaver/chl-node-symm.wvr.yml true 51.25 35.45 None weaver/chl-node-trans.wvr.yml true 133.76 95.28 None weaver/chl-nzb-file-subst.wvr.yml true 296.43 275.66 None weaver/chl-nzb-file-symm.wvr.yml true 97.61 70.83 None weaver/chl-nzb-file-trans.wvr.yml true 287.12 265.54 None weaver/chl-simpl-str-subst.wvr.yml true 14.63 8.87 None weaver/chl-simpl-str-symm.wvr.yml true 15.72 9.24 None weaver/chl-simpl-str-trans.wvr.yml true 14.44 9.15 None weaver/chl-sre-subst.wvr.yml true 11.57 7.12 None weaver/chl-sre-symm.wvr.yml true 13.71 7.88 None weaver/chl-sre-trans.wvr.yml true 11.25 6.96 None weaver/chl-time-subst.wvr.yml true 16.95 9.27 None weaver/chl-time-symm.wvr.yml true 15.39 8.79 None weaver/chl-time-trans.wvr.yml true 12.61 7.83 None weaver/chl-word-subst.wvr.yml true 62.27 43.32 None weaver/chl-word-symm.wvr.yml true 56.52 35.75 None weaver/chl-word-trans.wvr.yml true 80.92 53.76 None weaver/clever.wvr.yml true 21.87 12.99 None weaver/fibonacci.wvr.yml true 21.87 13.35 None weaver/loop-tiling-eq.wvr.yml ERROR: EXCEPTION 18.82 15.56 None weaver/mult-comm.wvr.yml unknown 47.87 35.46 None weaver/mult-dist.wvr.yml unknown 49.81 40.52 None weaver/mult-flipped-dist.wvr.yml unknown 52.15 44.81 None weaver/parallel-bakery-2.wvr.yml true 14.00 7.89 None weaver/parallel-bakery-3.wvr.yml true 15.45 8.90 None weaver/parallel-bakery-4.wvr.yml true 28.70 16.93 None weaver/parallel-barrier-loop.wvr.yml unknown 283.80 185.69 None weaver/parallel-barrier.wvr.yml true 19.85 11.03 None weaver/parallel-bluetooth.wvr.yml true 11.78 7.23 None weaver/parallel-lamport.wvr.yml true 18.53 11.60 None weaver/parallel-min-max-1.wvr.yml true 41.65 25.55 None weaver/parallel-misc-1.wvr.yml true 72.13 47.40 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 15.94 9.45 None weaver/parallel-misc-2-unrolled.wvr.yml unknown 54.76 40.06 None weaver/parallel-misc-2.wvr.yml unknown 59.93 43.44 None weaver/parallel-misc-3-extended.wvr.yml unknown 68.71 56.41 None weaver/parallel-misc-3.wvr.yml unknown 57.14 44.87 None weaver/parallel-misc-4.wvr.yml unknown 60.65 46.11 None weaver/parallel-misc-5.wvr.yml unknown 54.67 42.97 None weaver/parallel-parallel-sum-1-dsl.wvr.yml true 64.96 48.51 None weaver/parallel-parallel-sum-1.wvr.yml true 51.00 31.21 None weaver/parallel-parallel-sum-2.wvr.yml true 77.47 49.14 None weaver/parallel-parallel-sum-equiv.wvr.yml true 52.16 32.68 None weaver/parallel-simple-equiv.wvr.yml true 12.63 7.25 None weaver/parallel-ticket-2.wvr.yml true 9.86 6.41 None weaver/parallel-ticket-3.wvr.yml true 10.94 6.69 None weaver/parallel-ticket-4.wvr.yml true 17.02 10.26 None weaver/parallel-ticket-5.wvr.yml true 17.43 10.35 None weaver/parallel-ticket-6.wvr.yml true 21.25 12.75 None weaver/parallel-ticket-7.wvr.yml true 19.49 12.52 None weaver/parallel-ticket-8.wvr.yml true 24.53 17.09 None weaver/popl20-bad-buffer-mult-alt.wvr.yml true 195.71 165.56 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 143.37 108.85 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 301.17 231.50 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 300.49 236.26 None weaver/popl20-bad-counter-queue.wvr.yml true 34.44 20.29 None weaver/popl20-bad-counter-queue2.wvr.yml true 27.09 16.73 None weaver/popl20-bad-dot-product-alt.wvr.yml ERROR: EXCEPTION 40.91 29.41 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 300.97 231.59 None weaver/popl20-bad-ring-nondet.wvr.yml false(termination) 50.38 31.38 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 300.79 251.61 None weaver/popl20-bad-threaded-sum-2.wvr.yml false(termination) 34.04 23.71 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 302.37 243.82 None weaver/popl20-channel-sum.wvr.yml true 42.70 25.84 None weaver/popl20-commit-1.wvr.yml true 85.98 64.67 None weaver/popl20-commit-2.wvr.yml true 178.45 122.47 None weaver/popl20-counter-determinism.wvr.yml true 20.13 12.60 None weaver/popl20-counter-fun.wvr.yml true 44.47 26.75 None weaver/popl20-difference-det.wvr.yml true 23.82 14.56 None weaver/popl20-figure1-alt.wvr.yml true 12.66 8.37 None weaver/popl20-figure1.wvr.yml true 16.44 9.98 None weaver/popl20-figure3.wvr.yml unknown 42.22 33.09 None weaver/popl20-horseshoe.wvr.yml true 80.82 54.06 None weaver/popl20-min-max-dec.wvr.yml true 49.38 31.24 None weaver/popl20-min-max-inc-dec.wvr.yml true 55.62 41.59 None weaver/popl20-min-max-inc.wvr.yml true 40.13 27.21 None weaver/popl20-more-array-sum-alt.wvr.yml true 35.51 25.65 None weaver/popl20-more-array-sum-alt2.wvr.yml true 37.56 27.22 None weaver/popl20-more-array-sum.wvr.yml true 60.78 42.62 None weaver/popl20-more-array-sum2.wvr.yml true 73.21 48.13 None weaver/popl20-more-buffer-mult.wvr.yml true 182.61 140.99 None weaver/popl20-more-buffer-mult2.wvr.yml true 169.63 143.13 None weaver/popl20-more-buffer-series.wvr.yml true 114.15 78.29 None weaver/popl20-more-buffer-series2.wvr.yml true 248.73 221.48 None weaver/popl20-more-dec-subseq.wvr.yml true 40.79 30.21 None weaver/popl20-more-inc-subseq.wvr.yml true 46.22 30.23 None weaver/popl20-more-max-array-hom.wvr.yml true 35.40 25.92 None weaver/popl20-more-max-array.wvr.yml true 53.96 34.51 None weaver/popl20-more-min-array-hom.wvr.yml true 37.47 26.52 None weaver/popl20-more-min-array.wvr.yml true 45.71 28.32 None weaver/popl20-more-min-le-max.wvr.yml true 27.77 18.83 None weaver/popl20-more-mts.wvr.yml true 48.89 32.22 None weaver/popl20-more-multiply-verify.wvr.yml unknown 75.30 56.83 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml unknown 47.21 39.13 None weaver/popl20-more-parray-copy.wvr.yml true 44.83 33.97 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 37.47 22.13 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 177.30 132.71 None weaver/popl20-more-sorted.wvr.yml true 64.31 44.11 None weaver/popl20-more-sum-array-hom.wvr.yml true 43.37 27.35 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 300.45 230.06 None weaver/popl20-mult-4.wvr.yml unknown 64.12 48.90 None weaver/popl20-mult-equiv.wvr.yml unknown 71.63 62.51 None weaver/popl20-nonblocking-cntr-alt.wvr.yml false(termination) 11.99 8.15 None weaver/popl20-nonblocking-cntr.wvr.yml false(termination) 12.05 7.22 None weaver/popl20-prod-cons-eq.wvr.yml false(termination) 228.69 192.36 None weaver/popl20-prod-cons.wvr.yml true 54.08 41.86 None weaver/popl20-prod-cons3.wvr.yml true 265.59 206.49 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 31.18 18.42 None weaver/popl20-queue-add-2.wvr.yml true 28.20 17.35 None weaver/popl20-queue-add-3.wvr.yml true 86.69 56.22 None weaver/popl20-send-receive-alt.wvr.yml true 52.88 33.95 None weaver/popl20-send-receive.wvr.yml true 49.83 33.78 None weaver/popl20-simple-array-sum.wvr.yml false(termination) 59.52 37.60 None weaver/popl20-simple-queue.wvr.yml true 42.66 32.53 None weaver/popl20-threaded-sum-3.wvr.yml false(termination) 53.92 40.16 None weaver/popl20-three-array-max.wvr.yml false(termination) 130.30 99.24 None weaver/popl20-three-array-min.wvr.yml false(termination) 86.84 69.51 None weaver/popl20-three-array-sum.wvr.yml false(termination) 64.68 49.51 None weaver/popl20-two-queue.wvr.yml true 57.05 40.57 None weaver/security.wvr.yml true 12.36 7.17 None weaver/spaghetti.wvr.yml false(termination) 12.23 7.74 None weaver/test-context1.wvr.yml true 41.55 25.27 None weaver/test-easy1.wvr.yml true 15.15 8.91 None weaver/test-easy10.wvr.yml true 12.25 7.49 None weaver/test-easy11.wvr.yml true 15.57 8.85 None weaver/test-easy6.wvr.yml true 10.01 5.90 None weaver/test-easy7.wvr.yml true 11.62 6.59 None weaver/test-hard1.wvr.yml unknown 72.97 62.70 None weaver/test-semi1.wvr.yml true 10.35 6.17 None weaver/unroll-2.wvr.yml unknown 62.85 44.77 None weaver/unroll-3.wvr.yml unknown 63.84 45.25 None weaver/unroll-4.wvr.yml unknown 57.66 42.54 None weaver/unroll-5.wvr.yml unknown 66.48 46.88 None weaver/unroll-cond-2.wvr.yml unknown 53.75 40.73 None weaver/unroll-cond-3.wvr.yml unknown 65.00 46.11 None weaver/unroll-cond-4.wvr.yml unknown 60.84 49.67 None weaver/unroll-cond-5.wvr.yml unknown 73.05 61.31 None pthread-deagle/airline-10.yml OUT OF MEMORY 138.97 104.98 None pthread-deagle/airline-15.yml OUT OF MEMORY 135.36 91.74 None pthread-deagle/airline-20.yml OUT OF MEMORY 180.13 124.94 None pthread-deagle/airline-25.yml OUT OF MEMORY 202.83 139.38 None pthread-deagle/airline-5.yml true 47.62 28.88 None pthread-deagle/arithmetic_prog_bad.yml false(termination) 39.22 23.64 None pthread-deagle/arithmetic_prog_ok.yml false(termination) 30.12 20.09 None pthread-deagle/circular_buffer_bad.yml ERROR: EXCEPTION 15.01 11.55 None pthread-deagle/circular_buffer_ok.yml ERROR: EXCEPTION 17.99 13.19 None pthread-deagle/floating_read-10.yml true 167.08 122.14 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 201.30 160.87 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 165.69 132.98 None pthread-deagle/floating_read-25.yml TIMEOUT 301.45 221.24 None pthread-deagle/floating_read-5.yml true 28.71 16.77 None pthread-deagle/reorder_c11_bad-10.yml TIMEOUT 310.22 203.39 None pthread-deagle/reorder_c11_bad-20.yml OUT OF MEMORY 280.00 191.77 None pthread-deagle/reorder_c11_bad-30.yml TIMEOUT 313.27 204.35 None pthread-deagle/reorder_c11_bad-40.yml OUT OF MEMORY 249.95 167.31 None pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 249.81 167.65 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 162.58 109.54 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 158.99 106.64 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 142.81 102.66 None pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 162.94 107.46 None pthread-deagle/reorder_c11_good-50.yml OUT OF MEMORY 126.55 92.11 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 20887.54 1136.88 - BuchiAutomizer (syntactic LBE).SVCOMP ConcurrencySafety-Main Run set 3 of 3 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/BuchiAutomizerCInline.xml -s ../../../trunk/examples/settings/buchiAutomizer/concurrent-automaton-syntacticLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------- pthread-atomic/dekker-b.yml false(termination) 12.47 8.01 None pthread-atomic/dekker.yml false(termination) 16.78 9.62 None pthread-atomic/gcd-2.yml false(termination) 19.58 11.82 None pthread-atomic/lamport-b.yml false(termination) 17.18 9.57 None pthread-atomic/lamport.yml false(termination) 19.05 10.59 None pthread-atomic/peterson-b.yml false(termination) 14.39 7.76 None pthread-atomic/peterson.yml false(termination) 15.94 9.07 None pthread-atomic/qrcu-1.yml false(termination) 16.19 10.09 None pthread-atomic/qrcu-2.yml false(termination) 20.20 11.13 None pthread-atomic/read_write_lock-1.yml true 11.74 7.17 None pthread-atomic/read_write_lock-1b.yml true 10.90 7.05 None pthread-atomic/read_write_lock-2.yml true 11.36 7.58 None pthread-atomic/read_write_lock-2b.yml true 11.54 6.77 None pthread-atomic/scull.yml true 21.38 13.37 None pthread-atomic/szymanski-b.yml false(termination) 12.82 7.31 None pthread-atomic/szymanski.yml false(termination) 14.55 9.22 None pthread-atomic/time_var_mutex.yml true 11.55 7.35 None pthread-lit/fk2012.yml false(termination) 12.16 7.23 None pthread-lit/fkp2013-1.yml OUT OF MEMORY 298.91 215.50 None pthread-lit/fkp2013-2.yml OUT OF MEMORY 229.48 179.03 None pthread-lit/fkp2013_variant-1.yml TIMEOUT 300.53 224.93 None pthread-lit/fkp2013_variant-2.yml OUT OF MEMORY 264.37 189.70 None pthread-lit/fkp2014.yml OUT OF MEMORY 138.92 92.02 None pthread-lit/qw2004-1.yml true 10.26 6.77 None pthread-lit/qw2004-2.yml true 13.71 8.09 None pthread-lit/qw2004-2b.yml true 13.19 7.32 None pthread-lit/qw2004_variant.yml OUT OF MEMORY 207.61 140.04 None pthread-lit/sssc12.yml TIMEOUT 301.10 191.65 None pthread-lit/sssc12_variant.yml TIMEOUT 307.31 181.94 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-1.yml ERROR: EXCEPTION 66.82 50.16 None ldv-linux-3.14-races/linux-3.14--drivers--media--platform--marvell-ccic--cafe_ccic.ko.cil-2.yml ERROR: EXCEPTION 65.32 50.32 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--nsc-ircc.ko.cil.yml ERROR: EXCEPTION 34.15 19.96 None ldv-linux-3.14-races/linux-3.14--drivers--net--irda--w83977af_ir.ko.cil.yml OUT OF MEMORY 187.10 121.11 None ldv-linux-3.14-races/linux-3.14--drivers--spi--spi-tegra20-slink.ko.cil.yml TIMEOUT (ERROR: EXCEPTION) 301.90 209.43 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--adutux.ko.cil.yml ERROR: EXCEPTION 22.64 11.93 None ldv-linux-3.14-races/linux-3.14--drivers--usb--misc--iowarrior.ko.cil.yml ERROR: EXCEPTION 21.48 11.41 None pthread-complex/bounded_buffer.yml TIMEOUT 301.50 293.47 None pthread-complex/elimination_backoff_stack.yml TIMEOUT 300.38 275.56 None pthread-complex/safestack_relacy.yml TIMEOUT 301.31 277.51 None pthread-complex/workstealqueue_mutex-1.yml TIMEOUT 300.64 282.54 None pthread-complex/workstealqueue_mutex-2.yml TIMEOUT 300.98 260.15 None pthread-C-DAC/pthread-demo-datarace-1.yml true 26.46 18.14 None pthread-C-DAC/pthread-demo-datarace-2.yml true 25.12 15.18 None pthread-C-DAC/pthread-finding-k-matches.yml unknown 6.17 3.80 None pthread-C-DAC/pthread-numerical-integration.yml unknown 6.18 3.89 None pthread-divine/barrier_2t.yml TIMEOUT 300.84 283.82 None pthread-divine/barrier_3t.yml TIMEOUT (ERROR: EXCEPTION) 301.41 279.41 None pthread-divine/condvar.yml false(termination) 11.28 7.19 None pthread-divine/condvar_spurious_wakeup.yml true 16.26 11.33 None pthread-divine/divinefifo-bug_1w1r.yml ERROR: EXCEPTION 92.02 73.37 None pthread-divine/divinefifo_1w1r.yml false(termination) 104.30 80.13 None pthread-divine/one_time_barrier_2t.yml TIMEOUT 300.51 276.95 None pthread-divine/one_time_barrier_3t.yml TIMEOUT 301.56 288.95 None pthread-divine/one_time_barrier_twice_2t.yml TIMEOUT 301.44 277.68 None pthread-divine/one_time_barrier_twice_3t.yml TIMEOUT (ERROR: EXCEPTION) 302.36 280.92 None pthread-divine/ring_1w1r-1.yml false(termination) 40.85 25.34 None pthread-divine/ring_1w1r-2.yml false(termination) 31.37 17.76 None pthread-divine/ring_2w1r-1.yml false(termination) 48.96 31.68 None pthread-divine/ring_2w1r-2.yml false(termination) 52.52 30.74 None pthread-divine/tls_basic.yml unknown 7.26 4.01 None pthread-divine/tls_destructor_worker.yml unknown 7.25 4.41 None pthread-nondet/nondet-array-1.yml OUT OF MEMORY 277.93 175.34 None pthread-nondet/nondet-array-2.yml OUT OF MEMORY 116.83 75.72 None pthread-nondet/nondet-loop-bound-1.yml OUT OF MEMORY 283.95 203.33 None pthread-nondet/nondet-loop-bound-2.yml TIMEOUT 301.16 216.98 None pthread-nondet/nondet-loop-bound-variant-1.yml OUT OF MEMORY 153.41 112.04 None pthread-nondet/nondet-loop-bound-variant-2.yml OUT OF MEMORY 132.89 95.89 None weaver/array-eq-symm.wvr.yml true 34.66 23.83 None weaver/array-eq-trans.wvr.yml true 74.67 49.83 None weaver/bench-exp1x3.wvr.yml unknown 38.35 31.32 None weaver/bench-exp2x3.wvr.yml unknown 51.56 39.76 None weaver/bench-exp2x4.wvr.yml unknown 53.60 44.29 None weaver/bench-exp2x6.wvr.yml unknown 61.74 45.20 None weaver/bench-exp2x9.wvr.yml unknown 53.37 41.50 None weaver/bench-exp3x3-opt.wvr.yml false(termination) 18.10 11.54 None weaver/bench-exp3x3.wvr.yml unknown 70.98 61.54 None weaver/chl-array-int-subst.wvr.yml true 85.69 57.33 None weaver/chl-array-int-symm.wvr.yml true 37.86 26.41 None weaver/chl-array-int-trans.wvr.yml true 62.39 46.00 None weaver/chl-chromosome-opt-symm.wvr.yml true 61.69 48.73 None weaver/chl-chromosome-subst.wvr.yml true 240.18 213.70 None weaver/chl-chromosome-symm.wvr.yml true 65.80 50.90 None weaver/chl-chromosome-trans.wvr.yml true 262.42 235.49 None weaver/chl-collitem-subst.wvr.yml true 14.65 9.94 None weaver/chl-collitem-symm.wvr.yml true 14.47 8.79 None weaver/chl-collitem-trans.wvr.yml true 16.40 11.02 None weaver/chl-exp-term-subst.wvr.yml true 15.02 9.43 None weaver/chl-exp-term-symm.wvr.yml true 12.02 7.98 None weaver/chl-file-item-subst.wvr.yml true 17.33 11.03 None weaver/chl-file-item-symm.wvr.yml true 14.47 9.09 None weaver/chl-file-item-trans.wvr.yml true 17.45 11.27 None weaver/chl-match-subst.wvr.yml true 27.05 16.53 None weaver/chl-match-symm.wvr.yml true 16.31 10.18 None weaver/chl-match-trans.wvr.yml true 18.90 11.94 None weaver/chl-name-comparator-subst.wvr.yml true 67.48 43.82 None weaver/chl-name-comparator-symm.wvr.yml true 41.20 29.72 None weaver/chl-name-comparator-trans.wvr.yml true 56.12 42.90 None weaver/chl-node-subst.wvr.yml true 92.66 76.79 None weaver/chl-node-symm.wvr.yml true 57.97 36.96 None weaver/chl-node-trans.wvr.yml true 84.77 63.08 None weaver/chl-nzb-file-subst.wvr.yml true 252.09 220.87 None weaver/chl-nzb-file-symm.wvr.yml true 130.57 106.02 None weaver/chl-nzb-file-trans.wvr.yml TIMEOUT 301.49 257.93 None weaver/chl-simpl-str-subst.wvr.yml true 14.28 8.73 None weaver/chl-simpl-str-symm.wvr.yml true 15.52 8.97 None weaver/chl-simpl-str-trans.wvr.yml true 13.23 9.02 None weaver/chl-sre-subst.wvr.yml true 15.12 8.89 None weaver/chl-sre-symm.wvr.yml true 10.44 6.64 None weaver/chl-sre-trans.wvr.yml true 10.89 7.04 None weaver/chl-time-subst.wvr.yml true 16.60 9.77 None weaver/chl-time-symm.wvr.yml true 15.46 9.07 None weaver/chl-time-trans.wvr.yml true 12.29 8.69 None weaver/chl-word-subst.wvr.yml true 64.81 49.39 None weaver/chl-word-symm.wvr.yml true 46.56 28.36 None weaver/chl-word-trans.wvr.yml true 97.36 65.61 None weaver/clever.wvr.yml true 21.30 12.59 None weaver/fibonacci.wvr.yml true 26.49 15.47 None weaver/loop-tiling-eq.wvr.yml TIMEOUT 301.69 283.58 None weaver/mult-comm.wvr.yml unknown 43.28 36.23 None weaver/mult-dist.wvr.yml unknown 56.77 43.53 None weaver/mult-flipped-dist.wvr.yml unknown 58.61 44.19 None weaver/parallel-bakery-2.wvr.yml true 9.73 6.12 None weaver/parallel-bakery-3.wvr.yml true 14.49 8.51 None weaver/parallel-bakery-4.wvr.yml true 26.88 16.55 None weaver/parallel-barrier-loop.wvr.yml unknown 213.64 141.07 None weaver/parallel-barrier.wvr.yml true 17.08 10.56 None weaver/parallel-bluetooth.wvr.yml true 10.62 7.12 None weaver/parallel-lamport.wvr.yml true 18.60 11.85 None weaver/parallel-min-max-1.wvr.yml true 31.55 22.31 None weaver/parallel-misc-1.wvr.yml true 41.89 29.28 None weaver/parallel-misc-2-unrolled-atomic.wvr.yml true 13.61 8.22 None weaver/parallel-misc-2-unrolled.wvr.yml unknown 56.34 43.02 None weaver/parallel-misc-2.wvr.yml unknown 55.10 45.87 None weaver/parallel-misc-3-extended.wvr.yml unknown 71.50 62.06 None weaver/parallel-misc-3.wvr.yml unknown 66.36 49.52 None weaver/parallel-misc-4.wvr.yml unknown 62.18 46.34 None weaver/parallel-misc-5.wvr.yml unknown 61.46 50.79 None weaver/parallel-parallel-sum-1-dsl.wvr.yml true 51.44 36.26 None weaver/parallel-parallel-sum-1.wvr.yml true 38.50 27.56 None weaver/parallel-parallel-sum-2.wvr.yml true 95.01 75.41 None weaver/parallel-parallel-sum-equiv.wvr.yml true 36.23 26.31 None weaver/parallel-simple-equiv.wvr.yml true 9.98 6.62 None weaver/parallel-ticket-2.wvr.yml true 10.49 7.48 None weaver/parallel-ticket-3.wvr.yml true 14.34 8.07 None weaver/parallel-ticket-4.wvr.yml true 14.47 8.71 None weaver/parallel-ticket-5.wvr.yml true 14.00 9.58 None weaver/parallel-ticket-6.wvr.yml true 23.05 16.52 None weaver/parallel-ticket-7.wvr.yml true 65.63 42.83 None weaver/parallel-ticket-8.wvr.yml OUT OF MEMORY 108.12 76.75 None weaver/popl20-bad-buffer-mult-alt.wvr.yml true 209.07 150.85 None weaver/popl20-bad-buffer-mult-alt2.wvr.yml true 78.82 59.95 None weaver/popl20-bad-commit-1.wvr-bad.yml TIMEOUT 300.75 272.09 None weaver/popl20-bad-commit-2.wvr-bad.yml TIMEOUT 300.90 243.15 None weaver/popl20-bad-counter-queue.wvr.yml true 25.50 16.53 None weaver/popl20-bad-counter-queue2.wvr.yml true 29.37 22.12 None weaver/popl20-bad-dot-product-alt.wvr.yml ERROR: EXCEPTION 99.65 79.54 None weaver/popl20-bad-dot-product.wvr.yml TIMEOUT 301.14 225.26 None weaver/popl20-bad-ring-nondet.wvr.yml false(termination) 40.44 27.34 None weaver/popl20-bad-ring.wvr.yml TIMEOUT 300.19 245.39 None weaver/popl20-bad-threaded-sum-2.wvr.yml false(termination) 39.07 26.81 None weaver/popl20-bad-three-array-sum-alt.wvr.yml TIMEOUT 302.59 240.29 None weaver/popl20-channel-sum.wvr.yml true 36.75 23.90 None weaver/popl20-commit-1.wvr.yml true 99.95 73.38 None weaver/popl20-commit-2.wvr.yml true 131.22 95.69 None weaver/popl20-counter-determinism.wvr.yml true 27.69 18.72 None weaver/popl20-counter-fun.wvr.yml true 40.45 24.49 None weaver/popl20-difference-det.wvr.yml true 20.56 12.36 None weaver/popl20-figure1-alt.wvr.yml true 12.52 8.21 None weaver/popl20-figure1.wvr.yml true 15.01 9.77 None weaver/popl20-figure3.wvr.yml unknown 50.10 35.85 None weaver/popl20-horseshoe.wvr.yml true 85.52 69.03 None weaver/popl20-min-max-dec.wvr.yml true 38.58 27.77 None weaver/popl20-min-max-inc-dec.wvr.yml true 68.70 45.20 None weaver/popl20-min-max-inc.wvr.yml true 39.47 26.40 None weaver/popl20-more-array-sum-alt.wvr.yml true 36.98 27.37 None weaver/popl20-more-array-sum-alt2.wvr.yml true 39.90 26.54 None weaver/popl20-more-array-sum.wvr.yml true 57.24 41.06 None weaver/popl20-more-array-sum2.wvr.yml true 66.26 44.02 None weaver/popl20-more-buffer-mult.wvr.yml true 111.62 74.97 None weaver/popl20-more-buffer-mult2.wvr.yml true 236.86 178.51 None weaver/popl20-more-buffer-series.wvr.yml true 216.70 187.31 None weaver/popl20-more-buffer-series2.wvr.yml true 175.09 137.87 None weaver/popl20-more-dec-subseq.wvr.yml true 58.15 40.29 None weaver/popl20-more-inc-subseq.wvr.yml true 54.71 41.28 None weaver/popl20-more-max-array-hom.wvr.yml true 50.74 37.58 None weaver/popl20-more-max-array.wvr.yml true 42.34 28.12 None weaver/popl20-more-min-array-hom.wvr.yml true 44.55 27.41 None weaver/popl20-more-min-array.wvr.yml true 37.54 24.77 None weaver/popl20-more-min-le-max.wvr.yml true 31.72 20.18 None weaver/popl20-more-mts.wvr.yml true 43.54 31.73 None weaver/popl20-more-multiply-verify.wvr.yml unknown 76.32 57.62 None weaver/popl20-more-nonblocking-counter-alt2.wvr.yml unknown 44.48 37.41 None weaver/popl20-more-parray-copy.wvr.yml true 68.34 48.62 None weaver/popl20-more-queue-add-2-nl.wvr.yml true 37.02 21.66 None weaver/popl20-more-queue-add-3-nl.wvr.yml true 97.51 72.00 None weaver/popl20-more-sorted.wvr.yml true 56.17 41.85 None weaver/popl20-more-sum-array-hom.wvr.yml true 40.81 24.66 None weaver/popl20-more-vector-add.wvr.yml TIMEOUT 302.31 248.51 None weaver/popl20-mult-4.wvr.yml unknown 60.82 52.58 None weaver/popl20-mult-equiv.wvr.yml unknown 62.60 47.08 None weaver/popl20-nonblocking-cntr-alt.wvr.yml false(termination) 16.15 9.37 None weaver/popl20-nonblocking-cntr.wvr.yml false(termination) 15.54 9.25 None weaver/popl20-prod-cons-eq.wvr.yml false(termination) 246.33 223.90 None weaver/popl20-prod-cons.wvr.yml true 41.34 27.29 None weaver/popl20-prod-cons3.wvr.yml true 201.33 156.31 None weaver/popl20-proofs-counter-add-4-semi-Q67.wvr.yml true 24.83 16.80 None weaver/popl20-queue-add-2.wvr.yml true 34.78 20.43 None weaver/popl20-queue-add-3.wvr.yml TIMEOUT 300.87 252.71 None weaver/popl20-send-receive-alt.wvr.yml true 74.12 49.62 None weaver/popl20-send-receive.wvr.yml true 49.94 34.34 None weaver/popl20-simple-array-sum.wvr.yml false(termination) 40.10 28.57 None weaver/popl20-simple-queue.wvr.yml true 30.31 19.38 None weaver/popl20-threaded-sum-3.wvr.yml false(termination) 50.67 38.72 None weaver/popl20-three-array-max.wvr.yml false(termination) 84.73 68.55 None weaver/popl20-three-array-min.wvr.yml false(termination) 104.04 78.32 None weaver/popl20-three-array-sum.wvr.yml false(termination) 66.42 42.86 None weaver/popl20-two-queue.wvr.yml true 149.64 121.61 None weaver/security.wvr.yml true 9.35 6.15 None weaver/spaghetti.wvr.yml false(termination) 15.42 8.60 None weaver/test-context1.wvr.yml true 31.77 21.02 None weaver/test-easy1.wvr.yml true 12.45 8.45 None weaver/test-easy10.wvr.yml true 16.38 9.81 None weaver/test-easy11.wvr.yml true 12.82 8.29 None weaver/test-easy6.wvr.yml true 9.26 5.92 None weaver/test-easy7.wvr.yml true 11.44 6.77 None weaver/test-hard1.wvr.yml unknown 71.45 62.70 None weaver/test-semi1.wvr.yml true 11.88 6.71 None weaver/unroll-2.wvr.yml unknown 56.78 45.50 None weaver/unroll-3.wvr.yml unknown 55.78 41.59 None weaver/unroll-4.wvr.yml unknown 64.81 45.82 None weaver/unroll-5.wvr.yml unknown 62.70 45.62 None weaver/unroll-cond-2.wvr.yml unknown 53.54 39.97 None weaver/unroll-cond-3.wvr.yml unknown 66.36 47.31 None weaver/unroll-cond-4.wvr.yml unknown 58.29 47.44 None weaver/unroll-cond-5.wvr.yml unknown 82.81 62.02 None pthread-deagle/airline-10.yml OUT OF MEMORY 191.48 136.29 None pthread-deagle/airline-15.yml OUT OF MEMORY 188.72 135.89 None pthread-deagle/airline-20.yml OUT OF MEMORY 194.58 136.82 None pthread-deagle/airline-25.yml OUT OF MEMORY 241.38 161.33 None pthread-deagle/airline-5.yml true 46.80 28.63 None pthread-deagle/arithmetic_prog_bad.yml false(termination) 38.11 22.54 None pthread-deagle/arithmetic_prog_ok.yml false(termination) 29.08 19.56 None pthread-deagle/circular_buffer_bad.yml true 32.06 23.11 None pthread-deagle/circular_buffer_ok.yml true 40.92 25.96 None pthread-deagle/floating_read-10.yml true 186.32 129.71 None pthread-deagle/floating_read-15.yml OUT OF MEMORY 186.47 148.94 None pthread-deagle/floating_read-20.yml OUT OF MEMORY 203.49 148.84 None pthread-deagle/floating_read-25.yml OUT OF MEMORY 197.01 152.09 None pthread-deagle/floating_read-5.yml true 21.06 14.07 None pthread-deagle/reorder_c11_bad-10.yml TIMEOUT 312.68 204.40 None pthread-deagle/reorder_c11_bad-20.yml TIMEOUT 310.81 201.14 None pthread-deagle/reorder_c11_bad-30.yml OUT OF MEMORY 261.01 181.84 None pthread-deagle/reorder_c11_bad-40.yml TIMEOUT 307.02 195.04 None pthread-deagle/reorder_c11_bad-50.yml OUT OF MEMORY 257.77 175.57 None pthread-deagle/reorder_c11_good-10.yml OUT OF MEMORY 260.38 174.06 None pthread-deagle/reorder_c11_good-20.yml OUT OF MEMORY 261.49 172.53 None pthread-deagle/reorder_c11_good-30.yml OUT OF MEMORY 250.57 164.97 None pthread-deagle/reorder_c11_good-40.yml OUT OF MEMORY 254.88 168.64 None pthread-deagle/reorder_c11_good-50.yml TIMEOUT 301.08 192.00 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 24402.57 1418.02 - Statistics: 777 Files correct: 360 correct true: 360 correct false: 0 incorrect: 98 incorrect true: 0 incorrect false: 98 unknown: 319 Score: -848 (max: 1554)