BENCHMARK INFORMATION benchmark definition: ../benchexec/student-abstract-interpretation-bpl.xml name: student-abstract-interpretation-bpl run sets: Flow insensitive.Ultimate Repo, Flow sensitive.Ultimate Repo date: Wed, 2022-09-21 14:23:03 CEST tool: ULTIMATE Automizer 0.2.2-c9b613c2 tool executable: ./Ultimate.py options: --force-no-wrapper -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 60 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 ------------------------------------------------------------ Flow insensitive.Ultimate Repo Run set 1 of 2 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/thread-modular/svcomp-Reach-32bit-Automizer_Default+AIv2_OCT_FLOW_INSENSITIVE.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------- LBE_bigexample_safe.bpl true 4.90 3.33 None LBE_bigexample_safe_BA.bpl true 6.41 3.67 None MirabelleConcurrentIncrement.bpl ERROR: EXCEPTION 6.54 3.66 None NonAtomicIncrement_2Threads_Loop.bpl unknown 6.75 3.77 None TwoActiveWorkersSirius.bpl unknown 6.04 3.49 None bigNumberOfThreads.bpl unknown 6.09 3.41 None concurrent_increment.bpl ERROR: EXCEPTION 5.86 3.32 None concurrent_increment_nonterminating.bpl true 4.86 3.19 None concurrent_mult.bpl ERROR: EXCEPTION 5.76 3.34 None equal-array-sums-locked.bpl ERROR: EXCEPTION 4.92 2.83 None equal-array-sums.bpl ERROR: EXCEPTION 4.83 3.24 None loop-lockstep-example.bpl ERROR: EXCEPTION 4.43 3.04 None single_assertion_test.bpl unknown 4.67 2.93 None sum_invariant.bpl unknown 4.88 2.87 None absint/controlDependency.bpl true 4.63 2.83 None absint/divideByZero.bpl true 5.08 3.02 None absint/filter.bpl unknown 4.62 2.81 None absint/filterFork2_atomic.bpl unknown 4.83 3.07 None absint/filterFork3_unsafe.bpl unknown 5.00 3.15 None absint/filterFork_unsafe.bpl unknown 4.99 3.39 None absint/fork.bpl true 5.31 3.81 None absint/forkOrder_unsafe.bpl unknown 6.36 3.60 None absint/loops.bpl true 6.20 3.51 None absint/patch.bpl true 6.28 3.48 None absint/test1_unsafe.bpl unknown 6.82 3.80 None absint/test2.bpl unknown 6.38 3.61 None absint/test2_unsafe.bpl unknown 6.39 3.69 None absint/test3_unsafe.bpl unknown 6.36 3.54 None absint/testAtomic.bpl true 4.67 2.91 None absint/variableDependency.bpl true 4.95 3.05 None absint/while_entry.bpl unknown 4.75 2.90 None regression/ForkInForkedProcedure01.bpl unknown 4.85 3.09 None regression/ForkInForkedProcedure02.bpl ERROR: EXCEPTION 5.13 3.51 None regression/ForkInLoop02-Incrementer.bpl unknown 4.91 3.09 None regression/JoinTheForkingThread.bpl unknown 5.61 3.23 None regression/LBE_Y_to_V.bpl true 5.93 3.40 None regression/LBE_example_semanticCheck.bpl true 6.19 3.54 None regression/SpecificationInliningProblem.bpl ERROR: EXCEPTION 4.94 3.42 None regression/ThreadIdListTest-Safe.bpl unknown 6.34 3.53 None regression/ThreadIdTest-Safe.bpl unknown 6.26 3.57 None regression/ThreadIdTest-Unsafe.bpl unknown 6.14 3.50 None regression/ThyssenKruppRelegation.bpl unknown 6.05 3.34 None regression/atomic.bpl true 4.84 2.94 None regression/cutoff_test.bpl unknown 4.69 2.88 None regression/example1.bpl unknown 4.83 2.81 None regression/example2.bpl unknown 4.57 2.88 None regression/example_epsilon_write.bpl unknown 4.89 3.30 None regression/example_interleaving.bpl unknown 5.16 3.58 None regression/example_interleaving_simple.bpl unknown 5.70 3.20 None regression/example_multiple_interleavings.bpl unknown 6.14 3.53 None regression/example_unnecessary_interleavings.bpl true 6.35 3.62 None regression/fork_in_loop.bpl unknown 4.50 3.48 None regression/fork_join_NotMod.bpl true 6.41 3.57 None regression/fork_join_expression_type_not_found.bpl unknown 6.51 3.68 None regression/fork_join_in_loop.bpl unknown 6.16 3.43 None regression/fork_multiple_parameter.bpl unknown 6.08 3.40 None regression/fork_multiple_times.bpl unknown 4.75 2.83 None regression/fork_unchanged_local_variables2.bpl true 4.81 2.93 None regression/join_assign_global.bpl true 4.70 2.79 None regression/join_multiple_return_values.bpl unknown 4.65 3.03 None regression/multiple_fork_same_id.bpl unknown 5.03 3.30 None regression/multiple_fork_same_id_different_return_type.bpl unknown 5.90 3.38 None regression/multiple_fork_statements_different_types.bpl unknown 5.12 3.16 None regression/nested_fork.bpl unknown 5.81 3.38 None regression/showcase/Bakery.bpl unknown 5.25 3.71 None regression/showcase/Fischer.bpl TIMEOUT 61.52 51.35 None regression/showcase/FischerWithBug.bpl TIMEOUT 60.44 49.94 None regression/showcase/ForkJoinExplained.bpl ERROR: EXCEPTION 6.03 3.35 None regression/showcase/NonAtomicIncrement_2Threads.bpl unknown 6.73 3.80 None regression/showcase/Peterson.bpl unknown 6.55 3.71 None regression/showcase/PetersonWithBug.bpl unknown 5.18 3.05 None unbounded/fork_loop_inc.bpl unknown 4.61 2.78 None unbounded/fork_loop_local.bpl true 4.86 2.86 None unbounded/fork_loop_mutex.bpl unknown 5.07 3.16 None unbounded/fork_loop_noop.bpl true 5.03 3.23 None unbounded/fork_loop_unsafe.bpl unknown 4.84 3.29 None unbounded/fork_loop_unsafe2.bpl unknown 5.86 3.40 None unbounded/goblint.bpl unknown 6.00 3.46 None unbounded/pthread5_vs.bpl unknown 4.87 2.99 None unbounded/pthread_conditionals.bpl ERROR: EXCEPTION 6.08 3.46 None unbounded/pthread_double_lock_p1_vs.bpl unknown 4.96 3.17 None unbounded/pthread_fkp_2014.bpl unknown 4.40 3.08 None unbounded/pthread_inc.bpl unknown 4.95 2.91 None unbounded/pthread_inc2.bpl unknown 6.88 3.84 None unbounded/pthread_inc_unsafe.bpl unknown 6.17 3.40 None unbounded/pthread_nondet_loop_bound.bpl ERROR: EXCEPTION 4.97 3.09 None unbounded/pthread_rand.bpl unknown 5.03 3.22 None unbounded/pthread_simple_loop.bpl unknown 4.98 3.25 None unbounded/pthread_spin2003.bpl unknown 5.84 3.23 None unbounded/pthread_tas.bpl unknown 4.89 2.88 None unbounded/pthread_ticket.bpl unknown 5.09 3.08 None unbounded/pthread_unverifi.bpl unknown 6.24 3.59 None weaver-benchmarks/generated/array-eq-symm.wvr.yml unknown 5.30 3.58 None weaver-benchmarks/generated/array-eq-trans.wvr.yml unknown 5.54 3.22 None weaver-benchmarks/generated/clever.wvr.yml unknown 6.49 3.63 None weaver-benchmarks/generated/fibonacci.wvr.yml unknown 6.92 3.87 None weaver-benchmarks/generated/loop-tiling-eq.wvr.yml unknown 5.24 3.22 None weaver-benchmarks/generated/mult-comm.wvr.yml unknown 6.51 3.63 None weaver-benchmarks/generated/mult-dist.wvr.yml unknown 5.42 3.58 None weaver-benchmarks/generated/mult-flipped-dist.wvr.yml unknown 5.14 3.34 None weaver-benchmarks/generated/security.wvr.yml unknown 5.99 3.42 None weaver-benchmarks/generated/spaghetti.wvr.yml unknown 4.82 2.94 None weaver-benchmarks/generated/unroll-2.wvr.yml TIMEOUT 61.06 53.53 None weaver-benchmarks/generated/unroll-3.wvr.yml TIMEOUT 61.09 52.61 None weaver-benchmarks/generated/unroll-4.wvr.yml TIMEOUT 61.24 51.89 None weaver-benchmarks/generated/unroll-5.wvr.yml TIMEOUT 61.26 53.15 None weaver-benchmarks/generated/unroll-cond-2.wvr.yml TIMEOUT 61.42 50.33 None weaver-benchmarks/generated/unroll-cond-3.wvr.yml TIMEOUT 60.54 51.01 None weaver-benchmarks/generated/unroll-cond-4.wvr.yml TIMEOUT 61.31 50.87 None weaver-benchmarks/generated/unroll-cond-5.wvr.yml TIMEOUT 61.44 50.67 None weaver-benchmarks/generated/bench/exp1x3.wvr.yml unknown 4.82 3.03 None weaver-benchmarks/generated/bench/exp2x3.wvr.yml unknown 5.44 3.59 None weaver-benchmarks/generated/bench/exp2x4.wvr.yml unknown 5.45 3.52 None weaver-benchmarks/generated/bench/exp2x6.wvr.yml unknown 6.30 3.57 None weaver-benchmarks/generated/bench/exp2x9.wvr.yml unknown 5.15 3.11 None weaver-benchmarks/generated/bench/exp3x3-opt.wvr.yml unknown 4.91 3.15 None weaver-benchmarks/generated/bench/exp3x3.wvr.yml unknown 5.03 3.05 None weaver-benchmarks/generated/chl/array-int-subst.wvr.yml unknown 7.32 3.96 None weaver-benchmarks/generated/chl/array-int-symm.wvr.yml unknown 5.33 3.16 None weaver-benchmarks/generated/chl/array-int-trans.wvr.yml unknown 5.87 3.58 None weaver-benchmarks/generated/chl/chromosome-opt-symm.wvr.yml unknown 5.53 3.61 None weaver-benchmarks/generated/chl/chromosome-subst.wvr.yml unknown 6.21 3.54 None weaver-benchmarks/generated/chl/chromosome-symm.wvr.yml unknown 5.20 3.09 None weaver-benchmarks/generated/chl/chromosome-trans.wvr.yml unknown 5.39 3.54 None weaver-benchmarks/generated/chl/collitem-subst.wvr.yml unknown 5.07 3.26 None weaver-benchmarks/generated/chl/collitem-symm.wvr.yml unknown 6.09 3.51 None weaver-benchmarks/generated/chl/collitem-trans.wvr.yml unknown 5.26 3.14 None weaver-benchmarks/generated/chl/container-subst.wvr.yml unknown 5.50 3.48 None weaver-benchmarks/generated/chl/container-symm.wvr.yml unknown 5.10 3.22 None weaver-benchmarks/generated/chl/container-trans.wvr.yml unknown 6.42 3.63 None weaver-benchmarks/generated/chl/exp-term-subst.wvr.yml unknown 4.73 2.88 None weaver-benchmarks/generated/chl/exp-term-symm.wvr.yml unknown 4.87 3.03 None weaver-benchmarks/generated/chl/file-item-subst.wvr.yml unknown 5.08 3.27 None weaver-benchmarks/generated/chl/file-item-symm.wvr.yml unknown 6.23 3.55 None weaver-benchmarks/generated/chl/file-item-trans.wvr.yml unknown 4.87 2.90 None weaver-benchmarks/generated/chl/match-subst.wvr.yml unknown 4.88 3.02 None weaver-benchmarks/generated/chl/match-symm.wvr.yml unknown 4.71 2.88 None weaver-benchmarks/generated/chl/match-trans.wvr.yml unknown 4.95 2.91 None weaver-benchmarks/generated/chl/name-comparator-subst.wvr.yml unknown 7.12 3.96 None weaver-benchmarks/generated/chl/name-comparator-symm.wvr.yml unknown 4.95 2.99 None weaver-benchmarks/generated/chl/name-comparator-trans.wvr.yml unknown 5.56 3.49 None weaver-benchmarks/generated/chl/node-subst.wvr.yml unknown 4.85 2.86 None weaver-benchmarks/generated/chl/node-symm.wvr.yml unknown 6.14 3.50 None weaver-benchmarks/generated/chl/node-trans.wvr.yml unknown 5.15 3.30 None weaver-benchmarks/generated/chl/nzb-file-subst.wvr.yml unknown 5.41 3.46 None weaver-benchmarks/generated/chl/nzb-file-symm.wvr.yml unknown 5.08 3.00 None weaver-benchmarks/generated/chl/nzb-file-trans.wvr.yml unknown 7.11 4.03 None weaver-benchmarks/generated/chl/poker-hand-subst.wvr.yml unknown 7.47 4.74 None weaver-benchmarks/generated/chl/poker-hand-symm.wvr.yml unknown 6.94 4.25 None weaver-benchmarks/generated/chl/poker-hand-trans.wvr.yml unknown 7.90 4.40 None weaver-benchmarks/generated/chl/simpl-str-subst.wvr.yml unknown 6.22 3.54 None weaver-benchmarks/generated/chl/simpl-str-symm.wvr.yml unknown 4.78 2.78 None weaver-benchmarks/generated/chl/simpl-str-trans.wvr.yml unknown 4.80 3.06 None weaver-benchmarks/generated/chl/sre-subst.wvr.yml unknown 4.83 2.89 None weaver-benchmarks/generated/chl/sre-symm.wvr.yml unknown 6.44 3.62 None weaver-benchmarks/generated/chl/sre-trans.wvr.yml unknown 6.28 3.59 None weaver-benchmarks/generated/chl/time-subst.wvr.yml unknown 5.06 3.39 None weaver-benchmarks/generated/chl/time-symm.wvr.yml unknown 5.75 3.25 None weaver-benchmarks/generated/chl/time-trans.wvr.yml unknown 4.89 2.92 None weaver-benchmarks/generated/chl/word-subst.wvr.yml unknown 6.31 3.80 None weaver-benchmarks/generated/chl/word-symm.wvr.yml unknown 7.12 3.98 None weaver-benchmarks/generated/chl/word-trans.wvr.yml unknown 8.22 4.47 None weaver-benchmarks/generated/parallel/bakery-2.wvr.yml unknown 6.27 3.61 None weaver-benchmarks/generated/parallel/bakery-3.wvr.yml unknown 5.76 3.55 None weaver-benchmarks/generated/parallel/bakery-4.wvr.yml unknown 5.86 3.47 None weaver-benchmarks/generated/parallel/barrier-loop.wvr.yml TIMEOUT 64.77 50.70 None weaver-benchmarks/generated/parallel/barrier.wvr.yml unknown 6.99 3.82 None weaver-benchmarks/generated/parallel/bluetooth.wvr.yml unknown 6.13 3.55 None weaver-benchmarks/generated/parallel/lamport.wvr.yml unknown 5.35 3.66 None weaver-benchmarks/generated/parallel/min-max-1.wvr.yml unknown 4.45 2.85 None weaver-benchmarks/generated/parallel/min-max-2.wvr.yml unknown 7.46 4.17 None weaver-benchmarks/generated/parallel/misc-1.wvr.yml unknown 7.34 4.22 None weaver-benchmarks/generated/parallel/misc-2-unrolled-atomic.wvr.yml true 6.51 3.71 None weaver-benchmarks/generated/parallel/misc-2-unrolled.wvr.yml unknown 5.47 3.59 None weaver-benchmarks/generated/parallel/misc-2.wvr.yml unknown 6.62 3.73 None weaver-benchmarks/generated/parallel/misc-3-extended.wvr.yml unknown 5.38 3.32 None weaver-benchmarks/generated/parallel/misc-3.wvr.yml unknown 4.78 3.01 None weaver-benchmarks/generated/parallel/misc-4.wvr.yml unknown 6.15 3.56 None weaver-benchmarks/generated/parallel/misc-5.wvr.yml unknown 6.45 3.67 None weaver-benchmarks/generated/parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 60.41 49.29 None weaver-benchmarks/generated/parallel/parallel-sum-1.wvr.yml TIMEOUT 61.21 53.63 None weaver-benchmarks/generated/parallel/parallel-sum-2.wvr.yml TIMEOUT 61.34 52.15 None weaver-benchmarks/generated/parallel/parallel-sum-equiv.wvr.yml TIMEOUT 61.44 53.04 None weaver-benchmarks/generated/parallel/simple-equiv.wvr.yml unknown 6.21 3.56 None weaver-benchmarks/generated/parallel/ticket-2.wvr.yml unknown 6.82 3.86 None weaver-benchmarks/generated/parallel/ticket-3.wvr.yml unknown 6.66 3.78 None weaver-benchmarks/generated/parallel/ticket-4.wvr.yml unknown 5.26 3.24 None weaver-benchmarks/generated/parallel/ticket-5.wvr.yml unknown 5.75 3.95 None weaver-benchmarks/generated/parallel/ticket-6.wvr.yml unknown 5.56 3.26 None weaver-benchmarks/generated/parallel/ticket-7.wvr.yml unknown 7.36 4.11 None weaver-benchmarks/generated/parallel/ticket-8.wvr.yml unknown 7.43 4.11 None weaver-benchmarks/generated/popl20-bad/buffer-mult-alt.wvr.yml unknown 7.59 4.24 None weaver-benchmarks/generated/popl20-bad/commit-1.wvr.yml unknown 6.78 3.77 None weaver-benchmarks/generated/popl20-bad/commit-2.wvr.yml unknown 5.20 3.18 None weaver-benchmarks/generated/popl20-bad/counter-queue.wvr.yml unknown 6.50 3.74 None weaver-benchmarks/generated/popl20-bad/dot-product-alt.wvr.yml unknown 4.94 2.99 None weaver-benchmarks/generated/popl20-bad/dot-product.wvr.yml unknown 7.85 4.36 None weaver-benchmarks/generated/popl20-bad/ring-nondet.wvr.yml unknown 6.21 3.86 None weaver-benchmarks/generated/popl20-bad/ring.wvr.yml unknown 8.02 4.41 None weaver-benchmarks/generated/popl20-bad/threaded-sum-2.wvr.yml unknown 5.98 3.43 None weaver-benchmarks/generated/popl20-bad/three-array-sum-alt.wvr.yml unknown 6.71 3.84 None weaver-benchmarks/generated/popl20-more/array-sum-alt.wvr.yml unknown 7.09 3.95 None weaver-benchmarks/generated/popl20-more/array-sum.wvr.yml unknown 5.27 3.14 None weaver-benchmarks/generated/popl20-more/buffer-mult.wvr.yml unknown 5.56 3.38 None weaver-benchmarks/generated/popl20-more/buffer-series-array.wvr.yml unknown 7.44 4.23 None weaver-benchmarks/generated/popl20-more/buffer-series.wvr.yml unknown 5.43 3.47 None weaver-benchmarks/generated/popl20-more/dec-subseq-array.wvr.yml unknown 6.91 3.93 None weaver-benchmarks/generated/popl20-more/dec-subseq.wvr.yml unknown 6.86 3.90 None weaver-benchmarks/generated/popl20-more/dot-product-array.wvr.yml unknown 6.76 3.83 None weaver-benchmarks/generated/popl20-more/dot-product.wvr.yml unknown 7.21 4.06 None weaver-benchmarks/generated/popl20-more/inc-subseq-array.wvr.yml unknown 6.95 3.88 None weaver-benchmarks/generated/popl20-more/inc-subseq.wvr.yml unknown 5.22 3.08 None weaver-benchmarks/generated/popl20-more/max-array-hom.wvr.yml unknown 5.74 3.36 None weaver-benchmarks/generated/popl20-more/max-array.wvr.yml unknown 7.48 4.16 None weaver-benchmarks/generated/popl20-more/max-fun-alt.wvr.yml unknown 5.24 3.50 None weaver-benchmarks/generated/popl20-more/max-fun.wvr.yml unknown 7.56 4.26 None weaver-benchmarks/generated/popl20-more/min-array-hom.wvr.yml unknown 7.29 4.07 None weaver-benchmarks/generated/popl20-more/min-array.wvr.yml unknown 7.28 4.00 None weaver-benchmarks/generated/popl20-more/min-fun-alt.wvr.yml unknown 5.07 3.00 None weaver-benchmarks/generated/popl20-more/min-fun.wvr.yml unknown 7.22 4.06 None weaver-benchmarks/generated/popl20-more/min-le-max.wvr.yml unknown 6.81 3.87 None weaver-benchmarks/generated/popl20-more/mts-array.wvr.yml unknown 5.79 3.39 None weaver-benchmarks/generated/popl20-more/mts.wvr.yml unknown 5.33 3.35 None weaver-benchmarks/generated/popl20-more/multiply-verify.wvr.yml unknown 6.99 3.96 None weaver-benchmarks/generated/popl20-more/nonblocking-counter-alt2.wvr.yml unknown 5.30 3.11 None weaver-benchmarks/generated/popl20-more/parray-copy.wvr.yml unknown 6.81 3.89 None weaver-benchmarks/generated/popl20-more/queue-add-2-nl.wvr.yml unknown 7.01 3.87 None weaver-benchmarks/generated/popl20-more/queue-add-3-nl.wvr.yml unknown 7.85 4.37 None weaver-benchmarks/generated/popl20-more/sorted.wvr.yml unknown 5.07 3.09 None weaver-benchmarks/generated/popl20-more/sum-array-hom.wvr.yml unknown 7.22 4.01 None weaver-benchmarks/generated/popl20-more/sum-array.wvr.yml unknown 7.08 3.96 None weaver-benchmarks/generated/popl20-more/sum-fun-alt.wvr.yml unknown 5.12 3.31 None weaver-benchmarks/generated/popl20-more/sum-fun.wvr.yml unknown 5.34 3.10 None weaver-benchmarks/generated/popl20-more/vector-add.wvr.yml unknown 6.84 3.87 None weaver-benchmarks/generated/popl20-proofs/counter-add-4-semi-Q67.wvr.yml unknown 5.48 3.29 None weaver-benchmarks/generated/popl20/channel-sum.wvr.yml TIMEOUT 60.74 46.91 None weaver-benchmarks/generated/popl20/commit-1.wvr.yml TIMEOUT 61.18 44.81 None weaver-benchmarks/generated/popl20/commit-2.wvr.yml TIMEOUT 61.10 44.61 None weaver-benchmarks/generated/popl20/counter-determinism.wvr.yml unknown 7.43 4.18 None weaver-benchmarks/generated/popl20/counter-fun.wvr.yml unknown 6.50 3.69 None weaver-benchmarks/generated/popl20/difference-det.wvr.yml unknown 5.69 3.63 None weaver-benchmarks/generated/popl20/figure1-alt.wvr.yml unknown 4.94 3.02 None weaver-benchmarks/generated/popl20/figure1.wvr.yml unknown 4.96 3.09 None weaver-benchmarks/generated/popl20/figure3.wvr.yml unknown 7.07 3.96 None weaver-benchmarks/generated/popl20/horseshoe.wvr.yml unknown 7.54 4.23 None weaver-benchmarks/generated/popl20/min-max-dec.wvr.yml unknown 5.51 3.26 None weaver-benchmarks/generated/popl20/min-max-inc-dec.wvr.yml unknown 7.65 4.31 None weaver-benchmarks/generated/popl20/min-max-inc.wvr.yml unknown 5.86 3.79 None weaver-benchmarks/generated/popl20/mult-4.wvr.yml unknown 5.86 3.43 None weaver-benchmarks/generated/popl20/mult-equiv.wvr.yml unknown 6.74 3.82 None weaver-benchmarks/generated/popl20/nonblocking-cntr-alt.wvr.yml unknown 5.07 3.04 None weaver-benchmarks/generated/popl20/nonblocking-cntr.wvr.yml unknown 6.86 3.85 None weaver-benchmarks/generated/popl20/prod-cons-eq.wvr.yml unknown 5.43 3.36 None weaver-benchmarks/generated/popl20/prod-cons.wvr.yml unknown 6.75 3.78 None weaver-benchmarks/generated/popl20/prod-cons3.wvr.yml unknown 5.41 3.20 None weaver-benchmarks/generated/popl20/queue-add-2.wvr.yml unknown 6.28 3.55 None weaver-benchmarks/generated/popl20/queue-add-3.wvr.yml unknown 5.37 3.29 None weaver-benchmarks/generated/popl20/send-receive-alt.wvr.yml TIMEOUT 60.59 50.07 None weaver-benchmarks/generated/popl20/send-receive.wvr.yml unknown 7.00 3.95 None weaver-benchmarks/generated/popl20/simple-array-sum.wvr.yml unknown 5.34 3.30 None weaver-benchmarks/generated/popl20/simple-queue.wvr.yml TIMEOUT 60.64 48.21 None weaver-benchmarks/generated/popl20/threaded-sum-3.wvr.yml unknown 6.75 3.86 None weaver-benchmarks/generated/popl20/three-array-max.wvr.yml unknown 5.67 3.43 None weaver-benchmarks/generated/popl20/three-array-min.wvr.yml unknown 5.77 3.50 None weaver-benchmarks/generated/popl20/three-array-sum.wvr.yml unknown 7.20 4.04 None weaver-benchmarks/generated/popl20/two-queue.wvr.yml unknown 5.32 3.21 None weaver-benchmarks/generated/test/context1.wvr.yml TIMEOUT 60.73 48.43 None weaver-benchmarks/generated/test/easy1.wvr.yml unknown 5.35 3.29 None weaver-benchmarks/generated/test/easy10.wvr.yml unknown 4.89 3.04 None weaver-benchmarks/generated/test/easy11.wvr.yml unknown 6.35 3.59 None weaver-benchmarks/generated/test/easy6.wvr.yml unknown 5.36 3.21 None weaver-benchmarks/generated/test/easy7.wvr.yml unknown 4.92 3.08 None weaver-benchmarks/generated/test/easy8.wvr.yml unknown 4.67 2.91 None weaver-benchmarks/generated/test/hard1.wvr.yml unknown 6.55 3.67 None weaver-benchmarks/generated/test/semi1.wvr.yml unknown 5.42 3.22 None ----------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 2771.09 171.93 - Flow sensitive.Ultimate Repo Run set 2 of 2 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/thread-modular/svcomp-Reach-32bit-Automizer_Default+AIv2_OCT_FLOW_SENSITIVE_FILTERED.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------------------------- LBE_bigexample_safe.bpl true 5.12 3.37 None LBE_bigexample_safe_BA.bpl true 6.51 3.94 None MirabelleConcurrentIncrement.bpl ERROR: EXCEPTION 6.17 3.46 None NonAtomicIncrement_2Threads_Loop.bpl unknown 7.36 4.61 None TwoActiveWorkersSirius.bpl unknown 8.49 4.96 None bigNumberOfThreads.bpl unknown 6.07 3.76 None concurrent_increment.bpl ERROR: EXCEPTION 6.36 3.60 None concurrent_increment_nonterminating.bpl true 4.70 3.32 None concurrent_mult.bpl ERROR: EXCEPTION 5.88 3.32 None equal-array-sums-locked.bpl ERROR: EXCEPTION 4.88 2.91 None equal-array-sums.bpl ERROR: EXCEPTION 4.39 3.14 None loop-lockstep-example.bpl ERROR: EXCEPTION 4.75 3.06 None single_assertion_test.bpl unknown 5.26 3.39 None sum_invariant.bpl unknown 4.99 3.11 None absint/controlDependency.bpl true 13.34 11.40 None absint/divideByZero.bpl true 9.88 7.88 None absint/filter.bpl true 5.66 4.29 None absint/filterFork2_atomic.bpl unknown 6.42 4.39 None absint/filterFork3_unsafe.bpl unknown 4.90 3.75 None absint/filterFork_unsafe.bpl unknown 4.81 3.52 None absint/fork.bpl true 8.60 5.11 None absint/forkOrder_unsafe.bpl unknown 6.45 3.86 None absint/loops.bpl true 6.21 3.84 None absint/patch.bpl true 9.18 6.13 None absint/test1_unsafe.bpl unknown 6.88 4.07 None absint/test2.bpl unknown 6.89 4.06 None absint/test2_unsafe.bpl unknown 6.83 4.00 None absint/test3_unsafe.bpl unknown 7.17 4.22 None absint/testAtomic.bpl unknown 4.99 3.36 None absint/variableDependency.bpl true 5.27 3.68 None absint/while_entry.bpl unknown 7.08 4.51 None regression/ForkInForkedProcedure01.bpl unknown 5.35 3.48 None regression/ForkInForkedProcedure02.bpl ERROR: EXCEPTION 5.03 3.46 None regression/ForkInLoop02-Incrementer.bpl unknown 5.27 3.31 None regression/JoinTheForkingThread.bpl unknown 6.90 4.29 None regression/LBE_Y_to_V.bpl true 6.23 3.52 None regression/LBE_example_semanticCheck.bpl true 6.34 3.81 None regression/SpecificationInliningProblem.bpl ERROR: EXCEPTION 5.99 3.49 None regression/ThreadIdListTest-Safe.bpl unknown 6.30 3.53 None regression/ThreadIdTest-Safe.bpl unknown 5.97 3.68 None regression/ThreadIdTest-Unsafe.bpl unknown 4.95 3.29 None regression/ThyssenKruppRelegation.bpl unknown 4.80 3.59 None regression/atomic.bpl true 4.73 3.19 None regression/cutoff_test.bpl unknown 7.30 5.86 None regression/example1.bpl unknown 5.19 3.27 None regression/example2.bpl unknown 4.57 3.63 None regression/example_epsilon_write.bpl unknown 6.50 3.98 None regression/example_interleaving.bpl unknown 8.53 5.71 None regression/example_interleaving_simple.bpl unknown 6.32 3.80 None regression/example_multiple_interleavings.bpl unknown 7.51 4.95 None regression/example_unnecessary_interleavings.bpl true 6.23 3.77 None regression/fork_in_loop.bpl unknown 6.40 3.83 None regression/fork_join_NotMod.bpl true 6.41 3.87 None regression/fork_join_expression_type_not_found.bpl unknown 4.97 3.51 None regression/fork_join_in_loop.bpl unknown 4.92 3.19 None regression/fork_multiple_parameter.bpl unknown 4.82 3.01 None regression/fork_multiple_times.bpl unknown 4.89 3.18 None regression/fork_unchanged_local_variables2.bpl true 5.00 3.40 None regression/join_assign_global.bpl true 4.69 3.15 None regression/join_multiple_return_values.bpl unknown 6.58 3.84 None regression/multiple_fork_same_id.bpl unknown 5.62 3.51 None regression/multiple_fork_same_id_different_return_type.bpl unknown 6.56 3.89 None regression/multiple_fork_statements_different_types.bpl unknown 6.28 3.70 None regression/nested_fork.bpl unknown 4.69 3.18 None regression/showcase/Bakery.bpl unknown 8.50 5.59 None regression/showcase/Fischer.bpl TIMEOUT 61.32 53.72 None regression/showcase/FischerWithBug.bpl TIMEOUT 60.77 51.07 None regression/showcase/ForkJoinExplained.bpl ERROR: EXCEPTION 6.15 3.48 None regression/showcase/NonAtomicIncrement_2Threads.bpl unknown 7.13 4.48 None regression/showcase/Peterson.bpl unknown 6.88 4.53 None regression/showcase/PetersonWithBug.bpl unknown 5.97 4.13 None unbounded/fork_loop_inc.bpl unknown 4.88 3.44 None unbounded/fork_loop_local.bpl true 5.01 3.24 None unbounded/fork_loop_mutex.bpl unknown 6.88 4.00 None unbounded/fork_loop_noop.bpl true 6.07 3.68 None unbounded/fork_loop_unsafe.bpl unknown 4.89 3.25 None unbounded/fork_loop_unsafe2.bpl unknown 6.32 3.84 None unbounded/goblint.bpl unknown 7.54 4.74 None unbounded/pthread5_vs.bpl TIMEOUT 61.69 57.95 None unbounded/pthread_conditionals.bpl ERROR: EXCEPTION 4.96 3.13 None unbounded/pthread_double_lock_p1_vs.bpl TIMEOUT 61.87 58.88 None unbounded/pthread_fkp_2014.bpl unknown 5.83 3.73 None unbounded/pthread_inc.bpl true 5.18 3.34 None unbounded/pthread_inc2.bpl unknown 8.35 4.75 None unbounded/pthread_inc_unsafe.bpl unknown 5.98 3.65 None unbounded/pthread_nondet_loop_bound.bpl ERROR: EXCEPTION 5.82 3.29 None unbounded/pthread_rand.bpl unknown 35.65 31.03 None unbounded/pthread_simple_loop.bpl unknown 7.47 4.42 None unbounded/pthread_spin2003.bpl unknown 7.01 4.24 None unbounded/pthread_tas.bpl unknown 5.69 3.89 None unbounded/pthread_ticket.bpl unknown 26.89 20.63 None unbounded/pthread_unverifi.bpl unknown 5.50 3.47 None weaver-benchmarks/generated/array-eq-symm.wvr.yml unknown 6.02 3.88 None weaver-benchmarks/generated/array-eq-trans.wvr.yml unknown 9.61 6.64 None weaver-benchmarks/generated/clever.wvr.yml unknown 7.22 4.51 None weaver-benchmarks/generated/fibonacci.wvr.yml unknown 6.36 3.81 None weaver-benchmarks/generated/loop-tiling-eq.wvr.yml unknown 10.85 7.78 None weaver-benchmarks/generated/mult-comm.wvr.yml unknown 8.92 5.99 None weaver-benchmarks/generated/mult-dist.wvr.yml unknown 21.50 19.50 None weaver-benchmarks/generated/mult-flipped-dist.wvr.yml unknown 20.61 18.30 None weaver-benchmarks/generated/security.wvr.yml unknown 6.29 4.15 None weaver-benchmarks/generated/spaghetti.wvr.yml unknown 56.73 53.48 None weaver-benchmarks/generated/unroll-2.wvr.yml TIMEOUT 61.24 51.59 None weaver-benchmarks/generated/unroll-3.wvr.yml TIMEOUT 61.21 51.89 None weaver-benchmarks/generated/unroll-4.wvr.yml TIMEOUT 61.06 53.76 None weaver-benchmarks/generated/unroll-5.wvr.yml TIMEOUT 61.33 51.85 None weaver-benchmarks/generated/unroll-cond-2.wvr.yml TIMEOUT 60.42 49.26 None weaver-benchmarks/generated/unroll-cond-3.wvr.yml TIMEOUT 61.40 50.62 None weaver-benchmarks/generated/unroll-cond-4.wvr.yml TIMEOUT 61.10 53.30 None weaver-benchmarks/generated/unroll-cond-5.wvr.yml TIMEOUT 61.52 52.00 None weaver-benchmarks/generated/bench/exp1x3.wvr.yml unknown 5.30 3.62 None weaver-benchmarks/generated/bench/exp2x3.wvr.yml unknown 11.76 10.05 None weaver-benchmarks/generated/bench/exp2x4.wvr.yml unknown 46.76 44.87 None weaver-benchmarks/generated/bench/exp2x6.wvr.yml TIMEOUT 61.55 59.22 None weaver-benchmarks/generated/bench/exp2x9.wvr.yml TIMEOUT 61.73 59.08 None weaver-benchmarks/generated/bench/exp3x3-opt.wvr.yml unknown 7.46 4.56 None weaver-benchmarks/generated/bench/exp3x3.wvr.yml TIMEOUT 61.71 59.49 None weaver-benchmarks/generated/chl/array-int-subst.wvr.yml TIMEOUT 62.23 55.58 None weaver-benchmarks/generated/chl/array-int-symm.wvr.yml unknown 13.77 9.76 None weaver-benchmarks/generated/chl/array-int-trans.wvr.yml TIMEOUT 62.24 56.08 None weaver-benchmarks/generated/chl/chromosome-opt-symm.wvr.yml unknown 13.60 9.73 None weaver-benchmarks/generated/chl/chromosome-subst.wvr.yml TIMEOUT 62.09 56.30 None weaver-benchmarks/generated/chl/chromosome-symm.wvr.yml unknown 20.29 15.26 None weaver-benchmarks/generated/chl/chromosome-trans.wvr.yml TIMEOUT 61.94 57.72 None weaver-benchmarks/generated/chl/collitem-subst.wvr.yml unknown 6.56 3.94 None weaver-benchmarks/generated/chl/collitem-symm.wvr.yml unknown 6.48 3.91 None weaver-benchmarks/generated/chl/collitem-trans.wvr.yml unknown 6.64 3.97 None weaver-benchmarks/generated/chl/container-subst.wvr.yml unknown 6.60 3.91 None weaver-benchmarks/generated/chl/container-symm.wvr.yml unknown 6.66 4.02 None weaver-benchmarks/generated/chl/container-trans.wvr.yml unknown 5.36 3.75 None weaver-benchmarks/generated/chl/exp-term-subst.wvr.yml unknown 6.28 3.79 None weaver-benchmarks/generated/chl/exp-term-symm.wvr.yml unknown 5.15 3.08 None weaver-benchmarks/generated/chl/file-item-subst.wvr.yml unknown 6.09 3.71 None weaver-benchmarks/generated/chl/file-item-symm.wvr.yml unknown 6.18 3.68 None weaver-benchmarks/generated/chl/file-item-trans.wvr.yml unknown 6.32 3.82 None weaver-benchmarks/generated/chl/match-subst.wvr.yml unknown 5.05 3.25 None weaver-benchmarks/generated/chl/match-symm.wvr.yml unknown 4.94 3.41 None weaver-benchmarks/generated/chl/match-trans.wvr.yml unknown 6.54 3.91 None weaver-benchmarks/generated/chl/name-comparator-subst.wvr.yml TIMEOUT 62.21 55.81 None weaver-benchmarks/generated/chl/name-comparator-symm.wvr.yml unknown 57.42 51.23 None weaver-benchmarks/generated/chl/name-comparator-trans.wvr.yml TIMEOUT 62.54 56.78 None weaver-benchmarks/generated/chl/node-subst.wvr.yml unknown 8.96 6.58 None weaver-benchmarks/generated/chl/node-symm.wvr.yml unknown 7.09 4.24 None weaver-benchmarks/generated/chl/node-trans.wvr.yml unknown 10.90 7.16 None weaver-benchmarks/generated/chl/nzb-file-subst.wvr.yml TIMEOUT 62.07 56.94 None weaver-benchmarks/generated/chl/nzb-file-symm.wvr.yml unknown 11.00 8.62 None weaver-benchmarks/generated/chl/nzb-file-trans.wvr.yml TIMEOUT 61.85 58.67 None weaver-benchmarks/generated/chl/poker-hand-subst.wvr.yml TIMEOUT 62.19 56.10 None weaver-benchmarks/generated/chl/poker-hand-symm.wvr.yml TIMEOUT 61.87 58.14 None weaver-benchmarks/generated/chl/poker-hand-trans.wvr.yml TIMEOUT 61.90 57.57 None weaver-benchmarks/generated/chl/simpl-str-subst.wvr.yml unknown 5.18 3.32 None weaver-benchmarks/generated/chl/simpl-str-symm.wvr.yml unknown 5.11 3.33 None weaver-benchmarks/generated/chl/simpl-str-trans.wvr.yml unknown 5.10 3.36 None weaver-benchmarks/generated/chl/sre-subst.wvr.yml unknown 6.49 3.93 None weaver-benchmarks/generated/chl/sre-symm.wvr.yml unknown 5.17 3.51 None weaver-benchmarks/generated/chl/sre-trans.wvr.yml unknown 6.47 3.88 None weaver-benchmarks/generated/chl/time-subst.wvr.yml unknown 5.21 3.42 None weaver-benchmarks/generated/chl/time-symm.wvr.yml unknown 6.24 3.78 None weaver-benchmarks/generated/chl/time-trans.wvr.yml unknown 6.88 4.11 None weaver-benchmarks/generated/chl/word-subst.wvr.yml TIMEOUT 61.87 58.54 None weaver-benchmarks/generated/chl/word-symm.wvr.yml unknown 10.96 8.49 None weaver-benchmarks/generated/chl/word-trans.wvr.yml TIMEOUT 62.03 56.79 None weaver-benchmarks/generated/parallel/bakery-2.wvr.yml unknown 30.95 28.56 None weaver-benchmarks/generated/parallel/bakery-3.wvr.yml TIMEOUT 61.65 58.15 None weaver-benchmarks/generated/parallel/bakery-4.wvr.yml TIMEOUT 61.60 58.09 None weaver-benchmarks/generated/parallel/barrier-loop.wvr.yml TIMEOUT 61.51 59.14 None weaver-benchmarks/generated/parallel/barrier.wvr.yml TIMEOUT 61.62 58.71 None weaver-benchmarks/generated/parallel/bluetooth.wvr.yml TIMEOUT 61.67 58.02 None weaver-benchmarks/generated/parallel/lamport.wvr.yml TIMEOUT 61.53 59.17 None weaver-benchmarks/generated/parallel/min-max-1.wvr.yml unknown 18.14 15.36 None weaver-benchmarks/generated/parallel/min-max-2.wvr.yml unknown 49.97 46.34 None weaver-benchmarks/generated/parallel/misc-1.wvr.yml unknown 7.63 5.69 None weaver-benchmarks/generated/parallel/misc-2-unrolled-atomic.wvr.yml unknown 6.24 4.36 None weaver-benchmarks/generated/parallel/misc-2-unrolled.wvr.yml unknown 5.49 3.75 None weaver-benchmarks/generated/parallel/misc-2.wvr.yml unknown 6.04 4.30 None weaver-benchmarks/generated/parallel/misc-3-extended.wvr.yml unknown 7.26 5.42 None weaver-benchmarks/generated/parallel/misc-3.wvr.yml unknown 5.91 3.92 None weaver-benchmarks/generated/parallel/misc-4.wvr.yml unknown 6.81 4.85 None weaver-benchmarks/generated/parallel/misc-5.wvr.yml unknown 5.31 3.49 None weaver-benchmarks/generated/parallel/parallel-sum-1-dsl.wvr.yml TIMEOUT 60.43 49.39 None weaver-benchmarks/generated/parallel/parallel-sum-1.wvr.yml TIMEOUT 61.46 52.43 None weaver-benchmarks/generated/parallel/parallel-sum-2.wvr.yml TIMEOUT 61.27 52.73 None weaver-benchmarks/generated/parallel/parallel-sum-equiv.wvr.yml TIMEOUT 61.45 53.27 None weaver-benchmarks/generated/parallel/simple-equiv.wvr.yml unknown 9.38 7.83 None weaver-benchmarks/generated/parallel/ticket-2.wvr.yml unknown 10.89 8.96 None weaver-benchmarks/generated/parallel/ticket-3.wvr.yml TIMEOUT 61.91 58.04 None weaver-benchmarks/generated/parallel/ticket-4.wvr.yml TIMEOUT 61.55 59.15 None weaver-benchmarks/generated/parallel/ticket-5.wvr.yml TIMEOUT 61.59 58.25 None weaver-benchmarks/generated/parallel/ticket-6.wvr.yml TIMEOUT 61.61 58.42 None weaver-benchmarks/generated/parallel/ticket-7.wvr.yml TIMEOUT 61.53 59.23 None weaver-benchmarks/generated/parallel/ticket-8.wvr.yml TIMEOUT 60.92 58.93 None weaver-benchmarks/generated/popl20-bad/buffer-mult-alt.wvr.yml unknown 13.99 10.74 None weaver-benchmarks/generated/popl20-bad/commit-1.wvr.yml unknown 32.13 27.20 None weaver-benchmarks/generated/popl20-bad/commit-2.wvr.yml TIMEOUT 62.27 55.41 None weaver-benchmarks/generated/popl20-bad/counter-queue.wvr.yml unknown 7.64 5.53 None weaver-benchmarks/generated/popl20-bad/dot-product-alt.wvr.yml unknown 10.31 7.18 None weaver-benchmarks/generated/popl20-bad/dot-product.wvr.yml unknown 9.71 7.52 None weaver-benchmarks/generated/popl20-bad/ring-nondet.wvr.yml unknown 18.12 15.16 None weaver-benchmarks/generated/popl20-bad/ring.wvr.yml unknown 10.10 7.35 None weaver-benchmarks/generated/popl20-bad/threaded-sum-2.wvr.yml unknown 8.64 6.87 None weaver-benchmarks/generated/popl20-bad/three-array-sum-alt.wvr.yml unknown 47.27 44.88 None weaver-benchmarks/generated/popl20-more/array-sum-alt.wvr.yml unknown 8.92 6.72 None weaver-benchmarks/generated/popl20-more/array-sum.wvr.yml unknown 8.58 6.63 None weaver-benchmarks/generated/popl20-more/buffer-mult.wvr.yml unknown 14.01 10.92 None weaver-benchmarks/generated/popl20-more/buffer-series-array.wvr.yml unknown 11.94 9.87 None weaver-benchmarks/generated/popl20-more/buffer-series.wvr.yml unknown 14.34 11.00 None weaver-benchmarks/generated/popl20-more/dec-subseq-array.wvr.yml unknown 6.66 4.37 None weaver-benchmarks/generated/popl20-more/dec-subseq.wvr.yml unknown 6.27 4.71 None weaver-benchmarks/generated/popl20-more/dot-product-array.wvr.yml unknown 31.70 28.40 None weaver-benchmarks/generated/popl20-more/dot-product.wvr.yml unknown 30.73 28.21 None weaver-benchmarks/generated/popl20-more/inc-subseq-array.wvr.yml unknown 7.29 4.63 None weaver-benchmarks/generated/popl20-more/inc-subseq.wvr.yml unknown 6.55 4.57 None weaver-benchmarks/generated/popl20-more/max-array-hom.wvr.yml unknown 36.20 33.63 None weaver-benchmarks/generated/popl20-more/max-array.wvr.yml unknown 30.53 27.06 None weaver-benchmarks/generated/popl20-more/max-fun-alt.wvr.yml unknown 31.18 27.46 None weaver-benchmarks/generated/popl20-more/max-fun.wvr.yml unknown 37.54 35.28 None weaver-benchmarks/generated/popl20-more/min-array-hom.wvr.yml unknown 39.02 35.67 None weaver-benchmarks/generated/popl20-more/min-array.wvr.yml unknown 28.91 26.73 None weaver-benchmarks/generated/popl20-more/min-fun-alt.wvr.yml unknown 30.65 27.05 None weaver-benchmarks/generated/popl20-more/min-fun.wvr.yml unknown 39.61 36.00 None weaver-benchmarks/generated/popl20-more/min-le-max.wvr.yml unknown 6.54 4.79 None weaver-benchmarks/generated/popl20-more/mts-array.wvr.yml TIMEOUT 61.69 59.13 None weaver-benchmarks/generated/popl20-more/mts.wvr.yml TIMEOUT 61.57 59.07 None weaver-benchmarks/generated/popl20-more/multiply-verify.wvr.yml unknown 11.88 8.39 None weaver-benchmarks/generated/popl20-more/nonblocking-counter-alt2.wvr.yml unknown 10.23 7.27 None weaver-benchmarks/generated/popl20-more/parray-copy.wvr.yml unknown 53.61 51.06 None weaver-benchmarks/generated/popl20-more/queue-add-2-nl.wvr.yml unknown 10.75 8.99 None weaver-benchmarks/generated/popl20-more/queue-add-3-nl.wvr.yml unknown 29.63 26.70 None weaver-benchmarks/generated/popl20-more/sorted.wvr.yml TIMEOUT 61.37 57.93 None weaver-benchmarks/generated/popl20-more/sum-array-hom.wvr.yml unknown 38.19 34.68 None weaver-benchmarks/generated/popl20-more/sum-array.wvr.yml unknown 30.72 27.36 None weaver-benchmarks/generated/popl20-more/sum-fun-alt.wvr.yml unknown 28.42 26.19 None weaver-benchmarks/generated/popl20-more/sum-fun.wvr.yml unknown 36.33 34.45 None weaver-benchmarks/generated/popl20-more/vector-add.wvr.yml unknown 35.07 31.77 None weaver-benchmarks/generated/popl20-proofs/counter-add-4-semi-Q67.wvr.yml TIMEOUT 61.60 59.05 None weaver-benchmarks/generated/popl20/channel-sum.wvr.yml TIMEOUT 61.51 51.19 None weaver-benchmarks/generated/popl20/commit-1.wvr.yml unknown 7.43 4.51 None weaver-benchmarks/generated/popl20/commit-2.wvr.yml unknown 10.38 6.94 None weaver-benchmarks/generated/popl20/counter-determinism.wvr.yml TIMEOUT 61.82 58.53 None weaver-benchmarks/generated/popl20/counter-fun.wvr.yml unknown 9.33 6.56 None weaver-benchmarks/generated/popl20/difference-det.wvr.yml TIMEOUT 61.68 58.55 None weaver-benchmarks/generated/popl20/figure1-alt.wvr.yml unknown 9.93 7.21 None weaver-benchmarks/generated/popl20/figure1.wvr.yml unknown 9.46 6.73 None weaver-benchmarks/generated/popl20/figure3.wvr.yml unknown 8.34 6.44 None weaver-benchmarks/generated/popl20/horseshoe.wvr.yml unknown 8.41 5.43 None weaver-benchmarks/generated/popl20/min-max-dec.wvr.yml unknown 50.73 46.83 None weaver-benchmarks/generated/popl20/min-max-inc-dec.wvr.yml TIMEOUT 61.56 58.72 None weaver-benchmarks/generated/popl20/min-max-inc.wvr.yml unknown 48.05 44.22 None weaver-benchmarks/generated/popl20/mult-4.wvr.yml TIMEOUT 61.68 58.23 None weaver-benchmarks/generated/popl20/mult-equiv.wvr.yml unknown 5.84 3.83 None weaver-benchmarks/generated/popl20/nonblocking-cntr-alt.wvr.yml unknown 9.96 7.20 None weaver-benchmarks/generated/popl20/nonblocking-cntr.wvr.yml unknown 8.51 6.82 None weaver-benchmarks/generated/popl20/prod-cons-eq.wvr.yml unknown 5.18 3.47 None weaver-benchmarks/generated/popl20/prod-cons.wvr.yml unknown 7.70 5.91 None weaver-benchmarks/generated/popl20/prod-cons3.wvr.yml unknown 14.68 12.00 None weaver-benchmarks/generated/popl20/queue-add-2.wvr.yml unknown 6.35 4.51 None weaver-benchmarks/generated/popl20/queue-add-3.wvr.yml unknown 9.46 6.62 None weaver-benchmarks/generated/popl20/send-receive-alt.wvr.yml TIMEOUT 61.48 52.18 None weaver-benchmarks/generated/popl20/send-receive.wvr.yml unknown 7.48 5.44 None weaver-benchmarks/generated/popl20/simple-array-sum.wvr.yml unknown 10.48 8.51 None weaver-benchmarks/generated/popl20/simple-queue.wvr.yml TIMEOUT 60.75 47.40 None weaver-benchmarks/generated/popl20/threaded-sum-3.wvr.yml unknown 22.71 20.41 None weaver-benchmarks/generated/popl20/three-array-max.wvr.yml unknown 27.22 23.93 None weaver-benchmarks/generated/popl20/three-array-min.wvr.yml unknown 27.67 25.05 None weaver-benchmarks/generated/popl20/three-array-sum.wvr.yml unknown 15.78 13.83 None weaver-benchmarks/generated/popl20/two-queue.wvr.yml unknown 10.51 8.85 None weaver-benchmarks/generated/test/context1.wvr.yml TIMEOUT 60.40 50.37 None weaver-benchmarks/generated/test/easy1.wvr.yml unknown 5.76 4.02 None weaver-benchmarks/generated/test/easy10.wvr.yml TIMEOUT 61.60 58.45 None weaver-benchmarks/generated/test/easy11.wvr.yml unknown 6.73 4.73 None weaver-benchmarks/generated/test/easy6.wvr.yml TIMEOUT 61.62 59.42 None weaver-benchmarks/generated/test/easy7.wvr.yml unknown 15.95 13.84 None weaver-benchmarks/generated/test/easy8.wvr.yml unknown 4.87 3.26 None weaver-benchmarks/generated/test/hard1.wvr.yml unknown 8.24 4.96 None weaver-benchmarks/generated/test/semi1.wvr.yml unknown 6.70 4.22 None ----------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 6188.19 423.17 - Statistics: 550 Files correct: 1 correct true: 1 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 510 Score: 2 (max: 730)