BENCHMARK INFORMATION benchmark definition: experiment-cpachecker-verification.xml name: experiment-cpachecker-verification run sets: SV-COMP24_unreach-call date: Sat, 2024-09-21 13:54:55 CEST tool: CPAchecker 3.1-svn-5f8d539e99+ tool executable: cpachecker/bin/cpachecker options: --svcomp24 --heap 10000M --benchmark --option cpa.arg.yamlProofWitness=witness-%s.yml --option witness.yamlexporter.witnessVersions=V2d1,V2 parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 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 '--svcomp24 --heap 10000M --benchmark --option cpa.arg.yamlProofWitness=witness-%s.yml --option witness.yamlexporter.witnessVersions=V2d1,V2' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 6.01 3.25 None loops/count_up_down-1.yml TIMEOUT 906.58 879.67 None loops/eureka_01-2.yml true 4.93 2.85 None loops/eureka_05.yml true 4.98 2.65 None loops/for_infinite_loop_1.yml true 144.49 137.38 None loops/for_infinite_loop_2.yml true 143.64 138.93 None loops/heavy-2.yml true 94.69 89.43 None loops/insertion_sort-2-2.yml TIMEOUT 905.15 894.67 None loops/invert_string-3.yml true 11.91 8.22 None loops/linear_sea.ch.yml TIMEOUT 902.23 882.70 None loops/lu.cmp.yml true 6.26 3.35 None loops/matrix-1.yml true 6.38 3.45 None loops/n.c11.yml true 2.91 1.71 None loops/n.c40.yml true 4.72 2.76 None loops/nec40.yml true 4.45 2.44 None loops/string-1.yml true 5.89 3.14 None loops/sum01-2.yml true 110.21 98.74 None loops/sum03-2.yml true 204.22 196.76 None loops/sum04-2.yml true 4.37 2.35 None loops/sum_array-2-2.yml TIMEOUT 909.39 890.66 None loops/terminator_02-2.yml true 145.50 134.54 None loops/terminator_02-2_abstracted.yml true 3.37 1.89 None loops/terminator_03-2.yml true 144.96 138.98 None loops/terminator_03-2_abstracted.yml true 4.90 2.64 None loops/trex01-2.yml true 203.74 191.74 None loops/trex02-1.yml true 143.70 136.72 None loops/trex03-2.yml true 145.80 134.46 None loops/trex03-2_abstracted.yml true 4.67 2.49 None loops/trex04.yml true 145.11 136.82 None loops/trex04_abstracted.yml true 3.80 2.06 None loops/veris.c_NetBSD-libc_loop.yml true 4.68 2.50 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TIMEOUT 960.70 947.61 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 7.30 3.86 None loops/vogal-1.yml true 48.36 32.73 None loops/while_infinite_loop_1.yml true 3.08 1.67 None loops/while_infinite_loop_2.yml true 3.12 1.71 None loops/while_infinite_loop_3.yml true 4.42 2.36 None loop-acceleration/array_1-2.yml true 700.91 695.83 None loop-acceleration/array_2-2-simple.yml TIMEOUT 901.81 871.85 None loop-acceleration/array_2-2.yml TIMEOUT 912.01 887.18 None loop-acceleration/array_3-1.yml TIMEOUT (true) 947.15 936.99 None loop-acceleration/array_4.yml true 630.09 624.75 None loop-acceleration/const_1-1.yml true 13.20 7.53 None loop-acceleration/diamond_1-1.yml true 5.36 2.86 None loop-acceleration/diamond_2-2.yml true 4.66 2.47 None loop-acceleration/functions_1-1.yml TIMEOUT 905.41 874.89 None loop-acceleration/multivar_1-1.yml true 143.52 138.88 None loop-acceleration/nested_1-1.yml true 204.29 197.74 None loop-acceleration/overflow_1-1.yml TIMEOUT 901.88 874.43 None loop-acceleration/phases_1-1.yml true 203.96 196.91 None loop-acceleration/phases_2-2.yml true 3.24 1.86 None loop-acceleration/simple_1-2.yml TIMEOUT 909.42 889.54 None loop-acceleration/simple_1-2_abstracted.yml true 3.18 1.73 None loop-acceleration/simple_2-1.yml true 143.42 138.81 None loop-acceleration/simple_2-1_abstracted.yml true 3.25 1.79 None loop-acceleration/simple_3-2.yml true 464.41 445.64 None loop-acceleration/simple_4-2.yml true 203.88 197.37 None loop-acceleration/simple_4-2_abstracted.yml true 3.27 1.78 None loop-acceleration/underapprox_1-2.yml true 3.18 1.72 None loop-acceleration/underapprox_2-2.yml true 3.23 1.75 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 960.27 941.12 None loop-crafted/simple_array_index_value_2.yml OUT OF MEMORY 355.89 312.59 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 957.44 929.04 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TIMEOUT 962.80 937.75 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TIMEOUT 962.75 940.65 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 962.05 936.42 None loop-crafted/simple_vardep_1.yml true 205.66 194.54 None loop-crafted/simple_vardep_2.yml true 205.28 192.76 None loop-invgen/MADWiFi-encode_ie_ok.yml TIMEOUT 900.94 883.52 None loop-invgen/NetBSD_loop.yml true 205.70 169.20 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 394.43 350.11 None loop-invgen/SpamAssassin-loop.yml true 206.96 166.20 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 206.04 175.28 None loop-invgen/apache-escape-absolute.yml true 205.63 176.96 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 212.37 163.94 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 219.33 171.25 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 218.69 179.91 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 208.72 162.02 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 206.96 172.28 None loop-invgen/apache-get-tag.yml true 211.58 177.59 None loop-invgen/down.yml TIMEOUT 961.32 913.39 None loop-invgen/fragtest_simple.yml OUT OF MEMORY 612.76 567.49 None loop-invgen/half_2.yml TIMEOUT 961.07 918.51 None loop-invgen/heapsort.yml TIMEOUT 902.87 862.67 None loop-invgen/id_build.i.p+nlh-reducer.yml true 164.37 147.53 None loop-invgen/id_build.i.p+sep-reducer.yml true 164.20 147.24 None loop-invgen/id_build.i.v+lhb-reducer.yml true 146.05 139.58 None loop-invgen/id_build.yml true 144.81 139.04 None loop-invgen/large_const.yml true 4.58 2.47 None loop-invgen/nest-if3.yml TIMEOUT 902.14 868.48 None loop-invgen/nested6.yml true 213.17 169.54 None loop-invgen/nested9.yml OUT OF MEMORY 204.84 172.95 None loop-invgen/sendmail-close-angle.yml OUT OF MEMORY (true) 228.00 194.45 None loop-invgen/seq-3.yml OUT OF MEMORY 513.24 470.68 None loop-invgen/string_concat-noarr.yml OUT OF MEMORY 839.55 805.59 None loop-invgen/up.yml TIMEOUT 960.57 926.41 None loop-lit/afnp2014.yml true 17.64 9.46 None loop-lit/as2013-hybrid.yml true 4.12 2.27 None loop-lit/bh2017-ex-add.yml true 391.58 373.97 None loop-lit/bh2017-ex1-poly.yml true 4.48 2.41 None loop-lit/bh2017-ex3.yml true 395.39 370.69 None loop-lit/bhmr2007.yml TIMEOUT 901.27 875.49 None loop-lit/cggmp2005.yml true 3.42 1.91 None loop-lit/cggmp2005_variant.yml TIMEOUT 901.26 886.41 None loop-lit/cggmp2005b.yml true 6.01 3.61 None loop-lit/css2003.yml true 144.42 139.97 None loop-lit/ddlm2013.yml TIMEOUT 901.31 877.40 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 6.38 3.36 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 6.42 3.35 None loop-lit/gj2007.yml true 6.12 3.22 None loop-lit/gj2007b.yml TIMEOUT 907.58 848.72 None loop-lit/gr2006.yml true 6.78 3.82 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml TIMEOUT 900.98 888.78 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml TIMEOUT 900.93 888.22 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml TIMEOUT 900.92 881.25 None loop-lit/gsv2008.yml TIMEOUT 900.85 882.08 None loop-lit/hh2012-ex1b.yml TIMEOUT (true) 961.20 905.38 None loop-lit/hh2012-ex2b.yml true 144.95 134.26 None loop-lit/hh2012-ex3.yml true 5.67 2.97 None loop-lit/hhk2008.yml TIMEOUT 901.19 876.03 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 144.82 137.34 None loop-lit/jm2006.yml true 145.13 137.87 None loop-lit/jm2006_variant.yml TIMEOUT 909.75 879.69 None loop-lit/mcmillan2006.yml TIMEOUT 945.93 921.00 None loop-lit/mine2017-ex4.10.yml true 4.36 2.31 None loop-lit/mine2017-ex4.6.yml true 4.63 2.44 None loop-lit/mine2017-ex4.7.yml true 144.96 134.30 None loop-lit/mine2017-ex4.8.yml true 144.34 133.92 None loop-new/count_by_1.yml true 204.12 197.45 None loop-new/count_by_1_variant.yml true 203.93 196.48 None loop-new/count_by_2.yml TIMEOUT 906.82 879.87 None loop-new/count_by_k.yml TIMEOUT 900.94 879.25 None loop-new/count_by_nondet.yml TIMEOUT 901.27 880.52 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 116.32 105.74 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 105.84 98.37 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 115.54 109.14 None loop-new/gauss_sum.yml true 112.66 105.25 None loop-new/half.yml TIMEOUT 901.35 870.39 None loop-new/nested-1.yml TIMEOUT 960.79 931.51 None loop-industry-pattern/aiob_1.yml true 31.26 21.03 None loop-industry-pattern/aiob_2.yml true 32.09 21.32 None loop-industry-pattern/aiob_3.yml true 32.57 21.29 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 30.58 19.18 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 35.40 22.91 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 39.35 23.57 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 6.34 3.35 None loop-industry-pattern/aiob_4.yml true 27.51 17.62 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 157.63 154.78 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 147.93 145.24 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 147.37 144.47 None loop-industry-pattern/mod3.yml true 156.44 152.32 None loop-industry-pattern/ofuf_1.yml true 89.81 64.74 None loop-industry-pattern/ofuf_2.yml true 92.30 66.31 None loop-industry-pattern/ofuf_3.yml true 91.33 63.92 None loop-industry-pattern/ofuf_4.yml true 95.01 67.15 None loop-industry-pattern/ofuf_5.yml true 90.33 64.74 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 901.91 885.74 None loops-crafted-1/discover_list.yml ERROR 7.68 4.01 None loops-crafted-1/iftelse.yml TIMEOUT 901.41 882.14 None loops-crafted-1/in-de20.yml OUT OF MEMORY 773.99 741.26 None loops-crafted-1/in-de31.yml OUT OF MEMORY 527.28 484.79 None loops-crafted-1/in-de32.yml OUT OF MEMORY 517.56 479.54 None loops-crafted-1/in-de41.yml OUT OF MEMORY 491.78 450.43 None loops-crafted-1/in-de42.yml OUT OF MEMORY 493.38 454.92 None loops-crafted-1/in-de51.yml OUT OF MEMORY 509.59 470.17 None loops-crafted-1/in-de52.yml OUT OF MEMORY 508.49 460.71 None loops-crafted-1/in-de61.yml OUT OF MEMORY 493.47 450.05 None loops-crafted-1/in-de62.yml OUT OF MEMORY 482.50 441.55 None loops-crafted-1/loopv1.yml TIMEOUT 901.32 881.89 None loops-crafted-1/loopv2.yml TIMEOUT 960.93 916.50 None loops-crafted-1/loopv3.yml TIMEOUT 901.10 877.08 None loops-crafted-1/mono-crafted_1.yml OUT OF MEMORY 777.85 736.87 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 902.18 871.98 None loops-crafted-1/mono-crafted_11.yml true 466.05 442.80 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 902.07 871.19 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 902.85 870.63 None loops-crafted-1/mono-crafted_14.yml OUT OF MEMORY 780.05 748.46 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 902.88 877.68 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 906.38 880.77 None loops-crafted-1/mono-crafted_7.yml OUT OF MEMORY 892.60 845.75 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 901.64 881.97 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 903.31 886.80 None loops-crafted-1/nested3-1.yml OUT OF MEMORY 698.40 656.69 None loops-crafted-1/nested3-1_abstracted.yml true 206.58 166.16 None loops-crafted-1/nested5-1.yml true 143.98 139.25 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 901.79 864.64 None loops-crafted-1/net_reset.yml true 22.33 11.67 None loops-crafted-1/sum_by_3.yml true 207.01 192.48 None loops-crafted-1/sum_by_3_abstracted.yml true 4.41 2.40 None loops-crafted-1/sum_natnum.yml TIMEOUT 901.91 873.34 None loops-crafted-1/sumt2.yml true 206.00 192.55 None loops-crafted-1/sumt3.yml true 467.18 450.44 None loops-crafted-1/sumt4.yml true 487.92 470.15 None loops-crafted-1/sumt5.yml TIMEOUT 901.35 875.69 None loops-crafted-1/sumt6.yml TIMEOUT 901.02 884.77 None loops-crafted-1/sumt7.yml TIMEOUT 901.23 878.05 None loops-crafted-1/sumt8.yml TIMEOUT 901.19 877.36 None loops-crafted-1/sumt9.yml TIMEOUT 901.14 885.53 None loops-crafted-1/theatreSquare.yml OUT OF MEMORY 536.34 487.42 None loops-crafted-1/vnew1.yml TIMEOUT 961.59 921.34 None loops-crafted-1/vnew2.yml TIMEOUT 902.09 870.35 None loops-crafted-1/watermelon.yml EXCEPTION 144.77 137.13 None loop-invariants/bin-suffix-5.yml true 464.40 446.05 None loop-invariants/const.yml true 3.24 1.81 None loop-invariants/eq1.yml true 143.68 136.04 None loop-invariants/eq2.yml true 144.17 136.98 None loop-invariants/even.yml true 464.44 443.79 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 911.75 897.89 None loop-invariants/mod4.yml true 464.42 444.71 None loop-invariants/odd.yml true 465.52 438.92 None loop-simple/nested_1.yml true 3.08 1.83 None loop-simple/nested_2.yml true 3.44 1.98 None loop-simple/nested_3.yml true 5.19 2.93 None loop-simple/nested_4.yml true 75.33 70.49 None loop-simple/nested_5.yml TIMEOUT (true) 960.48 943.23 None loop-simple/nested_6.yml OUT OF MEMORY 730.20 687.36 None loop-zilu/benchmark02_linear.yml true 144.19 140.35 None loop-zilu/benchmark02_linear_abstracted.yml true 3.69 2.01 None loop-zilu/benchmark04_conjunctive.yml TIMEOUT 901.74 882.83 None loop-zilu/benchmark05_conjunctive.yml true 145.46 138.72 None loop-zilu/benchmark09_conjunctive.yml true 144.34 140.04 None loop-zilu/benchmark10_conjunctive.yml true 6.54 3.74 None loop-zilu/benchmark11_linear.yml true 144.75 139.72 None loop-zilu/benchmark11_linear_abstracted.yml true 4.33 2.33 None loop-zilu/benchmark14_linear.yml true 30.32 25.71 None loop-zilu/benchmark17_conjunctive.yml true 145.79 138.37 None loop-zilu/benchmark18_conjunctive.yml true 205.50 168.52 None loop-zilu/benchmark19_conjunctive.yml TIMEOUT 910.83 892.61 None loop-zilu/benchmark20_conjunctive.yml true 9.86 6.52 None loop-zilu/benchmark23_conjunctive.yml true 5.46 3.17 None loop-zilu/benchmark25_linear.yml true 144.81 140.39 None loop-zilu/benchmark25_linear_abstracted.yml true 4.54 2.42 None loop-zilu/benchmark26_linear.yml true 145.41 139.56 None loop-zilu/benchmark26_linear_abstracted.yml true 3.40 1.94 None loop-zilu/benchmark32_linear.yml true 142.99 136.36 None loop-zilu/benchmark33_linear.yml true 15.78 11.34 None loop-zilu/benchmark34_conjunctive.yml TIMEOUT 901.67 884.05 None loop-zilu/benchmark35_linear.yml true 4.92 2.62 None loop-zilu/benchmark37_conjunctive.yml true 144.72 138.01 None loop-zilu/benchmark43_conjunctive.yml true 145.52 138.17 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 4.65 2.49 None loop-zilu/benchmark51_polynomial.yml true 145.47 132.99 None loop-zilu/benchmark52_polynomial.yml true 14.39 11.89 None verifythis/duplets.yml false(unreach-call) 71.99 56.39 None verifythis/elimination_max.yml TIMEOUT 901.30 882.76 None verifythis/lcp.yml TIMEOUT 901.48 887.36 None verifythis/prefixsum_iter.yml OUT OF MEMORY 273.66 232.49 None nla-digbench/bresenham-ll.yml TIMEOUT 900.97 885.24 None nla-digbench/cohencu-ll.yml OUT OF MEMORY 198.66 170.00 None nla-digbench/cohendiv-ll.yml TIMEOUT 901.71 879.23 None nla-digbench/dijkstra-u.yml TIMEOUT 903.60 878.62 None nla-digbench/divbin2.yml TIMEOUT 901.97 867.36 None nla-digbench/egcd-ll.yml TIMEOUT 900.87 889.53 None nla-digbench/egcd2-ll.yml TIMEOUT 901.03 880.38 None nla-digbench/egcd3-ll.yml TIMEOUT 901.34 888.80 None nla-digbench/fermat1-ll.yml TIMEOUT 901.05 881.85 None nla-digbench/fermat2-ll.yml TIMEOUT 900.88 886.00 None nla-digbench/geo1-ll.yml TIMEOUT 900.79 892.36 None nla-digbench/geo2-ll.yml TIMEOUT 900.71 893.54 None nla-digbench/geo3-ll.yml TIMEOUT 900.64 893.36 None nla-digbench/hard-ll.yml TIMEOUT 901.63 861.94 None nla-digbench/hard2.yml true 211.86 176.05 None nla-digbench/knuth.yml ERROR 206.94 192.18 None nla-digbench/lcm1.yml TIMEOUT 900.92 887.76 None nla-digbench/lcm2.yml TIMEOUT 900.83 892.11 None nla-digbench/mannadiv.yml TIMEOUT 900.89 880.43 None nla-digbench/prod4br-ll.yml TIMEOUT 900.85 890.79 None nla-digbench/prodbin-ll.yml TIMEOUT 900.76 888.46 None nla-digbench/ps2-ll.yml TIMEOUT 900.98 887.47 None nla-digbench/ps3-ll.yml TIMEOUT 901.11 880.22 None nla-digbench/ps4-ll.yml OUT OF MEMORY 196.63 163.67 None nla-digbench/ps5-ll.yml true 17.95 11.58 None nla-digbench/ps6-ll.yml true 18.03 11.63 None nla-digbench/sqrt1-ll.yml TIMEOUT 901.19 876.56 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 3.76 2.04 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 22.19 18.13 None nla-digbench-scaling/bresenham-ll_valuebound100.yml TIMEOUT 900.76 887.92 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 5.60 3.00 None nla-digbench-scaling/bresenham-ll_valuebound20.yml TIMEOUT 900.85 880.27 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 7.01 4.52 None nla-digbench-scaling/bresenham-ll_valuebound50.yml TIMEOUT 900.91 886.22 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 3.84 2.13 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 4.49 2.54 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 10.94 6.07 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 4.10 2.36 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 5.22 2.94 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 4.30 2.46 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 7.37 4.07 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 3.61 2.02 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 30.87 28.12 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml TIMEOUT 901.81 884.31 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 3.53 1.95 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml TIMEOUT 901.60 885.28 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 6.28 3.55 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml TIMEOUT 902.06 875.61 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 5.19 2.75 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 6.74 3.71 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 27.46 20.87 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 5.12 2.72 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 8.34 5.06 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 5.54 3.00 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 14.53 9.88 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 4.57 2.45 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 4.94 2.63 None nla-digbench-scaling/dijkstra-u_valuebound1.yml true 5.38 2.86 None nla-digbench-scaling/dijkstra-u_valuebound10.yml true 6.71 3.91 None nla-digbench-scaling/dijkstra-u_valuebound100.yml true 13.86 10.19 None nla-digbench-scaling/dijkstra-u_valuebound2.yml true 4.93 2.71 None nla-digbench-scaling/dijkstra-u_valuebound20.yml true 8.31 5.07 None nla-digbench-scaling/dijkstra-u_valuebound5.yml true 6.44 3.59 None nla-digbench-scaling/dijkstra-u_valuebound50.yml true 10.25 6.93 None nla-digbench-scaling/divbin2_unwindbound1.yml true 4.73 2.49 None nla-digbench-scaling/divbin2_unwindbound10.yml true 6.72 3.51 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 902.48 866.13 None nla-digbench-scaling/divbin2_unwindbound2.yml true 4.88 2.59 None nla-digbench-scaling/divbin2_unwindbound20.yml true 60.11 48.09 None nla-digbench-scaling/divbin2_unwindbound5.yml true 5.13 2.74 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 902.42 865.45 None nla-digbench-scaling/divbin2_valuebound1.yml true 4.60 2.45 None nla-digbench-scaling/divbin2_valuebound10.yml true 5.27 2.80 None nla-digbench-scaling/divbin2_valuebound100.yml true 9.15 4.77 None nla-digbench-scaling/divbin2_valuebound2.yml true 4.85 2.58 None nla-digbench-scaling/divbin2_valuebound20.yml true 5.68 3.00 None nla-digbench-scaling/divbin2_valuebound5.yml true 5.19 2.74 None nla-digbench-scaling/divbin2_valuebound50.yml true 7.51 3.93 None nla-digbench-scaling/divbin_unwindbound1.yml true 3.57 2.10 None nla-digbench-scaling/divbin_unwindbound2.yml true 3.47 2.03 None nla-digbench-scaling/divbin_unwindbound5.yml true 5.43 2.99 None nla-digbench-scaling/divbin_valuebound1.yml true 3.82 2.12 None nla-digbench-scaling/divbin_valuebound10.yml true 6.35 3.49 None nla-digbench-scaling/divbin_valuebound100.yml true 16.10 12.05 None nla-digbench-scaling/divbin_valuebound2.yml true 5.26 2.81 None nla-digbench-scaling/divbin_valuebound20.yml true 7.64 4.46 None nla-digbench-scaling/divbin_valuebound5.yml true 5.38 2.92 None nla-digbench-scaling/divbin_valuebound50.yml true 9.48 6.42 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 4.67 2.51 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 73.69 67.86 None nla-digbench-scaling/egcd-ll_valuebound100.yml TIMEOUT 901.22 864.50 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 5.69 3.06 None nla-digbench-scaling/egcd-ll_valuebound20.yml TIMEOUT 901.35 851.03 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 14.16 11.73 None nla-digbench-scaling/egcd-ll_valuebound50.yml TIMEOUT 901.24 855.95 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 5.71 3.35 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 901.56 870.39 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 901.38 880.13 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 8.53 5.39 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 901.41 880.70 None nla-digbench-scaling/egcd2-ll_valuebound5.yml true 42.03 39.02 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 901.23 887.52 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 4.87 2.58 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 902.10 878.21 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 901.78 884.36 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 4.53 2.61 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 901.73 883.05 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 901.82 883.02 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 901.89 878.16 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 5.67 3.29 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 53.10 49.83 None nla-digbench-scaling/fermat1-ll_valuebound100.yml TIMEOUT 901.26 880.62 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 5.55 3.31 None nla-digbench-scaling/fermat1-ll_valuebound20.yml TIMEOUT 901.16 880.23 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 29.01 26.95 None nla-digbench-scaling/fermat1-ll_valuebound50.yml TIMEOUT 901.30 881.96 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 4.53 2.89 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 38.69 36.81 None nla-digbench-scaling/fermat2-ll_valuebound100.yml TIMEOUT 900.92 888.99 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 5.83 3.36 None nla-digbench-scaling/fermat2-ll_valuebound20.yml TIMEOUT 901.09 882.46 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 19.73 17.98 None nla-digbench-scaling/fermat2-ll_valuebound50.yml TIMEOUT 900.98 882.75 None nla-digbench-scaling/freire1_valuebound1.yml true 11.16 9.17 None nla-digbench-scaling/freire1_valuebound10.yml true 88.53 86.24 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 901.76 896.86 None nla-digbench-scaling/freire1_valuebound2.yml true 15.05 12.73 None nla-digbench-scaling/freire1_valuebound20.yml true 151.98 149.66 None nla-digbench-scaling/freire1_valuebound5.yml true 29.77 26.85 None nla-digbench-scaling/freire1_valuebound50.yml true 254.68 251.95 None nla-digbench-scaling/geo1-ll_unwindbound1.yml TIMEOUT 900.56 897.89 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 900.78 896.76 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 900.71 894.62 None nla-digbench-scaling/geo1-ll_unwindbound2.yml TIMEOUT 900.76 898.49 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 900.67 897.62 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 900.72 898.11 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 900.87 895.26 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 5.01 2.65 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 36.42 33.55 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 900.88 887.50 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 5.25 2.98 None nla-digbench-scaling/geo1-ll_valuebound20.yml TIMEOUT 900.89 888.41 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 10.21 7.72 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 900.91 888.31 None nla-digbench-scaling/geo2-ll_unwindbound1.yml TIMEOUT 900.67 897.90 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 900.73 896.72 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 900.75 893.36 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 900.73 896.89 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 900.69 897.76 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 900.86 896.72 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 900.71 896.58 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 3.19 1.77 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 22.29 20.55 None nla-digbench-scaling/geo2-ll_valuebound100.yml TIMEOUT 900.81 893.90 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 3.61 2.24 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 130.13 128.06 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 6.74 5.11 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 900.73 893.21 None nla-digbench-scaling/geo3-ll_unwindbound1.yml TIMEOUT 900.69 896.57 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 900.63 897.84 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 900.80 892.62 None nla-digbench-scaling/geo3-ll_unwindbound2.yml TIMEOUT 900.68 896.53 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 900.70 896.43 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 900.63 897.97 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 900.76 895.39 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 4.32 2.38 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 57.66 54.89 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 900.89 889.63 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 5.41 3.16 None nla-digbench-scaling/geo3-ll_valuebound20.yml TIMEOUT 900.96 889.42 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 11.06 9.54 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 900.93 889.32 None nla-digbench-scaling/hard-ll_valuebound1.yml true 3.60 2.07 None nla-digbench-scaling/hard-ll_valuebound10.yml true 5.71 3.55 None nla-digbench-scaling/hard-ll_valuebound100.yml true 28.85 24.48 None nla-digbench-scaling/hard-ll_valuebound2.yml true 3.90 2.23 None nla-digbench-scaling/hard-ll_valuebound20.yml true 7.41 4.99 None nla-digbench-scaling/hard-ll_valuebound5.yml true 4.19 2.41 None nla-digbench-scaling/hard-ll_valuebound50.yml true 14.57 11.33 None nla-digbench-scaling/hard-u_valuebound1.yml true 3.78 2.31 None nla-digbench-scaling/hard-u_valuebound10.yml true 4.99 2.96 None nla-digbench-scaling/hard-u_valuebound100.yml true 18.04 13.61 None nla-digbench-scaling/hard-u_valuebound2.yml true 4.41 2.42 None nla-digbench-scaling/hard-u_valuebound20.yml true 6.43 4.06 None nla-digbench-scaling/hard-u_valuebound5.yml true 4.25 2.47 None nla-digbench-scaling/hard-u_valuebound50.yml true 10.57 7.05 None nla-digbench-scaling/hard2_valuebound1.yml true 3.84 2.12 None nla-digbench-scaling/hard2_valuebound10.yml true 4.44 2.41 None nla-digbench-scaling/hard2_valuebound100.yml true 7.61 4.04 None nla-digbench-scaling/hard2_valuebound2.yml true 3.79 2.21 None nla-digbench-scaling/hard2_valuebound20.yml true 4.99 2.69 None nla-digbench-scaling/hard2_valuebound5.yml true 4.16 2.31 None nla-digbench-scaling/hard2_valuebound50.yml true 5.95 3.31 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR 145.66 143.08 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR 146.09 143.37 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR 150.68 145.55 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR 145.46 143.23 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR 146.15 143.20 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR 145.59 142.99 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR 150.56 145.36 None nla-digbench-scaling/knuth_valuebound1.yml true 3.73 2.05 None nla-digbench-scaling/knuth_valuebound10.yml ERROR 205.85 195.82 None nla-digbench-scaling/knuth_valuebound100.yml ERROR 205.53 195.46 None nla-digbench-scaling/knuth_valuebound2.yml true 3.79 2.03 None nla-digbench-scaling/knuth_valuebound20.yml ERROR 206.05 194.03 None nla-digbench-scaling/knuth_valuebound5.yml ERROR 205.58 194.88 None nla-digbench-scaling/knuth_valuebound50.yml ERROR 205.51 195.24 None nla-digbench-scaling/lcm1_valuebound1.yml true 4.81 2.53 None nla-digbench-scaling/lcm1_valuebound10.yml true 59.30 54.40 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 901.09 885.07 None nla-digbench-scaling/lcm1_valuebound2.yml true 5.77 3.10 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 901.00 884.08 None nla-digbench-scaling/lcm1_valuebound5.yml true 14.82 11.43 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 901.03 885.10 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.65 896.18 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.68 897.93 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.80 888.07 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.62 898.39 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.62 897.12 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.64 897.58 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.72 895.61 None nla-digbench-scaling/lcm2_valuebound1.yml true 3.49 1.92 None nla-digbench-scaling/lcm2_valuebound10.yml true 39.59 36.95 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.82 893.69 None nla-digbench-scaling/lcm2_valuebound2.yml true 4.93 2.77 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.79 893.47 None nla-digbench-scaling/lcm2_valuebound5.yml true 9.51 7.36 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.84 895.44 None nla-digbench-scaling/mannadiv_valuebound1.yml TIMEOUT 900.95 880.71 None nla-digbench-scaling/mannadiv_valuebound10.yml TIMEOUT 900.92 878.60 None nla-digbench-scaling/mannadiv_valuebound100.yml TIMEOUT 900.94 879.20 None nla-digbench-scaling/mannadiv_valuebound2.yml TIMEOUT 900.92 878.12 None nla-digbench-scaling/mannadiv_valuebound20.yml TIMEOUT 900.88 878.73 None nla-digbench-scaling/mannadiv_valuebound5.yml TIMEOUT 900.89 887.00 None nla-digbench-scaling/mannadiv_valuebound50.yml TIMEOUT 900.87 880.80 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 3.70 2.15 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 901.04 889.11 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.98 890.03 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 7.01 4.86 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.96 888.88 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 43.57 40.78 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 901.06 888.34 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.82 886.57 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.77 886.41 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 3.76 2.20 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 15.00 13.00 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 900.82 888.56 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 5.66 3.55 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 37.15 33.86 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 10.23 7.54 None nla-digbench-scaling/prodbin-ll_valuebound50.yml true 118.48 113.80 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 4.30 2.31 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 5.00 2.65 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 8.06 4.30 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 4.36 2.35 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 5.49 2.90 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 4.71 2.50 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 6.54 3.44 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 4.48 2.40 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 4.67 2.49 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 7.56 4.09 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 4.16 2.25 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 5.12 2.71 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 4.42 2.35 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 6.30 3.27 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 4.14 2.22 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 4.76 2.54 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 7.63 4.04 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 4.37 2.33 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 4.86 2.57 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 4.15 2.22 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 6.04 3.17 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 4.13 2.21 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 4.75 2.51 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 7.44 3.92 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 4.37 2.34 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 5.01 2.66 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 4.43 2.40 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 6.54 3.40 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 4.54 2.43 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 4.84 2.58 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 9.40 5.07 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 4.81 2.54 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 5.47 2.89 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 4.92 2.58 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 7.30 3.84 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 4.37 2.38 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 5.14 2.71 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 9.35 5.08 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 4.48 2.43 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 5.58 2.96 None nla-digbench-scaling/ps5-ll_valuebound5.yml true 5.02 2.66 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 7.16 3.79 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 4.75 2.52 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 5.31 2.81 None nla-digbench-scaling/ps6-ll_valuebound100.yml true 9.33 5.02 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 4.46 2.37 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 5.79 3.06 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 4.77 2.52 None nla-digbench-scaling/ps6-ll_valuebound50.yml true 7.47 3.93 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 4.55 2.43 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 5.15 2.73 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 9.21 4.77 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 4.50 2.41 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 5.75 3.04 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 5.03 2.66 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 6.92 3.61 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 4.73 2.50 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 4.73 2.51 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 5.23 2.76 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 4.57 2.41 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 4.74 2.53 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 4.57 2.43 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 4.95 2.63 None recursive/Ackermann01-2.yml true 7.59 4.05 None recursive/Ackermann03.yml TIMEOUT 904.13 880.51 None recursive/Ackermann04.yml TIMEOUT 900.86 871.61 None recursive/Addition01-2.yml TIMEOUT 900.68 880.83 None recursive/Addition03-1.yml TIMEOUT 902.92 882.07 None recursive/EvenOdd01-1.yml TIMEOUT 902.82 872.45 None recursive/Fibonacci01-1.yml TIMEOUT 905.09 891.04 None recursive/Fibonacci02.yml true 5.53 3.11 None recursive/Fibonacci03.yml TIMEOUT 900.72 885.35 None recursive/McCarthy91-2.yml true 4.26 2.45 None recursive/MultCommutative-2.yml TIMEOUT 900.44 894.18 None recursive/Primes.yml TIMEOUT 900.64 885.63 None recursive/gcd01-1.yml true 5.20 2.88 None recursive/gcd02.yml TIMEOUT 900.44 894.65 None recursive/recHanoi01.yml EXCEPTION 5.86 3.14 None recursive/recHanoi02-2.yml TIMEOUT 900.78 880.43 None recursive/recHanoi03-2.yml TIMEOUT 900.65 876.99 None recursive-simple/afterrec-2.yml true 4.32 2.31 None recursive-simple/afterrec_2calls-2.yml true 4.40 2.34 None recursive-simple/fibo_10-2.yml true 8.06 4.18 None recursive-simple/fibo_15-1.yml true 26.19 19.75 None recursive-simple/fibo_20-2.yml TIMEOUT 914.99 898.12 None recursive-simple/fibo_25-2.yml TIMEOUT 951.06 747.51 None recursive-simple/fibo_2calls_10-1.yml true 9.28 4.83 None recursive-simple/fibo_2calls_15-2.yml true 34.57 27.61 None recursive-simple/fibo_2calls_2-2.yml true 4.43 2.40 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 914.30 898.19 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 947.89 848.06 None recursive-simple/fibo_2calls_4-1.yml true 5.42 2.88 None recursive-simple/fibo_2calls_5-1.yml true 6.10 3.20 None recursive-simple/fibo_2calls_6-1.yml true 5.84 3.07 None recursive-simple/fibo_2calls_8-1.yml true 6.92 3.61 None recursive-simple/fibo_5-1.yml true 5.41 2.83 None recursive-simple/fibo_7-1.yml true 5.93 3.11 None recursive-simple/id2_b2_o3.yml true 5.18 2.73 None recursive-simple/id2_b3_o5.yml true 5.34 2.81 None recursive-simple/id2_b5_o10.yml true 5.77 3.02 None recursive-simple/id2_i5_o5-2.yml true 5.72 3.01 None recursive-simple/id_b2_o3.yml true 5.28 2.78 None recursive-simple/id_b3_o5-2.yml true 5.36 2.83 None recursive-simple/id_b5_o10-2.yml true 5.55 2.93 None recursive-simple/id_i10_o10-2.yml true 5.56 2.94 None recursive-simple/id_i15_o15-1.yml true 5.56 2.96 None recursive-simple/id_i20_o20-1.yml true 5.93 3.13 None recursive-simple/id_i25_o25-1.yml true 5.93 3.13 None recursive-simple/id_i5_o5-2.yml true 5.06 2.66 None recursive-simple/sum_10x0-1.yml true 5.90 3.11 None recursive-simple/sum_15x0-1.yml true 5.92 3.11 None recursive-simple/sum_20x0-2.yml true 6.53 3.43 None recursive-simple/sum_25x0-1.yml true 6.47 3.42 None recursive-simple/sum_2x3-2.yml true 5.36 2.85 None recursive-simple/sum_non_eq-2.yml true 5.40 2.92 None recursive-with-pointer/simple-recursive.yml true 12.13 7.72 None verifythis/prefixsum_rec.yml ERROR (interpolation failed) 11.40 7.12 None verifythis/elimination_max_rec.yml TIMEOUT 901.51 896.03 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 901.07 895.69 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 901.25 865.47 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 901.21 876.17 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 901.19 876.74 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml TIMEOUT 900.81 860.10 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml TIMEOUT 900.80 869.21 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 901.12 881.59 None recursified_loop-crafted/recursified_simple_vardep_1.yml ERROR (recursion) 4.36 2.43 None recursified_loop-crafted/recursified_simple_vardep_2.yml ERROR (recursion) 4.69 2.73 None recursified_loop-invariants/recursified_bin-suffix-5.yml TIMEOUT 901.10 878.44 None recursified_loop-invariants/recursified_const.yml true 3.98 2.20 None recursified_loop-invariants/recursified_eq1.yml TIMEOUT 900.75 875.51 None recursified_loop-invariants/recursified_eq2.yml TIMEOUT 901.63 868.03 None recursified_loop-invariants/recursified_even.yml TIMEOUT 901.29 868.60 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 900.67 867.14 None recursified_loop-invariants/recursified_mod4.yml TIMEOUT 901.22 869.21 None recursified_loop-invariants/recursified_odd.yml TIMEOUT 901.15 865.20 None recursified_loop-simple/recursified_nested_1.yml TIMEOUT 901.42 862.51 None recursified_loop-simple/recursified_nested_2.yml TIMEOUT 901.26 862.13 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 901.27 860.94 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 901.28 867.45 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 901.29 875.37 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 901.04 892.96 None recursified_nla-digbench/recursified_bresenham-ll.yml ERROR (recursion) 6.83 5.43 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 901.32 898.41 None recursified_nla-digbench/recursified_cohendiv-ll.yml ERROR (recursion) 56.92 52.73 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 900.51 895.79 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 900.51 895.64 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 905.93 900.69 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 901.09 896.62 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 901.84 892.94 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 901.26 897.96 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 900.97 897.61 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 901.84 897.23 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 901.49 895.35 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 901.33 897.92 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 900.66 897.04 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 900.56 898.10 None recursified_nla-digbench/recursified_knuth.yml ERROR 3.99 2.22 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 901.22 898.05 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 900.93 899.37 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 901.01 895.90 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 901.91 897.66 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 900.64 896.22 None recursified_nla-digbench/recursified_ps2-ll.yml TIMEOUT 900.60 895.57 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 900.59 896.47 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 900.58 896.34 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 900.59 896.13 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 900.57 895.92 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 901.12 896.80 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 247005.29 17639.44 - Statistics: 666 Files correct: 387 correct true: 387 correct false: 0 incorrect: 1 incorrect true: 0 incorrect false: 1 unknown: 278 Score: 758 (max: 1332)