BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-verification.xml name: experiment-automizer-verification run sets: SV-COMP24_unreach-call date: Thu, 2024-09-12 17:50:11 CEST tool: ULTIMATE Automizer 0.2.4-a9b967e5 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 --cacsl2boogietranslator.check.absence.of.signed.integer.overflows true parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-6.8.8-4-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ SV-COMP24_unreach-call Run set 1 of 1 with options '--full-output --procedureinliner.inline.calls.to.implemented.procedures NEVER --traceabstraction.positions.where.we.compute.the.hoare.annotation All --witnessprinter.yaml.format.version 2.1 --cacsl2boogietranslator.check.absence.of.signed.integer.overflows true' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 14.42 8.82 None loops/count_up_down-1.yml TIMEOUT 300.23 279.30 None loops/eureka_01-2.yml TIMEOUT 301.21 283.03 None loops/eureka_05.yml TIMEOUT 300.92 252.13 None loops/for_infinite_loop_1.yml true 11.20 6.18 None loops/for_infinite_loop_2.yml true 7.91 4.88 None loops/heavy-2.yml TIMEOUT 300.89 254.52 None loops/insertion_sort-2-2.yml TIMEOUT 301.08 285.15 None loops/invert_string-3.yml true 170.55 148.68 None loops/linear_sea.ch.yml TIMEOUT 300.17 272.52 None loops/lu.cmp.yml TIMEOUT 300.87 245.83 None loops/matrix-1.yml TIMEOUT 300.27 279.48 None loops/n.c11.yml true 9.19 5.79 None loops/n.c40.yml ERROR (7) 20.18 14.49 None loops/nec40.yml ERROR (7) 19.94 13.05 None loops/string-1.yml TIMEOUT 300.38 273.81 None loops/sum01-2.yml TIMEOUT 300.57 252.89 None loops/sum03-2.yml true 11.02 6.36 None loops/sum04-2.yml true 15.42 11.03 None loops/sum_array-2-2.yml TIMEOUT 301.08 256.37 None loops/terminator_02-2.yml TIMEOUT 300.85 277.46 None loops/terminator_02-2_abstracted.yml true 9.89 6.12 None loops/terminator_03-2.yml true 9.95 6.26 None loops/terminator_03-2_abstracted.yml true 8.68 5.51 None loops/trex01-2.yml TIMEOUT 300.53 279.52 None loops/trex02-1.yml true 9.10 5.44 None loops/trex03-2.yml true 8.67 5.72 None loops/trex03-2_abstracted.yml true 11.05 6.45 None loops/trex04.yml TIMEOUT 300.42 283.75 None loops/trex04_abstracted.yml true 13.47 7.61 None loops/veris.c_NetBSD-libc_loop.yml true 16.15 9.31 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TIMEOUT 300.73 244.73 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TIMEOUT 300.80 247.77 None loops/vogal-1.yml TIMEOUT 300.54 245.49 None loops/while_infinite_loop_1.yml true 11.16 6.45 None loops/while_infinite_loop_2.yml true 11.36 6.50 None loops/while_infinite_loop_3.yml true 10.58 5.90 None loop-acceleration/array_1-2.yml true 18.84 12.75 None loop-acceleration/array_2-2-simple.yml TIMEOUT 301.05 262.45 None loop-acceleration/array_2-2.yml TIMEOUT 300.42 270.98 None loop-acceleration/array_3-1.yml true 45.24 27.71 None loop-acceleration/array_4.yml TIMEOUT 300.59 250.81 None loop-acceleration/const_1-1.yml true 8.73 5.17 None loop-acceleration/diamond_1-1.yml true 41.24 30.57 None loop-acceleration/diamond_2-2.yml true 29.10 23.55 None loop-acceleration/functions_1-1.yml true 8.97 5.40 None loop-acceleration/multivar_1-1.yml true 10.38 6.12 None loop-acceleration/nested_1-1.yml true 27.72 17.04 None loop-acceleration/overflow_1-1.yml true 11.15 6.64 None loop-acceleration/phases_1-1.yml TIMEOUT 300.99 289.96 None loop-acceleration/phases_2-2.yml true 25.58 19.95 None loop-acceleration/simple_1-2.yml true 11.39 6.66 None loop-acceleration/simple_1-2_abstracted.yml true 9.49 5.36 None loop-acceleration/simple_2-1.yml true 8.07 5.08 None loop-acceleration/simple_2-1_abstracted.yml true 7.76 4.59 None loop-acceleration/simple_3-2.yml true 8.94 5.36 None loop-acceleration/simple_4-2.yml true 11.64 6.82 None loop-acceleration/simple_4-2_abstracted.yml true 8.61 5.04 None loop-acceleration/underapprox_1-2.yml true 18.27 12.25 None loop-acceleration/underapprox_2-2.yml true 11.52 6.77 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 301.20 289.68 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 300.37 271.81 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 301.04 286.00 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 15.65 9.19 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 21.86 11.78 None loop-crafted/simple_array_index_value_4.yml true 19.49 11.36 None loop-crafted/simple_vardep_1.yml true 8.78 5.39 None loop-crafted/simple_vardep_2.yml true 11.72 6.67 None loop-invgen/MADWiFi-encode_ie_ok.yml true 37.72 24.66 None loop-invgen/NetBSD_loop.yml true 14.94 9.07 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml TIMEOUT 300.15 280.61 None loop-invgen/SpamAssassin-loop.yml TIMEOUT 300.48 273.97 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 113.62 96.74 None loop-invgen/apache-escape-absolute.yml true 35.14 22.42 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 232.96 206.32 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml TIMEOUT 300.46 270.43 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml TIMEOUT 300.51 237.39 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 176.70 137.67 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml TIMEOUT 300.45 252.23 None loop-invgen/apache-get-tag.yml TIMEOUT 300.37 267.65 None loop-invgen/down.yml TIMEOUT 300.63 241.83 None loop-invgen/fragtest_simple.yml TIMEOUT 301.31 249.00 None loop-invgen/half_2.yml TIMEOUT 301.17 255.28 None loop-invgen/heapsort.yml TIMEOUT 300.52 268.65 None loop-invgen/id_build.i.p+nlh-reducer.yml true 73.79 47.78 None loop-invgen/id_build.i.p+sep-reducer.yml true 61.72 46.08 None loop-invgen/id_build.i.v+lhb-reducer.yml true 35.07 19.85 None loop-invgen/id_build.yml true 33.30 19.62 None loop-invgen/large_const.yml true 23.89 14.00 None loop-invgen/nest-if3.yml TIMEOUT 300.81 257.88 None loop-invgen/nested6.yml TIMEOUT 301.15 283.35 None loop-invgen/nested9.yml true 66.76 44.22 None loop-invgen/sendmail-close-angle.yml true 95.07 70.34 None loop-invgen/seq-3.yml TIMEOUT 301.16 288.13 None loop-invgen/string_concat-noarr.yml TIMEOUT 300.53 272.19 None loop-invgen/up.yml TIMEOUT 300.57 234.71 None loop-lit/afnp2014.yml TIMEOUT 301.54 255.07 None loop-lit/as2013-hybrid.yml true 24.91 14.12 None loop-lit/bh2017-ex-add.yml true 43.43 32.10 None loop-lit/bh2017-ex1-poly.yml true 29.89 16.72 None loop-lit/bh2017-ex3.yml true 48.81 32.61 None loop-lit/bhmr2007.yml TIMEOUT 301.37 259.59 None loop-lit/cggmp2005.yml true 13.80 9.19 None loop-lit/cggmp2005_variant.yml TIMEOUT 300.51 254.23 None loop-lit/cggmp2005b.yml true 15.92 9.91 None loop-lit/css2003.yml TIMEOUT 300.83 242.89 None loop-lit/ddlm2013.yml true 15.72 9.22 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 115.06 77.66 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TIMEOUT 301.47 232.95 None loop-lit/gj2007.yml true 70.41 46.63 None loop-lit/gj2007b.yml true 13.78 8.77 None loop-lit/gr2006.yml true 247.92 201.17 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml TIMEOUT 300.37 282.18 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml TIMEOUT 301.16 257.34 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml TIMEOUT 300.66 251.28 None loop-lit/gsv2008.yml TIMEOUT 300.44 251.89 None loop-lit/hh2012-ex1b.yml TIMEOUT 301.17 247.41 None loop-lit/hh2012-ex2b.yml true 19.41 11.02 None loop-lit/hh2012-ex3.yml true 35.99 22.25 None loop-lit/hhk2008.yml TIMEOUT 301.00 282.26 None loop-lit/jm2006.c.i.v+cfa-reducer.yml TIMEOUT 300.90 243.91 None loop-lit/jm2006.yml TIMEOUT 300.64 273.76 None loop-lit/jm2006_variant.yml TIMEOUT 301.18 249.28 None loop-lit/mcmillan2006.yml TIMEOUT 300.15 274.47 None loop-lit/mine2017-ex4.10.yml true 13.05 7.20 None loop-lit/mine2017-ex4.6.yml true 16.72 9.70 None loop-lit/mine2017-ex4.7.yml true 14.80 8.13 None loop-lit/mine2017-ex4.8.yml true 11.65 6.85 None loop-new/count_by_1.yml true 15.95 9.41 None loop-new/count_by_1_variant.yml true 14.28 8.15 None loop-new/count_by_2.yml TIMEOUT 300.70 250.58 None loop-new/count_by_k.yml TIMEOUT 301.08 263.29 None loop-new/count_by_nondet.yml TIMEOUT 300.76 246.80 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 301.33 252.41 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 300.88 257.07 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 301.30 254.91 None loop-new/gauss_sum.yml TIMEOUT 300.59 278.27 None loop-new/half.yml TIMEOUT 300.84 255.97 None loop-new/nested-1.yml TIMEOUT 301.85 260.40 None loop-industry-pattern/aiob_1.yml unknown 17.27 9.47 None loop-industry-pattern/aiob_2.yml unknown 17.56 9.59 None loop-industry-pattern/aiob_3.yml unknown 17.68 9.95 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 17.04 9.47 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 13.81 8.60 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 18.97 10.62 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 18.68 10.40 None loop-industry-pattern/aiob_4.yml unknown 14.48 9.00 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 81.98 73.63 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 87.94 77.57 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 85.98 77.97 None loop-industry-pattern/mod3.yml true 77.72 72.23 None loop-industry-pattern/ofuf_1.yml unknown 18.02 10.11 None loop-industry-pattern/ofuf_2.yml unknown 18.03 9.80 None loop-industry-pattern/ofuf_3.yml unknown 16.91 9.56 None loop-industry-pattern/ofuf_4.yml unknown 18.82 10.70 None loop-industry-pattern/ofuf_5.yml unknown 18.18 9.93 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 300.08 283.90 None loops-crafted-1/discover_list.yml unknown 15.70 10.33 None loops-crafted-1/iftelse.yml TIMEOUT 301.01 291.06 None loops-crafted-1/in-de20.yml TIMEOUT 300.47 272.05 None loops-crafted-1/in-de31.yml TIMEOUT 301.06 287.20 None loops-crafted-1/in-de32.yml TIMEOUT 301.00 262.10 None loops-crafted-1/in-de41.yml TIMEOUT 300.55 265.15 None loops-crafted-1/in-de42.yml TIMEOUT 300.90 267.14 None loops-crafted-1/in-de51.yml TIMEOUT 300.44 274.51 None loops-crafted-1/in-de52.yml TIMEOUT 300.45 279.28 None loops-crafted-1/in-de61.yml TIMEOUT 300.38 273.42 None loops-crafted-1/in-de62.yml TIMEOUT 300.22 273.83 None loops-crafted-1/loopv1.yml true 15.12 8.81 None loops-crafted-1/loopv2.yml TIMEOUT 300.66 276.19 None loops-crafted-1/loopv3.yml TIMEOUT 300.87 255.13 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 301.29 257.90 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 301.04 283.18 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 300.71 285.11 None loops-crafted-1/mono-crafted_12.yml true 12.87 7.59 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 301.13 255.28 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 300.70 245.06 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 300.85 245.48 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 300.65 249.13 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 300.48 278.33 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 300.98 290.17 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 301.26 248.76 None loops-crafted-1/nested3-1.yml TIMEOUT 300.28 275.60 None loops-crafted-1/nested3-1_abstracted.yml TIMEOUT 301.68 257.63 None loops-crafted-1/nested5-1.yml true 16.37 9.58 None loops-crafted-1/nested_delay_nd.yml OUT OF MEMORY 269.81 217.40 None loops-crafted-1/net_reset.yml unknown 17.93 12.56 None loops-crafted-1/sum_by_3.yml true 49.94 39.21 None loops-crafted-1/sum_by_3_abstracted.yml true 18.26 12.91 None loops-crafted-1/sum_natnum.yml TIMEOUT 300.97 294.98 None loops-crafted-1/sumt2.yml true 11.13 6.38 None loops-crafted-1/sumt3.yml true 11.21 6.80 None loops-crafted-1/sumt4.yml true 11.89 6.95 None loops-crafted-1/sumt5.yml true 12.56 7.54 None loops-crafted-1/sumt6.yml true 12.20 7.05 None loops-crafted-1/sumt7.yml true 12.89 7.64 None loops-crafted-1/sumt8.yml true 12.83 7.74 None loops-crafted-1/sumt9.yml true 12.81 7.81 None loops-crafted-1/theatreSquare.yml TIMEOUT 300.58 268.58 None loops-crafted-1/vnew1.yml TIMEOUT 300.09 276.70 None loops-crafted-1/vnew2.yml TIMEOUT 301.14 285.67 None loops-crafted-1/watermelon.yml TIMEOUT 301.12 254.23 None loop-invariants/bin-suffix-5.yml true 24.68 14.40 None loop-invariants/const.yml true 10.89 6.54 None loop-invariants/eq1.yml true 12.02 6.60 None loop-invariants/eq2.yml true 11.79 6.82 None loop-invariants/even.yml true 13.22 7.72 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 300.40 243.27 None loop-invariants/mod4.yml true 12.20 6.82 None loop-invariants/odd.yml true 12.12 6.87 None loop-simple/nested_1.yml true 13.13 7.53 None loop-simple/nested_2.yml true 21.46 12.64 None loop-simple/nested_3.yml true 68.26 44.12 None loop-simple/nested_4.yml TIMEOUT 301.82 225.44 None loop-simple/nested_5.yml OUT OF MEMORY 142.31 117.40 None loop-simple/nested_6.yml OUT OF MEMORY 90.02 59.32 None loop-zilu/benchmark02_linear.yml true 9.00 5.55 None loop-zilu/benchmark02_linear_abstracted.yml true 8.78 5.55 None loop-zilu/benchmark04_conjunctive.yml true 19.64 11.32 None loop-zilu/benchmark05_conjunctive.yml true 13.10 8.77 None loop-zilu/benchmark09_conjunctive.yml true 15.42 8.65 None loop-zilu/benchmark10_conjunctive.yml TIMEOUT 301.20 278.34 None loop-zilu/benchmark11_linear.yml true 15.57 9.33 None loop-zilu/benchmark11_linear_abstracted.yml true 12.70 6.98 None loop-zilu/benchmark14_linear.yml true 12.38 7.10 None loop-zilu/benchmark17_conjunctive.yml TIMEOUT 301.98 256.89 None loop-zilu/benchmark18_conjunctive.yml TIMEOUT 300.61 246.22 None loop-zilu/benchmark19_conjunctive.yml true 18.32 10.51 None loop-zilu/benchmark20_conjunctive.yml TIMEOUT 300.84 257.96 None loop-zilu/benchmark23_conjunctive.yml true 139.98 99.42 None loop-zilu/benchmark25_linear.yml true 11.38 6.51 None loop-zilu/benchmark25_linear_abstracted.yml true 11.31 6.25 None loop-zilu/benchmark26_linear.yml true 11.97 6.72 None loop-zilu/benchmark26_linear_abstracted.yml true 11.64 6.40 None loop-zilu/benchmark32_linear.yml true 10.61 5.87 None loop-zilu/benchmark33_linear.yml true 11.93 6.31 None loop-zilu/benchmark34_conjunctive.yml true 18.77 10.83 None loop-zilu/benchmark35_linear.yml true 10.84 6.51 None loop-zilu/benchmark37_conjunctive.yml true 14.80 8.49 None loop-zilu/benchmark43_conjunctive.yml true 11.96 7.33 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 13.40 7.55 None loop-zilu/benchmark51_polynomial.yml true 12.97 8.51 None loop-zilu/benchmark52_polynomial.yml true 13.33 9.04 None verifythis/duplets.yml TIMEOUT 300.74 259.40 None verifythis/elimination_max.yml TIMEOUT 301.04 283.00 None verifythis/lcp.yml TIMEOUT 300.32 276.50 None verifythis/prefixsum_iter.yml TIMEOUT 300.31 258.87 None nla-digbench/bresenham-ll.yml TIMEOUT 300.87 273.60 None nla-digbench/cohencu-ll.yml TIMEOUT 300.09 277.76 None nla-digbench/cohendiv-ll.yml TIMEOUT 300.45 245.64 None nla-digbench/dijkstra-u.yml TIMEOUT 300.13 282.02 None nla-digbench/divbin2.yml TIMEOUT 301.08 286.73 None nla-digbench/egcd-ll.yml TIMEOUT 300.88 254.37 None nla-digbench/egcd2-ll.yml TIMEOUT 300.88 259.62 None nla-digbench/egcd3-ll.yml TIMEOUT 300.64 266.22 None nla-digbench/fermat1-ll.yml TIMEOUT 300.27 279.85 None nla-digbench/fermat2-ll.yml TIMEOUT 301.04 289.35 None nla-digbench/geo1-ll.yml TIMEOUT 301.03 287.98 None nla-digbench/geo2-ll.yml TIMEOUT 300.95 293.46 None nla-digbench/geo3-ll.yml TIMEOUT 301.02 290.57 None nla-digbench/hard-ll.yml TIMEOUT 300.88 278.66 None nla-digbench/hard2.yml TIMEOUT 300.49 270.05 None nla-digbench/knuth.yml TIMEOUT 301.10 290.55 None nla-digbench/lcm1.yml TIMEOUT 300.92 297.13 None nla-digbench/lcm2.yml true 18.45 12.09 None nla-digbench/mannadiv.yml TIMEOUT 301.35 251.16 None nla-digbench/prod4br-ll.yml TIMEOUT 301.24 262.39 None nla-digbench/prodbin-ll.yml TIMEOUT 300.26 275.66 None nla-digbench/ps2-ll.yml TIMEOUT 300.81 262.84 None nla-digbench/ps3-ll.yml TIMEOUT 301.02 288.77 None nla-digbench/ps4-ll.yml TIMEOUT 301.09 280.48 None nla-digbench/ps5-ll.yml TIMEOUT 301.04 285.92 None nla-digbench/ps6-ll.yml TIMEOUT 300.70 273.86 None nla-digbench/sqrt1-ll.yml true 182.23 158.16 None nla-digbench-scaling/bresenham-ll_valuebound1.yml TIMEOUT 300.40 271.01 None nla-digbench-scaling/bresenham-ll_valuebound10.yml TIMEOUT 300.87 258.27 None nla-digbench-scaling/bresenham-ll_valuebound100.yml TIMEOUT 300.56 271.81 None nla-digbench-scaling/bresenham-ll_valuebound2.yml TIMEOUT 300.67 257.33 None nla-digbench-scaling/bresenham-ll_valuebound20.yml TIMEOUT 300.94 253.21 None nla-digbench-scaling/bresenham-ll_valuebound5.yml TIMEOUT 300.93 257.83 None nla-digbench-scaling/bresenham-ll_valuebound50.yml TIMEOUT 300.73 269.22 None nla-digbench-scaling/cohencu-ll_valuebound1.yml TIMEOUT 300.23 268.10 None nla-digbench-scaling/cohencu-ll_valuebound10.yml TIMEOUT 300.27 265.68 None nla-digbench-scaling/cohencu-ll_valuebound100.yml TIMEOUT 300.13 275.20 None nla-digbench-scaling/cohencu-ll_valuebound2.yml TIMEOUT 301.07 281.26 None nla-digbench-scaling/cohencu-ll_valuebound20.yml TIMEOUT 300.22 268.72 None nla-digbench-scaling/cohencu-ll_valuebound5.yml TIMEOUT 301.07 279.83 None nla-digbench-scaling/cohencu-ll_valuebound50.yml TIMEOUT 300.23 268.44 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 35.40 22.68 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml TIMEOUT 300.54 272.83 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml TIMEOUT 300.75 244.67 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 74.73 59.48 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml TIMEOUT 300.42 246.46 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml TIMEOUT 300.80 253.35 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml TIMEOUT 300.47 248.99 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 32.82 21.16 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml TIMEOUT 300.33 268.92 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml TIMEOUT 301.46 247.97 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml TIMEOUT 300.29 271.69 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml TIMEOUT 300.23 273.85 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml TIMEOUT 300.31 268.40 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml TIMEOUT 300.80 247.83 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 16.31 11.51 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 50.69 42.56 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 301.04 288.64 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 301.04 290.61 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 300.16 282.09 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 301.05 285.38 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 301.03 290.02 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 300.21 281.25 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 300.15 281.79 None nla-digbench-scaling/divbin2_unwindbound1.yml true 16.15 9.87 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 300.17 276.80 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 300.82 281.67 None nla-digbench-scaling/divbin2_unwindbound2.yml true 14.21 8.99 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 300.18 285.35 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 300.12 279.03 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 300.49 284.59 None nla-digbench-scaling/divbin2_valuebound1.yml true 40.20 31.46 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 300.97 291.42 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 301.03 287.28 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 300.98 294.15 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 300.97 293.59 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 301.02 288.63 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 301.03 286.40 None nla-digbench-scaling/divbin_unwindbound1.yml true 18.21 10.56 None nla-digbench-scaling/divbin_unwindbound2.yml true 17.69 11.32 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 301.07 282.12 None nla-digbench-scaling/divbin_valuebound1.yml true 73.53 56.93 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 301.02 287.29 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 301.07 282.47 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 300.28 273.77 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 301.05 283.82 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 301.04 286.77 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 301.06 286.05 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 42.47 28.64 None nla-digbench-scaling/egcd-ll_valuebound10.yml TIMEOUT 300.37 271.78 None nla-digbench-scaling/egcd-ll_valuebound100.yml TIMEOUT 300.51 272.67 None nla-digbench-scaling/egcd-ll_valuebound2.yml TIMEOUT 300.34 266.04 None nla-digbench-scaling/egcd-ll_valuebound20.yml TIMEOUT 300.28 277.51 None nla-digbench-scaling/egcd-ll_valuebound5.yml TIMEOUT 300.37 275.97 None nla-digbench-scaling/egcd-ll_valuebound50.yml TIMEOUT 300.87 257.92 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 215.77 179.43 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 300.92 257.01 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 300.34 277.91 None nla-digbench-scaling/egcd2-ll_valuebound2.yml TIMEOUT 300.74 259.84 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 300.74 259.90 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 300.95 256.44 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 300.50 274.27 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 185.62 151.85 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 300.37 273.72 None nla-digbench-scaling/egcd3-ll_valuebound100.yml TIMEOUT 300.35 273.38 None nla-digbench-scaling/egcd3-ll_valuebound2.yml TIMEOUT 300.48 265.72 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 300.63 261.81 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 300.27 280.79 None nla-digbench-scaling/egcd3-ll_valuebound50.yml TIMEOUT 300.57 262.45 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 186.65 169.39 None nla-digbench-scaling/fermat1-ll_valuebound10.yml TIMEOUT 301.25 262.68 None nla-digbench-scaling/fermat1-ll_valuebound100.yml TIMEOUT 300.87 270.29 None nla-digbench-scaling/fermat1-ll_valuebound2.yml TIMEOUT 300.21 272.87 None nla-digbench-scaling/fermat1-ll_valuebound20.yml TIMEOUT 300.18 282.52 None nla-digbench-scaling/fermat1-ll_valuebound5.yml TIMEOUT 300.89 271.75 None nla-digbench-scaling/fermat1-ll_valuebound50.yml TIMEOUT 301.47 267.64 None nla-digbench-scaling/fermat2-ll_valuebound1.yml TIMEOUT 300.17 282.27 None nla-digbench-scaling/fermat2-ll_valuebound10.yml TIMEOUT 300.94 276.68 None nla-digbench-scaling/fermat2-ll_valuebound100.yml TIMEOUT 300.44 280.56 None nla-digbench-scaling/fermat2-ll_valuebound2.yml TIMEOUT 300.33 272.34 None nla-digbench-scaling/fermat2-ll_valuebound20.yml TIMEOUT 301.33 273.53 None nla-digbench-scaling/fermat2-ll_valuebound5.yml TIMEOUT 301.42 262.29 None nla-digbench-scaling/fermat2-ll_valuebound50.yml TIMEOUT 300.49 281.75 None nla-digbench-scaling/freire1_valuebound1.yml TIMEOUT 301.18 288.80 None nla-digbench-scaling/freire1_valuebound10.yml TIMEOUT 301.04 289.59 None nla-digbench-scaling/freire1_valuebound100.yml TIMEOUT 301.07 288.69 None nla-digbench-scaling/freire1_valuebound2.yml TIMEOUT 301.07 288.96 None nla-digbench-scaling/freire1_valuebound20.yml TIMEOUT 300.98 288.48 None nla-digbench-scaling/freire1_valuebound5.yml TIMEOUT 300.98 292.93 None nla-digbench-scaling/freire1_valuebound50.yml TIMEOUT 301.05 288.27 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 19.94 14.32 None nla-digbench-scaling/geo1-ll_unwindbound10.yml TIMEOUT 300.97 292.97 None nla-digbench-scaling/geo1-ll_unwindbound100.yml TIMEOUT 300.99 291.24 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 37.99 32.02 None nla-digbench-scaling/geo1-ll_unwindbound20.yml TIMEOUT 300.14 284.74 None nla-digbench-scaling/geo1-ll_unwindbound5.yml TIMEOUT 301.01 288.84 None nla-digbench-scaling/geo1-ll_unwindbound50.yml TIMEOUT 301.01 289.38 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 17.33 11.58 None nla-digbench-scaling/geo1-ll_valuebound10.yml TIMEOUT 301.12 286.87 None nla-digbench-scaling/geo1-ll_valuebound100.yml TIMEOUT 300.96 292.60 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 39.00 24.77 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 249.92 239.63 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 135.24 116.88 None nla-digbench-scaling/geo1-ll_valuebound50.yml TIMEOUT 301.01 288.49 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 32.23 25.79 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 300.95 291.95 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 300.93 293.83 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 65.88 57.23 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 300.96 291.24 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 300.96 290.96 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 300.97 291.61 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 13.55 9.21 None nla-digbench-scaling/geo2-ll_valuebound10.yml TIMEOUT 300.96 290.61 None nla-digbench-scaling/geo2-ll_valuebound100.yml TIMEOUT 301.01 289.51 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 18.98 13.34 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 85.69 79.51 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 258.91 237.56 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 301.02 290.03 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 198.83 190.90 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 301.04 287.49 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 300.99 291.57 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 269.48 261.25 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 301.01 288.33 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 301.05 285.77 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 300.97 291.74 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 29.31 18.89 None nla-digbench-scaling/geo3-ll_valuebound10.yml TIMEOUT 300.21 277.46 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 300.95 293.41 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 105.24 85.45 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 109.41 100.96 None nla-digbench-scaling/geo3-ll_valuebound5.yml TIMEOUT 300.39 276.07 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 300.96 293.14 None nla-digbench-scaling/hard-ll_valuebound1.yml true 53.71 37.42 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 300.54 264.79 None nla-digbench-scaling/hard-ll_valuebound100.yml true 258.81 233.21 None nla-digbench-scaling/hard-ll_valuebound2.yml true 221.07 182.34 None nla-digbench-scaling/hard-ll_valuebound20.yml true 223.89 185.59 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 300.23 277.64 None nla-digbench-scaling/hard-ll_valuebound50.yml true 201.87 163.70 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 300.97 291.41 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 301.02 288.35 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 300.14 282.27 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 300.99 292.88 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 301.04 287.39 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 301.01 287.43 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 301.06 285.97 None nla-digbench-scaling/hard2_valuebound1.yml true 70.28 54.30 None nla-digbench-scaling/hard2_valuebound10.yml TIMEOUT 300.99 255.63 None nla-digbench-scaling/hard2_valuebound100.yml TIMEOUT 300.92 253.70 None nla-digbench-scaling/hard2_valuebound2.yml TIMEOUT 300.19 276.14 None nla-digbench-scaling/hard2_valuebound20.yml TIMEOUT 300.81 255.02 None nla-digbench-scaling/hard2_valuebound5.yml TIMEOUT 300.57 272.93 None nla-digbench-scaling/hard2_valuebound50.yml TIMEOUT 300.41 272.75 None nla-digbench-scaling/knuth_unwindbound1.yml TIMEOUT 301.01 294.79 None nla-digbench-scaling/knuth_unwindbound10.yml TIMEOUT 301.01 294.82 None nla-digbench-scaling/knuth_unwindbound100.yml TIMEOUT 301.06 290.67 None nla-digbench-scaling/knuth_unwindbound2.yml TIMEOUT 301.06 291.35 None nla-digbench-scaling/knuth_unwindbound20.yml TIMEOUT 301.02 293.89 None nla-digbench-scaling/knuth_unwindbound5.yml TIMEOUT 301.06 291.59 None nla-digbench-scaling/knuth_unwindbound50.yml TIMEOUT 301.06 291.14 None nla-digbench-scaling/knuth_valuebound1.yml true 32.00 21.32 None nla-digbench-scaling/knuth_valuebound10.yml TIMEOUT 301.21 286.60 None nla-digbench-scaling/knuth_valuebound100.yml TIMEOUT 301.08 289.31 None nla-digbench-scaling/knuth_valuebound2.yml true 32.13 21.57 None nla-digbench-scaling/knuth_valuebound20.yml TIMEOUT 300.43 283.31 None nla-digbench-scaling/knuth_valuebound5.yml TIMEOUT 300.22 290.60 None nla-digbench-scaling/knuth_valuebound50.yml TIMEOUT 301.08 286.91 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 300.90 297.15 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 300.92 297.21 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 300.91 297.36 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 300.91 296.63 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 300.93 295.39 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 300.93 295.18 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 300.90 297.51 None nla-digbench-scaling/lcm2_unwindbound1.yml true 22.49 14.31 None nla-digbench-scaling/lcm2_unwindbound10.yml true 23.12 14.88 None nla-digbench-scaling/lcm2_unwindbound100.yml true 24.33 15.04 None nla-digbench-scaling/lcm2_unwindbound2.yml true 43.36 33.93 None nla-digbench-scaling/lcm2_unwindbound20.yml true 24.43 16.25 None nla-digbench-scaling/lcm2_unwindbound5.yml true 22.87 14.31 None nla-digbench-scaling/lcm2_unwindbound50.yml true 25.21 16.25 None nla-digbench-scaling/lcm2_valuebound1.yml true 15.34 8.69 None nla-digbench-scaling/lcm2_valuebound10.yml true 16.66 10.92 None nla-digbench-scaling/lcm2_valuebound100.yml true 20.17 13.35 None nla-digbench-scaling/lcm2_valuebound2.yml true 20.38 13.50 None nla-digbench-scaling/lcm2_valuebound20.yml true 16.18 11.84 None nla-digbench-scaling/lcm2_valuebound5.yml true 20.28 13.35 None nla-digbench-scaling/lcm2_valuebound50.yml true 20.74 13.91 None nla-digbench-scaling/mannadiv_valuebound1.yml TIMEOUT 301.27 254.08 None nla-digbench-scaling/mannadiv_valuebound10.yml TIMEOUT 301.46 252.22 None nla-digbench-scaling/mannadiv_valuebound100.yml TIMEOUT 301.31 254.68 None nla-digbench-scaling/mannadiv_valuebound2.yml TIMEOUT 301.30 255.20 None nla-digbench-scaling/mannadiv_valuebound20.yml TIMEOUT 301.70 268.78 None nla-digbench-scaling/mannadiv_valuebound5.yml TIMEOUT 301.25 254.94 None nla-digbench-scaling/mannadiv_valuebound50.yml TIMEOUT 301.52 254.27 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 47.77 34.43 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 300.14 281.59 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 300.28 277.62 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 301.10 284.13 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 300.18 278.41 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 300.35 266.86 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 300.38 266.60 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 301.06 284.55 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 300.25 274.02 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 45.97 32.32 None nla-digbench-scaling/prodbin-ll_valuebound10.yml TIMEOUT 300.83 270.65 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 300.24 275.99 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 106.96 86.06 None nla-digbench-scaling/prodbin-ll_valuebound20.yml TIMEOUT 300.70 271.28 None nla-digbench-scaling/prodbin-ll_valuebound5.yml TIMEOUT 300.22 279.83 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 300.70 273.47 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 16.03 10.64 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 123.14 107.72 None nla-digbench-scaling/ps2-ll_unwindbound100.yml TIMEOUT 300.95 268.30 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 26.65 16.44 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 141.21 111.79 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 33.15 22.12 None nla-digbench-scaling/ps2-ll_unwindbound50.yml TIMEOUT 300.80 277.86 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 21.70 13.63 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 88.20 76.50 None nla-digbench-scaling/ps2-ll_valuebound100.yml TIMEOUT 300.79 270.64 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 27.95 16.77 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 117.45 94.18 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 73.58 58.04 None nla-digbench-scaling/ps2-ll_valuebound50.yml TIMEOUT 301.23 261.42 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 20.44 13.34 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 300.99 289.74 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 301.04 283.25 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 39.42 23.12 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 301.00 288.34 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 301.05 284.19 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 300.09 281.73 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 30.15 17.48 None nla-digbench-scaling/ps3-ll_valuebound10.yml TIMEOUT 301.03 283.66 None nla-digbench-scaling/ps3-ll_valuebound100.yml TIMEOUT 301.00 288.24 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 33.50 20.00 None nla-digbench-scaling/ps3-ll_valuebound20.yml TIMEOUT 300.07 280.17 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 79.41 59.39 None nla-digbench-scaling/ps3-ll_valuebound50.yml TIMEOUT 301.04 283.27 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 103.27 91.83 None nla-digbench-scaling/ps4-ll_valuebound10.yml TIMEOUT 300.27 279.34 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 300.97 291.14 None nla-digbench-scaling/ps4-ll_valuebound2.yml TIMEOUT 300.99 289.36 None nla-digbench-scaling/ps4-ll_valuebound20.yml TIMEOUT 300.97 291.04 None nla-digbench-scaling/ps4-ll_valuebound5.yml TIMEOUT 300.11 285.31 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 301.02 286.78 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 92.07 78.94 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 300.10 277.81 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 300.13 275.98 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 99.42 85.09 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 300.13 276.58 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 300.14 276.26 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 301.04 285.07 None nla-digbench-scaling/ps6-ll_valuebound1.yml TIMEOUT 300.99 288.39 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 301.03 292.06 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 300.72 280.92 None nla-digbench-scaling/ps6-ll_valuebound2.yml TIMEOUT 301.01 291.87 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 300.93 292.23 None nla-digbench-scaling/ps6-ll_valuebound5.yml TIMEOUT 301.06 291.56 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 300.97 287.07 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 28.20 16.45 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 264.68 234.75 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml TIMEOUT 300.51 261.74 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 51.62 32.13 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml TIMEOUT 300.57 264.08 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 214.41 185.52 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml TIMEOUT 300.59 265.23 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 33.43 19.10 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 37.21 25.32 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 199.05 170.72 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 33.63 19.22 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 44.76 29.97 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 48.90 29.95 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 181.09 163.72 None recursive/Ackermann01-2.yml OUT OF MEMORY 102.66 80.29 None recursive/Ackermann03.yml OUT OF MEMORY 188.71 143.12 None recursive/Ackermann04.yml OUT OF MEMORY 204.91 155.72 None recursive/Addition01-2.yml TIMEOUT 300.44 278.90 None recursive/Addition03-1.yml TIMEOUT 300.52 273.09 None recursive/EvenOdd01-1.yml TIMEOUT 300.26 254.05 None recursive/Fibonacci01-1.yml TIMEOUT 301.37 258.56 None recursive/Fibonacci02.yml true 127.71 95.51 None recursive/Fibonacci03.yml TIMEOUT 301.46 240.93 None recursive/McCarthy91-2.yml true 22.20 12.08 None recursive/MultCommutative-2.yml TIMEOUT 301.09 233.47 None recursive/Primes.yml TIMEOUT 301.28 243.86 None recursive/gcd01-1.yml true 19.11 10.48 None recursive/gcd02.yml TIMEOUT 300.52 252.23 None recursive/recHanoi01.yml TIMEOUT 300.58 266.43 None recursive/recHanoi02-2.yml TIMEOUT 300.58 239.86 None recursive/recHanoi03-2.yml TIMEOUT 300.72 239.47 None recursive-simple/afterrec-2.yml true 10.33 5.69 None recursive-simple/afterrec_2calls-2.yml true 10.56 5.79 None recursive-simple/fibo_10-2.yml true 196.78 146.21 None recursive-simple/fibo_15-1.yml TIMEOUT 300.96 262.50 None recursive-simple/fibo_20-2.yml TIMEOUT 300.33 248.67 None recursive-simple/fibo_25-2.yml TIMEOUT 300.44 272.46 None recursive-simple/fibo_2calls_10-1.yml TIMEOUT 300.74 236.13 None recursive-simple/fibo_2calls_15-2.yml TIMEOUT 301.17 247.95 None recursive-simple/fibo_2calls_2-2.yml true 16.92 9.89 None recursive-simple/fibo_2calls_20-2.yml TIMEOUT 301.24 254.01 None recursive-simple/fibo_2calls_25-2.yml OUT OF MEMORY 163.31 118.07 None recursive-simple/fibo_2calls_4-1.yml true 42.12 29.93 None recursive-simple/fibo_2calls_5-1.yml true 239.74 211.33 None recursive-simple/fibo_2calls_6-1.yml TIMEOUT 300.45 265.09 None recursive-simple/fibo_2calls_8-1.yml TIMEOUT 300.40 273.33 None recursive-simple/fibo_5-1.yml true 36.12 21.20 None recursive-simple/fibo_7-1.yml true 67.28 39.64 None recursive-simple/id2_b2_o3.yml true 13.85 8.01 None recursive-simple/id2_b3_o5.yml true 13.90 7.70 None recursive-simple/id2_b5_o10.yml true 11.46 7.24 None recursive-simple/id2_i5_o5-2.yml true 94.41 64.05 None recursive-simple/id_b2_o3.yml true 12.46 7.07 None recursive-simple/id_b3_o5-2.yml true 10.15 6.47 None recursive-simple/id_b5_o10-2.yml true 13.45 7.66 None recursive-simple/id_i10_o10-2.yml true 51.18 36.96 None recursive-simple/id_i15_o15-1.yml true 239.62 196.54 None recursive-simple/id_i20_o20-1.yml TIMEOUT 301.05 242.06 None recursive-simple/id_i25_o25-1.yml TIMEOUT 300.77 235.25 None recursive-simple/id_i5_o5-2.yml true 94.71 70.72 None recursive-simple/sum_10x0-1.yml true 65.57 41.29 None recursive-simple/sum_15x0-1.yml true 147.62 127.79 None recursive-simple/sum_20x0-2.yml true 237.96 202.64 None recursive-simple/sum_25x0-1.yml TIMEOUT 301.15 239.43 None recursive-simple/sum_2x3-2.yml true 19.84 12.48 None recursive-simple/sum_non_eq-2.yml true 16.21 9.45 None recursive-with-pointer/simple-recursive.yml true 23.62 13.86 None verifythis/prefixsum_rec.yml TIMEOUT 300.53 264.50 None verifythis/elimination_max_rec.yml TIMEOUT 300.24 277.51 None verifythis/elimination_max_rec_onepoint.yml TIMEOUT 300.73 252.71 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml TIMEOUT 301.00 288.66 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml TIMEOUT 300.98 290.53 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml TIMEOUT 301.08 279.32 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml true 22.51 13.24 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml true 22.23 12.94 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml TIMEOUT 301.01 287.89 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 20.24 10.97 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 24.59 13.72 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 31.40 17.98 None recursified_loop-invariants/recursified_const.yml true 12.22 6.71 None recursified_loop-invariants/recursified_eq1.yml true 48.53 41.37 None recursified_loop-invariants/recursified_eq2.yml true 30.84 22.72 None recursified_loop-invariants/recursified_even.yml true 15.02 8.28 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml TIMEOUT 301.30 242.96 None recursified_loop-invariants/recursified_mod4.yml true 15.61 8.54 None recursified_loop-invariants/recursified_odd.yml true 15.85 8.71 None recursified_loop-simple/recursified_nested_1.yml true 38.67 21.78 None recursified_loop-simple/recursified_nested_2.yml true 125.26 80.70 None recursified_loop-simple/recursified_nested_3.yml TIMEOUT 300.97 244.86 None recursified_loop-simple/recursified_nested_4.yml TIMEOUT 301.50 240.80 None recursified_loop-simple/recursified_nested_5.yml TIMEOUT 301.07 260.02 None recursified_loop-simple/recursified_nested_6.yml TIMEOUT 300.63 260.92 None recursified_nla-digbench/recursified_bresenham-ll.yml TIMEOUT 301.05 262.44 None recursified_nla-digbench/recursified_cohencu-ll.yml TIMEOUT 302.34 240.90 None recursified_nla-digbench/recursified_cohendiv-ll.yml OUT OF MEMORY 84.99 59.85 None recursified_nla-digbench/recursified_dijkstra-u.yml TIMEOUT 300.70 271.50 None recursified_nla-digbench/recursified_divbin2.yml TIMEOUT 300.29 278.37 None recursified_nla-digbench/recursified_egcd-ll.yml TIMEOUT 300.46 263.51 None recursified_nla-digbench/recursified_egcd2-ll.yml OUT OF MEMORY 69.04 52.10 None recursified_nla-digbench/recursified_egcd3-ll.yml OUT OF MEMORY 197.77 167.73 None recursified_nla-digbench/recursified_fermat1-ll.yml OUT OF MEMORY 49.08 25.33 None recursified_nla-digbench/recursified_fermat2-ll.yml OUT OF MEMORY 50.94 26.18 None recursified_nla-digbench/recursified_geo1-ll.yml TIMEOUT 301.00 290.74 None recursified_nla-digbench/recursified_geo2-ll.yml TIMEOUT 300.09 285.54 None recursified_nla-digbench/recursified_geo3-ll.yml TIMEOUT 300.98 289.79 None recursified_nla-digbench/recursified_hard-ll.yml OUT OF MEMORY 80.28 56.17 None recursified_nla-digbench/recursified_hard2.yml TIMEOUT 300.96 257.56 None recursified_nla-digbench/recursified_knuth.yml TIMEOUT 301.08 291.06 None recursified_nla-digbench/recursified_lcm1.yml TIMEOUT 300.92 295.34 None recursified_nla-digbench/recursified_lcm2.yml TIMEOUT 300.50 279.66 None recursified_nla-digbench/recursified_mannadiv.yml OUT OF MEMORY 42.61 22.51 None recursified_nla-digbench/recursified_prod4br-ll.yml TIMEOUT 300.36 264.25 None recursified_nla-digbench/recursified_prodbin-ll.yml TIMEOUT 300.32 276.21 None recursified_nla-digbench/recursified_ps2-ll.yml OUT OF MEMORY 101.55 63.57 None recursified_nla-digbench/recursified_ps3-ll.yml TIMEOUT 301.07 279.92 None recursified_nla-digbench/recursified_ps4-ll.yml TIMEOUT 300.32 267.57 None recursified_nla-digbench/recursified_ps5-ll.yml TIMEOUT 300.13 279.44 None recursified_nla-digbench/recursified_ps6-ll.yml TIMEOUT 300.15 275.81 None recursified_nla-digbench/recursified_sqrt1-ll.yml TIMEOUT 300.77 264.14 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 129857.38 8403.49 - Statistics: 666 Files correct: 252 correct true: 252 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 414 Score: 504 (max: 1332)