BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Fri, 2024-09-20 11:56:30 CEST tool: ULTIMATE Automizer 0.2.4-f1d7dc9d 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.09 9.32 None loops/count_up_down-1.yml TIMEOUT 300.38 275.96 None loops/eureka_01-2.yml TIMEOUT 300.97 261.80 None loops/eureka_05.yml TIMEOUT 300.35 267.92 None loops/for_infinite_loop_1.yml true 12.92 7.20 None loops/for_infinite_loop_2.yml true 9.25 5.50 None loops/heavy-2.yml true 16.01 9.17 None loops/insertion_sort-2-2.yml TIMEOUT 301.03 289.36 None loops/invert_string-3.yml true 101.48 83.52 None loops/linear_sea.ch.yml TIMEOUT 300.25 268.42 None loops/lu.cmp.yml true 19.11 10.96 None loops/matrix-1.yml TIMEOUT 300.10 282.59 None loops/n.c11.yml true 10.28 6.72 None loops/n.c40.yml ERROR (7) 19.90 13.40 None loops/nec40.yml ERROR (7) 18.79 11.74 None loops/string-1.yml true 11.95 8.01 None loops/sum01-2.yml true 16.67 9.48 None loops/sum03-2.yml true 13.09 7.60 None loops/sum04-2.yml true 15.56 9.54 None loops/sum_array-2-2.yml TIMEOUT 301.32 258.48 None loops/terminator_02-2.yml true 10.14 6.20 None loops/terminator_02-2_abstracted.yml true 10.12 5.84 None loops/terminator_03-2.yml true 12.81 7.58 None loops/terminator_03-2_abstracted.yml true 12.09 6.80 None loops/trex01-2.yml true 9.70 6.01 None loops/trex02-1.yml true 12.76 7.14 None loops/trex03-2.yml true 9.80 6.01 None loops/trex03-2_abstracted.yml true 11.58 7.10 None loops/trex04.yml true 9.41 5.48 None loops/trex04_abstracted.yml true 12.66 7.39 None loops/veris.c_NetBSD-libc_loop.yml true 17.35 9.83 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 12.28 8.45 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 11.82 7.00 None loops/vogal-1.yml TIMEOUT 300.33 271.11 None loops/while_infinite_loop_1.yml true 9.64 5.68 None loops/while_infinite_loop_2.yml true 12.33 7.27 None loops/while_infinite_loop_3.yml true 12.37 7.19 None loop-acceleration/array_1-2.yml true 20.29 13.28 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.26 291.09 None loop-acceleration/array_2-2.yml TIMEOUT 301.01 292.58 None loop-acceleration/array_3-1.yml true 13.75 8.11 None loop-acceleration/array_4.yml TIMEOUT 301.12 282.43 None loop-acceleration/const_1-1.yml true 12.92 7.38 None loop-acceleration/diamond_1-1.yml true 53.89 37.19 None loop-acceleration/diamond_2-2.yml true 36.29 25.78 None loop-acceleration/functions_1-1.yml true 13.71 7.79 None loop-acceleration/multivar_1-1.yml true 9.62 6.38 None loop-acceleration/nested_1-1.yml true 40.24 23.32 None loop-acceleration/overflow_1-1.yml true 13.00 7.36 None loop-acceleration/phases_1-1.yml TIMEOUT 300.96 291.84 None loop-acceleration/phases_2-2.yml true 27.25 20.70 None loop-acceleration/simple_1-2.yml true 14.51 8.10 None loop-acceleration/simple_1-2_abstracted.yml true 12.51 6.98 None loop-acceleration/simple_2-1.yml true 13.21 7.77 None loop-acceleration/simple_2-1_abstracted.yml true 12.24 6.93 None loop-acceleration/simple_3-2.yml true 14.61 8.33 None loop-acceleration/simple_4-2.yml true 13.83 8.03 None loop-acceleration/simple_4-2_abstracted.yml true 13.36 7.45 None loop-acceleration/underapprox_1-2.yml true 19.14 11.69 None loop-acceleration/underapprox_2-2.yml true 14.79 8.65 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.80 274.85 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.93 264.25 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.07 285.71 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 23.89 13.06 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 23.24 13.20 None loop-crafted/simple_array_index_value_4.yml true 28.50 15.69 None loop-crafted/simple_vardep_1.yml true 13.52 7.91 None loop-crafted/simple_vardep_2.yml true 15.24 8.29 None loop-invgen/MADWiFi-encode_ie_ok.yml true 17.00 9.76 None loop-invgen/NetBSD_loop.yml true 16.16 9.14 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 25.37 13.46 None loop-invgen/SpamAssassin-loop.yml true 18.02 9.70 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 22.88 14.40 None loop-invgen/apache-escape-absolute.yml true 18.12 10.26 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 32.61 17.47 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 71.91 41.89 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 124.42 83.79 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 31.39 17.10 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 22.73 12.83 None loop-invgen/apache-get-tag.yml true 17.27 9.94 None loop-invgen/down.yml TIMEOUT 301.22 283.08 None loop-invgen/fragtest_simple.yml TIMEOUT 301.03 233.48 None loop-invgen/half_2.yml TIMEOUT 300.67 240.79 None loop-invgen/heapsort.yml TIMEOUT 301.16 283.88 None loop-invgen/id_build.i.p+nlh-reducer.yml true 24.79 13.36 None loop-invgen/id_build.i.p+sep-reducer.yml true 24.11 13.00 None loop-invgen/id_build.i.v+lhb-reducer.yml true 13.13 8.68 None loop-invgen/id_build.yml true 11.09 6.43 None loop-invgen/large_const.yml true 18.29 10.74 None loop-invgen/nest-if3.yml true 12.33 6.91 None loop-invgen/nested6.yml true 20.40 12.01 None loop-invgen/nested9.yml true 15.86 10.27 None loop-invgen/sendmail-close-angle.yml true 26.01 14.29 None loop-invgen/seq-3.yml TIMEOUT 300.93 257.60 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.63 267.02 None loop-invgen/up.yml TIMEOUT 301.14 283.00 None loop-lit/afnp2014.yml true 10.93 7.15 None loop-lit/as2013-hybrid.yml true 14.72 8.31 None loop-lit/bh2017-ex-add.yml true 14.42 8.76 None loop-lit/bh2017-ex1-poly.yml true 19.31 10.84 None loop-lit/bh2017-ex3.yml true 13.81 8.10 None loop-lit/bhmr2007.yml true 17.13 9.89 None loop-lit/cggmp2005.yml true 10.82 7.00 None loop-lit/cggmp2005_variant.yml true 11.46 7.28 None loop-lit/cggmp2005b.yml true 13.26 7.77 None loop-lit/css2003.yml true 12.78 7.41 None loop-lit/ddlm2013.yml true 13.66 9.51 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 64.97 44.02 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 110.84 71.72 None loop-lit/gj2007.yml true 54.65 33.54 None loop-lit/gj2007b.yml true 12.73 8.36 None loop-lit/gr2006.yml true 61.34 38.00 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 14.13 8.25 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 14.53 8.44 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 14.22 8.08 None loop-lit/gsv2008.yml true 14.58 8.64 None loop-lit/hh2012-ex1b.yml true 13.45 8.05 None loop-lit/hh2012-ex2b.yml true 14.62 8.28 None loop-lit/hh2012-ex3.yml true 25.62 14.53 None loop-lit/hhk2008.yml true 15.29 8.61 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 13.31 8.72 None loop-lit/jm2006.yml true 12.89 7.66 None loop-lit/jm2006_variant.yml true 17.19 10.09 None loop-lit/mcmillan2006.yml TIMEOUT 300.55 263.89 None loop-lit/mine2017-ex4.10.yml true 12.21 7.61 None loop-lit/mine2017-ex4.6.yml true 13.50 8.67 None loop-lit/mine2017-ex4.7.yml true 13.66 7.54 None loop-lit/mine2017-ex4.8.yml true 13.61 7.50 None loop-new/count_by_1.yml true 12.09 7.71 None loop-new/count_by_1_variant.yml true 11.49 7.73 None loop-new/count_by_2.yml TIMEOUT 300.70 245.28 None loop-new/count_by_k.yml TIMEOUT 300.65 250.91 None loop-new/count_by_nondet.yml TIMEOUT 300.34 252.02 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 12.60 7.81 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 15.51 10.66 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 12.34 8.04 None loop-new/gauss_sum.yml true 12.28 8.66 None loop-new/half.yml true 19.94 11.88 None loop-new/nested-1.yml TIMEOUT 301.20 286.19 None loop-industry-pattern/aiob_1.yml unknown 16.77 9.77 None loop-industry-pattern/aiob_2.yml unknown 17.08 10.05 None loop-industry-pattern/aiob_3.yml unknown 17.01 10.48 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 17.36 10.24 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 17.03 9.79 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 21.86 11.86 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 19.34 11.15 None loop-industry-pattern/aiob_4.yml unknown 20.16 11.90 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 17.71 9.64 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 13.62 8.06 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 16.33 9.14 None loop-industry-pattern/mod3.yml true 16.02 9.40 None loop-industry-pattern/ofuf_1.yml unknown 22.73 12.53 None loop-industry-pattern/ofuf_2.yml unknown 18.06 10.76 None loop-industry-pattern/ofuf_3.yml unknown 21.47 12.44 None loop-industry-pattern/ofuf_4.yml unknown 21.52 12.22 None loop-industry-pattern/ofuf_5.yml unknown 22.10 11.93 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 301.04 286.93 None loops-crafted-1/discover_list.yml unknown 21.81 11.82 None loops-crafted-1/iftelse.yml TIMEOUT 301.02 289.67 None loops-crafted-1/in-de20.yml TIMEOUT 300.88 254.86 None loops-crafted-1/in-de31.yml TIMEOUT 301.07 284.92 None loops-crafted-1/in-de32.yml TIMEOUT 301.15 258.61 None loops-crafted-1/in-de41.yml TIMEOUT 300.37 273.76 None loops-crafted-1/in-de42.yml TIMEOUT 300.78 263.24 None loops-crafted-1/in-de51.yml TIMEOUT 300.50 268.79 None loops-crafted-1/in-de52.yml TIMEOUT 300.28 277.00 None loops-crafted-1/in-de61.yml TIMEOUT 300.59 265.51 None loops-crafted-1/in-de62.yml TIMEOUT 301.04 264.03 None loops-crafted-1/loopv1.yml true 15.04 8.54 None loops-crafted-1/loopv2.yml true 14.26 8.08 None loops-crafted-1/loopv3.yml true 24.26 13.46 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.77 250.69 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 301.05 282.42 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.85 289.24 None loops-crafted-1/mono-crafted_12.yml true 15.05 8.86 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 300.78 249.14 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.74 250.47 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.71 250.77 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 301.29 265.02 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.80 265.42 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 301.05 284.06 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.30 283.72 None loops-crafted-1/nested3-1.yml TIMEOUT 300.29 273.17 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 300.65 272.73 None loops-crafted-1/nested5-1.yml true 16.83 9.69 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 301.18 244.76 None loops-crafted-1/net_reset.yml unknown 22.81 12.24 None loops-crafted-1/sum_by_3.yml true 39.94 25.76 None loops-crafted-1/sum_by_3_abstracted.yml true 23.18 12.40 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.94 246.63 None loops-crafted-1/sumt2.yml true 15.12 8.82 None loops-crafted-1/sumt3.yml true 16.56 9.07 None loops-crafted-1/sumt4.yml true 16.77 9.35 None loops-crafted-1/sumt5.yml true 16.80 9.29 None loops-crafted-1/sumt6.yml true 17.22 9.47 None loops-crafted-1/sumt7.yml true 18.38 10.03 None loops-crafted-1/sumt8.yml true 17.78 9.79 None loops-crafted-1/sumt9.yml true 19.50 10.72 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.22 249.02 None loops-crafted-1/vnew1.yml TIMEOUT 300.29 268.05 None loops-crafted-1/vnew2.yml TIMEOUT 301.01 292.12 None loops-crafted-1/watermelon.yml TIMEOUT 300.46 241.02 None loop-invariants/bin-suffix-5.yml true 26.81 15.66 None loop-invariants/const.yml true 13.67 7.89 None loop-invariants/eq1.yml true 14.19 8.14 None loop-invariants/eq2.yml true 13.52 7.49 None loop-invariants/even.yml true 14.72 8.28 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 301.02 258.72 None loop-invariants/mod4.yml true 14.34 8.42 None loop-invariants/odd.yml true 14.26 8.49 None loop-simple/nested_1.yml true 10.39 6.30 None loop-simple/nested_2.yml true 19.33 11.59 None loop-simple/nested_3.yml true 31.07 19.05 None loop-simple/nested_4.yml true 186.75 156.66 None loop-simple/nested_5.yml OUT OF MEMORY 158.96 111.89 None loop-simple/nested_6.yml OUT OF MEMORY 109.39 78.30 None loop-zilu/benchmark02_linear.yml true 10.21 6.78 None loop-zilu/benchmark02_linear_abstracted.yml true 12.81 7.63 None loop-zilu/benchmark04_conjunctive.yml true 11.64 7.18 None loop-zilu/benchmark05_conjunctive.yml true 12.15 8.80 None loop-zilu/benchmark09_conjunctive.yml true 14.19 8.76 None loop-zilu/benchmark10_conjunctive.yml true 12.38 7.53 None loop-zilu/benchmark11_linear.yml true 10.72 7.50 None loop-zilu/benchmark11_linear_abstracted.yml true 12.49 7.33 None loop-zilu/benchmark14_linear.yml true 9.88 6.27 None loop-zilu/benchmark17_conjunctive.yml true 12.11 7.32 None loop-zilu/benchmark18_conjunctive.yml true 10.75 7.13 None loop-zilu/benchmark19_conjunctive.yml true 13.89 8.57 None loop-zilu/benchmark20_conjunctive.yml true 11.02 6.66 None loop-zilu/benchmark23_conjunctive.yml true 59.00 42.45 None loop-zilu/benchmark25_linear.yml true 10.15 7.34 None loop-zilu/benchmark25_linear_abstracted.yml true 12.32 7.26 None loop-zilu/benchmark26_linear.yml true 10.44 6.24 None loop-zilu/benchmark26_linear_abstracted.yml true 10.19 6.30 None loop-zilu/benchmark32_linear.yml true 12.31 7.15 None loop-zilu/benchmark33_linear.yml true 10.12 5.80 None loop-zilu/benchmark34_conjunctive.yml true 12.07 7.79 None loop-zilu/benchmark35_linear.yml true 10.22 5.94 None loop-zilu/benchmark37_conjunctive.yml true 13.44 8.28 None loop-zilu/benchmark43_conjunctive.yml true 10.41 7.08 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 11.44 6.62 None loop-zilu/benchmark51_polynomial.yml true 11.93 7.03 None loop-zilu/benchmark52_polynomial.yml true 10.06 6.65 None verifythis/duplets.yml TIMEOUT 300.77 266.13 None verifythis/elimination_max.yml TIMEOUT 301.13 281.07 None verifythis/lcp.yml TIMEOUT 300.65 278.24 None verifythis/prefixsum_iter.yml TIMEOUT 301.01 288.66 None nla-digbench/bresenham-ll.yml true 52.18 38.80 None nla-digbench/cohencu-ll.yml true 39.34 25.84 None nla-digbench/cohendiv-ll.yml true 21.78 12.57 None nla-digbench/dijkstra-u.yml TIMEOUT 301.08 282.64 None nla-digbench/divbin2.yml TIMEOUT 300.61 285.94 None nla-digbench/egcd-ll.yml true 37.33 27.25 None nla-digbench/egcd2-ll.yml TIMEOUT 300.28 276.71 None nla-digbench/egcd3-ll.yml TIMEOUT 300.96 263.96 None nla-digbench/fermat1-ll.yml true 18.10 10.90 None nla-digbench/fermat2-ll.yml true 17.26 10.01 None nla-digbench/geo1-ll.yml TIMEOUT 301.07 287.38 None nla-digbench/geo2-ll.yml TIMEOUT 300.98 291.53 None nla-digbench/geo3-ll.yml TIMEOUT 300.18 286.01 None nla-digbench/hard-ll.yml TIMEOUT 301.05 266.16 None nla-digbench/hard2.yml true 79.63 64.28 None nla-digbench/knuth.yml TIMEOUT 301.07 292.29 None nla-digbench/lcm1.yml TIMEOUT 300.93 296.70 None nla-digbench/lcm2.yml true 20.28 13.50 None nla-digbench/mannadiv.yml true 16.93 10.01 None nla-digbench/prod4br-ll.yml true 16.63 10.43 None nla-digbench/prodbin-ll.yml TIMEOUT 300.76 277.34 None nla-digbench/ps2-ll.yml true 13.34 7.72 None nla-digbench/ps3-ll.yml true 10.84 6.70 None nla-digbench/ps4-ll.yml true 13.83 8.68 None nla-digbench/ps5-ll.yml true 17.66 10.35 None nla-digbench/ps6-ll.yml true 157.51 148.75 None nla-digbench/sqrt1-ll.yml true 13.40 8.60 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 24.27 14.02 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 17.34 11.22 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 24.61 14.07 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 66.80 50.68 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 18.04 11.97 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 24.56 13.92 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 23.67 15.09 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 30.94 19.28 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 289.03 272.78 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 41.05 31.31 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 35.22 21.82 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 34.09 22.94 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 35.24 21.12 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 38.01 24.85 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 16.84 11.92 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 19.76 13.73 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 25.97 14.68 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 23.56 13.50 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 27.82 16.12 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 23.95 15.98 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 19.35 12.95 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 21.85 12.81 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 22.02 13.18 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 21.59 13.05 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 21.09 12.27 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 19.74 11.58 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 20.73 12.07 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 20.58 12.10 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 31.40 25.98 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 20.43 15.16 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 300.45 281.22 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.12 284.11 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 300.20 279.12 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.10 282.85 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.11 283.06 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 301.14 282.67 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 300.23 279.85 None nla-digbench-scaling/divbin2_unwindbound1.yml true 10.70 6.81 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.10 289.49 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 301.02 286.56 None nla-digbench-scaling/divbin2_unwindbound2.yml true 12.57 7.69 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 300.98 292.28 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.14 286.81 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 301.04 290.70 None nla-digbench-scaling/divbin2_valuebound1.yml true 39.32 29.54 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.05 287.53 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.07 286.47 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.09 286.75 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.04 287.38 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.08 284.43 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.07 286.29 None nla-digbench-scaling/divbin_unwindbound1.yml true 14.58 8.17 None nla-digbench-scaling/divbin_unwindbound2.yml true 18.78 10.53 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 300.23 276.17 None nla-digbench-scaling/divbin_valuebound1.yml true 69.45 54.52 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.10 280.56 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.01 289.04 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 301.17 284.98 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.04 288.42 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 301.06 284.85 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.15 281.07 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 16.18 10.59 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 39.50 31.43 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 61.00 53.06 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 32.55 23.38 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 48.44 41.07 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 45.04 32.93 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 68.53 59.33 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 32.32 22.13 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.19 274.76 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 301.02 289.25 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 79.25 60.34 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 300.45 281.49 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.12 276.70 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 300.32 281.19 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 36.17 21.26 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.64 267.60 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.49 269.05 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 79.26 54.49 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.85 275.17 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.51 278.28 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.98 272.63 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 16.29 9.41 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 14.09 9.04 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 15.06 9.90 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 17.26 10.71 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 13.82 8.89 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 18.21 10.90 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 14.75 9.39 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 18.75 12.05 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 14.69 10.62 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 15.21 10.53 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 18.52 12.01 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 14.79 10.34 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 18.56 12.07 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 15.98 10.99 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 300.19 286.73 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 300.98 292.80 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 300.17 286.93 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 300.99 291.48 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 301.06 287.68 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 300.98 292.53 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.04 288.93 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 21.95 14.54 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 301.04 287.41 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 300.16 286.47 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 38.18 29.20 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 300.24 287.57 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 300.97 291.85 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 300.98 293.52 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 14.82 8.77 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 16.52 10.11 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 300.97 291.86 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 16.82 9.81 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 231.94 219.45 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 16.42 9.76 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 301.08 284.89 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 32.67 25.88 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.95 294.47 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.95 293.91 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.98 290.88 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.96 291.54 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.96 292.47 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.99 290.14 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 10.05 6.73 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 13.55 8.22 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 13.82 8.00 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 16.38 12.13 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 88.32 78.88 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 13.25 7.67 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 301.02 288.68 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 87.50 82.19 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 301.06 286.54 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 301.00 291.54 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 47.78 42.96 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 300.97 291.64 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 300.97 292.96 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 301.07 285.62 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 10.22 6.83 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 11.99 7.84 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 301.01 290.96 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 12.88 7.76 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 290.09 277.78 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.02 6.33 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 300.99 291.50 None nla-digbench-scaling/hard-ll_valuebound1.yml true 23.50 14.24 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.32 281.26 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.41 265.87 None nla-digbench-scaling/hard-ll_valuebound2.yml true 56.98 32.72 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.43 269.70 None nla-digbench-scaling/hard-ll_valuebound5.yml true 146.04 118.68 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.32 269.04 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.03 286.81 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.03 287.48 None nla-digbench-scaling/hard-u_valuebound100.yml true 282.51 270.79 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.03 291.88 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.03 287.01 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.00 292.29 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.05 286.07 None nla-digbench-scaling/hard2_valuebound1.yml true 27.98 15.91 None nla-digbench-scaling/hard2_valuebound10.yml true 89.85 76.13 None nla-digbench-scaling/hard2_valuebound100.yml true 102.57 81.09 None nla-digbench-scaling/hard2_valuebound2.yml true 62.18 42.89 None nla-digbench-scaling/hard2_valuebound20.yml true 87.72 74.22 None nla-digbench-scaling/hard2_valuebound5.yml true 88.67 74.47 None nla-digbench-scaling/hard2_valuebound50.yml true 101.21 80.74 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.01 294.57 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.06 291.04 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.03 294.39 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.01 294.80 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.06 292.18 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.06 291.79 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.05 291.81 None nla-digbench-scaling/knuth_valuebound1.yml true 33.34 22.05 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 301.12 290.52 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 300.15 285.88 None nla-digbench-scaling/knuth_valuebound2.yml true 32.88 21.58 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 301.22 284.47 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.12 289.89 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.09 287.10 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.91 297.11 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.95 294.62 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.92 296.35 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.94 295.20 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.92 296.35 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.92 296.70 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.94 295.09 None nla-digbench-scaling/lcm2_unwindbound1.yml true 20.34 13.23 None nla-digbench-scaling/lcm2_unwindbound10.yml true 27.08 17.87 None nla-digbench-scaling/lcm2_unwindbound100.yml true 24.18 15.91 None nla-digbench-scaling/lcm2_unwindbound2.yml true 22.93 14.08 None nla-digbench-scaling/lcm2_unwindbound20.yml true 24.86 16.72 None nla-digbench-scaling/lcm2_unwindbound5.yml true 24.29 15.90 None nla-digbench-scaling/lcm2_unwindbound50.yml true 19.18 13.45 None nla-digbench-scaling/lcm2_valuebound1.yml true 17.95 10.05 None nla-digbench-scaling/lcm2_valuebound10.yml true 20.16 12.44 None nla-digbench-scaling/lcm2_valuebound100.yml true 21.78 14.70 None nla-digbench-scaling/lcm2_valuebound2.yml true 21.25 13.71 None nla-digbench-scaling/lcm2_valuebound20.yml true 18.46 13.66 None nla-digbench-scaling/lcm2_valuebound5.yml true 23.19 15.17 None nla-digbench-scaling/lcm2_valuebound50.yml true 22.16 14.40 None nla-digbench-scaling/mannadiv_valuebound1.yml true 15.76 9.72 None nla-digbench-scaling/mannadiv_valuebound10.yml true 13.23 8.72 None nla-digbench-scaling/mannadiv_valuebound100.yml true 15.66 9.64 None nla-digbench-scaling/mannadiv_valuebound2.yml true 12.58 8.68 None nla-digbench-scaling/mannadiv_valuebound20.yml true 17.41 10.23 None nla-digbench-scaling/mannadiv_valuebound5.yml true 16.96 9.97 None nla-digbench-scaling/mannadiv_valuebound50.yml true 15.89 9.38 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 15.16 9.58 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 13.48 9.15 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 16.49 9.47 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 16.99 9.82 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 17.68 9.92 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 15.90 9.23 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 13.02 8.60 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 300.10 280.72 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 300.28 274.04 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 17.14 10.24 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 59.27 40.82 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 249.86 228.36 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 22.50 15.82 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 159.40 137.94 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 51.71 36.92 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.31 282.18 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 10.56 7.18 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 11.14 7.14 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 11.23 8.06 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 14.53 8.92 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 15.01 9.14 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 11.25 7.53 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 15.69 9.41 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 13.46 7.79 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 13.10 7.64 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 10.42 6.70 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 13.36 7.78 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 13.42 8.28 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 13.12 7.62 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 10.00 6.99 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 14.47 8.34 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 14.98 9.11 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 15.29 8.91 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 10.80 7.80 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 15.23 9.24 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 11.16 7.40 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 14.87 9.08 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 14.16 8.43 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 13.59 7.90 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 10.12 6.79 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 13.42 8.20 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 13.04 7.65 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 13.51 7.85 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 10.05 6.57 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 15.87 9.29 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 17.59 10.65 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 12.47 8.38 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 17.36 10.66 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 16.58 10.18 None nla-digbench-scaling/ps4-ll_valuebound5.yml TIMEOUT 300.99 291.90 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 13.07 9.24 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 17.80 10.49 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 165.54 154.82 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 131.52 124.94 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 18.50 11.05 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 17.78 10.38 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.95 295.68 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 136.99 126.73 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 18.53 10.69 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 156.66 141.62 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 300.98 293.32 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 19.43 11.71 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 14.11 8.60 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 126.60 118.83 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 301.05 289.96 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 17.14 10.26 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 18.79 11.47 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 19.26 11.60 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 18.16 10.78 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 17.95 10.66 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 19.37 11.31 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 18.32 10.83 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 12.28 8.11 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 12.58 8.58 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 16.43 9.66 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 15.99 9.76 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 12.45 8.59 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 16.98 9.96 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 15.66 9.37 None recursive/Ackermann01-2.yml true 25.91 16.30 None recursive/Ackermann03.yml true 159.97 123.66 None recursive/Ackermann04.yml true 85.47 55.14 None recursive/Addition01-2.yml true 17.67 9.99 None recursive/Addition03-1.yml TIMEOUT 300.34 247.15 None recursive/EvenOdd01-1.yml TIMEOUT 300.70 238.15 None recursive/Fibonacci01-1.yml true 18.62 10.94 None recursive/Fibonacci02.yml true 107.46 66.39 None recursive/Fibonacci03.yml true 140.67 115.58 None recursive/McCarthy91-2.yml true 11.11 6.67 None recursive/MultCommutative-2.yml TIMEOUT 300.90 233.94 None recursive/Primes.yml true 26.82 16.07 None recursive/gcd01-1.yml true 12.87 7.59 None recursive/gcd02.yml TIMEOUT 300.56 272.52 None recursive/recHanoi01.yml TIMEOUT 300.80 264.97 None recursive/recHanoi02-2.yml true 10.41 6.30 None recursive/recHanoi03-2.yml true 17.04 10.01 None recursive-simple/afterrec-2.yml true 9.81 5.77 None recursive-simple/afterrec_2calls-2.yml true 12.46 6.87 None recursive-simple/fibo_10-2.yml true 149.75 113.61 None recursive-simple/fibo_15-1.yml TIMEOUT 301.29 238.76 None recursive-simple/fibo_20-2.yml TIMEOUT 301.30 241.28 None recursive-simple/fibo_25-2.yml TIMEOUT 301.25 242.04 None recursive-simple/fibo_2calls_10-1.yml true 264.79 195.73 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 300.82 266.30 None recursive-simple/fibo_2calls_2-2.yml true 13.66 8.77 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 300.89 264.51 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 301.24 252.14 None recursive-simple/fibo_2calls_4-1.yml true 26.28 15.94 None recursive-simple/fibo_2calls_5-1.yml true 52.82 30.73 None recursive-simple/fibo_2calls_6-1.yml true 52.65 33.25 None recursive-simple/fibo_2calls_8-1.yml true 112.08 69.83 None recursive-simple/fibo_5-1.yml true 24.77 15.24 None recursive-simple/fibo_7-1.yml true 44.53 27.17 None recursive-simple/id2_b2_o3.yml true 15.65 9.11 None recursive-simple/id2_b3_o5.yml true 16.17 9.49 None recursive-simple/id2_b5_o10.yml true 15.40 8.88 None recursive-simple/id2_i5_o5-2.yml true 26.29 14.77 None recursive-simple/id_b2_o3.yml true 14.26 8.13 None recursive-simple/id_b3_o5-2.yml true 13.99 7.94 None recursive-simple/id_b5_o10-2.yml true 10.72 6.64 None recursive-simple/id_i10_o10-2.yml true 47.72 29.85 None recursive-simple/id_i15_o15-1.yml true 111.00 78.74 None recursive-simple/id_i20_o20-1.yml true 254.12 202.29 None recursive-simple/id_i25_o25-1.yml TIMEOUT 301.10 261.51 None recursive-simple/id_i5_o5-2.yml true 23.12 13.62 None recursive-simple/sum_10x0-1.yml true 51.42 32.47 None recursive-simple/sum_15x0-1.yml true 87.12 67.97 None recursive-simple/sum_20x0-2.yml true 272.95 213.38 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.36 247.70 None recursive-simple/sum_2x3-2.yml true 14.05 8.36 None recursive-simple/sum_non_eq-2.yml true 16.28 9.32 None recursive-with-pointer/simple-recursive.yml true 24.76 13.87 None verifythis/prefixsum_rec.yml TIMEOUT 300.66 271.64 None verifythis/elimination_max_rec.yml TIMEOUT 300.27 272.53 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.14 275.11 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 300.08 280.20 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 300.17 280.16 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 300.28 267.40 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 22.91 13.59 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 23.57 13.27 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.02 286.52 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 16.36 9.93 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 19.81 12.29 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 26.06 15.71 None recursified_loop-invariants/recursified_const.yml true 11.32 6.90 None recursified_loop-invariants/recursified_eq1.yml true 40.89 32.10 None recursified_loop-invariants/recursified_eq2.yml true 31.77 25.05 None recursified_loop-invariants/recursified_even.yml true 13.26 8.32 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.63 267.37 None recursified_loop-invariants/recursified_mod4.yml true 12.43 7.51 None recursified_loop-invariants/recursified_odd.yml true 13.29 8.09 None recursified_loop-simple/recursified_nested_1.yml true 37.44 27.74 None recursified_loop-simple/recursified_nested_2.yml true 105.49 68.07 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.55 265.94 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 301.08 264.85 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.58 262.64 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.31 255.06 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 301.44 263.35 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.64 259.22 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 300.58 279.61 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 300.64 257.30 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.71 260.37 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.49 274.87 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.47 272.21 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.61 260.72 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 300.28 285.08 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.11 283.85 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.16 285.92 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 301.03 289.52 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 300.14 280.99 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.38 271.89 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 301.06 264.26 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.09 290.49 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 301.03 291.90 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 300.87 277.33 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 300.37 277.74 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.40 243.75 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.29 274.55 None recursified_nla-digbench/recursified_ps2-ll.yml true 50.65 35.54 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 301.08 283.39 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 301.12 285.22 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 301.02 288.57 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.06 288.38 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.22 281.57 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 80839.88 5301.43 - Statistics: 666 Files correct: 425 correct true: 425 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 241 Score: 850 (max: 1332)