BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Fri, 2024-09-13 08:38:36 CEST tool: ULTIMATE Automizer 0.2.4-1d5fa637 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 16.63 9.91 None loops/count_up_down-1.yml TIMEOUT 300.43 276.06 None loops/eureka_01-2.yml TIMEOUT 300.27 278.49 None loops/eureka_05.yml TIMEOUT 300.41 269.75 None loops/for_infinite_loop_1.yml true 12.41 7.05 None loops/for_infinite_loop_2.yml true 9.33 5.88 None loops/heavy-2.yml true 16.03 9.19 None loops/insertion_sort-2-2.yml TIMEOUT 301.02 287.74 None loops/invert_string-3.yml true 102.54 84.86 None loops/linear_sea.ch.yml TIMEOUT 300.21 271.88 None loops/lu.cmp.yml true 18.87 10.67 None loops/matrix-1.yml TIMEOUT 300.28 279.85 None loops/n.c11.yml true 10.49 6.67 None loops/n.c40.yml ERROR (7) 20.17 13.05 None loops/nec40.yml ERROR (7) 19.07 12.45 None loops/string-1.yml true 12.15 8.18 None loops/sum01-2.yml true 16.87 9.64 None loops/sum03-2.yml true 13.07 7.60 None loops/sum04-2.yml true 15.67 9.68 None loops/sum_array-2-2.yml TIMEOUT 300.56 277.72 None loops/terminator_02-2.yml true 10.25 7.19 None loops/terminator_02-2_abstracted.yml true 10.30 6.05 None loops/terminator_03-2.yml true 12.94 7.26 None loops/terminator_03-2_abstracted.yml true 11.98 7.16 None loops/trex01-2.yml true 9.51 5.92 None loops/trex02-1.yml true 12.74 7.46 None loops/trex03-2.yml true 9.95 6.86 None loops/trex03-2_abstracted.yml true 11.75 7.15 None loops/trex04.yml true 12.95 7.13 None loops/trex04_abstracted.yml true 13.35 7.75 None loops/veris.c_NetBSD-libc_loop.yml true 12.60 7.84 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 12.50 8.31 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 12.05 7.10 None loops/vogal-1.yml TIMEOUT 300.50 267.65 None loops/while_infinite_loop_1.yml true 12.30 6.85 None loops/while_infinite_loop_2.yml true 12.68 7.07 None loops/while_infinite_loop_3.yml true 9.85 6.19 None loop-acceleration/array_1-2.yml true 18.60 12.99 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.19 291.42 None loop-acceleration/array_2-2.yml TIMEOUT 301.04 288.73 None loop-acceleration/array_3-1.yml true 10.47 6.61 None loop-acceleration/array_4.yml TIMEOUT 300.23 279.67 None loop-acceleration/const_1-1.yml true 10.00 6.36 None loop-acceleration/diamond_1-1.yml true 50.45 34.71 None loop-acceleration/diamond_2-2.yml true 30.33 23.11 None loop-acceleration/functions_1-1.yml true 10.46 6.19 None loop-acceleration/multivar_1-1.yml true 10.26 6.17 None loop-acceleration/nested_1-1.yml true 39.18 22.99 None loop-acceleration/overflow_1-1.yml true 10.33 6.81 None loop-acceleration/phases_1-1.yml TIMEOUT 301.05 291.38 None loop-acceleration/phases_2-2.yml true 25.08 19.91 None loop-acceleration/simple_1-2.yml true 12.77 7.30 None loop-acceleration/simple_1-2_abstracted.yml true 10.12 6.37 None loop-acceleration/simple_2-1.yml true 12.31 7.20 None loop-acceleration/simple_2-1_abstracted.yml true 9.24 5.71 None loop-acceleration/simple_3-2.yml true 12.98 7.82 None loop-acceleration/simple_4-2.yml true 10.85 7.35 None loop-acceleration/simple_4-2_abstracted.yml true 12.41 6.87 None loop-acceleration/underapprox_1-2.yml true 23.21 15.04 None loop-acceleration/underapprox_2-2.yml true 12.79 7.35 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.24 277.03 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.28 276.85 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.07 282.55 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 22.69 12.36 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 22.18 12.22 None loop-crafted/simple_array_index_value_4.yml true 22.33 13.51 None loop-crafted/simple_vardep_1.yml true 13.50 7.51 None loop-crafted/simple_vardep_2.yml true 13.69 7.89 None loop-invgen/MADWiFi-encode_ie_ok.yml true 15.03 8.43 None loop-invgen/NetBSD_loop.yml true 12.47 7.98 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 23.04 12.77 None loop-invgen/SpamAssassin-loop.yml true 17.71 9.54 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 25.40 14.36 None loop-invgen/apache-escape-absolute.yml true 16.33 8.98 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 25.27 15.21 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 71.52 41.65 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 93.44 67.64 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 30.52 16.33 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 29.48 15.88 None loop-invgen/apache-get-tag.yml true 16.58 9.20 None loop-invgen/down.yml TIMEOUT 301.09 260.43 None loop-invgen/fragtest_simple.yml TIMEOUT 300.80 234.85 None loop-invgen/half_2.yml TIMEOUT 300.35 273.20 None loop-invgen/heapsort.yml TIMEOUT 300.26 274.71 None loop-invgen/id_build.i.p+nlh-reducer.yml true 23.48 12.52 None loop-invgen/id_build.i.p+sep-reducer.yml true 24.42 13.34 None loop-invgen/id_build.i.v+lhb-reducer.yml true 11.39 7.08 None loop-invgen/id_build.yml true 12.99 7.27 None loop-invgen/large_const.yml true 17.68 10.66 None loop-invgen/nest-if3.yml true 12.72 7.09 None loop-invgen/nested6.yml true 19.93 13.23 None loop-invgen/nested9.yml true 19.62 11.30 None loop-invgen/sendmail-close-angle.yml true 25.93 14.48 None loop-invgen/seq-3.yml TIMEOUT 300.80 259.18 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.64 264.76 None loop-invgen/up.yml TIMEOUT 300.59 243.01 None loop-lit/afnp2014.yml true 11.28 7.18 None loop-lit/as2013-hybrid.yml true 14.42 8.15 None loop-lit/bh2017-ex-add.yml true 15.00 9.51 None loop-lit/bh2017-ex1-poly.yml true 18.70 10.53 None loop-lit/bh2017-ex3.yml true 13.79 8.46 None loop-lit/bhmr2007.yml true 13.12 8.18 None loop-lit/cggmp2005.yml true 13.68 7.96 None loop-lit/cggmp2005_variant.yml true 11.45 7.36 None loop-lit/cggmp2005b.yml true 10.82 6.91 None loop-lit/css2003.yml true 12.57 6.95 None loop-lit/ddlm2013.yml true 13.50 8.22 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 56.47 40.10 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 86.43 63.59 None loop-lit/gj2007.yml true 53.20 32.54 None loop-lit/gj2007b.yml true 11.69 7.17 None loop-lit/gr2006.yml true 48.86 32.07 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 13.04 7.75 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 10.08 6.47 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 13.89 7.87 None loop-lit/gsv2008.yml true 10.08 6.77 None loop-lit/hh2012-ex1b.yml true 11.80 7.02 None loop-lit/hh2012-ex2b.yml true 14.06 7.90 None loop-lit/hh2012-ex3.yml true 18.22 10.98 None loop-lit/hhk2008.yml true 13.80 7.88 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 11.27 7.10 None loop-lit/jm2006.yml true 10.60 6.83 None loop-lit/jm2006_variant.yml true 15.80 9.40 None loop-lit/mcmillan2006.yml TIMEOUT 300.50 268.09 None loop-lit/mine2017-ex4.10.yml true 11.38 7.16 None loop-lit/mine2017-ex4.6.yml true 11.29 6.70 None loop-lit/mine2017-ex4.7.yml true 9.77 6.19 None loop-lit/mine2017-ex4.8.yml true 10.07 6.53 None loop-new/count_by_1.yml true 12.78 7.28 None loop-new/count_by_1_variant.yml true 10.71 6.87 None loop-new/count_by_2.yml TIMEOUT 300.82 261.68 None loop-new/count_by_k.yml TIMEOUT 301.01 263.96 None loop-new/count_by_nondet.yml TIMEOUT 300.42 280.98 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 13.61 7.89 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 14.33 9.42 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 13.24 7.70 None loop-new/gauss_sum.yml true 11.35 7.23 None loop-new/half.yml true 22.14 12.45 None loop-new/nested-1.yml TIMEOUT 301.16 288.42 None loop-industry-pattern/aiob_1.yml unknown 18.12 10.30 None loop-industry-pattern/aiob_2.yml unknown 18.33 10.30 None loop-industry-pattern/aiob_3.yml unknown 18.00 10.66 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 18.28 10.01 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 18.35 10.26 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 18.59 10.51 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 20.58 11.40 None loop-industry-pattern/aiob_4.yml unknown 18.53 10.41 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 86.42 75.48 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 87.82 77.98 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 87.44 78.83 None loop-industry-pattern/mod3.yml true 80.09 73.17 None loop-industry-pattern/ofuf_1.yml unknown 15.32 9.30 None loop-industry-pattern/ofuf_2.yml unknown 18.50 10.86 None loop-industry-pattern/ofuf_3.yml unknown 20.01 11.00 None loop-industry-pattern/ofuf_4.yml unknown 14.78 9.28 None loop-industry-pattern/ofuf_5.yml unknown 19.48 11.02 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 301.01 287.22 None loops-crafted-1/discover_list.yml unknown 19.93 10.80 None loops-crafted-1/iftelse.yml TIMEOUT 300.97 293.88 None loops-crafted-1/in-de20.yml TIMEOUT 300.79 264.30 None loops-crafted-1/in-de31.yml TIMEOUT 300.23 272.93 None loops-crafted-1/in-de32.yml TIMEOUT 301.05 261.14 None loops-crafted-1/in-de41.yml TIMEOUT 300.56 262.85 None loops-crafted-1/in-de42.yml TIMEOUT 300.71 267.75 None loops-crafted-1/in-de51.yml TIMEOUT 300.85 275.08 None loops-crafted-1/in-de52.yml TIMEOUT 300.36 273.16 None loops-crafted-1/in-de61.yml TIMEOUT 300.45 265.32 None loops-crafted-1/in-de62.yml TIMEOUT 301.11 282.89 None loops-crafted-1/loopv1.yml true 10.60 6.28 None loops-crafted-1/loopv2.yml true 10.53 6.25 None loops-crafted-1/loopv3.yml true 16.43 9.92 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.58 279.47 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 300.98 289.80 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.29 290.38 None loops-crafted-1/mono-crafted_12.yml true 13.83 7.79 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.25 250.55 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.85 250.33 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.73 249.77 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 301.42 258.30 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.70 251.83 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 300.98 289.33 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.00 251.35 None loops-crafted-1/nested3-1.yml TIMEOUT 300.27 273.28 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 301.58 261.43 None loops-crafted-1/nested5-1.yml true 15.85 9.59 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 301.13 245.25 None loops-crafted-1/net_reset.yml unknown 16.72 9.74 None loops-crafted-1/sum_by_3.yml true 32.00 22.72 None loops-crafted-1/sum_by_3_abstracted.yml true 19.35 11.46 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.61 279.51 None loops-crafted-1/sumt2.yml true 11.86 7.29 None loops-crafted-1/sumt3.yml true 12.17 7.07 None loops-crafted-1/sumt4.yml true 11.84 7.34 None loops-crafted-1/sumt5.yml true 13.39 8.13 None loops-crafted-1/sumt6.yml true 12.81 7.49 None loops-crafted-1/sumt7.yml true 13.82 7.75 None loops-crafted-1/sumt8.yml true 12.74 7.89 None loops-crafted-1/sumt9.yml true 13.95 8.23 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.00 271.88 None loops-crafted-1/vnew1.yml TIMEOUT 301.06 281.06 None loops-crafted-1/vnew2.yml TIMEOUT 301.01 292.30 None loops-crafted-1/watermelon.yml TIMEOUT 300.45 242.92 None loop-invariants/bin-suffix-5.yml true 24.07 14.42 None loop-invariants/const.yml true 13.22 7.25 None loop-invariants/eq1.yml true 12.87 7.24 None loop-invariants/eq2.yml true 13.46 7.51 None loop-invariants/even.yml true 13.37 7.61 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 300.29 247.63 None loop-invariants/mod4.yml true 14.11 8.14 None loop-invariants/odd.yml true 14.67 8.24 None loop-simple/nested_1.yml true 13.23 7.49 None loop-simple/nested_2.yml true 19.09 11.04 None loop-simple/nested_3.yml true 39.10 23.19 None loop-simple/nested_4.yml true 179.21 152.87 None loop-simple/nested_5.yml OUT OF MEMORY 173.25 136.62 None loop-simple/nested_6.yml OUT OF MEMORY 110.09 77.77 None loop-zilu/benchmark02_linear.yml true 9.76 5.76 None loop-zilu/benchmark02_linear_abstracted.yml true 12.76 7.16 None loop-zilu/benchmark04_conjunctive.yml true 11.25 6.84 None loop-zilu/benchmark05_conjunctive.yml true 14.73 8.83 None loop-zilu/benchmark09_conjunctive.yml true 10.22 7.00 None loop-zilu/benchmark10_conjunctive.yml true 15.74 9.41 None loop-zilu/benchmark11_linear.yml true 10.79 6.76 None loop-zilu/benchmark11_linear_abstracted.yml true 9.41 5.98 None loop-zilu/benchmark14_linear.yml true 12.07 7.13 None loop-zilu/benchmark17_conjunctive.yml true 10.28 6.19 None loop-zilu/benchmark18_conjunctive.yml true 13.59 7.77 None loop-zilu/benchmark19_conjunctive.yml true 10.68 6.67 None loop-zilu/benchmark20_conjunctive.yml true 13.17 7.87 None loop-zilu/benchmark23_conjunctive.yml true 47.85 31.62 None loop-zilu/benchmark25_linear.yml true 13.29 7.58 None loop-zilu/benchmark25_linear_abstracted.yml true 9.57 6.09 None loop-zilu/benchmark26_linear.yml true 12.89 7.78 None loop-zilu/benchmark26_linear_abstracted.yml true 9.81 6.30 None loop-zilu/benchmark32_linear.yml true 12.90 7.21 None loop-zilu/benchmark33_linear.yml true 12.32 6.81 None loop-zilu/benchmark34_conjunctive.yml true 11.38 7.49 None loop-zilu/benchmark35_linear.yml true 12.32 6.94 None loop-zilu/benchmark37_conjunctive.yml true 13.06 7.42 None loop-zilu/benchmark43_conjunctive.yml true 13.77 7.79 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 10.76 7.25 None loop-zilu/benchmark51_polynomial.yml true 12.52 7.41 None loop-zilu/benchmark52_polynomial.yml true 12.87 7.66 None verifythis/duplets.yml TIMEOUT 301.10 281.95 None verifythis/elimination_max.yml TIMEOUT 300.21 273.30 None verifythis/lcp.yml TIMEOUT 300.23 284.89 None verifythis/prefixsum_iter.yml TIMEOUT 300.17 278.39 None nla-digbench/bresenham-ll.yml true 62.05 47.25 None nla-digbench/cohencu-ll.yml true 37.25 24.93 None nla-digbench/cohendiv-ll.yml true 19.69 11.52 None nla-digbench/dijkstra-u.yml TIMEOUT 301.08 285.79 None nla-digbench/divbin2.yml TIMEOUT 300.31 286.10 None nla-digbench/egcd-ll.yml true 35.97 26.35 None nla-digbench/egcd2-ll.yml TIMEOUT 301.16 282.41 None nla-digbench/egcd3-ll.yml TIMEOUT 300.84 267.29 None nla-digbench/fermat1-ll.yml true 13.29 8.56 None nla-digbench/fermat2-ll.yml true 16.30 9.44 None nla-digbench/geo1-ll.yml TIMEOUT 301.00 291.90 None nla-digbench/geo2-ll.yml TIMEOUT 300.97 292.04 None nla-digbench/geo3-ll.yml TIMEOUT 300.95 293.70 None nla-digbench/hard-ll.yml TIMEOUT 300.44 277.57 None nla-digbench/hard2.yml true 78.65 57.64 None nla-digbench/knuth.yml TIMEOUT 301.09 291.01 None nla-digbench/lcm1.yml TIMEOUT 300.93 295.18 None nla-digbench/lcm2.yml true 19.75 12.89 None nla-digbench/mannadiv.yml true 16.96 10.27 None nla-digbench/prod4br-ll.yml true 16.36 10.17 None nla-digbench/prodbin-ll.yml TIMEOUT 300.12 285.89 None nla-digbench/ps2-ll.yml true 13.02 7.94 None nla-digbench/ps3-ll.yml true 14.09 8.02 None nla-digbench/ps4-ll.yml true 13.89 8.91 None nla-digbench/ps5-ll.yml true 17.18 10.04 None nla-digbench/ps6-ll.yml true 163.53 151.98 None nla-digbench/sqrt1-ll.yml true 13.12 8.23 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 23.64 13.68 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 18.62 11.43 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 23.81 14.04 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 57.68 45.93 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 25.92 14.57 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 23.09 13.05 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 23.63 13.51 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 31.01 18.88 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 293.45 277.43 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 49.59 35.37 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 27.35 18.69 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 34.14 21.79 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 33.93 20.90 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 30.05 20.99 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 12.98 8.47 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 26.22 14.98 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 20.06 12.55 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 23.29 13.63 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 26.25 15.12 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 19.00 11.55 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 20.58 12.46 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 19.72 11.66 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 19.79 11.72 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 14.92 10.19 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 15.14 11.02 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 14.53 9.45 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 20.35 12.02 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 14.97 9.88 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 28.80 21.44 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 30.66 23.13 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.08 283.30 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 300.11 281.33 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 301.05 289.37 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 300.98 291.23 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.10 288.03 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 300.33 279.64 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.01 289.81 None nla-digbench-scaling/divbin2_unwindbound1.yml true 14.41 8.17 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.05 289.70 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 300.14 284.86 None nla-digbench-scaling/divbin2_unwindbound2.yml true 15.20 8.77 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.02 287.80 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.29 283.08 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 300.33 282.61 None nla-digbench-scaling/divbin2_valuebound1.yml true 39.84 33.53 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.01 292.08 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.04 286.75 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.06 287.88 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 300.16 288.78 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.05 285.91 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 300.99 291.23 None nla-digbench-scaling/divbin_unwindbound1.yml true 10.92 6.82 None nla-digbench-scaling/divbin_unwindbound2.yml true 13.83 8.73 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.04 286.83 None nla-digbench-scaling/divbin_valuebound1.yml true 63.52 53.08 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.06 286.04 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.04 286.37 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 300.41 269.44 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.12 279.96 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 300.20 276.59 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.06 288.36 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 20.15 12.35 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 44.24 32.82 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 67.53 55.83 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 34.37 22.94 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 55.36 44.01 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 37.73 30.63 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 70.89 58.37 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 30.41 21.78 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.18 274.70 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 301.01 291.53 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 83.93 61.43 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 300.13 281.52 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.10 278.07 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 301.24 283.57 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 28.14 18.30 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.64 267.09 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.28 278.80 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 65.37 49.34 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.58 275.07 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.50 279.51 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.82 263.98 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 16.20 9.58 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 17.53 10.84 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 17.20 10.44 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 17.33 10.42 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 15.74 10.87 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 17.18 10.46 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 13.24 8.58 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 18.83 12.65 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 14.70 10.92 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 16.14 11.71 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 18.43 12.02 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 14.95 10.64 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 15.75 11.41 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 18.75 12.18 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.06 288.21 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 301.01 292.67 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 300.98 293.80 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 300.28 286.80 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 301.03 288.84 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 301.03 293.01 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 300.98 287.96 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 22.17 14.38 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 300.12 287.92 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 301.04 287.15 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 32.95 26.46 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 300.10 284.35 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 301.01 288.79 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 300.97 293.37 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 14.80 8.63 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 16.24 9.64 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 300.98 291.77 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 16.04 9.52 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 234.03 221.04 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 16.48 9.72 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 301.03 288.33 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 31.43 25.38 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.96 293.35 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.95 294.77 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.97 291.33 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.96 291.95 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.97 291.44 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.95 294.78 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 13.45 7.54 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 13.59 8.25 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 13.44 7.85 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 19.47 13.33 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 92.25 82.77 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 13.18 7.75 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 301.01 289.26 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 92.23 83.74 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 301.05 286.84 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.01 289.44 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 52.41 47.14 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 301.05 290.76 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 301.00 291.51 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 301.04 288.25 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 13.04 7.44 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 15.38 9.29 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 301.04 287.25 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 10.15 6.04 None nla-digbench-scaling/geo3-ll_valuebound20.yml TIMEOUT 301.01 290.46 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.45 6.59 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 300.97 292.68 None nla-digbench-scaling/hard-ll_valuebound1.yml true 25.84 15.10 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.39 269.75 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.28 277.18 None nla-digbench-scaling/hard-ll_valuebound2.yml true 53.60 31.82 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.39 270.55 None nla-digbench-scaling/hard-ll_valuebound5.yml true 230.19 198.35 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 301.14 283.64 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.03 288.18 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.04 287.83 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.12 290.79 None nla-digbench-scaling/hard-u_valuebound2.yml true 136.78 124.28 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.00 291.68 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.05 286.69 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.04 287.55 None nla-digbench-scaling/hard2_valuebound1.yml true 29.18 16.41 None nla-digbench-scaling/hard2_valuebound10.yml true 102.92 82.66 None nla-digbench-scaling/hard2_valuebound100.yml true 90.09 75.53 None nla-digbench-scaling/hard2_valuebound2.yml true 52.95 40.34 None nla-digbench-scaling/hard2_valuebound20.yml true 106.46 83.24 None nla-digbench-scaling/hard2_valuebound5.yml true 95.74 78.86 None nla-digbench-scaling/hard2_valuebound50.yml true 96.97 81.21 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.07 291.93 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.06 291.65 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.02 294.53 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.05 291.66 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.03 294.07 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.01 294.89 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.06 291.19 None nla-digbench-scaling/knuth_valuebound1.yml true 26.77 20.05 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 300.22 283.91 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 301.03 292.56 None nla-digbench-scaling/knuth_valuebound2.yml true 33.00 21.82 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 301.13 289.47 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.20 285.35 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.02 291.40 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.94 293.90 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.96 293.90 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.95 294.20 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.94 294.17 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.92 297.02 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.94 295.17 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.92 296.86 None nla-digbench-scaling/lcm2_unwindbound1.yml true 17.07 12.43 None nla-digbench-scaling/lcm2_unwindbound10.yml true 25.50 17.26 None nla-digbench-scaling/lcm2_unwindbound100.yml true 19.92 14.38 None nla-digbench-scaling/lcm2_unwindbound2.yml true 21.29 13.23 None nla-digbench-scaling/lcm2_unwindbound20.yml true 21.24 15.42 None nla-digbench-scaling/lcm2_unwindbound5.yml true 24.01 15.61 None nla-digbench-scaling/lcm2_unwindbound50.yml true 25.29 15.48 None nla-digbench-scaling/lcm2_valuebound1.yml true 14.06 8.86 None nla-digbench-scaling/lcm2_valuebound10.yml true 15.31 10.51 None nla-digbench-scaling/lcm2_valuebound100.yml true 22.53 14.63 None nla-digbench-scaling/lcm2_valuebound2.yml true 17.22 12.32 None nla-digbench-scaling/lcm2_valuebound20.yml true 22.88 14.84 None nla-digbench-scaling/lcm2_valuebound5.yml true 18.01 12.41 None nla-digbench-scaling/lcm2_valuebound50.yml true 18.35 13.20 None nla-digbench-scaling/mannadiv_valuebound1.yml true 17.10 10.21 None nla-digbench-scaling/mannadiv_valuebound10.yml true 12.41 8.52 None nla-digbench-scaling/mannadiv_valuebound100.yml true 16.61 9.68 None nla-digbench-scaling/mannadiv_valuebound2.yml true 12.96 8.10 None nla-digbench-scaling/mannadiv_valuebound20.yml true 16.71 9.67 None nla-digbench-scaling/mannadiv_valuebound5.yml true 12.53 8.62 None nla-digbench-scaling/mannadiv_valuebound50.yml true 16.75 9.82 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 13.67 9.83 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 16.84 9.76 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 13.02 8.30 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 17.09 10.12 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 13.10 8.22 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 16.93 9.71 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 12.96 8.57 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 301.07 282.61 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 300.25 273.28 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 16.18 9.39 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 50.92 38.08 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 301.05 288.36 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 29.25 18.17 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 160.31 135.87 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 52.55 37.02 None nla-digbench-scaling/prodbin-ll_valuebound50.yml true 274.10 256.95 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 13.97 8.45 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 11.27 7.36 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 15.00 8.78 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 11.00 7.47 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 14.77 8.64 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 15.20 8.90 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 11.30 7.55 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 13.07 7.69 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 13.47 8.29 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 13.38 8.13 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 10.24 6.75 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 13.08 7.98 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 10.08 6.62 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 13.78 7.91 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 13.73 8.07 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 11.24 7.74 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 14.76 8.70 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 15.37 8.99 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 15.98 9.25 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 11.53 8.10 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 14.73 8.71 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 13.98 8.39 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 13.95 8.09 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 10.45 7.22 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 13.09 7.64 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 13.86 8.02 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 13.43 7.82 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 10.04 6.83 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 15.55 9.23 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 17.62 10.68 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 16.93 10.38 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 12.56 8.38 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 16.57 9.75 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 296.63 285.41 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 17.42 10.14 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 12.74 8.62 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 164.24 153.02 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 143.12 135.98 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 18.53 11.03 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 18.14 10.98 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.99 292.59 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 137.81 127.20 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 18.81 11.29 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 301.01 290.44 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 300.98 293.53 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 20.54 11.79 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 18.96 10.91 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 175.27 162.63 None nla-digbench-scaling/ps6-ll_valuebound50.yml true 103.45 90.48 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 13.17 8.13 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 14.48 9.42 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 14.18 9.34 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 13.97 8.82 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 14.52 9.05 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 14.40 9.36 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 13.90 9.18 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 12.17 8.43 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 12.39 7.75 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 12.50 8.37 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 16.97 9.80 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 16.90 9.84 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 16.35 10.04 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 12.50 8.33 None recursive/Ackermann01-2.yml true 32.47 18.94 None recursive/Ackermann03.yml true 141.22 119.82 None recursive/Ackermann04.yml true 64.56 44.45 None recursive/Addition01-2.yml true 17.58 10.35 None recursive/Addition03-1.yml TIMEOUT 300.34 246.68 None recursive/EvenOdd01-1.yml TIMEOUT 300.77 238.84 None recursive/Fibonacci01-1.yml true 17.40 10.70 None recursive/Fibonacci02.yml true 88.65 60.38 None recursive/Fibonacci03.yml true 175.21 133.67 None recursive/McCarthy91-2.yml true 13.49 8.13 None recursive/MultCommutative-2.yml TIMEOUT 301.22 252.40 None recursive/Primes.yml true 34.92 20.31 None recursive/gcd01-1.yml true 13.39 9.04 None recursive/gcd02.yml TIMEOUT 300.71 278.48 None recursive/recHanoi01.yml TIMEOUT 301.88 237.92 None recursive/recHanoi02-2.yml true 10.44 6.27 None recursive/recHanoi03-2.yml true 18.04 10.85 None recursive-simple/afterrec-2.yml true 12.50 7.54 None recursive-simple/afterrec_2calls-2.yml true 9.91 5.82 None recursive-simple/fibo_10-2.yml true 196.26 137.05 None recursive-simple/fibo_15-1.yml TIMEOUT 300.91 264.12 None recursive-simple/fibo_20-2.yml TIMEOUT 300.87 256.77 None recursive-simple/fibo_25-2.yml TIMEOUT 300.67 266.47 None recursive-simple/fibo_2calls_10-1.yml true 260.25 190.21 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 300.55 234.93 None recursive-simple/fibo_2calls_2-2.yml true 18.71 10.80 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 301.32 236.92 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 301.19 240.84 None recursive-simple/fibo_2calls_4-1.yml true 25.94 15.98 None recursive-simple/fibo_2calls_5-1.yml true 40.11 24.83 None recursive-simple/fibo_2calls_6-1.yml true 71.45 42.36 None recursive-simple/fibo_2calls_8-1.yml true 84.36 56.70 None recursive-simple/fibo_5-1.yml true 35.46 20.21 None recursive-simple/fibo_7-1.yml true 62.30 35.28 None recursive-simple/id2_b2_o3.yml true 16.36 9.49 None recursive-simple/id2_b3_o5.yml true 16.40 9.12 None recursive-simple/id2_b5_o10.yml true 16.70 9.12 None recursive-simple/id2_i5_o5-2.yml true 19.96 12.44 None recursive-simple/id_b2_o3.yml true 14.39 8.00 None recursive-simple/id_b3_o5-2.yml true 10.60 6.32 None recursive-simple/id_b5_o10-2.yml true 14.96 8.69 None recursive-simple/id_i10_o10-2.yml true 48.50 30.23 None recursive-simple/id_i15_o15-1.yml true 110.10 79.30 None recursive-simple/id_i20_o20-1.yml true 191.09 159.09 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.41 246.98 None recursive-simple/id_i5_o5-2.yml true 18.16 11.44 None recursive-simple/sum_10x0-1.yml true 54.29 33.77 None recursive-simple/sum_15x0-1.yml true 83.97 60.95 None recursive-simple/sum_20x0-2.yml true 269.14 211.58 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.42 276.97 None recursive-simple/sum_2x3-2.yml true 20.06 11.44 None recursive-simple/sum_non_eq-2.yml true 24.39 13.07 None recursive-with-pointer/simple-recursive.yml true 27.38 14.99 None verifythis/prefixsum_rec.yml TIMEOUT 300.64 269.27 None verifythis/elimination_max_rec.yml TIMEOUT 300.21 276.13 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 301.05 284.46 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 300.09 277.97 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 301.00 289.73 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.04 285.91 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 31.50 16.77 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 26.55 15.16 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 300.11 278.50 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 17.60 10.27 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 28.07 15.36 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 35.49 20.02 None recursified_loop-invariants/recursified_const.yml true 11.23 6.80 None recursified_loop-invariants/recursified_eq1.yml true 55.10 43.17 None recursified_loop-invariants/recursified_eq2.yml true 27.90 21.56 None recursified_loop-invariants/recursified_even.yml true 16.14 9.05 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.74 262.24 None recursified_loop-invariants/recursified_mod4.yml true 16.96 9.41 None recursified_loop-invariants/recursified_odd.yml true 12.97 8.28 None recursified_loop-simple/recursified_nested_1.yml true 46.27 31.41 None recursified_loop-simple/recursified_nested_2.yml true 84.92 59.70 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.63 260.04 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 300.87 252.14 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.49 271.49 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.49 239.01 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 300.37 271.94 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.38 281.41 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 301.14 279.37 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 300.23 273.08 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.24 274.84 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 301.03 268.04 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 301.13 267.59 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.66 273.29 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 300.38 275.86 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.25 284.37 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.21 282.35 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 301.04 287.53 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 301.07 287.45 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.72 278.25 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.62 267.11 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.06 293.31 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 300.96 293.01 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 300.36 277.17 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 300.63 256.01 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.60 267.32 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.69 265.51 None recursified_nla-digbench/recursified_ps2-ll.yml true 44.48 35.60 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 301.00 290.52 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 301.06 272.82 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 300.98 291.28 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.01 286.93 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.25 270.59 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 80795.69 5287.25 - 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)