BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Sat, 2024-09-21 11:18:30 CEST tool: ULTIMATE Automizer 0.2.4-27b49876 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.02 9.77 None loops/count_up_down-1.yml TIMEOUT 300.28 278.38 None loops/eureka_01-2.yml TIMEOUT 301.12 282.12 None loops/eureka_05.yml TIMEOUT 300.26 271.41 None loops/for_infinite_loop_1.yml true 12.80 7.58 None loops/for_infinite_loop_2.yml true 9.14 5.99 None loops/heavy-2.yml true 15.95 9.22 None loops/insertion_sort-2-2.yml TIMEOUT 301.04 287.68 None loops/invert_string-3.yml true 100.12 83.16 None loops/linear_sea.ch.yml TIMEOUT 300.14 274.93 None loops/lu.cmp.yml true 18.66 10.88 None loops/matrix-1.yml TIMEOUT 300.28 280.49 None loops/n.c11.yml true 10.12 6.54 None loops/n.c40.yml ERROR (7) 19.64 12.86 None loops/nec40.yml ERROR (7) 18.92 11.30 None loops/string-1.yml true 12.08 7.63 None loops/sum01-2.yml true 16.50 9.35 None loops/sum03-2.yml true 13.22 7.25 None loops/sum04-2.yml true 15.26 9.45 None loops/sum_array-2-2.yml TIMEOUT 300.56 277.11 None loops/terminator_02-2.yml true 10.18 6.80 None loops/terminator_02-2_abstracted.yml true 10.07 5.89 None loops/terminator_03-2.yml true 11.92 6.97 None loops/terminator_03-2_abstracted.yml true 13.40 7.67 None loops/trex01-2.yml true 8.99 5.35 None loops/trex02-1.yml true 12.81 7.09 None loops/trex03-2.yml true 10.19 6.08 None loops/trex03-2_abstracted.yml true 11.75 6.65 None loops/trex04.yml true 8.98 5.82 None loops/trex04_abstracted.yml true 12.58 7.07 None loops/veris.c_NetBSD-libc_loop.yml true 18.08 10.54 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 11.78 7.86 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 11.90 6.99 None loops/vogal-1.yml TIMEOUT 300.29 271.89 None loops/while_infinite_loop_1.yml true 9.19 5.78 None loops/while_infinite_loop_2.yml true 12.42 7.35 None loops/while_infinite_loop_3.yml true 12.14 6.81 None loop-acceleration/array_1-2.yml true 15.19 11.32 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.15 290.70 None loop-acceleration/array_2-2.yml TIMEOUT 301.04 287.99 None loop-acceleration/array_3-1.yml true 13.09 7.49 None loop-acceleration/array_4.yml TIMEOUT 301.12 281.22 None loop-acceleration/const_1-1.yml true 10.67 6.56 None loop-acceleration/diamond_1-1.yml true 51.08 35.64 None loop-acceleration/diamond_2-2.yml true 30.82 24.27 None loop-acceleration/functions_1-1.yml true 11.26 7.60 None loop-acceleration/multivar_1-1.yml true 12.54 7.36 None loop-acceleration/nested_1-1.yml true 30.51 18.90 None loop-acceleration/overflow_1-1.yml true 10.22 6.38 None loop-acceleration/phases_1-1.yml TIMEOUT 301.04 284.81 None loop-acceleration/phases_2-2.yml true 23.97 19.33 None loop-acceleration/simple_1-2.yml true 10.17 6.76 None loop-acceleration/simple_1-2_abstracted.yml true 9.40 6.14 None loop-acceleration/simple_2-1.yml true 9.22 6.11 None loop-acceleration/simple_2-1_abstracted.yml true 9.53 6.01 None loop-acceleration/simple_3-2.yml true 10.68 6.65 None loop-acceleration/simple_4-2.yml true 10.42 6.58 None loop-acceleration/simple_4-2_abstracted.yml true 9.26 6.10 None loop-acceleration/underapprox_1-2.yml true 15.67 9.62 None loop-acceleration/underapprox_2-2.yml true 10.44 6.50 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.25 283.80 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.23 278.45 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.06 283.19 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 21.94 12.06 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 23.64 13.20 None loop-crafted/simple_array_index_value_4.yml true 29.07 16.24 None loop-crafted/simple_vardep_1.yml true 11.18 6.48 None loop-crafted/simple_vardep_2.yml true 13.44 7.86 None loop-invgen/MADWiFi-encode_ie_ok.yml true 11.15 7.12 None loop-invgen/NetBSD_loop.yml true 15.57 8.85 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 19.41 11.02 None loop-invgen/SpamAssassin-loop.yml true 18.60 10.12 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 22.40 14.75 None loop-invgen/apache-escape-absolute.yml true 16.59 9.03 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 31.59 17.32 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 68.74 40.95 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 91.38 65.11 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 24.48 13.95 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 30.90 16.87 None loop-invgen/apache-get-tag.yml true 15.76 8.82 None loop-invgen/down.yml TIMEOUT 301.14 284.71 None loop-invgen/fragtest_simple.yml TIMEOUT 300.64 239.53 None loop-invgen/half_2.yml TIMEOUT 301.08 259.45 None loop-invgen/heapsort.yml TIMEOUT 300.21 276.66 None loop-invgen/id_build.i.p+nlh-reducer.yml true 23.30 12.45 None loop-invgen/id_build.i.p+sep-reducer.yml true 23.81 12.71 None loop-invgen/id_build.i.v+lhb-reducer.yml true 14.54 8.64 None loop-invgen/id_build.yml true 9.67 5.92 None loop-invgen/large_const.yml true 17.55 10.46 None loop-invgen/nest-if3.yml true 9.73 6.06 None loop-invgen/nested6.yml true 27.11 15.01 None loop-invgen/nested9.yml true 19.57 11.27 None loop-invgen/sendmail-close-angle.yml true 24.77 13.64 None loop-invgen/seq-3.yml TIMEOUT 300.25 278.49 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.54 267.44 None loop-invgen/up.yml TIMEOUT 300.51 244.56 None loop-lit/afnp2014.yml true 14.97 8.52 None loop-lit/as2013-hybrid.yml true 13.84 7.93 None loop-lit/bh2017-ex-add.yml true 19.07 10.98 None loop-lit/bh2017-ex1-poly.yml true 18.74 10.23 None loop-lit/bh2017-ex3.yml true 14.27 8.60 None loop-lit/bhmr2007.yml true 17.04 9.65 None loop-lit/cggmp2005.yml true 13.64 8.25 None loop-lit/cggmp2005_variant.yml true 11.23 7.47 None loop-lit/cggmp2005b.yml true 13.34 7.79 None loop-lit/css2003.yml true 12.71 7.50 None loop-lit/ddlm2013.yml true 17.24 9.84 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 55.23 39.08 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 105.30 70.17 None loop-lit/gj2007.yml true 54.88 33.41 None loop-lit/gj2007b.yml true 14.57 8.38 None loop-lit/gr2006.yml true 66.78 40.91 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 10.07 6.74 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 13.52 7.68 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 10.29 6.56 None loop-lit/gsv2008.yml true 10.35 6.95 None loop-lit/hh2012-ex1b.yml true 11.22 6.95 None loop-lit/hh2012-ex2b.yml true 14.14 8.03 None loop-lit/hh2012-ex3.yml true 17.66 10.79 None loop-lit/hhk2008.yml true 10.60 6.71 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 11.39 6.95 None loop-lit/jm2006.yml true 14.60 8.59 None loop-lit/jm2006_variant.yml true 13.17 8.26 None loop-lit/mcmillan2006.yml TIMEOUT 300.34 282.26 None loop-lit/mine2017-ex4.10.yml true 10.35 6.38 None loop-lit/mine2017-ex4.6.yml true 14.14 8.43 None loop-lit/mine2017-ex4.7.yml true 9.78 5.94 None loop-lit/mine2017-ex4.8.yml true 12.93 7.23 None loop-new/count_by_1.yml true 9.66 6.27 None loop-new/count_by_1_variant.yml true 13.21 7.77 None loop-new/count_by_2.yml TIMEOUT 300.96 280.36 None loop-new/count_by_k.yml TIMEOUT 301.01 265.20 None loop-new/count_by_nondet.yml TIMEOUT 300.50 250.94 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 13.77 8.01 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 16.94 9.75 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 13.78 8.00 None loop-new/gauss_sum.yml true 13.48 7.82 None loop-new/half.yml true 22.33 12.54 None loop-new/nested-1.yml TIMEOUT 300.17 281.48 None loop-industry-pattern/aiob_1.yml unknown 18.66 10.14 None loop-industry-pattern/aiob_2.yml unknown 18.47 10.53 None loop-industry-pattern/aiob_3.yml unknown 18.36 10.43 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 18.83 10.80 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 18.56 10.03 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 18.61 10.42 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 19.50 10.63 None loop-industry-pattern/aiob_4.yml unknown 18.40 10.45 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 15.16 8.74 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 14.38 8.35 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 14.97 8.64 None loop-industry-pattern/mod3.yml true 14.87 8.20 None loop-industry-pattern/ofuf_1.yml unknown 19.20 10.71 None loop-industry-pattern/ofuf_2.yml unknown 19.09 11.08 None loop-industry-pattern/ofuf_3.yml unknown 20.01 11.17 None loop-industry-pattern/ofuf_4.yml unknown 16.01 9.63 None loop-industry-pattern/ofuf_5.yml unknown 19.26 10.84 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 300.99 290.23 None loops-crafted-1/discover_list.yml unknown 18.82 10.55 None loops-crafted-1/iftelse.yml TIMEOUT 301.00 289.89 None loops-crafted-1/in-de20.yml TIMEOUT 301.02 260.72 None loops-crafted-1/in-de31.yml TIMEOUT 300.24 271.66 None loops-crafted-1/in-de32.yml TIMEOUT 301.01 260.66 None loops-crafted-1/in-de41.yml TIMEOUT 301.11 285.46 None loops-crafted-1/in-de42.yml TIMEOUT 300.61 268.20 None loops-crafted-1/in-de51.yml TIMEOUT 300.49 270.10 None loops-crafted-1/in-de52.yml TIMEOUT 300.37 272.56 None loops-crafted-1/in-de61.yml TIMEOUT 300.59 265.01 None loops-crafted-1/in-de62.yml TIMEOUT 300.65 278.58 None loops-crafted-1/loopv1.yml true 10.44 6.88 None loops-crafted-1/loopv2.yml true 10.64 6.59 None loops-crafted-1/loopv3.yml true 16.95 10.54 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.43 278.18 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 300.98 289.55 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 301.24 283.42 None loops-crafted-1/mono-crafted_12.yml true 13.22 7.61 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.23 252.39 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.76 252.22 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.70 252.49 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 300.70 256.95 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.69 266.53 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 301.06 280.75 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.05 250.24 None loops-crafted-1/nested3-1.yml TIMEOUT 301.08 285.72 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 301.42 266.88 None loops-crafted-1/nested5-1.yml true 16.55 9.48 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 301.12 245.76 None loops-crafted-1/net_reset.yml unknown 16.84 9.70 None loops-crafted-1/sum_by_3.yml true 30.77 21.78 None loops-crafted-1/sum_by_3_abstracted.yml true 17.73 10.37 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.53 280.34 None loops-crafted-1/sumt2.yml true 11.28 6.70 None loops-crafted-1/sumt3.yml true 11.79 7.64 None loops-crafted-1/sumt4.yml true 11.61 6.85 None loops-crafted-1/sumt5.yml true 16.37 9.52 None loops-crafted-1/sumt6.yml true 12.73 8.22 None loops-crafted-1/sumt7.yml true 13.19 7.55 None loops-crafted-1/sumt8.yml true 12.84 7.75 None loops-crafted-1/sumt9.yml true 18.19 10.03 None loops-crafted-1/theatreSquare.yml TIMEOUT 300.95 272.04 None loops-crafted-1/vnew1.yml TIMEOUT 301.05 282.97 None loops-crafted-1/vnew2.yml TIMEOUT 301.08 285.31 None loops-crafted-1/watermelon.yml TIMEOUT 300.56 241.99 None loop-invariants/bin-suffix-5.yml true 24.59 14.71 None loop-invariants/const.yml true 12.33 7.28 None loop-invariants/eq1.yml true 12.65 7.09 None loop-invariants/eq2.yml true 12.56 7.06 None loop-invariants/even.yml true 13.06 7.48 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 300.47 247.71 None loop-invariants/mod4.yml true 13.19 7.49 None loop-invariants/odd.yml true 13.80 7.69 None loop-simple/nested_1.yml true 12.10 7.35 None loop-simple/nested_2.yml true 18.15 10.59 None loop-simple/nested_3.yml true 38.08 22.74 None loop-simple/nested_4.yml true 177.82 151.91 None loop-simple/nested_5.yml OUT OF MEMORY 183.99 153.74 None loop-simple/nested_6.yml OUT OF MEMORY 126.37 92.43 None loop-zilu/benchmark02_linear.yml true 12.95 7.16 None loop-zilu/benchmark02_linear_abstracted.yml true 9.38 5.54 None loop-zilu/benchmark04_conjunctive.yml true 13.95 8.03 None loop-zilu/benchmark05_conjunctive.yml true 15.06 8.63 None loop-zilu/benchmark09_conjunctive.yml true 10.21 6.50 None loop-zilu/benchmark10_conjunctive.yml true 11.16 7.19 None loop-zilu/benchmark11_linear.yml true 10.23 6.43 None loop-zilu/benchmark11_linear_abstracted.yml true 12.53 7.40 None loop-zilu/benchmark14_linear.yml true 12.85 7.45 None loop-zilu/benchmark17_conjunctive.yml true 9.72 6.09 None loop-zilu/benchmark18_conjunctive.yml true 10.21 6.51 None loop-zilu/benchmark19_conjunctive.yml true 13.51 7.69 None loop-zilu/benchmark20_conjunctive.yml true 13.74 7.78 None loop-zilu/benchmark23_conjunctive.yml true 48.98 36.01 None loop-zilu/benchmark25_linear.yml true 10.07 5.94 None loop-zilu/benchmark25_linear_abstracted.yml true 12.40 6.91 None loop-zilu/benchmark26_linear.yml true 13.42 7.60 None loop-zilu/benchmark26_linear_abstracted.yml true 9.42 6.00 None loop-zilu/benchmark32_linear.yml true 12.49 6.94 None loop-zilu/benchmark33_linear.yml true 12.62 7.11 None loop-zilu/benchmark34_conjunctive.yml true 11.28 6.85 None loop-zilu/benchmark35_linear.yml true 11.93 6.68 None loop-zilu/benchmark37_conjunctive.yml true 9.85 5.84 None loop-zilu/benchmark43_conjunctive.yml true 13.45 7.73 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 14.10 7.76 None loop-zilu/benchmark51_polynomial.yml true 9.22 5.43 None loop-zilu/benchmark52_polynomial.yml true 13.26 7.77 None verifythis/duplets.yml TIMEOUT 300.45 276.63 None verifythis/elimination_max.yml TIMEOUT 300.21 274.33 None verifythis/lcp.yml TIMEOUT 300.23 282.80 None verifythis/prefixsum_iter.yml TIMEOUT 301.05 281.92 None nla-digbench/bresenham-ll.yml true 55.92 39.30 None nla-digbench/cohencu-ll.yml true 35.96 24.42 None nla-digbench/cohendiv-ll.yml true 20.26 12.05 None nla-digbench/dijkstra-u.yml TIMEOUT 301.08 285.46 None nla-digbench/divbin2.yml TIMEOUT 301.07 285.56 None nla-digbench/egcd-ll.yml true 32.06 22.61 None nla-digbench/egcd2-ll.yml TIMEOUT 300.27 276.31 None nla-digbench/egcd3-ll.yml TIMEOUT 300.33 280.84 None nla-digbench/fermat1-ll.yml true 17.05 10.72 None nla-digbench/fermat2-ll.yml true 11.47 7.26 None nla-digbench/geo1-ll.yml TIMEOUT 301.03 288.06 None nla-digbench/geo2-ll.yml TIMEOUT 300.94 294.92 None nla-digbench/geo3-ll.yml TIMEOUT 300.98 291.71 None nla-digbench/hard-ll.yml TIMEOUT 301.04 268.61 None nla-digbench/hard2.yml true 82.27 59.39 None nla-digbench/knuth.yml TIMEOUT 301.08 290.99 None nla-digbench/lcm1.yml TIMEOUT 300.93 294.84 None nla-digbench/lcm2.yml true 19.86 13.30 None nla-digbench/mannadiv.yml true 11.98 8.07 None nla-digbench/prod4br-ll.yml true 15.55 10.01 None nla-digbench/prodbin-ll.yml TIMEOUT 300.14 282.91 None nla-digbench/ps2-ll.yml true 13.34 7.82 None nla-digbench/ps3-ll.yml true 12.83 7.46 None nla-digbench/ps4-ll.yml true 17.28 10.16 None nla-digbench/ps5-ll.yml true 12.72 8.62 None nla-digbench/ps6-ll.yml TIMEOUT 301.04 290.54 None nla-digbench/sqrt1-ll.yml true 12.31 7.99 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 23.92 14.05 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 17.32 10.67 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 23.94 14.06 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 58.37 48.38 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 23.70 13.86 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 22.56 13.14 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 24.35 14.41 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 32.81 19.99 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 280.54 265.45 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 41.18 31.57 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 35.29 22.04 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 34.85 22.11 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 26.33 17.79 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 29.08 21.43 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 17.41 10.39 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 20.48 13.00 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 20.26 12.91 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 23.74 13.83 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 19.55 13.33 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 26.66 15.07 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 24.69 14.48 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 19.88 12.14 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 15.87 10.31 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 16.12 9.93 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 21.04 12.25 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 15.13 10.25 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 20.64 11.91 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 15.61 9.99 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 28.48 21.23 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 25.75 18.60 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.01 290.91 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.08 283.11 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 301.04 290.77 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.05 285.33 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 300.32 288.54 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 300.10 287.75 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 300.13 282.98 None nla-digbench-scaling/divbin2_unwindbound1.yml true 11.22 6.70 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 300.26 282.86 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 300.08 287.66 None nla-digbench-scaling/divbin2_unwindbound2.yml true 15.71 9.23 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 300.14 279.22 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.29 283.71 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 301.04 290.54 None nla-digbench-scaling/divbin2_valuebound1.yml true 38.65 28.74 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.03 286.52 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.05 287.11 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.06 288.20 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.03 289.52 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 300.98 291.35 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.04 286.42 None nla-digbench-scaling/divbin_unwindbound1.yml true 10.93 7.15 None nla-digbench-scaling/divbin_unwindbound2.yml true 13.26 8.57 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.10 285.26 None nla-digbench-scaling/divbin_valuebound1.yml true 44.48 34.47 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.07 282.28 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.05 288.89 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 301.11 283.98 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.05 284.99 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 301.05 284.93 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.11 281.99 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 15.30 9.67 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 36.69 29.11 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 60.69 52.07 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 33.32 21.30 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 56.97 45.29 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 44.42 32.92 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 72.87 59.32 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 32.25 21.48 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.20 272.92 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 300.14 288.43 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 84.94 64.24 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 301.08 283.02 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.13 277.35 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 301.02 289.86 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 26.17 17.43 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.71 264.64 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 301.24 282.65 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 78.58 53.68 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.74 274.47 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.44 280.29 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.92 265.95 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 11.58 7.66 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 13.33 8.90 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 16.91 10.60 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 13.13 8.80 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 16.82 10.56 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 13.38 9.22 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 17.06 10.30 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 18.55 12.09 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 18.62 12.09 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 14.83 10.59 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 18.46 11.99 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 18.83 12.08 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 18.52 12.38 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 14.41 10.88 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.04 287.80 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 300.46 287.71 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 301.06 287.96 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 300.95 294.05 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 301.05 289.11 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 301.00 291.68 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.03 287.52 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 23.77 15.63 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 301.09 286.64 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 301.06 290.97 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 36.17 28.61 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 300.10 285.37 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 301.00 291.21 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 301.07 288.37 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 12.28 8.45 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 14.51 9.57 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 300.95 295.95 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 16.13 10.21 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 141.35 132.21 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 16.70 9.89 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 301.04 287.83 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 35.46 27.98 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.98 292.13 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.94 295.23 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.97 292.13 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.98 292.37 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.98 290.42 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.98 291.58 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 11.34 6.98 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 12.28 7.67 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 14.68 8.46 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 17.92 13.32 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 91.58 81.65 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 14.92 8.92 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 300.98 291.74 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 91.32 84.40 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 301.11 284.05 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 300.11 285.28 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 50.85 44.18 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 301.03 289.85 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 301.03 288.43 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 300.09 284.57 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 13.42 7.67 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 15.08 9.76 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 301.01 288.24 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 13.17 8.57 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 240.74 226.61 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.39 6.74 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 301.00 290.67 None nla-digbench-scaling/hard-ll_valuebound1.yml true 25.17 16.27 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.54 265.82 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.26 278.86 None nla-digbench-scaling/hard-ll_valuebound2.yml true 55.81 33.13 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.32 273.33 None nla-digbench-scaling/hard-ll_valuebound5.yml true 149.30 121.71 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.50 266.42 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.07 285.83 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 300.32 280.65 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.01 290.43 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.01 290.97 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.07 286.34 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.02 289.50 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.09 285.48 None nla-digbench-scaling/hard2_valuebound1.yml true 28.91 16.43 None nla-digbench-scaling/hard2_valuebound10.yml true 107.15 83.20 None nla-digbench-scaling/hard2_valuebound100.yml true 103.78 81.72 None nla-digbench-scaling/hard2_valuebound2.yml true 61.30 42.46 None nla-digbench-scaling/hard2_valuebound20.yml true 101.28 86.45 None nla-digbench-scaling/hard2_valuebound5.yml true 92.58 79.47 None nla-digbench-scaling/hard2_valuebound50.yml true 105.55 83.40 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.06 290.90 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.08 290.70 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.08 292.25 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.04 297.23 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.02 294.60 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.08 290.33 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.10 290.76 None nla-digbench-scaling/knuth_valuebound1.yml true 35.99 23.49 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 300.30 282.36 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 301.14 290.76 None nla-digbench-scaling/knuth_valuebound2.yml true 36.19 23.72 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 301.24 284.22 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.15 289.36 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 300.19 285.36 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.95 295.37 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.96 294.28 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.96 293.47 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.95 294.15 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.96 294.56 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.93 296.94 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.92 297.96 None nla-digbench-scaling/lcm2_unwindbound1.yml true 21.63 14.05 None nla-digbench-scaling/lcm2_unwindbound10.yml true 26.42 17.55 None nla-digbench-scaling/lcm2_unwindbound100.yml true 25.25 16.40 None nla-digbench-scaling/lcm2_unwindbound2.yml true 22.69 13.52 None nla-digbench-scaling/lcm2_unwindbound20.yml true 26.22 17.60 None nla-digbench-scaling/lcm2_unwindbound5.yml true 26.11 16.80 None nla-digbench-scaling/lcm2_unwindbound50.yml true 25.08 15.84 None nla-digbench-scaling/lcm2_valuebound1.yml true 17.27 9.71 None nla-digbench-scaling/lcm2_valuebound10.yml true 19.35 12.37 None nla-digbench-scaling/lcm2_valuebound100.yml true 23.38 15.04 None nla-digbench-scaling/lcm2_valuebound2.yml true 18.76 12.55 None nla-digbench-scaling/lcm2_valuebound20.yml true 24.34 15.54 None nla-digbench-scaling/lcm2_valuebound5.yml true 22.34 14.76 None nla-digbench-scaling/lcm2_valuebound50.yml true 22.54 15.17 None nla-digbench-scaling/mannadiv_valuebound1.yml true 13.52 8.46 None nla-digbench-scaling/mannadiv_valuebound10.yml true 16.86 9.94 None nla-digbench-scaling/mannadiv_valuebound100.yml true 13.34 8.33 None nla-digbench-scaling/mannadiv_valuebound2.yml true 16.89 9.90 None nla-digbench-scaling/mannadiv_valuebound20.yml true 16.38 9.63 None nla-digbench-scaling/mannadiv_valuebound5.yml true 16.90 10.45 None nla-digbench-scaling/mannadiv_valuebound50.yml true 16.81 10.11 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 14.93 9.00 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 14.80 10.01 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 18.62 10.56 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 16.82 9.64 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 17.26 10.26 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 17.72 10.26 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 17.35 9.96 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 301.05 283.44 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 301.08 283.28 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 18.14 10.42 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 58.58 40.29 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 266.17 241.93 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 30.18 18.51 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 169.30 144.47 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 49.42 36.23 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 301.19 267.16 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 14.36 8.32 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 16.40 9.45 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 15.87 9.60 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 15.50 9.17 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 15.99 9.28 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 15.06 8.75 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 15.74 9.30 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 11.28 7.43 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 13.46 7.94 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 13.15 8.12 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 11.64 7.20 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 13.51 7.92 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 13.74 8.01 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 13.34 8.10 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 12.00 7.82 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 16.44 9.84 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 15.95 9.32 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 14.65 8.65 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 13.68 8.79 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 15.90 9.65 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 15.15 8.86 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 13.91 8.08 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 11.93 7.49 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 13.63 7.99 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 13.84 8.33 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 13.56 8.13 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 11.18 7.07 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 14.20 8.19 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 16.77 10.18 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 16.54 9.70 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 15.02 9.32 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 18.27 10.65 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 14.59 9.16 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 107.78 96.85 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 17.71 10.67 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 18.33 10.73 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 158.42 149.46 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 138.01 127.02 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 19.10 11.19 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 19.18 11.37 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 301.01 291.69 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 144.82 132.81 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 19.33 11.55 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 301.03 288.60 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 301.02 289.59 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 21.10 12.23 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 14.96 10.13 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 124.90 114.22 None nla-digbench-scaling/ps6-ll_valuebound50.yml true 174.98 160.13 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 13.09 8.52 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 14.08 9.52 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 14.46 9.61 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 17.95 10.99 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 14.36 9.71 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 18.15 10.79 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 14.52 9.43 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 16.32 9.96 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 12.64 8.91 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 12.81 8.41 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 16.19 9.62 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 12.84 8.81 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 17.01 10.09 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 16.07 9.57 None recursive/Ackermann01-2.yml true 35.15 20.03 None recursive/Ackermann03.yml true 148.66 125.67 None recursive/Ackermann04.yml true 89.77 56.06 None recursive/Addition01-2.yml true 17.43 9.90 None recursive/Addition03-1.yml TIMEOUT 301.20 257.71 None recursive/EvenOdd01-1.yml TIMEOUT 300.48 237.12 None recursive/Fibonacci01-1.yml true 24.20 13.52 None recursive/Fibonacci02.yml true 113.07 69.12 None recursive/Fibonacci03.yml true 180.60 138.27 None recursive/McCarthy91-2.yml true 16.59 9.32 None recursive/MultCommutative-2.yml TIMEOUT 301.16 255.91 None recursive/Primes.yml true 26.92 16.81 None recursive/gcd01-1.yml true 14.26 9.10 None recursive/gcd02.yml TIMEOUT 300.91 254.01 None recursive/recHanoi01.yml TIMEOUT 301.03 264.54 None recursive/recHanoi02-2.yml true 10.82 6.48 None recursive/recHanoi03-2.yml true 17.99 11.08 None recursive-simple/afterrec-2.yml true 12.87 7.34 None recursive-simple/afterrec_2calls-2.yml true 12.75 7.21 None recursive-simple/fibo_10-2.yml true 155.27 118.41 None recursive-simple/fibo_15-1.yml TIMEOUT 300.75 235.73 None recursive-simple/fibo_20-2.yml TIMEOUT 301.37 240.75 None recursive-simple/fibo_25-2.yml TIMEOUT 301.18 237.01 None recursive-simple/fibo_2calls_10-1.yml true 221.61 186.66 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 301.39 235.33 None recursive-simple/fibo_2calls_2-2.yml true 20.16 11.45 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 301.13 250.92 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 301.49 235.15 None recursive-simple/fibo_2calls_4-1.yml true 37.20 21.15 None recursive-simple/fibo_2calls_5-1.yml true 56.85 32.80 None recursive-simple/fibo_2calls_6-1.yml true 71.96 42.94 None recursive-simple/fibo_2calls_8-1.yml true 97.04 62.95 None recursive-simple/fibo_5-1.yml true 33.21 18.75 None recursive-simple/fibo_7-1.yml true 61.38 35.28 None recursive-simple/id2_b2_o3.yml true 15.99 8.83 None recursive-simple/id2_b3_o5.yml true 12.08 7.53 None recursive-simple/id2_b5_o10.yml true 12.27 7.16 None recursive-simple/id2_i5_o5-2.yml true 26.86 15.51 None recursive-simple/id_b2_o3.yml true 10.20 6.19 None recursive-simple/id_b3_o5-2.yml true 11.57 7.02 None recursive-simple/id_b5_o10-2.yml true 11.48 6.73 None recursive-simple/id_i10_o10-2.yml true 48.57 30.21 None recursive-simple/id_i15_o15-1.yml true 85.56 64.21 None recursive-simple/id_i20_o20-1.yml true 252.58 201.64 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.46 277.75 None recursive-simple/id_i5_o5-2.yml true 23.66 13.60 None recursive-simple/sum_10x0-1.yml true 44.12 28.55 None recursive-simple/sum_15x0-1.yml true 85.36 67.06 None recursive-simple/sum_20x0-2.yml true 272.08 212.71 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.38 246.11 None recursive-simple/sum_2x3-2.yml true 14.23 9.12 None recursive-simple/sum_non_eq-2.yml true 22.14 11.84 None recursive-with-pointer/simple-recursive.yml true 25.83 14.68 None verifythis/prefixsum_rec.yml TIMEOUT 300.31 277.41 None verifythis/elimination_max_rec.yml TIMEOUT 301.06 283.44 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.16 274.32 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 300.09 279.25 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 301.03 285.84 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.02 290.88 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 23.54 13.85 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 27.75 15.63 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 300.25 275.21 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 15.41 9.11 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 19.57 11.69 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 34.71 19.36 None recursified_loop-invariants/recursified_const.yml true 10.97 6.64 None recursified_loop-invariants/recursified_eq1.yml true 55.74 48.09 None recursified_loop-invariants/recursified_eq2.yml true 35.90 29.25 None recursified_loop-invariants/recursified_even.yml true 16.93 9.37 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 301.07 236.95 None recursified_loop-invariants/recursified_mod4.yml true 12.85 7.82 None recursified_loop-invariants/recursified_odd.yml true 12.47 7.25 None recursified_loop-simple/recursified_nested_1.yml true 41.74 30.05 None recursified_loop-simple/recursified_nested_2.yml true 87.29 62.15 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 301.14 241.26 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 300.54 271.03 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.95 252.09 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.38 254.94 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 300.48 264.77 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.40 275.58 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 301.17 279.84 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 301.09 260.43 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.62 259.63 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.50 273.76 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 301.01 255.78 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.32 275.90 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 300.29 277.54 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.48 277.50 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.36 277.22 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 300.42 283.53 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 301.07 291.76 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.28 272.17 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.40 277.44 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.05 293.48 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 300.99 291.51 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 301.17 287.26 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 301.09 260.03 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.74 267.81 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.35 274.61 None recursified_nla-digbench/recursified_ps2-ll.yml true 48.05 36.54 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 301.03 288.24 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 301.04 286.79 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 301.02 286.96 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.01 287.14 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.50 265.20 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 80598.12 5291.72 - Statistics: 666 Files correct: 424 correct true: 424 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 242 Score: 848 (max: 1332)