BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Sun, 2024-09-15 18:37:01 CEST tool: ULTIMATE Automizer 0.2.4-04d6fb36 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.71 9.60 None loops/count_up_down-1.yml TIMEOUT 300.46 277.20 None loops/eureka_01-2.yml TIMEOUT 300.19 274.88 None loops/eureka_05.yml TIMEOUT 300.95 240.49 None loops/for_infinite_loop_1.yml true 12.40 6.93 None loops/for_infinite_loop_2.yml true 10.57 6.33 None loops/heavy-2.yml true 15.80 8.95 None loops/insertion_sort-2-2.yml TIMEOUT 301.05 288.46 None loops/invert_string-3.yml true 64.00 48.38 None loops/linear_sea.ch.yml TIMEOUT 300.20 271.09 None loops/lu.cmp.yml true 18.72 10.40 None loops/matrix-1.yml TIMEOUT 300.17 282.22 None loops/n.c11.yml true 10.58 6.39 None loops/n.c40.yml ERROR (7) 21.97 14.55 None loops/nec40.yml ERROR (7) 19.11 11.63 None loops/string-1.yml true 12.44 7.98 None loops/sum01-2.yml true 15.84 8.87 None loops/sum03-2.yml true 11.50 6.42 None loops/sum04-2.yml true 14.83 8.89 None loops/sum_array-2-2.yml TIMEOUT 301.44 259.45 None loops/terminator_02-2.yml true 8.35 5.34 None loops/terminator_02-2_abstracted.yml true 10.16 6.50 None loops/terminator_03-2.yml true 11.59 6.58 None loops/terminator_03-2_abstracted.yml true 11.59 6.68 None loops/trex01-2.yml true 8.57 5.02 None loops/trex02-1.yml true 11.59 6.27 None loops/trex03-2.yml true 8.65 5.54 None loops/trex03-2_abstracted.yml true 11.95 7.32 None loops/trex04.yml true 11.41 6.50 None loops/trex04_abstracted.yml true 11.82 6.52 None loops/veris.c_NetBSD-libc_loop.yml true 11.88 7.03 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 13.86 8.35 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 8.23 5.14 None loops/vogal-1.yml TIMEOUT 300.52 263.01 None loops/while_infinite_loop_1.yml true 11.22 6.50 None loops/while_infinite_loop_2.yml true 11.20 6.48 None loops/while_infinite_loop_3.yml true 8.62 5.45 None loop-acceleration/array_1-2.yml true 14.15 10.83 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.27 286.42 None loop-acceleration/array_2-2.yml TIMEOUT 301.04 289.60 None loop-acceleration/array_3-1.yml true 13.02 7.58 None loop-acceleration/array_4.yml TIMEOUT 301.11 285.78 None loop-acceleration/const_1-1.yml true 8.85 5.33 None loop-acceleration/diamond_1-1.yml true 54.87 37.21 None loop-acceleration/diamond_2-2.yml true 30.50 23.60 None loop-acceleration/functions_1-1.yml true 9.16 5.77 None loop-acceleration/multivar_1-1.yml true 9.22 5.25 None loop-acceleration/nested_1-1.yml true 30.19 18.62 None loop-acceleration/overflow_1-1.yml true 10.84 7.09 None loop-acceleration/phases_1-1.yml TIMEOUT 300.97 290.61 None loop-acceleration/phases_2-2.yml true 24.29 19.36 None loop-acceleration/simple_1-2.yml true 12.97 7.40 None loop-acceleration/simple_1-2_abstracted.yml true 11.49 6.65 None loop-acceleration/simple_2-1.yml true 12.11 6.55 None loop-acceleration/simple_2-1_abstracted.yml true 10.15 6.52 None loop-acceleration/simple_3-2.yml true 13.72 7.65 None loop-acceleration/simple_4-2.yml true 11.28 8.34 None loop-acceleration/simple_4-2_abstracted.yml true 12.38 6.79 None loop-acceleration/underapprox_1-2.yml true 16.27 11.15 None loop-acceleration/underapprox_2-2.yml true 13.30 7.50 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.59 275.65 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.37 276.24 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 300.99 289.16 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 20.74 11.53 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 21.91 12.16 None loop-crafted/simple_array_index_value_4.yml true 21.06 12.07 None loop-crafted/simple_vardep_1.yml true 11.61 6.73 None loop-crafted/simple_vardep_2.yml true 12.45 6.74 None loop-invgen/MADWiFi-encode_ie_ok.yml true 13.93 7.75 None loop-invgen/NetBSD_loop.yml true 13.46 7.56 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 22.59 11.92 None loop-invgen/SpamAssassin-loop.yml true 13.04 7.55 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 21.33 13.51 None loop-invgen/apache-escape-absolute.yml true 15.66 8.77 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 30.81 16.69 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 69.63 40.65 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 100.93 76.74 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 22.80 12.57 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 29.53 15.95 None loop-invgen/apache-get-tag.yml true 15.67 8.56 None loop-invgen/down.yml TIMEOUT 300.96 287.61 None loop-invgen/fragtest_simple.yml TIMEOUT 300.59 242.09 None loop-invgen/half_2.yml TIMEOUT 300.37 244.15 None loop-invgen/heapsort.yml TIMEOUT 301.12 284.71 None loop-invgen/id_build.i.p+nlh-reducer.yml true 22.65 12.19 None loop-invgen/id_build.i.p+sep-reducer.yml true 22.18 11.88 None loop-invgen/id_build.i.v+lhb-reducer.yml true 9.35 5.40 None loop-invgen/id_build.yml true 11.31 6.32 None loop-invgen/large_const.yml true 16.25 9.66 None loop-invgen/nest-if3.yml true 8.54 4.96 None loop-invgen/nested6.yml true 24.93 14.13 None loop-invgen/nested9.yml true 18.23 10.66 None loop-invgen/sendmail-close-angle.yml true 24.50 13.56 None loop-invgen/seq-3.yml TIMEOUT 300.20 274.20 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.57 267.48 None loop-invgen/up.yml TIMEOUT 300.31 244.54 None loop-lit/afnp2014.yml true 13.18 7.56 None loop-lit/as2013-hybrid.yml true 13.62 7.94 None loop-lit/bh2017-ex-add.yml true 17.97 10.22 None loop-lit/bh2017-ex1-poly.yml true 18.50 10.00 None loop-lit/bh2017-ex3.yml true 16.79 9.41 None loop-lit/bhmr2007.yml true 15.47 8.67 None loop-lit/cggmp2005.yml true 10.63 6.73 None loop-lit/cggmp2005_variant.yml true 10.20 6.63 None loop-lit/cggmp2005b.yml true 12.52 7.17 None loop-lit/css2003.yml true 11.58 6.30 None loop-lit/ddlm2013.yml true 14.16 8.99 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 55.72 39.81 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 109.55 72.15 None loop-lit/gj2007.yml true 53.58 32.65 None loop-lit/gj2007b.yml true 11.11 7.18 None loop-lit/gr2006.yml true 54.38 36.01 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 11.65 6.67 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 9.86 6.80 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 12.12 7.20 None loop-lit/gsv2008.yml true 9.38 6.08 None loop-lit/hh2012-ex1b.yml true 13.72 7.90 None loop-lit/hh2012-ex2b.yml true 9.84 6.81 None loop-lit/hh2012-ex3.yml true 22.45 12.60 None loop-lit/hhk2008.yml true 9.39 6.03 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 12.67 7.48 None loop-lit/jm2006.yml true 9.73 6.09 None loop-lit/jm2006_variant.yml true 11.62 7.63 None loop-lit/mcmillan2006.yml TIMEOUT 301.08 277.58 None loop-lit/mine2017-ex4.10.yml true 12.54 7.14 None loop-lit/mine2017-ex4.6.yml true 11.23 7.26 None loop-lit/mine2017-ex4.7.yml true 11.48 6.51 None loop-lit/mine2017-ex4.8.yml true 9.02 5.83 None loop-new/count_by_1.yml true 11.63 6.94 None loop-new/count_by_1_variant.yml true 11.85 6.65 None loop-new/count_by_2.yml TIMEOUT 300.73 282.05 None loop-new/count_by_k.yml TIMEOUT 300.53 278.41 None loop-new/count_by_nondet.yml TIMEOUT 300.39 252.99 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 12.35 7.10 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 16.35 9.16 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 12.44 7.16 None loop-new/gauss_sum.yml true 12.91 7.31 None loop-new/half.yml true 21.33 11.86 None loop-new/nested-1.yml TIMEOUT 300.20 280.83 None loop-industry-pattern/aiob_1.yml unknown 17.48 9.51 None loop-industry-pattern/aiob_2.yml unknown 17.23 9.53 None loop-industry-pattern/aiob_3.yml unknown 16.63 9.12 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 16.36 9.68 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 16.72 9.49 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 16.65 9.28 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 18.42 10.25 None loop-industry-pattern/aiob_4.yml unknown 16.41 9.68 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 13.24 7.32 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 12.65 7.37 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 13.00 7.49 None loop-industry-pattern/mod3.yml true 12.79 7.15 None loop-industry-pattern/ofuf_1.yml unknown 17.47 9.54 None loop-industry-pattern/ofuf_2.yml unknown 17.97 9.88 None loop-industry-pattern/ofuf_3.yml unknown 17.08 9.72 None loop-industry-pattern/ofuf_4.yml unknown 17.53 9.53 None loop-industry-pattern/ofuf_5.yml unknown 17.93 9.90 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 301.00 287.71 None loops-crafted-1/discover_list.yml unknown 18.15 9.91 None loops-crafted-1/iftelse.yml TIMEOUT 300.99 291.36 None loops-crafted-1/in-de20.yml TIMEOUT 300.96 261.20 None loops-crafted-1/in-de31.yml TIMEOUT 300.19 274.69 None loops-crafted-1/in-de32.yml TIMEOUT 301.06 263.79 None loops-crafted-1/in-de41.yml TIMEOUT 301.11 284.36 None loops-crafted-1/in-de42.yml TIMEOUT 300.26 278.10 None loops-crafted-1/in-de51.yml TIMEOUT 300.59 271.44 None loops-crafted-1/in-de52.yml TIMEOUT 300.34 275.87 None loops-crafted-1/in-de61.yml TIMEOUT 300.53 266.14 None loops-crafted-1/in-de62.yml TIMEOUT 300.34 279.51 None loops-crafted-1/loopv1.yml true 10.35 6.24 None loops-crafted-1/loopv2.yml true 10.34 6.22 None loops-crafted-1/loopv3.yml true 16.91 10.74 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.54 279.98 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 300.97 289.51 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.08 282.89 None loops-crafted-1/mono-crafted_12.yml true 11.60 6.63 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.17 255.44 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.81 253.70 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.62 253.31 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 301.36 259.25 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.67 252.07 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 300.99 288.50 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.27 286.30 None loops-crafted-1/nested3-1.yml TIMEOUT 300.24 274.17 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 301.26 267.18 None loops-crafted-1/nested5-1.yml true 14.73 8.81 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 300.86 248.13 None loops-crafted-1/net_reset.yml unknown 15.58 8.79 None loops-crafted-1/sum_by_3.yml true 28.65 21.22 None loops-crafted-1/sum_by_3_abstracted.yml true 15.87 9.46 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.70 281.03 None loops-crafted-1/sumt2.yml true 9.94 5.90 None loops-crafted-1/sumt3.yml true 10.88 7.08 None loops-crafted-1/sumt4.yml true 10.83 6.21 None loops-crafted-1/sumt5.yml true 10.50 6.66 None loops-crafted-1/sumt6.yml true 11.05 6.78 None loops-crafted-1/sumt7.yml true 15.87 8.99 None loops-crafted-1/sumt8.yml true 11.96 6.84 None loops-crafted-1/sumt9.yml true 12.50 7.71 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.21 252.73 None loops-crafted-1/vnew1.yml TIMEOUT 301.03 283.64 None loops-crafted-1/vnew2.yml TIMEOUT 300.34 290.49 None loops-crafted-1/watermelon.yml TIMEOUT 300.48 246.05 None loop-invariants/bin-suffix-5.yml true 23.16 13.80 None loop-invariants/const.yml true 10.97 6.06 None loop-invariants/eq1.yml true 11.53 6.30 None loop-invariants/eq2.yml true 11.05 6.21 None loop-invariants/even.yml true 11.82 7.01 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 300.37 246.88 None loop-invariants/mod4.yml true 11.99 6.72 None loop-invariants/odd.yml true 11.93 7.00 None loop-simple/nested_1.yml true 11.24 6.58 None loop-simple/nested_2.yml true 17.26 10.22 None loop-simple/nested_3.yml true 35.91 21.23 None loop-simple/nested_4.yml true 177.38 150.77 None loop-simple/nested_5.yml OUT OF MEMORY 198.20 158.98 None loop-simple/nested_6.yml OUT OF MEMORY 113.04 82.07 None loop-zilu/benchmark02_linear.yml true 10.22 5.74 None loop-zilu/benchmark02_linear_abstracted.yml true 8.54 4.92 None loop-zilu/benchmark04_conjunctive.yml true 12.60 7.59 None loop-zilu/benchmark05_conjunctive.yml true 10.29 6.24 None loop-zilu/benchmark09_conjunctive.yml true 10.31 5.92 None loop-zilu/benchmark10_conjunctive.yml true 10.85 6.92 None loop-zilu/benchmark11_linear.yml true 12.18 7.05 None loop-zilu/benchmark11_linear_abstracted.yml true 8.57 5.20 None loop-zilu/benchmark14_linear.yml true 8.82 4.94 None loop-zilu/benchmark17_conjunctive.yml true 8.07 5.04 None loop-zilu/benchmark18_conjunctive.yml true 9.46 6.02 None loop-zilu/benchmark19_conjunctive.yml true 12.52 7.13 None loop-zilu/benchmark20_conjunctive.yml true 9.94 5.77 None loop-zilu/benchmark23_conjunctive.yml true 46.37 35.39 None loop-zilu/benchmark25_linear.yml true 8.84 5.23 None loop-zilu/benchmark25_linear_abstracted.yml true 9.05 5.22 None loop-zilu/benchmark26_linear.yml true 11.84 6.90 None loop-zilu/benchmark26_linear_abstracted.yml true 8.91 5.15 None loop-zilu/benchmark32_linear.yml true 8.84 5.10 None loop-zilu/benchmark33_linear.yml true 10.78 6.26 None loop-zilu/benchmark34_conjunctive.yml true 10.49 6.26 None loop-zilu/benchmark35_linear.yml true 9.11 5.52 None loop-zilu/benchmark37_conjunctive.yml true 11.89 6.65 None loop-zilu/benchmark43_conjunctive.yml true 9.39 5.71 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 10.71 6.37 None loop-zilu/benchmark51_polynomial.yml true 10.84 6.00 None loop-zilu/benchmark52_polynomial.yml true 9.10 5.91 None verifythis/duplets.yml TIMEOUT 301.08 282.81 None verifythis/elimination_max.yml TIMEOUT 301.01 287.35 None verifythis/lcp.yml TIMEOUT 300.74 277.09 None verifythis/prefixsum_iter.yml TIMEOUT 300.97 290.71 None nla-digbench/bresenham-ll.yml true 58.45 42.54 None nla-digbench/cohencu-ll.yml true 34.77 23.50 None nla-digbench/cohendiv-ll.yml true 17.78 10.48 None nla-digbench/dijkstra-u.yml TIMEOUT 301.08 283.21 None nla-digbench/divbin2.yml TIMEOUT 300.08 286.39 None nla-digbench/egcd-ll.yml true 29.56 21.14 None nla-digbench/egcd2-ll.yml TIMEOUT 300.52 268.62 None nla-digbench/egcd3-ll.yml TIMEOUT 300.65 267.18 None nla-digbench/fermat1-ll.yml true 12.48 8.79 None nla-digbench/fermat2-ll.yml true 14.16 8.28 None nla-digbench/geo1-ll.yml TIMEOUT 300.96 292.80 None nla-digbench/geo2-ll.yml TIMEOUT 300.95 292.84 None nla-digbench/geo3-ll.yml TIMEOUT 300.99 290.81 None nla-digbench/hard-ll.yml TIMEOUT 300.44 282.50 None nla-digbench/hard2.yml true 74.76 56.68 None nla-digbench/knuth.yml TIMEOUT 301.07 292.12 None nla-digbench/lcm1.yml TIMEOUT 300.93 295.45 None nla-digbench/lcm2.yml true 18.29 12.03 None nla-digbench/mannadiv.yml true 12.26 7.46 None nla-digbench/prod4br-ll.yml true 15.30 9.11 None nla-digbench/prodbin-ll.yml TIMEOUT 301.06 284.48 None nla-digbench/ps2-ll.yml true 11.84 7.15 None nla-digbench/ps3-ll.yml true 9.26 5.96 None nla-digbench/ps4-ll.yml true 13.17 8.08 None nla-digbench/ps5-ll.yml true 16.32 9.72 None nla-digbench/ps6-ll.yml true 155.10 149.01 None nla-digbench/sqrt1-ll.yml true 12.30 7.56 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 22.62 13.04 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 17.52 10.24 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 22.54 13.26 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 53.26 43.03 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 22.19 13.13 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 21.77 12.44 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 21.87 12.65 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 28.45 17.69 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 266.68 250.64 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 46.89 33.80 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 33.05 20.77 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 31.16 20.44 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 31.09 19.30 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 29.47 21.04 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 16.06 9.11 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 22.92 13.88 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 24.47 14.18 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 16.18 10.06 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 25.03 14.39 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 24.32 13.85 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 24.06 14.14 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 14.38 9.83 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 18.17 10.88 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 14.34 8.97 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 18.48 10.84 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 18.96 11.56 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 14.38 9.70 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 18.45 10.84 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 30.74 24.28 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 30.44 23.82 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.03 286.73 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.06 286.59 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 301.02 289.13 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.02 289.03 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.06 288.96 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 300.17 281.08 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.08 285.68 None nla-digbench-scaling/divbin2_unwindbound1.yml true 12.32 7.29 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.06 289.31 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 300.19 285.26 None nla-digbench-scaling/divbin2_unwindbound2.yml true 14.39 8.32 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 300.94 294.35 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.34 281.12 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 300.32 283.78 None nla-digbench-scaling/divbin2_valuebound1.yml true 33.31 27.14 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 300.99 291.94 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.02 288.68 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.04 289.94 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 300.98 292.13 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.07 282.98 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.04 287.57 None nla-digbench-scaling/divbin_unwindbound1.yml true 9.80 5.79 None nla-digbench-scaling/divbin_unwindbound2.yml true 11.96 7.65 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.01 287.94 None nla-digbench-scaling/divbin_valuebound1.yml true 66.61 58.09 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.01 287.87 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.06 290.75 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 300.17 278.00 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.03 285.83 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 301.02 286.67 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.02 289.12 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 20.30 12.36 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 50.95 39.69 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 69.13 56.65 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 39.06 26.07 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 48.28 40.58 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 42.86 32.07 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 72.52 59.12 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 40.43 25.21 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 301.07 282.20 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 301.03 285.21 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 81.85 59.43 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 301.07 284.43 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 301.08 279.91 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 301.07 285.07 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 33.36 20.03 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.30 279.57 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 301.23 281.23 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 75.79 52.55 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 301.08 266.08 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.56 275.83 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.90 266.27 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 14.13 7.94 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 12.22 8.44 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 15.77 9.56 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 12.18 9.00 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 15.73 9.53 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 12.50 8.39 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 15.73 9.48 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 16.99 11.50 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 13.65 9.99 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 13.57 10.11 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 16.96 10.97 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 16.72 11.04 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 13.62 9.55 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 14.49 10.64 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.03 289.40 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 301.03 293.51 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 301.02 288.90 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 300.98 294.60 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 300.98 293.18 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 301.01 289.68 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 300.91 289.91 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 20.73 13.72 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 300.97 292.08 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 301.05 288.48 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 37.12 27.83 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 301.04 288.27 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 300.96 293.45 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 300.97 292.36 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 13.76 8.33 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 15.71 9.15 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 300.99 289.85 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 15.22 9.01 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 237.69 224.20 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 14.99 9.03 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 301.02 288.71 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 26.97 23.24 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.95 293.55 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.90 295.73 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.92 295.39 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.92 295.51 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.95 292.71 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.94 293.47 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 11.29 6.73 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 11.68 7.16 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 11.81 6.92 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 14.87 11.64 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 86.14 78.22 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 11.99 6.91 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 300.06 289.18 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 86.87 81.70 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 300.96 292.45 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.03 286.49 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 46.13 41.50 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 301.03 289.43 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 301.01 291.23 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 301.03 288.01 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 12.24 6.81 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 10.87 6.94 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 300.99 289.98 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 9.24 5.74 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 194.81 181.77 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.07 6.14 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 300.93 294.78 None nla-digbench-scaling/hard-ll_valuebound1.yml true 23.46 14.91 None nla-digbench-scaling/hard-ll_valuebound10.yml true 115.60 101.74 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.21 278.24 None nla-digbench-scaling/hard-ll_valuebound2.yml true 40.17 25.09 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.30 279.40 None nla-digbench-scaling/hard-ll_valuebound5.yml true 127.08 110.62 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.54 268.32 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.02 287.58 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.06 287.98 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.02 288.96 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.02 287.32 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.02 291.24 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.02 288.61 None nla-digbench-scaling/hard-u_valuebound50.yml true 248.40 234.40 None nla-digbench-scaling/hard2_valuebound1.yml true 20.93 12.72 None nla-digbench-scaling/hard2_valuebound10.yml true 100.74 81.43 None nla-digbench-scaling/hard2_valuebound100.yml true 87.97 74.64 None nla-digbench-scaling/hard2_valuebound2.yml true 59.84 41.83 None nla-digbench-scaling/hard2_valuebound20.yml true 90.74 78.47 None nla-digbench-scaling/hard2_valuebound5.yml true 95.36 81.03 None nla-digbench-scaling/hard2_valuebound50.yml true 99.96 80.74 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.02 295.25 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.07 292.08 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 300.99 295.83 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.02 294.60 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.06 292.62 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.03 294.50 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.08 291.56 None nla-digbench-scaling/knuth_valuebound1.yml true 30.89 20.20 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 300.34 284.37 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 300.15 286.40 None nla-digbench-scaling/knuth_valuebound2.yml true 27.00 19.10 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 300.31 284.60 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.21 285.96 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.03 292.01 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.91 296.58 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.94 295.01 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.93 294.92 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.90 297.17 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.85 299.11 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.91 296.77 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.92 295.77 None nla-digbench-scaling/lcm2_unwindbound1.yml true 16.03 10.97 None nla-digbench-scaling/lcm2_unwindbound10.yml true 23.11 15.57 None nla-digbench-scaling/lcm2_unwindbound100.yml true 18.85 13.78 None nla-digbench-scaling/lcm2_unwindbound2.yml true 19.85 12.25 None nla-digbench-scaling/lcm2_unwindbound20.yml true 20.12 14.48 None nla-digbench-scaling/lcm2_unwindbound5.yml true 22.90 14.84 None nla-digbench-scaling/lcm2_unwindbound50.yml true 17.90 12.21 None nla-digbench-scaling/lcm2_valuebound1.yml true 16.01 9.39 None nla-digbench-scaling/lcm2_valuebound10.yml true 17.50 11.14 None nla-digbench-scaling/lcm2_valuebound100.yml true 16.92 12.10 None nla-digbench-scaling/lcm2_valuebound2.yml true 20.38 13.47 None nla-digbench-scaling/lcm2_valuebound20.yml true 20.28 13.67 None nla-digbench-scaling/lcm2_valuebound5.yml true 19.81 13.22 None nla-digbench-scaling/lcm2_valuebound50.yml true 20.67 13.62 None nla-digbench-scaling/mannadiv_valuebound1.yml true 14.62 8.93 None nla-digbench-scaling/mannadiv_valuebound10.yml true 11.31 7.47 None nla-digbench-scaling/mannadiv_valuebound100.yml true 15.20 9.10 None nla-digbench-scaling/mannadiv_valuebound2.yml true 14.99 9.18 None nla-digbench-scaling/mannadiv_valuebound20.yml true 14.95 9.07 None nla-digbench-scaling/mannadiv_valuebound5.yml true 14.31 8.46 None nla-digbench-scaling/mannadiv_valuebound50.yml true 14.63 8.63 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 12.76 7.71 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 11.75 7.83 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 15.23 8.76 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 15.04 8.96 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 15.35 8.84 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 15.26 9.09 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 15.56 9.30 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 301.04 284.85 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 301.04 285.11 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 15.49 9.18 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 48.38 35.62 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 245.69 225.43 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 27.81 17.00 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 158.72 137.69 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 52.53 37.21 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.65 271.87 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 12.16 7.46 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 13.76 7.98 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 13.01 7.67 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 13.16 7.61 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 13.43 7.78 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 13.07 7.78 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 13.37 8.22 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 9.62 6.18 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 11.61 6.70 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 12.37 7.41 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 9.25 6.14 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 11.63 6.65 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 11.08 6.60 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.58 5.74 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 12.79 7.23 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 13.17 7.77 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 10.83 6.71 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 13.19 7.72 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 13.29 8.02 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 13.77 7.95 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 10.47 6.49 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 11.21 6.66 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 11.84 7.16 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 11.72 6.77 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 9.50 5.69 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 11.91 7.09 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 12.28 7.02 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 11.74 6.76 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 11.25 7.19 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 15.36 8.91 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 16.16 9.47 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 15.59 9.26 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 12.83 8.18 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 259.49 250.40 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 16.00 9.24 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 15.31 9.39 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 164.67 157.51 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 280.36 269.35 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 16.78 9.95 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 16.20 9.66 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.97 293.23 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 134.07 124.53 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 16.23 9.76 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 300.95 293.45 None nla-digbench-scaling/ps6-ll_valuebound100.yml true 140.33 127.21 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 13.35 9.34 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 14.64 9.53 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 127.47 120.71 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 300.97 293.40 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 15.62 9.13 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 16.83 9.93 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 17.83 10.65 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 16.66 10.15 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 17.47 10.55 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 17.59 10.45 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 18.18 10.40 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 15.36 9.18 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 11.54 7.22 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 14.43 8.62 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 12.11 7.52 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 15.36 9.29 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 15.11 8.94 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 11.46 7.15 None recursive/Ackermann01-2.yml true 30.47 17.55 None recursive/Ackermann03.yml true 160.10 124.96 None recursive/Ackermann04.yml true 63.21 42.86 None recursive/Addition01-2.yml true 16.22 9.26 None recursive/Addition03-1.yml TIMEOUT 300.45 243.48 None recursive/EvenOdd01-1.yml TIMEOUT 300.65 238.84 None recursive/Fibonacci01-1.yml true 21.67 12.64 None recursive/Fibonacci02.yml true 79.00 53.20 None recursive/Fibonacci03.yml true 148.41 123.05 None recursive/McCarthy91-2.yml true 13.06 7.65 None recursive/MultCommutative-2.yml TIMEOUT 301.08 231.15 None recursive/Primes.yml true 33.52 19.63 None recursive/gcd01-1.yml true 11.86 7.36 None recursive/gcd02.yml TIMEOUT 300.98 271.28 None recursive/recHanoi01.yml TIMEOUT 301.23 238.37 None recursive/recHanoi02-2.yml true 9.32 6.23 None recursive/recHanoi03-2.yml true 16.16 10.43 None recursive-simple/afterrec-2.yml true 8.73 5.68 None recursive-simple/afterrec_2calls-2.yml true 8.15 5.15 None recursive-simple/fibo_10-2.yml true 179.39 129.73 None recursive-simple/fibo_15-1.yml TIMEOUT 300.74 266.90 None recursive-simple/fibo_20-2.yml TIMEOUT 300.44 258.27 None recursive-simple/fibo_25-2.yml TIMEOUT 301.32 239.58 None recursive-simple/fibo_2calls_10-1.yml true 257.30 192.24 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 300.84 265.84 None recursive-simple/fibo_2calls_2-2.yml true 16.99 9.80 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 301.51 239.64 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 301.47 254.93 None recursive-simple/fibo_2calls_4-1.yml true 33.12 18.69 None recursive-simple/fibo_2calls_5-1.yml true 42.08 26.73 None recursive-simple/fibo_2calls_6-1.yml true 70.39 42.24 None recursive-simple/fibo_2calls_8-1.yml true 91.54 64.31 None recursive-simple/fibo_5-1.yml true 31.41 17.96 None recursive-simple/fibo_7-1.yml true 62.97 35.75 None recursive-simple/id2_b2_o3.yml true 14.32 7.86 None recursive-simple/id2_b3_o5.yml true 14.32 8.05 None recursive-simple/id2_b5_o10.yml true 14.53 8.27 None recursive-simple/id2_i5_o5-2.yml true 26.07 14.64 None recursive-simple/id_b2_o3.yml true 12.46 7.04 None recursive-simple/id_b3_o5-2.yml true 12.79 7.56 None recursive-simple/id_b5_o10-2.yml true 12.84 7.37 None recursive-simple/id_i10_o10-2.yml true 45.26 28.80 None recursive-simple/id_i15_o15-1.yml true 113.05 79.80 None recursive-simple/id_i20_o20-1.yml true 251.14 200.93 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.38 247.29 None recursive-simple/id_i5_o5-2.yml true 23.81 13.58 None recursive-simple/sum_10x0-1.yml true 52.22 32.92 None recursive-simple/sum_15x0-1.yml true 86.40 69.19 None recursive-simple/sum_20x0-2.yml true 265.76 210.17 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.42 244.86 None recursive-simple/sum_2x3-2.yml true 14.25 8.59 None recursive-simple/sum_non_eq-2.yml true 15.15 8.47 None recursive-with-pointer/simple-recursive.yml true 18.17 11.01 None verifythis/prefixsum_rec.yml TIMEOUT 300.70 269.08 None verifythis/elimination_max_rec.yml TIMEOUT 300.12 278.99 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 301.00 287.06 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 301.08 281.20 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 300.99 290.62 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.02 288.01 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 25.60 14.46 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 24.86 14.64 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.06 281.61 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 15.13 9.05 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 19.32 11.07 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 25.17 15.80 None recursified_loop-invariants/recursified_const.yml true 10.31 6.02 None recursified_loop-invariants/recursified_eq1.yml true 52.78 44.42 None recursified_loop-invariants/recursified_eq2.yml true 25.95 20.34 None recursified_loop-invariants/recursified_even.yml true 12.17 7.11 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.75 266.83 None recursified_loop-invariants/recursified_mod4.yml true 11.49 6.60 None recursified_loop-invariants/recursified_odd.yml true 10.93 6.74 None recursified_loop-simple/recursified_nested_1.yml true 35.44 26.26 None recursified_loop-simple/recursified_nested_2.yml true 91.32 66.13 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.61 258.33 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 301.05 259.28 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.85 254.38 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.52 235.90 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 301.15 282.54 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.78 264.89 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 300.40 278.75 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 301.00 251.67 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.80 260.14 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 301.09 287.88 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.93 271.85 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.46 267.45 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 300.39 285.19 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.10 288.09 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.29 282.69 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 301.21 288.66 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 300.24 283.59 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.50 260.51 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.37 279.62 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.09 290.83 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 301.14 287.49 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 300.28 280.65 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 300.58 275.19 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.19 272.29 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.21 279.57 None recursified_nla-digbench/recursified_ps2-ll.yml true 56.73 42.43 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 301.03 287.54 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 301.08 281.72 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 301.05 290.81 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.11 283.44 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.47 267.44 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 79871.02 5259.51 - Statistics: 666 Files correct: 427 correct true: 427 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 239 Score: 854 (max: 1332)