BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Thu, 2024-09-12 15:19:54 CEST tool: ULTIMATE Automizer 0.2.4-a9b967e5 tool executable: ./Ultimate.py options: --full-output --procedureinliner.inline.calls.to.implemented.procedures NEVER --traceabstraction.positions.where.we.compute.the.hoare.annotation All --witnessprinter.yaml.format.version 2.1 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 --witnessprinter.yaml.format.version 2.1' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 17.06 9.74 None loops/count_up_down-1.yml TIMEOUT 300.45 276.71 None loops/eureka_01-2.yml TIMEOUT 300.28 278.15 None loops/eureka_05.yml TIMEOUT 300.71 251.05 None loops/for_infinite_loop_1.yml true 11.41 6.26 None loops/for_infinite_loop_2.yml true 8.04 4.89 None loops/heavy-2.yml true 14.44 8.11 None loops/insertion_sort-2-2.yml TIMEOUT 301.00 290.21 None loops/invert_string-3.yml true 55.98 43.91 None loops/linear_sea.ch.yml TIMEOUT 300.17 272.38 None loops/lu.cmp.yml true 17.56 9.90 None loops/matrix-1.yml TIMEOUT 300.19 280.98 None loops/n.c11.yml true 9.23 6.09 None loops/n.c40.yml ERROR (7) 18.30 12.66 None loops/nec40.yml ERROR (7) 17.46 10.98 None loops/string-1.yml true 10.66 6.94 None loops/sum01-2.yml true 14.75 8.35 None loops/sum03-2.yml true 11.56 6.37 None loops/sum04-2.yml true 13.99 8.54 None loops/sum_array-2-2.yml TIMEOUT 300.84 263.70 None loops/terminator_02-2.yml true 8.48 5.45 None loops/terminator_02-2_abstracted.yml true 9.27 5.33 None loops/terminator_03-2.yml true 10.45 5.83 None loops/terminator_03-2_abstracted.yml true 11.29 6.17 None loops/trex01-2.yml true 8.34 5.18 None loops/trex02-1.yml true 9.02 5.79 None loops/trex03-2.yml true 10.89 6.09 None loops/trex03-2_abstracted.yml true 11.02 6.18 None loops/trex04.yml true 8.52 5.22 None loops/trex04_abstracted.yml true 10.75 6.04 None loops/veris.c_NetBSD-libc_loop.yml true 16.06 8.94 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 10.75 6.77 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 10.45 5.76 None loops/vogal-1.yml TIMEOUT 300.41 270.83 None loops/while_infinite_loop_1.yml true 8.27 4.98 None loops/while_infinite_loop_2.yml true 10.60 6.12 None loops/while_infinite_loop_3.yml true 10.61 6.33 None loop-acceleration/array_1-2.yml true 17.69 12.33 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.04 292.46 None loop-acceleration/array_2-2.yml TIMEOUT 300.99 292.98 None loop-acceleration/array_3-1.yml true 11.79 6.73 None loop-acceleration/array_4.yml TIMEOUT 301.12 282.26 None loop-acceleration/const_1-1.yml true 12.07 6.60 None loop-acceleration/diamond_1-1.yml true 48.37 33.67 None loop-acceleration/diamond_2-2.yml true 28.55 24.01 None loop-acceleration/functions_1-1.yml true 13.13 7.30 None loop-acceleration/multivar_1-1.yml true 11.20 6.15 None loop-acceleration/nested_1-1.yml true 37.81 21.77 None loop-acceleration/overflow_1-1.yml true 8.77 5.80 None loop-acceleration/phases_1-1.yml TIMEOUT 300.94 292.61 None loop-acceleration/phases_2-2.yml true 26.93 20.52 None loop-acceleration/simple_1-2.yml true 11.14 6.29 None loop-acceleration/simple_1-2_abstracted.yml true 10.75 5.93 None loop-acceleration/simple_2-1.yml true 10.49 5.87 None loop-acceleration/simple_2-1_abstracted.yml true 10.69 6.29 None loop-acceleration/simple_3-2.yml true 12.08 6.84 None loop-acceleration/simple_4-2.yml true 12.06 7.00 None loop-acceleration/simple_4-2_abstracted.yml true 11.41 6.43 None loop-acceleration/underapprox_1-2.yml true 24.51 15.03 None loop-acceleration/underapprox_2-2.yml true 11.62 6.50 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.32 276.38 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.65 260.00 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.05 283.84 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 20.30 11.15 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 19.96 11.16 None loop-crafted/simple_array_index_value_4.yml true 26.33 15.04 None loop-crafted/simple_vardep_1.yml true 9.12 5.30 None loop-crafted/simple_vardep_2.yml true 11.97 6.60 None loop-invgen/MADWiFi-encode_ie_ok.yml true 13.36 7.77 None loop-invgen/NetBSD_loop.yml true 11.30 6.67 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 21.49 11.61 None loop-invgen/SpamAssassin-loop.yml true 16.32 8.69 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 20.47 12.44 None loop-invgen/apache-escape-absolute.yml true 12.30 6.94 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 29.52 15.72 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 68.34 40.36 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 92.46 65.53 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 28.60 15.41 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 28.28 15.14 None loop-invgen/apache-get-tag.yml true 11.85 7.29 None loop-invgen/down.yml TIMEOUT 301.12 285.70 None loop-invgen/fragtest_simple.yml TIMEOUT 301.25 254.52 None loop-invgen/half_2.yml TIMEOUT 300.39 246.24 None loop-invgen/heapsort.yml TIMEOUT 300.16 278.06 None loop-invgen/id_build.i.p+nlh-reducer.yml true 22.49 12.11 None loop-invgen/id_build.i.p+sep-reducer.yml true 21.42 11.82 None loop-invgen/id_build.i.v+lhb-reducer.yml true 9.31 5.54 None loop-invgen/id_build.yml true 8.46 4.87 None loop-invgen/large_const.yml true 15.97 9.55 None loop-invgen/nest-if3.yml true 9.30 5.86 None loop-invgen/nested6.yml true 18.94 11.50 None loop-invgen/nested9.yml true 17.75 10.62 None loop-invgen/sendmail-close-angle.yml true 24.33 13.51 None loop-invgen/seq-3.yml TIMEOUT 300.71 261.80 None loop-invgen/string_concat-noarr.yml TIMEOUT 301.29 281.68 None loop-invgen/up.yml TIMEOUT 301.09 259.79 None loop-lit/afnp2014.yml true 13.06 7.78 None loop-lit/as2013-hybrid.yml true 13.21 7.62 None loop-lit/bh2017-ex-add.yml true 17.48 9.71 None loop-lit/bh2017-ex1-poly.yml true 18.26 10.14 None loop-lit/bh2017-ex3.yml true 17.95 10.15 None loop-lit/bhmr2007.yml true 11.76 7.03 None loop-lit/cggmp2005.yml true 12.78 7.26 None loop-lit/cggmp2005_variant.yml true 10.28 6.71 None loop-lit/cggmp2005b.yml true 8.87 5.92 None loop-lit/css2003.yml true 10.94 6.35 None loop-lit/ddlm2013.yml true 17.06 9.55 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 57.72 43.52 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 79.47 55.14 None loop-lit/gj2007.yml true 52.14 32.09 None loop-lit/gj2007b.yml true 13.91 8.28 None loop-lit/gr2006.yml true 67.12 40.81 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 11.30 6.79 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 11.65 6.87 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 11.85 6.70 None loop-lit/gsv2008.yml true 11.96 6.63 None loop-lit/hh2012-ex1b.yml true 13.19 7.54 None loop-lit/hh2012-ex2b.yml true 12.09 6.82 None loop-lit/hh2012-ex3.yml true 22.58 12.89 None loop-lit/hhk2008.yml true 12.21 6.89 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 13.07 7.20 None loop-lit/jm2006.yml true 9.81 6.36 None loop-lit/jm2006_variant.yml true 14.76 8.31 None loop-lit/mcmillan2006.yml TIMEOUT 300.49 269.48 None loop-lit/mine2017-ex4.10.yml true 9.85 5.85 None loop-lit/mine2017-ex4.6.yml true 13.47 7.78 None loop-lit/mine2017-ex4.7.yml true 11.22 6.18 None loop-lit/mine2017-ex4.8.yml true 8.79 5.35 None loop-new/count_by_1.yml true 8.83 6.11 None loop-new/count_by_1_variant.yml true 12.02 6.95 None loop-new/count_by_2.yml TIMEOUT 300.63 248.86 None loop-new/count_by_k.yml TIMEOUT 300.54 252.98 None loop-new/count_by_nondet.yml TIMEOUT 301.08 264.87 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 9.85 6.33 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 16.45 9.43 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 9.71 7.28 None loop-new/gauss_sum.yml true 12.78 7.52 None loop-new/half.yml true 15.93 9.63 None loop-new/nested-1.yml TIMEOUT 300.17 282.39 None loop-industry-pattern/aiob_1.yml unknown 13.62 8.21 None loop-industry-pattern/aiob_2.yml unknown 13.36 8.11 None loop-industry-pattern/aiob_3.yml unknown 13.30 8.14 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 12.89 8.07 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 13.46 8.18 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 13.40 8.12 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 14.21 8.58 None loop-industry-pattern/aiob_4.yml unknown 13.46 8.09 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 78.58 71.91 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 87.98 78.79 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 156.90 145.22 None loop-industry-pattern/mod3.yml true 77.56 71.63 None loop-industry-pattern/ofuf_1.yml unknown 13.32 8.17 None loop-industry-pattern/ofuf_2.yml unknown 17.55 9.73 None loop-industry-pattern/ofuf_3.yml unknown 16.55 9.25 None loop-industry-pattern/ofuf_4.yml unknown 13.49 8.57 None loop-industry-pattern/ofuf_5.yml unknown 17.80 9.93 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 300.95 292.72 None loops-crafted-1/discover_list.yml unknown 12.99 8.20 None loops-crafted-1/iftelse.yml TIMEOUT 300.95 294.89 None loops-crafted-1/in-de20.yml TIMEOUT 300.67 261.43 None loops-crafted-1/in-de31.yml TIMEOUT 301.08 284.09 None loops-crafted-1/in-de32.yml TIMEOUT 300.95 263.28 None loops-crafted-1/in-de41.yml TIMEOUT 300.57 261.92 None loops-crafted-1/in-de42.yml TIMEOUT 300.18 283.28 None loops-crafted-1/in-de51.yml TIMEOUT 300.46 280.64 None loops-crafted-1/in-de52.yml TIMEOUT 301.04 261.99 None loops-crafted-1/in-de61.yml TIMEOUT 300.37 268.33 None loops-crafted-1/in-de62.yml TIMEOUT 300.18 275.15 None loops-crafted-1/loopv1.yml true 12.09 6.75 None loops-crafted-1/loopv2.yml true 9.67 5.96 None loops-crafted-1/loopv3.yml true 20.11 11.38 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.75 267.79 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 301.00 285.56 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.78 285.83 None loops-crafted-1/mono-crafted_12.yml true 12.16 6.81 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.29 252.37 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.71 253.95 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.63 253.15 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 300.47 280.53 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.61 267.92 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 300.99 289.46 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 300.39 282.63 None loops-crafted-1/nested3-1.yml TIMEOUT 300.12 279.96 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 302.56 257.36 None loops-crafted-1/nested5-1.yml true 14.51 8.35 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 300.75 245.95 None loops-crafted-1/net_reset.yml unknown 21.16 12.13 None loops-crafted-1/sum_by_3.yml true 30.35 21.85 None loops-crafted-1/sum_by_3_abstracted.yml true 22.59 12.48 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.82 248.14 None loops-crafted-1/sumt2.yml true 10.19 5.88 None loops-crafted-1/sumt3.yml true 10.30 6.18 None loops-crafted-1/sumt4.yml true 13.73 7.58 None loops-crafted-1/sumt5.yml true 11.41 6.72 None loops-crafted-1/sumt6.yml true 14.26 8.49 None loops-crafted-1/sumt7.yml true 11.78 7.15 None loops-crafted-1/sumt8.yml true 15.32 8.63 None loops-crafted-1/sumt9.yml true 15.76 8.63 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.05 272.12 None loops-crafted-1/vnew1.yml TIMEOUT 300.16 273.99 None loops-crafted-1/vnew2.yml TIMEOUT 301.04 287.93 None loops-crafted-1/watermelon.yml TIMEOUT 300.49 239.79 None loop-invariants/bin-suffix-5.yml true 23.71 13.97 None loop-invariants/const.yml true 11.08 6.11 None loop-invariants/eq1.yml true 11.44 6.50 None loop-invariants/eq2.yml true 11.77 6.62 None loop-invariants/even.yml true 11.60 6.60 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 300.31 247.93 None loop-invariants/mod4.yml true 12.05 7.14 None loop-invariants/odd.yml true 11.53 6.96 None loop-simple/nested_1.yml true 8.58 4.88 None loop-simple/nested_2.yml true 16.74 9.69 None loop-simple/nested_3.yml true 27.22 17.09 None loop-simple/nested_4.yml true 150.86 137.53 None loop-simple/nested_5.yml OUT OF MEMORY 149.90 114.24 None loop-simple/nested_6.yml OUT OF MEMORY 99.49 76.83 None loop-zilu/benchmark02_linear.yml true 7.74 4.52 None loop-zilu/benchmark02_linear_abstracted.yml true 7.93 4.60 None loop-zilu/benchmark04_conjunctive.yml true 9.48 6.08 None loop-zilu/benchmark05_conjunctive.yml true 10.08 6.11 None loop-zilu/benchmark09_conjunctive.yml true 9.04 5.39 None loop-zilu/benchmark10_conjunctive.yml true 9.87 6.64 None loop-zilu/benchmark11_linear.yml true 9.37 5.95 None loop-zilu/benchmark11_linear_abstracted.yml true 8.30 5.14 None loop-zilu/benchmark14_linear.yml true 10.38 6.12 None loop-zilu/benchmark17_conjunctive.yml true 7.79 5.16 None loop-zilu/benchmark18_conjunctive.yml true 9.42 5.54 None loop-zilu/benchmark19_conjunctive.yml true 8.93 5.29 None loop-zilu/benchmark20_conjunctive.yml true 11.82 6.64 None loop-zilu/benchmark23_conjunctive.yml true 47.38 34.38 None loop-zilu/benchmark25_linear.yml true 8.69 5.13 None loop-zilu/benchmark25_linear_abstracted.yml true 8.77 5.08 None loop-zilu/benchmark26_linear.yml true 11.70 6.97 None loop-zilu/benchmark26_linear_abstracted.yml true 10.72 5.93 None loop-zilu/benchmark32_linear.yml true 7.83 4.90 None loop-zilu/benchmark33_linear.yml true 8.90 5.38 None loop-zilu/benchmark34_conjunctive.yml true 14.33 8.00 None loop-zilu/benchmark35_linear.yml true 7.68 4.61 None loop-zilu/benchmark37_conjunctive.yml true 9.36 5.58 None loop-zilu/benchmark43_conjunctive.yml true 11.94 6.97 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 9.15 5.65 None loop-zilu/benchmark51_polynomial.yml true 11.24 6.22 None loop-zilu/benchmark52_polynomial.yml true 9.39 6.04 None verifythis/duplets.yml TIMEOUT 300.14 276.22 None verifythis/elimination_max.yml TIMEOUT 301.01 287.29 None verifythis/lcp.yml TIMEOUT 300.74 274.43 None verifythis/prefixsum_iter.yml TIMEOUT 301.03 287.57 None nla-digbench/bresenham-ll.yml true 56.54 42.80 None nla-digbench/cohencu-ll.yml true 28.58 21.09 None nla-digbench/cohendiv-ll.yml true 13.56 8.87 None nla-digbench/dijkstra-u.yml TIMEOUT 300.98 291.40 None nla-digbench/divbin2.yml TIMEOUT 300.18 290.08 None nla-digbench/egcd-ll.yml true 31.36 22.80 None nla-digbench/egcd2-ll.yml TIMEOUT 300.53 269.72 None nla-digbench/egcd3-ll.yml TIMEOUT 300.49 279.69 None nla-digbench/fermat1-ll.yml true 15.68 9.83 None nla-digbench/fermat2-ll.yml true 13.91 8.23 None nla-digbench/geo1-ll.yml TIMEOUT 300.95 293.72 None nla-digbench/geo2-ll.yml TIMEOUT 300.94 293.23 None nla-digbench/geo3-ll.yml TIMEOUT 301.01 287.79 None nla-digbench/hard-ll.yml TIMEOUT 300.80 267.31 None nla-digbench/hard2.yml true 77.88 57.27 None nla-digbench/knuth.yml TIMEOUT 301.08 291.05 None nla-digbench/lcm1.yml TIMEOUT 300.92 295.75 None nla-digbench/lcm2.yml true 18.49 12.41 None nla-digbench/mannadiv.yml true 16.19 9.34 None nla-digbench/prod4br-ll.yml true 19.72 11.23 None nla-digbench/prodbin-ll.yml TIMEOUT 300.36 275.58 None nla-digbench/ps2-ll.yml true 8.58 5.28 None nla-digbench/ps3-ll.yml true 9.82 5.93 None nla-digbench/ps4-ll.yml true 12.41 7.48 None nla-digbench/ps5-ll.yml true 13.80 8.38 None nla-digbench/ps6-ll.yml true 159.98 148.83 None nla-digbench/sqrt1-ll.yml true 11.54 7.49 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 17.39 10.86 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 16.39 9.99 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 18.34 10.86 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 60.35 49.80 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 16.68 10.64 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 17.03 10.36 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 20.92 12.65 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 21.42 14.98 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 233.27 224.78 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 38.26 30.16 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 31.50 20.12 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 25.00 17.94 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 24.05 16.17 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 34.50 23.45 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 11.67 7.16 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 24.44 14.27 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 18.41 11.38 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 17.60 10.65 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 18.18 11.47 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 17.02 10.72 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 23.36 13.64 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 14.38 9.99 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 13.90 9.57 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 17.58 10.60 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 17.61 10.57 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 15.74 9.78 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 13.82 8.98 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 18.27 10.75 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 39.18 35.09 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 60.59 54.57 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.00 289.37 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.07 285.58 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 300.17 283.26 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.05 283.92 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.06 288.33 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 301.03 289.29 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 300.19 279.97 None nla-digbench-scaling/divbin2_unwindbound1.yml true 9.56 5.56 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.05 290.16 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 301.00 292.12 None nla-digbench-scaling/divbin2_unwindbound2.yml true 14.47 8.26 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.00 289.91 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.20 284.51 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 300.15 284.88 None nla-digbench-scaling/divbin2_valuebound1.yml true 35.71 29.70 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.02 288.45 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 300.97 292.00 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.02 289.76 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.00 290.54 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.04 287.50 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.04 286.42 None nla-digbench-scaling/divbin_unwindbound1.yml true 9.70 6.11 None nla-digbench-scaling/divbin_unwindbound2.yml true 11.53 7.47 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.07 288.03 None nla-digbench-scaling/divbin_valuebound1.yml true 65.83 56.76 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 300.99 290.66 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.02 288.21 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 301.12 285.05 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 300.98 292.66 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 300.11 279.15 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.09 282.22 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 19.93 11.66 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 57.37 45.02 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 67.65 56.22 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 29.85 20.08 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 53.61 42.81 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 36.34 28.84 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 71.15 58.70 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 30.40 21.24 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.16 274.56 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 301.03 290.31 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 80.71 58.95 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 301.08 285.16 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.45 278.35 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 301.06 283.27 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 32.72 19.49 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.66 278.19 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.34 277.80 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 77.68 53.09 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.49 276.92 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 301.36 263.08 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.33 281.96 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 14.42 8.21 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 15.80 9.54 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 15.84 9.80 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 12.89 9.19 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 14.99 9.51 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 15.92 9.81 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 12.56 8.32 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 17.21 11.26 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 16.98 11.03 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 17.11 11.46 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 13.93 10.22 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 17.01 11.14 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 16.91 11.28 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 13.88 9.85 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.18 289.00 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 301.06 289.24 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 301.05 289.51 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 300.98 293.39 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 301.02 289.44 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 300.99 292.51 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.08 288.87 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 19.35 12.97 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 301.03 289.53 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 300.96 293.59 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 35.26 27.71 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 301.03 289.04 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 301.03 288.75 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 300.98 293.02 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 11.05 6.84 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 12.22 7.56 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 300.95 293.18 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 11.84 7.44 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 212.26 205.19 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 15.41 9.24 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 283.81 270.90 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 31.04 24.90 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.95 292.73 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.92 295.57 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.95 292.26 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.94 292.77 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.91 296.64 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.92 296.34 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 11.57 6.50 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 12.10 6.85 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 11.69 6.67 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 14.81 11.21 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 86.95 77.94 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 11.76 7.14 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 300.99 290.49 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 91.35 83.47 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 300.96 293.44 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.04 285.79 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 50.48 45.69 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 300.98 291.91 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 300.97 292.09 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 301.02 288.53 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 12.01 7.04 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 13.47 7.78 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 300.98 291.75 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 11.39 6.41 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 196.28 183.28 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 11.67 6.95 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 300.95 292.92 None nla-digbench-scaling/hard-ll_valuebound1.yml true 31.69 18.04 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.40 273.27 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.56 268.20 None nla-digbench-scaling/hard-ll_valuebound2.yml true 53.06 31.27 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.41 269.11 None nla-digbench-scaling/hard-ll_valuebound5.yml true 209.79 192.02 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.22 278.87 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.02 288.09 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.01 288.99 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.03 287.95 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 300.98 291.96 None nla-digbench-scaling/hard-u_valuebound20.yml true 217.39 208.60 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.05 286.90 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 300.17 290.07 None nla-digbench-scaling/hard2_valuebound1.yml true 25.95 14.91 None nla-digbench-scaling/hard2_valuebound10.yml true 102.47 81.09 None nla-digbench-scaling/hard2_valuebound100.yml true 102.28 80.77 None nla-digbench-scaling/hard2_valuebound2.yml true 61.57 43.26 None nla-digbench-scaling/hard2_valuebound20.yml true 92.39 78.43 None nla-digbench-scaling/hard2_valuebound5.yml true 108.01 83.95 None nla-digbench-scaling/hard2_valuebound50.yml true 88.79 76.98 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.06 292.66 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.05 292.66 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.01 295.85 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.07 292.34 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.04 291.99 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 300.99 295.23 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.02 293.87 None nla-digbench-scaling/knuth_valuebound1.yml true 25.60 18.88 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 301.12 290.78 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 301.10 288.03 None nla-digbench-scaling/knuth_valuebound2.yml true 31.91 21.21 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 300.26 284.27 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.15 291.04 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.10 288.13 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.92 295.22 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.91 297.11 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.93 295.49 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.92 295.37 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.91 297.09 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.92 295.73 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.93 295.45 None nla-digbench-scaling/lcm2_unwindbound1.yml true 15.22 11.03 None nla-digbench-scaling/lcm2_unwindbound10.yml true 18.71 14.21 None nla-digbench-scaling/lcm2_unwindbound100.yml true 18.59 13.30 None nla-digbench-scaling/lcm2_unwindbound2.yml true 15.30 10.66 None nla-digbench-scaling/lcm2_unwindbound20.yml true 20.69 14.70 None nla-digbench-scaling/lcm2_unwindbound5.yml true 19.65 14.28 None nla-digbench-scaling/lcm2_unwindbound50.yml true 21.95 14.44 None nla-digbench-scaling/lcm2_valuebound1.yml true 11.55 7.67 None nla-digbench-scaling/lcm2_valuebound10.yml true 13.41 9.76 None nla-digbench-scaling/lcm2_valuebound100.yml true 20.41 13.75 None nla-digbench-scaling/lcm2_valuebound2.yml true 16.15 11.94 None nla-digbench-scaling/lcm2_valuebound20.yml true 16.73 12.69 None nla-digbench-scaling/lcm2_valuebound5.yml true 19.48 13.02 None nla-digbench-scaling/lcm2_valuebound50.yml true 17.02 12.04 None nla-digbench-scaling/mannadiv_valuebound1.yml true 10.90 6.97 None nla-digbench-scaling/mannadiv_valuebound10.yml true 11.55 7.94 None nla-digbench-scaling/mannadiv_valuebound100.yml true 14.49 8.98 None nla-digbench-scaling/mannadiv_valuebound2.yml true 11.51 7.32 None nla-digbench-scaling/mannadiv_valuebound20.yml true 15.22 8.85 None nla-digbench-scaling/mannadiv_valuebound5.yml true 11.27 7.36 None nla-digbench-scaling/mannadiv_valuebound50.yml true 14.88 8.77 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 13.02 7.90 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 11.89 7.64 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 11.45 7.22 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 14.36 8.43 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 15.27 8.87 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 11.07 7.33 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 15.18 8.72 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 301.05 284.97 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 301.07 283.60 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 11.10 7.41 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 57.78 40.33 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 263.48 248.47 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 27.40 16.91 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 155.36 141.65 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 51.02 36.60 None nla-digbench-scaling/prodbin-ll_valuebound50.yml true 289.02 262.71 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 12.00 6.90 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 13.33 8.08 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 13.63 7.94 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 12.82 7.43 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 10.22 6.72 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 13.21 7.97 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 13.53 8.16 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 11.19 6.88 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 8.77 5.40 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 11.41 6.60 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 11.39 6.68 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 8.63 5.50 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 11.38 6.95 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 11.49 6.67 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 12.55 7.16 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 10.62 6.72 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 13.48 8.08 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 12.56 7.45 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 12.91 7.68 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 10.45 6.95 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 13.03 7.65 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 11.68 6.78 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 11.88 7.06 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 8.50 5.36 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 11.37 6.68 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 9.00 5.43 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 11.46 7.06 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 11.34 7.09 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 13.97 8.24 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 11.53 7.18 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 14.88 8.71 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 14.79 8.86 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 11.39 7.54 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 181.92 171.90 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 14.87 8.71 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 14.96 8.94 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 155.29 148.46 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 137.30 127.49 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 16.06 9.80 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 15.87 9.54 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.97 293.36 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 136.98 130.28 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 15.50 9.62 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 301.00 291.29 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 301.00 290.50 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 12.96 8.28 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 12.89 8.15 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 124.40 117.87 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 300.99 290.43 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 16.00 9.38 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 17.17 10.21 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 17.06 10.15 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 15.95 9.48 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 17.55 10.39 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 16.60 10.16 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 12.76 8.51 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 11.48 7.44 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 15.30 8.95 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 11.26 7.42 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 15.07 8.93 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 10.85 6.96 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 15.36 8.99 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 11.25 7.40 None recursive/Ackermann01-2.yml true 32.02 18.17 None recursive/Ackermann03.yml true 134.62 110.61 None recursive/Ackermann04.yml true 79.08 51.50 None recursive/Addition01-2.yml true 11.82 7.46 None recursive/Addition03-1.yml TIMEOUT 300.40 245.51 None recursive/EvenOdd01-1.yml TIMEOUT 300.75 273.73 None recursive/Fibonacci01-1.yml true 16.61 9.88 None recursive/Fibonacci02.yml true 80.31 56.30 None recursive/Fibonacci03.yml true 177.74 135.35 None recursive/McCarthy91-2.yml true 9.92 6.28 None recursive/MultCommutative-2.yml TIMEOUT 300.97 236.75 None recursive/Primes.yml true 24.56 14.81 None recursive/gcd01-1.yml true 12.27 7.20 None recursive/gcd02.yml TIMEOUT 300.78 279.20 None recursive/recHanoi01.yml TIMEOUT 301.20 255.65 None recursive/recHanoi02-2.yml true 8.76 5.61 None recursive/recHanoi03-2.yml true 15.50 9.74 None recursive-simple/afterrec-2.yml true 10.78 6.21 None recursive-simple/afterrec_2calls-2.yml true 7.63 5.09 None recursive-simple/fibo_10-2.yml true 176.64 126.59 None recursive-simple/fibo_15-1.yml TIMEOUT 300.85 261.22 None recursive-simple/fibo_20-2.yml TIMEOUT 300.75 268.11 None recursive-simple/fibo_25-2.yml TIMEOUT 301.02 258.35 None recursive-simple/fibo_2calls_10-1.yml true 267.88 198.51 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 300.73 236.18 None recursive-simple/fibo_2calls_2-2.yml true 16.58 9.71 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 300.67 235.02 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 300.53 236.86 None recursive-simple/fibo_2calls_4-1.yml true 32.33 19.07 None recursive-simple/fibo_2calls_5-1.yml true 52.64 30.37 None recursive-simple/fibo_2calls_6-1.yml true 68.72 40.93 None recursive-simple/fibo_2calls_8-1.yml true 109.69 69.18 None recursive-simple/fibo_5-1.yml true 31.40 18.34 None recursive-simple/fibo_7-1.yml true 59.60 33.98 None recursive-simple/id2_b2_o3.yml true 14.51 7.93 None recursive-simple/id2_b3_o5.yml true 14.76 8.00 None recursive-simple/id2_b5_o10.yml true 14.44 7.88 None recursive-simple/id2_i5_o5-2.yml true 18.93 11.85 None recursive-simple/id_b2_o3.yml true 12.18 7.22 None recursive-simple/id_b3_o5-2.yml true 12.50 7.60 None recursive-simple/id_b5_o10-2.yml true 12.22 6.92 None recursive-simple/id_i10_o10-2.yml true 33.35 23.24 None recursive-simple/id_i15_o15-1.yml true 109.30 78.05 None recursive-simple/id_i20_o20-1.yml true 199.49 178.63 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.33 247.19 None recursive-simple/id_i5_o5-2.yml true 21.57 12.90 None recursive-simple/sum_10x0-1.yml true 38.53 25.63 None recursive-simple/sum_15x0-1.yml true 105.60 75.30 None recursive-simple/sum_20x0-2.yml true 200.60 164.31 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.34 248.24 None recursive-simple/sum_2x3-2.yml true 13.62 8.29 None recursive-simple/sum_non_eq-2.yml true 16.09 9.59 None recursive-with-pointer/simple-recursive.yml true 18.94 10.85 None verifythis/prefixsum_rec.yml TIMEOUT 300.53 279.23 None verifythis/elimination_max_rec.yml TIMEOUT 301.03 286.48 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 301.03 284.12 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 301.02 287.82 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 300.12 280.55 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 300.98 291.26 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 29.11 15.45 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 31.32 16.92 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.09 280.22 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 21.94 12.04 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 24.51 13.57 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 32.20 18.10 None recursified_loop-invariants/recursified_const.yml true 12.48 7.16 None recursified_loop-invariants/recursified_eq1.yml true 48.52 37.60 None recursified_loop-invariants/recursified_eq2.yml true 43.64 34.79 None recursified_loop-invariants/recursified_even.yml true 14.89 8.14 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.28 239.43 None recursified_loop-invariants/recursified_mod4.yml true 15.28 8.30 None recursified_loop-invariants/recursified_odd.yml true 11.65 7.51 None recursified_loop-simple/recursified_nested_1.yml true 42.70 29.83 None recursified_loop-simple/recursified_nested_2.yml true 76.91 54.33 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.35 274.76 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 301.12 244.04 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.91 237.46 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.25 257.48 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 300.59 269.23 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 301.04 265.52 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 301.15 280.74 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 301.07 282.08 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.57 266.21 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.92 277.11 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.79 272.45 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.30 278.42 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 300.33 277.94 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.50 275.41 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.42 281.36 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 300.33 282.11 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 301.07 292.09 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 301.15 280.49 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.46 265.79 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.09 291.90 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 301.12 291.64 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 301.20 288.09 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 300.46 286.14 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.56 248.94 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.27 273.19 None recursified_nla-digbench/recursified_ps2-ll.yml true 46.44 37.36 None recursified_nla-digbench/recursified_ps3-ll.yml true 154.59 138.13 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 300.11 278.54 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 300.95 292.23 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.05 286.31 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.45 266.17 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 79853.83 5256.20 - Statistics: 666 Files correct: 428 correct true: 428 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 238 Score: 856 (max: 1332)