BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Tue, 2024-10-15 14:11:53 CEST tool: ULTIMATE Automizer 0.2.5-e378df2c tool executable: ./Ultimate.py options: --full-output --procedureinliner.inline.calls.to.implemented.procedures NEVER --traceabstraction.positions.where.we.compute.the.hoare.annotation All --witnessprinter.yaml.format.version 2.1 --witnessprinter.generate.graphml.witnesses false parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.8-4-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ SV-COMP24_unreach-call Run set 1 of 1 with options '--full-output --procedureinliner.inline.calls.to.implemented.procedures NEVER --traceabstraction.positions.where.we.compute.the.hoare.annotation All --witnessprinter.yaml.format.version 2.1 --witnessprinter.generate.graphml.witnesses false' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 16.87 9.51 None loops/count_up_down-1.yml TIMEOUT 300.31 276.61 None loops/eureka_01-2.yml TIMEOUT 301.14 281.10 None loops/eureka_05.yml TIMEOUT 300.25 273.32 None loops/for_infinite_loop_1.yml true 12.89 7.58 None loops/for_infinite_loop_2.yml true 9.55 5.98 None loops/heavy-2.yml true 16.12 9.11 None loops/insertion_sort-2-2.yml TIMEOUT 300.96 289.30 None loops/invert_string-3.yml true 91.79 75.36 None loops/linear_sea.ch.yml TIMEOUT 300.13 275.44 None loops/lu.cmp.yml true 19.84 10.96 None loops/matrix-1.yml TIMEOUT 300.26 278.91 None loops/n.c11.yml true 10.79 6.82 None loops/n.c40.yml ERROR (7) 20.33 12.97 None loops/nec40.yml ERROR (7) 18.64 11.93 None loops/string-1.yml true 12.23 8.15 None loops/sum01-2.yml true 16.96 9.88 None loops/sum03-2.yml true 13.90 7.83 None loops/sum04-2.yml true 15.98 9.83 None loops/sum_array-2-2.yml TIMEOUT 301.42 261.80 None loops/terminator_02-2.yml true 10.20 6.52 None loops/terminator_02-2_abstracted.yml true 10.60 6.35 None loops/terminator_03-2.yml true 12.24 6.98 None loops/terminator_03-2_abstracted.yml true 13.25 7.63 None loops/trex01-2.yml true 9.96 5.70 None loops/trex02-1.yml true 12.74 7.43 None loops/trex03-2.yml true 10.27 6.45 None loops/trex03-2_abstracted.yml true 11.93 7.16 None loops/trex04.yml true 9.76 6.10 None loops/trex04_abstracted.yml true 13.09 7.37 None loops/veris.c_NetBSD-libc_loop.yml ERROR (7) 32.36 18.78 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 12.29 8.50 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 12.04 6.68 None loops/vogal-1.yml TIMEOUT 300.36 272.45 None loops/while_infinite_loop_1.yml true 9.28 5.81 None loops/while_infinite_loop_2.yml true 12.70 7.06 None loops/while_infinite_loop_3.yml true 12.30 7.16 None loop-acceleration/array_1-2.yml true 16.62 12.10 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.18 289.36 None loop-acceleration/array_2-2.yml TIMEOUT 301.05 288.44 None loop-acceleration/array_3-1.yml true 13.20 7.85 None loop-acceleration/array_4.yml TIMEOUT 300.28 277.66 None loop-acceleration/const_1-1.yml true 11.16 7.43 None loop-acceleration/diamond_1-1.yml true 50.82 36.18 None loop-acceleration/diamond_2-2.yml true 31.37 24.47 None loop-acceleration/functions_1-1.yml true 10.81 6.89 None loop-acceleration/multivar_1-1.yml true 10.02 6.13 None loop-acceleration/nested_1-1.yml true 30.85 18.78 None loop-acceleration/overflow_1-1.yml true 12.70 7.59 None loop-acceleration/phases_1-1.yml TIMEOUT 300.98 290.76 None loop-acceleration/phases_2-2.yml true 26.36 20.16 None loop-acceleration/simple_1-2.yml true 10.16 6.67 None loop-acceleration/simple_1-2_abstracted.yml true 9.44 6.24 None loop-acceleration/simple_2-1.yml true 11.91 7.01 None loop-acceleration/simple_2-1_abstracted.yml true 9.53 6.37 None loop-acceleration/simple_3-2.yml true 10.50 6.46 None loop-acceleration/simple_4-2.yml true 12.96 7.61 None loop-acceleration/simple_4-2_abstracted.yml true 9.31 5.84 None loop-acceleration/underapprox_1-2.yml true 19.45 11.55 None loop-acceleration/underapprox_2-2.yml true 10.21 6.73 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 300.44 277.75 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.27 277.80 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.07 282.01 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 22.51 12.39 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 23.40 12.64 None loop-crafted/simple_array_index_value_4.yml true 27.88 15.73 None loop-crafted/simple_vardep_1.yml true 13.48 7.85 None loop-crafted/simple_vardep_2.yml true 11.37 6.62 None loop-invgen/MADWiFi-encode_ie_ok.yml true 15.78 8.78 None loop-invgen/NetBSD_loop.yml true 15.56 8.92 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 19.39 11.07 None loop-invgen/SpamAssassin-loop.yml true 17.21 9.42 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 22.81 14.14 None loop-invgen/apache-escape-absolute.yml true 16.96 9.12 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 31.87 17.18 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 69.33 40.98 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 125.55 84.60 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 25.20 14.25 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 28.51 15.86 None loop-invgen/apache-get-tag.yml true 12.39 7.28 None loop-invgen/down.yml TIMEOUT 300.99 285.88 None loop-invgen/fragtest_simple.yml TIMEOUT 301.16 258.10 None loop-invgen/half_2.yml TIMEOUT 300.80 243.39 None loop-invgen/heapsort.yml TIMEOUT 301.16 282.92 None loop-invgen/id_build.i.p+nlh-reducer.yml true 23.68 12.53 None loop-invgen/id_build.i.p+sep-reducer.yml true 24.91 13.45 None loop-invgen/id_build.i.v+lhb-reducer.yml true 10.36 6.46 None loop-invgen/id_build.yml true 13.48 7.36 None loop-invgen/large_const.yml true 17.06 10.50 None loop-invgen/nest-if3.yml true 9.69 5.60 None loop-invgen/nested6.yml true 26.86 15.36 None loop-invgen/nested9.yml true 19.79 11.82 None loop-invgen/sendmail-close-angle.yml true 25.30 14.55 None loop-invgen/seq-3.yml TIMEOUT 301.21 279.63 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.60 264.74 None loop-invgen/up.yml TIMEOUT 300.59 242.36 None loop-lit/afnp2014.yml true 14.18 8.29 None loop-lit/as2013-hybrid.yml true 14.70 8.52 None loop-lit/bh2017-ex-add.yml true 19.84 11.21 None loop-lit/bh2017-ex1-poly.yml true 19.16 10.53 None loop-lit/bh2017-ex3.yml true 18.78 10.48 None loop-lit/bhmr2007.yml true 16.78 9.49 None loop-lit/cggmp2005.yml true 11.80 7.35 None loop-lit/cggmp2005_variant.yml true 15.14 9.08 None loop-lit/cggmp2005b.yml true 13.99 8.52 None loop-lit/css2003.yml true 12.92 7.25 None loop-lit/ddlm2013.yml true 15.31 9.11 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 78.03 51.91 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 112.39 73.10 None loop-lit/gj2007.yml true 52.01 32.74 None loop-lit/gj2007b.yml true 12.06 8.23 None loop-lit/gr2006.yml true 52.63 35.79 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 13.12 7.73 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 10.16 6.37 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 14.01 7.81 None loop-lit/gsv2008.yml true 10.04 6.77 None loop-lit/hh2012-ex1b.yml true 14.86 8.54 None loop-lit/hh2012-ex2b.yml true 13.76 7.84 None loop-lit/hh2012-ex3.yml true 17.81 11.10 None loop-lit/hhk2008.yml true 14.20 8.36 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 11.38 7.41 None loop-lit/jm2006.yml true 13.88 7.89 None loop-lit/jm2006_variant.yml true 16.35 9.25 None loop-lit/mcmillan2006.yml TIMEOUT 300.52 280.71 None loop-lit/mine2017-ex4.10.yml true 13.79 7.57 None loop-lit/mine2017-ex4.6.yml true 11.70 7.57 None loop-lit/mine2017-ex4.7.yml true 12.41 6.99 None loop-lit/mine2017-ex4.8.yml true 12.91 7.57 None loop-new/count_by_1.yml true 12.64 7.20 None loop-new/count_by_1_variant.yml true 10.23 6.41 None loop-new/count_by_2.yml TIMEOUT 300.70 247.55 None loop-new/count_by_k.yml TIMEOUT 300.64 252.90 None loop-new/count_by_nondet.yml TIMEOUT 300.45 252.73 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 11.12 6.96 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 17.91 10.54 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 10.93 6.97 None loop-new/gauss_sum.yml true 14.64 8.44 None loop-new/half.yml true 18.04 10.74 None loop-new/nested-1.yml TIMEOUT 300.21 280.91 None loop-industry-pattern/aiob_1.yml true 28.20 17.05 None loop-industry-pattern/aiob_2.yml true 25.01 15.21 None loop-industry-pattern/aiob_3.yml true 27.38 16.12 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 24.48 14.21 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 23.20 13.96 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 123.21 89.59 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 39.53 21.73 None loop-industry-pattern/aiob_4.yml true 26.01 15.51 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 11.19 6.50 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 11.01 6.80 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 14.61 8.10 None loop-industry-pattern/mod3.yml true 11.77 7.12 None loop-industry-pattern/ofuf_1.yml true 16.20 9.03 None loop-industry-pattern/ofuf_2.yml true 21.54 11.57 None loop-industry-pattern/ofuf_3.yml true 16.62 9.48 None loop-industry-pattern/ofuf_4.yml true 16.81 10.20 None loop-industry-pattern/ofuf_5.yml true 23.01 12.26 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 300.98 291.18 None loops-crafted-1/discover_list.yml ERROR (7) 14.52 9.16 None loops-crafted-1/iftelse.yml TIMEOUT 300.97 292.89 None loops-crafted-1/in-de20.yml TIMEOUT 301.09 261.15 None loops-crafted-1/in-de31.yml TIMEOUT 301.05 287.10 None loops-crafted-1/in-de32.yml TIMEOUT 300.92 262.26 None loops-crafted-1/in-de41.yml TIMEOUT 300.16 280.63 None loops-crafted-1/in-de42.yml TIMEOUT 301.06 265.92 None loops-crafted-1/in-de51.yml TIMEOUT 300.19 280.34 None loops-crafted-1/in-de52.yml TIMEOUT 301.14 259.85 None loops-crafted-1/in-de61.yml TIMEOUT 300.80 265.94 None loops-crafted-1/in-de62.yml TIMEOUT 300.20 272.96 None loops-crafted-1/loopv1.yml true 14.21 8.06 None loops-crafted-1/loopv2.yml true 14.08 7.91 None loops-crafted-1/loopv3.yml true 17.25 10.97 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 300.73 251.43 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 300.99 289.36 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.99 283.37 None loops-crafted-1/mono-crafted_12.yml true 13.42 7.64 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 300.58 249.90 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.81 249.76 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.68 253.34 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 301.29 267.66 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.51 279.64 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 300.95 289.36 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.14 263.86 None loops-crafted-1/nested3-1.yml TIMEOUT 300.10 281.18 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 302.51 253.98 None loops-crafted-1/nested5-1.yml true 16.51 9.62 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 301.03 246.05 None loops-crafted-1/net_reset.yml unknown 21.47 11.97 None loops-crafted-1/sum_by_3.yml true 40.20 26.12 None loops-crafted-1/sum_by_3_abstracted.yml true 22.25 12.01 None loops-crafted-1/sum_natnum.yml TIMEOUT 301.00 247.44 None loops-crafted-1/sumt2.yml true 14.62 8.23 None loops-crafted-1/sumt3.yml true 15.32 8.50 None loops-crafted-1/sumt4.yml true 12.27 8.02 None loops-crafted-1/sumt5.yml true 15.77 9.16 None loops-crafted-1/sumt6.yml true 12.87 7.90 None loops-crafted-1/sumt7.yml true 17.45 9.85 None loops-crafted-1/sumt8.yml true 13.02 8.28 None loops-crafted-1/sumt9.yml true 19.07 10.35 None loops-crafted-1/theatreSquare.yml TIMEOUT 301.36 251.59 None loops-crafted-1/vnew1.yml TIMEOUT 301.03 284.67 None loops-crafted-1/vnew2.yml TIMEOUT 301.10 286.18 None loops-crafted-1/watermelon.yml TIMEOUT 300.42 241.15 None loop-invariants/bin-suffix-5.yml true 23.94 14.76 None loop-invariants/const.yml true 12.61 7.37 None loop-invariants/eq1.yml true 12.56 7.34 None loop-invariants/eq2.yml true 12.69 7.52 None loop-invariants/even.yml true 13.57 7.64 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 300.35 247.43 None loop-invariants/mod4.yml true 13.47 7.62 None loop-invariants/odd.yml true 10.12 6.46 None loop-simple/nested_1.yml true 10.31 6.58 None loop-simple/nested_2.yml true 18.19 10.97 None loop-simple/nested_3.yml true 28.42 18.14 None loop-simple/nested_4.yml true 182.12 153.67 None loop-simple/nested_5.yml OUT OF MEMORY 265.47 222.23 None loop-simple/nested_6.yml OUT OF MEMORY 96.97 74.79 None loop-zilu/benchmark02_linear.yml true 12.28 7.19 None loop-zilu/benchmark02_linear_abstracted.yml true 12.19 6.79 None loop-zilu/benchmark04_conjunctive.yml true 11.10 6.62 None loop-zilu/benchmark05_conjunctive.yml true 11.52 7.90 None loop-zilu/benchmark09_conjunctive.yml true 10.40 6.61 None loop-zilu/benchmark10_conjunctive.yml true 14.89 8.52 None loop-zilu/benchmark11_linear.yml true 10.40 6.18 None loop-zilu/benchmark11_linear_abstracted.yml true 9.96 6.61 None loop-zilu/benchmark14_linear.yml true 9.52 5.84 None loop-zilu/benchmark17_conjunctive.yml true 9.44 5.45 None loop-zilu/benchmark18_conjunctive.yml true 13.33 7.98 None loop-zilu/benchmark19_conjunctive.yml true 10.45 6.76 None loop-zilu/benchmark20_conjunctive.yml true 10.39 6.61 None loop-zilu/benchmark23_conjunctive.yml true 46.21 31.30 None loop-zilu/benchmark25_linear.yml true 13.32 7.79 None loop-zilu/benchmark25_linear_abstracted.yml true 9.84 6.61 None loop-zilu/benchmark26_linear.yml true 9.96 6.42 None loop-zilu/benchmark26_linear_abstracted.yml true 9.57 6.05 None loop-zilu/benchmark32_linear.yml true 11.93 6.71 None loop-zilu/benchmark33_linear.yml true 9.31 5.42 None loop-zilu/benchmark34_conjunctive.yml true 11.35 7.86 None loop-zilu/benchmark35_linear.yml true 9.45 5.58 None loop-zilu/benchmark37_conjunctive.yml true 13.08 7.82 None loop-zilu/benchmark43_conjunctive.yml true 10.20 6.53 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 10.75 6.60 None loop-zilu/benchmark51_polynomial.yml true 12.52 6.87 None loop-zilu/benchmark52_polynomial.yml true 10.29 6.68 None verifythis/duplets.yml TIMEOUT 300.29 278.36 None verifythis/elimination_max.yml TIMEOUT 300.10 280.43 None verifythis/lcp.yml TIMEOUT 300.13 285.99 None verifythis/prefixsum_iter.yml TIMEOUT 300.99 246.09 None nla-digbench/bresenham-ll.yml true 40.96 30.81 None nla-digbench/cohencu-ll.yml true 30.53 22.36 None nla-digbench/cohendiv-ll.yml true 20.07 12.11 None nla-digbench/dijkstra-u.yml TIMEOUT 301.04 289.15 None nla-digbench/divbin2.yml TIMEOUT 300.42 289.89 None nla-digbench/egcd-ll.yml true 32.27 22.36 None nla-digbench/egcd2-ll.yml TIMEOUT 300.68 267.44 None nla-digbench/egcd3-ll.yml TIMEOUT 301.04 268.74 None nla-digbench/fermat1-ll.yml true 17.55 10.66 None nla-digbench/fermat2-ll.yml true 15.80 9.66 None nla-digbench/hard-ll.yml TIMEOUT 300.79 271.08 None nla-digbench/hard2.yml true 70.92 56.89 None nla-digbench/knuth.yml TIMEOUT 301.08 290.40 None nla-digbench/lcm1.yml TIMEOUT 300.95 294.20 None nla-digbench/lcm2.yml true 16.87 11.47 None nla-digbench/mannadiv.yml true 16.71 10.17 None nla-digbench/prod4br-ll.yml true 15.12 9.42 None nla-digbench/prodbin-ll.yml TIMEOUT 300.15 282.37 None nla-digbench/ps2-ll.yml true 13.18 7.65 None nla-digbench/ps3-ll.yml true 9.90 6.39 None nla-digbench/ps4-ll.yml true 17.61 10.25 None nla-digbench/ps5-ll.yml true 13.16 8.49 None nla-digbench/ps6-ll.yml true 155.31 149.04 None nla-digbench/sqrt1-ll.yml true 16.58 9.75 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 23.83 13.78 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 23.27 13.48 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 22.73 13.92 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 54.77 38.56 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 24.46 14.13 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 23.49 13.74 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 23.46 14.00 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 22.64 15.12 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 246.59 229.97 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 48.58 34.29 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 26.10 19.34 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 34.08 21.32 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 25.46 16.90 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 29.90 21.96 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 12.74 7.72 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 25.46 14.47 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 25.15 14.52 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 16.45 10.17 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 19.22 12.11 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 24.00 13.89 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 18.97 12.10 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 16.14 11.09 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 15.88 10.66 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 19.75 11.52 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 19.75 11.55 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 14.89 9.80 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 15.76 10.35 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 15.51 10.34 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 20.15 16.03 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 29.91 23.47 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.08 281.88 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 300.12 283.48 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 300.52 278.65 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.08 283.01 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 300.14 286.11 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 301.01 289.83 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 301.04 288.68 None nla-digbench-scaling/divbin2_unwindbound1.yml true 10.84 7.12 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 301.05 289.90 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 301.07 288.96 None nla-digbench-scaling/divbin2_unwindbound2.yml true 15.38 8.79 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 301.02 288.35 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.37 282.16 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 300.22 282.62 None nla-digbench-scaling/divbin2_valuebound1.yml true 34.71 27.62 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 301.01 289.86 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.05 286.86 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 301.06 287.64 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 301.02 290.24 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.04 287.04 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.05 286.85 None nla-digbench-scaling/divbin_unwindbound1.yml true 10.92 6.56 None nla-digbench-scaling/divbin_unwindbound2.yml true 13.58 8.64 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.05 286.99 None nla-digbench-scaling/divbin_valuebound1.yml true 69.90 59.44 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.00 290.72 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.02 289.82 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 301.10 284.48 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.08 282.45 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 300.17 276.54 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.03 288.50 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 20.19 12.02 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 45.48 33.25 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 68.74 55.96 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 27.43 19.11 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 49.91 41.42 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 44.87 32.96 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 71.10 58.59 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 40.38 25.46 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 301.08 282.21 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 300.10 282.53 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 84.11 61.64 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 300.22 280.74 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.09 278.28 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 300.11 280.86 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 36.79 21.24 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.31 279.90 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.62 269.50 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 78.38 53.63 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.44 278.67 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.40 281.52 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.41 279.26 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 16.30 9.15 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 17.35 10.78 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 17.39 10.45 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 17.97 10.67 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 17.60 10.47 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 17.01 10.27 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 13.71 8.62 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 18.77 12.40 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 19.10 12.29 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 15.09 10.43 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 18.86 12.12 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 18.88 12.15 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 18.82 12.42 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 15.55 10.48 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.03 288.06 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 301.04 288.98 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 300.90 288.70 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 300.96 292.66 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 300.99 291.46 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 300.91 290.15 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.09 289.27 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 15.65 9.15 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 16.64 9.77 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 17.83 10.40 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 17.17 10.08 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 13.94 7.82 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 11.11 7.08 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 14.13 8.28 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 14.01 8.08 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 14.37 8.03 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 12.91 8.08 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 10.04 6.49 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 14.04 7.94 None nla-digbench-scaling/hard-ll_valuebound1.yml true 35.32 19.55 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.34 281.14 None nla-digbench-scaling/hard-ll_valuebound100.yml true 283.54 252.41 None nla-digbench-scaling/hard-ll_valuebound2.yml true 44.44 28.77 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 300.23 281.24 None nla-digbench-scaling/hard-ll_valuebound5.yml true 129.27 109.89 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 300.46 262.69 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 301.04 286.30 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 300.99 291.75 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 301.06 287.37 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 301.05 287.77 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.06 287.30 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.01 291.11 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.00 291.42 None nla-digbench-scaling/hard2_valuebound1.yml true 23.11 13.46 None nla-digbench-scaling/hard2_valuebound10.yml true 91.04 76.34 None nla-digbench-scaling/hard2_valuebound100.yml true 104.02 81.85 None nla-digbench-scaling/hard2_valuebound2.yml true 63.95 44.01 None nla-digbench-scaling/hard2_valuebound20.yml true 105.20 82.60 None nla-digbench-scaling/hard2_valuebound5.yml true 102.87 82.24 None nla-digbench-scaling/hard2_valuebound50.yml true 93.58 77.79 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.01 295.13 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.03 294.57 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.08 291.33 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.06 291.41 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.06 291.28 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.03 293.75 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.07 290.86 None nla-digbench-scaling/knuth_valuebound1.yml true 28.27 20.53 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 301.21 285.09 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 301.12 287.78 None nla-digbench-scaling/knuth_valuebound2.yml true 33.80 22.47 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 301.20 284.93 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 301.13 290.13 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.04 290.91 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.94 294.22 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.93 296.61 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.91 297.10 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.93 296.50 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.94 294.83 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.95 294.17 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.95 293.86 None nla-digbench-scaling/lcm2_unwindbound1.yml true 17.35 11.94 None nla-digbench-scaling/lcm2_unwindbound10.yml true 21.47 15.40 None nla-digbench-scaling/lcm2_unwindbound100.yml true 24.05 15.77 None nla-digbench-scaling/lcm2_unwindbound2.yml true 20.58 12.79 None nla-digbench-scaling/lcm2_unwindbound20.yml true 20.85 15.39 None nla-digbench-scaling/lcm2_unwindbound5.yml true 24.75 16.00 None nla-digbench-scaling/lcm2_unwindbound50.yml true 22.99 14.87 None nla-digbench-scaling/lcm2_valuebound1.yml true 17.15 9.58 None nla-digbench-scaling/lcm2_valuebound10.yml true 19.41 12.39 None nla-digbench-scaling/lcm2_valuebound100.yml true 18.60 13.69 None nla-digbench-scaling/lcm2_valuebound2.yml true 18.19 12.84 None nla-digbench-scaling/lcm2_valuebound20.yml true 23.10 15.22 None nla-digbench-scaling/lcm2_valuebound5.yml true 20.56 14.12 None nla-digbench-scaling/lcm2_valuebound50.yml true 22.48 14.46 None nla-digbench-scaling/mannadiv_valuebound1.yml true 16.09 9.88 None nla-digbench-scaling/mannadiv_valuebound10.yml true 12.41 7.79 None nla-digbench-scaling/mannadiv_valuebound100.yml true 12.81 8.84 None nla-digbench-scaling/mannadiv_valuebound2.yml true 13.12 8.61 None nla-digbench-scaling/mannadiv_valuebound20.yml true 16.48 9.72 None nla-digbench-scaling/mannadiv_valuebound5.yml true 15.74 9.40 None nla-digbench-scaling/mannadiv_valuebound50.yml true 16.42 9.66 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 17.71 10.21 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 12.88 7.94 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 13.63 8.54 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 13.37 8.10 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 17.39 9.95 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 17.49 10.07 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 16.63 9.79 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 300.17 273.89 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 300.27 273.71 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 12.57 8.06 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 49.17 36.85 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 265.35 249.45 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 28.65 17.96 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 161.50 145.37 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 52.40 36.87 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.71 270.20 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 10.29 6.81 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 11.23 7.47 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 15.22 9.00 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 11.17 7.31 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 11.68 7.24 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 14.81 8.81 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 11.95 7.76 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 9.89 6.60 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 13.38 8.18 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 12.67 7.84 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 10.71 7.23 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 10.13 6.65 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 13.05 8.10 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 12.66 7.83 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 11.57 7.64 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 11.36 7.54 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 15.51 9.07 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 14.97 8.68 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 11.32 7.43 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 12.48 8.33 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 11.36 7.14 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 13.08 8.05 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 12.97 8.01 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 10.72 7.39 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 10.02 6.67 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 13.33 7.80 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 10.53 7.08 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 13.17 7.63 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 12.07 8.04 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 13.54 9.02 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 16.94 10.28 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 16.83 9.98 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 12.64 7.96 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 106.58 99.11 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 16.82 9.87 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 16.80 9.93 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 163.24 155.90 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 137.69 126.68 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 18.02 10.44 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 17.65 10.25 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.99 292.55 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 300.99 293.33 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 13.59 8.85 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 300.97 293.30 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 301.02 290.20 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 20.38 12.06 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 14.55 9.19 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 211.59 203.24 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 301.03 288.91 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 12.67 8.68 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 19.24 11.24 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 14.17 9.19 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 18.17 11.13 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 14.03 9.69 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 19.84 11.84 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 15.19 10.07 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 16.47 9.72 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 16.92 9.84 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 12.34 8.48 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 16.52 10.02 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 17.16 10.44 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 12.64 8.51 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 12.92 7.97 None recursive/Ackermann01-2.yml true 33.73 18.92 None recursive/Ackermann03.yml true 136.70 114.60 None recursive/Ackermann04.yml true 63.23 46.33 None recursive/Addition01-2.yml true 18.30 10.86 None recursive/Addition03-1.yml TIMEOUT 301.13 258.63 None recursive/EvenOdd01-1.yml TIMEOUT 300.75 239.22 None recursive/Fibonacci01-1.yml true 23.27 13.15 None recursive/Fibonacci02.yml true 102.73 63.79 None recursive/Fibonacci03.yml true 177.96 134.50 None recursive/McCarthy91-2.yml true 15.62 9.07 None recursive/MultCommutative-2.yml TIMEOUT 300.87 230.96 None recursive/Primes.yml true 35.28 20.04 None recursive/gcd01-1.yml true 12.39 7.97 None recursive/gcd02.yml TIMEOUT 301.03 267.26 None recursive/recHanoi01.yml TIMEOUT 300.55 270.28 None recursive/recHanoi02-2.yml true 12.73 7.71 None recursive/recHanoi03-2.yml true 22.13 12.73 None recursive-simple/afterrec-2.yml true 12.04 6.90 None recursive-simple/afterrec_2calls-2.yml true 11.84 6.62 None recursive-simple/fibo_10-2.yml true 133.06 100.07 None recursive-simple/fibo_15-1.yml TIMEOUT 301.28 235.89 None recursive-simple/fibo_20-2.yml TIMEOUT 301.04 263.34 None recursive-simple/fibo_25-2.yml TIMEOUT 301.35 235.53 None recursive-simple/fibo_2calls_10-1.yml true 244.21 178.20 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 301.33 252.09 None recursive-simple/fibo_2calls_2-2.yml true 14.03 8.62 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 301.43 237.78 None recursive-simple/fibo_2calls_25-2.yml TIMEOUT 300.90 263.16 None recursive-simple/fibo_2calls_4-1.yml true 26.21 15.88 None recursive-simple/fibo_2calls_5-1.yml true 56.17 32.84 None recursive-simple/fibo_2calls_6-1.yml true 51.71 32.78 None recursive-simple/fibo_2calls_8-1.yml true 106.96 66.79 None recursive-simple/fibo_5-1.yml true 34.53 19.37 None recursive-simple/fibo_7-1.yml true 49.70 29.85 None recursive-simple/id2_b2_o3.yml true 17.47 9.98 None recursive-simple/id2_b3_o5.yml true 12.19 7.02 None recursive-simple/id2_b5_o10.yml true 17.53 9.66 None recursive-simple/id2_i5_o5-2.yml true 19.42 11.96 None recursive-simple/id_b2_o3.yml true 14.25 8.14 None recursive-simple/id_b3_o5-2.yml true 15.41 8.70 None recursive-simple/id_b5_o10-2.yml true 13.83 7.99 None recursive-simple/id_i10_o10-2.yml true 42.22 26.84 None recursive-simple/id_i15_o15-1.yml true 85.29 63.54 None recursive-simple/id_i20_o20-1.yml true 260.41 207.46 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.46 245.34 None recursive-simple/id_i5_o5-2.yml true 19.31 12.08 None recursive-simple/sum_10x0-1.yml true 54.04 33.86 None recursive-simple/sum_15x0-1.yml true 110.52 78.07 None recursive-simple/sum_20x0-2.yml true 218.73 195.04 None recursive-simple/sum_25x0-1.yml TIMEOUT 301.18 259.98 None recursive-simple/sum_2x3-2.yml true 19.18 11.04 None recursive-simple/sum_non_eq-2.yml true 21.18 11.75 None recursive-with-pointer/simple-recursive.yml true 25.70 14.30 None verifythis/prefixsum_rec.yml TIMEOUT 301.11 259.43 None verifythis/elimination_max_rec.yml TIMEOUT 300.35 283.67 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.18 272.62 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 301.08 280.58 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 301.03 286.16 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.03 286.61 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 25.71 14.75 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 26.91 15.39 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.03 285.76 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 16.02 9.27 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 20.07 11.79 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 34.40 19.41 None recursified_loop-invariants/recursified_const.yml true 10.68 6.18 None recursified_loop-invariants/recursified_eq1.yml true 53.42 44.55 None recursified_loop-invariants/recursified_eq2.yml true 36.62 27.66 None recursified_loop-invariants/recursified_even.yml true 12.89 7.67 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 300.79 265.48 None recursified_loop-invariants/recursified_mod4.yml true 16.58 9.61 None recursified_loop-invariants/recursified_odd.yml true 16.67 9.25 None recursified_loop-simple/recursified_nested_1.yml true 47.77 31.67 None recursified_loop-simple/recursified_nested_2.yml true 104.09 70.57 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.44 270.78 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 300.80 267.49 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 300.69 261.89 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 301.23 245.82 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 300.32 266.94 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 300.26 274.86 None recursified_nla-digbench/recursified_cohendiv-ll.yml TIMEOUT 300.61 271.54 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 300.53 261.09 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.32 270.56 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.43 272.92 None recursified_nla-digbench/recursified_egcd2-ll.yml TIMEOUT 300.53 265.14 None recursified_nla-digbench/recursified_egcd3-ll.yml TIMEOUT 300.62 262.22 None recursified_nla-digbench/recursified_fermat1-ll.yml TIMEOUT 301.07 285.52 None recursified_nla-digbench/recursified_fermat2-ll.yml TIMEOUT 300.97 294.42 None recursified_nla-digbench/recursified_hard-ll.yml TIMEOUT 300.40 276.56 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.22 279.90 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.11 288.37 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 300.99 290.93 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 301.22 286.07 None recursified_nla-digbench/recursified_mannadiv.yml TIMEOUT 300.44 272.83 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.99 251.37 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.54 265.39 None recursified_nla-digbench/recursified_ps2-ll.yml true 27.93 18.80 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 301.03 286.54 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 301.03 287.73 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 301.01 287.21 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 301.02 286.64 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.24 280.52 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 71970.22 4692.93 - Statistics: 630 Files correct: 427 correct true: 427 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 203 Score: 854 (max: 1260)