BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Thu, 2024-09-12 20:58:24 CEST tool: ULTIMATE Automizer 0.2.4-5189fb62 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 parallel runs: 7 resource limits: - memory: 15000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 15000.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' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 18.45 10.33 None loops/count_up_down-1.yml TIMEOUT 900.43 876.05 None loops/eureka_01-2.yml TIMEOUT 901.13 839.63 None loops/eureka_05.yml TIMEOUT 900.57 864.07 None loops/for_infinite_loop_1.yml true 12.63 7.07 None loops/for_infinite_loop_2.yml true 9.03 5.32 None loops/heavy-2.yml true 14.76 8.83 None loops/insertion_sort-2-2.yml TIMEOUT 900.46 882.13 None loops/invert_string-3.yml true 81.74 54.45 None loops/linear_sea.ch.yml TIMEOUT 900.58 872.08 None loops/lu.cmp.yml true 18.50 10.16 None loops/matrix-1.yml TIMEOUT 900.53 875.15 None loops/n.c11.yml true 14.50 8.15 None loops/n.c40.yml ERROR (7) 25.32 14.47 None loops/nec40.yml ERROR (7) 26.14 15.22 None loops/string-1.yml true 16.85 9.90 None loops/sum01-2.yml true 17.01 9.87 None loops/sum03-2.yml true 13.75 7.63 None loops/sum04-2.yml true 16.96 9.87 None loops/sum_array-2-2.yml TIMEOUT 900.57 853.16 None loops/terminator_02-2.yml true 10.03 5.91 None loops/terminator_02-2_abstracted.yml true 11.00 6.74 None loops/terminator_03-2.yml true 10.08 5.83 None loops/terminator_03-2_abstracted.yml true 9.41 5.66 None loops/trex01-2.yml true 12.61 7.12 None loops/trex02-1.yml true 9.88 5.77 None loops/trex03-2.yml true 9.91 5.73 None loops/trex03-2_abstracted.yml true 16.36 8.97 None loops/trex04.yml true 11.98 6.72 None loops/trex04_abstracted.yml true 10.45 6.05 None loops/veris.c_NetBSD-libc_loop.yml true 17.02 9.55 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 15.53 9.29 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 11.63 6.90 None loops/vogal-1.yml TIMEOUT 900.68 862.13 None loops/while_infinite_loop_1.yml true 9.26 5.74 None loops/while_infinite_loop_2.yml true 11.55 6.51 None loops/while_infinite_loop_3.yml true 11.97 7.14 None loop-acceleration/array_1-2.yml true 19.58 13.07 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.56 874.63 None loop-acceleration/array_2-2.yml TIMEOUT 900.50 887.70 None loop-acceleration/array_3-1.yml true 12.76 7.65 None loop-acceleration/array_4.yml TIMEOUT 900.57 878.93 None loop-acceleration/const_1-1.yml true 12.64 7.31 None loop-acceleration/diamond_1-1.yml true 51.86 34.60 None loop-acceleration/diamond_2-2.yml true 35.71 25.77 None loop-acceleration/functions_1-1.yml true 13.27 7.92 None loop-acceleration/multivar_1-1.yml true 12.74 7.05 None loop-acceleration/nested_1-1.yml true 39.36 22.63 None loop-acceleration/overflow_1-1.yml true 13.09 7.38 None loop-acceleration/phases_1-1.yml TIMEOUT 900.43 879.71 None loop-acceleration/phases_2-2.yml true 26.98 20.53 None loop-acceleration/simple_1-2.yml true 12.43 7.56 None loop-acceleration/simple_1-2_abstracted.yml true 12.14 7.27 None loop-acceleration/simple_2-1.yml true 11.97 6.73 None loop-acceleration/simple_2-1_abstracted.yml true 12.87 7.09 None loop-acceleration/simple_3-2.yml true 13.13 7.45 None loop-acceleration/simple_4-2.yml true 13.25 7.85 None loop-acceleration/simple_4-2_abstracted.yml true 12.37 6.92 None loop-acceleration/underapprox_1-2.yml true 24.94 15.19 None loop-acceleration/underapprox_2-2.yml true 13.13 7.44 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.50 875.68 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.97 844.93 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.41 887.27 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 16.66 9.53 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 21.67 11.92 None loop-crafted/simple_array_index_value_4.yml true 20.69 11.97 None loop-crafted/simple_vardep_1.yml true 12.82 7.46 None loop-crafted/simple_vardep_2.yml true 13.05 7.55 None loop-invgen/MADWiFi-encode_ie_ok.yml true 11.16 7.00 None loop-invgen/NetBSD_loop.yml true 14.51 8.71 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 22.67 12.10 None loop-invgen/SpamAssassin-loop.yml true 12.97 7.77 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 28.92 15.70 None loop-invgen/apache-escape-absolute.yml true 12.73 7.14 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 31.56 16.88 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 50.12 31.13 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 120.84 81.49 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 28.30 15.32 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 29.61 15.88 None loop-invgen/apache-get-tag.yml true 15.74 8.76 None loop-invgen/down.yml TIMEOUT 900.46 820.63 None loop-invgen/fragtest_simple.yml TIMEOUT 901.16 780.22 None loop-invgen/half_2.yml TIMEOUT 900.89 790.01 None loop-invgen/heapsort.yml TIMEOUT 900.59 872.66 None loop-invgen/id_build.i.p+nlh-reducer.yml true 24.22 13.12 None loop-invgen/id_build.i.p+sep-reducer.yml true 23.24 12.57 None loop-invgen/id_build.i.v+lhb-reducer.yml true 14.23 7.73 None loop-invgen/id_build.yml true 12.61 7.34 None loop-invgen/large_const.yml true 17.05 10.07 None loop-invgen/nest-if3.yml true 12.10 7.13 None loop-invgen/nested6.yml true 25.31 14.54 None loop-invgen/nested9.yml true 18.57 11.03 None loop-invgen/sendmail-close-angle.yml true 25.12 14.23 None loop-invgen/seq-3.yml TIMEOUT 900.73 838.88 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.80 860.62 None loop-invgen/up.yml TIMEOUT 901.07 780.14 None loop-lit/afnp2014.yml true 11.01 7.01 None loop-lit/as2013-hybrid.yml true 11.13 6.88 None loop-lit/bh2017-ex-add.yml true 18.50 10.35 None loop-lit/bh2017-ex1-poly.yml true 14.72 8.75 None loop-lit/bh2017-ex3.yml true 17.71 10.36 None loop-lit/bhmr2007.yml true 13.23 7.73 None loop-lit/cggmp2005.yml true 13.44 8.12 None loop-lit/cggmp2005_variant.yml true 12.04 7.49 None loop-lit/cggmp2005b.yml true 10.28 6.13 None loop-lit/css2003.yml true 12.01 6.74 None loop-lit/ddlm2013.yml true 13.45 8.43 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 56.48 39.76 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 107.22 70.10 None loop-lit/gj2007.yml true 40.19 25.71 None loop-lit/gj2007b.yml true 11.71 7.54 None loop-lit/gr2006.yml true 50.57 32.54 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 9.68 6.22 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 10.14 6.01 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 10.05 6.02 None loop-lit/gsv2008.yml true 9.71 6.18 None loop-lit/hh2012-ex1b.yml true 11.05 6.68 None loop-lit/hh2012-ex2b.yml true 10.54 6.33 None loop-lit/hh2012-ex3.yml true 17.15 10.41 None loop-lit/hhk2008.yml true 13.25 7.87 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 14.05 8.04 None loop-lit/jm2006.yml true 10.45 6.69 None loop-lit/jm2006_variant.yml true 15.54 8.77 None loop-lit/mcmillan2006.yml TIMEOUT 900.82 844.04 None loop-lit/mine2017-ex4.10.yml true 10.40 5.97 None loop-lit/mine2017-ex4.6.yml true 11.64 7.16 None loop-lit/mine2017-ex4.7.yml true 9.62 5.87 None loop-lit/mine2017-ex4.8.yml true 12.19 6.68 None loop-new/count_by_1.yml true 9.88 5.99 None loop-new/count_by_1_variant.yml true 9.73 6.25 None loop-new/count_by_2.yml TIMEOUT 901.05 799.83 None loop-new/count_by_k.yml TIMEOUT 900.79 807.12 None loop-new/count_by_nondet.yml TIMEOUT 900.93 836.20 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 13.36 7.69 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 17.33 9.90 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 13.62 7.85 None loop-new/gauss_sum.yml true 13.44 8.20 None loop-new/half.yml true 22.14 12.49 None loop-new/nested-1.yml TIMEOUT 900.58 879.96 None loop-industry-pattern/aiob_1.yml unknown 19.06 10.43 None loop-industry-pattern/aiob_2.yml unknown 18.35 10.00 None loop-industry-pattern/aiob_3.yml unknown 18.59 10.17 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 18.68 10.87 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 18.77 10.56 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 19.06 10.99 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 19.75 11.07 None loop-industry-pattern/aiob_4.yml unknown 18.61 10.73 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 86.32 75.35 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 79.31 69.45 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 86.87 77.85 None loop-industry-pattern/mod3.yml true 84.65 74.40 None loop-industry-pattern/ofuf_1.yml unknown 18.89 10.32 None loop-industry-pattern/ofuf_2.yml unknown 19.24 11.10 None loop-industry-pattern/ofuf_3.yml unknown 18.75 10.36 None loop-industry-pattern/ofuf_4.yml unknown 19.51 10.85 None loop-industry-pattern/ofuf_5.yml unknown 19.32 11.15 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.77 874.98 None loops-crafted-1/discover_list.yml unknown 18.35 10.28 None loops-crafted-1/iftelse.yml TIMEOUT 900.43 887.88 None loops-crafted-1/in-de20.yml TIMEOUT 900.69 862.08 None loops-crafted-1/in-de31.yml TIMEOUT 900.58 871.91 None loops-crafted-1/in-de32.yml TIMEOUT 900.80 846.87 None loops-crafted-1/in-de41.yml TIMEOUT 900.48 878.20 None loops-crafted-1/in-de42.yml TIMEOUT 900.79 850.59 None loops-crafted-1/in-de51.yml TIMEOUT 900.49 845.30 None loops-crafted-1/in-de52.yml TIMEOUT 901.25 836.80 None loops-crafted-1/in-de61.yml TIMEOUT 901.36 860.75 None loops-crafted-1/in-de62.yml TIMEOUT 901.44 844.68 None loops-crafted-1/loopv1.yml true 12.75 7.37 None loops-crafted-1/loopv2.yml true 13.15 7.42 None loops-crafted-1/loopv3.yml true 21.30 12.12 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 901.25 809.32 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.68 880.82 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.42 879.04 None loops-crafted-1/mono-crafted_12.yml true 13.99 8.04 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 901.07 792.31 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 901.38 802.72 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 901.39 804.48 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.86 835.29 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.78 826.37 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.39 886.27 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 901.42 788.76 None loops-crafted-1/nested3-1.yml TIMEOUT 901.02 846.17 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 900.91 847.12 None loops-crafted-1/nested5-1.yml true 15.65 9.47 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 900.65 818.28 None loops-crafted-1/net_reset.yml unknown 16.89 9.89 None loops-crafted-1/sum_by_3.yml true 40.14 26.46 None loops-crafted-1/sum_by_3_abstracted.yml true 18.48 11.22 None loops-crafted-1/sum_natnum.yml TIMEOUT 901.27 802.42 None loops-crafted-1/sumt2.yml true 15.56 8.67 None loops-crafted-1/sumt3.yml true 15.48 9.02 None loops-crafted-1/sumt4.yml true 15.50 8.71 None loops-crafted-1/sumt5.yml true 17.33 9.58 None loops-crafted-1/sumt6.yml true 16.65 9.55 None loops-crafted-1/sumt7.yml true 17.43 9.79 None loops-crafted-1/sumt8.yml true 16.94 9.33 None loops-crafted-1/sumt9.yml true 17.71 9.54 None loops-crafted-1/theatreSquare.yml OUT OF MEMORY 876.00 748.70 None loops-crafted-1/vnew1.yml TIMEOUT 900.48 867.18 None loops-crafted-1/vnew2.yml TIMEOUT 900.59 888.68 None loops-crafted-1/watermelon.yml TIMEOUT 901.02 780.04 None loop-invariants/bin-suffix-5.yml true 24.13 13.94 None loop-invariants/const.yml true 12.04 6.74 None loop-invariants/eq1.yml true 12.35 6.90 None loop-invariants/eq2.yml true 12.45 6.89 None loop-invariants/even.yml true 13.57 7.65 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.49 801.12 None loop-invariants/mod4.yml true 13.00 7.59 None loop-invariants/odd.yml true 12.23 7.07 None loop-simple/nested_1.yml true 12.04 7.32 None loop-simple/nested_2.yml true 18.00 10.45 None loop-simple/nested_3.yml true 27.83 17.32 None loop-simple/nested_4.yml true 170.03 144.77 None loop-simple/nested_5.yml OUT OF MEMORY 838.19 678.75 None loop-simple/nested_6.yml OUT OF MEMORY 241.85 158.77 None loop-zilu/benchmark02_linear.yml true 11.75 6.97 None loop-zilu/benchmark02_linear_abstracted.yml true 11.79 6.90 None loop-zilu/benchmark04_conjunctive.yml true 13.35 7.69 None loop-zilu/benchmark05_conjunctive.yml true 13.67 7.93 None loop-zilu/benchmark09_conjunctive.yml true 13.13 7.39 None loop-zilu/benchmark10_conjunctive.yml true 14.33 8.70 None loop-zilu/benchmark11_linear.yml true 12.68 7.23 None loop-zilu/benchmark11_linear_abstracted.yml true 12.18 6.79 None loop-zilu/benchmark14_linear.yml true 11.32 6.76 None loop-zilu/benchmark17_conjunctive.yml true 12.12 7.06 None loop-zilu/benchmark18_conjunctive.yml true 12.69 7.27 None loop-zilu/benchmark19_conjunctive.yml true 13.41 7.62 None loop-zilu/benchmark20_conjunctive.yml true 12.92 7.30 None loop-zilu/benchmark23_conjunctive.yml true 58.93 38.34 None loop-zilu/benchmark25_linear.yml true 12.67 7.65 None loop-zilu/benchmark25_linear_abstracted.yml true 12.39 6.85 None loop-zilu/benchmark26_linear.yml true 9.68 5.80 None loop-zilu/benchmark26_linear_abstracted.yml true 12.29 7.13 None loop-zilu/benchmark32_linear.yml true 12.10 6.72 None loop-zilu/benchmark33_linear.yml true 8.98 5.70 None loop-zilu/benchmark34_conjunctive.yml true 15.10 8.88 None loop-zilu/benchmark35_linear.yml true 9.58 6.28 None loop-zilu/benchmark37_conjunctive.yml true 12.87 7.69 None loop-zilu/benchmark43_conjunctive.yml true 10.07 6.35 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 14.76 8.16 None loop-zilu/benchmark51_polynomial.yml true 11.84 7.04 None loop-zilu/benchmark52_polynomial.yml true 10.04 6.46 None verifythis/duplets.yml TIMEOUT 900.60 862.27 None verifythis/elimination_max.yml TIMEOUT 900.48 875.30 None verifythis/lcp.yml TIMEOUT 900.51 870.27 None verifythis/prefixsum_iter.yml TIMEOUT 901.41 846.58 None nla-digbench/bresenham-ll.yml true 55.21 39.91 None nla-digbench/cohencu-ll.yml true 37.94 24.81 None nla-digbench/cohendiv-ll.yml true 19.62 11.57 None nla-digbench/dijkstra-u.yml TIMEOUT 900.49 878.64 None nla-digbench/divbin2.yml TIMEOUT 900.47 882.80 None nla-digbench/egcd-ll.yml true 28.80 21.69 None nla-digbench/egcd2-ll.yml TIMEOUT 900.76 866.46 None nla-digbench/egcd3-ll.yml TIMEOUT 900.74 868.94 None nla-digbench/fermat1-ll.yml true 17.67 11.14 None nla-digbench/fermat2-ll.yml true 14.66 9.17 None nla-digbench/geo1-ll.yml TIMEOUT 900.41 887.16 None nla-digbench/geo2-ll.yml TIMEOUT 900.37 891.18 None nla-digbench/geo3-ll.yml TIMEOUT 900.43 887.26 None nla-digbench/hard-ll.yml TIMEOUT 900.94 857.23 None nla-digbench/hard2.yml true 80.65 57.45 None nla-digbench/knuth.yml TIMEOUT 900.47 893.56 None nla-digbench/lcm1.yml TIMEOUT 900.36 894.47 None nla-digbench/lcm2.yml true 15.47 11.30 None nla-digbench/mannadiv.yml true 11.89 7.51 None nla-digbench/prod4br-ll.yml true 14.62 8.95 None nla-digbench/prodbin-ll.yml TIMEOUT 900.46 882.39 None nla-digbench/ps2-ll.yml true 13.35 8.25 None nla-digbench/ps3-ll.yml true 12.42 7.76 None nla-digbench/ps4-ll.yml true 17.88 10.33 None nla-digbench/ps5-ll.yml true 16.66 9.86 None nla-digbench/ps6-ll.yml true 435.98 424.33 None nla-digbench/sqrt1-ll.yml true 17.31 10.11 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 23.12 13.35 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 23.52 13.36 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 23.47 13.80 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 71.42 55.86 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 22.78 13.59 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 22.78 13.38 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 22.86 13.22 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 28.59 17.82 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 271.82 253.42 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 44.08 33.06 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 32.18 20.30 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 32.71 20.91 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 32.32 20.02 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 34.82 23.01 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 15.96 9.23 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 24.86 14.66 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 24.14 14.40 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 21.55 12.84 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 24.16 14.04 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 23.35 13.99 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 26.05 15.04 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 18.92 11.24 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 20.17 12.14 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 18.69 11.44 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 19.79 11.74 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 19.03 11.58 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 20.12 11.89 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 18.62 11.50 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 37.23 30.09 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 43.38 33.17 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.50 881.13 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.51 875.85 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.51 879.16 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.47 880.90 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.45 886.90 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.50 880.75 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.43 885.61 None nla-digbench-scaling/divbin2_unwindbound1.yml true 12.76 7.74 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.47 882.51 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.49 882.36 None nla-digbench-scaling/divbin2_unwindbound2.yml true 14.89 8.59 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.42 888.26 None nla-digbench-scaling/divbin2_unwindbound5.yml true 341.83 322.91 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.49 886.82 None nla-digbench-scaling/divbin2_valuebound1.yml true 40.00 29.93 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.51 884.10 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 900.50 884.15 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.45 891.07 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.51 882.63 None nla-digbench-scaling/divbin2_valuebound5.yml true 530.99 507.34 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.52 877.80 None nla-digbench-scaling/divbin_unwindbound1.yml true 14.85 8.68 None nla-digbench-scaling/divbin_unwindbound2.yml true 17.84 10.38 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 900.54 876.37 None nla-digbench-scaling/divbin_valuebound1.yml true 64.48 47.80 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 901.03 870.35 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 900.61 870.34 None nla-digbench-scaling/divbin_valuebound2.yml true 765.50 733.21 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.69 881.67 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.55 875.07 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 900.65 873.53 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 19.60 12.07 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 57.13 46.96 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 48.93 37.69 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 37.03 25.50 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 51.81 41.02 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 46.26 33.11 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 61.77 50.75 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 40.13 25.59 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 900.26 858.19 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 900.73 869.51 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 83.84 60.63 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 901.47 857.36 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 901.17 860.18 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 900.73 864.97 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 33.92 20.63 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 901.18 853.03 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 900.86 861.37 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 76.22 52.24 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 900.99 860.32 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 900.76 863.95 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 900.86 855.83 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 15.73 8.96 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 15.95 10.16 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 16.72 10.16 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 16.70 10.10 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 16.73 10.49 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 16.52 10.03 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 16.47 9.97 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 18.05 11.72 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 18.28 11.80 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 18.59 11.96 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 14.19 10.39 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 14.27 9.90 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 18.40 11.78 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 14.48 10.04 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 900.57 884.05 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 900.49 890.75 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 900.55 885.05 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 900.55 884.77 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 900.47 888.78 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 900.61 884.43 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 900.59 883.87 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 22.59 14.77 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 900.39 889.92 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 900.45 885.02 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 37.16 28.88 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 900.44 884.39 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 838.04 819.57 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 900.40 890.24 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 15.20 8.89 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 16.12 9.97 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 900.40 887.20 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 16.17 9.52 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 214.98 203.09 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 16.12 9.90 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 900.38 891.02 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 31.65 25.09 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 900.37 890.31 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 900.37 890.43 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 900.37 890.89 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 900.37 891.64 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 900.36 892.79 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 900.38 890.17 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 9.81 6.35 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 10.07 6.64 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 9.91 6.61 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 18.96 12.73 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 84.12 78.06 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 12.89 7.90 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 900.45 886.41 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 100.29 91.44 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 900.39 889.16 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 900.46 883.91 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 51.10 43.83 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 900.43 885.47 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 900.41 885.60 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 900.41 888.35 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 13.15 7.78 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 15.26 9.25 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 900.43 885.00 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 12.74 7.41 None nla-digbench-scaling/geo3-ll_valuebound20.yml TIMEOUT 900.41 886.18 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.48 6.86 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 900.38 890.71 None nla-digbench-scaling/hard-ll_valuebound1.yml true 31.83 18.19 None nla-digbench-scaling/hard-ll_valuebound10.yml true 417.32 387.16 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 900.61 866.77 None nla-digbench-scaling/hard-ll_valuebound2.yml true 55.58 32.17 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 900.61 866.88 None nla-digbench-scaling/hard-ll_valuebound5.yml true 228.52 196.71 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 900.56 876.19 None nla-digbench-scaling/hard-u_valuebound1.yml true 862.31 840.68 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.53 882.15 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.50 883.81 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.44 889.56 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.49 885.14 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.52 883.24 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.45 889.35 None nla-digbench-scaling/hard2_valuebound1.yml true 27.33 15.74 None nla-digbench-scaling/hard2_valuebound10.yml true 102.37 80.90 None nla-digbench-scaling/hard2_valuebound100.yml true 103.02 81.28 None nla-digbench-scaling/hard2_valuebound2.yml true 63.91 43.67 None nla-digbench-scaling/hard2_valuebound20.yml true 102.40 81.23 None nla-digbench-scaling/hard2_valuebound5.yml true 107.33 83.78 None nla-digbench-scaling/hard2_valuebound50.yml true 103.84 82.69 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 900.48 889.88 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 900.49 889.87 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 900.48 889.86 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 900.43 893.63 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 900.51 890.36 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 900.51 889.79 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 900.47 892.34 None nla-digbench-scaling/knuth_valuebound1.yml true 32.54 21.87 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 900.55 877.64 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 900.50 880.85 None nla-digbench-scaling/knuth_valuebound2.yml true 33.14 21.46 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 900.52 880.72 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 900.47 887.96 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 900.54 881.53 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.36 892.93 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.35 895.47 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.37 893.36 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.37 893.49 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.37 894.10 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.34 895.94 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.36 894.03 None nla-digbench-scaling/lcm2_unwindbound1.yml true 20.64 12.99 None nla-digbench-scaling/lcm2_unwindbound10.yml true 25.55 16.57 None nla-digbench-scaling/lcm2_unwindbound100.yml true 23.53 15.46 None nla-digbench-scaling/lcm2_unwindbound2.yml true 20.86 13.21 None nla-digbench-scaling/lcm2_unwindbound20.yml true 24.65 16.68 None nla-digbench-scaling/lcm2_unwindbound5.yml true 23.82 15.39 None nla-digbench-scaling/lcm2_unwindbound50.yml true 23.26 15.20 None nla-digbench-scaling/lcm2_valuebound1.yml true 16.81 9.49 None nla-digbench-scaling/lcm2_valuebound10.yml true 18.17 11.48 None nla-digbench-scaling/lcm2_valuebound100.yml true 21.47 14.01 None nla-digbench-scaling/lcm2_valuebound2.yml true 21.71 14.24 None nla-digbench-scaling/lcm2_valuebound20.yml true 21.89 14.71 None nla-digbench-scaling/lcm2_valuebound5.yml true 21.49 14.12 None nla-digbench-scaling/lcm2_valuebound50.yml true 21.77 14.64 None nla-digbench-scaling/mannadiv_valuebound1.yml true 15.07 9.02 None nla-digbench-scaling/mannadiv_valuebound10.yml true 15.73 9.72 None nla-digbench-scaling/mannadiv_valuebound100.yml true 15.29 9.19 None nla-digbench-scaling/mannadiv_valuebound2.yml true 15.92 9.34 None nla-digbench-scaling/mannadiv_valuebound20.yml true 16.27 9.60 None nla-digbench-scaling/mannadiv_valuebound5.yml true 15.98 9.27 None nla-digbench-scaling/mannadiv_valuebound50.yml true 15.86 9.79 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 17.26 10.48 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 16.50 9.51 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 15.55 9.49 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 16.38 9.39 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 12.64 8.18 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 16.42 9.90 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 12.95 8.26 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.45 872.72 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.42 883.08 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 16.13 9.34 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 58.02 40.53 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 283.38 258.38 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 28.21 17.61 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 171.03 148.90 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 50.70 36.31 None nla-digbench-scaling/prodbin-ll_valuebound50.yml true 308.28 287.35 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 13.66 7.92 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 15.03 8.77 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 14.70 8.60 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 14.96 8.72 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 14.67 8.64 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 15.15 9.06 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 14.96 9.07 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 13.10 7.64 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 12.83 7.84 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 13.65 8.17 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 13.45 7.76 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 13.16 7.70 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 13.24 8.05 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 12.89 7.93 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 13.74 7.95 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 15.04 8.72 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 14.65 9.08 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 14.52 8.55 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 15.66 8.99 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 15.01 8.83 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 14.71 8.67 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 12.96 7.64 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 13.85 8.16 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 13.52 7.87 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 12.43 7.78 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 12.84 7.54 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 14.49 8.26 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 13.23 8.03 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 16.23 9.85 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 18.39 10.90 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 17.13 10.03 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 17.38 10.09 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 16.35 9.95 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 109.39 97.65 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 17.00 10.35 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 17.17 10.48 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 160.32 149.82 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 137.21 126.61 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 17.90 10.49 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 17.04 10.07 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.42 891.63 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 138.47 126.93 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 13.62 8.83 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 430.76 420.96 None nla-digbench-scaling/ps6-ll_valuebound100.yml true 574.12 561.42 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 18.67 11.31 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 18.03 10.48 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 169.79 158.45 None nla-digbench-scaling/ps6-ll_valuebound50.yml true 367.84 353.12 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 16.95 9.91 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 17.75 10.48 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 19.53 11.37 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 17.10 10.48 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 18.93 11.35 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 13.94 8.91 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 17.69 10.51 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 16.52 10.16 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 12.56 8.25 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 12.66 8.42 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 16.18 9.80 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 16.81 9.84 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 12.84 8.44 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 15.73 9.28 None recursive/Ackermann01-2.yml true 32.68 18.89 None recursive/Ackermann03.yml true 138.89 114.02 None recursive/Ackermann04.yml true 77.74 50.74 None recursive/Addition01-2.yml true 17.57 10.04 None recursive/Addition03-1.yml TIMEOUT 901.03 785.22 None recursive/EvenOdd01-1.yml TIMEOUT 901.19 772.76 None recursive/Fibonacci01-1.yml true 17.74 10.65 None recursive/Fibonacci02.yml true 80.41 53.93 None recursive/Fibonacci03.yml true 135.91 109.07 None recursive/McCarthy91-2.yml true 12.10 7.45 None recursive/MultCommutative-2.yml TIMEOUT 901.16 764.07 None recursive/Primes.yml true 26.65 16.15 None recursive/gcd01-1.yml true 13.63 8.53 None recursive/gcd02.yml TIMEOUT 900.56 856.57 None recursive/recHanoi01.yml TIMEOUT 900.46 815.81 None recursive/recHanoi02-2.yml true 12.71 7.25 None recursive/recHanoi03-2.yml true 21.95 12.68 None recursive-simple/afterrec-2.yml true 12.02 6.85 None recursive-simple/afterrec_2calls-2.yml true 11.78 6.88 None recursive-simple/fibo_10-2.yml true 179.66 127.97 None recursive-simple/fibo_15-1.yml TIMEOUT 901.15 825.16 None recursive-simple/fibo_20-2.yml TIMEOUT 901.39 817.61 None recursive-simple/fibo_25-2.yml TIMEOUT 900.99 831.40 None recursive-simple/fibo_2calls_10-1.yml true 242.66 183.17 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 901.38 814.70 None recursive-simple/fibo_2calls_2-2.yml true 17.58 10.24 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 901.28 813.61 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 901.11 829.30 None recursive-simple/fibo_2calls_4-1.yml true 27.17 16.39 None recursive-simple/fibo_2calls_5-1.yml true 40.79 24.86 None recursive-simple/fibo_2calls_6-1.yml true 53.15 34.04 None recursive-simple/fibo_2calls_8-1.yml true 85.88 56.90 None recursive-simple/fibo_5-1.yml true 25.33 16.03 None recursive-simple/fibo_7-1.yml true 46.10 27.36 None recursive-simple/id2_b2_o3.yml true 12.45 7.63 None recursive-simple/id2_b3_o5.yml true 12.43 7.65 None recursive-simple/id2_b5_o10.yml true 12.46 7.20 None recursive-simple/id2_i5_o5-2.yml true 20.66 12.51 None recursive-simple/id_b2_o3.yml true 11.39 6.52 None recursive-simple/id_b3_o5-2.yml true 11.65 6.92 None recursive-simple/id_b5_o10-2.yml true 13.92 7.78 None recursive-simple/id_i10_o10-2.yml true 35.97 24.38 None recursive-simple/id_i15_o15-1.yml true 109.94 78.16 None recursive-simple/id_i20_o20-1.yml true 195.77 160.80 None recursive-simple/id_i25_o25-1.yml true 549.60 465.98 None recursive-simple/id_i5_o5-2.yml true 22.75 13.59 None recursive-simple/sum_10x0-1.yml true 50.49 31.69 None recursive-simple/sum_15x0-1.yml true 104.54 74.16 None recursive-simple/sum_20x0-2.yml true 205.72 167.24 None recursive-simple/sum_25x0-1.yml true 564.09 473.05 None recursive-simple/sum_2x3-2.yml true 19.28 11.18 None recursive-simple/sum_non_eq-2.yml true 17.80 10.28 None recursive-with-pointer/simple-recursive.yml true 25.67 14.74 None verifythis/prefixsum_rec.yml TIMEOUT 900.81 861.36 None verifythis/elimination_max_rec.yml ERROR (7) 542.20 516.12 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 900.67 866.62 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 900.44 880.48 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 901.08 851.94 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 900.65 871.28 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 30.47 16.28 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 29.23 15.74 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 900.52 871.54 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 22.99 12.41 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 26.42 14.80 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 33.57 18.76 None recursified_loop-invariants/recursified_const.yml true 14.24 7.78 None recursified_loop-invariants/recursified_eq1.yml true 45.76 32.51 None recursified_loop-invariants/recursified_eq2.yml true 37.84 27.58 None recursified_loop-invariants/recursified_even.yml true 17.29 9.61 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 901.32 813.89 None recursified_loop-invariants/recursified_mod4.yml true 13.38 7.76 None recursified_loop-invariants/recursified_odd.yml true 13.56 8.24 None recursified_loop-simple/recursified_nested_1.yml true 39.39 28.00 None recursified_loop-simple/recursified_nested_2.yml true 90.36 63.95 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 900.99 835.70 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 901.38 860.26 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 901.27 815.06 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 902.50 776.68 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 900.71 853.07 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 900.84 838.46 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 900.86 851.37 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 900.92 838.12 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 901.31 826.08 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 900.92 869.97 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 900.84 851.77 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 900.55 856.04 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 900.48 865.51 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 900.93 860.30 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 900.56 876.72 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 900.44 879.41 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 900.72 878.90 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 901.17 848.10 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 900.67 870.36 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 900.51 888.99 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 900.39 889.45 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 900.62 872.69 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 900.75 853.50 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 901.09 844.31 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 901.50 855.19 None recursified_nla-digbench/recursified_ps2-ll.yml true 55.40 46.05 None recursified_nla-digbench/recursified_ps3-ll.yml true 581.31 570.65 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 900.45 879.25 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 900.51 877.29 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 900.44 887.06 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 900.75 860.65 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 211522.16 28989.38 - Statistics: 666 Files correct: 436 correct true: 436 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 230 Score: 872 (max: 1332)