BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Wed, 2024-09-11 19:17:04 CEST tool: ULTIMATE Automizer 0.2.4-a9b967e5 tool executable: ./Ultimate.py options: --full-output --traceabstraction.positions.where.we.compute.the.hoare.annotation All --witnessprinter.yaml.format.version 2.1 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 --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 16.03 9.28 None loops/count_up_down-1.yml TIMEOUT 300.30 275.97 None loops/eureka_01-2.yml TIMEOUT 301.10 281.38 None loops/eureka_05.yml TIMEOUT 300.36 266.74 None loops/for_infinite_loop_1.yml true 12.57 7.48 None loops/for_infinite_loop_2.yml true 9.23 6.14 None loops/heavy-2.yml true 15.85 9.32 None loops/insertion_sort-2-2.yml TIMEOUT 301.00 289.42 None loops/invert_string-3.yml true 44.06 30.24 None loops/linear_sea.ch.yml TIMEOUT 300.22 272.95 None loops/lu.cmp.yml true 18.12 10.79 None loops/matrix-1.yml true 50.88 36.18 None loops/n.c11.yml true 10.04 6.39 None loops/n.c40.yml true 9.99 6.89 None loops/nec40.yml true 9.55 6.18 None loops/string-1.yml true 10.48 6.94 None loops/sum01-2.yml true 12.71 8.57 None loops/sum03-2.yml true 14.85 8.46 None loops/sum04-2.yml true 15.17 9.02 None loops/sum_array-2-2.yml TIMEOUT 300.74 266.84 None loops/terminator_02-2.yml true 12.05 6.79 None loops/terminator_02-2_abstracted.yml true 10.45 6.49 None loops/terminator_03-2.yml true 8.93 5.33 None loops/terminator_03-2_abstracted.yml true 9.83 6.07 None loops/trex01-2.yml true 13.06 7.72 None loops/trex02-1.yml true 12.14 6.76 None loops/trex03-2.yml true 12.33 6.88 None loops/trex03-2_abstracted.yml true 11.89 6.78 None loops/trex04.yml true 9.50 5.85 None loops/trex04_abstracted.yml true 10.38 6.78 None loops/veris.c_NetBSD-libc_loop.yml true 13.94 8.21 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 15.48 9.00 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 9.09 5.77 None loops/vogal-1.yml TIMEOUT 300.46 260.11 None loops/while_infinite_loop_1.yml true 9.32 5.82 None loops/while_infinite_loop_2.yml true 9.71 6.06 None loops/while_infinite_loop_3.yml true 9.65 5.96 None loop-acceleration/array_1-2.yml true 14.97 11.40 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.05 291.10 None loop-acceleration/array_2-2.yml TIMEOUT 301.04 288.98 None loop-acceleration/array_3-1.yml true 14.25 8.00 None loop-acceleration/array_4.yml TIMEOUT 301.05 288.62 None loop-acceleration/const_1-1.yml true 12.91 7.21 None loop-acceleration/diamond_1-1.yml true 127.18 115.64 None loop-acceleration/diamond_2-2.yml true 15.98 8.89 None loop-acceleration/functions_1-1.yml true 9.74 6.19 None loop-acceleration/multivar_1-1.yml true 12.45 6.87 None loop-acceleration/nested_1-1.yml true 29.74 18.07 None loop-acceleration/overflow_1-1.yml true 12.68 7.64 None loop-acceleration/phases_1-1.yml TIMEOUT 300.27 278.77 None loop-acceleration/phases_2-2.yml true 26.78 20.49 None loop-acceleration/simple_1-2.yml true 9.74 6.17 None loop-acceleration/simple_1-2_abstracted.yml true 9.28 5.84 None loop-acceleration/simple_2-1.yml true 12.14 6.84 None loop-acceleration/simple_2-1_abstracted.yml true 9.15 5.79 None loop-acceleration/simple_3-2.yml true 13.16 7.91 None loop-acceleration/simple_4-2.yml true 9.89 6.50 None loop-acceleration/simple_4-2_abstracted.yml true 9.10 5.80 None loop-acceleration/underapprox_1-2.yml true 24.80 14.76 None loop-acceleration/underapprox_2-2.yml true 10.25 6.28 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 301.12 285.74 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 302.44 270.46 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 300.97 289.98 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 20.01 11.26 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 18.75 10.90 None loop-crafted/simple_array_index_value_4.yml true 30.09 16.73 None loop-crafted/simple_vardep_1.yml true 13.58 8.09 None loop-crafted/simple_vardep_2.yml true 15.19 8.49 None loop-invgen/MADWiFi-encode_ie_ok.yml true 12.03 7.51 None loop-invgen/NetBSD_loop.yml true 14.38 8.33 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 20.72 11.46 None loop-invgen/SpamAssassin-loop.yml true 17.69 9.91 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 24.77 13.67 None loop-invgen/apache-escape-absolute.yml true 13.59 7.93 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 20.02 11.81 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 54.06 30.45 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 92.06 55.44 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 27.41 14.73 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 25.76 13.93 None loop-invgen/apache-get-tag.yml true 12.82 7.79 None loop-invgen/down.yml TIMEOUT 300.24 254.55 None loop-invgen/fragtest_simple.yml TIMEOUT 301.15 285.70 None loop-invgen/half_2.yml TIMEOUT 300.81 267.24 None loop-invgen/heapsort.yml TIMEOUT 300.20 276.75 None loop-invgen/id_build.i.p+nlh-reducer.yml true 21.83 11.65 None loop-invgen/id_build.i.p+sep-reducer.yml true 21.17 11.60 None loop-invgen/id_build.i.v+lhb-reducer.yml true 13.66 7.74 None loop-invgen/id_build.yml true 12.77 7.38 None loop-invgen/large_const.yml true 12.50 8.49 None loop-invgen/nest-if3.yml true 9.73 6.22 None loop-invgen/nested6.yml true 26.38 14.76 None loop-invgen/nested9.yml true 13.31 8.61 None loop-invgen/sendmail-close-angle.yml true 25.29 14.01 None loop-invgen/seq-3.yml TIMEOUT 300.66 267.78 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.40 275.11 None loop-invgen/up.yml TIMEOUT 300.58 249.50 None loop-lit/afnp2014.yml true 10.55 6.79 None loop-lit/as2013-hybrid.yml true 14.18 7.97 None loop-lit/bh2017-ex-add.yml true 19.93 11.11 None loop-lit/bh2017-ex1-poly.yml true 14.47 8.75 None loop-lit/bh2017-ex3.yml true 18.46 10.54 None loop-lit/bhmr2007.yml true 16.28 9.51 None loop-lit/cggmp2005.yml true 10.50 7.29 None loop-lit/cggmp2005_variant.yml true 15.08 8.62 None loop-lit/cggmp2005b.yml true 13.80 7.98 None loop-lit/css2003.yml true 13.80 7.81 None loop-lit/ddlm2013.yml true 13.72 8.78 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 57.94 35.94 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 74.14 43.64 None loop-lit/gj2007.yml true 53.13 32.97 None loop-lit/gj2007b.yml true 11.92 7.82 None loop-lit/gr2006.yml true 72.35 45.99 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 10.21 6.80 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 9.79 6.62 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 9.87 6.38 None loop-lit/gsv2008.yml true 9.94 6.41 None loop-lit/hh2012-ex1b.yml true 11.54 6.92 None loop-lit/hh2012-ex2b.yml true 10.82 6.69 None loop-lit/hh2012-ex3.yml true 22.02 12.43 None loop-lit/hhk2008.yml true 13.31 7.96 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 10.61 6.61 None loop-lit/jm2006.yml true 10.75 6.79 None loop-lit/jm2006_variant.yml true 16.27 9.45 None loop-lit/mcmillan2006.yml true 26.70 16.85 None loop-lit/mine2017-ex4.10.yml true 10.32 6.39 None loop-lit/mine2017-ex4.6.yml true 14.72 8.26 None loop-lit/mine2017-ex4.7.yml true 10.06 6.10 None loop-lit/mine2017-ex4.8.yml true 9.60 5.94 None loop-new/count_by_1.yml true 12.72 7.27 None loop-new/count_by_1_variant.yml true 10.15 6.64 None loop-new/count_by_2.yml TIMEOUT 300.64 247.56 None loop-new/count_by_k.yml TIMEOUT 300.99 266.29 None loop-new/count_by_nondet.yml TIMEOUT 301.42 256.19 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 10.20 6.68 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 14.43 8.56 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 13.41 7.80 None loop-new/gauss_sum.yml true 10.52 6.81 None loop-new/half.yml true 21.30 12.08 None loop-new/nested-1.yml TIMEOUT 300.18 281.29 None loop-industry-pattern/aiob_1.yml unknown 14.76 9.28 None loop-industry-pattern/aiob_2.yml unknown 13.94 8.79 None loop-industry-pattern/aiob_3.yml unknown 19.24 10.78 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 14.58 9.11 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 15.29 9.17 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 14.67 8.73 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 19.74 10.69 None loop-industry-pattern/aiob_4.yml unknown 14.48 9.00 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 78.02 71.89 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 57.90 52.48 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 61.78 53.42 None loop-industry-pattern/mod3.yml true 77.38 71.15 None loop-industry-pattern/ofuf_1.yml unknown 18.74 10.59 None loop-industry-pattern/ofuf_2.yml unknown 18.89 10.99 None loop-industry-pattern/ofuf_3.yml unknown 14.63 8.81 None loop-industry-pattern/ofuf_4.yml unknown 19.18 10.75 None loop-industry-pattern/ofuf_5.yml unknown 15.06 9.90 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 301.01 286.87 None loops-crafted-1/discover_list.yml unknown 19.31 10.42 None loops-crafted-1/iftelse.yml TIMEOUT 300.22 287.92 None loops-crafted-1/in-de20.yml TIMEOUT 300.32 267.15 None loops-crafted-1/in-de31.yml TIMEOUT 300.09 279.28 None loops-crafted-1/in-de32.yml TIMEOUT 301.05 262.04 None loops-crafted-1/in-de41.yml TIMEOUT 300.38 267.38 None loops-crafted-1/in-de42.yml TIMEOUT 300.10 285.18 None loops-crafted-1/in-de51.yml TIMEOUT 301.18 284.79 None loops-crafted-1/in-de52.yml TIMEOUT 300.90 259.36 None loops-crafted-1/in-de61.yml TIMEOUT 300.54 274.50 None loops-crafted-1/in-de62.yml TIMEOUT 301.10 264.03 None loops-crafted-1/loopv1.yml true 13.58 7.69 None loops-crafted-1/loopv2.yml true 13.68 7.69 None loops-crafted-1/loopv3.yml TIMEOUT 300.34 277.14 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.72 249.69 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 301.05 281.19 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.16 280.22 None loops-crafted-1/mono-crafted_12.yml true 13.44 7.71 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.29 252.35 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.47 280.40 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.78 249.09 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 301.28 266.96 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.66 252.59 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 301.05 282.50 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 300.37 281.74 None loops-crafted-1/nested3-1.yml TIMEOUT 301.07 283.79 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 300.93 269.75 None loops-crafted-1/nested5-1.yml true 15.92 9.54 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 300.77 266.67 None loops-crafted-1/net_reset.yml unknown 22.71 12.47 None loops-crafted-1/sum_by_3.yml true 60.25 46.63 None loops-crafted-1/sum_by_3_abstracted.yml true 15.24 8.99 None loops-crafted-1/sum_natnum.yml TIMEOUT 301.36 259.99 None loops-crafted-1/sumt2.yml true 14.71 8.59 None loops-crafted-1/sumt3.yml true 15.06 8.39 None loops-crafted-1/sumt4.yml true 14.87 8.36 None loops-crafted-1/sumt5.yml true 15.54 9.06 None loops-crafted-1/sumt6.yml true 15.86 9.20 None loops-crafted-1/sumt7.yml true 15.89 8.93 None loops-crafted-1/sumt8.yml true 15.85 9.14 None loops-crafted-1/sumt9.yml true 17.14 9.39 None loops-crafted-1/theatreSquare.yml TIMEOUT 300.83 261.46 None loops-crafted-1/vnew1.yml TIMEOUT 301.00 286.90 None loops-crafted-1/vnew2.yml TIMEOUT 301.04 288.65 None loops-crafted-1/watermelon.yml TIMEOUT 301.20 253.33 None loop-invariants/bin-suffix-5.yml true 23.50 14.07 None loop-invariants/const.yml true 12.10 6.76 None loop-invariants/eq1.yml true 10.50 6.11 None loop-invariants/eq2.yml true 12.43 7.22 None loop-invariants/even.yml true 12.71 7.32 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 301.06 262.37 None loop-invariants/mod4.yml true 13.23 7.52 None loop-invariants/odd.yml true 9.77 6.41 None loop-simple/nested_1.yml true 12.34 7.07 None loop-simple/nested_2.yml true 13.72 9.27 None loop-simple/nested_3.yml true 40.45 23.47 None loop-simple/nested_4.yml true 176.03 148.10 None loop-simple/nested_5.yml OUT OF MEMORY 204.98 161.97 None loop-simple/nested_6.yml OUT OF MEMORY 102.86 76.27 None loop-zilu/benchmark02_linear.yml true 9.06 5.75 None loop-zilu/benchmark02_linear_abstracted.yml true 9.27 5.76 None loop-zilu/benchmark04_conjunctive.yml true 9.94 6.69 None loop-zilu/benchmark05_conjunctive.yml true 10.55 6.88 None loop-zilu/benchmark09_conjunctive.yml true 13.64 8.01 None loop-zilu/benchmark10_conjunctive.yml true 11.42 7.08 None loop-zilu/benchmark11_linear.yml true 9.79 6.30 None loop-zilu/benchmark11_linear_abstracted.yml true 9.49 5.81 None loop-zilu/benchmark14_linear.yml true 12.49 7.30 None loop-zilu/benchmark17_conjunctive.yml true 9.72 6.26 None loop-zilu/benchmark18_conjunctive.yml true 10.11 5.99 None loop-zilu/benchmark19_conjunctive.yml true 10.93 6.92 None loop-zilu/benchmark20_conjunctive.yml true 13.26 7.92 None loop-zilu/benchmark23_conjunctive.yml true 44.27 30.09 None loop-zilu/benchmark25_linear.yml true 9.84 6.44 None loop-zilu/benchmark25_linear_abstracted.yml true 9.82 6.30 None loop-zilu/benchmark26_linear.yml true 9.70 6.52 None loop-zilu/benchmark26_linear_abstracted.yml true 12.23 6.83 None loop-zilu/benchmark32_linear.yml true 9.04 5.83 None loop-zilu/benchmark33_linear.yml true 9.60 6.27 None loop-zilu/benchmark34_conjunctive.yml true 14.78 8.50 None loop-zilu/benchmark35_linear.yml true 9.01 5.93 None loop-zilu/benchmark37_conjunctive.yml true 9.90 6.14 None loop-zilu/benchmark43_conjunctive.yml true 11.05 7.26 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 13.60 7.96 None loop-zilu/benchmark51_polynomial.yml true 9.11 5.55 None loop-zilu/benchmark52_polynomial.yml true 9.93 6.15 None verifythis/duplets.yml TIMEOUT 301.11 281.89 None verifythis/elimination_max.yml TIMEOUT 300.07 281.51 None verifythis/lcp.yml ERROR (7) 252.22 237.91 None verifythis/prefixsum_iter.yml TIMEOUT 300.68 265.77 None nla-digbench/bresenham-ll.yml true 32.94 23.36 None nla-digbench/cohencu-ll.yml true 24.94 17.57 None nla-digbench/cohendiv-ll.yml true 23.60 16.36 None nla-digbench/dijkstra-u.yml TIMEOUT 301.00 289.88 None nla-digbench/divbin2.yml TIMEOUT 300.96 294.22 None nla-digbench/egcd-ll.yml true 44.99 33.46 None nla-digbench/egcd2-ll.yml TIMEOUT 300.35 271.04 None nla-digbench/egcd3-ll.yml TIMEOUT 300.71 276.66 None nla-digbench/fermat1-ll.yml true 16.79 10.55 None nla-digbench/fermat2-ll.yml true 15.60 8.99 None nla-digbench/geo1-ll.yml TIMEOUT 301.04 287.80 None nla-digbench/geo2-ll.yml TIMEOUT 300.95 293.88 None nla-digbench/geo3-ll.yml TIMEOUT 301.03 288.61 None nla-digbench/hard-ll.yml TIMEOUT 300.39 272.24 None nla-digbench/hard2.yml TIMEOUT 300.30 275.46 None nla-digbench/knuth.yml TIMEOUT 301.01 294.36 None nla-digbench/lcm1.yml TIMEOUT 300.92 296.63 None nla-digbench/lcm2.yml true 142.60 135.57 None nla-digbench/mannadiv.yml true 12.56 8.10 None nla-digbench/prod4br-ll.yml true 23.30 13.36 None nla-digbench/prodbin-ll.yml TIMEOUT 301.00 289.56 None nla-digbench/ps2-ll.yml true 12.46 7.76 None nla-digbench/ps3-ll.yml true 13.05 7.60 None nla-digbench/ps4-ll.yml true 16.69 9.87 None nla-digbench/ps5-ll.yml true 22.57 13.89 None nla-digbench/ps6-ll.yml true 298.94 288.00 None nla-digbench/sqrt1-ll.yml true 11.56 7.50 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 18.57 11.43 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 17.76 10.92 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 19.62 11.48 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 46.53 36.16 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 24.52 13.90 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 17.67 11.24 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 17.92 11.50 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 100.08 88.87 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 30.19 21.25 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 29.82 20.70 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 31.01 23.29 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 38.70 25.49 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 27.26 18.05 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 33.07 23.95 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 15.28 8.95 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 37.09 23.76 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 25.10 17.39 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 17.88 11.43 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 31.37 18.90 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 31.32 18.36 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 39.24 26.47 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 21.51 13.58 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 29.40 17.40 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 21.21 13.01 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 21.58 15.73 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 27.12 16.27 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 21.25 13.67 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 29.14 16.87 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 14.94 8.62 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 18.38 12.66 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.06 283.20 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 300.28 279.78 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 301.05 289.63 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.08 283.93 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.08 288.50 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 300.12 283.58 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.05 287.46 None nla-digbench-scaling/divbin2_unwindbound1.yml true 14.19 7.98 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.05 285.88 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 301.09 283.67 None nla-digbench-scaling/divbin2_unwindbound2.yml true 15.38 8.96 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.08 283.42 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 301.00 290.16 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 301.07 289.07 None nla-digbench-scaling/divbin2_valuebound1.yml TIMEOUT 300.95 295.61 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.05 286.18 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.04 288.79 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 300.72 276.69 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 300.11 284.77 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.10 285.94 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 300.98 292.52 None nla-digbench-scaling/divbin_unwindbound1.yml true 10.45 6.64 None nla-digbench-scaling/divbin_unwindbound2.yml true 11.49 7.42 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 300.21 274.62 None nla-digbench-scaling/divbin_valuebound1.yml true 148.05 135.47 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 300.13 279.77 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.00 290.33 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 300.39 272.27 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 300.12 284.71 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 301.02 288.56 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.01 288.58 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 14.59 9.83 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 22.62 17.07 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 29.28 19.47 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 19.42 12.86 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 22.54 17.07 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 36.19 26.67 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 22.58 17.25 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 34.81 21.39 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.20 288.10 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 300.55 272.18 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 76.90 54.15 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 300.78 275.12 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 301.05 282.97 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 301.07 282.67 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 34.52 20.72 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.69 272.33 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.17 282.46 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 61.33 46.00 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 301.04 289.05 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.18 281.17 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.22 280.15 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 19.82 12.77 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 17.51 11.16 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 13.96 10.19 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 17.81 11.63 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 13.83 9.95 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 17.83 11.35 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 14.11 9.73 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 15.35 9.07 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 12.82 9.12 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 15.77 10.09 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 12.22 9.11 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 13.00 9.08 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 12.84 9.31 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 15.77 9.84 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.03 292.20 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 300.96 294.17 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 301.04 289.18 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 301.00 292.77 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 300.79 287.70 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 301.02 293.07 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.03 289.68 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 21.53 14.13 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 301.03 288.45 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 301.05 286.19 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 97.03 86.94 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 301.05 285.91 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 301.05 285.98 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 301.02 291.44 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 12.14 7.51 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 13.18 8.58 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 300.98 291.58 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 16.70 9.93 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 242.38 228.33 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 12.80 8.94 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 301.03 287.78 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 27.35 23.50 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.95 293.86 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.93 295.13 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 300.95 295.03 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.97 291.93 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.94 294.78 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.98 291.34 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 13.67 7.71 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 13.43 7.75 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 13.28 8.18 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 40.66 33.71 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 49.97 42.51 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 13.36 8.14 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 301.05 288.24 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 61.18 53.81 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 300.97 292.01 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 300.08 287.64 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 101.49 92.06 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 301.02 289.01 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 300.97 292.64 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 301.04 287.57 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 13.61 7.99 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 14.51 8.70 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 300.98 291.73 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 14.90 8.87 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 91.58 83.47 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 14.23 8.61 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 301.07 288.30 None nla-digbench-scaling/hard-ll_valuebound1.yml true 27.59 17.46 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.47 275.06 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 300.28 278.98 None nla-digbench-scaling/hard-ll_valuebound2.yml true 57.15 33.42 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.63 263.57 None nla-digbench-scaling/hard-ll_valuebound5.yml true 232.91 213.11 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.68 261.37 None nla-digbench-scaling/hard-u_valuebound1.yml true 105.46 84.17 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.07 286.19 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.02 291.05 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.07 285.22 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.05 286.59 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.02 289.87 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.09 286.03 None nla-digbench-scaling/hard2_valuebound1.yml true 33.22 19.65 None nla-digbench-scaling/hard2_valuebound10.yml true 106.39 82.43 None nla-digbench-scaling/hard2_valuebound100.yml TIMEOUT 301.10 287.13 None nla-digbench-scaling/hard2_valuebound2.yml true 54.23 40.95 None nla-digbench-scaling/hard2_valuebound20.yml TIMEOUT 300.23 275.39 None nla-digbench-scaling/hard2_valuebound5.yml TIMEOUT 301.12 285.45 None nla-digbench-scaling/hard2_valuebound50.yml TIMEOUT 301.14 287.23 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.06 291.10 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.03 294.23 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.07 291.50 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.06 291.90 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.05 290.86 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.04 293.96 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.07 291.15 None nla-digbench-scaling/knuth_valuebound1.yml true 31.01 21.06 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 300.19 288.80 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 301.13 287.69 None nla-digbench-scaling/knuth_valuebound2.yml true 34.12 22.09 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 300.20 284.46 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.20 291.43 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.08 287.18 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.92 296.58 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.93 296.59 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.95 294.25 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.92 296.79 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.95 294.33 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.95 294.36 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.95 295.24 None nla-digbench-scaling/lcm2_unwindbound1.yml true 21.06 12.56 None nla-digbench-scaling/lcm2_unwindbound10.yml true 14.34 9.62 None nla-digbench-scaling/lcm2_unwindbound100.yml true 16.97 11.93 None nla-digbench-scaling/lcm2_unwindbound2.yml true 17.85 11.15 None nla-digbench-scaling/lcm2_unwindbound20.yml true 17.96 12.45 None nla-digbench-scaling/lcm2_unwindbound5.yml true 14.06 9.21 None nla-digbench-scaling/lcm2_unwindbound50.yml true 20.51 14.09 None nla-digbench-scaling/lcm2_valuebound1.yml true 17.78 10.35 None nla-digbench-scaling/lcm2_valuebound10.yml true 19.13 14.45 None nla-digbench-scaling/lcm2_valuebound100.yml true 19.03 13.19 None nla-digbench-scaling/lcm2_valuebound2.yml true 20.97 14.10 None nla-digbench-scaling/lcm2_valuebound20.yml true 23.31 15.12 None nla-digbench-scaling/lcm2_valuebound5.yml true 18.65 14.05 None nla-digbench-scaling/lcm2_valuebound50.yml true 18.44 13.38 None nla-digbench-scaling/mannadiv_valuebound1.yml true 16.07 9.90 None nla-digbench-scaling/mannadiv_valuebound10.yml true 16.29 10.08 None nla-digbench-scaling/mannadiv_valuebound100.yml true 16.74 10.11 None nla-digbench-scaling/mannadiv_valuebound2.yml true 12.80 7.94 None nla-digbench-scaling/mannadiv_valuebound20.yml true 11.90 8.05 None nla-digbench-scaling/mannadiv_valuebound5.yml true 15.81 9.79 None nla-digbench-scaling/mannadiv_valuebound50.yml true 16.80 9.80 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 19.84 11.89 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 13.92 8.52 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 12.60 7.80 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 17.01 9.84 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 17.06 9.83 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 12.51 7.61 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 13.53 8.61 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 300.19 275.53 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 300.17 277.78 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 16.85 9.84 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 44.76 32.96 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 300.30 279.54 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 30.75 18.91 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 162.85 139.50 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 44.74 35.57 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.66 269.25 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 10.43 6.82 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 10.86 7.23 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 11.47 7.77 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 11.15 7.08 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 11.48 7.52 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 11.86 7.57 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 11.64 7.55 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 9.85 6.17 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 10.04 7.04 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 10.37 7.01 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 9.60 6.14 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 9.86 6.88 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 12.98 7.58 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 10.27 7.25 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 10.70 7.02 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 11.38 7.48 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 11.67 7.92 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 14.54 8.62 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 11.07 7.20 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 11.74 7.89 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 10.99 7.33 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 10.22 6.94 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 13.58 7.96 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 9.90 6.90 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 10.69 6.85 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 10.17 6.43 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 9.77 6.11 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 10.09 6.68 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 12.48 8.40 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 17.44 10.15 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 13.29 9.17 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 13.76 8.96 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 12.97 8.45 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 13.24 8.75 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 17.09 10.35 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 12.51 8.27 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 301.03 289.84 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 301.05 293.76 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 13.67 8.89 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 231.60 222.68 None nla-digbench-scaling/ps5-ll_valuebound5.yml true 17.12 11.45 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 301.02 293.21 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 13.47 8.76 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 155.56 147.51 None nla-digbench-scaling/ps6-ll_valuebound100.yml true 78.79 72.10 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 14.68 9.84 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 301.01 289.45 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 17.40 11.52 None nla-digbench-scaling/ps6-ll_valuebound50.yml true 79.07 72.11 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 15.21 9.19 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 16.76 9.85 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 16.69 9.85 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 16.21 9.85 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 13.12 8.95 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 18.62 10.78 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 12.89 8.89 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 16.15 9.52 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 17.54 10.25 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 12.38 8.01 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 16.16 9.87 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 12.22 7.86 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 17.88 10.83 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 11.98 8.13 None recursive/Ackermann01-2.yml true 35.26 19.51 None recursive/Ackermann03.yml true 205.88 183.26 None recursive/Ackermann04.yml true 80.14 63.11 None recursive/Addition01-2.yml true 19.21 11.10 None recursive/Addition03-1.yml TIMEOUT 300.40 244.75 None recursive/EvenOdd01-1.yml TIMEOUT 300.74 239.86 None recursive/Fibonacci01-1.yml true 17.36 10.62 None recursive/Fibonacci02.yml true 93.10 63.97 None recursive/Fibonacci03.yml true 157.98 120.20 None recursive/McCarthy91-2.yml true 14.93 8.66 None recursive/MultCommutative-2.yml TIMEOUT 300.34 250.89 None recursive/Primes.yml true 24.73 15.11 None recursive/gcd01-1.yml true 16.70 9.47 None recursive/gcd02.yml TIMEOUT 300.52 269.94 None recursive/recHanoi01.yml TIMEOUT 301.03 235.82 None recursive/recHanoi02-2.yml true 9.95 7.05 None recursive/recHanoi03-2.yml true 63.14 45.86 None recursive-simple/afterrec-2.yml true 9.23 5.58 None recursive-simple/afterrec_2calls-2.yml true 8.98 5.76 None recursive-simple/fibo_10-2.yml true 151.80 118.37 None recursive-simple/fibo_15-1.yml TIMEOUT 300.82 261.50 None recursive-simple/fibo_20-2.yml TIMEOUT 300.79 267.83 None recursive-simple/fibo_25-2.yml TIMEOUT 300.37 239.27 None recursive-simple/fibo_2calls_10-1.yml true 232.86 172.63 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 301.05 262.35 None recursive-simple/fibo_2calls_2-2.yml true 18.19 10.87 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 300.77 268.76 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 300.92 236.79 None recursive-simple/fibo_2calls_4-1.yml true 34.47 19.50 None recursive-simple/fibo_2calls_5-1.yml true 46.73 28.01 None recursive-simple/fibo_2calls_6-1.yml true 40.32 25.66 None recursive-simple/fibo_2calls_8-1.yml true 127.96 82.99 None recursive-simple/fibo_5-1.yml true 33.53 18.98 None recursive-simple/fibo_7-1.yml true 45.12 27.42 None recursive-simple/id2_b2_o3.yml true 15.90 8.82 None recursive-simple/id2_b3_o5.yml true 15.58 8.70 None recursive-simple/id2_b5_o10.yml true 15.39 8.63 None recursive-simple/id2_i5_o5-2.yml true 25.89 14.85 None recursive-simple/id_b2_o3.yml true 13.76 7.83 None recursive-simple/id_b3_o5-2.yml true 10.66 6.65 None recursive-simple/id_b5_o10-2.yml true 10.74 6.54 None recursive-simple/id_i10_o10-2.yml true 46.78 29.73 None recursive-simple/id_i15_o15-1.yml true 107.99 78.07 None recursive-simple/id_i20_o20-1.yml true 195.71 161.21 None recursive-simple/id_i25_o25-1.yml TIMEOUT 301.21 259.07 None recursive-simple/id_i5_o5-2.yml true 24.27 14.05 None recursive-simple/sum_10x0-1.yml true 45.17 28.41 None recursive-simple/sum_15x0-1.yml true 108.43 77.29 None recursive-simple/sum_20x0-2.yml true 269.42 212.50 None recursive-simple/sum_25x0-1.yml TIMEOUT 300.45 244.97 None recursive-simple/sum_2x3-2.yml true 17.82 10.52 None recursive-simple/sum_non_eq-2.yml true 22.15 11.94 None recursive-with-pointer/simple-recursive.yml true 25.28 13.98 None verifythis/prefixsum_rec.yml TIMEOUT 301.32 255.08 None verifythis/elimination_max_rec.yml TIMEOUT 300.23 276.71 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.55 270.20 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 300.99 291.50 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 300.61 268.37 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 300.97 291.71 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 28.98 15.53 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 29.76 16.22 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.08 280.41 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 15.25 9.29 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 24.73 13.71 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 22.12 13.53 None recursified_loop-invariants/recursified_const.yml true 10.75 6.81 None recursified_loop-invariants/recursified_eq1.yml true 58.08 46.48 None recursified_loop-invariants/recursified_eq2.yml true 30.23 24.47 None recursified_loop-invariants/recursified_even.yml true 11.48 6.81 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.63 266.27 None recursified_loop-invariants/recursified_mod4.yml true 11.22 7.08 None recursified_loop-invariants/recursified_odd.yml true 11.53 7.26 None recursified_loop-simple/recursified_nested_1.yml true 37.66 27.97 None recursified_loop-simple/recursified_nested_2.yml true 75.24 50.93 None recursified_loop-simple/recursified_nested_3.yml true 262.13 207.64 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 300.34 276.74 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.70 265.86 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.06 232.25 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 300.34 280.48 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.49 266.30 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 300.50 269.64 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 300.42 271.73 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.13 254.60 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.52 277.46 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.98 274.80 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.25 280.24 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 301.01 287.69 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 301.07 285.23 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 300.19 285.57 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 300.40 281.84 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 301.00 289.98 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.57 271.49 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.30 278.19 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.08 291.17 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 301.14 288.37 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 300.29 280.82 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 300.96 257.81 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.87 260.48 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.24 276.82 None recursified_nla-digbench/recursified_ps2-ll.yml true 24.67 15.96 None recursified_nla-digbench/recursified_ps3-ll.yml true 153.21 143.77 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 300.38 276.62 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 301.06 285.98 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.00 290.99 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.46 267.33 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 81053.38 5338.57 - Statistics: 666 Files correct: 423 correct true: 423 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 243 Score: 846 (max: 1332)