BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Tue, 2024-09-17 18:10:42 CEST tool: ULTIMATE Automizer 0.2.4-de325976 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.49 9.45 None loops/count_up_down-1.yml TIMEOUT 300.36 278.32 None loops/eureka_01-2.yml TIMEOUT 300.21 276.40 None loops/eureka_05.yml TIMEOUT 301.12 268.00 None loops/for_infinite_loop_1.yml true 12.70 7.59 None loops/for_infinite_loop_2.yml true 9.52 5.90 None loops/heavy-2.yml true 16.33 9.85 None loops/insertion_sort-2-2.yml TIMEOUT 301.01 290.03 None loops/invert_string-3.yml true 59.21 45.30 None loops/linear_sea.ch.yml TIMEOUT 300.17 273.94 None loops/lu.cmp.yml true 19.06 10.71 None loops/matrix-1.yml TIMEOUT 300.24 281.90 None loops/n.c11.yml true 10.72 6.51 None loops/n.c40.yml ERROR (7) 21.42 14.14 None loops/nec40.yml ERROR (7) 19.10 12.53 None loops/string-1.yml true 12.40 8.69 None loops/sum01-2.yml true 16.72 9.67 None loops/sum03-2.yml true 12.93 7.30 None loops/sum04-2.yml true 16.35 9.72 None loops/sum_array-2-2.yml OUT OF MEMORY 104.69 80.29 None loops/terminator_02-2.yml true 10.05 6.90 None loops/terminator_02-2_abstracted.yml true 10.21 6.04 None loops/terminator_03-2.yml true 12.36 6.95 None loops/terminator_03-2_abstracted.yml true 13.26 7.38 None loops/trex01-2.yml true 9.52 5.97 None loops/trex02-1.yml true 12.72 7.60 None loops/trex03-2.yml true 10.34 6.99 None loops/trex03-2_abstracted.yml true 11.76 7.20 None loops/trex04.yml true 12.58 7.28 None loops/trex04_abstracted.yml true 10.08 6.25 None loops/veris.c_NetBSD-libc_loop.yml true 18.89 10.66 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 16.42 9.73 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 10.11 6.40 None loops/vogal-1.yml TIMEOUT 300.28 274.91 None loops/while_infinite_loop_1.yml true 9.33 5.88 None loops/while_infinite_loop_2.yml true 11.64 6.87 None loops/while_infinite_loop_3.yml true 10.50 6.52 None loop-acceleration/array_1-2.yml true 20.09 13.34 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.17 285.63 None loop-acceleration/array_2-2.yml TIMEOUT 301.01 291.45 None loop-acceleration/array_3-1.yml true 13.19 7.84 None loop-acceleration/array_4.yml TIMEOUT 300.25 284.17 None loop-acceleration/const_1-1.yml true 10.85 7.19 None loop-acceleration/diamond_1-1.yml true 50.85 36.12 None loop-acceleration/diamond_2-2.yml true 37.17 26.77 None loop-acceleration/functions_1-1.yml true 10.91 7.12 None loop-acceleration/multivar_1-1.yml true 9.80 6.21 None loop-acceleration/nested_1-1.yml true 30.33 19.43 None loop-acceleration/overflow_1-1.yml true 14.55 8.19 None loop-acceleration/phases_1-1.yml TIMEOUT 301.05 284.71 None loop-acceleration/phases_2-2.yml true 29.64 21.65 None loop-acceleration/simple_1-2.yml true 9.82 7.91 None loop-acceleration/simple_1-2_abstracted.yml true 12.68 7.60 None loop-acceleration/simple_2-1.yml true 11.48 7.37 None loop-acceleration/simple_2-1_abstracted.yml true 12.67 7.67 None loop-acceleration/simple_3-2.yml true 12.63 8.24 None loop-acceleration/simple_4-2.yml true 15.95 9.08 None loop-acceleration/simple_4-2_abstracted.yml true 12.57 7.06 None loop-acceleration/underapprox_1-2.yml true 18.08 11.42 None loop-acceleration/underapprox_2-2.yml true 13.88 8.22 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.44 272.91 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.43 273.70 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.08 283.43 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 24.79 13.51 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 24.98 13.51 None loop-crafted/simple_array_index_value_4.yml true 27.68 15.71 None loop-crafted/simple_vardep_1.yml true 13.56 7.49 None loop-crafted/simple_vardep_2.yml true 13.58 7.49 None loop-invgen/MADWiFi-encode_ie_ok.yml true 17.10 9.46 None loop-invgen/NetBSD_loop.yml true 15.39 9.22 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 25.22 13.43 None loop-invgen/SpamAssassin-loop.yml true 17.21 9.41 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 23.92 14.24 None loop-invgen/apache-escape-absolute.yml true 18.02 10.16 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 31.12 17.81 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 71.46 41.79 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 120.70 81.98 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 32.71 17.82 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 31.31 16.85 None loop-invgen/apache-get-tag.yml true 13.71 8.48 None loop-invgen/down.yml TIMEOUT 301.13 258.64 None loop-invgen/fragtest_simple.yml TIMEOUT 300.47 242.99 None loop-invgen/half_2.yml TIMEOUT 300.42 274.87 None loop-invgen/heapsort.yml TIMEOUT 300.30 274.28 None loop-invgen/id_build.i.p+nlh-reducer.yml true 26.11 14.04 None loop-invgen/id_build.i.p+sep-reducer.yml true 25.06 13.21 None loop-invgen/id_build.i.v+lhb-reducer.yml true 14.02 8.71 None loop-invgen/id_build.yml true 11.38 7.33 None loop-invgen/large_const.yml true 19.17 11.59 None loop-invgen/nest-if3.yml true 12.39 8.40 None loop-invgen/nested6.yml true 23.26 13.74 None loop-invgen/nested9.yml true 20.36 11.65 None loop-invgen/sendmail-close-angle.yml true 27.15 14.89 None loop-invgen/seq-3.yml TIMEOUT 300.99 278.32 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.72 262.63 None loop-invgen/up.yml TIMEOUT 300.50 240.24 None loop-lit/afnp2014.yml true 12.80 7.77 None loop-lit/as2013-hybrid.yml true 15.58 8.69 None loop-lit/bh2017-ex-add.yml true 16.41 10.49 None loop-lit/bh2017-ex1-poly.yml true 20.73 11.20 None loop-lit/bh2017-ex3.yml true 19.75 10.91 None loop-lit/bhmr2007.yml true 14.88 8.87 None loop-lit/cggmp2005.yml true 14.86 8.94 None loop-lit/cggmp2005_variant.yml true 13.13 8.31 None loop-lit/cggmp2005b.yml true 14.60 8.76 None loop-lit/css2003.yml true 12.78 7.63 None loop-lit/ddlm2013.yml true 19.13 10.87 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 65.92 45.45 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 112.31 73.68 None loop-lit/gj2007.yml true 53.49 33.19 None loop-lit/gj2007b.yml true 16.80 9.50 None loop-lit/gr2006.yml true 73.20 43.54 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 12.28 7.73 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 14.32 8.41 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 12.30 7.85 None loop-lit/gsv2008.yml true 13.23 7.59 None loop-lit/hh2012-ex1b.yml true 16.54 9.04 None loop-lit/hh2012-ex2b.yml true 12.19 7.75 None loop-lit/hh2012-ex3.yml true 25.11 14.30 None loop-lit/hhk2008.yml true 14.89 8.69 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 11.99 7.78 None loop-lit/jm2006.yml true 15.04 8.39 None loop-lit/jm2006_variant.yml true 17.90 10.11 None loop-lit/mcmillan2006.yml TIMEOUT 300.26 277.41 None loop-lit/mine2017-ex4.10.yml true 14.32 7.89 None loop-lit/mine2017-ex4.6.yml true 15.62 9.09 None loop-lit/mine2017-ex4.7.yml true 11.24 6.58 None loop-lit/mine2017-ex4.8.yml true 13.84 8.05 None loop-new/count_by_1.yml true 13.66 7.77 None loop-new/count_by_1_variant.yml true 14.44 8.10 None loop-new/count_by_2.yml TIMEOUT 301.14 258.46 None loop-new/count_by_k.yml TIMEOUT 300.71 249.60 None loop-new/count_by_nondet.yml TIMEOUT 301.46 253.91 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 15.02 8.60 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 18.10 10.19 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 14.68 8.50 None loop-new/gauss_sum.yml true 14.64 8.41 None loop-new/half.yml true 24.38 13.45 None loop-new/nested-1.yml TIMEOUT 300.30 278.10 None loop-industry-pattern/aiob_1.yml unknown 19.22 10.61 None loop-industry-pattern/aiob_2.yml unknown 20.13 11.56 None loop-industry-pattern/aiob_3.yml unknown 19.27 10.53 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 19.12 11.15 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 19.62 11.07 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 20.46 10.89 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 20.45 11.33 None loop-industry-pattern/aiob_4.yml unknown 19.67 11.06 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 15.92 8.97 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 15.43 8.42 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 15.25 8.50 None loop-industry-pattern/mod3.yml true 14.75 8.32 None loop-industry-pattern/ofuf_1.yml unknown 19.51 11.06 None loop-industry-pattern/ofuf_2.yml unknown 19.90 10.93 None loop-industry-pattern/ofuf_3.yml unknown 20.07 11.68 None loop-industry-pattern/ofuf_4.yml unknown 19.79 11.35 None loop-industry-pattern/ofuf_5.yml unknown 20.29 11.44 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 301.04 286.50 None loops-crafted-1/discover_list.yml unknown 19.62 10.94 None loops-crafted-1/iftelse.yml TIMEOUT 300.98 292.87 None loops-crafted-1/in-de20.yml TIMEOUT 300.86 256.46 None loops-crafted-1/in-de31.yml TIMEOUT 300.21 274.38 None loops-crafted-1/in-de32.yml TIMEOUT 301.14 282.77 None loops-crafted-1/in-de41.yml TIMEOUT 301.01 261.95 None loops-crafted-1/in-de42.yml TIMEOUT 300.59 266.11 None loops-crafted-1/in-de51.yml TIMEOUT 300.62 264.66 None loops-crafted-1/in-de52.yml TIMEOUT 300.38 275.57 None loops-crafted-1/in-de61.yml TIMEOUT 300.47 263.11 None loops-crafted-1/in-de62.yml TIMEOUT 301.04 262.40 None loops-crafted-1/loopv1.yml true 12.40 7.44 None loops-crafted-1/loopv2.yml true 12.10 8.14 None loops-crafted-1/loopv3.yml true 19.62 11.86 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.71 278.84 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 301.01 288.28 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.62 284.23 None loops-crafted-1/mono-crafted_12.yml true 13.78 7.83 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 300.48 251.42 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 301.46 260.63 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.71 251.21 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 300.36 257.30 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.83 264.19 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 300.08 278.56 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 300.47 281.97 None loops-crafted-1/nested3-1.yml TIMEOUT 300.33 270.23 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 300.96 266.97 None loops-crafted-1/nested5-1.yml true 16.34 9.71 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 301.25 244.02 None loops-crafted-1/net_reset.yml unknown 23.15 12.71 None loops-crafted-1/sum_by_3.yml true 39.31 25.86 None loops-crafted-1/sum_by_3_abstracted.yml true 18.58 11.88 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.95 245.96 None loops-crafted-1/sumt2.yml true 12.93 8.60 None loops-crafted-1/sumt3.yml true 13.37 7.91 None loops-crafted-1/sumt4.yml true 14.51 8.88 None loops-crafted-1/sumt5.yml true 14.00 8.16 None loops-crafted-1/sumt6.yml true 14.21 8.54 None loops-crafted-1/sumt7.yml true 14.98 8.86 None loops-crafted-1/sumt8.yml true 17.65 9.70 None loops-crafted-1/sumt9.yml true 15.36 8.68 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.56 283.47 None loops-crafted-1/vnew1.yml TIMEOUT 300.18 273.82 None loops-crafted-1/vnew2.yml TIMEOUT 301.05 290.11 None loops-crafted-1/watermelon.yml TIMEOUT 300.50 244.84 None loop-invariants/bin-suffix-5.yml true 24.61 14.63 None loop-invariants/const.yml true 10.02 5.75 None loop-invariants/eq1.yml true 10.13 5.80 None loop-invariants/eq2.yml true 13.19 7.32 None loop-invariants/even.yml true 13.36 7.66 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 301.47 262.76 None loop-invariants/mod4.yml true 13.13 7.55 None loop-invariants/odd.yml true 12.86 7.31 None loop-simple/nested_1.yml true 9.70 5.89 None loop-simple/nested_2.yml true 17.91 10.82 None loop-simple/nested_3.yml true 27.68 17.38 None loop-simple/nested_4.yml true 178.34 151.58 None loop-simple/nested_5.yml OUT OF MEMORY 196.52 161.22 None loop-simple/nested_6.yml OUT OF MEMORY 121.37 81.53 None loop-zilu/benchmark02_linear.yml true 12.11 6.91 None loop-zilu/benchmark02_linear_abstracted.yml true 9.03 5.65 None loop-zilu/benchmark04_conjunctive.yml true 10.45 6.80 None loop-zilu/benchmark05_conjunctive.yml true 14.81 8.81 None loop-zilu/benchmark09_conjunctive.yml true 10.23 6.87 None loop-zilu/benchmark10_conjunctive.yml true 11.23 6.87 None loop-zilu/benchmark11_linear.yml true 13.60 8.03 None loop-zilu/benchmark11_linear_abstracted.yml true 9.78 6.84 None loop-zilu/benchmark14_linear.yml true 9.11 5.83 None loop-zilu/benchmark17_conjunctive.yml true 10.30 6.71 None loop-zilu/benchmark18_conjunctive.yml true 10.45 6.72 None loop-zilu/benchmark19_conjunctive.yml true 13.71 7.75 None loop-zilu/benchmark20_conjunctive.yml true 9.83 5.99 None loop-zilu/benchmark23_conjunctive.yml true 49.35 35.44 None loop-zilu/benchmark25_linear.yml true 10.29 6.38 None loop-zilu/benchmark25_linear_abstracted.yml true 12.42 7.37 None loop-zilu/benchmark26_linear.yml true 9.51 6.18 None loop-zilu/benchmark26_linear_abstracted.yml true 9.36 6.13 None loop-zilu/benchmark32_linear.yml true 9.06 5.39 None loop-zilu/benchmark33_linear.yml true 12.36 6.80 None loop-zilu/benchmark34_conjunctive.yml true 11.45 7.22 None loop-zilu/benchmark35_linear.yml true 9.31 5.39 None loop-zilu/benchmark37_conjunctive.yml true 13.03 7.72 None loop-zilu/benchmark43_conjunctive.yml true 10.10 6.10 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 10.87 6.55 None loop-zilu/benchmark51_polynomial.yml true 12.28 6.80 None loop-zilu/benchmark52_polynomial.yml true 9.84 6.96 None verifythis/duplets.yml TIMEOUT 300.51 276.70 None verifythis/elimination_max.yml TIMEOUT 300.09 279.13 None verifythis/lcp.yml TIMEOUT 300.25 274.80 None verifythis/prefixsum_iter.yml TIMEOUT 301.03 288.39 None nla-digbench/bresenham-ll.yml true 45.96 35.48 None nla-digbench/cohencu-ll.yml true 38.02 25.41 None nla-digbench/cohendiv-ll.yml true 14.66 10.27 None nla-digbench/dijkstra-u.yml TIMEOUT 301.11 284.66 None nla-digbench/divbin2.yml TIMEOUT 301.05 286.83 None nla-digbench/egcd-ll.yml true 31.90 25.94 None nla-digbench/egcd2-ll.yml TIMEOUT 300.57 267.68 None nla-digbench/egcd3-ll.yml TIMEOUT 300.42 283.49 None nla-digbench/fermat1-ll.yml true 17.88 10.83 None nla-digbench/fermat2-ll.yml true 15.66 9.24 None nla-digbench/geo1-ll.yml TIMEOUT 301.05 287.06 None nla-digbench/geo2-ll.yml TIMEOUT 300.96 295.87 None nla-digbench/geo3-ll.yml TIMEOUT 301.04 288.15 None nla-digbench/hard-ll.yml TIMEOUT 300.97 271.20 None nla-digbench/hard2.yml true 73.92 57.00 None nla-digbench/knuth.yml TIMEOUT 301.03 292.19 None nla-digbench/lcm1.yml TIMEOUT 300.92 295.91 None nla-digbench/lcm2.yml true 16.30 11.35 None nla-digbench/mannadiv.yml true 18.21 11.00 None nla-digbench/prod4br-ll.yml true 21.35 12.54 None nla-digbench/prodbin-ll.yml TIMEOUT 301.06 284.75 None nla-digbench/ps2-ll.yml true 14.19 8.27 None nla-digbench/ps3-ll.yml true 12.55 9.13 None nla-digbench/ps4-ll.yml true 18.15 10.60 None nla-digbench/ps5-ll.yml true 18.58 11.25 None nla-digbench/ps6-ll.yml true 156.49 148.81 None nla-digbench/sqrt1-ll.yml true 16.31 9.66 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 24.60 14.59 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 23.39 13.30 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 25.71 14.74 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 61.02 43.31 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 25.73 14.70 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 24.16 13.84 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 25.84 15.08 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 31.19 19.10 None nla-digbench-scaling/cohencu-ll_valuebound10.yml TIMEOUT 301.01 285.81 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 48.28 34.49 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 36.28 22.60 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 25.92 18.33 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 32.72 20.53 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 38.88 25.06 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 18.42 10.53 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 18.73 11.91 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 27.02 15.11 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 22.59 13.05 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 26.85 15.76 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 18.55 12.87 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 26.64 14.94 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 20.73 12.02 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 19.96 11.76 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 21.44 12.41 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 20.05 11.86 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 20.08 12.11 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 21.10 12.64 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 15.14 10.18 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 28.29 21.62 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 43.09 33.54 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.06 284.35 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.08 283.21 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 300.64 278.60 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.00 289.64 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.01 289.81 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 301.08 284.61 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.09 284.48 None nla-digbench-scaling/divbin2_unwindbound1.yml true 14.05 8.27 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 300.12 284.94 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 300.19 283.65 None nla-digbench-scaling/divbin2_unwindbound2.yml true 11.42 7.78 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 300.96 293.53 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.21 287.82 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 301.06 289.22 None nla-digbench-scaling/divbin2_valuebound1.yml true 27.91 21.46 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.00 290.19 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.03 286.54 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.05 288.14 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.01 290.53 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.04 286.53 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.04 291.72 None nla-digbench-scaling/divbin_unwindbound1.yml true 14.34 8.45 None nla-digbench-scaling/divbin_unwindbound2.yml true 17.59 10.38 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.03 285.87 None nla-digbench-scaling/divbin_valuebound1.yml true 50.59 35.67 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.08 281.16 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.09 285.28 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 300.33 275.04 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.07 282.73 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 301.06 284.42 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.01 288.98 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 15.21 10.14 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 36.98 29.58 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 61.37 52.67 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 34.00 25.75 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 47.72 40.43 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 36.89 29.51 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 69.42 57.43 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 30.60 21.07 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 301.06 284.55 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 301.02 289.69 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 80.19 59.70 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 300.10 282.50 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.12 276.88 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 300.19 281.33 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 26.11 17.69 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.27 281.60 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.46 271.87 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 75.91 52.49 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 301.46 265.96 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.40 280.83 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.84 263.80 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 15.94 9.39 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 13.68 8.96 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 13.95 9.20 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 16.64 10.11 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 13.50 8.86 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 13.41 9.00 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 16.50 10.07 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 18.10 11.84 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 14.72 10.40 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 15.36 10.74 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 18.56 12.03 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 18.05 11.77 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 14.83 10.88 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 15.15 10.43 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.05 288.78 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 300.99 293.15 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 301.06 288.83 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 301.05 292.68 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 301.01 292.23 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 301.01 292.37 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.04 288.15 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 22.45 14.45 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 301.05 288.85 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 300.17 283.82 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 35.88 29.28 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 300.20 286.57 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 301.08 285.36 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 300.97 292.99 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 15.42 9.02 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 16.69 9.88 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 300.96 292.83 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 16.11 9.51 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 220.43 205.63 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 17.07 9.97 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 301.02 289.19 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 28.40 23.91 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.98 291.28 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.94 294.92 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.95 293.80 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.94 294.24 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.94 294.52 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.97 291.98 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 13.14 7.86 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 13.13 8.07 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 13.33 8.17 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 19.16 13.24 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 89.72 80.94 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 13.29 8.20 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 301.01 288.85 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 92.31 83.25 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 301.06 286.51 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.05 287.02 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 52.53 46.79 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 300.97 291.93 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 300.98 292.25 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 301.05 287.07 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 13.42 7.64 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 15.90 9.11 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 301.02 287.58 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 13.05 7.49 None nla-digbench-scaling/geo3-ll_valuebound20.yml TIMEOUT 300.16 286.27 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 12.82 7.77 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 300.97 293.23 None nla-digbench-scaling/hard-ll_valuebound1.yml true 31.27 17.95 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.16 281.67 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.32 269.37 None nla-digbench-scaling/hard-ll_valuebound2.yml true 40.97 25.91 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.16 281.36 None nla-digbench-scaling/hard-ll_valuebound5.yml true 144.84 117.91 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.24 277.63 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.05 286.64 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.03 287.27 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.07 286.46 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 300.99 291.94 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.00 292.29 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.03 288.06 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.04 286.71 None nla-digbench-scaling/hard2_valuebound1.yml true 27.79 15.83 None nla-digbench-scaling/hard2_valuebound10.yml true 104.58 81.66 None nla-digbench-scaling/hard2_valuebound100.yml true 102.54 80.74 None nla-digbench-scaling/hard2_valuebound2.yml true 51.38 37.51 None nla-digbench-scaling/hard2_valuebound20.yml true 99.25 80.23 None nla-digbench-scaling/hard2_valuebound5.yml true 92.90 77.55 None nla-digbench-scaling/hard2_valuebound50.yml true 89.84 74.69 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.07 291.61 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.07 291.86 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.06 292.02 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.00 294.93 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.01 294.21 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.02 294.34 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.02 294.54 None nla-digbench-scaling/knuth_valuebound1.yml true 33.28 21.81 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 300.29 283.64 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 301.10 288.03 None nla-digbench-scaling/knuth_valuebound2.yml true 32.71 22.03 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 301.09 292.45 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.23 285.35 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 300.20 285.75 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.91 296.82 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.95 295.24 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.94 294.58 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.94 294.48 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.95 294.52 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.92 296.33 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.92 296.38 None nla-digbench-scaling/lcm2_unwindbound1.yml true 16.57 11.25 None nla-digbench-scaling/lcm2_unwindbound10.yml true 19.96 13.98 None nla-digbench-scaling/lcm2_unwindbound100.yml true 19.58 13.64 None nla-digbench-scaling/lcm2_unwindbound2.yml true 16.38 10.86 None nla-digbench-scaling/lcm2_unwindbound20.yml true 21.09 15.19 None nla-digbench-scaling/lcm2_unwindbound5.yml true 20.03 13.77 None nla-digbench-scaling/lcm2_unwindbound50.yml true 23.44 14.87 None nla-digbench-scaling/lcm2_valuebound1.yml true 16.58 9.37 None nla-digbench-scaling/lcm2_valuebound10.yml true 14.62 10.22 None nla-digbench-scaling/lcm2_valuebound100.yml true 17.64 12.39 None nla-digbench-scaling/lcm2_valuebound2.yml true 20.89 13.95 None nla-digbench-scaling/lcm2_valuebound20.yml true 22.05 14.49 None nla-digbench-scaling/lcm2_valuebound5.yml true 16.65 12.25 None nla-digbench-scaling/lcm2_valuebound50.yml true 17.80 12.72 None nla-digbench-scaling/mannadiv_valuebound1.yml true 15.85 9.41 None nla-digbench-scaling/mannadiv_valuebound10.yml true 15.77 9.63 None nla-digbench-scaling/mannadiv_valuebound100.yml true 12.51 7.75 None nla-digbench-scaling/mannadiv_valuebound2.yml true 12.44 7.81 None nla-digbench-scaling/mannadiv_valuebound20.yml true 16.00 9.56 None nla-digbench-scaling/mannadiv_valuebound5.yml true 12.77 7.89 None nla-digbench-scaling/mannadiv_valuebound50.yml true 16.26 9.55 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 18.46 10.68 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 12.62 8.24 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 12.98 8.62 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 12.72 8.09 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 16.03 9.38 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 15.87 9.61 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 13.15 8.17 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 300.14 275.59 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 301.06 285.10 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 12.15 7.84 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 58.58 39.91 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 240.17 219.08 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 22.38 14.68 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 155.64 141.45 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 52.23 37.04 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.30 280.59 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 10.25 6.59 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 14.73 8.71 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 11.84 7.47 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 14.02 8.65 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 11.34 7.72 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 14.35 8.91 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 14.51 8.54 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 10.29 7.13 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 12.91 7.93 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 13.34 7.70 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 12.73 7.82 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 10.00 6.51 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 13.12 8.04 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 13.10 7.91 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 11.00 7.25 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 14.65 8.99 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 14.65 8.68 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 14.85 8.77 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 11.56 7.52 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 14.71 9.03 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 14.72 8.66 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 12.99 7.58 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 10.06 6.60 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 12.92 7.49 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 13.12 7.64 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 9.86 6.47 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 13.29 7.67 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 12.95 7.50 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 11.75 7.69 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 17.47 10.56 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 16.96 10.30 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 17.03 9.87 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 12.78 8.92 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 280.41 270.35 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 16.53 10.07 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 16.45 10.26 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 151.26 144.29 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 137.49 126.74 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 17.45 10.24 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 17.41 10.54 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.99 292.66 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 136.87 125.63 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 17.78 10.38 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 206.85 199.23 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 301.03 289.20 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 19.34 11.34 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 14.40 9.60 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 90.92 83.02 None nla-digbench-scaling/ps6-ll_valuebound50.yml true 98.29 85.70 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 13.95 8.52 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 14.44 9.44 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 14.98 9.62 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 14.99 9.28 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 18.39 11.16 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 15.15 9.37 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 14.63 9.13 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 15.99 9.47 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 13.22 8.22 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 16.31 9.54 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 16.73 9.73 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 13.30 8.46 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 13.06 8.55 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 16.87 10.30 None recursive/Ackermann01-2.yml true 35.03 19.50 None recursive/Ackermann03.yml true 167.60 130.77 None recursive/Ackermann04.yml true 65.81 48.12 None recursive/Addition01-2.yml true 14.46 9.01 None recursive/Addition03-1.yml TIMEOUT 300.39 275.71 None recursive/EvenOdd01-1.yml TIMEOUT 300.80 236.22 None recursive/Fibonacci01-1.yml true 17.74 11.17 None recursive/Fibonacci02.yml true 104.95 65.18 None recursive/Fibonacci03.yml true 179.20 135.48 None recursive/McCarthy91-2.yml true 15.43 8.58 None recursive/MultCommutative-2.yml TIMEOUT 301.29 250.25 None recursive/Primes.yml true 34.73 19.80 None recursive/gcd01-1.yml true 12.65 7.48 None recursive/gcd02.yml TIMEOUT 300.67 274.63 None recursive/recHanoi01.yml TIMEOUT 301.14 256.05 None recursive/recHanoi02-2.yml true 12.80 7.29 None recursive/recHanoi03-2.yml true 16.79 10.44 None recursive-simple/afterrec-2.yml true 12.34 7.43 None recursive-simple/afterrec_2calls-2.yml true 9.23 6.02 None recursive-simple/fibo_10-2.yml true 171.77 123.11 None recursive-simple/fibo_15-1.yml TIMEOUT 300.62 268.52 None recursive-simple/fibo_20-2.yml TIMEOUT 301.41 239.08 None recursive-simple/fibo_25-2.yml TIMEOUT 300.85 269.26 None recursive-simple/fibo_2calls_10-1.yml true 247.51 183.45 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 301.16 239.58 None recursive-simple/fibo_2calls_2-2.yml true 19.11 10.99 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 300.94 233.60 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 300.56 237.89 None recursive-simple/fibo_2calls_4-1.yml true 33.33 19.80 None recursive-simple/fibo_2calls_5-1.yml true 52.80 30.99 None recursive-simple/fibo_2calls_6-1.yml true 68.78 41.46 None recursive-simple/fibo_2calls_8-1.yml true 108.35 69.64 None recursive-simple/fibo_5-1.yml true 33.58 18.89 None recursive-simple/fibo_7-1.yml true 59.26 34.39 None recursive-simple/id2_b2_o3.yml true 16.21 8.94 None recursive-simple/id2_b3_o5.yml true 15.98 8.83 None recursive-simple/id2_b5_o10.yml true 12.45 7.63 None recursive-simple/id2_i5_o5-2.yml true 19.46 12.56 None recursive-simple/id_b2_o3.yml true 13.86 7.89 None recursive-simple/id_b3_o5-2.yml true 14.48 8.50 None recursive-simple/id_b5_o10-2.yml true 10.81 6.81 None recursive-simple/id_i10_o10-2.yml true 47.39 29.74 None recursive-simple/id_i15_o15-1.yml true 113.54 79.65 None recursive-simple/id_i20_o20-1.yml true 194.59 162.09 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.40 245.50 None recursive-simple/id_i5_o5-2.yml true 17.33 11.02 None recursive-simple/sum_10x0-1.yml true 37.76 25.27 None recursive-simple/sum_15x0-1.yml true 87.44 68.78 None recursive-simple/sum_20x0-2.yml true 272.34 214.26 None recursive-simple/sum_25x0-1.yml TIMEOUT 301.23 260.95 None recursive-simple/sum_2x3-2.yml true 18.31 10.78 None recursive-simple/sum_non_eq-2.yml true 20.56 11.16 None recursive-with-pointer/simple-recursive.yml true 18.38 11.24 None verifythis/prefixsum_rec.yml TIMEOUT 301.07 259.70 None verifythis/elimination_max_rec.yml TIMEOUT 300.81 277.78 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 301.03 284.27 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 300.09 283.82 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 300.98 291.59 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.02 287.57 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 34.17 18.42 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 25.17 14.29 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.09 283.15 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 20.91 11.54 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 26.93 14.64 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 35.03 19.87 None recursified_loop-invariants/recursified_const.yml true 14.44 7.96 None recursified_loop-invariants/recursified_eq1.yml true 59.00 47.11 None recursified_loop-invariants/recursified_eq2.yml true 36.51 27.23 None recursified_loop-invariants/recursified_even.yml true 17.21 9.86 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.65 240.70 None recursified_loop-invariants/recursified_mod4.yml true 17.09 9.41 None recursified_loop-invariants/recursified_odd.yml true 13.90 7.97 None recursified_loop-simple/recursified_nested_1.yml true 46.82 31.55 None recursified_loop-simple/recursified_nested_2.yml true 84.95 56.62 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.64 258.00 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 300.88 236.65 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 301.01 271.38 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.42 240.63 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 300.66 265.68 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.20 278.00 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 300.48 265.99 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 300.67 256.16 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.33 273.41 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.22 285.17 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 301.12 282.15 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.51 269.72 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 301.05 289.18 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 301.02 287.40 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.32 281.16 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 300.78 283.79 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 301.15 285.39 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 301.05 274.52 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.59 263.19 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.06 293.74 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 301.16 287.03 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 300.42 279.77 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 301.20 280.58 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.86 263.20 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.32 273.22 None recursified_nla-digbench/recursified_ps2-ll.yml true 50.54 39.93 None recursified_nla-digbench/recursified_ps3-ll.yml true 214.27 194.57 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 301.04 288.73 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 300.98 290.90 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 300.08 286.55 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.56 267.22 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 80272.12 5242.50 - 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)