BENCHMARK INFORMATION benchmark definition: ../benchexec/weaver.xml name: weaver run sets: unreach-call.Weaver, nooverflow.Weaver, memsafety.Weaver, unreach-call-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.Weaver date: Tue, 2021-10-05 20:31:51 CEST tool: ULTIMATE Automizer 0.2.1-8c2bbc92 tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-glibc2.33 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135154.106368 MB ------------------------------------------------------------ unreach-call.Weaver Run set 1 of 4 with options '--full-output' and propertyfile '../sv-benchmarks/c/properties/unreach-call.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- array-eq-symm.wvr.yml TIMEOUT 901.07 701.64 None array-eq-trans.wvr.yml TIMEOUT 901.16 693.36 None clever.wvr.yml TIMEOUT 901.36 707.64 None fibonacci.wvr.yml TIMEOUT 901.10 722.50 None loop-tiling-eq.wvr.yml TIMEOUT 901.57 778.02 None mult-comm.wvr.yml TIMEOUT 901.28 705.64 None mult-dist.wvr.yml TIMEOUT 901.13 719.98 None mult-flipped-dist.wvr.yml OUT OF MEMORY 611.26 474.50 None security.wvr.yml true 17.96 9.94 None spaghetti.wvr.yml true 20.76 11.71 None unroll-2.wvr.yml TIMEOUT 900.50 862.58 None unroll-3.wvr.yml TIMEOUT 900.71 810.47 None unroll-4.wvr.yml TIMEOUT 900.70 837.96 None unroll-5.wvr.yml TIMEOUT 901.02 781.86 None unroll-cond-2.wvr.yml TIMEOUT 900.74 717.32 None unroll-cond-3.wvr.yml TIMEOUT 900.72 718.89 None unroll-cond-4.wvr.yml TIMEOUT 901.00 748.99 None unroll-cond-5.wvr.yml TIMEOUT 900.39 750.04 None test/context1.wvr.yml TIMEOUT 901.15 757.58 None test/easy1.wvr.yml true 30.64 18.46 None test/easy10.wvr.yml TIMEOUT 901.21 735.47 None test/easy11.wvr.yml true 34.04 20.26 None test/easy6.wvr.yml true 20.44 11.53 None test/easy7.wvr.yml true 18.29 10.12 None test/easy8.wvr.yml true 15.05 8.10 None test/hard1.wvr.yml OUT OF MEMORY 134.94 88.05 None test/semi1.wvr.yml true 16.39 9.36 None chl/array-int-subst.wvr.yml TIMEOUT 901.08 717.56 None chl/array-int-symm.wvr.yml TIMEOUT 901.49 710.74 None chl/array-int-trans.wvr.yml TIMEOUT 900.99 740.41 None chl/chromosome-opt-symm.wvr.yml TIMEOUT 901.33 702.45 None chl/chromosome-subst.wvr.yml TIMEOUT 901.06 711.24 None chl/chromosome-symm.wvr.yml TIMEOUT 901.05 713.60 None chl/chromosome-trans.wvr.yml false(unreach-call) 39.65 24.21 None chl/collitem-subst.wvr.yml true 41.34 23.61 None chl/collitem-symm.wvr.yml true 20.43 11.88 None chl/collitem-trans.wvr.yml true 36.88 20.67 None chl/exp-term-subst.wvr.yml true 39.62 22.53 None chl/exp-term-symm.wvr.yml true 20.25 11.45 None chl/file-item-subst.wvr.yml true 41.64 25.65 None chl/file-item-symm.wvr.yml true 24.61 14.32 None chl/file-item-trans.wvr.yml true 31.11 18.12 None chl/match-subst.wvr.yml true 33.61 19.43 None chl/match-symm.wvr.yml true 21.91 12.71 None chl/match-trans.wvr.yml true 26.76 15.54 None chl/name-comparator-subst.wvr.yml TIMEOUT 900.76 701.38 None chl/name-comparator-symm.wvr.yml TIMEOUT 900.26 689.74 None chl/name-comparator-trans.wvr.yml TIMEOUT 900.97 708.03 None chl/node-subst.wvr.yml true 63.47 38.38 None chl/node-symm.wvr.yml true 40.00 24.11 None chl/node-trans.wvr.yml true 46.52 28.21 None chl/nzb-file-subst.wvr.yml TIMEOUT 900.66 728.86 None chl/nzb-file-symm.wvr.yml TIMEOUT 900.33 716.55 None chl/nzb-file-trans.wvr.yml TIMEOUT 901.00 755.78 None chl/poker-hand-subst.wvr.yml TIMEOUT 900.69 830.67 None chl/poker-hand-symm.wvr.yml TIMEOUT 900.59 851.47 None chl/poker-hand-trans.wvr.yml TIMEOUT 900.67 837.83 None chl/simpl-str-subst.wvr.yml true 30.34 17.09 None chl/simpl-str-symm.wvr.yml true 19.16 10.75 None chl/simpl-str-trans.wvr.yml true 25.31 14.10 None chl/sre-subst.wvr.yml true 24.93 14.33 None chl/sre-symm.wvr.yml true 18.71 10.20 None chl/sre-trans.wvr.yml true 20.54 11.39 None chl/time-subst.wvr.yml true 30.16 16.94 None chl/time-symm.wvr.yml true 20.53 12.03 None chl/time-trans.wvr.yml true 24.91 14.65 None chl/word-subst.wvr.yml TIMEOUT 901.07 709.16 None chl/word-symm.wvr.yml TIMEOUT 900.97 706.01 None chl/word-trans.wvr.yml TIMEOUT 900.83 723.28 None bench/exp1x3.wvr.yml TIMEOUT 900.50 737.48 None bench/exp2x3.wvr.yml OUT OF MEMORY 245.30 172.45 None bench/exp2x4.wvr.yml OUT OF MEMORY 250.81 179.89 None bench/exp2x6.wvr.yml OUT OF MEMORY 252.47 179.69 None bench/exp2x9.wvr.yml OUT OF MEMORY 268.20 191.84 None bench/exp3x3-opt.wvr.yml OUT OF MEMORY 141.31 91.51 None bench/exp3x3.wvr.yml OUT OF MEMORY 151.39 100.02 None parallel/bakery-2.wvr.yml true 23.70 13.43 None parallel/bakery-3.wvr.yml OUT OF MEMORY 252.48 173.44 None parallel/bakery-4.wvr.yml OUT OF MEMORY 141.19 79.32 None parallel/barrier-loop.wvr.yml OUT OF MEMORY 125.11 70.35 None parallel/barrier.wvr.yml OUT OF MEMORY 162.47 97.88 None parallel/bluetooth.wvr.yml true 20.87 12.15 None parallel/lamport.wvr.yml true 50.24 29.05 None parallel/min-max-1.wvr.yml true 64.92 36.34 None parallel/min-max-2.wvr.yml OUT OF MEMORY 361.76 259.08 None parallel/misc-1.wvr.yml TIMEOUT 900.39 731.16 None parallel/misc-2-unrolled-atomic.wvr.yml true 18.54 10.27 None parallel/misc-2-unrolled.wvr.yml true 19.90 11.01 None parallel/misc-2.wvr.yml OUT OF MEMORY 655.20 515.94 None parallel/misc-3-extended.wvr.yml TIMEOUT 901.37 689.57 None parallel/misc-3.wvr.yml true 46.61 27.52 None parallel/misc-4.wvr.yml true 27.24 15.64 None parallel/misc-5.wvr.yml OUT OF MEMORY 176.96 116.12 None parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 900.74 806.23 None parallel/parallel-sum-1.wvr.yml TIMEOUT 901.16 712.43 None parallel/parallel-sum-2.wvr.yml OUT OF MEMORY 709.21 536.96 None parallel/parallel-sum-equiv.wvr.yml TIMEOUT 900.93 715.33 None parallel/simple-equiv.wvr.yml parallel/ticket-2.wvr.yml true 20.34 11.36 None parallel/ticket-3.wvr.yml true 43.39 24.00 None parallel/ticket-4.wvr.yml true 308.23 212.41 None parallel/ticket-5.wvr.yml OUT OF MEMORY 141.44 98.20 None parallel/ticket-6.wvr.yml OUT OF MEMORY 149.25 89.37 None parallel/ticket-7.wvr.yml OUT OF MEMORY 125.81 88.96 None parallel/ticket-8.wvr.yml OUT OF MEMORY 119.56 84.76 None popl20-proofs/counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 194.14 134.05 None popl20/channel-sum.wvr.yml TIMEOUT 900.79 728.98 None popl20/commit-1.wvr.yml true 498.68 435.79 None popl20/commit-2.wvr.yml TIMEOUT 900.78 803.59 None popl20/counter-determinism.wvr.yml OUT OF MEMORY 170.02 122.23 None popl20/counter-fun.wvr.yml TIMEOUT 901.02 728.83 None popl20/difference-det.wvr.yml OUT OF MEMORY 169.70 121.59 None popl20/figure1-alt.wvr.yml true 143.19 102.56 None popl20/figure1.wvr.yml OUT OF MEMORY 649.88 526.86 None popl20/figure3.wvr.yml TIMEOUT 900.72 730.64 None popl20/horseshoe.wvr.yml TIMEOUT 900.64 730.02 None popl20/min-max-dec.wvr.yml OUT OF MEMORY 641.65 522.23 None popl20/min-max-inc-dec.wvr.yml OUT OF MEMORY 344.29 248.81 None popl20/min-max-inc.wvr.yml OUT OF MEMORY 628.69 497.19 None popl20/mult-4.wvr.yml OUT OF MEMORY 199.93 138.34 None popl20/mult-equiv.wvr.yml OUT OF MEMORY 169.90 113.13 None popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 901.05 713.75 None popl20/nonblocking-cntr.wvr.yml TIMEOUT 900.95 725.08 None popl20/prod-cons-eq.wvr.yml TIMEOUT 900.46 769.73 None popl20/prod-cons.wvr.yml TIMEOUT 900.51 737.41 None popl20/prod-cons3.wvr.yml TIMEOUT 900.51 766.12 None popl20/queue-add-2.wvr.yml TIMEOUT 900.55 715.87 None popl20/queue-add-3.wvr.yml TIMEOUT 900.64 753.52 None popl20/send-receive-alt.wvr.yml TIMEOUT 900.33 733.66 None popl20/send-receive.wvr.yml TIMEOUT 901.10 713.54 None popl20/simple-array-sum.wvr.yml true 48.37 29.84 None popl20/simple-queue.wvr.yml TIMEOUT 901.05 750.43 None popl20/threaded-sum-3.wvr.yml TIMEOUT 901.42 705.04 None popl20/three-array-max.wvr.yml TIMEOUT 900.33 782.14 None popl20/three-array-min.wvr.yml TIMEOUT 900.58 780.43 None popl20/three-array-sum.wvr.yml TIMEOUT 901.69 730.81 None popl20/two-queue.wvr.yml TIMEOUT 900.56 737.35 None popl20-more/array-sum-alt.wvr.yml TIMEOUT 900.94 710.36 None popl20-more/array-sum.wvr.yml TIMEOUT 900.75 740.27 None popl20-more/buffer-mult.wvr.yml OUT OF MEMORY 849.99 680.61 None popl20-more/buffer-series.wvr.yml true 145.84 105.88 None popl20-more/dec-subseq.wvr.yml TIMEOUT 900.87 793.11 None popl20-more/inc-subseq.wvr.yml TIMEOUT 900.59 820.92 None popl20-more/max-array-hom.wvr.yml TIMEOUT 900.74 714.81 None popl20-more/max-array.wvr.yml TIMEOUT 900.95 718.15 None popl20-more/min-array-hom.wvr.yml TIMEOUT 901.30 710.04 None popl20-more/min-array.wvr.yml TIMEOUT 901.31 711.97 None popl20-more/min-le-max.wvr.yml true 25.95 15.12 None popl20-more/mts.wvr.yml TIMEOUT 901.04 722.12 None popl20-more/multiply-verify.wvr.yml TIMEOUT 901.11 715.88 None popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 901.07 717.44 None popl20-more/parray-copy.wvr.yml TIMEOUT 900.39 733.27 None popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 900.76 711.43 None popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 900.87 721.20 None popl20-more/sorted.wvr.yml TIMEOUT 900.77 712.54 None popl20-more/sum-array-hom.wvr.yml TIMEOUT 901.03 707.58 None popl20-more/vector-add.wvr.yml TIMEOUT 900.97 803.80 None popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 901.34 740.81 None popl20-bad/commit-1.wvr.yml true 410.95 306.41 None popl20-bad/commit-2.wvr.yml TIMEOUT 901.04 710.22 None popl20-bad/counter-queue.wvr.yml TIMEOUT 900.97 713.79 None popl20-bad/dot-product-alt.wvr.yml TIMEOUT 900.82 818.25 None popl20-bad/dot-product.wvr.yml TIMEOUT 900.90 734.44 None popl20-bad/ring-nondet.wvr.yml TIMEOUT 900.81 780.39 None popl20-bad/ring.wvr.yml TIMEOUT 901.10 781.16 None popl20-bad/threaded-sum-2.wvr.yml true 58.40 36.99 None popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 901.18 715.29 None ------------------------------------------------------------------------------------------------------------- Run set 1 done 3656.03 5473.18 - nooverflow.Weaver Run set 2 of 4: skipped because it has no files memsafety.Weaver Run set 3 of 4: skipped because it has no files unreach-call-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.Weaver Run set 4 of 4 with options '--full-output -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-NewStatesSleepPersistentFixedOrder-NoLbe-Lockstep.epf' and propertyfile '../sv-benchmarks/c/properties/unreach-call.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- array-eq-symm.wvr.yml TIMEOUT 901.22 703.68 None array-eq-trans.wvr.yml TIMEOUT 901.00 692.42 None clever.wvr.yml TIMEOUT 901.18 708.37 None fibonacci.wvr.yml TIMEOUT 901.08 720.59 None loop-tiling-eq.wvr.yml TIMEOUT 900.18 776.67 None mult-comm.wvr.yml TIMEOUT 901.07 705.41 None mult-dist.wvr.yml TIMEOUT 900.99 726.55 None mult-flipped-dist.wvr.yml OUT OF MEMORY 601.15 465.27 None security.wvr.yml true 17.40 9.67 None spaghetti.wvr.yml true 19.41 11.01 None unroll-2.wvr.yml TIMEOUT 900.47 862.48 None unroll-3.wvr.yml TIMEOUT 900.70 811.36 None unroll-4.wvr.yml TIMEOUT 900.73 838.25 None unroll-5.wvr.yml TIMEOUT 901.04 783.12 None unroll-cond-2.wvr.yml TIMEOUT 900.50 716.74 None unroll-cond-3.wvr.yml TIMEOUT 900.72 719.27 None unroll-cond-4.wvr.yml TIMEOUT 900.21 745.46 None unroll-cond-5.wvr.yml TIMEOUT 900.51 746.38 None test/context1.wvr.yml TIMEOUT 900.19 751.03 None test/easy1.wvr.yml true 29.50 18.20 None test/easy10.wvr.yml TIMEOUT 900.22 733.00 None test/easy11.wvr.yml true 32.67 19.43 None test/easy6.wvr.yml true 21.31 11.94 None test/easy7.wvr.yml true 17.46 9.69 None test/easy8.wvr.yml true 15.46 8.65 None test/hard1.wvr.yml OUT OF MEMORY 132.09 88.82 None test/semi1.wvr.yml true 16.80 9.34 None chl/array-int-subst.wvr.yml TIMEOUT 900.70 712.07 None chl/array-int-symm.wvr.yml TIMEOUT 901.28 705.34 None chl/array-int-trans.wvr.yml TIMEOUT 901.13 742.86 None chl/chromosome-opt-symm.wvr.yml TIMEOUT 901.32 705.42 None chl/chromosome-subst.wvr.yml TIMEOUT 901.22 708.35 None chl/chromosome-symm.wvr.yml TIMEOUT 901.05 709.81 None chl/chromosome-trans.wvr.yml false(unreach-call) 39.37 24.16 None chl/collitem-subst.wvr.yml true 40.83 23.42 None chl/collitem-symm.wvr.yml true 21.36 11.95 None chl/collitem-trans.wvr.yml true 36.90 20.66 None chl/exp-term-subst.wvr.yml true 38.68 22.07 None chl/exp-term-symm.wvr.yml true 21.43 12.17 None chl/file-item-subst.wvr.yml true 43.60 26.65 None chl/file-item-symm.wvr.yml true 25.66 14.58 None chl/file-item-trans.wvr.yml true 30.54 18.21 None chl/match-subst.wvr.yml true 31.44 18.01 None chl/match-symm.wvr.yml true 21.69 12.68 None chl/match-trans.wvr.yml true 27.19 15.64 None chl/name-comparator-subst.wvr.yml TIMEOUT 901.16 705.20 None chl/name-comparator-symm.wvr.yml TIMEOUT 900.12 693.05 None chl/name-comparator-trans.wvr.yml TIMEOUT 900.96 706.13 None chl/node-subst.wvr.yml true 61.87 37.22 None chl/node-symm.wvr.yml true 41.39 24.41 None chl/node-trans.wvr.yml true 47.00 28.79 None chl/nzb-file-subst.wvr.yml TIMEOUT 901.06 736.23 None chl/nzb-file-symm.wvr.yml TIMEOUT 900.98 710.42 None chl/nzb-file-trans.wvr.yml TIMEOUT 900.59 745.90 None chl/poker-hand-subst.wvr.yml TIMEOUT 900.66 830.33 None chl/poker-hand-symm.wvr.yml TIMEOUT 900.56 854.87 None chl/poker-hand-trans.wvr.yml TIMEOUT 900.63 840.09 None chl/simpl-str-subst.wvr.yml true 29.23 16.71 None chl/simpl-str-symm.wvr.yml true 19.52 10.95 None chl/simpl-str-trans.wvr.yml true 24.73 14.21 None chl/sre-subst.wvr.yml true 25.68 14.60 None chl/sre-symm.wvr.yml true 18.38 10.33 None chl/sre-trans.wvr.yml true 19.32 10.92 None chl/time-subst.wvr.yml true 29.14 16.57 None chl/time-symm.wvr.yml true 20.87 12.09 None chl/time-trans.wvr.yml true 24.66 14.23 None chl/word-subst.wvr.yml TIMEOUT 901.09 705.25 None chl/word-symm.wvr.yml TIMEOUT 901.23 704.91 None chl/word-trans.wvr.yml TIMEOUT 900.98 726.73 None bench/exp1x3.wvr.yml TIMEOUT 900.47 736.48 None bench/exp2x3.wvr.yml OUT OF MEMORY 252.72 179.09 None bench/exp2x4.wvr.yml OUT OF MEMORY 267.61 194.80 None bench/exp2x6.wvr.yml OUT OF MEMORY 294.16 210.52 None bench/exp2x9.wvr.yml OUT OF MEMORY 269.56 191.29 None bench/exp3x3-opt.wvr.yml OUT OF MEMORY 139.32 86.07 None bench/exp3x3.wvr.yml OUT OF MEMORY 162.73 103.48 None parallel/bakery-2.wvr.yml true 22.53 12.86 None parallel/bakery-3.wvr.yml OUT OF MEMORY 194.77 127.55 None parallel/bakery-4.wvr.yml OUT OF MEMORY 145.31 83.94 None parallel/barrier-loop.wvr.yml OUT OF MEMORY 125.96 76.15 None parallel/barrier.wvr.yml OUT OF MEMORY 153.41 94.35 None parallel/bluetooth.wvr.yml true 21.67 12.34 None parallel/lamport.wvr.yml true 51.19 29.07 None parallel/min-max-1.wvr.yml true 58.51 34.57 None parallel/min-max-2.wvr.yml OUT OF MEMORY 371.97 267.15 None parallel/misc-1.wvr.yml TIMEOUT 900.43 732.79 None parallel/misc-2-unrolled-atomic.wvr.yml true 17.95 10.15 None parallel/misc-2-unrolled.wvr.yml true 17.42 10.12 None parallel/misc-2.wvr.yml OUT OF MEMORY 577.79 454.85 None parallel/misc-3-extended.wvr.yml TIMEOUT 900.92 703.88 None parallel/misc-3.wvr.yml true 48.12 28.36 None parallel/misc-4.wvr.yml true 24.53 14.47 None parallel/misc-5.wvr.yml OUT OF MEMORY 157.78 105.93 None parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 900.80 795.52 None parallel/parallel-sum-1.wvr.yml OUT OF MEMORY 800.62 633.23 None parallel/parallel-sum-2.wvr.yml OUT OF MEMORY 773.60 589.49 None parallel/parallel-sum-equiv.wvr.yml TIMEOUT 900.67 704.50 None parallel/simple-equiv.wvr.yml parallel/ticket-2.wvr.yml true 20.35 11.33 None parallel/ticket-3.wvr.yml true 39.35 21.70 None parallel/ticket-4.wvr.yml true 325.34 219.42 None parallel/ticket-5.wvr.yml OUT OF MEMORY 135.55 80.58 None parallel/ticket-6.wvr.yml OUT OF MEMORY 140.52 80.25 None parallel/ticket-7.wvr.yml OUT OF MEMORY 129.13 81.70 None parallel/ticket-8.wvr.yml OUT OF MEMORY 119.60 82.41 None popl20-proofs/counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 178.14 122.45 None popl20/channel-sum.wvr.yml TIMEOUT 901.76 734.98 None popl20/commit-1.wvr.yml true 494.87 428.79 None popl20/commit-2.wvr.yml TIMEOUT 900.26 811.01 None popl20/counter-determinism.wvr.yml OUT OF MEMORY 171.24 122.57 None popl20/counter-fun.wvr.yml TIMEOUT 901.06 753.90 None popl20/difference-det.wvr.yml OUT OF MEMORY 174.49 122.36 None popl20/figure1-alt.wvr.yml true 143.37 102.77 None popl20/figure1.wvr.yml OUT OF MEMORY 717.45 580.31 None popl20/figure3.wvr.yml TIMEOUT 900.86 730.91 None popl20/horseshoe.wvr.yml TIMEOUT 900.71 728.97 None popl20/min-max-dec.wvr.yml OUT OF MEMORY 719.60 581.48 None popl20/min-max-inc-dec.wvr.yml OUT OF MEMORY 220.86 150.92 None popl20/min-max-inc.wvr.yml OUT OF MEMORY 518.33 402.97 None popl20/mult-4.wvr.yml OUT OF MEMORY 204.13 142.72 None popl20/mult-equiv.wvr.yml OUT OF MEMORY 175.26 116.91 None popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 900.89 714.69 None popl20/nonblocking-cntr.wvr.yml TIMEOUT 900.97 720.89 None popl20/prod-cons-eq.wvr.yml TIMEOUT 900.17 765.49 None popl20/prod-cons.wvr.yml TIMEOUT 900.85 738.05 None popl20/prod-cons3.wvr.yml TIMEOUT 900.63 765.71 None popl20/queue-add-2.wvr.yml TIMEOUT 900.48 712.08 None popl20/queue-add-3.wvr.yml TIMEOUT 900.56 748.79 None popl20/send-receive-alt.wvr.yml TIMEOUT 900.70 733.12 None popl20/send-receive.wvr.yml TIMEOUT 901.11 715.49 None popl20/simple-array-sum.wvr.yml true 49.46 30.67 None popl20/simple-queue.wvr.yml TIMEOUT 900.88 757.14 None popl20/threaded-sum-3.wvr.yml TIMEOUT 901.19 704.72 None popl20/three-array-max.wvr.yml TIMEOUT 900.60 769.10 None popl20/three-array-min.wvr.yml TIMEOUT 900.48 780.86 None popl20/three-array-sum.wvr.yml TIMEOUT 900.50 729.60 None popl20/two-queue.wvr.yml TIMEOUT 900.86 737.88 None popl20-more/array-sum-alt.wvr.yml TIMEOUT 900.93 713.28 None popl20-more/array-sum.wvr.yml TIMEOUT 900.58 741.26 None popl20-more/buffer-mult.wvr.yml OUT OF MEMORY 770.34 616.11 None popl20-more/buffer-series.wvr.yml true 149.79 107.21 None popl20-more/dec-subseq.wvr.yml TIMEOUT 900.97 794.67 None popl20-more/inc-subseq.wvr.yml TIMEOUT 900.25 818.99 None popl20-more/max-array-hom.wvr.yml TIMEOUT 900.61 715.82 None popl20-more/max-array.wvr.yml TIMEOUT 901.13 718.70 None popl20-more/min-array-hom.wvr.yml TIMEOUT 900.68 714.09 None popl20-more/min-array.wvr.yml TIMEOUT 900.89 707.62 None popl20-more/min-le-max.wvr.yml true 23.26 13.90 None popl20-more/mts.wvr.yml TIMEOUT 900.71 717.57 None popl20-more/multiply-verify.wvr.yml TIMEOUT 900.69 723.14 None popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 900.98 721.53 None popl20-more/parray-copy.wvr.yml TIMEOUT 900.43 732.82 None popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 900.73 714.14 None popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 900.86 718.88 None popl20-more/sorted.wvr.yml TIMEOUT 900.70 713.13 None popl20-more/sum-array-hom.wvr.yml TIMEOUT 901.31 702.95 None popl20-more/vector-add.wvr.yml TIMEOUT 900.83 821.72 None popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 900.34 737.22 None popl20-bad/commit-1.wvr.yml true 412.30 309.95 None popl20-bad/commit-2.wvr.yml TIMEOUT 900.92 713.30 None popl20-bad/counter-queue.wvr.yml TIMEOUT 901.20 713.56 None popl20-bad/dot-product-alt.wvr.yml TIMEOUT 900.81 818.08 None popl20-bad/dot-product.wvr.yml TIMEOUT 900.74 725.38 None popl20-bad/ring-nondet.wvr.yml TIMEOUT 900.56 780.45 None popl20-bad/ring.wvr.yml TIMEOUT 901.05 794.49 None popl20-bad/threaded-sum-2.wvr.yml true 57.62 36.62 None popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 901.15 710.96 None ------------------------------------------------------------------------------------------------------------- Run set 4 done 3605.30 5462.14 - Statistics: 332 Files correct: 98 correct true: 98 correct false: 0 incorrect: 2 incorrect true: 0 incorrect false: 2 unknown: 232 Score: 164 (max: 662)