BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Tue, 2024-09-24 22:58:06 CEST tool: ULTIMATE Automizer 0.2.4-6908dde5 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 --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 --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 16.99 9.89 None loops/count_up_down-1.yml TIMEOUT 300.37 277.48 None loops/eureka_01-2.yml TIMEOUT 301.13 281.93 None loops/eureka_05.yml TIMEOUT 300.31 270.25 None loops/for_infinite_loop_1.yml true 13.21 7.74 None loops/for_infinite_loop_2.yml true 9.25 6.00 None loops/heavy-2.yml true 15.76 9.38 None loops/insertion_sort-2-2.yml TIMEOUT 301.06 289.09 None loops/invert_string-3.yml true 118.59 103.73 None loops/linear_sea.ch.yml TIMEOUT 300.18 273.92 None loops/lu.cmp.yml true 19.45 10.93 None loops/matrix-1.yml TIMEOUT 300.26 280.58 None loops/n.c11.yml true 10.55 6.52 None loops/n.c40.yml ERROR (7) 20.91 14.06 None loops/nec40.yml ERROR (7) 19.95 12.83 None loops/string-1.yml true 12.25 7.76 None loops/sum01-2.yml true 17.01 10.05 None loops/sum03-2.yml true 13.90 7.82 None loops/sum04-2.yml true 15.80 9.67 None loops/sum_array-2-2.yml TIMEOUT 301.54 259.69 None loops/terminator_02-2.yml true 10.25 6.43 None loops/terminator_02-2_abstracted.yml true 10.33 6.42 None loops/terminator_03-2.yml true 11.83 6.75 None loops/terminator_03-2_abstracted.yml true 13.42 7.46 None loops/trex01-2.yml true 9.72 5.66 None loops/trex02-1.yml true 12.87 7.47 None loops/trex03-2.yml true 10.45 6.89 None loops/trex03-2_abstracted.yml true 12.12 6.98 None loops/trex04.yml true 12.96 7.21 None loops/trex04_abstracted.yml true 9.96 5.87 None loops/veris.c_NetBSD-libc_loop.yml true 17.59 10.25 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 15.42 9.22 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 9.71 6.29 None loops/vogal-1.yml TIMEOUT 300.26 274.50 None loops/while_infinite_loop_1.yml true 9.41 5.97 None loops/while_infinite_loop_2.yml true 12.20 7.16 None loops/while_infinite_loop_3.yml true 9.98 6.53 None loop-acceleration/array_1-2.yml true 19.70 13.20 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.18 286.36 None loop-acceleration/array_2-2.yml TIMEOUT 301.00 292.64 None loop-acceleration/array_3-1.yml true 13.83 8.19 None loop-acceleration/array_4.yml TIMEOUT 301.08 288.41 None loop-acceleration/const_1-1.yml true 13.33 7.91 None loop-acceleration/diamond_1-1.yml true 53.58 37.19 None loop-acceleration/diamond_2-2.yml true 36.35 26.02 None loop-acceleration/functions_1-1.yml true 13.17 7.52 None loop-acceleration/multivar_1-1.yml true 13.22 7.71 None loop-acceleration/nested_1-1.yml true 40.41 23.16 None loop-acceleration/overflow_1-1.yml true 13.18 7.56 None loop-acceleration/phases_1-1.yml TIMEOUT 301.03 284.56 None loop-acceleration/phases_2-2.yml true 24.21 19.73 None loop-acceleration/simple_1-2.yml true 12.68 7.37 None loop-acceleration/simple_1-2_abstracted.yml true 12.34 6.94 None loop-acceleration/simple_2-1.yml true 9.80 6.28 None loop-acceleration/simple_2-1_abstracted.yml true 12.18 6.88 None loop-acceleration/simple_3-2.yml true 10.49 6.89 None loop-acceleration/simple_4-2.yml true 13.83 8.04 None loop-acceleration/simple_4-2_abstracted.yml true 10.13 6.14 None loop-acceleration/underapprox_1-2.yml true 15.55 9.98 None loop-acceleration/underapprox_2-2.yml true 13.66 7.69 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.32 277.99 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.30 277.69 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.07 283.38 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 22.54 12.30 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 22.72 12.81 None loop-crafted/simple_array_index_value_4.yml true 28.47 15.71 None loop-crafted/simple_vardep_1.yml true 13.02 7.64 None loop-crafted/simple_vardep_2.yml true 10.70 6.19 None loop-invgen/MADWiFi-encode_ie_ok.yml true 15.10 8.45 None loop-invgen/NetBSD_loop.yml true 15.38 8.84 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 23.78 12.69 None loop-invgen/SpamAssassin-loop.yml true 13.52 7.58 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 22.17 13.31 None loop-invgen/apache-escape-absolute.yml true 16.73 9.16 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 32.68 17.50 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 71.65 41.87 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 95.55 67.54 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 30.72 16.46 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 29.67 16.00 None loop-invgen/apache-get-tag.yml true 12.21 7.77 None loop-invgen/down.yml TIMEOUT 300.98 263.68 None loop-invgen/fragtest_simple.yml TIMEOUT 300.40 277.76 None loop-invgen/half_2.yml TIMEOUT 300.29 245.90 None loop-invgen/heapsort.yml TIMEOUT 300.24 275.97 None loop-invgen/id_build.i.p+nlh-reducer.yml true 23.48 12.65 None loop-invgen/id_build.i.p+sep-reducer.yml true 23.41 12.59 None loop-invgen/id_build.i.v+lhb-reducer.yml true 9.97 6.50 None loop-invgen/id_build.yml true 9.43 5.59 None loop-invgen/large_const.yml true 17.62 10.46 None loop-invgen/nest-if3.yml true 12.43 7.35 None loop-invgen/nested6.yml true 19.70 11.98 None loop-invgen/nested9.yml true 14.92 10.03 None loop-invgen/sendmail-close-angle.yml true 26.03 14.21 None loop-invgen/seq-3.yml TIMEOUT 300.71 260.75 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.65 265.23 None loop-invgen/up.yml TIMEOUT 301.12 281.41 None loop-lit/afnp2014.yml true 10.98 7.08 None loop-lit/as2013-hybrid.yml true 14.90 8.34 None loop-lit/bh2017-ex-add.yml true 14.13 8.57 None loop-lit/bh2017-ex1-poly.yml true 19.17 10.47 None loop-lit/bh2017-ex3.yml true 14.34 8.66 None loop-lit/bhmr2007.yml true 12.72 7.62 None loop-lit/cggmp2005.yml true 13.76 8.04 None loop-lit/cggmp2005_variant.yml true 11.59 6.93 None loop-lit/cggmp2005b.yml true 10.23 6.36 None loop-lit/css2003.yml true 9.49 5.60 None loop-lit/ddlm2013.yml true 13.83 8.65 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 77.78 51.07 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 82.02 56.12 None loop-lit/gj2007.yml true 53.07 33.11 None loop-lit/gj2007b.yml true 11.87 7.57 None loop-lit/gr2006.yml true 53.74 33.18 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 13.23 7.58 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 13.60 8.11 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 11.13 6.91 None loop-lit/gsv2008.yml true 12.90 7.76 None loop-lit/hh2012-ex1b.yml true 15.68 8.54 None loop-lit/hh2012-ex2b.yml true 10.95 7.27 None loop-lit/hh2012-ex3.yml true 18.61 11.04 None loop-lit/hhk2008.yml true 14.01 8.43 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 14.28 8.10 None loop-lit/jm2006.yml true 10.91 7.07 None loop-lit/jm2006_variant.yml true 16.18 9.66 None loop-lit/mcmillan2006.yml TIMEOUT 300.79 277.08 None loop-lit/mine2017-ex4.10.yml true 14.07 8.24 None loop-lit/mine2017-ex4.6.yml true 14.82 8.41 None loop-lit/mine2017-ex4.7.yml true 9.98 6.47 None loop-lit/mine2017-ex4.8.yml true 10.49 6.35 None loop-new/count_by_1.yml true 13.09 7.42 None loop-new/count_by_1_variant.yml true 10.32 6.49 None loop-new/count_by_2.yml TIMEOUT 301.24 258.23 None loop-new/count_by_k.yml TIMEOUT 300.70 251.31 None loop-new/count_by_nondet.yml TIMEOUT 300.45 253.44 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 13.68 8.26 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 13.48 8.31 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 13.83 7.99 None loop-new/gauss_sum.yml true 10.64 6.91 None loop-new/half.yml true 21.95 12.78 None loop-new/nested-1.yml TIMEOUT 301.18 287.93 None loop-industry-pattern/aiob_1.yml unknown 18.23 10.01 None loop-industry-pattern/aiob_2.yml unknown 18.94 10.59 None loop-industry-pattern/aiob_3.yml unknown 18.25 10.11 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 18.56 10.19 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 18.84 10.60 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 18.89 10.73 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 20.44 11.28 None loop-industry-pattern/aiob_4.yml unknown 18.77 10.28 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 14.96 8.30 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 14.54 8.35 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 14.39 8.43 None loop-industry-pattern/mod3.yml true 14.88 8.22 None loop-industry-pattern/ofuf_1.yml unknown 14.43 8.26 None loop-industry-pattern/ofuf_2.yml unknown 18.89 10.69 None loop-industry-pattern/ofuf_3.yml unknown 19.36 10.81 None loop-industry-pattern/ofuf_4.yml unknown 18.75 10.35 None loop-industry-pattern/ofuf_5.yml unknown 14.46 8.72 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 301.06 284.19 None loops-crafted-1/discover_list.yml unknown 14.44 8.65 None loops-crafted-1/iftelse.yml TIMEOUT 301.01 289.33 None loops-crafted-1/in-de20.yml TIMEOUT 300.85 263.78 None loops-crafted-1/in-de31.yml TIMEOUT 301.06 285.77 None loops-crafted-1/in-de32.yml TIMEOUT 300.52 276.87 None loops-crafted-1/in-de41.yml TIMEOUT 301.12 262.17 None loops-crafted-1/in-de42.yml TIMEOUT 300.71 266.42 None loops-crafted-1/in-de51.yml TIMEOUT 300.47 268.55 None loops-crafted-1/in-de52.yml TIMEOUT 300.29 279.84 None loops-crafted-1/in-de61.yml TIMEOUT 300.77 262.06 None loops-crafted-1/in-de62.yml TIMEOUT 301.06 265.93 None loops-crafted-1/loopv1.yml true 11.37 7.16 None loops-crafted-1/loopv2.yml true 10.12 6.54 None loops-crafted-1/loopv3.yml true 18.03 11.11 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.76 265.29 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 301.01 288.02 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.96 292.68 None loops-crafted-1/mono-crafted_12.yml true 14.02 8.18 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.28 250.70 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.74 252.71 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.72 252.18 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 300.36 257.44 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.79 265.11 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 301.05 282.91 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.27 282.83 None loops-crafted-1/nested3-1.yml TIMEOUT 300.29 271.85 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 300.56 275.34 None loops-crafted-1/nested5-1.yml true 16.26 9.84 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 300.79 246.46 None loops-crafted-1/net_reset.yml unknown 21.99 11.86 None loops-crafted-1/sum_by_3.yml true 38.62 25.46 None loops-crafted-1/sum_by_3_abstracted.yml true 17.46 9.63 None loops-crafted-1/sum_natnum.yml TIMEOUT 301.55 260.23 None loops-crafted-1/sumt2.yml true 15.41 8.99 None loops-crafted-1/sumt3.yml true 12.39 7.12 None loops-crafted-1/sumt4.yml true 16.01 8.93 None loops-crafted-1/sumt5.yml true 12.72 7.52 None loops-crafted-1/sumt6.yml true 16.54 9.57 None loops-crafted-1/sumt7.yml true 13.65 8.17 None loops-crafted-1/sumt8.yml true 13.58 8.17 None loops-crafted-1/sumt9.yml true 19.44 10.55 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.07 265.05 None loops-crafted-1/vnew1.yml TIMEOUT 300.26 268.53 None loops-crafted-1/vnew2.yml TIMEOUT 301.01 292.41 None loops-crafted-1/watermelon.yml TIMEOUT 300.46 245.08 None loop-invariants/bin-suffix-5.yml true 24.14 14.19 None loop-invariants/const.yml true 12.36 7.23 None loop-invariants/eq1.yml true 12.88 7.24 None loop-invariants/eq2.yml true 12.70 7.13 None loop-invariants/even.yml true 13.28 7.83 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 301.30 247.19 None loop-invariants/mod4.yml true 13.82 8.21 None loop-invariants/odd.yml true 13.06 7.83 None loop-simple/nested_1.yml true 9.63 6.13 None loop-simple/nested_2.yml true 14.29 8.69 None loop-simple/nested_3.yml true 37.10 21.97 None loop-simple/nested_4.yml true 175.61 149.41 None loop-simple/nested_5.yml OUT OF MEMORY 159.57 120.71 None loop-simple/nested_6.yml OUT OF MEMORY 93.49 69.50 None loop-zilu/benchmark02_linear.yml true 12.58 7.37 None loop-zilu/benchmark02_linear_abstracted.yml true 9.77 6.10 None loop-zilu/benchmark04_conjunctive.yml true 10.76 7.51 None loop-zilu/benchmark05_conjunctive.yml true 14.51 8.74 None loop-zilu/benchmark09_conjunctive.yml true 13.50 8.04 None loop-zilu/benchmark10_conjunctive.yml true 11.39 7.27 None loop-zilu/benchmark11_linear.yml true 13.35 7.64 None loop-zilu/benchmark11_linear_abstracted.yml true 12.86 7.20 None loop-zilu/benchmark14_linear.yml true 9.46 6.17 None loop-zilu/benchmark17_conjunctive.yml true 12.22 6.82 None loop-zilu/benchmark18_conjunctive.yml true 13.52 8.01 None loop-zilu/benchmark19_conjunctive.yml true 10.35 6.85 None loop-zilu/benchmark20_conjunctive.yml true 10.08 6.63 None loop-zilu/benchmark23_conjunctive.yml true 61.01 39.12 None loop-zilu/benchmark25_linear.yml true 13.06 7.44 None loop-zilu/benchmark25_linear_abstracted.yml true 9.62 5.93 None loop-zilu/benchmark26_linear.yml true 9.96 6.59 None loop-zilu/benchmark26_linear_abstracted.yml true 12.97 7.11 None loop-zilu/benchmark32_linear.yml true 9.29 5.81 None loop-zilu/benchmark33_linear.yml true 9.01 6.24 None loop-zilu/benchmark34_conjunctive.yml true 11.17 7.47 None loop-zilu/benchmark35_linear.yml true 12.11 7.13 None loop-zilu/benchmark37_conjunctive.yml true 10.53 6.71 None loop-zilu/benchmark43_conjunctive.yml true 10.31 6.53 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 13.97 7.73 None loop-zilu/benchmark51_polynomial.yml true 9.33 5.94 None loop-zilu/benchmark52_polynomial.yml true 10.20 6.80 None verifythis/duplets.yml TIMEOUT 301.04 285.23 None verifythis/elimination_max.yml TIMEOUT 300.21 272.62 None verifythis/lcp.yml TIMEOUT 300.41 282.44 None verifythis/prefixsum_iter.yml TIMEOUT 301.07 282.28 None nla-digbench/bresenham-ll.yml true 41.34 31.26 None nla-digbench/cohencu-ll.yml true 37.61 25.00 None nla-digbench/cohendiv-ll.yml true 19.08 11.49 None nla-digbench/dijkstra-u.yml TIMEOUT 301.00 290.32 None nla-digbench/divbin2.yml TIMEOUT 300.16 289.33 None nla-digbench/egcd-ll.yml true 32.88 23.58 None nla-digbench/egcd2-ll.yml TIMEOUT 300.72 264.35 None nla-digbench/egcd3-ll.yml TIMEOUT 301.17 268.01 None nla-digbench/fermat1-ll.yml true 16.78 10.21 None nla-digbench/fermat2-ll.yml true 14.93 8.86 None nla-digbench/geo1-ll.yml TIMEOUT 301.03 289.24 None nla-digbench/geo2-ll.yml TIMEOUT 300.93 295.43 None nla-digbench/geo3-ll.yml TIMEOUT 301.03 288.73 None nla-digbench/hard-ll.yml TIMEOUT 300.36 279.93 None nla-digbench/hard2.yml true 83.98 61.17 None nla-digbench/knuth.yml TIMEOUT 301.08 291.46 None nla-digbench/lcm1.yml TIMEOUT 300.94 294.89 None nla-digbench/lcm2.yml true 20.09 12.93 None nla-digbench/mannadiv.yml true 12.14 8.09 None nla-digbench/prod4br-ll.yml true 20.45 12.02 None nla-digbench/prodbin-ll.yml TIMEOUT 300.10 283.78 None nla-digbench/ps2-ll.yml true 12.92 7.52 None nla-digbench/ps3-ll.yml true 9.87 6.48 None nla-digbench/ps4-ll.yml true 16.99 9.93 None nla-digbench/ps5-ll.yml true 18.22 11.05 None nla-digbench/ps6-ll.yml TIMEOUT 300.07 292.75 None nla-digbench/sqrt1-ll.yml true 15.97 9.43 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 24.00 14.13 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 22.49 12.81 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 25.41 14.65 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 58.25 42.28 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 23.47 13.58 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 18.23 11.77 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 18.19 11.26 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 31.71 19.15 None nla-digbench-scaling/cohencu-ll_valuebound10.yml TIMEOUT 301.01 286.33 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 39.71 31.01 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 33.38 21.27 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 26.91 17.80 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 34.96 21.01 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 29.30 20.65 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 16.52 9.95 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 26.17 15.40 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 20.33 13.17 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 23.43 13.40 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 24.61 14.29 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 25.05 14.31 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 19.49 11.93 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 20.14 11.85 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 15.54 10.50 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 20.00 11.87 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 19.11 11.24 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 15.25 10.05 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 20.25 11.95 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 19.51 11.92 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 28.72 23.55 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 59.58 54.60 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.07 283.85 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.13 283.25 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 301.09 282.61 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.02 288.36 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.13 281.29 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 300.15 282.05 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.09 290.58 None nla-digbench-scaling/divbin2_unwindbound1.yml true 10.46 6.55 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 300.09 288.02 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 301.06 289.49 None nla-digbench-scaling/divbin2_unwindbound2.yml true 15.53 9.17 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.01 287.82 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.14 284.33 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 301.04 290.42 None nla-digbench-scaling/divbin2_valuebound1.yml true 26.88 20.17 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.04 291.82 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.05 285.97 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.08 287.79 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.27 290.05 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.04 287.05 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.07 284.15 None nla-digbench-scaling/divbin_unwindbound1.yml true 14.92 8.37 None nla-digbench-scaling/divbin_unwindbound2.yml true 14.25 8.42 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 300.17 279.61 None nla-digbench-scaling/divbin_valuebound1.yml true 51.77 41.55 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.02 288.45 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.02 288.21 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 301.09 283.79 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.03 287.75 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 300.13 276.59 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 300.20 280.16 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 15.64 10.79 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 41.20 33.10 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 62.56 54.50 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 25.77 18.07 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 55.40 43.70 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 37.13 29.18 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 62.71 55.14 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 40.31 25.53 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 301.06 286.92 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 300.40 282.33 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 83.07 61.58 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 301.05 284.83 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.09 277.40 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 300.09 281.08 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 36.10 21.51 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.41 276.00 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.55 268.49 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 60.31 45.09 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.46 276.64 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.35 280.38 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.94 262.10 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 11.73 7.76 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 17.49 10.48 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 13.45 9.35 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 17.03 10.66 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 13.71 8.59 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 13.88 9.20 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 17.28 10.70 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 18.76 12.48 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 14.76 10.75 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 15.03 10.77 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 19.39 12.63 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 15.03 10.29 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 18.23 11.85 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 14.86 10.88 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.04 288.63 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 301.06 292.20 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 301.09 288.98 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 301.00 292.84 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 300.97 293.38 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 301.03 288.79 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.04 289.39 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 22.06 14.48 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 301.06 287.96 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 301.03 289.97 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 35.02 24.86 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 300.11 285.60 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 300.97 292.11 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 301.06 287.19 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 15.30 9.00 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 13.89 9.55 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 301.04 286.84 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 13.33 8.76 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 231.86 222.87 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 16.12 9.57 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 273.63 262.03 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 28.50 24.13 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.95 294.43 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.96 292.56 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.95 294.43 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.97 292.20 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.97 291.51 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.94 294.93 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 10.39 6.77 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 13.21 7.70 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 10.45 7.02 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 19.95 13.46 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 87.26 80.62 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 13.37 7.73 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 300.97 293.03 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 91.49 82.93 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 301.03 288.41 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.05 286.75 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 47.12 41.83 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 301.04 285.95 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 301.00 290.42 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 301.03 287.13 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 10.35 6.56 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 12.23 7.55 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 301.02 288.31 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 10.45 6.69 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 248.55 240.08 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.88 6.78 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 301.00 290.41 None nla-digbench-scaling/hard-ll_valuebound1.yml true 25.27 15.37 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.14 280.90 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.25 278.80 None nla-digbench-scaling/hard-ll_valuebound2.yml true 54.70 32.45 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.50 269.52 None nla-digbench-scaling/hard-ll_valuebound5.yml true 131.80 114.56 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.26 277.09 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.06 284.96 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.03 287.95 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.07 283.72 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.03 287.49 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.02 290.85 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 300.99 290.91 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.11 287.91 None nla-digbench-scaling/hard2_valuebound1.yml true 27.92 16.20 None nla-digbench-scaling/hard2_valuebound10.yml true 88.74 76.66 None nla-digbench-scaling/hard2_valuebound100.yml true 101.71 80.83 None nla-digbench-scaling/hard2_valuebound2.yml true 61.12 42.23 None nla-digbench-scaling/hard2_valuebound20.yml true 89.98 76.88 None nla-digbench-scaling/hard2_valuebound5.yml true 92.41 75.31 None nla-digbench-scaling/hard2_valuebound50.yml true 102.57 81.68 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.02 295.56 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.08 292.22 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.04 294.55 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.00 295.01 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.06 291.69 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.05 291.67 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.02 293.27 None nla-digbench-scaling/knuth_valuebound1.yml true 33.78 22.41 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 300.26 283.62 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 300.17 286.01 None nla-digbench-scaling/knuth_valuebound2.yml true 33.88 22.22 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 300.25 282.75 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 300.23 284.53 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.03 291.72 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.94 297.15 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.96 294.46 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.92 296.92 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.94 295.15 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.93 296.68 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.91 297.26 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.94 294.40 None nla-digbench-scaling/lcm2_unwindbound1.yml true 21.50 13.28 None nla-digbench-scaling/lcm2_unwindbound10.yml true 25.78 16.56 None nla-digbench-scaling/lcm2_unwindbound100.yml true 25.03 16.55 None nla-digbench-scaling/lcm2_unwindbound2.yml true 17.71 11.90 None nla-digbench-scaling/lcm2_unwindbound20.yml true 25.11 17.35 None nla-digbench-scaling/lcm2_unwindbound5.yml true 20.38 14.00 None nla-digbench-scaling/lcm2_unwindbound50.yml true 25.77 16.47 None nla-digbench-scaling/lcm2_valuebound1.yml true 16.96 9.88 None nla-digbench-scaling/lcm2_valuebound10.yml true 19.97 12.13 None nla-digbench-scaling/lcm2_valuebound100.yml true 22.17 14.70 None nla-digbench-scaling/lcm2_valuebound2.yml true 18.33 12.55 None nla-digbench-scaling/lcm2_valuebound20.yml true 22.95 15.21 None nla-digbench-scaling/lcm2_valuebound5.yml true 23.89 15.43 None nla-digbench-scaling/lcm2_valuebound50.yml true 23.55 15.12 None nla-digbench-scaling/mannadiv_valuebound1.yml true 12.44 8.60 None nla-digbench-scaling/mannadiv_valuebound10.yml true 15.76 9.80 None nla-digbench-scaling/mannadiv_valuebound100.yml true 16.43 9.56 None nla-digbench-scaling/mannadiv_valuebound2.yml true 17.33 10.17 None nla-digbench-scaling/mannadiv_valuebound20.yml true 12.63 8.32 None nla-digbench-scaling/mannadiv_valuebound5.yml true 16.24 9.64 None nla-digbench-scaling/mannadiv_valuebound50.yml true 16.07 9.44 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 18.31 10.54 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 17.67 10.62 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 15.01 11.69 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 17.84 10.37 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 15.06 9.33 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 17.62 9.99 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 16.86 9.73 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 300.23 270.10 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 300.23 270.65 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 17.90 11.26 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 63.60 43.01 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 254.97 232.08 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 30.14 21.19 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 171.20 146.48 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 49.37 37.03 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.70 270.41 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 14.25 8.64 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 13.94 8.77 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 14.97 9.35 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 14.40 9.23 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 13.77 9.57 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 15.55 10.03 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 15.57 9.83 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 14.53 8.48 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 10.59 6.89 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 13.46 8.18 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 10.35 6.41 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 14.24 8.59 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 13.12 9.80 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 13.59 8.64 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 11.09 7.27 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 15.85 9.63 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 14.36 9.47 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 11.36 7.48 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 13.92 8.98 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 16.25 9.82 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 14.56 10.14 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 11.06 6.80 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 13.50 8.54 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 14.37 8.27 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 11.05 6.69 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 13.51 9.11 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 13.71 8.35 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 10.61 6.51 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 16.88 10.39 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 15.53 9.79 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 15.47 9.33 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 13.30 8.77 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 18.15 10.91 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 105.17 96.85 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 17.29 10.41 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 13.07 8.39 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 168.40 155.83 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 272.87 264.58 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 16.99 10.41 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 16.73 10.44 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.96 295.43 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 136.83 124.78 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 16.09 9.75 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 301.01 291.04 None nla-digbench-scaling/ps6-ll_valuebound100.yml true 102.47 92.73 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 14.75 9.48 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 18.72 10.90 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 152.56 142.31 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 301.05 287.58 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 17.01 9.99 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 18.81 11.42 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 18.61 11.69 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 18.83 10.98 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 18.66 13.08 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 19.50 11.35 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 19.14 11.25 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 16.96 12.23 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 18.29 10.50 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 16.98 9.93 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 16.42 10.23 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 14.41 8.97 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 18.36 10.63 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 16.93 10.39 None recursive/Ackermann01-2.yml true 34.11 21.92 None recursive/Ackermann03.yml true 155.01 125.53 None recursive/Ackermann04.yml true 90.30 57.09 None recursive/Addition01-2.yml true 18.30 10.40 None recursive/Addition03-1.yml TIMEOUT 300.58 240.69 None recursive/EvenOdd01-1.yml TIMEOUT 301.20 238.88 None recursive/Fibonacci01-1.yml true 24.36 13.55 None recursive/Fibonacci02.yml true 120.35 72.80 None recursive/Fibonacci03.yml true 185.50 141.38 None recursive/McCarthy91-2.yml true 15.77 10.22 None recursive/MultCommutative-2.yml TIMEOUT 300.99 231.57 None recursive/Primes.yml true 34.20 22.78 None recursive/gcd01-1.yml true 17.52 9.86 None recursive/gcd02.yml TIMEOUT 300.66 253.45 None recursive/recHanoi01.yml TIMEOUT 300.43 260.25 None recursive/recHanoi02-2.yml true 13.39 8.30 None recursive/recHanoi03-2.yml true 22.04 14.31 None recursive-simple/afterrec-2.yml true 14.12 7.91 None recursive-simple/afterrec_2calls-2.yml true 13.73 7.64 None recursive-simple/fibo_10-2.yml true 204.59 158.04 None recursive-simple/fibo_15-1.yml TIMEOUT 300.87 236.50 None recursive-simple/fibo_20-2.yml TIMEOUT 301.27 237.90 None recursive-simple/fibo_25-2.yml TIMEOUT 301.07 252.60 None recursive-simple/fibo_2calls_10-1.yml true 219.54 171.22 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 301.17 229.93 None recursive-simple/fibo_2calls_2-2.yml true 14.19 9.53 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 300.76 268.70 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 301.29 243.75 None recursive-simple/fibo_2calls_4-1.yml true 36.58 20.93 None recursive-simple/fibo_2calls_5-1.yml true 56.57 32.84 None recursive-simple/fibo_2calls_6-1.yml true 71.08 45.66 None recursive-simple/fibo_2calls_8-1.yml true 111.21 68.10 None recursive-simple/fibo_5-1.yml true 35.94 20.11 None recursive-simple/fibo_7-1.yml true 66.59 37.46 None recursive-simple/id2_b2_o3.yml true 16.92 9.45 None recursive-simple/id2_b3_o5.yml true 16.61 9.24 None recursive-simple/id2_b5_o10.yml true 17.81 9.86 None recursive-simple/id2_i5_o5-2.yml true 27.17 15.85 None recursive-simple/id_b2_o3.yml true 15.31 8.59 None recursive-simple/id_b3_o5-2.yml true 15.19 8.51 None recursive-simple/id_b5_o10-2.yml true 15.00 8.78 None recursive-simple/id_i10_o10-2.yml true 50.68 31.37 None recursive-simple/id_i15_o15-1.yml true 116.81 82.08 None recursive-simple/id_i20_o20-1.yml true 254.86 203.89 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.63 267.62 None recursive-simple/id_i5_o5-2.yml true 20.12 12.83 None recursive-simple/sum_10x0-1.yml true 55.05 33.94 None recursive-simple/sum_15x0-1.yml true 95.66 73.28 None recursive-simple/sum_20x0-2.yml true 210.15 169.85 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.50 243.33 None recursive-simple/sum_2x3-2.yml true 19.26 11.30 None recursive-simple/sum_non_eq-2.yml true 22.44 12.10 None recursive-with-pointer/simple-recursive.yml true 25.36 14.42 None verifythis/prefixsum_rec.yml TIMEOUT 300.72 257.62 None verifythis/elimination_max_rec.yml TIMEOUT 300.93 277.01 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.19 273.27 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 301.04 285.66 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 301.05 284.80 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.01 289.23 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 28.78 16.45 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 37.28 19.59 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.04 284.72 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 23.84 12.92 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 28.81 15.56 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 35.32 20.25 None recursified_loop-invariants/recursified_const.yml true 16.39 9.09 None recursified_loop-invariants/recursified_eq1.yml true 55.43 41.49 None recursified_loop-invariants/recursified_eq2.yml true 32.82 24.37 None recursified_loop-invariants/recursified_even.yml true 12.60 7.76 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.81 264.54 None recursified_loop-invariants/recursified_mod4.yml true 16.44 9.36 None recursified_loop-invariants/recursified_odd.yml true 13.26 7.99 None recursified_loop-simple/recursified_nested_1.yml true 43.55 30.26 None recursified_loop-simple/recursified_nested_2.yml true 112.36 75.35 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.38 272.74 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 301.44 245.53 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 301.60 256.29 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.44 235.05 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 301.19 283.53 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.83 254.88 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 300.40 267.64 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 301.06 249.48 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.21 255.56 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 301.25 266.71 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.82 267.53 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.40 274.33 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 301.20 281.82 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 301.01 289.55 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.24 282.61 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 301.05 289.63 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 301.20 286.85 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.84 255.73 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 301.03 269.30 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.09 294.23 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 301.01 290.02 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 300.41 280.13 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 301.48 264.30 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.80 247.53 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.81 263.29 None recursified_nla-digbench/recursified_ps2-ll.yml true 76.38 64.43 None recursified_nla-digbench/recursified_ps3-ll.yml true 163.76 154.82 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 301.09 283.26 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 300.99 291.79 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.03 288.83 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.57 258.04 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 80751.07 5287.65 - Statistics: 666 Files correct: 425 correct true: 425 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 241 Score: 850 (max: 1332)