BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Wed, 2024-09-25 10:17:21 CEST tool: ULTIMATE Automizer 0.2.4-fb1cb0b9 tool executable: ./Ultimate.py options: --full-output --procedureinliner.inline.calls.to.implemented.procedures NEVER --traceabstraction.positions.where.we.compute.the.hoare.annotation All --traceabstraction.encode.modifies.clause.in.ensures.clause.of.contracts true --witnessprinter.yaml.format.version 2.1 --witnessprinter.generate.graphml.witnesses false parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.8-4-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ SV-COMP24_unreach-call Run set 1 of 1 with options '--full-output --procedureinliner.inline.calls.to.implemented.procedures NEVER --traceabstraction.positions.where.we.compute.the.hoare.annotation All --traceabstraction.encode.modifies.clause.in.ensures.clause.of.contracts true --witnessprinter.yaml.format.version 2.1 --witnessprinter.generate.graphml.witnesses false' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 15.15 8.56 None loops/count_up_down-1.yml TIMEOUT 300.40 277.15 None loops/eureka_01-2.yml TIMEOUT 300.29 277.17 None loops/eureka_05.yml TIMEOUT 300.74 250.37 None loops/for_infinite_loop_1.yml true 11.05 6.29 None loops/for_infinite_loop_2.yml true 8.14 4.79 None loops/heavy-2.yml true 14.48 8.32 None loops/insertion_sort-2-2.yml TIMEOUT 301.04 287.45 None loops/invert_string-3.yml true 146.12 130.08 None loops/linear_sea.ch.yml TIMEOUT 300.18 272.15 None loops/lu.cmp.yml true 17.67 9.83 None loops/matrix-1.yml TIMEOUT 300.21 281.17 None loops/n.c11.yml true 9.20 5.53 None loops/n.c40.yml ERROR (7) 19.07 12.23 None loops/nec40.yml ERROR (7) 18.21 11.24 None loops/string-1.yml true 11.13 7.18 None loops/sum01-2.yml true 15.16 8.76 None loops/sum03-2.yml true 11.48 6.22 None loops/sum04-2.yml true 14.02 8.45 None loops/sum_array-2-2.yml TIMEOUT 301.38 258.55 None loops/terminator_02-2.yml true 9.20 5.52 None loops/terminator_02-2_abstracted.yml true 8.99 5.57 None loops/terminator_03-2.yml true 11.05 6.28 None loops/terminator_03-2_abstracted.yml true 11.21 6.19 None loops/trex01-2.yml true 8.52 4.96 None loops/trex02-1.yml true 10.83 6.06 None loops/trex03-2.yml true 9.42 5.88 None loops/trex03-2_abstracted.yml true 10.63 6.36 None loops/trex04.yml true 11.31 6.46 None loops/trex04_abstracted.yml true 11.16 6.25 None loops/veris.c_NetBSD-libc_loop.yml true 11.50 7.13 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 14.67 8.66 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 8.39 5.36 None loops/vogal-1.yml TIMEOUT 300.53 267.26 None loops/while_infinite_loop_1.yml true 10.82 6.41 None loops/while_infinite_loop_2.yml true 10.33 6.15 None loops/while_infinite_loop_3.yml true 8.79 5.33 None loop-acceleration/array_1-2.yml true 14.72 11.13 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.26 287.57 None loop-acceleration/array_2-2.yml TIMEOUT 301.04 289.34 None loop-acceleration/array_3-1.yml true 9.09 5.85 None loop-acceleration/array_4.yml TIMEOUT 300.27 278.56 None loop-acceleration/const_1-1.yml true 8.90 5.25 None loop-acceleration/diamond_1-1.yml true 43.92 33.01 None loop-acceleration/diamond_2-2.yml true 29.47 23.36 None loop-acceleration/functions_1-1.yml true 9.38 5.47 None loop-acceleration/multivar_1-1.yml true 9.00 5.45 None loop-acceleration/nested_1-1.yml true 29.68 17.74 None loop-acceleration/overflow_1-1.yml true 9.68 6.18 None loop-acceleration/phases_1-1.yml TIMEOUT 300.95 291.85 None loop-acceleration/phases_2-2.yml true 22.43 18.56 None loop-acceleration/simple_1-2.yml true 8.84 5.32 None loop-acceleration/simple_1-2_abstracted.yml true 8.66 5.56 None loop-acceleration/simple_2-1.yml true 7.61 4.55 None loop-acceleration/simple_2-1_abstracted.yml true 7.63 4.54 None loop-acceleration/simple_3-2.yml true 8.97 5.51 None loop-acceleration/simple_4-2.yml true 8.86 5.50 None loop-acceleration/simple_4-2_abstracted.yml true 8.60 5.45 None loop-acceleration/underapprox_1-2.yml true 12.94 8.26 None loop-acceleration/underapprox_2-2.yml true 9.07 5.55 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 301.24 287.06 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.32 273.70 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.04 284.95 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 20.79 11.26 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 20.49 11.56 None loop-crafted/simple_array_index_value_4.yml true 25.77 14.36 None loop-crafted/simple_vardep_1.yml true 9.23 5.31 None loop-crafted/simple_vardep_2.yml true 11.90 6.62 None loop-invgen/MADWiFi-encode_ie_ok.yml true 13.37 7.51 None loop-invgen/NetBSD_loop.yml true 11.24 7.11 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 21.78 11.74 None loop-invgen/SpamAssassin-loop.yml true 11.95 7.21 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 27.80 15.10 None loop-invgen/apache-escape-absolute.yml true 15.85 8.49 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 25.44 13.82 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 67.58 40.15 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 89.17 64.43 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 21.28 12.86 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 26.75 14.86 None loop-invgen/apache-get-tag.yml true 14.93 8.29 None loop-invgen/down.yml TIMEOUT 300.43 245.52 None loop-invgen/fragtest_simple.yml TIMEOUT 300.22 251.82 None loop-invgen/half_2.yml TIMEOUT 300.31 246.11 None loop-invgen/heapsort.yml TIMEOUT 301.14 287.63 None loop-invgen/id_build.i.p+nlh-reducer.yml true 20.94 11.42 None loop-invgen/id_build.i.p+sep-reducer.yml true 21.92 11.95 None loop-invgen/id_build.i.v+lhb-reducer.yml true 11.99 6.59 None loop-invgen/id_build.yml true 10.67 5.98 None loop-invgen/large_const.yml true 16.18 9.80 None loop-invgen/nest-if3.yml true 10.90 6.35 None loop-invgen/nested6.yml true 25.31 14.48 None loop-invgen/nested9.yml true 16.96 10.34 None loop-invgen/sendmail-close-angle.yml true 24.39 13.49 None loop-invgen/seq-3.yml TIMEOUT 300.79 258.35 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.58 266.86 None loop-invgen/up.yml TIMEOUT 301.26 248.06 None loop-lit/afnp2014.yml true 12.86 7.40 None loop-lit/as2013-hybrid.yml true 12.98 7.67 None loop-lit/bh2017-ex-add.yml true 17.22 10.00 None loop-lit/bh2017-ex1-poly.yml true 17.48 9.64 None loop-lit/bh2017-ex3.yml true 12.56 7.37 None loop-lit/bhmr2007.yml true 15.39 8.78 None loop-lit/cggmp2005.yml true 12.35 7.20 None loop-lit/cggmp2005_variant.yml true 10.65 6.39 None loop-lit/cggmp2005b.yml true 12.51 7.31 None loop-lit/css2003.yml true 11.68 6.52 None loop-lit/ddlm2013.yml true 12.26 7.36 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 76.30 50.16 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 107.04 70.80 None loop-lit/gj2007.yml true 40.85 27.53 None loop-lit/gj2007b.yml true 10.88 6.65 None loop-lit/gr2006.yml true 48.17 31.47 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 8.56 5.82 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 9.03 5.51 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 9.20 5.63 None loop-lit/gsv2008.yml true 8.50 5.12 None loop-lit/hh2012-ex1b.yml true 10.43 5.90 None loop-lit/hh2012-ex2b.yml true 9.54 5.48 None loop-lit/hh2012-ex3.yml true 17.27 10.67 None loop-lit/hhk2008.yml true 12.21 6.90 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 9.89 5.71 None loop-lit/jm2006.yml true 9.28 5.94 None loop-lit/jm2006_variant.yml true 14.68 8.49 None loop-lit/mcmillan2006.yml TIMEOUT 300.92 279.61 None loop-lit/mine2017-ex4.10.yml true 8.95 6.26 None loop-lit/mine2017-ex4.6.yml true 9.66 6.47 None loop-lit/mine2017-ex4.7.yml true 8.67 5.20 None loop-lit/mine2017-ex4.8.yml true 8.30 5.44 None loop-new/count_by_1.yml true 8.43 5.54 None loop-new/count_by_1_variant.yml true 8.28 5.44 None loop-new/count_by_2.yml TIMEOUT 300.64 248.78 None loop-new/count_by_k.yml TIMEOUT 300.36 283.26 None loop-new/count_by_nondet.yml TIMEOUT 301.31 265.99 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 9.52 6.30 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 16.21 9.10 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 9.38 6.04 None loop-new/gauss_sum.yml true 12.57 7.12 None loop-new/half.yml true 15.84 10.43 None loop-new/nested-1.yml TIMEOUT 300.16 282.53 None loop-industry-pattern/aiob_1.yml unknown 12.81 7.94 None loop-industry-pattern/aiob_2.yml unknown 12.66 8.13 None loop-industry-pattern/aiob_3.yml unknown 13.25 8.69 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 12.46 7.74 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 12.35 7.67 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 12.73 7.80 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 13.53 8.36 None loop-industry-pattern/aiob_4.yml unknown 12.75 7.98 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 12.87 7.21 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 9.24 5.58 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 12.93 7.45 None loop-industry-pattern/mod3.yml true 9.32 6.08 None loop-industry-pattern/ofuf_1.yml unknown 16.95 9.67 None loop-industry-pattern/ofuf_2.yml unknown 13.06 8.39 None loop-industry-pattern/ofuf_3.yml unknown 17.35 9.44 None loop-industry-pattern/ofuf_4.yml unknown 17.51 9.89 None loop-industry-pattern/ofuf_5.yml unknown 13.70 8.23 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 300.94 293.49 None loops-crafted-1/discover_list.yml unknown 17.04 9.46 None loops-crafted-1/iftelse.yml TIMEOUT 300.99 290.26 None loops-crafted-1/in-de20.yml TIMEOUT 300.70 262.32 None loops-crafted-1/in-de31.yml TIMEOUT 301.09 283.03 None loops-crafted-1/in-de32.yml TIMEOUT 301.03 262.91 None loops-crafted-1/in-de41.yml TIMEOUT 300.84 266.96 None loops-crafted-1/in-de42.yml TIMEOUT 300.55 267.78 None loops-crafted-1/in-de51.yml TIMEOUT 301.10 285.33 None loops-crafted-1/in-de52.yml TIMEOUT 300.91 264.12 None loops-crafted-1/in-de61.yml TIMEOUT 300.51 266.88 None loops-crafted-1/in-de62.yml TIMEOUT 301.06 285.61 None loops-crafted-1/loopv1.yml true 9.23 5.50 None loops-crafted-1/loopv2.yml true 9.13 5.30 None loops-crafted-1/loopv3.yml true 15.40 9.39 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.54 278.86 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 300.96 290.65 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.38 285.40 None loops-crafted-1/mono-crafted_12.yml true 11.93 7.07 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.22 252.68 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.86 252.54 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.76 264.85 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 300.41 257.29 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.51 280.16 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 301.03 284.34 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.03 251.13 None loops-crafted-1/nested3-1.yml TIMEOUT 300.25 274.46 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 302.36 274.07 None loops-crafted-1/nested5-1.yml true 14.04 8.22 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 300.71 250.35 None loops-crafted-1/net_reset.yml unknown 15.64 8.73 None loops-crafted-1/sum_by_3.yml true 29.70 21.02 None loops-crafted-1/sum_by_3_abstracted.yml true 15.85 9.37 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.64 280.06 None loops-crafted-1/sumt2.yml true 10.45 6.16 None loops-crafted-1/sumt3.yml true 10.14 5.95 None loops-crafted-1/sumt4.yml true 10.66 6.11 None loops-crafted-1/sumt5.yml true 14.31 7.96 None loops-crafted-1/sumt6.yml true 10.85 6.44 None loops-crafted-1/sumt7.yml true 11.56 7.00 None loops-crafted-1/sumt8.yml true 11.43 7.06 None loops-crafted-1/sumt9.yml true 17.13 9.60 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.25 268.75 None loops-crafted-1/vnew1.yml TIMEOUT 301.06 281.57 None loops-crafted-1/vnew2.yml TIMEOUT 301.06 288.22 None loops-crafted-1/watermelon.yml TIMEOUT 300.47 245.32 None loop-invariants/bin-suffix-5.yml true 22.39 13.09 None loop-invariants/const.yml true 11.12 6.13 None loop-invariants/eq1.yml true 11.25 6.42 None loop-invariants/eq2.yml true 11.65 6.32 None loop-invariants/even.yml true 11.89 6.78 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 300.55 247.31 None loop-invariants/mod4.yml true 9.43 5.72 None loop-invariants/odd.yml true 12.23 7.21 None loop-simple/nested_1.yml true 11.51 6.79 None loop-simple/nested_2.yml true 14.22 8.98 None loop-simple/nested_3.yml true 38.53 22.30 None loop-simple/nested_4.yml true 180.38 153.89 None loop-simple/nested_5.yml OUT OF MEMORY 185.10 157.23 None loop-simple/nested_6.yml OUT OF MEMORY 101.29 76.77 None loop-zilu/benchmark02_linear.yml true 11.01 6.07 None loop-zilu/benchmark02_linear_abstracted.yml true 11.59 6.43 None loop-zilu/benchmark04_conjunctive.yml true 12.78 7.41 None loop-zilu/benchmark05_conjunctive.yml true 12.83 7.81 None loop-zilu/benchmark09_conjunctive.yml true 12.15 7.22 None loop-zilu/benchmark10_conjunctive.yml true 13.80 7.91 None loop-zilu/benchmark11_linear.yml true 11.88 6.66 None loop-zilu/benchmark11_linear_abstracted.yml true 11.15 6.15 None loop-zilu/benchmark14_linear.yml true 8.78 5.99 None loop-zilu/benchmark17_conjunctive.yml true 10.85 6.13 None loop-zilu/benchmark18_conjunctive.yml true 12.06 6.87 None loop-zilu/benchmark19_conjunctive.yml true 12.53 7.33 None loop-zilu/benchmark20_conjunctive.yml true 8.38 5.49 None loop-zilu/benchmark23_conjunctive.yml true 60.45 38.77 None loop-zilu/benchmark25_linear.yml true 8.74 5.45 None loop-zilu/benchmark25_linear_abstracted.yml true 10.81 6.05 None loop-zilu/benchmark26_linear.yml true 11.61 6.68 None loop-zilu/benchmark26_linear_abstracted.yml true 7.87 4.91 None loop-zilu/benchmark32_linear.yml true 10.83 6.06 None loop-zilu/benchmark33_linear.yml true 10.85 6.26 None loop-zilu/benchmark34_conjunctive.yml true 9.60 6.19 None loop-zilu/benchmark35_linear.yml true 11.08 6.26 None loop-zilu/benchmark37_conjunctive.yml true 12.03 6.77 None loop-zilu/benchmark43_conjunctive.yml true 8.51 6.01 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 12.32 6.80 None loop-zilu/benchmark51_polynomial.yml true 11.24 6.40 None loop-zilu/benchmark52_polynomial.yml true 8.74 5.64 None verifythis/duplets.yml TIMEOUT 300.96 268.01 None verifythis/elimination_max.yml TIMEOUT 300.25 270.85 None verifythis/lcp.yml TIMEOUT 300.50 286.05 None verifythis/prefixsum_iter.yml TIMEOUT 301.04 282.94 None nla-digbench/bresenham-ll.yml true 41.08 31.29 None nla-digbench/cohencu-ll.yml true 33.76 23.27 None nla-digbench/cohendiv-ll.yml true 14.16 9.66 None nla-digbench/dijkstra-u.yml TIMEOUT 301.03 284.30 None nla-digbench/divbin2.yml TIMEOUT 300.21 290.05 None nla-digbench/egcd-ll.yml true 30.41 21.00 None nla-digbench/egcd2-ll.yml TIMEOUT 300.21 278.87 None nla-digbench/egcd3-ll.yml TIMEOUT 300.32 281.59 None nla-digbench/fermat1-ll.yml true 15.61 9.61 None nla-digbench/fermat2-ll.yml true 14.34 8.38 None nla-digbench/geo1-ll.yml TIMEOUT 300.62 293.41 None nla-digbench/geo2-ll.yml TIMEOUT 300.95 293.21 None nla-digbench/geo3-ll.yml TIMEOUT 301.03 288.78 None nla-digbench/hard-ll.yml TIMEOUT 300.30 279.01 None nla-digbench/hard2.yml true 77.50 56.95 None nla-digbench/knuth.yml TIMEOUT 301.03 292.47 None nla-digbench/lcm1.yml TIMEOUT 300.92 295.79 None nla-digbench/lcm2.yml true 17.62 11.84 None nla-digbench/mannadiv.yml true 14.20 8.42 None nla-digbench/prod4br-ll.yml true 18.87 10.63 None nla-digbench/prodbin-ll.yml TIMEOUT 300.30 275.65 None nla-digbench/ps2-ll.yml true 8.49 5.55 None nla-digbench/ps3-ll.yml true 11.76 7.03 None nla-digbench/ps4-ll.yml true 11.69 7.68 None nla-digbench/ps5-ll.yml true 15.55 9.47 None nla-digbench/ps6-ll.yml true 158.30 148.29 None nla-digbench/sqrt1-ll.yml true 11.08 7.35 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 22.87 13.27 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 16.07 10.25 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 21.28 12.57 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 57.18 47.03 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 22.52 13.55 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 21.56 12.66 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 21.03 12.31 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 27.87 17.60 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 257.53 249.32 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 44.67 33.07 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 32.37 20.30 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 25.51 17.65 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 23.85 15.97 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 35.84 23.07 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 11.19 7.49 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 18.24 11.75 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 18.24 11.12 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 20.01 11.66 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 17.35 11.57 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 18.14 12.30 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 17.66 11.09 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 17.82 10.87 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 12.89 8.86 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 18.00 10.66 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 13.74 8.70 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 13.95 9.10 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 17.50 10.38 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 13.41 8.62 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 30.69 27.11 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 28.24 22.38 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.02 287.23 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.08 284.78 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 301.01 290.17 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.01 290.36 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 300.14 288.70 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 301.04 284.35 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 300.13 282.83 None nla-digbench-scaling/divbin2_unwindbound1.yml true 9.12 5.73 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.04 290.88 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 301.04 290.75 None nla-digbench-scaling/divbin2_unwindbound2.yml true 13.94 8.37 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.01 288.47 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.12 285.72 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 300.21 284.60 None nla-digbench-scaling/divbin2_valuebound1.yml true 42.39 33.51 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.01 290.00 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 300.97 291.82 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.03 289.26 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.04 291.50 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.02 288.92 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.02 288.17 None nla-digbench-scaling/divbin_unwindbound1.yml true 10.35 5.96 None nla-digbench-scaling/divbin_unwindbound2.yml true 12.38 8.04 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.02 287.20 None nla-digbench-scaling/divbin_valuebound1.yml true 68.67 57.98 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.00 288.17 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 300.99 290.91 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 301.10 283.86 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 300.23 285.48 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 300.16 275.45 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.03 289.14 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 18.48 11.01 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 42.10 31.32 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 65.03 53.87 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 31.66 20.18 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 52.92 42.89 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 38.53 30.52 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 67.36 56.74 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 33.27 22.42 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.19 273.19 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 301.01 289.76 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 81.11 59.82 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 300.12 282.80 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.10 278.32 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 301.05 284.62 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 33.87 19.80 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.49 278.17 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 301.17 286.72 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 78.54 52.56 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 301.17 262.63 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.41 276.81 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 301.00 264.29 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 11.52 7.97 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 15.16 9.55 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 12.23 8.53 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 15.31 9.20 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 12.39 9.01 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 15.49 9.44 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 12.54 8.78 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 16.62 10.96 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 13.82 9.74 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 14.43 9.86 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 16.99 10.97 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 13.60 10.19 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 16.76 10.99 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 14.21 10.19 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 300.99 294.58 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 301.04 289.68 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 301.04 289.51 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 300.99 293.01 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 301.04 289.53 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 300.98 293.76 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.04 289.72 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 20.33 13.22 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 301.00 292.46 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 301.09 288.87 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 37.81 29.03 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 301.06 286.66 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 301.03 289.39 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 300.96 293.25 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 9.93 6.17 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 10.78 7.02 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 301.04 293.23 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 15.30 9.23 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 133.60 122.92 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 14.01 8.44 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 244.85 234.73 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 33.86 29.80 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.94 293.93 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.95 292.45 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.92 295.88 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.94 293.75 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.94 293.93 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.92 295.40 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 12.12 7.10 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 8.99 5.91 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 11.36 6.73 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 17.76 12.48 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 91.84 82.06 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 9.41 5.68 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 300.97 291.47 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 91.33 83.15 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 300.97 292.26 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.04 287.73 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 52.12 47.44 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 300.97 292.42 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 301.01 289.08 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 300.97 291.77 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 11.49 6.88 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 13.75 8.33 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 301.02 288.04 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 11.78 7.12 None nla-digbench-scaling/geo3-ll_valuebound20.yml TIMEOUT 300.97 292.06 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 11.47 6.85 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 301.01 289.09 None nla-digbench-scaling/hard-ll_valuebound1.yml true 31.19 17.52 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.45 269.96 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 301.20 283.16 None nla-digbench-scaling/hard-ll_valuebound2.yml true 50.68 30.45 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.44 269.75 None nla-digbench-scaling/hard-ll_valuebound5.yml true 144.95 118.40 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.18 280.57 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.02 286.70 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.03 287.89 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 300.99 291.62 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.00 288.81 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 300.96 292.75 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 300.30 285.59 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 300.97 293.01 None nla-digbench-scaling/hard2_valuebound1.yml true 25.62 14.91 None nla-digbench-scaling/hard2_valuebound10.yml true 89.41 76.38 None nla-digbench-scaling/hard2_valuebound100.yml true 101.37 80.50 None nla-digbench-scaling/hard2_valuebound2.yml true 62.75 42.48 None nla-digbench-scaling/hard2_valuebound20.yml true 104.24 81.26 None nla-digbench-scaling/hard2_valuebound5.yml true 90.27 76.69 None nla-digbench-scaling/hard2_valuebound50.yml true 102.81 81.29 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.05 292.93 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.01 295.16 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.07 291.72 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.06 292.12 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.02 295.74 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.04 292.06 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.03 294.49 None nla-digbench-scaling/knuth_valuebound1.yml true 30.45 20.22 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 300.24 284.28 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 301.05 291.64 None nla-digbench-scaling/knuth_valuebound2.yml true 29.74 19.78 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 300.27 284.75 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 300.27 285.22 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.03 292.52 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.92 295.39 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.91 297.81 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.93 295.26 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.91 296.45 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.92 296.06 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.92 295.79 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.90 297.26 None nla-digbench-scaling/lcm2_unwindbound1.yml true 19.10 12.28 None nla-digbench-scaling/lcm2_unwindbound10.yml true 24.27 16.02 None nla-digbench-scaling/lcm2_unwindbound100.yml true 19.06 13.47 None nla-digbench-scaling/lcm2_unwindbound2.yml true 15.65 10.70 None nla-digbench-scaling/lcm2_unwindbound20.yml true 23.85 16.31 None nla-digbench-scaling/lcm2_unwindbound5.yml true 18.87 13.36 None nla-digbench-scaling/lcm2_unwindbound50.yml true 22.37 14.36 None nla-digbench-scaling/lcm2_valuebound1.yml true 11.94 7.55 None nla-digbench-scaling/lcm2_valuebound10.yml true 17.72 10.95 None nla-digbench-scaling/lcm2_valuebound100.yml true 16.97 12.91 None nla-digbench-scaling/lcm2_valuebound2.yml true 19.59 13.48 None nla-digbench-scaling/lcm2_valuebound20.yml true 19.75 13.47 None nla-digbench-scaling/lcm2_valuebound5.yml true 17.09 12.29 None nla-digbench-scaling/lcm2_valuebound50.yml true 16.58 11.72 None nla-digbench-scaling/mannadiv_valuebound1.yml true 14.81 8.97 None nla-digbench-scaling/mannadiv_valuebound10.yml true 15.27 8.91 None nla-digbench-scaling/mannadiv_valuebound100.yml true 15.00 8.82 None nla-digbench-scaling/mannadiv_valuebound2.yml true 11.65 7.51 None nla-digbench-scaling/mannadiv_valuebound20.yml true 14.15 8.43 None nla-digbench-scaling/mannadiv_valuebound5.yml true 11.55 7.22 None nla-digbench-scaling/mannadiv_valuebound50.yml true 15.36 8.84 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 12.76 8.62 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 15.60 9.19 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 15.37 8.87 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 14.60 8.40 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 11.35 6.89 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 14.93 8.72 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 11.41 6.98 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 301.02 284.73 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 301.07 284.56 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 15.03 8.98 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 60.80 40.16 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 258.76 237.38 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 20.58 14.31 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 161.42 137.75 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 51.85 36.69 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.72 271.35 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 9.33 5.57 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 10.25 6.69 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 10.49 6.83 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 9.48 6.21 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 10.07 6.77 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 9.92 6.49 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 13.20 7.78 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 11.86 6.70 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 8.71 5.42 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 8.54 5.58 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 11.67 6.62 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 10.78 6.43 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 8.70 5.41 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 8.73 6.28 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 12.50 7.08 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 10.57 6.50 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 13.38 7.80 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 9.96 6.94 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 10.39 6.71 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 13.51 7.80 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 13.37 7.79 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 8.37 5.43 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 8.68 5.31 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 11.88 7.14 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 8.89 6.39 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 11.39 7.00 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 8.77 5.31 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 9.22 5.96 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 14.24 8.55 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 14.68 8.71 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 11.65 7.20 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 11.85 8.19 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 15.49 9.30 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 270.76 264.33 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 14.88 9.22 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 11.60 7.73 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 301.03 289.54 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 137.23 127.55 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 12.23 8.46 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 12.03 8.12 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.93 296.57 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 142.19 132.47 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 16.45 9.47 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 300.99 293.30 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 300.13 289.36 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 17.87 10.69 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 17.32 10.32 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 193.43 182.57 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 300.99 289.91 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 11.54 7.55 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 13.17 8.89 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 12.93 8.58 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 12.21 8.02 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 13.29 9.05 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 12.69 8.42 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 12.92 8.75 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 14.74 8.82 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 11.45 7.61 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 14.85 9.03 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 14.96 9.12 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 11.45 7.42 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 14.66 8.64 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 10.98 7.97 None recursive/Ackermann01-2.yml true 32.27 18.00 None recursive/Ackermann03.yml true 160.18 122.84 None recursive/Ackermann04.yml true 65.67 46.53 None recursive/Addition01-2.yml true 15.81 9.12 None recursive/Addition03-1.yml TIMEOUT 300.39 245.31 None recursive/EvenOdd01-1.yml TIMEOUT 300.72 241.21 None recursive/Fibonacci01-1.yml true 21.42 12.23 None recursive/Fibonacci02.yml true 84.40 57.18 None recursive/Fibonacci03.yml true 135.58 108.49 None recursive/McCarthy91-2.yml true 13.18 7.74 None recursive/MultCommutative-2.yml TIMEOUT 300.70 266.89 None recursive/Primes.yml true 31.71 18.35 None recursive/gcd01-1.yml true 15.22 8.88 None recursive/gcd02.yml TIMEOUT 301.66 265.58 None recursive/recHanoi01.yml TIMEOUT 300.71 269.05 None recursive/recHanoi02-2.yml true 11.39 6.47 None recursive/recHanoi03-2.yml true 20.19 11.36 None recursive-simple/afterrec-2.yml true 8.28 5.11 None recursive-simple/afterrec_2calls-2.yml true 7.91 4.57 None recursive-simple/fibo_10-2.yml true 176.27 122.93 None recursive-simple/fibo_15-1.yml TIMEOUT 300.83 260.36 None recursive-simple/fibo_20-2.yml TIMEOUT 301.16 240.67 None recursive-simple/fibo_25-2.yml TIMEOUT 301.20 240.25 None recursive-simple/fibo_2calls_10-1.yml true 196.10 156.94 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 300.83 265.95 None recursive-simple/fibo_2calls_2-2.yml true 16.90 9.59 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 301.17 249.59 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 300.42 238.51 None recursive-simple/fibo_2calls_4-1.yml true 31.58 18.52 None recursive-simple/fibo_2calls_5-1.yml true 51.02 29.78 None recursive-simple/fibo_2calls_6-1.yml true 68.91 41.10 None recursive-simple/fibo_2calls_8-1.yml true 109.55 66.31 None recursive-simple/fibo_5-1.yml true 32.16 18.01 None recursive-simple/fibo_7-1.yml true 58.87 33.68 None recursive-simple/id2_b2_o3.yml true 14.04 8.06 None recursive-simple/id2_b3_o5.yml true 13.74 7.67 None recursive-simple/id2_b5_o10.yml true 13.97 7.80 None recursive-simple/id2_i5_o5-2.yml true 23.67 13.94 None recursive-simple/id_b2_o3.yml true 11.88 6.98 None recursive-simple/id_b3_o5-2.yml true 9.18 5.48 None recursive-simple/id_b5_o10-2.yml true 12.11 6.74 None recursive-simple/id_i10_o10-2.yml true 46.24 29.46 None recursive-simple/id_i15_o15-1.yml true 81.69 61.36 None recursive-simple/id_i20_o20-1.yml true 256.04 202.65 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.39 246.42 None recursive-simple/id_i5_o5-2.yml true 21.99 13.04 None recursive-simple/sum_10x0-1.yml true 37.08 26.34 None recursive-simple/sum_15x0-1.yml true 106.40 75.28 None recursive-simple/sum_20x0-2.yml true 266.87 210.76 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.59 278.78 None recursive-simple/sum_2x3-2.yml true 17.06 10.03 None recursive-simple/sum_non_eq-2.yml true 19.31 10.45 None recursive-with-pointer/simple-recursive.yml true 17.26 10.96 None verifythis/prefixsum_rec.yml TIMEOUT 300.89 260.51 None verifythis/elimination_max_rec.yml TIMEOUT 300.14 283.29 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.25 275.09 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 300.97 292.60 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 300.98 291.04 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 300.27 267.58 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 34.50 18.16 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 28.79 15.62 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.03 287.10 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 19.00 10.20 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 24.37 13.67 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 25.82 15.57 None recursified_loop-invariants/recursified_const.yml true 12.18 6.67 None recursified_loop-invariants/recursified_eq1.yml true 53.83 42.34 None recursified_loop-invariants/recursified_eq2.yml true 42.55 33.91 None recursified_loop-invariants/recursified_even.yml true 12.04 7.22 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.89 260.32 None recursified_loop-invariants/recursified_mod4.yml true 14.70 8.20 None recursified_loop-invariants/recursified_odd.yml true 14.83 8.48 None recursified_loop-simple/recursified_nested_1.yml true 44.34 29.97 None recursified_loop-simple/recursified_nested_2.yml true 103.42 69.33 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 301.03 242.66 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 300.90 253.84 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.89 250.17 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.64 241.03 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 300.55 270.84 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.47 280.98 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 300.38 265.33 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 301.10 260.36 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.85 255.52 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.30 282.83 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.23 279.90 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.44 276.43 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 300.96 292.04 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.22 286.88 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.27 282.28 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 300.32 283.85 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 301.02 286.57 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.69 259.00 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 302.13 269.11 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.10 291.06 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 300.96 291.56 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 301.14 282.98 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 301.29 279.59 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.61 262.73 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 301.10 283.99 None recursified_nla-digbench/recursified_ps2-ll.yml true 88.83 80.03 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 300.96 292.59 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 301.01 285.86 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 300.97 291.98 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.04 286.56 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.73 263.15 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 80128.02 5263.61 - Statistics: 666 Files correct: 423 correct true: 423 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 243 Score: 846 (max: 1332)