BENCHMARK INFORMATION benchmark definition: concurrency.xml name: concurrency run sets: Automizer FA.Weaver Benchmarks, Automizer PARTIAL_ORDER_FA.DelaySleep.Weaver Benchmarks, Automizer PARTIAL_ORDER_FA.Persistent.Weaver Benchmarks, Automizer PARTIAL_ORDER_FA.DelaySleepPersistent.Weaver Benchmarks date: Mon, 2021-05-03 13:49:34 CEST tool: ULTIMATE Automizer 0.2.1-d47b9413 tool executable: ./Ultimate.py options: --force-no-wrapper parallel runs: 7 resource limits: - memory: 16000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 16000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: benchexec os: Linux-5.4.65-1-pve-x86_64-with-debian-10.9 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Automizer FA.Weaver Benchmarks Run set 1 of 4 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 ------------------------------------------------------------------------------------------------------------- array-eq-symm.wvr.yml TIMEOUT 901.10 870.03 None array-eq-trans.wvr.yml OUT OF MEMORY 615.42 413.28 None clever.wvr.yml TIMEOUT 901.18 813.66 None fibonacci.wvr.yml TIMEOUT 900.96 875.79 None loop-tiling-eq.wvr.yml TIMEOUT 905.76 906.18 None mult-comm.wvr.yml TIMEOUT 905.53 883.14 None mult-dist.wvr.yml TIMEOUT 902.77 773.69 None mult-flipped-dist.wvr.yml TIMEOUT 901.69 736.50 None security.wvr.yml true 15.99 8.91 None spaghetti.wvr.yml true 4.88 2.81 None unroll-2.wvr.yml TIMEOUT 901.73 820.68 None unroll-3.wvr.yml TIMEOUT 902.46 818.11 None unroll-4.wvr.yml TIMEOUT 901.26 857.38 None unroll-5.wvr.yml OUT OF MEMORY 776.69 733.20 None unroll-cond-2.wvr.yml TIMEOUT 901.04 856.61 None unroll-cond-3.wvr.yml TIMEOUT 901.18 857.64 None unroll-cond-4.wvr.yml TIMEOUT 900.93 900.43 None unroll-cond-5.wvr.yml TIMEOUT 905.58 896.82 None bench/exp1x3.wvr.yml TIMEOUT 904.75 869.30 None bench/exp2x3.wvr.yml OUT OF MEMORY 218.74 206.24 None bench/exp2x4.wvr.yml ERROR: EXCEPTION 115.83 89.85 None bench/exp2x6.wvr.yml ERROR: EXCEPTION 24.28 13.89 None bench/exp2x9.wvr.yml ERROR: EXCEPTION 30.26 16.88 None bench/exp3x3-opt.wvr.yml TIMEOUT 917.21 578.51 None bench/exp3x3.wvr.yml TIMEOUT 916.28 550.60 None chl/array-int-subst.wvr.yml TIMEOUT 901.05 827.33 None chl/array-int-symm.wvr.yml TIMEOUT 900.55 887.25 None chl/array-int-trans.wvr.yml TIMEOUT 900.93 847.08 None chl/chromosome-opt-symm.wvr.yml TIMEOUT 900.68 827.17 None chl/chromosome-subst.wvr.yml TIMEOUT 901.29 809.98 None chl/chromosome-symm.wvr.yml TIMEOUT 900.44 848.28 None chl/chromosome-trans.wvr.yml TIMEOUT 900.59 871.44 None chl/collitem-subst.wvr.yml true 28.63 16.00 None chl/collitem-symm.wvr.yml true 10.43 5.84 None chl/collitem-trans.wvr.yml true 25.31 14.14 None chl/container-subst.wvr.yml true 23.70 13.97 None chl/container-symm.wvr.yml true 10.58 5.79 None chl/container-trans.wvr.yml true 24.52 13.71 None chl/exp-term-subst.wvr.yml true 15.00 8.53 None chl/exp-term-symm.wvr.yml true 8.71 4.89 None chl/file-item-subst.wvr.yml true 12.88 7.57 None chl/file-item-symm.wvr.yml true 9.37 5.20 None chl/file-item-trans.wvr.yml true 8.32 4.95 None chl/match-subst.wvr.yml true 14.54 7.98 None chl/match-symm.wvr.yml true 6.23 3.60 None chl/match-trans.wvr.yml true 10.82 6.09 None chl/name-comparator-subst.wvr.yml TIMEOUT 900.31 844.52 None chl/name-comparator-symm.wvr.yml true 617.99 548.24 None chl/name-comparator-trans.wvr.yml TIMEOUT 900.88 902.42 None chl/node-subst.wvr.yml true 14.78 8.07 None chl/node-symm.wvr.yml true 7.43 4.22 None chl/node-trans.wvr.yml true 9.26 5.18 None chl/nzb-file-subst.wvr.yml TIMEOUT 900.64 770.99 None chl/nzb-file-symm.wvr.yml TIMEOUT 901.01 842.18 None chl/nzb-file-trans.wvr.yml TIMEOUT 900.44 793.11 None chl/poker-hand-subst.wvr.yml TIMEOUT 900.88 765.47 None chl/poker-hand-symm.wvr.yml TIMEOUT 900.51 823.92 None chl/poker-hand-trans.wvr.yml TIMEOUT 901.25 828.99 None chl/simpl-str-subst.wvr.yml true 9.57 5.54 None chl/simpl-str-symm.wvr.yml true 5.68 3.44 None chl/simpl-str-trans.wvr.yml true 7.49 4.16 None chl/sre-subst.wvr.yml true 8.62 5.01 None chl/sre-symm.wvr.yml true 5.62 3.29 None chl/sre-trans.wvr.yml true 6.89 3.86 None chl/time-subst.wvr.yml true 9.19 5.44 None chl/time-symm.wvr.yml true 5.54 3.26 None chl/time-trans.wvr.yml true 6.99 4.07 None chl/word-subst.wvr.yml TIMEOUT 900.92 855.91 None chl/word-symm.wvr.yml TIMEOUT 900.62 842.09 None chl/word-trans.wvr.yml TIMEOUT 901.13 821.60 None parallel/bakery-2.wvr.yml true 8.49 4.77 None parallel/bakery-3.wvr.yml true 59.71 33.09 None parallel/bakery-4.wvr.yml TIMEOUT 907.85 640.64 None parallel/barrier-loop.wvr.yml false(unreach-call) 20.09 10.76 None parallel/barrier.wvr.yml TIMEOUT 900.26 796.66 None parallel/bluetooth.wvr.yml true 4.12 2.48 None parallel/lamport.wvr.yml true 12.70 7.03 None parallel/min-max-1.wvr.yml true 4.63 2.80 None parallel/min-max-2.wvr.yml OUT OF MEMORY 486.49 291.98 None parallel/misc-1.wvr.yml TIMEOUT 900.73 848.73 None parallel/misc-2-unrolled-atomic.wvr.yml true 4.35 2.59 None parallel/misc-2-unrolled.wvr.yml true 5.84 3.72 None parallel/misc-2.wvr.yml OUT OF MEMORY 791.12 611.83 None parallel/misc-3-extended.wvr.yml true 26.81 17.82 None parallel/misc-3.wvr.yml true 5.77 3.58 None parallel/misc-4.wvr.yml true 8.33 5.44 None parallel/misc-5.wvr.yml TIMEOUT 905.61 871.82 None parallel/parallel-sum-1-dsl.wvr.yml true 185.68 153.21 None parallel/parallel-sum-1.wvr.yml TIMEOUT 901.07 823.61 None parallel/parallel-sum-2.wvr.yml true 318.75 268.78 None parallel/parallel-sum-equiv.wvr.yml true 176.85 141.20 None parallel/simple-equiv.wvr.yml true 8.89 4.94 None parallel/ticket-2.wvr.yml true 6.83 3.90 None parallel/ticket-3.wvr.yml true 10.27 5.78 None parallel/ticket-4.wvr.yml true 20.27 10.66 None parallel/ticket-5.wvr.yml true 88.01 55.89 None parallel/ticket-6.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.20 565.99 None parallel/ticket-7.wvr.yml TIMEOUT 912.67 815.50 None parallel/ticket-8.wvr.yml TIMEOUT 901.28 868.06 None popl20/channel-sum.wvr.yml TIMEOUT 901.18 859.37 None popl20/commit-1.wvr.yml true 9.17 5.72 None popl20/commit-2.wvr.yml true 372.73 330.57 None popl20/counter-determinism.wvr.yml TIMEOUT 908.06 576.82 None popl20/counter-fun.wvr.yml TIMEOUT 901.12 798.64 None popl20/difference-det.wvr.yml OUT OF MEMORY 604.66 396.96 None popl20/figure1-alt.wvr.yml true 34.21 27.35 None popl20/figure1.wvr.yml TIMEOUT 900.88 838.55 None popl20/figure3.wvr.yml TIMEOUT 900.57 803.36 None popl20/horseshoe.wvr.yml TIMEOUT 901.17 814.45 None popl20/min-max-dec.wvr.yml true 22.80 16.12 None popl20/min-max-inc-dec.wvr.yml OUT OF MEMORY 680.31 414.80 None popl20/min-max-inc.wvr.yml true 438.15 406.18 None popl20/mult-4.wvr.yml OUT OF MEMORY 612.95 361.53 None popl20/mult-equiv.wvr.yml TIMEOUT 901.89 669.12 None popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 901.04 837.04 None popl20/nonblocking-cntr.wvr.yml TIMEOUT 900.73 831.92 None popl20/prod-cons-eq.wvr.yml TIMEOUT 901.43 881.40 None popl20/prod-cons.wvr.yml TIMEOUT 900.29 821.66 None popl20/prod-cons3.wvr.yml TIMEOUT 900.24 804.69 None popl20/queue-add-2.wvr.yml TIMEOUT 901.10 810.75 None popl20/queue-add-3.wvr.yml TIMEOUT 900.87 773.27 None popl20/send-receive-alt.wvr.yml TIMEOUT 900.77 852.04 None popl20/send-receive.wvr.yml TIMEOUT 901.33 845.64 None popl20/simple-array-sum.wvr.yml TIMEOUT 902.23 707.05 None popl20/simple-queue.wvr.yml TIMEOUT 901.08 857.18 None popl20/threaded-sum-3.wvr.yml TIMEOUT 900.23 810.58 None popl20/three-array-max.wvr.yml TIMEOUT 901.00 822.71 None popl20/three-array-min.wvr.yml TIMEOUT 901.03 814.53 None popl20/three-array-sum.wvr.yml TIMEOUT 901.23 733.79 None popl20/two-queue.wvr.yml true 833.41 779.06 None popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 906.26 868.47 None popl20-bad/commit-1.wvr.yml true 29.08 20.81 None popl20-bad/commit-2.wvr.yml true 45.82 35.01 None popl20-bad/counter-queue.wvr.yml TIMEOUT 901.04 860.37 None popl20-bad/dot-product-alt.wvr.yml TIMEOUT 901.49 826.01 None popl20-bad/dot-product.wvr.yml TIMEOUT 900.96 773.03 None popl20-bad/ring-nondet.wvr.yml TIMEOUT 900.85 778.09 None popl20-bad/ring.wvr.yml true 34.17 20.56 None popl20-bad/threaded-sum-2.wvr.yml true 212.57 163.35 None popl20-bad/three-array-sum-alt.wvr.yml OUT OF MEMORY 414.03 365.59 None popl20-more/array-sum-alt.wvr.yml ERROR: EXCEPTION 565.04 490.05 None popl20-more/array-sum.wvr.yml TIMEOUT 900.83 810.00 None popl20-more/buffer-mult.wvr.yml TIMEOUT 903.11 665.92 None popl20-more/buffer-series-array.wvr.yml TIMEOUT 901.48 808.34 None popl20-more/buffer-series.wvr.yml TIMEOUT 900.99 764.16 None popl20-more/dec-subseq-array.wvr.yml TIMEOUT 902.08 877.41 None popl20-more/dec-subseq.wvr.yml TIMEOUT 905.95 868.36 None popl20-more/dot-product-array.wvr.yml TIMEOUT 900.88 874.65 None popl20-more/dot-product.wvr.yml TIMEOUT 905.72 871.32 None popl20-more/inc-subseq-array.wvr.yml TIMEOUT 902.80 861.44 None popl20-more/inc-subseq.wvr.yml TIMEOUT 905.42 883.48 None popl20-more/max-array-hom.wvr.yml TIMEOUT 901.22 818.35 None popl20-more/max-array.wvr.yml TIMEOUT 900.81 829.79 None popl20-more/max-fun-alt.wvr.yml TIMEOUT 901.20 802.64 None popl20-more/max-fun.wvr.yml TIMEOUT 900.77 862.24 None popl20-more/min-array-hom.wvr.yml TIMEOUT 900.51 786.45 None popl20-more/min-array.wvr.yml true 256.58 207.02 None popl20-more/min-fun-alt.wvr.yml true 335.26 271.09 None popl20-more/min-fun.wvr.yml TIMEOUT 900.70 859.40 None popl20-more/min-le-max.wvr.yml true 9.56 5.95 None popl20-more/mts-array.wvr.yml TIMEOUT 909.81 632.66 None popl20-more/mts.wvr.yml TIMEOUT 909.47 647.38 None popl20-more/multiply-verify.wvr.yml TIMEOUT 901.69 700.64 None popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 904.21 879.04 None popl20-more/parray-copy.wvr.yml TIMEOUT 900.74 868.79 None popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 901.06 813.58 None popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 900.95 827.51 None popl20-more/sorted.wvr.yml TIMEOUT 900.90 861.19 None popl20-more/sum-array-hom.wvr.yml TIMEOUT 901.27 874.91 None popl20-more/sum-array.wvr.yml TIMEOUT 905.61 880.87 None popl20-more/sum-fun-alt.wvr.yml TIMEOUT 905.61 880.70 None popl20-more/sum-fun.wvr.yml TIMEOUT 901.37 858.86 None popl20-more/vector-add.wvr.yml true 13.26 7.71 None popl20-proofs/counter-add-4-semi-Q67.wvr.yml OUT OF MEMORY 460.68 277.19 None test/context1.wvr.yml TIMEOUT 900.98 892.68 None test/easy1.wvr.yml true 21.41 20.57 None test/easy10.wvr.yml TIMEOUT 901.09 821.35 None test/easy11.wvr.yml true 100.05 76.36 None test/easy6.wvr.yml true 8.84 5.20 None test/easy7.wvr.yml true 6.22 3.96 None test/easy8.wvr.yml true 4.56 2.72 None test/hard1.wvr.yml TIMEOUT 902.26 678.23 None test/semi1.wvr.yml true 6.22 3.79 None ------------------------------------------------------------------------------------------------------------- Run set 1 done 87887.70 13298.74 - Automizer PARTIAL_ORDER_FA.DelaySleep.Weaver Benchmarks Run set 2 of 4 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-DelaySleep-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- array-eq-symm.wvr.yml TIMEOUT 900.63 816.66 None array-eq-trans.wvr.yml TIMEOUT 901.15 846.22 None clever.wvr.yml TIMEOUT 900.33 871.26 None fibonacci.wvr.yml TIMEOUT 905.81 873.36 None loop-tiling-eq.wvr.yml TIMEOUT 901.35 836.01 None mult-comm.wvr.yml TIMEOUT 901.07 827.75 None mult-dist.wvr.yml TIMEOUT 900.93 840.61 None mult-flipped-dist.wvr.yml TIMEOUT 901.31 811.41 None security.wvr.yml true 8.88 4.96 None spaghetti.wvr.yml true 6.54 3.96 None unroll-2.wvr.yml TIMEOUT 901.41 843.99 None unroll-3.wvr.yml TIMEOUT 902.56 838.09 None unroll-4.wvr.yml TIMEOUT 903.25 860.85 None unroll-5.wvr.yml TIMEOUT 900.94 872.76 None unroll-cond-2.wvr.yml TIMEOUT 900.78 874.16 None unroll-cond-3.wvr.yml TIMEOUT 900.96 856.19 None unroll-cond-4.wvr.yml TIMEOUT 903.93 850.62 None unroll-cond-5.wvr.yml TIMEOUT 905.76 888.65 None bench/exp1x3.wvr.yml ERROR: EXCEPTION 18.91 13.12 None bench/exp2x3.wvr.yml ERROR: EXCEPTION 21.48 14.22 None bench/exp2x4.wvr.yml TIMEOUT 903.67 865.99 None bench/exp2x6.wvr.yml TIMEOUT 900.66 848.71 None bench/exp2x9.wvr.yml ERROR: EXCEPTION 8.31 5.71 None bench/exp3x3-opt.wvr.yml TIMEOUT 911.23 642.51 None bench/exp3x3.wvr.yml ERROR: EXCEPTION 28.55 18.73 None chl/array-int-subst.wvr.yml TIMEOUT 901.40 872.73 None chl/array-int-symm.wvr.yml TIMEOUT 900.73 860.32 None chl/array-int-trans.wvr.yml TIMEOUT 900.59 875.78 None chl/chromosome-opt-symm.wvr.yml true 37.40 23.93 None chl/chromosome-subst.wvr.yml true 51.51 32.91 None chl/chromosome-symm.wvr.yml true 27.92 17.32 None chl/chromosome-trans.wvr.yml true 76.62 54.06 None chl/collitem-subst.wvr.yml true 9.30 5.36 None chl/collitem-symm.wvr.yml true 7.15 4.21 None chl/collitem-trans.wvr.yml true 11.63 6.50 None chl/container-subst.wvr.yml true 8.96 5.18 None chl/container-symm.wvr.yml true 5.77 3.52 None chl/container-trans.wvr.yml true 12.38 6.82 None chl/exp-term-subst.wvr.yml true 4.96 3.12 None chl/exp-term-symm.wvr.yml true 6.36 3.81 None chl/file-item-subst.wvr.yml true 5.50 3.53 None chl/file-item-symm.wvr.yml true 6.66 4.05 None chl/file-item-trans.wvr.yml true 7.03 4.50 None chl/match-subst.wvr.yml true 5.35 3.30 None chl/match-symm.wvr.yml true 6.45 3.87 None chl/match-trans.wvr.yml true 4.93 2.97 None chl/name-comparator-subst.wvr.yml true 28.17 18.13 None chl/name-comparator-symm.wvr.yml true 19.36 12.51 None chl/name-comparator-trans.wvr.yml true 51.24 38.90 None chl/node-subst.wvr.yml true 7.00 4.33 None chl/node-symm.wvr.yml true 6.39 3.80 None chl/node-trans.wvr.yml true 6.69 3.90 None chl/nzb-file-subst.wvr.yml true 103.15 73.87 None chl/nzb-file-symm.wvr.yml true 38.05 24.05 None chl/nzb-file-trans.wvr.yml true 141.17 101.97 None chl/poker-hand-subst.wvr.yml TIMEOUT 901.17 817.40 None chl/poker-hand-symm.wvr.yml true 173.31 148.49 None chl/poker-hand-trans.wvr.yml TIMEOUT 900.91 833.81 None chl/simpl-str-subst.wvr.yml true 6.88 3.93 None chl/simpl-str-symm.wvr.yml true 5.96 3.72 None chl/simpl-str-trans.wvr.yml true 6.27 3.75 None chl/sre-subst.wvr.yml true 6.54 3.98 None chl/sre-symm.wvr.yml true 5.97 3.73 None chl/sre-trans.wvr.yml true 6.43 3.86 None chl/time-subst.wvr.yml true 6.94 4.09 None chl/time-symm.wvr.yml true 5.65 3.42 None chl/time-trans.wvr.yml true 6.45 3.85 None chl/word-subst.wvr.yml TIMEOUT 901.06 824.35 None chl/word-symm.wvr.yml TIMEOUT 901.08 815.64 None chl/word-trans.wvr.yml TIMEOUT 900.37 814.39 None parallel/bakery-2.wvr.yml true 6.11 4.36 None parallel/bakery-3.wvr.yml true 43.03 28.38 None parallel/bakery-4.wvr.yml OUT OF MEMORY 450.03 364.90 None parallel/barrier-loop.wvr.yml false(unreach-call) 11.89 7.21 None parallel/barrier.wvr.yml true 11.04 6.27 None parallel/bluetooth.wvr.yml true 6.33 4.17 None parallel/lamport.wvr.yml true 9.30 5.45 None parallel/min-max-1.wvr.yml true 6.33 3.88 None parallel/min-max-2.wvr.yml OUT OF MEMORY 508.84 377.59 None parallel/misc-1.wvr.yml TIMEOUT 905.57 876.26 None parallel/misc-2-unrolled-atomic.wvr.yml true 5.99 3.68 None parallel/misc-2-unrolled.wvr.yml true 6.53 4.20 None parallel/misc-2.wvr.yml TIMEOUT 901.17 820.08 None parallel/misc-3-extended.wvr.yml true 6.80 4.23 None parallel/misc-3.wvr.yml true 5.53 3.66 None parallel/misc-4.wvr.yml true 6.56 4.54 None parallel/misc-5.wvr.yml TIMEOUT 905.35 897.63 None parallel/parallel-sum-1-dsl.wvr.yml OUT OF MEMORY 754.98 649.48 None parallel/parallel-sum-1.wvr.yml TIMEOUT 905.65 851.93 None parallel/parallel-sum-2.wvr.yml TIMEOUT 901.14 820.43 None parallel/parallel-sum-equiv.wvr.yml TIMEOUT 905.80 866.59 None parallel/simple-equiv.wvr.yml true 7.18 4.63 None parallel/ticket-2.wvr.yml true 7.23 4.57 None parallel/ticket-3.wvr.yml true 10.53 6.31 None parallel/ticket-4.wvr.yml true 23.45 12.98 None parallel/ticket-5.wvr.yml true 66.34 42.13 None parallel/ticket-6.wvr.yml true 499.07 385.77 None parallel/ticket-7.wvr.yml OUT OF MEMORY 541.89 408.30 None parallel/ticket-8.wvr.yml TIMEOUT 901.26 864.11 None popl20/channel-sum.wvr.yml TIMEOUT 900.85 847.22 None popl20/commit-1.wvr.yml true 11.31 7.43 None popl20/commit-2.wvr.yml true 22.95 13.47 None popl20/counter-determinism.wvr.yml TIMEOUT 903.91 776.37 None popl20/counter-fun.wvr.yml TIMEOUT 901.13 846.52 None popl20/difference-det.wvr.yml TIMEOUT 900.79 871.30 None popl20/figure1-alt.wvr.yml true 8.48 5.60 None popl20/figure1.wvr.yml TIMEOUT 900.55 864.25 None popl20/figure3.wvr.yml TIMEOUT 900.52 803.02 None popl20/horseshoe.wvr.yml TIMEOUT 900.85 843.08 None popl20/min-max-dec.wvr.yml OUT OF MEMORY 424.21 343.17 None popl20/min-max-inc-dec.wvr.yml OUT OF MEMORY 622.10 401.44 None popl20/min-max-inc.wvr.yml OUT OF MEMORY 296.35 250.76 None popl20/mult-4.wvr.yml TIMEOUT 900.78 863.98 None popl20/mult-equiv.wvr.yml TIMEOUT 901.29 805.05 None popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 900.43 868.69 None popl20/nonblocking-cntr.wvr.yml TIMEOUT 901.09 829.61 None popl20/prod-cons-eq.wvr.yml TIMEOUT 906.31 824.52 None popl20/prod-cons.wvr.yml TIMEOUT 901.24 825.51 None popl20/prod-cons3.wvr.yml TIMEOUT 901.39 845.19 None popl20/queue-add-2.wvr.yml TIMEOUT 900.42 875.17 None popl20/queue-add-3.wvr.yml TIMEOUT 901.12 809.47 None popl20/send-receive-alt.wvr.yml TIMEOUT 900.47 872.85 None popl20/send-receive.wvr.yml TIMEOUT 901.39 860.47 None popl20/simple-array-sum.wvr.yml TIMEOUT 901.32 795.87 None popl20/simple-queue.wvr.yml TIMEOUT 901.26 813.31 None popl20/threaded-sum-3.wvr.yml TIMEOUT 902.35 847.99 None popl20/three-array-max.wvr.yml TIMEOUT 905.81 843.27 None popl20/three-array-min.wvr.yml TIMEOUT 905.58 875.35 None popl20/three-array-sum.wvr.yml TIMEOUT 902.00 777.67 None popl20/two-queue.wvr.yml true 13.61 9.94 None popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 901.27 890.37 None popl20-bad/commit-1.wvr.yml true 49.53 39.67 None popl20-bad/commit-2.wvr.yml TIMEOUT 901.15 836.23 None popl20-bad/counter-queue.wvr.yml ERROR: EXCEPTION 728.54 637.80 None popl20-bad/dot-product-alt.wvr.yml TIMEOUT 900.74 832.51 None popl20-bad/dot-product.wvr.yml TIMEOUT 901.43 806.98 None popl20-bad/ring-nondet.wvr.yml TIMEOUT 901.33 816.40 None popl20-bad/ring.wvr.yml true 16.91 10.73 None popl20-bad/threaded-sum-2.wvr.yml true 35.70 23.43 None popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 904.24 874.59 None popl20-more/array-sum-alt.wvr.yml ERROR: EXCEPTION 497.57 483.43 None popl20-more/array-sum.wvr.yml TIMEOUT 903.56 889.59 None popl20-more/buffer-mult.wvr.yml TIMEOUT 901.02 847.64 None popl20-more/buffer-series-array.wvr.yml TIMEOUT 900.86 858.15 None popl20-more/buffer-series.wvr.yml TIMEOUT 901.19 835.96 None popl20-more/dec-subseq-array.wvr.yml ERROR: EXCEPTION 90.78 67.12 None popl20-more/dec-subseq.wvr.yml ERROR: EXCEPTION 82.40 63.15 None popl20-more/dot-product-array.wvr.yml TIMEOUT 905.96 878.97 None popl20-more/dot-product.wvr.yml TIMEOUT 905.95 874.95 None popl20-more/inc-subseq-array.wvr.yml ERROR: EXCEPTION 380.43 351.99 None popl20-more/inc-subseq.wvr.yml ERROR: EXCEPTION 404.81 392.49 None popl20-more/max-array-hom.wvr.yml TIMEOUT 906.03 859.72 None popl20-more/max-array.wvr.yml TIMEOUT 906.34 833.12 None popl20-more/max-fun-alt.wvr.yml TIMEOUT 905.47 891.29 None popl20-more/max-fun.wvr.yml TIMEOUT 900.60 881.38 None popl20-more/min-array-hom.wvr.yml TIMEOUT 905.75 870.51 None popl20-more/min-array.wvr.yml TIMEOUT 906.24 841.66 None popl20-more/min-fun-alt.wvr.yml TIMEOUT 906.23 837.76 None popl20-more/min-fun.wvr.yml TIMEOUT 906.26 855.52 None popl20-more/min-le-max.wvr.yml true 7.43 13.03 None popl20-more/mts-array.wvr.yml TIMEOUT 901.95 860.81 None popl20-more/mts.wvr.yml TIMEOUT 904.17 892.22 None popl20-more/multiply-verify.wvr.yml TIMEOUT 900.62 873.48 None popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 900.67 848.30 None popl20-more/parray-copy.wvr.yml ERROR: EXCEPTION 233.35 201.21 None popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 900.91 842.23 None popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 901.75 852.36 None popl20-more/sorted.wvr.yml TIMEOUT 906.44 831.67 None popl20-more/sum-array-hom.wvr.yml TIMEOUT 900.92 827.16 None popl20-more/sum-array.wvr.yml OUT OF MEMORY 517.16 453.81 None popl20-more/sum-fun-alt.wvr.yml OUT OF MEMORY 720.63 615.41 None popl20-more/sum-fun.wvr.yml TIMEOUT 900.41 881.28 None popl20-more/vector-add.wvr.yml true 21.22 12.93 None popl20-proofs/counter-add-4-semi-Q67.wvr.yml TIMEOUT 900.81 724.87 None test/context1.wvr.yml TIMEOUT 900.34 811.94 None test/easy1.wvr.yml true 6.78 5.05 None test/easy10.wvr.yml true 9.44 5.56 None test/easy11.wvr.yml true 6.37 4.60 None test/easy6.wvr.yml true 8.21 5.02 None test/easy7.wvr.yml true 4.65 2.91 None test/easy8.wvr.yml true 4.32 2.71 None test/hard1.wvr.yml TIMEOUT 901.24 829.33 None test/semi1.wvr.yml true 4.22 2.72 None ------------------------------------------------------------------------------------------------------------- Run set 2 done 52390.67 12345.44 - Automizer PARTIAL_ORDER_FA.Persistent.Weaver Benchmarks Run set 3 of 4 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-DelaySleepPersistent-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- array-eq-symm.wvr.yml TIMEOUT 901.41 822.00 None array-eq-trans.wvr.yml TIMEOUT 900.51 871.36 None clever.wvr.yml TIMEOUT 900.52 867.37 None fibonacci.wvr.yml TIMEOUT 905.62 874.91 None loop-tiling-eq.wvr.yml TIMEOUT 901.04 850.05 None mult-comm.wvr.yml TIMEOUT 900.99 832.52 None mult-dist.wvr.yml TIMEOUT 900.94 839.85 None mult-flipped-dist.wvr.yml TIMEOUT 901.14 814.80 None security.wvr.yml true 9.32 5.39 None spaghetti.wvr.yml true 7.20 4.40 None unroll-2.wvr.yml TIMEOUT 906.08 857.33 None unroll-3.wvr.yml TIMEOUT 900.57 831.11 None unroll-4.wvr.yml TIMEOUT 905.96 856.16 None unroll-5.wvr.yml TIMEOUT 900.84 878.28 None unroll-cond-2.wvr.yml TIMEOUT 905.77 873.34 None unroll-cond-3.wvr.yml TIMEOUT 901.45 859.62 None unroll-cond-4.wvr.yml TIMEOUT 901.27 847.66 None unroll-cond-5.wvr.yml TIMEOUT 905.81 890.55 None bench/exp1x3.wvr.yml ERROR: EXCEPTION 14.37 11.12 None bench/exp2x3.wvr.yml ERROR: EXCEPTION 22.11 14.89 None bench/exp2x4.wvr.yml TIMEOUT 906.34 868.94 None bench/exp2x6.wvr.yml TIMEOUT 905.77 858.77 None bench/exp2x9.wvr.yml ERROR: EXCEPTION 8.87 5.42 None bench/exp3x3-opt.wvr.yml TIMEOUT 904.96 812.49 None bench/exp3x3.wvr.yml ERROR: EXCEPTION 16.69 13.02 None chl/array-int-subst.wvr.yml TIMEOUT 900.43 877.75 None chl/array-int-symm.wvr.yml TIMEOUT 900.35 878.77 None chl/array-int-trans.wvr.yml TIMEOUT 901.03 833.61 None chl/chromosome-opt-symm.wvr.yml true 33.37 22.64 None chl/chromosome-subst.wvr.yml true 38.31 25.61 None chl/chromosome-symm.wvr.yml true 22.58 16.41 None chl/chromosome-trans.wvr.yml true 49.53 37.24 None chl/collitem-subst.wvr.yml true 10.02 5.80 None chl/collitem-symm.wvr.yml true 7.99 4.91 None chl/collitem-trans.wvr.yml true 11.49 6.45 None chl/container-subst.wvr.yml true 9.41 5.36 None chl/container-symm.wvr.yml true 7.60 4.56 None chl/container-trans.wvr.yml true 11.59 6.68 None chl/exp-term-subst.wvr.yml true 6.74 4.14 None chl/exp-term-symm.wvr.yml true 6.53 3.92 None chl/file-item-subst.wvr.yml true 7.67 4.74 None chl/file-item-symm.wvr.yml true 7.29 4.62 None chl/file-item-trans.wvr.yml true 7.29 4.56 None chl/match-subst.wvr.yml true 7.20 4.36 None chl/match-symm.wvr.yml true 6.64 4.12 None chl/match-trans.wvr.yml true 6.30 4.08 None chl/name-comparator-subst.wvr.yml true 27.22 17.31 None chl/name-comparator-symm.wvr.yml true 18.76 12.16 None chl/name-comparator-trans.wvr.yml true 59.05 42.02 None chl/node-subst.wvr.yml true 6.02 3.63 None chl/node-symm.wvr.yml true 5.17 3.22 None chl/node-trans.wvr.yml true 5.47 3.26 None chl/nzb-file-subst.wvr.yml true 75.08 60.05 None chl/nzb-file-symm.wvr.yml true 34.39 21.71 None chl/nzb-file-trans.wvr.yml true 65.84 50.12 None chl/poker-hand-subst.wvr.yml TIMEOUT 901.13 799.68 None chl/poker-hand-symm.wvr.yml true 209.17 180.82 None chl/poker-hand-trans.wvr.yml TIMEOUT 900.63 815.15 None chl/simpl-str-subst.wvr.yml true 6.82 4.37 None chl/simpl-str-symm.wvr.yml true 5.77 3.55 None chl/simpl-str-trans.wvr.yml true 6.51 4.31 None chl/sre-subst.wvr.yml true 6.27 4.01 None chl/sre-symm.wvr.yml true 6.41 3.97 None chl/sre-trans.wvr.yml true 6.13 3.84 None chl/time-subst.wvr.yml true 4.81 3.03 None chl/time-symm.wvr.yml true 4.32 2.85 None chl/time-trans.wvr.yml true 5.82 3.64 None chl/word-subst.wvr.yml TIMEOUT 901.39 838.61 None chl/word-symm.wvr.yml TIMEOUT 900.43 874.44 None chl/word-trans.wvr.yml TIMEOUT 900.87 836.09 None parallel/bakery-2.wvr.yml true 5.71 3.65 None parallel/bakery-3.wvr.yml true 6.44 4.13 None parallel/bakery-4.wvr.yml true 7.61 4.69 None parallel/barrier-loop.wvr.yml true 6.87 4.23 None parallel/barrier.wvr.yml true 6.28 4.37 None parallel/bluetooth.wvr.yml true 5.68 3.61 None parallel/lamport.wvr.yml true 6.14 4.18 None parallel/min-max-1.wvr.yml true 6.20 3.87 None parallel/min-max-2.wvr.yml true 9.85 6.65 None parallel/misc-1.wvr.yml TIMEOUT 901.43 876.93 None parallel/misc-2-unrolled-atomic.wvr.yml true 5.84 3.82 None parallel/misc-2-unrolled.wvr.yml true 6.31 3.70 None parallel/misc-2.wvr.yml TIMEOUT 900.30 798.56 None parallel/misc-3-extended.wvr.yml true 7.90 4.87 None parallel/misc-3.wvr.yml true 7.43 4.52 None parallel/misc-4.wvr.yml true 5.97 3.67 None parallel/misc-5.wvr.yml true 6.01 3.56 None parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 900.95 864.38 None parallel/parallel-sum-1.wvr.yml TIMEOUT 903.07 868.60 None parallel/parallel-sum-2.wvr.yml TIMEOUT 900.99 833.11 None parallel/parallel-sum-equiv.wvr.yml TIMEOUT 906.24 881.36 None parallel/simple-equiv.wvr.yml true 4.31 2.92 None parallel/ticket-2.wvr.yml true 4.50 2.93 None parallel/ticket-3.wvr.yml true 4.61 3.09 None parallel/ticket-4.wvr.yml true 4.52 3.03 None parallel/ticket-5.wvr.yml true 4.85 3.20 None parallel/ticket-6.wvr.yml true 5.05 3.54 None parallel/ticket-7.wvr.yml true 5.22 3.35 None parallel/ticket-8.wvr.yml true 5.14 3.48 None popl20/channel-sum.wvr.yml true 4.46 3.23 None popl20/commit-1.wvr.yml true 4.84 3.07 None popl20/commit-2.wvr.yml true 5.29 3.36 None popl20/counter-determinism.wvr.yml TIMEOUT 900.68 870.64 None popl20/counter-fun.wvr.yml TIMEOUT 905.72 876.93 None popl20/difference-det.wvr.yml TIMEOUT 901.32 806.12 None popl20/figure1-alt.wvr.yml true 12.67 8.01 None popl20/figure1.wvr.yml TIMEOUT (ERROR: EXCEPTION) 901.02 810.59 None popl20/figure3.wvr.yml TIMEOUT 901.36 818.54 None popl20/horseshoe.wvr.yml TIMEOUT 900.70 851.11 None popl20/min-max-dec.wvr.yml true 6.05 4.27 None popl20/min-max-inc-dec.wvr.yml true 6.73 4.82 None popl20/min-max-inc.wvr.yml true 6.38 4.43 None popl20/mult-4.wvr.yml TIMEOUT 901.06 842.98 None popl20/mult-equiv.wvr.yml TIMEOUT 900.53 860.46 None popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 900.73 862.16 None popl20/nonblocking-cntr.wvr.yml TIMEOUT 900.44 799.89 None popl20/prod-cons-eq.wvr.yml TIMEOUT 900.98 809.77 None popl20/prod-cons.wvr.yml true 6.63 3.77 None popl20/prod-cons3.wvr.yml true 7.30 4.35 None popl20/queue-add-2.wvr.yml TIMEOUT 900.99 833.39 None popl20/queue-add-3.wvr.yml TIMEOUT 901.06 828.34 None popl20/send-receive-alt.wvr.yml true 4.86 3.34 None popl20/send-receive.wvr.yml true 4.38 2.70 None popl20/simple-array-sum.wvr.yml TIMEOUT 902.97 844.76 None popl20/simple-queue.wvr.yml TIMEOUT 900.48 869.45 None popl20/threaded-sum-3.wvr.yml true 6.49 4.12 None popl20/three-array-max.wvr.yml true 26.82 16.75 None popl20/three-array-min.wvr.yml TIMEOUT 905.45 885.36 None popl20/three-array-sum.wvr.yml TIMEOUT 901.18 824.79 None popl20/two-queue.wvr.yml true 9.69 5.81 None popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 905.79 881.09 None popl20-bad/commit-1.wvr.yml true 8.04 5.17 None popl20-bad/commit-2.wvr.yml true 8.38 5.49 None popl20-bad/counter-queue.wvr.yml ERROR: EXCEPTION 751.53 661.67 None popl20-bad/dot-product-alt.wvr.yml TIMEOUT 904.23 870.33 None popl20-bad/dot-product.wvr.yml TIMEOUT 901.09 828.12 None popl20-bad/ring-nondet.wvr.yml true 8.51 6.42 None popl20-bad/ring.wvr.yml true 4.63 3.22 None popl20-bad/threaded-sum-2.wvr.yml true 4.43 3.11 None popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 905.46 894.94 None popl20-more/array-sum-alt.wvr.yml TIMEOUT 900.99 875.17 None popl20-more/array-sum.wvr.yml TIMEOUT 902.69 875.79 None popl20-more/buffer-mult.wvr.yml TIMEOUT 901.61 863.91 None popl20-more/buffer-series-array.wvr.yml TIMEOUT 900.98 840.08 None popl20-more/buffer-series.wvr.yml TIMEOUT 900.84 864.18 None popl20-more/dec-subseq-array.wvr.yml ERROR: EXCEPTION 76.01 61.34 None popl20-more/dec-subseq.wvr.yml ERROR: EXCEPTION 75.54 61.81 None popl20-more/dot-product-array.wvr.yml TIMEOUT 900.77 878.51 None popl20-more/dot-product.wvr.yml TIMEOUT 900.85 886.09 None popl20-more/inc-subseq-array.wvr.yml ERROR: EXCEPTION 74.88 61.65 None popl20-more/inc-subseq.wvr.yml ERROR: EXCEPTION 75.58 63.54 None popl20-more/max-array-hom.wvr.yml TIMEOUT 905.66 881.75 None popl20-more/max-array.wvr.yml TIMEOUT 900.77 855.95 None popl20-more/max-fun-alt.wvr.yml TIMEOUT 906.10 844.99 None popl20-more/max-fun.wvr.yml TIMEOUT 900.97 845.60 None popl20-more/min-array-hom.wvr.yml TIMEOUT 900.69 864.30 None popl20-more/min-array.wvr.yml TIMEOUT 900.75 866.63 None popl20-more/min-fun-alt.wvr.yml TIMEOUT 900.39 887.08 None popl20-more/min-fun.wvr.yml TIMEOUT 900.50 882.91 None popl20-more/min-le-max.wvr.yml true 8.09 5.09 None popl20-more/mts-array.wvr.yml TIMEOUT 903.20 856.56 None popl20-more/mts.wvr.yml TIMEOUT 901.71 831.16 None popl20-more/multiply-verify.wvr.yml TIMEOUT 901.26 798.73 None popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 901.39 831.06 None popl20-more/parray-copy.wvr.yml ERROR: EXCEPTION 184.76 164.69 None popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 900.64 878.73 None popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 901.59 856.31 None popl20-more/sorted.wvr.yml TIMEOUT 902.28 862.14 None popl20-more/sum-array-hom.wvr.yml TIMEOUT 900.93 837.23 None popl20-more/sum-array.wvr.yml OUT OF MEMORY 546.43 447.56 None popl20-more/sum-fun-alt.wvr.yml OUT OF MEMORY 825.19 695.04 None popl20-more/sum-fun.wvr.yml TIMEOUT 901.26 845.10 None popl20-more/vector-add.wvr.yml true 15.52 10.46 None popl20-proofs/counter-add-4-semi-Q67.wvr.yml TIMEOUT 901.35 814.64 None test/context1.wvr.yml TIMEOUT 900.81 863.81 None test/easy1.wvr.yml true 6.70 4.85 None test/easy10.wvr.yml true 4.48 2.88 None test/easy11.wvr.yml true 6.30 4.44 None test/easy6.wvr.yml true 4.75 3.32 None test/easy7.wvr.yml true 4.47 2.71 None test/easy8.wvr.yml true 4.26 2.66 None test/hard1.wvr.yml TIMEOUT 901.08 826.32 None test/semi1.wvr.yml true 5.80 3.57 None ------------------------------------------------------------------------------------------------------------- Run set 3 done 40871.24 10688.95 - Automizer PARTIAL_ORDER_FA.DelaySleepPersistent.Weaver Benchmarks Run set 4 of 4 with options '--force-no-wrapper -s ../../../trunk/examples/settings/automizer/concurrent/svcomp-Reach-32bit-Automizer_Default-noMmResRef-POR-Persistent-NoLbe.epf' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------- array-eq-symm.wvr.yml TIMEOUT 901.13 819.81 None array-eq-trans.wvr.yml TIMEOUT 900.71 870.98 None clever.wvr.yml TIMEOUT 900.72 868.60 None fibonacci.wvr.yml TIMEOUT 903.38 854.95 None loop-tiling-eq.wvr.yml TIMEOUT 901.05 852.08 None mult-comm.wvr.yml TIMEOUT 901.00 824.89 None mult-dist.wvr.yml TIMEOUT 900.92 841.05 None mult-flipped-dist.wvr.yml TIMEOUT 901.28 815.18 None security.wvr.yml true 10.22 5.79 None spaghetti.wvr.yml true 8.28 4.92 None unroll-2.wvr.yml TIMEOUT 901.11 852.53 None unroll-3.wvr.yml TIMEOUT 901.09 856.65 None unroll-4.wvr.yml TIMEOUT 905.99 857.82 None unroll-5.wvr.yml TIMEOUT 902.35 867.24 None unroll-cond-2.wvr.yml TIMEOUT 900.88 875.28 None unroll-cond-3.wvr.yml TIMEOUT 900.84 868.75 None unroll-cond-4.wvr.yml TIMEOUT 901.36 853.87 None unroll-cond-5.wvr.yml TIMEOUT 905.83 890.55 None bench/exp1x3.wvr.yml ERROR: EXCEPTION 13.66 10.58 None bench/exp2x3.wvr.yml ERROR: EXCEPTION 14.99 10.80 None bench/exp2x4.wvr.yml TIMEOUT 900.91 841.25 None bench/exp2x6.wvr.yml TIMEOUT 904.62 862.11 None bench/exp2x9.wvr.yml ERROR: EXCEPTION 8.49 5.17 None bench/exp3x3-opt.wvr.yml TIMEOUT 904.45 821.25 None bench/exp3x3.wvr.yml ERROR: EXCEPTION 16.94 12.86 None chl/array-int-subst.wvr.yml ERROR: EXCEPTION 757.29 734.29 None chl/array-int-symm.wvr.yml TIMEOUT 900.80 879.92 None chl/array-int-trans.wvr.yml TIMEOUT 900.50 879.02 None chl/chromosome-opt-symm.wvr.yml true 33.78 21.80 None chl/chromosome-subst.wvr.yml true 45.11 29.30 None chl/chromosome-symm.wvr.yml true 27.08 17.04 None chl/chromosome-trans.wvr.yml true 61.91 43.63 None chl/collitem-subst.wvr.yml true 9.77 5.65 None chl/collitem-symm.wvr.yml true 7.25 4.22 None chl/collitem-trans.wvr.yml true 13.04 7.20 None chl/container-subst.wvr.yml true 9.43 5.40 None chl/container-symm.wvr.yml true 9.13 5.24 None chl/container-trans.wvr.yml true 11.41 6.63 None chl/exp-term-subst.wvr.yml true 8.31 5.02 None chl/exp-term-symm.wvr.yml true 6.14 3.71 None chl/file-item-subst.wvr.yml true 8.27 4.79 None chl/file-item-symm.wvr.yml true 6.85 4.16 None chl/file-item-trans.wvr.yml true 7.07 4.26 None chl/match-subst.wvr.yml true 8.19 4.87 None chl/match-symm.wvr.yml true 5.10 3.14 None chl/match-trans.wvr.yml true 6.39 4.07 None chl/name-comparator-subst.wvr.yml true 26.36 18.56 None chl/name-comparator-symm.wvr.yml true 14.17 9.79 None chl/name-comparator-trans.wvr.yml true 64.92 44.88 None chl/node-subst.wvr.yml true 7.34 4.26 None chl/node-symm.wvr.yml true 6.81 4.18 None chl/node-trans.wvr.yml true 7.77 4.78 None chl/nzb-file-subst.wvr.yml true 72.40 55.15 None chl/nzb-file-symm.wvr.yml true 37.40 24.55 None chl/nzb-file-trans.wvr.yml true 93.01 65.19 None chl/poker-hand-subst.wvr.yml TIMEOUT 901.19 797.25 None chl/poker-hand-symm.wvr.yml true 194.42 151.74 None chl/poker-hand-trans.wvr.yml TIMEOUT 900.44 805.33 None chl/simpl-str-subst.wvr.yml true 5.27 3.43 None chl/simpl-str-symm.wvr.yml true 4.71 3.12 None chl/simpl-str-trans.wvr.yml true 5.05 3.44 None chl/sre-subst.wvr.yml true 5.10 3.19 None chl/sre-symm.wvr.yml true 4.83 3.22 None chl/sre-trans.wvr.yml true 5.24 3.45 None chl/time-subst.wvr.yml true 4.76 2.96 None chl/time-symm.wvr.yml true 4.14 2.72 None chl/time-trans.wvr.yml true 4.72 3.03 None chl/word-subst.wvr.yml TIMEOUT 901.38 845.77 None chl/word-symm.wvr.yml TIMEOUT 900.59 874.56 None chl/word-trans.wvr.yml TIMEOUT 901.03 833.55 None parallel/bakery-2.wvr.yml true 6.28 3.77 None parallel/bakery-3.wvr.yml true 6.91 4.18 None parallel/bakery-4.wvr.yml true 7.58 4.44 None parallel/barrier-loop.wvr.yml true 6.83 4.09 None parallel/barrier.wvr.yml true 5.78 3.54 None parallel/bluetooth.wvr.yml true 6.05 3.60 None parallel/lamport.wvr.yml true 6.18 3.91 None parallel/min-max-1.wvr.yml true 6.85 4.19 None parallel/min-max-2.wvr.yml true 10.16 6.48 None parallel/misc-1.wvr.yml TIMEOUT 905.61 869.69 None parallel/misc-2-unrolled-atomic.wvr.yml true 6.82 4.55 None parallel/misc-2-unrolled.wvr.yml true 6.41 4.01 None parallel/misc-2.wvr.yml TIMEOUT 900.59 854.13 None parallel/misc-3-extended.wvr.yml true 8.24 4.92 None parallel/misc-3.wvr.yml true 6.94 4.30 None parallel/misc-4.wvr.yml true 5.86 3.60 None parallel/misc-5.wvr.yml true 5.98 3.62 None parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 906.56 818.95 None parallel/parallel-sum-1.wvr.yml TIMEOUT 906.84 762.66 None parallel/parallel-sum-2.wvr.yml TIMEOUT 905.62 875.47 None parallel/parallel-sum-equiv.wvr.yml TIMEOUT 900.88 874.67 None parallel/simple-equiv.wvr.yml true 5.04 3.34 None parallel/ticket-2.wvr.yml true 5.00 3.64 None parallel/ticket-3.wvr.yml true 4.56 3.04 None parallel/ticket-4.wvr.yml true 4.91 3.25 None parallel/ticket-5.wvr.yml true 4.76 3.06 None parallel/ticket-6.wvr.yml true 5.22 3.35 None parallel/ticket-7.wvr.yml true 5.35 4.06 None parallel/ticket-8.wvr.yml true 6.12 4.05 None popl20/channel-sum.wvr.yml true 4.58 3.24 None popl20/commit-1.wvr.yml true 5.40 3.51 None popl20/commit-2.wvr.yml true 5.58 3.60 None popl20/counter-determinism.wvr.yml TIMEOUT 900.70 867.10 None popl20/counter-fun.wvr.yml TIMEOUT 905.74 854.28 None popl20/difference-det.wvr.yml TIMEOUT 901.27 801.52 None popl20/figure1-alt.wvr.yml true 8.24 5.80 None popl20/figure1.wvr.yml TIMEOUT 900.49 867.44 None popl20/figure3.wvr.yml TIMEOUT 901.39 810.67 None popl20/horseshoe.wvr.yml TIMEOUT 900.83 848.64 None popl20/min-max-dec.wvr.yml true 6.33 4.49 None popl20/min-max-inc-dec.wvr.yml true 6.78 4.93 None popl20/min-max-inc.wvr.yml true 6.11 4.40 None popl20/mult-4.wvr.yml TIMEOUT 901.13 839.08 None popl20/mult-equiv.wvr.yml TIMEOUT 900.73 854.42 None popl20/nonblocking-cntr-alt.wvr.yml TIMEOUT 905.47 814.86 None popl20/nonblocking-cntr.wvr.yml TIMEOUT 900.45 788.63 None popl20/prod-cons-eq.wvr.yml TIMEOUT 905.52 811.17 None popl20/prod-cons.wvr.yml true 6.23 4.26 None popl20/prod-cons3.wvr.yml true 6.28 3.93 None popl20/queue-add-2.wvr.yml TIMEOUT 900.63 872.34 None popl20/queue-add-3.wvr.yml TIMEOUT 900.97 832.88 None popl20/send-receive-alt.wvr.yml true 4.51 2.90 None popl20/send-receive.wvr.yml true 4.15 2.84 None popl20/simple-array-sum.wvr.yml TIMEOUT 902.44 845.57 None popl20/simple-queue.wvr.yml TIMEOUT 900.76 865.97 None popl20/threaded-sum-3.wvr.yml true 5.61 3.49 None popl20/three-array-max.wvr.yml TIMEOUT 905.51 882.13 None popl20/three-array-min.wvr.yml TIMEOUT 905.56 875.29 None popl20/three-array-sum.wvr.yml TIMEOUT 900.43 821.94 None popl20/two-queue.wvr.yml true 6.57 4.19 None popl20-bad/buffer-mult-alt.wvr.yml TIMEOUT 905.64 891.77 None popl20-bad/commit-1.wvr.yml true 7.66 5.01 None popl20-bad/commit-2.wvr.yml true 8.58 5.51 None popl20-bad/counter-queue.wvr.yml TIMEOUT 900.72 871.76 None popl20-bad/dot-product-alt.wvr.yml TIMEOUT 905.57 888.28 None popl20-bad/dot-product.wvr.yml TIMEOUT 900.74 858.26 None popl20-bad/ring-nondet.wvr.yml true 12.11 7.45 None popl20-bad/ring.wvr.yml true 7.95 4.52 None popl20-bad/threaded-sum-2.wvr.yml true 6.89 4.09 None popl20-bad/three-array-sum-alt.wvr.yml TIMEOUT 906.26 856.48 None popl20-more/array-sum-alt.wvr.yml ERROR: EXCEPTION 543.58 520.16 None popl20-more/array-sum.wvr.yml TIMEOUT 904.13 883.99 None popl20-more/buffer-mult.wvr.yml TIMEOUT 905.47 887.46 None popl20-more/buffer-series-array.wvr.yml TIMEOUT 905.20 854.79 None popl20-more/buffer-series.wvr.yml TIMEOUT 905.73 864.08 None popl20-more/dec-subseq-array.wvr.yml ERROR: EXCEPTION 76.39 62.90 None popl20-more/dec-subseq.wvr.yml ERROR: EXCEPTION 76.59 64.10 None popl20-more/dot-product-array.wvr.yml TIMEOUT 900.97 873.86 None popl20-more/dot-product.wvr.yml TIMEOUT 905.71 888.65 None popl20-more/inc-subseq-array.wvr.yml ERROR: EXCEPTION 94.13 69.96 None popl20-more/inc-subseq.wvr.yml ERROR: EXCEPTION 128.60 104.22 None popl20-more/max-array-hom.wvr.yml TIMEOUT 901.83 845.01 None popl20-more/max-array.wvr.yml TIMEOUT 900.92 852.11 None popl20-more/max-fun-alt.wvr.yml TIMEOUT 900.84 890.56 None popl20-more/max-fun.wvr.yml TIMEOUT 905.68 875.14 None popl20-more/min-array-hom.wvr.yml TIMEOUT 900.70 869.05 None popl20-more/min-array.wvr.yml TIMEOUT 900.85 850.26 None popl20-more/min-fun-alt.wvr.yml TIMEOUT 900.40 893.75 None popl20-more/min-fun.wvr.yml TIMEOUT 900.87 847.62 None popl20-more/min-le-max.wvr.yml true 11.19 8.28 None popl20-more/mts-array.wvr.yml TIMEOUT 901.59 849.23 None popl20-more/mts.wvr.yml TIMEOUT 902.16 893.60 None popl20-more/multiply-verify.wvr.yml TIMEOUT 901.08 838.93 None popl20-more/nonblocking-counter-alt2.wvr.yml TIMEOUT 900.91 838.90 None popl20-more/parray-copy.wvr.yml ERROR: EXCEPTION 115.94 99.19 None popl20-more/queue-add-2-nl.wvr.yml TIMEOUT 900.56 881.16 None popl20-more/queue-add-3-nl.wvr.yml TIMEOUT 901.01 841.22 None popl20-more/sorted.wvr.yml TIMEOUT 901.28 832.79 None popl20-more/sum-array-hom.wvr.yml TIMEOUT 901.06 822.59 None popl20-more/sum-array.wvr.yml OUT OF MEMORY 474.58 407.15 None popl20-more/sum-fun-alt.wvr.yml TIMEOUT 901.28 862.23 None popl20-more/sum-fun.wvr.yml TIMEOUT 905.58 878.96 None popl20-more/vector-add.wvr.yml true 17.92 13.11 None popl20-proofs/counter-add-4-semi-Q67.wvr.yml TIMEOUT 900.36 802.80 None test/context1.wvr.yml TIMEOUT 900.94 871.24 None test/easy1.wvr.yml true 9.15 6.07 None test/easy10.wvr.yml true 6.37 3.97 None test/easy11.wvr.yml true 8.72 5.60 None test/easy6.wvr.yml true 6.42 3.75 None test/easy7.wvr.yml true 6.09 3.70 None test/easy8.wvr.yml true 5.43 3.14 None test/hard1.wvr.yml TIMEOUT 901.11 820.48 None test/semi1.wvr.yml true 5.86 3.38 None ------------------------------------------------------------------------------------------------------------- Run set 4 done 44666.67 10743.30 - Statistics: 732 Files correct: 318 correct true: 316 correct false: 2 incorrect: 2 incorrect true: 2 incorrect false: 0 unknown: 412 Score: 570 (max: 1460)