BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Fri, 2024-09-20 18:40:24 CEST tool: ULTIMATE Automizer 0.2.4-ca4ee3dd 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.21 9.34 None loops/count_up_down-1.yml TIMEOUT 300.21 279.42 None loops/eureka_01-2.yml TIMEOUT 301.11 281.73 None loops/eureka_05.yml TIMEOUT 300.81 244.53 None loops/for_infinite_loop_1.yml true 13.18 7.38 None loops/for_infinite_loop_2.yml true 9.67 5.98 None loops/heavy-2.yml true 15.78 9.24 None loops/insertion_sort-2-2.yml TIMEOUT 301.03 285.99 None loops/invert_string-3.yml true 62.81 48.20 None loops/linear_sea.ch.yml TIMEOUT 300.20 270.92 None loops/lu.cmp.yml true 19.41 11.32 None loops/matrix-1.yml TIMEOUT 300.14 282.96 None loops/n.c11.yml true 10.57 6.90 None loops/n.c40.yml ERROR (7) 20.41 13.37 None loops/nec40.yml ERROR (7) 18.82 12.32 None loops/string-1.yml true 12.26 7.84 None loops/sum01-2.yml true 17.10 9.66 None loops/sum03-2.yml true 12.71 7.16 None loops/sum04-2.yml true 15.71 9.43 None loops/sum_array-2-2.yml TIMEOUT 300.76 259.72 None loops/terminator_02-2.yml true 9.80 6.97 None loops/terminator_02-2_abstracted.yml true 10.65 6.16 None loops/terminator_03-2.yml true 12.19 6.81 None loops/terminator_03-2_abstracted.yml true 12.93 7.21 None loops/trex01-2.yml true 9.58 5.66 None loops/trex02-1.yml true 12.29 7.27 None loops/trex03-2.yml true 9.92 6.58 None loops/trex03-2_abstracted.yml true 11.90 6.80 None loops/trex04.yml true 12.42 6.88 None loops/trex04_abstracted.yml true 9.39 5.94 None loops/veris.c_NetBSD-libc_loop.yml true 17.44 10.17 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 15.54 9.03 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 9.98 6.21 None loops/vogal-1.yml TIMEOUT 300.44 267.42 None loops/while_infinite_loop_1.yml true 11.71 6.58 None loops/while_infinite_loop_2.yml true 9.31 5.78 None loops/while_infinite_loop_3.yml true 10.56 6.54 None loop-acceleration/array_1-2.yml true 19.72 13.38 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.24 286.49 None loop-acceleration/array_2-2.yml TIMEOUT 301.01 292.22 None loop-acceleration/array_3-1.yml true 13.16 7.82 None loop-acceleration/array_4.yml TIMEOUT 301.08 288.51 None loop-acceleration/const_1-1.yml true 12.72 7.26 None loop-acceleration/diamond_1-1.yml true 42.46 32.86 None loop-acceleration/diamond_2-2.yml true 36.32 26.18 None loop-acceleration/functions_1-1.yml true 13.16 7.47 None loop-acceleration/multivar_1-1.yml true 12.11 6.78 None loop-acceleration/nested_1-1.yml true 41.55 23.36 None loop-acceleration/overflow_1-1.yml true 14.06 8.31 None loop-acceleration/phases_1-1.yml TIMEOUT 300.96 291.02 None loop-acceleration/phases_2-2.yml true 28.29 21.03 None loop-acceleration/simple_1-2.yml true 12.55 7.61 None loop-acceleration/simple_1-2_abstracted.yml true 11.76 6.61 None loop-acceleration/simple_2-1.yml true 13.20 7.23 None loop-acceleration/simple_2-1_abstracted.yml true 11.85 6.64 None loop-acceleration/simple_3-2.yml true 13.91 7.92 None loop-acceleration/simple_4-2.yml true 13.07 7.98 None loop-acceleration/simple_4-2_abstracted.yml true 12.91 7.27 None loop-acceleration/underapprox_1-2.yml true 18.96 11.57 None loop-acceleration/underapprox_2-2.yml true 14.08 8.40 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.32 277.71 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.95 263.87 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.06 284.40 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 26.63 14.39 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 22.51 12.23 None loop-crafted/simple_array_index_value_4.yml true 26.55 15.26 None loop-crafted/simple_vardep_1.yml true 9.92 6.27 None loop-crafted/simple_vardep_2.yml true 13.42 7.40 None loop-invgen/MADWiFi-encode_ie_ok.yml true 15.15 8.52 None loop-invgen/NetBSD_loop.yml true 16.00 9.09 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 17.57 10.40 None loop-invgen/SpamAssassin-loop.yml true 13.52 7.59 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 30.52 16.39 None loop-invgen/apache-escape-absolute.yml true 16.84 9.11 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 31.05 16.88 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 71.50 41.75 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 91.97 66.20 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 22.85 13.07 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 21.49 13.04 None loop-invgen/apache-get-tag.yml true 16.53 9.08 None loop-invgen/down.yml TIMEOUT 300.40 248.35 None loop-invgen/fragtest_simple.yml TIMEOUT 301.18 254.78 None loop-invgen/half_2.yml TIMEOUT 300.32 276.39 None loop-invgen/heapsort.yml TIMEOUT 300.22 277.90 None loop-invgen/id_build.i.p+nlh-reducer.yml true 22.50 12.07 None loop-invgen/id_build.i.p+sep-reducer.yml true 23.94 12.68 None loop-invgen/id_build.i.v+lhb-reducer.yml true 13.45 7.45 None loop-invgen/id_build.yml true 10.20 6.79 None loop-invgen/large_const.yml true 12.80 8.19 None loop-invgen/nest-if3.yml true 11.85 7.10 None loop-invgen/nested6.yml true 25.87 14.97 None loop-invgen/nested9.yml true 14.15 9.40 None loop-invgen/sendmail-close-angle.yml true 25.33 14.01 None loop-invgen/seq-3.yml TIMEOUT 300.29 274.66 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.60 265.64 None loop-invgen/up.yml TIMEOUT 301.12 281.71 None loop-lit/afnp2014.yml true 14.77 8.45 None loop-lit/as2013-hybrid.yml true 14.74 8.61 None loop-lit/bh2017-ex-add.yml true 18.86 10.89 None loop-lit/bh2017-ex1-poly.yml true 18.86 10.68 None loop-lit/bh2017-ex3.yml true 13.59 8.28 None loop-lit/bhmr2007.yml true 16.96 9.52 None loop-lit/cggmp2005.yml true 14.45 8.24 None loop-lit/cggmp2005_variant.yml true 11.48 7.02 None loop-lit/cggmp2005b.yml true 10.46 6.75 None loop-lit/css2003.yml true 9.41 5.68 None loop-lit/ddlm2013.yml true 18.42 10.39 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 58.41 43.71 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 111.50 71.32 None loop-lit/gj2007.yml true 38.32 25.73 None loop-lit/gj2007b.yml true 15.04 8.68 None loop-lit/gr2006.yml true 67.96 40.71 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 13.40 7.57 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 13.23 7.54 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 10.31 6.42 None loop-lit/gsv2008.yml true 12.46 7.55 None loop-lit/hh2012-ex1b.yml true 11.31 6.82 None loop-lit/hh2012-ex2b.yml true 13.97 8.30 None loop-lit/hh2012-ex3.yml true 23.56 13.48 None loop-lit/hhk2008.yml true 10.53 6.95 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 10.88 6.48 None loop-lit/jm2006.yml true 14.12 7.94 None loop-lit/jm2006_variant.yml true 11.96 7.17 None loop-lit/mcmillan2006.yml TIMEOUT 300.54 282.50 None loop-lit/mine2017-ex4.10.yml true 14.29 8.15 None loop-lit/mine2017-ex4.6.yml true 14.47 8.57 None loop-lit/mine2017-ex4.7.yml true 9.52 5.55 None loop-lit/mine2017-ex4.8.yml true 12.14 6.87 None loop-new/count_by_1.yml true 12.93 7.71 None loop-new/count_by_1_variant.yml true 13.40 7.58 None loop-new/count_by_2.yml TIMEOUT 300.89 260.41 None loop-new/count_by_k.yml TIMEOUT 300.63 252.61 None loop-new/count_by_nondet.yml TIMEOUT 300.49 252.09 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 13.70 7.94 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 17.77 10.07 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 13.77 8.37 None loop-new/gauss_sum.yml true 13.97 8.36 None loop-new/half.yml true 21.85 12.38 None loop-new/nested-1.yml TIMEOUT 300.19 280.96 None loop-industry-pattern/aiob_1.yml unknown 18.49 10.44 None loop-industry-pattern/aiob_2.yml unknown 18.76 10.28 None loop-industry-pattern/aiob_3.yml unknown 18.98 10.67 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 18.79 10.21 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 19.02 10.98 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 19.25 10.88 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 20.57 11.69 None loop-industry-pattern/aiob_4.yml unknown 19.50 10.89 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 15.59 8.63 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 15.30 8.40 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 15.59 8.42 None loop-industry-pattern/mod3.yml true 14.42 7.95 None loop-industry-pattern/ofuf_1.yml unknown 19.88 11.15 None loop-industry-pattern/ofuf_2.yml unknown 20.52 11.75 None loop-industry-pattern/ofuf_3.yml unknown 18.60 10.21 None loop-industry-pattern/ofuf_4.yml unknown 16.26 9.39 None loop-industry-pattern/ofuf_5.yml unknown 19.74 11.22 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 300.98 290.32 None loops-crafted-1/discover_list.yml unknown 18.48 10.09 None loops-crafted-1/iftelse.yml TIMEOUT 301.00 290.67 None loops-crafted-1/in-de20.yml TIMEOUT 300.90 262.71 None loops-crafted-1/in-de31.yml TIMEOUT 300.25 270.58 None loops-crafted-1/in-de32.yml TIMEOUT 301.07 286.13 None loops-crafted-1/in-de41.yml TIMEOUT 300.98 265.20 None loops-crafted-1/in-de42.yml TIMEOUT 300.55 265.34 None loops-crafted-1/in-de51.yml TIMEOUT 300.15 281.58 None loops-crafted-1/in-de52.yml TIMEOUT 300.28 281.16 None loops-crafted-1/in-de61.yml TIMEOUT 300.39 265.95 None loops-crafted-1/in-de62.yml TIMEOUT 300.17 262.74 None loops-crafted-1/loopv1.yml true 10.66 6.31 None loops-crafted-1/loopv2.yml true 10.50 6.83 None loops-crafted-1/loopv3.yml true 17.44 10.78 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.71 266.64 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 300.97 290.69 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 301.04 283.22 None loops-crafted-1/mono-crafted_12.yml true 14.11 7.90 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.29 252.32 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.80 250.76 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.72 250.75 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 301.27 265.69 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.73 248.18 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 301.06 280.93 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 300.39 283.21 None loops-crafted-1/nested3-1.yml TIMEOUT 301.07 283.41 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 300.98 271.64 None loops-crafted-1/nested5-1.yml true 15.86 9.58 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 301.61 249.61 None loops-crafted-1/net_reset.yml unknown 21.63 11.92 None loops-crafted-1/sum_by_3.yml true 31.60 22.29 None loops-crafted-1/sum_by_3_abstracted.yml true 22.02 11.90 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.86 247.24 None loops-crafted-1/sumt2.yml true 11.75 7.19 None loops-crafted-1/sumt3.yml true 11.74 7.35 None loops-crafted-1/sumt4.yml true 12.38 7.80 None loops-crafted-1/sumt5.yml true 12.35 7.55 None loops-crafted-1/sumt6.yml true 12.53 7.66 None loops-crafted-1/sumt7.yml true 13.46 7.99 None loops-crafted-1/sumt8.yml true 12.89 8.14 None loops-crafted-1/sumt9.yml true 18.38 10.11 None loops-crafted-1/theatreSquare.yml TIMEOUT 300.93 270.38 None loops-crafted-1/vnew1.yml TIMEOUT 301.04 282.88 None loops-crafted-1/vnew2.yml TIMEOUT 301.07 286.31 None loops-crafted-1/watermelon.yml TIMEOUT 300.51 243.24 None loop-invariants/bin-suffix-5.yml true 25.40 14.90 None loop-invariants/const.yml true 12.68 7.07 None loop-invariants/eq1.yml true 13.49 7.39 None loop-invariants/eq2.yml true 13.46 7.78 None loop-invariants/even.yml true 13.67 7.70 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 300.39 246.52 None loop-invariants/mod4.yml true 14.21 7.98 None loop-invariants/odd.yml true 13.64 7.69 None loop-simple/nested_1.yml true 10.45 6.29 None loop-simple/nested_2.yml true 19.62 11.68 None loop-simple/nested_3.yml true 31.22 19.25 None loop-simple/nested_4.yml true 177.57 151.03 None loop-simple/nested_5.yml OUT OF MEMORY 164.06 125.67 None loop-simple/nested_6.yml OUT OF MEMORY 105.33 72.76 None loop-zilu/benchmark02_linear.yml true 9.28 5.71 None loop-zilu/benchmark02_linear_abstracted.yml true 10.00 6.00 None loop-zilu/benchmark04_conjunctive.yml true 10.03 6.83 None loop-zilu/benchmark05_conjunctive.yml true 11.44 7.10 None loop-zilu/benchmark09_conjunctive.yml true 10.29 6.57 None loop-zilu/benchmark10_conjunctive.yml true 11.84 7.65 None loop-zilu/benchmark11_linear.yml true 10.04 6.92 None loop-zilu/benchmark11_linear_abstracted.yml true 10.05 5.83 None loop-zilu/benchmark14_linear.yml true 9.25 5.33 None loop-zilu/benchmark17_conjunctive.yml true 9.37 5.70 None loop-zilu/benchmark18_conjunctive.yml true 10.00 6.53 None loop-zilu/benchmark19_conjunctive.yml true 10.24 6.46 None loop-zilu/benchmark20_conjunctive.yml true 10.82 6.48 None loop-zilu/benchmark23_conjunctive.yml true 47.34 34.07 None loop-zilu/benchmark25_linear.yml true 9.44 6.04 None loop-zilu/benchmark25_linear_abstracted.yml true 9.61 5.52 None loop-zilu/benchmark26_linear.yml true 10.82 6.43 None loop-zilu/benchmark26_linear_abstracted.yml true 9.62 6.02 None loop-zilu/benchmark32_linear.yml true 9.33 5.76 None loop-zilu/benchmark33_linear.yml true 10.12 6.15 None loop-zilu/benchmark34_conjunctive.yml true 10.73 6.96 None loop-zilu/benchmark35_linear.yml true 9.18 5.64 None loop-zilu/benchmark37_conjunctive.yml true 10.54 6.36 None loop-zilu/benchmark43_conjunctive.yml true 9.85 6.65 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 10.25 6.34 None loop-zilu/benchmark51_polynomial.yml true 9.45 5.94 None loop-zilu/benchmark52_polynomial.yml true 9.71 6.56 None verifythis/duplets.yml TIMEOUT 300.83 266.77 None verifythis/elimination_max.yml TIMEOUT 301.09 282.98 None verifythis/lcp.yml TIMEOUT 300.69 279.72 None verifythis/prefixsum_iter.yml TIMEOUT 301.00 289.20 None nla-digbench/bresenham-ll.yml true 40.47 31.21 None nla-digbench/cohencu-ll.yml true 37.01 24.87 None nla-digbench/cohendiv-ll.yml true 18.96 11.21 None nla-digbench/dijkstra-u.yml TIMEOUT 301.08 283.75 None nla-digbench/divbin2.yml TIMEOUT 300.15 289.55 None nla-digbench/egcd-ll.yml true 34.90 25.78 None nla-digbench/egcd2-ll.yml TIMEOUT 300.57 266.05 None nla-digbench/egcd3-ll.yml TIMEOUT 300.72 268.44 None nla-digbench/fermat1-ll.yml true 17.05 10.78 None nla-digbench/fermat2-ll.yml true 14.96 8.85 None nla-digbench/geo1-ll.yml TIMEOUT 301.03 288.36 None nla-digbench/geo2-ll.yml TIMEOUT 300.93 295.08 None nla-digbench/geo3-ll.yml TIMEOUT 300.97 293.27 None nla-digbench/hard-ll.yml TIMEOUT 300.79 266.22 None nla-digbench/hard2.yml true 83.95 61.03 None nla-digbench/knuth.yml TIMEOUT 301.06 291.23 None nla-digbench/lcm1.yml TIMEOUT 300.93 295.00 None nla-digbench/lcm2.yml true 20.19 13.01 None nla-digbench/mannadiv.yml true 16.57 10.05 None nla-digbench/prod4br-ll.yml true 16.48 9.86 None nla-digbench/prodbin-ll.yml TIMEOUT 301.07 284.15 None nla-digbench/ps2-ll.yml true 12.84 7.78 None nla-digbench/ps3-ll.yml true 10.59 6.55 None nla-digbench/ps4-ll.yml true 13.51 8.77 None nla-digbench/ps5-ll.yml true 14.20 8.73 None nla-digbench/ps6-ll.yml TIMEOUT 301.07 290.35 None nla-digbench/sqrt1-ll.yml true 12.62 8.24 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 20.07 12.04 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 17.71 11.14 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 19.73 11.80 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 77.55 61.25 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 25.97 14.72 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 17.08 11.17 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 17.95 11.65 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 26.22 17.16 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 268.72 252.28 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 40.36 31.46 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 33.31 21.07 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 26.40 18.29 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 26.77 18.16 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 28.71 21.04 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 17.12 10.13 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 20.33 12.33 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 20.24 12.91 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 22.10 13.07 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 19.35 12.37 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 20.12 12.42 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 26.85 15.64 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 15.54 10.75 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 18.74 11.22 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 19.46 11.50 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 20.15 11.79 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 14.92 9.69 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 15.08 9.84 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 14.81 9.82 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 29.49 23.87 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 32.51 22.88 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.06 284.81 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 300.19 281.46 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 300.13 278.30 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 300.99 291.61 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.00 290.93 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 301.08 288.86 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.01 288.37 None nla-digbench-scaling/divbin2_unwindbound1.yml true 13.75 8.12 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.04 290.25 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 300.23 283.27 None nla-digbench-scaling/divbin2_unwindbound2.yml true 15.77 9.30 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.01 288.92 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.11 284.11 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 301.04 289.82 None nla-digbench-scaling/divbin2_valuebound1.yml true 37.87 28.44 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.04 286.17 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.03 287.66 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.05 288.29 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.02 289.26 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.34 285.77 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 300.98 291.07 None nla-digbench-scaling/divbin_unwindbound1.yml true 11.09 7.05 None nla-digbench-scaling/divbin_unwindbound2.yml true 13.53 8.88 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.03 286.88 None nla-digbench-scaling/divbin_valuebound1.yml true 62.88 52.66 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.05 289.62 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.02 287.88 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 300.19 277.96 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.08 280.44 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 301.05 285.01 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.07 284.42 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 15.14 9.49 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 36.90 28.60 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 67.08 55.17 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 25.74 18.02 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 56.57 44.01 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 37.15 29.09 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 69.96 58.15 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 31.48 21.24 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.22 271.90 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 300.08 283.01 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 80.41 58.99 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 301.05 284.17 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 301.02 287.11 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 301.02 289.79 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 26.12 16.95 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.66 266.58 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.56 266.89 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 61.35 46.63 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.64 276.52 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.57 274.87 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.92 263.81 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 15.58 8.85 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 17.43 10.36 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 13.20 8.87 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 13.13 8.85 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 17.11 10.30 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 13.70 9.04 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 13.17 8.71 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 14.56 10.33 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 15.02 10.59 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 18.15 12.21 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 18.58 12.02 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 14.86 10.54 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 15.00 10.75 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 19.02 12.16 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.04 288.85 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 300.96 293.70 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 300.95 293.57 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 301.17 287.80 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 301.01 288.72 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 301.05 288.35 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.03 288.04 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 22.30 14.31 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 300.97 292.23 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 301.04 287.58 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 40.64 30.24 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 301.01 291.30 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 301.04 288.95 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 300.99 291.46 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 15.17 8.91 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 16.74 9.94 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 301.05 286.40 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 16.66 9.81 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 230.78 218.85 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 16.08 9.84 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 301.01 288.08 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 31.79 25.34 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.95 294.60 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.95 294.87 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.96 291.69 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.96 291.91 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.97 292.58 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.97 292.17 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 12.97 7.47 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 13.76 7.98 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 10.25 6.35 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 19.38 13.30 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 83.21 76.92 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 13.90 8.39 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 301.01 289.67 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 87.22 81.16 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 300.99 291.40 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.03 286.25 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 47.54 42.35 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 301.07 286.02 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 300.97 292.37 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 300.97 291.94 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 10.31 6.80 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 12.21 7.54 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 300.98 291.54 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 12.94 7.42 None nla-digbench-scaling/geo3-ll_valuebound20.yml TIMEOUT 301.02 288.70 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.13 6.57 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 300.96 292.70 None nla-digbench-scaling/hard-ll_valuebound1.yml true 23.79 15.32 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.21 279.52 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.33 268.79 None nla-digbench-scaling/hard-ll_valuebound2.yml true 54.47 32.24 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.44 268.35 None nla-digbench-scaling/hard-ll_valuebound5.yml true 150.53 120.18 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.43 266.80 None nla-digbench-scaling/hard-u_valuebound1.yml true 198.38 180.05 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.03 288.65 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.00 290.90 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.05 287.31 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.00 291.66 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.00 291.55 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.00 291.61 None nla-digbench-scaling/hard2_valuebound1.yml true 28.91 16.62 None nla-digbench-scaling/hard2_valuebound10.yml true 105.89 83.15 None nla-digbench-scaling/hard2_valuebound100.yml true 102.52 81.40 None nla-digbench-scaling/hard2_valuebound2.yml true 50.37 38.43 None nla-digbench-scaling/hard2_valuebound20.yml true 105.02 82.69 None nla-digbench-scaling/hard2_valuebound5.yml true 90.49 78.31 None nla-digbench-scaling/hard2_valuebound50.yml true 90.67 80.90 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.06 290.97 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.06 291.24 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.07 290.94 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.00 293.92 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.05 290.65 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 300.99 296.83 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.06 290.88 None nla-digbench-scaling/knuth_valuebound1.yml true 32.93 21.70 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 300.25 283.63 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 300.18 286.24 None nla-digbench-scaling/knuth_valuebound2.yml true 28.10 20.04 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 300.36 283.07 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.13 290.00 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.02 292.05 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.91 297.00 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.93 296.67 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.95 294.85 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.94 294.46 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.94 294.14 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.94 295.22 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.91 297.26 None nla-digbench-scaling/lcm2_unwindbound1.yml true 16.92 11.81 None nla-digbench-scaling/lcm2_unwindbound10.yml true 20.69 15.35 None nla-digbench-scaling/lcm2_unwindbound100.yml true 26.87 17.36 None nla-digbench-scaling/lcm2_unwindbound2.yml true 16.57 11.12 None nla-digbench-scaling/lcm2_unwindbound20.yml true 26.90 18.18 None nla-digbench-scaling/lcm2_unwindbound5.yml true 26.92 16.89 None nla-digbench-scaling/lcm2_unwindbound50.yml true 18.32 13.08 None nla-digbench-scaling/lcm2_valuebound1.yml true 17.79 10.36 None nla-digbench-scaling/lcm2_valuebound10.yml true 19.57 12.61 None nla-digbench-scaling/lcm2_valuebound100.yml true 22.84 14.62 None nla-digbench-scaling/lcm2_valuebound2.yml true 17.36 12.49 None nla-digbench-scaling/lcm2_valuebound20.yml true 23.16 15.11 None nla-digbench-scaling/lcm2_valuebound5.yml true 23.07 15.12 None nla-digbench-scaling/lcm2_valuebound50.yml true 21.98 14.47 None nla-digbench-scaling/mannadiv_valuebound1.yml true 12.24 7.97 None nla-digbench-scaling/mannadiv_valuebound10.yml true 15.83 9.65 None nla-digbench-scaling/mannadiv_valuebound100.yml true 12.26 8.29 None nla-digbench-scaling/mannadiv_valuebound2.yml true 17.18 10.37 None nla-digbench-scaling/mannadiv_valuebound20.yml true 16.14 9.92 None nla-digbench-scaling/mannadiv_valuebound5.yml true 17.25 10.01 None nla-digbench-scaling/mannadiv_valuebound50.yml true 13.41 8.33 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 17.97 10.82 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 12.82 9.12 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 17.35 10.00 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 16.26 9.38 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 17.47 10.32 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 13.25 8.11 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 16.79 9.61 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 301.02 286.84 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 300.60 281.99 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 17.34 9.96 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 57.63 39.58 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 242.78 220.99 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 28.66 17.58 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 154.69 131.13 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 44.21 33.41 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.64 273.77 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 10.10 6.74 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 14.34 8.89 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 11.80 7.65 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 10.84 7.27 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 14.47 8.51 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 11.52 7.44 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 11.27 7.44 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 12.85 7.94 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 10.04 6.63 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 9.70 6.10 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 10.62 6.64 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 12.54 7.82 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 9.84 6.10 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.77 6.57 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 10.97 7.06 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 15.25 8.88 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 11.65 7.62 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 11.13 6.97 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 11.89 7.95 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 11.25 7.13 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 11.39 7.08 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 12.89 7.48 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 10.21 6.97 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 10.02 6.71 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 9.95 6.16 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 12.86 7.85 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 10.52 7.06 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 9.81 6.52 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 11.95 7.55 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 17.09 10.17 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 13.22 8.95 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 12.76 8.11 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 12.51 7.87 None nla-digbench-scaling/ps4-ll_valuebound5.yml TIMEOUT 300.07 290.59 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 12.93 8.63 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 12.82 8.58 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 158.28 150.58 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 300.99 293.14 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 13.49 8.79 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 13.15 8.57 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.95 295.48 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 144.74 134.11 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 17.32 10.17 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 301.03 288.47 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 301.01 289.49 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 18.93 11.11 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 18.77 10.93 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 132.58 120.03 None nla-digbench-scaling/ps6-ll_valuebound50.yml true 96.19 88.12 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 16.70 9.81 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 18.34 11.24 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 18.42 10.81 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 17.52 10.77 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 18.36 11.12 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 19.11 11.48 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 18.70 10.98 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 16.04 9.55 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 16.47 9.71 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 15.84 9.76 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 15.72 9.40 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 12.13 8.53 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 16.09 9.56 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 15.89 9.33 None recursive/Ackermann01-2.yml true 24.69 15.49 None recursive/Ackermann03.yml true 135.80 112.65 None recursive/Ackermann04.yml true 81.89 53.03 None recursive/Addition01-2.yml true 16.67 10.07 None recursive/Addition03-1.yml TIMEOUT 300.48 243.39 None recursive/EvenOdd01-1.yml TIMEOUT 300.38 274.95 None recursive/Fibonacci01-1.yml true 22.89 12.78 None recursive/Fibonacci02.yml true 82.37 54.37 None recursive/Fibonacci03.yml true 143.54 119.17 None recursive/McCarthy91-2.yml true 15.11 8.50 None recursive/MultCommutative-2.yml TIMEOUT 301.03 233.27 None recursive/Primes.yml true 33.56 19.36 None recursive/gcd01-1.yml true 16.61 9.38 None recursive/gcd02.yml TIMEOUT 300.34 261.34 None recursive/recHanoi01.yml TIMEOUT 300.59 243.16 None recursive/recHanoi02-2.yml true 13.72 7.70 None recursive/recHanoi03-2.yml true 22.96 12.92 None recursive-simple/afterrec-2.yml true 9.73 5.87 None recursive-simple/afterrec_2calls-2.yml true 12.48 6.87 None recursive-simple/fibo_10-2.yml true 141.77 106.97 None recursive-simple/fibo_15-1.yml TIMEOUT 301.22 242.28 None recursive-simple/fibo_20-2.yml TIMEOUT 300.98 260.13 None recursive-simple/fibo_25-2.yml TIMEOUT 301.33 241.54 None recursive-simple/fibo_2calls_10-1.yml true 214.18 177.18 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 300.92 262.32 None recursive-simple/fibo_2calls_2-2.yml true 13.59 8.78 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 300.71 239.12 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 300.94 239.23 None recursive-simple/fibo_2calls_4-1.yml true 25.28 15.63 None recursive-simple/fibo_2calls_5-1.yml true 40.85 25.08 None recursive-simple/fibo_2calls_6-1.yml true 52.92 32.96 None recursive-simple/fibo_2calls_8-1.yml true 86.22 57.34 None recursive-simple/fibo_5-1.yml true 24.77 15.13 None recursive-simple/fibo_7-1.yml true 44.34 26.58 None recursive-simple/id2_b2_o3.yml true 15.80 8.86 None recursive-simple/id2_b3_o5.yml true 15.72 8.75 None recursive-simple/id2_b5_o10.yml true 16.49 9.15 None recursive-simple/id2_i5_o5-2.yml true 20.74 12.46 None recursive-simple/id_b2_o3.yml true 10.51 6.29 None recursive-simple/id_b3_o5-2.yml true 14.06 7.93 None recursive-simple/id_b5_o10-2.yml true 15.00 8.40 None recursive-simple/id_i10_o10-2.yml true 36.10 23.74 None recursive-simple/id_i15_o15-1.yml true 110.64 78.66 None recursive-simple/id_i20_o20-1.yml true 204.06 166.37 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.39 246.27 None recursive-simple/id_i5_o5-2.yml true 18.15 11.76 None recursive-simple/sum_10x0-1.yml true 51.55 32.27 None recursive-simple/sum_15x0-1.yml true 85.29 67.07 None recursive-simple/sum_20x0-2.yml true 205.48 168.95 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.37 247.67 None recursive-simple/sum_2x3-2.yml true 13.83 8.50 None recursive-simple/sum_non_eq-2.yml true 15.70 9.21 None recursive-with-pointer/simple-recursive.yml true 25.86 14.79 None verifythis/prefixsum_rec.yml TIMEOUT 300.92 259.09 None verifythis/elimination_max_rec.yml TIMEOUT 300.16 284.68 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.23 271.35 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 301.07 281.82 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 300.98 292.06 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.00 291.26 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 35.15 18.61 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 30.98 16.49 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.03 285.76 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 21.06 11.47 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 25.52 14.06 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 34.05 19.24 None recursified_loop-invariants/recursified_const.yml true 14.15 7.83 None recursified_loop-invariants/recursified_eq1.yml true 42.83 30.82 None recursified_loop-invariants/recursified_eq2.yml true 32.74 23.14 None recursified_loop-invariants/recursified_even.yml true 16.48 9.14 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 301.25 242.04 None recursified_loop-invariants/recursified_mod4.yml true 13.54 7.85 None recursified_loop-invariants/recursified_odd.yml true 13.55 8.16 None recursified_loop-simple/recursified_nested_1.yml true 45.93 31.20 None recursified_loop-simple/recursified_nested_2.yml true 105.62 70.99 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.63 263.34 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 300.41 272.96 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 301.64 259.95 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.41 240.35 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 302.07 269.15 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.68 263.50 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 300.24 278.67 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 300.42 266.52 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.25 276.36 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.66 270.19 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.22 277.56 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.23 277.45 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 300.24 275.86 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.99 288.71 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 301.05 288.29 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 301.03 289.39 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 301.06 285.84 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.92 262.35 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.31 274.74 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.08 290.35 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 301.15 289.39 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 301.61 285.28 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 301.27 280.45 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.91 243.54 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.60 276.84 None recursified_nla-digbench/recursified_ps2-ll.yml true 65.71 55.31 None recursified_nla-digbench/recursified_ps3-ll.yml true 174.39 159.18 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 300.97 291.97 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 300.96 293.17 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.00 289.26 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.45 267.08 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 80211.91 5269.74 - Statistics: 666 Files correct: 423 correct true: 423 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 243 Score: 846 (max: 1332)