BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Wed, 2024-09-18 15:30:44 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.50 9.51 None loops/count_up_down-1.yml TIMEOUT 300.36 276.07 None loops/eureka_01-2.yml TIMEOUT 301.19 254.11 None loops/eureka_05.yml TIMEOUT 300.46 267.70 None loops/for_infinite_loop_1.yml true 12.79 7.63 None loops/for_infinite_loop_2.yml true 9.45 5.90 None loops/heavy-2.yml true 16.38 9.45 None loops/insertion_sort-2-2.yml TIMEOUT 301.03 288.71 None loops/invert_string-3.yml true 110.30 95.12 None loops/linear_sea.ch.yml TIMEOUT 300.13 274.85 None loops/lu.cmp.yml true 18.91 10.52 None loops/matrix-1.yml TIMEOUT 300.27 279.46 None loops/n.c11.yml true 10.58 6.83 None loops/n.c40.yml ERROR (7) 19.94 14.21 None loops/nec40.yml ERROR (7) 19.19 12.30 None loops/string-1.yml true 12.52 8.16 None loops/sum01-2.yml true 17.00 9.84 None loops/sum03-2.yml true 12.53 7.45 None loops/sum04-2.yml true 15.89 9.39 None loops/sum_array-2-2.yml TIMEOUT 301.02 268.81 None loops/terminator_02-2.yml true 9.94 6.22 None loops/terminator_02-2_abstracted.yml true 9.92 6.30 None loops/terminator_03-2.yml true 12.24 6.86 None loops/terminator_03-2_abstracted.yml true 13.19 7.30 None loops/trex01-2.yml true 9.88 6.21 None loops/trex02-1.yml true 12.63 7.43 None loops/trex03-2.yml true 10.29 6.37 None loops/trex03-2_abstracted.yml true 11.85 7.16 None loops/trex04.yml true 12.15 6.90 None loops/trex04_abstracted.yml true 9.69 5.69 None loops/veris.c_NetBSD-libc_loop.yml true 17.88 10.09 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 15.78 9.49 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 9.80 6.55 None loops/vogal-1.yml TIMEOUT 300.13 279.36 None loops/while_infinite_loop_1.yml true 9.42 5.88 None loops/while_infinite_loop_2.yml true 11.70 6.62 None loops/while_infinite_loop_3.yml true 10.45 6.76 None loop-acceleration/array_1-2.yml true 20.02 13.33 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.14 286.69 None loop-acceleration/array_2-2.yml TIMEOUT 301.00 292.56 None loop-acceleration/array_3-1.yml true 13.13 7.47 None loop-acceleration/array_4.yml TIMEOUT 301.09 287.62 None loop-acceleration/const_1-1.yml true 12.66 7.49 None loop-acceleration/diamond_1-1.yml true 55.08 37.15 None loop-acceleration/diamond_2-2.yml true 35.07 25.79 None loop-acceleration/functions_1-1.yml true 13.20 7.40 None loop-acceleration/multivar_1-1.yml true 13.38 7.42 None loop-acceleration/nested_1-1.yml true 39.69 23.01 None loop-acceleration/overflow_1-1.yml true 13.45 7.73 None loop-acceleration/phases_1-1.yml TIMEOUT 300.96 291.06 None loop-acceleration/phases_2-2.yml true 28.26 21.00 None loop-acceleration/simple_1-2.yml true 12.51 7.07 None loop-acceleration/simple_1-2_abstracted.yml true 12.04 7.04 None loop-acceleration/simple_2-1.yml true 12.91 7.21 None loop-acceleration/simple_2-1_abstracted.yml true 11.86 7.00 None loop-acceleration/simple_3-2.yml true 14.45 8.37 None loop-acceleration/simple_4-2.yml true 12.89 7.84 None loop-acceleration/simple_4-2_abstracted.yml true 12.94 7.57 None loop-acceleration/underapprox_1-2.yml true 19.06 11.12 None loop-acceleration/underapprox_2-2.yml true 13.82 8.14 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.36 276.30 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.72 257.56 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.02 288.18 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 22.69 12.63 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 22.40 12.59 None loop-crafted/simple_array_index_value_4.yml true 27.43 15.56 None loop-crafted/simple_vardep_1.yml true 13.11 7.62 None loop-crafted/simple_vardep_2.yml true 13.67 7.58 None loop-invgen/MADWiFi-encode_ie_ok.yml true 15.43 8.59 None loop-invgen/NetBSD_loop.yml true 15.33 8.72 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 24.12 13.12 None loop-invgen/SpamAssassin-loop.yml true 17.12 9.34 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 22.40 14.36 None loop-invgen/apache-escape-absolute.yml true 17.30 9.39 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 30.42 16.34 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 69.22 41.19 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 119.40 80.98 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 30.10 16.64 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 29.56 15.78 None loop-invgen/apache-get-tag.yml true 12.64 8.38 None loop-invgen/down.yml TIMEOUT 300.18 242.21 None loop-invgen/fragtest_simple.yml TIMEOUT 301.16 258.28 None loop-invgen/half_2.yml TIMEOUT 300.26 275.33 None loop-invgen/heapsort.yml TIMEOUT 300.23 275.88 None loop-invgen/id_build.i.p+nlh-reducer.yml true 23.56 12.82 None loop-invgen/id_build.i.p+sep-reducer.yml true 23.77 13.00 None loop-invgen/id_build.i.v+lhb-reducer.yml true 10.90 6.85 None loop-invgen/id_build.yml true 9.51 5.64 None loop-invgen/large_const.yml true 17.48 10.54 None loop-invgen/nest-if3.yml true 9.88 6.49 None loop-invgen/nested6.yml true 19.79 11.56 None loop-invgen/nested9.yml true 19.41 11.18 None loop-invgen/sendmail-close-angle.yml true 25.44 14.14 None loop-invgen/seq-3.yml TIMEOUT 300.90 257.83 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.39 278.19 None loop-invgen/up.yml TIMEOUT 300.97 262.88 None loop-lit/afnp2014.yml true 14.32 8.29 None loop-lit/as2013-hybrid.yml true 15.30 8.77 None loop-lit/bh2017-ex-add.yml true 19.55 11.17 None loop-lit/bh2017-ex1-poly.yml true 19.32 10.54 None loop-lit/bh2017-ex3.yml true 18.50 10.19 None loop-lit/bhmr2007.yml true 17.21 10.04 None loop-lit/cggmp2005.yml true 13.87 8.06 None loop-lit/cggmp2005_variant.yml true 15.37 8.69 None loop-lit/cggmp2005b.yml true 13.60 8.28 None loop-lit/css2003.yml true 10.05 6.76 None loop-lit/ddlm2013.yml true 18.64 10.52 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 75.53 50.25 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 110.80 71.46 None loop-lit/gj2007.yml true 42.03 28.86 None loop-lit/gj2007b.yml true 15.27 8.70 None loop-lit/gr2006.yml true 67.25 41.30 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 13.24 7.48 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 13.44 7.60 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 10.52 6.45 None loop-lit/gsv2008.yml true 12.88 7.42 None loop-lit/hh2012-ex1b.yml true 11.92 7.37 None loop-lit/hh2012-ex2b.yml true 13.84 7.86 None loop-lit/hh2012-ex3.yml true 23.09 12.97 None loop-lit/hhk2008.yml true 10.93 7.27 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 13.96 7.93 None loop-lit/jm2006.yml true 14.19 8.00 None loop-lit/jm2006_variant.yml true 12.25 8.34 None loop-lit/mcmillan2006.yml TIMEOUT 300.53 268.71 None loop-lit/mine2017-ex4.10.yml true 13.62 7.90 None loop-lit/mine2017-ex4.6.yml true 14.93 8.29 None loop-lit/mine2017-ex4.7.yml true 12.51 7.28 None loop-lit/mine2017-ex4.8.yml true 9.81 6.38 None loop-new/count_by_1.yml true 13.15 7.88 None loop-new/count_by_1_variant.yml true 12.98 7.72 None loop-new/count_by_2.yml TIMEOUT 300.67 246.92 None loop-new/count_by_k.yml TIMEOUT 300.40 280.30 None loop-new/count_by_nondet.yml TIMEOUT 300.37 254.44 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 14.11 8.16 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 17.32 9.87 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 14.08 8.09 None loop-new/gauss_sum.yml true 13.97 8.06 None loop-new/half.yml true 22.40 12.54 None loop-new/nested-1.yml TIMEOUT 300.20 281.15 None loop-industry-pattern/aiob_1.yml unknown 18.55 10.07 None loop-industry-pattern/aiob_2.yml unknown 18.49 10.38 None loop-industry-pattern/aiob_3.yml unknown 18.11 10.05 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 18.21 10.32 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 18.20 10.27 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 14.70 8.72 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 19.81 11.13 None loop-industry-pattern/aiob_4.yml unknown 18.63 10.17 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 12.27 7.25 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 14.29 7.90 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 11.52 6.62 None loop-industry-pattern/mod3.yml true 14.22 7.96 None loop-industry-pattern/ofuf_1.yml unknown 18.81 10.27 None loop-industry-pattern/ofuf_2.yml unknown 15.38 8.92 None loop-industry-pattern/ofuf_3.yml unknown 14.29 8.54 None loop-industry-pattern/ofuf_4.yml unknown 18.31 10.51 None loop-industry-pattern/ofuf_5.yml unknown 18.98 10.42 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 300.97 291.05 None loops-crafted-1/discover_list.yml unknown 14.43 8.65 None loops-crafted-1/iftelse.yml TIMEOUT 301.02 290.09 None loops-crafted-1/in-de20.yml TIMEOUT 300.61 276.61 None loops-crafted-1/in-de31.yml TIMEOUT 300.20 273.01 None loops-crafted-1/in-de32.yml TIMEOUT 300.17 284.34 None loops-crafted-1/in-de41.yml TIMEOUT 300.73 264.37 None loops-crafted-1/in-de42.yml TIMEOUT 300.88 268.87 None loops-crafted-1/in-de51.yml TIMEOUT 300.18 281.14 None loops-crafted-1/in-de52.yml TIMEOUT 300.28 280.55 None loops-crafted-1/in-de61.yml TIMEOUT 300.55 267.11 None loops-crafted-1/in-de62.yml TIMEOUT 300.95 266.37 None loops-crafted-1/loopv1.yml true 13.60 8.08 None loops-crafted-1/loopv2.yml true 13.34 7.59 None loops-crafted-1/loopv3.yml true 22.02 12.86 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.48 280.39 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 301.03 284.10 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.58 285.12 None loops-crafted-1/mono-crafted_12.yml true 13.44 7.57 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 300.44 247.53 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 301.01 263.72 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.63 251.90 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 301.32 266.46 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.71 250.87 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 301.04 282.55 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.30 283.28 None loops-crafted-1/nested3-1.yml TIMEOUT 301.09 282.58 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 301.17 271.03 None loops-crafted-1/nested5-1.yml true 16.27 9.29 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 300.79 247.80 None loops-crafted-1/net_reset.yml unknown 22.23 12.07 None loops-crafted-1/sum_by_3.yml true 39.13 25.56 None loops-crafted-1/sum_by_3_abstracted.yml true 22.41 12.34 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.68 279.73 None loops-crafted-1/sumt2.yml true 15.04 8.59 None loops-crafted-1/sumt3.yml true 15.55 9.03 None loops-crafted-1/sumt4.yml true 16.48 9.46 None loops-crafted-1/sumt5.yml true 15.99 8.86 None loops-crafted-1/sumt6.yml true 15.92 8.88 None loops-crafted-1/sumt7.yml true 16.86 9.32 None loops-crafted-1/sumt8.yml true 16.79 9.27 None loops-crafted-1/sumt9.yml true 18.93 10.56 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.40 251.72 None loops-crafted-1/vnew1.yml TIMEOUT 300.23 270.25 None loops-crafted-1/vnew2.yml TIMEOUT 301.09 286.43 None loops-crafted-1/watermelon.yml TIMEOUT 300.40 243.72 None loop-invariants/bin-suffix-5.yml true 25.12 14.70 None loop-invariants/const.yml true 12.42 6.97 None loop-invariants/eq1.yml true 9.98 5.75 None loop-invariants/eq2.yml true 12.69 7.15 None loop-invariants/even.yml true 10.55 6.64 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 301.46 248.35 None loop-invariants/mod4.yml true 11.15 6.72 None loop-invariants/odd.yml true 13.04 7.31 None loop-simple/nested_1.yml true 9.41 5.75 None loop-simple/nested_2.yml true 14.67 9.06 None loop-simple/nested_3.yml true 37.84 22.41 None loop-simple/nested_4.yml true 146.69 130.45 None loop-simple/nested_5.yml OUT OF MEMORY 244.27 214.89 None loop-simple/nested_6.yml OUT OF MEMORY 115.91 82.47 None loop-zilu/benchmark02_linear.yml true 9.00 5.69 None loop-zilu/benchmark02_linear_abstracted.yml true 9.52 6.07 None loop-zilu/benchmark04_conjunctive.yml true 14.16 8.40 None loop-zilu/benchmark05_conjunctive.yml true 11.57 7.17 None loop-zilu/benchmark09_conjunctive.yml true 13.57 7.64 None loop-zilu/benchmark10_conjunctive.yml true 11.89 7.54 None loop-zilu/benchmark11_linear.yml true 10.17 6.41 None loop-zilu/benchmark11_linear_abstracted.yml true 9.92 6.09 None loop-zilu/benchmark14_linear.yml true 11.91 6.66 None loop-zilu/benchmark17_conjunctive.yml true 9.63 6.45 None loop-zilu/benchmark18_conjunctive.yml true 10.53 6.52 None loop-zilu/benchmark19_conjunctive.yml true 10.02 6.45 None loop-zilu/benchmark20_conjunctive.yml true 10.21 6.43 None loop-zilu/benchmark23_conjunctive.yml true 58.62 38.30 None loop-zilu/benchmark25_linear.yml true 9.78 6.24 None loop-zilu/benchmark25_linear_abstracted.yml true 9.84 5.96 None loop-zilu/benchmark26_linear.yml true 10.11 6.29 None loop-zilu/benchmark26_linear_abstracted.yml true 9.47 6.20 None loop-zilu/benchmark32_linear.yml true 9.22 5.41 None loop-zilu/benchmark33_linear.yml true 9.04 5.30 None loop-zilu/benchmark34_conjunctive.yml true 11.38 7.58 None loop-zilu/benchmark35_linear.yml true 9.34 5.75 None loop-zilu/benchmark37_conjunctive.yml true 9.92 6.43 None loop-zilu/benchmark43_conjunctive.yml true 10.54 7.05 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 10.89 6.90 None loop-zilu/benchmark51_polynomial.yml true 10.16 5.96 None loop-zilu/benchmark52_polynomial.yml true 9.96 6.31 None verifythis/duplets.yml TIMEOUT 300.42 279.39 None verifythis/elimination_max.yml TIMEOUT 301.08 284.24 None verifythis/lcp.yml TIMEOUT 300.99 283.85 None verifythis/prefixsum_iter.yml TIMEOUT 301.04 283.72 None nla-digbench/bresenham-ll.yml true 49.86 34.75 None nla-digbench/cohencu-ll.yml true 37.91 24.74 None nla-digbench/cohendiv-ll.yml true 19.39 11.51 None nla-digbench/dijkstra-u.yml TIMEOUT 301.07 285.84 None nla-digbench/divbin2.yml TIMEOUT 301.04 287.39 None nla-digbench/egcd-ll.yml true 31.69 25.09 None nla-digbench/egcd2-ll.yml TIMEOUT 300.15 281.55 None nla-digbench/egcd3-ll.yml TIMEOUT 300.35 279.97 None nla-digbench/fermat1-ll.yml true 17.44 10.57 None nla-digbench/fermat2-ll.yml true 15.08 8.97 None nla-digbench/geo1-ll.yml TIMEOUT 301.02 288.90 None nla-digbench/geo2-ll.yml TIMEOUT 300.96 292.90 None nla-digbench/geo3-ll.yml TIMEOUT 301.02 289.72 None nla-digbench/hard-ll.yml TIMEOUT 301.06 269.36 None nla-digbench/hard2.yml true 69.09 53.24 None nla-digbench/knuth.yml TIMEOUT 301.08 291.58 None nla-digbench/lcm1.yml TIMEOUT 300.92 296.45 None nla-digbench/lcm2.yml true 16.38 11.37 None nla-digbench/mannadiv.yml true 12.60 8.06 None nla-digbench/prod4br-ll.yml true 15.10 9.62 None nla-digbench/prodbin-ll.yml TIMEOUT 301.05 285.05 None nla-digbench/ps2-ll.yml true 12.68 7.87 None nla-digbench/ps3-ll.yml true 9.83 6.53 None nla-digbench/ps4-ll.yml true 12.82 8.43 None nla-digbench/ps5-ll.yml true 17.05 10.42 None nla-digbench/ps6-ll.yml true 154.58 147.15 None nla-digbench/sqrt1-ll.yml true 12.13 8.12 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 23.61 13.99 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 16.93 10.67 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 17.57 11.08 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 56.83 42.09 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 24.11 13.72 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 17.26 10.84 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 22.98 13.84 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 30.01 18.83 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 252.84 243.45 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 46.08 33.78 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 25.10 17.98 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 25.87 17.77 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 33.12 20.60 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 35.76 23.80 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 12.83 8.18 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 19.58 11.77 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 25.57 15.09 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 16.08 11.08 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 25.65 14.80 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 24.22 14.13 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 19.40 12.13 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 14.64 11.06 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 20.46 12.29 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 19.66 11.52 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 19.52 11.88 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 19.60 11.94 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 20.10 12.10 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 14.94 9.75 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 36.11 29.10 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 36.98 30.67 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.09 282.86 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.11 283.25 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 300.99 289.73 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.04 286.21 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 300.21 281.78 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 300.16 281.27 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.11 284.19 None nla-digbench-scaling/divbin2_unwindbound1.yml true 14.01 7.84 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 300.14 288.69 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 300.10 285.28 None nla-digbench-scaling/divbin2_unwindbound2.yml true 11.86 7.35 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.00 288.58 None nla-digbench-scaling/divbin2_unwindbound5.yml true 280.85 268.00 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 301.05 289.82 None nla-digbench-scaling/divbin2_valuebound1.yml true 27.74 20.72 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 300.98 292.69 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.01 290.95 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.07 288.31 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.04 288.61 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.05 285.98 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.05 286.50 None nla-digbench-scaling/divbin_unwindbound1.yml true 14.62 8.19 None nla-digbench-scaling/divbin_unwindbound2.yml true 13.14 7.95 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 300.14 277.47 None nla-digbench-scaling/divbin_valuebound1.yml true 85.37 64.65 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.09 284.86 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.03 288.20 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 300.24 275.42 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 300.99 289.88 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 300.16 274.80 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.07 285.46 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 15.57 10.23 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 44.51 36.46 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 61.48 53.27 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 25.72 18.15 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 48.48 40.92 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 37.95 29.85 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 62.39 54.92 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 33.16 22.53 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 301.05 285.93 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 301.03 288.40 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 80.76 66.87 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 300.38 282.89 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.09 277.36 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 301.07 283.49 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 36.72 21.33 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.69 265.89 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.31 279.18 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 75.38 52.13 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 301.49 262.48 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.48 275.61 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.91 263.46 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 12.00 8.19 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 13.51 8.93 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 13.81 9.19 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 13.06 8.62 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 13.43 9.34 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 13.30 9.23 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 13.43 9.33 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 14.67 11.02 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 18.40 12.23 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 15.57 11.06 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 14.66 10.37 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 18.71 12.13 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 15.03 11.09 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 18.84 12.09 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 300.97 293.12 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 301.09 287.97 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 300.98 293.46 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 301.09 288.14 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 301.01 292.45 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 300.98 293.16 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.03 288.99 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 21.29 14.01 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 301.09 286.91 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 301.05 286.71 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 39.93 30.54 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 301.07 287.39 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 300.98 292.07 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 300.37 284.50 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 11.41 7.25 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 11.96 8.04 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 301.02 288.95 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 12.33 8.14 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 208.67 200.03 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 16.98 9.95 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 282.40 275.91 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 31.88 25.77 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.96 292.04 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.95 294.47 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.97 292.39 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.94 294.69 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.94 294.37 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.94 293.98 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 13.12 7.47 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 13.19 7.69 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 13.27 8.16 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 20.34 13.78 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 96.56 87.69 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 12.71 7.85 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 300.99 290.27 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 91.64 83.39 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 300.09 284.85 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.07 285.64 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 50.16 44.28 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 301.02 288.59 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 300.98 291.67 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 300.98 293.74 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 13.34 7.60 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 15.94 9.14 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 301.02 288.57 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 12.97 7.74 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 237.25 224.01 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 13.08 7.84 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 300.98 291.87 None nla-digbench-scaling/hard-ll_valuebound1.yml true 31.56 18.39 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.48 271.08 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.43 266.85 None nla-digbench-scaling/hard-ll_valuebound2.yml true 43.15 27.30 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.20 279.32 None nla-digbench-scaling/hard-ll_valuebound5.yml true 132.36 113.45 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.20 277.97 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.04 287.41 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.06 287.10 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.07 286.71 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.03 287.69 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.06 288.39 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 300.98 292.39 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 300.99 291.56 None nla-digbench-scaling/hard2_valuebound1.yml true 21.22 13.14 None nla-digbench-scaling/hard2_valuebound10.yml true 102.87 81.91 None nla-digbench-scaling/hard2_valuebound100.yml true 89.96 77.45 None nla-digbench-scaling/hard2_valuebound2.yml true 64.29 43.53 None nla-digbench-scaling/hard2_valuebound20.yml true 100.01 80.04 None nla-digbench-scaling/hard2_valuebound5.yml true 91.76 77.93 None nla-digbench-scaling/hard2_valuebound50.yml true 103.79 81.80 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.05 291.64 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.03 294.33 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.02 294.17 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.07 291.46 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.03 294.07 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.05 291.22 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.02 294.21 None nla-digbench-scaling/knuth_valuebound1.yml true 34.35 22.38 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 301.20 285.38 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 300.34 286.38 None nla-digbench-scaling/knuth_valuebound2.yml true 32.79 21.20 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 300.33 284.17 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.20 285.32 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.11 287.37 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.91 297.28 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.93 296.12 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.95 294.81 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.91 297.04 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.95 294.70 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.92 296.68 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.94 294.26 None nla-digbench-scaling/lcm2_unwindbound1.yml true 16.20 11.20 None nla-digbench-scaling/lcm2_unwindbound10.yml true 20.12 14.45 None nla-digbench-scaling/lcm2_unwindbound100.yml true 19.10 14.33 None nla-digbench-scaling/lcm2_unwindbound2.yml true 16.81 11.09 None nla-digbench-scaling/lcm2_unwindbound20.yml true 21.15 15.14 None nla-digbench-scaling/lcm2_unwindbound5.yml true 18.94 13.47 None nla-digbench-scaling/lcm2_unwindbound50.yml true 23.97 15.34 None nla-digbench-scaling/lcm2_valuebound1.yml true 16.40 9.26 None nla-digbench-scaling/lcm2_valuebound10.yml true 14.40 10.06 None nla-digbench-scaling/lcm2_valuebound100.yml true 18.30 13.32 None nla-digbench-scaling/lcm2_valuebound2.yml true 21.44 14.28 None nla-digbench-scaling/lcm2_valuebound20.yml true 17.61 12.78 None nla-digbench-scaling/lcm2_valuebound5.yml true 22.57 14.67 None nla-digbench-scaling/lcm2_valuebound50.yml true 17.93 13.20 None nla-digbench-scaling/mannadiv_valuebound1.yml true 16.19 9.54 None nla-digbench-scaling/mannadiv_valuebound10.yml true 11.96 7.57 None nla-digbench-scaling/mannadiv_valuebound100.yml true 16.19 9.96 None nla-digbench-scaling/mannadiv_valuebound2.yml true 12.45 8.11 None nla-digbench-scaling/mannadiv_valuebound20.yml true 16.63 9.73 None nla-digbench-scaling/mannadiv_valuebound5.yml true 16.35 9.62 None nla-digbench-scaling/mannadiv_valuebound50.yml true 12.44 7.72 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 17.81 10.59 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 16.67 9.69 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 13.00 8.70 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 16.77 9.62 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 12.62 8.05 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 16.91 10.04 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 16.55 9.56 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 300.13 276.15 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 300.18 273.24 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 12.87 8.61 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 49.13 35.53 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 254.45 232.47 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 29.15 17.82 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 164.69 140.20 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 44.84 34.60 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.26 282.01 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 13.50 7.82 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 14.64 8.61 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 11.59 7.51 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 14.14 8.66 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 11.32 7.56 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 11.54 8.01 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 11.69 7.55 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 12.74 7.92 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 10.47 6.82 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 10.40 6.78 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 9.91 6.05 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 10.45 6.70 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 13.29 7.76 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.93 6.52 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 10.55 6.83 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 12.11 7.80 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 11.59 7.48 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 15.34 9.24 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 11.28 7.07 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 11.92 7.79 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 11.61 7.95 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 9.85 6.07 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 13.09 7.60 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 10.56 6.40 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 10.13 6.52 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 10.09 6.45 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 13.07 7.64 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 10.54 6.41 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 11.78 7.51 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 12.96 8.27 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 16.51 9.72 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 13.42 8.27 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 12.69 8.02 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 102.62 95.85 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 17.03 9.96 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 13.18 8.73 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 154.98 147.30 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 133.30 125.32 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 17.65 10.41 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 17.54 10.19 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.99 292.83 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 301.04 290.61 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 13.96 8.99 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 138.74 123.67 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 301.02 289.17 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 14.47 9.87 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 14.68 9.63 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 128.70 120.35 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 300.96 293.68 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 13.26 8.50 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 18.95 11.01 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 14.73 9.26 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 18.30 11.05 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 14.71 9.42 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 18.41 11.22 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 14.77 9.84 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 12.74 8.30 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 16.58 9.69 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 16.04 9.82 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 12.83 8.05 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 12.93 8.88 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 16.63 9.80 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 12.51 8.39 None recursive/Ackermann01-2.yml true 32.28 18.38 None recursive/Ackermann03.yml true 141.86 119.72 None recursive/Ackermann04.yml true 62.56 42.54 None recursive/Addition01-2.yml true 18.36 10.39 None recursive/Addition03-1.yml TIMEOUT 301.12 260.11 None recursive/EvenOdd01-1.yml TIMEOUT 300.62 238.03 None recursive/Fibonacci01-1.yml true 22.58 12.69 None recursive/Fibonacci02.yml true 107.17 66.76 None recursive/Fibonacci03.yml true 175.23 133.78 None recursive/McCarthy91-2.yml true 15.33 8.64 None recursive/MultCommutative-2.yml TIMEOUT 301.11 232.97 None recursive/Primes.yml true 25.28 16.12 None recursive/gcd01-1.yml true 16.80 9.91 None recursive/gcd02.yml TIMEOUT 300.69 274.34 None recursive/recHanoi01.yml TIMEOUT 300.31 242.28 None recursive/recHanoi02-2.yml true 10.17 6.24 None recursive/recHanoi03-2.yml true 16.25 10.15 None recursive-simple/afterrec-2.yml true 9.48 6.32 None recursive-simple/afterrec_2calls-2.yml true 9.37 6.13 None recursive-simple/fibo_10-2.yml true 140.94 105.32 None recursive-simple/fibo_15-1.yml TIMEOUT 300.75 266.35 None recursive-simple/fibo_20-2.yml TIMEOUT 301.05 238.97 None recursive-simple/fibo_25-2.yml TIMEOUT 300.49 268.57 None recursive-simple/fibo_2calls_10-1.yml true 256.23 189.00 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 301.02 255.70 None recursive-simple/fibo_2calls_2-2.yml true 18.23 10.55 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 300.91 233.14 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 301.32 237.13 None recursive-simple/fibo_2calls_4-1.yml true 35.27 19.84 None recursive-simple/fibo_2calls_5-1.yml true 41.46 26.28 None recursive-simple/fibo_2calls_6-1.yml true 68.21 41.44 None recursive-simple/fibo_2calls_8-1.yml true 88.70 61.76 None recursive-simple/fibo_5-1.yml true 33.78 19.55 None recursive-simple/fibo_7-1.yml true 59.59 34.21 None recursive-simple/id2_b2_o3.yml true 15.94 9.22 None recursive-simple/id2_b3_o5.yml true 12.54 7.84 None recursive-simple/id2_b5_o10.yml true 15.48 8.60 None recursive-simple/id2_i5_o5-2.yml true 27.08 15.75 None recursive-simple/id_b2_o3.yml true 11.42 6.68 None recursive-simple/id_b3_o5-2.yml true 14.02 7.93 None recursive-simple/id_b5_o10-2.yml true 11.45 6.80 None recursive-simple/id_i10_o10-2.yml true 49.48 30.81 None recursive-simple/id_i15_o15-1.yml true 89.61 65.70 None recursive-simple/id_i20_o20-1.yml true 252.71 201.44 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.40 247.06 None recursive-simple/id_i5_o5-2.yml true 23.41 13.87 None recursive-simple/sum_10x0-1.yml true 40.72 28.50 None recursive-simple/sum_15x0-1.yml true 107.08 76.09 None recursive-simple/sum_20x0-2.yml true 274.67 214.41 None recursive-simple/sum_25x0-1.yml TIMEOUT 301.20 261.80 None recursive-simple/sum_2x3-2.yml true 14.70 9.46 None recursive-simple/sum_non_eq-2.yml true 21.59 11.61 None recursive-with-pointer/simple-recursive.yml true 19.04 12.18 None verifythis/prefixsum_rec.yml TIMEOUT 300.38 277.75 None verifythis/elimination_max_rec.yml TIMEOUT 301.10 275.61 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.16 274.41 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 300.97 292.03 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 301.04 286.19 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.02 287.02 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 25.47 14.34 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 22.96 12.90 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.31 280.84 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 15.22 9.01 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 24.90 14.20 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 25.70 15.69 None recursified_loop-invariants/recursified_const.yml true 10.23 6.34 None recursified_loop-invariants/recursified_eq1.yml true 39.12 31.57 None recursified_loop-invariants/recursified_eq2.yml true 27.91 18.72 None recursified_loop-invariants/recursified_even.yml true 13.12 8.12 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.60 263.61 None recursified_loop-invariants/recursified_mod4.yml true 16.43 9.52 None recursified_loop-invariants/recursified_odd.yml true 12.40 7.58 None recursified_loop-simple/recursified_nested_1.yml true 44.80 30.65 None recursified_loop-simple/recursified_nested_2.yml true 79.32 54.80 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.62 258.64 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 300.62 260.93 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.50 270.13 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.56 238.12 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 300.63 269.34 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.40 277.83 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 301.14 282.73 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 300.25 272.19 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.63 257.55 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.77 275.30 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.34 281.14 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 301.60 254.14 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 300.37 274.14 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.16 285.58 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.33 280.92 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 300.33 281.26 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 300.30 281.24 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 301.16 280.81 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.67 262.45 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.05 293.37 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 300.97 291.16 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 300.35 278.49 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 300.31 278.81 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.82 259.25 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.32 276.29 None recursified_nla-digbench/recursified_ps2-ll.yml true 20.40 12.48 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 300.98 291.97 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 300.53 272.07 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 301.00 290.84 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 300.19 276.19 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.89 265.99 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 80307.22 5262.25 - Statistics: 666 Files correct: 426 correct true: 426 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 240 Score: 852 (max: 1332)