BENCHMARK INFORMATION benchmark definition: ../experiment-automizer-validate-automizer-v2d1.xml name: experiment-automizer-validate-automizer-v2d1 run sets: SV-COMP24_unreach-call date: Fri, 2024-09-20 13:29:53 CEST tool: ULTIMATE Automizer 0.2.4-f1d7dc9d tool executable: ./Ultimate.py options: --full-output --witness-type correctness_witness 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 --witness-type correctness_witness --validate ../results/automizer-verification-files/SV-COMP24_unreach-call/${taskdef_name}/witness-2.1.yml' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 16.25 9.28 None loops/count_up_down-1.yml unknown 0.04 0.04 None loops/eureka_01-2.yml unknown 0.04 0.04 None loops/eureka_05.yml unknown 0.04 0.04 None loops/for_infinite_loop_1.yml true 13.02 7.15 None loops/for_infinite_loop_2.yml true 9.57 6.01 None loops/heavy-2.yml true 12.65 7.10 None loops/insertion_sort-2-2.yml unknown 0.04 0.06 None loops/invert_string-3.yml true 203.62 186.47 None loops/linear_sea.ch.yml unknown 0.03 0.06 None loops/lu.cmp.yml true 16.15 9.08 None loops/matrix-1.yml unknown 0.04 0.06 None loops/n.c11.yml true 10.04 6.58 None loops/n.c40.yml unknown 0.04 0.09 None loops/nec40.yml unknown 0.04 0.04 None loops/string-1.yml true 11.27 7.84 None loops/sum01-2.yml true 13.91 7.80 None loops/sum03-2.yml true 13.04 8.49 None loops/sum04-2.yml true 15.82 9.15 None loops/sum_array-2-2.yml unknown 0.04 0.04 None loops/terminator_02-2.yml true 10.14 6.01 None loops/terminator_02-2_abstracted.yml true 13.77 7.57 None loops/terminator_03-2.yml true 12.35 7.30 None loops/terminator_03-2_abstracted.yml true 9.13 5.60 None loops/trex01-2.yml true 9.68 5.98 None loops/trex02-1.yml true 10.58 6.24 None loops/trex03-2.yml true 12.68 7.13 None loops/trex03-2_abstracted.yml true 16.82 9.28 None loops/trex04.yml true 12.67 7.54 None loops/trex04_abstracted.yml true 12.87 7.41 None loops/veris.c_NetBSD-libc_loop.yml true 13.75 7.91 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 11.72 8.37 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 12.26 7.32 None loops/vogal-1.yml unknown 0.04 0.04 None loops/while_infinite_loop_1.yml true 12.14 7.15 None loops/while_infinite_loop_2.yml true 9.92 6.02 None loops/while_infinite_loop_3.yml true 13.48 7.55 None loop-acceleration/array_1-2.yml true 15.01 11.41 None loop-acceleration/array_2-2-simple.yml unknown 0.04 0.04 None loop-acceleration/array_2-2.yml unknown 0.04 0.04 None loop-acceleration/array_3-1.yml true 10.94 6.97 None loop-acceleration/array_4.yml unknown 0.03 0.04 None loop-acceleration/const_1-1.yml true 9.66 5.61 None loop-acceleration/diamond_1-1.yml true 16.66 9.82 None loop-acceleration/diamond_2-2.yml false(unreach-call) 12.16 7.81 None loop-acceleration/functions_1-1.yml true 14.62 8.43 None loop-acceleration/multivar_1-1.yml true 12.87 7.59 None loop-acceleration/nested_1-1.yml true 21.50 12.35 None loop-acceleration/overflow_1-1.yml true 12.32 7.28 None loop-acceleration/phases_1-1.yml unknown 0.04 0.04 None loop-acceleration/phases_2-2.yml true 30.31 26.54 None loop-acceleration/simple_1-2.yml true 13.37 7.98 None loop-acceleration/simple_1-2_abstracted.yml true 12.76 7.48 None loop-acceleration/simple_2-1.yml true 12.40 6.95 None loop-acceleration/simple_2-1_abstracted.yml true 9.54 5.51 None loop-acceleration/simple_3-2.yml true 10.39 6.35 None loop-acceleration/simple_4-2.yml true 13.01 7.63 None loop-acceleration/simple_4-2_abstracted.yml true 9.81 6.62 None loop-acceleration/underapprox_1-2.yml true 33.80 25.47 None loop-acceleration/underapprox_2-2.yml true 13.55 7.74 None loop-crafted/simple_array_index_value_1-1.yml unknown 0.04 0.04 None loop-crafted/simple_array_index_value_2.yml unknown 0.04 0.04 None loop-crafted/simple_array_index_value_3.yml unknown 0.04 0.04 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TIMEOUT 301.01 285.64 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TIMEOUT 301.06 286.27 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 301.06 282.91 None loop-crafted/simple_vardep_1.yml true 16.06 8.87 None loop-crafted/simple_vardep_2.yml true 14.24 8.54 None loop-invgen/MADWiFi-encode_ie_ok.yml true 15.52 9.06 None loop-invgen/NetBSD_loop.yml true 11.73 7.80 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 32.02 18.57 None loop-invgen/SpamAssassin-loop.yml true 13.02 8.57 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 22.72 12.62 None loop-invgen/apache-escape-absolute.yml true 18.97 10.36 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml false(unreach-call) 10.11 6.34 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 59.78 33.86 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 67.21 37.84 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 15.96 9.42 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 16.83 10.92 None loop-invgen/apache-get-tag.yml true 11.17 7.01 None loop-invgen/down.yml unknown 0.04 0.04 None loop-invgen/fragtest_simple.yml unknown 0.04 0.04 None loop-invgen/half_2.yml unknown 0.04 0.04 None loop-invgen/heapsort.yml unknown 0.04 0.04 None loop-invgen/id_build.i.p+nlh-reducer.yml true 21.30 11.40 None loop-invgen/id_build.i.p+sep-reducer.yml true 16.60 10.18 None loop-invgen/id_build.i.v+lhb-reducer.yml true 13.72 7.47 None loop-invgen/id_build.yml true 13.56 8.11 None loop-invgen/large_const.yml true 21.90 13.88 None loop-invgen/nest-if3.yml true 9.41 5.84 None loop-invgen/nested6.yml true 12.77 8.24 None loop-invgen/nested9.yml true 14.33 9.98 None loop-invgen/sendmail-close-angle.yml true 18.76 10.78 None loop-invgen/seq-3.yml unknown 0.04 0.04 None loop-invgen/string_concat-noarr.yml unknown 0.04 0.04 None loop-invgen/up.yml unknown 0.04 0.04 None loop-lit/afnp2014.yml true 11.01 6.62 None loop-lit/as2013-hybrid.yml true 10.49 7.73 None loop-lit/bh2017-ex-add.yml true 10.85 7.07 None loop-lit/bh2017-ex1-poly.yml true 21.20 11.94 None loop-lit/bh2017-ex3.yml true 11.09 6.75 None loop-lit/bhmr2007.yml true 11.12 7.01 None loop-lit/cggmp2005.yml true 12.06 9.25 None loop-lit/cggmp2005_variant.yml true 10.21 6.15 None loop-lit/cggmp2005b.yml true 10.13 6.79 None loop-lit/css2003.yml true 14.92 8.87 None loop-lit/ddlm2013.yml true 18.18 10.59 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 58.98 40.33 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 86.08 49.89 None loop-lit/gj2007.yml true 96.48 74.06 None loop-lit/gj2007b.yml true 14.52 8.40 None loop-lit/gr2006.yml true 150.34 123.31 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 9.59 6.78 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 10.39 6.87 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 13.53 7.67 None loop-lit/gsv2008.yml true 12.59 7.16 None loop-lit/hh2012-ex1b.yml true 16.33 9.24 None loop-lit/hh2012-ex2b.yml true 10.48 7.37 None loop-lit/hh2012-ex3.yml true 28.49 15.97 None loop-lit/hhk2008.yml true 10.07 6.34 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 13.15 7.58 None loop-lit/jm2006.yml true 12.85 7.11 None loop-lit/jm2006_variant.yml true 10.69 7.09 None loop-lit/mcmillan2006.yml unknown 0.04 0.04 None loop-lit/mine2017-ex4.10.yml true 13.50 7.71 None loop-lit/mine2017-ex4.6.yml true 10.29 6.56 None loop-lit/mine2017-ex4.7.yml true 13.31 7.52 None loop-lit/mine2017-ex4.8.yml true 11.85 6.65 None loop-new/count_by_1.yml true 9.39 6.61 None loop-new/count_by_1_variant.yml true 10.11 6.55 None loop-new/count_by_2.yml unknown 0.04 0.04 None loop-new/count_by_k.yml unknown 0.04 0.04 None loop-new/count_by_nondet.yml unknown 0.04 0.04 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 13.37 7.82 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 14.81 8.74 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 13.21 7.64 None loop-new/gauss_sum.yml true 13.89 8.41 None loop-new/half.yml true 12.51 8.55 None loop-new/nested-1.yml unknown 0.03 0.04 None loop-industry-pattern/aiob_1.yml unknown 0.04 0.04 None loop-industry-pattern/aiob_2.yml unknown 0.04 0.04 None loop-industry-pattern/aiob_3.yml unknown 0.04 0.04 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 0.04 0.04 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 0.04 0.04 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 0.04 0.04 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 0.04 0.04 None loop-industry-pattern/aiob_4.yml unknown 0.04 0.04 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml false(unreach-call) 8.84 5.63 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml false(unreach-call) 11.65 6.68 None loop-industry-pattern/mod3.c.v+sep-reducer.yml false(unreach-call) 12.04 7.06 None loop-industry-pattern/mod3.yml true 46.49 39.49 None loop-industry-pattern/ofuf_1.yml unknown 0.04 0.04 None loop-industry-pattern/ofuf_2.yml unknown 0.04 0.04 None loop-industry-pattern/ofuf_3.yml unknown 0.04 0.04 None loop-industry-pattern/ofuf_4.yml unknown 0.04 0.04 None loop-industry-pattern/ofuf_5.yml unknown 0.04 0.04 None loops-crafted-1/Mono1_1-2.yml unknown 0.04 0.04 None loops-crafted-1/discover_list.yml unknown 0.04 0.04 None loops-crafted-1/iftelse.yml unknown 0.04 0.04 None loops-crafted-1/in-de20.yml unknown 0.04 0.04 None loops-crafted-1/in-de31.yml unknown 0.04 0.04 None loops-crafted-1/in-de32.yml unknown 0.04 0.04 None loops-crafted-1/in-de41.yml unknown 0.04 0.04 None loops-crafted-1/in-de42.yml unknown 0.04 0.04 None loops-crafted-1/in-de51.yml unknown 0.04 0.04 None loops-crafted-1/in-de52.yml unknown 0.04 0.04 None loops-crafted-1/in-de61.yml unknown 0.04 0.04 None loops-crafted-1/in-de62.yml unknown 0.04 0.04 None loops-crafted-1/loopv1.yml true 13.42 7.40 None loops-crafted-1/loopv2.yml true 11.11 7.07 None loops-crafted-1/loopv3.yml true 11.45 7.80 None loops-crafted-1/mono-crafted_1.yml unknown 0.03 0.04 None loops-crafted-1/mono-crafted_10.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_11.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_12.yml true 10.11 6.95 None loops-crafted-1/mono-crafted_13.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_14.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_3.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_6.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_7.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_8.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_9.yml unknown 0.04 0.04 None loops-crafted-1/nested3-1.yml unknown 0.04 0.04 None loops-crafted-1/nested3-1_abstracted.yml unknown 0.04 0.04 None loops-crafted-1/nested5-1.yml true 16.19 9.40 None loops-crafted-1/nested_delay_nd.yml unknown 0.04 0.04 None loops-crafted-1/net_reset.yml unknown 0.04 0.04 None loops-crafted-1/sum_by_3.yml true 27.33 14.58 None loops-crafted-1/sum_by_3_abstracted.yml true 14.26 8.45 None loops-crafted-1/sum_natnum.yml unknown 0.04 0.04 None loops-crafted-1/sumt2.yml true 14.23 7.97 None loops-crafted-1/sumt3.yml true 11.29 7.49 None loops-crafted-1/sumt4.yml true 10.88 7.06 None loops-crafted-1/sumt5.yml true 15.45 8.57 None loops-crafted-1/sumt6.yml true 15.19 8.42 None loops-crafted-1/sumt7.yml true 13.88 8.80 None loops-crafted-1/sumt8.yml true 13.22 8.27 None loops-crafted-1/sumt9.yml true 20.20 10.83 None loops-crafted-1/theatreSquare.yml unknown 0.03 0.04 None loops-crafted-1/vnew1.yml unknown 0.04 0.04 None loops-crafted-1/vnew2.yml unknown 0.03 0.04 None loops-crafted-1/watermelon.yml unknown 0.03 0.04 None loop-invariants/bin-suffix-5.yml true 20.21 12.66 None loop-invariants/const.yml true 12.47 7.43 None loop-invariants/eq1.yml true 12.95 7.28 None loop-invariants/eq2.yml true 12.47 6.97 None loop-invariants/even.yml true 9.79 6.52 None loop-invariants/linear-inequality-inv-a.yml unknown 0.04 0.04 None loop-invariants/mod4.yml true 9.03 6.10 None loop-invariants/odd.yml true 13.56 7.97 None loop-simple/nested_1.yml true 12.43 7.10 None loop-simple/nested_2.yml true 14.75 8.80 None loop-simple/nested_3.yml true 24.97 14.69 None loop-simple/nested_4.yml true 50.87 34.29 None loop-simple/nested_5.yml unknown 0.04 0.04 None loop-simple/nested_6.yml unknown 0.04 0.04 None loop-zilu/benchmark02_linear.yml true 9.24 6.63 None loop-zilu/benchmark02_linear_abstracted.yml true 9.67 6.05 None loop-zilu/benchmark04_conjunctive.yml true 13.47 7.69 None loop-zilu/benchmark05_conjunctive.yml true 13.89 8.05 None loop-zilu/benchmark09_conjunctive.yml true 9.76 5.98 None loop-zilu/benchmark10_conjunctive.yml true 15.24 9.24 None loop-zilu/benchmark11_linear.yml true 13.25 7.57 None loop-zilu/benchmark11_linear_abstracted.yml true 10.28 6.59 None loop-zilu/benchmark14_linear.yml true 9.16 6.35 None loop-zilu/benchmark17_conjunctive.yml true 9.46 5.86 None loop-zilu/benchmark18_conjunctive.yml true 14.11 8.43 None loop-zilu/benchmark19_conjunctive.yml true 13.91 7.90 None loop-zilu/benchmark20_conjunctive.yml true 12.65 7.06 None loop-zilu/benchmark23_conjunctive.yml true 34.25 19.82 None loop-zilu/benchmark25_linear.yml true 10.96 7.18 None loop-zilu/benchmark25_linear_abstracted.yml true 9.74 6.40 None loop-zilu/benchmark26_linear.yml true 12.79 7.33 None loop-zilu/benchmark26_linear_abstracted.yml true 9.43 5.60 None loop-zilu/benchmark32_linear.yml true 12.57 7.04 None loop-zilu/benchmark33_linear.yml true 12.59 7.14 None loop-zilu/benchmark34_conjunctive.yml true 14.91 8.63 None loop-zilu/benchmark35_linear.yml true 9.74 6.26 None loop-zilu/benchmark37_conjunctive.yml true 9.73 6.12 None loop-zilu/benchmark43_conjunctive.yml true 12.78 7.71 None loop-zilu/benchmark43_conjunctive_abstracted.yml true 10.58 6.14 None loop-zilu/benchmark51_polynomial.yml true 9.72 6.83 None loop-zilu/benchmark52_polynomial.yml true 13.92 8.48 None verifythis/duplets.yml unknown 0.04 0.04 None verifythis/elimination_max.yml unknown 0.04 0.04 None verifythis/lcp.yml unknown 0.04 0.04 None verifythis/prefixsum_iter.yml unknown 0.04 0.04 None nla-digbench/bresenham-ll.yml true 30.51 19.40 None nla-digbench/cohencu-ll.yml true 15.41 10.97 None nla-digbench/cohendiv-ll.yml true 14.84 9.51 None nla-digbench/dijkstra-u.yml unknown 0.04 0.04 None nla-digbench/divbin2.yml unknown 0.04 0.04 None nla-digbench/egcd-ll.yml true 16.37 9.87 None nla-digbench/egcd2-ll.yml unknown 0.04 0.04 None nla-digbench/egcd3-ll.yml unknown 0.04 0.04 None nla-digbench/fermat1-ll.yml true 21.41 14.33 None nla-digbench/fermat2-ll.yml true 15.85 9.71 None nla-digbench/geo1-ll.yml unknown 0.04 0.04 None nla-digbench/geo2-ll.yml unknown 0.04 0.04 None nla-digbench/geo3-ll.yml unknown 0.04 0.04 None nla-digbench/hard-ll.yml unknown 0.04 0.04 None nla-digbench/hard2.yml true 19.45 13.39 None nla-digbench/knuth.yml unknown 0.04 0.04 None nla-digbench/lcm1.yml unknown 0.03 0.04 None nla-digbench/lcm2.yml TIMEOUT 300.92 296.28 None nla-digbench/mannadiv.yml true 14.57 8.40 None nla-digbench/prod4br-ll.yml true 16.10 9.90 None nla-digbench/prodbin-ll.yml unknown 0.04 0.04 None nla-digbench/ps2-ll.yml true 12.61 7.40 None nla-digbench/ps3-ll.yml true 10.41 6.80 None nla-digbench/ps4-ll.yml true 14.27 8.19 None nla-digbench/ps5-ll.yml true 14.83 8.84 None nla-digbench/ps6-ll.yml true 15.95 8.96 None nla-digbench/sqrt1-ll.yml true 10.55 7.47 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 20.73 11.53 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 20.31 11.36 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 16.18 10.68 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 21.67 14.72 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 16.42 9.90 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 19.90 11.70 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 19.96 11.52 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 23.15 12.91 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 129.43 121.79 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 15.99 10.63 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 20.20 11.90 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 16.52 11.62 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 14.29 8.89 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 18.95 11.16 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 13.69 8.83 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 21.88 12.86 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 17.03 11.52 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 27.24 15.34 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 21.73 12.73 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 17.00 10.40 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 21.88 13.15 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 13.81 9.58 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 19.83 11.41 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 15.60 11.22 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 21.90 12.56 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 15.53 9.92 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 15.07 9.25 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 19.73 11.80 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml TIMEOUT 300.14 294.59 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml TIMEOUT 300.97 292.97 None nla-digbench-scaling/dijkstra-u_valuebound1.yml unknown 0.04 0.04 None nla-digbench-scaling/dijkstra-u_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/dijkstra-u_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/dijkstra-u_valuebound2.yml unknown 0.04 0.04 None nla-digbench-scaling/dijkstra-u_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/dijkstra-u_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/dijkstra-u_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_unwindbound1.yml true 105.11 97.67 None nla-digbench-scaling/divbin2_unwindbound10.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_unwindbound100.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_unwindbound2.yml TIMEOUT 301.01 290.88 None nla-digbench-scaling/divbin2_unwindbound20.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_unwindbound5.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_unwindbound50.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound1.yml true 37.31 31.28 None nla-digbench-scaling/divbin2_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound2.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_unwindbound1.yml true 101.11 96.07 None nla-digbench-scaling/divbin_unwindbound2.yml TIMEOUT 300.97 293.78 None nla-digbench-scaling/divbin_unwindbound5.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 301.04 287.97 None nla-digbench-scaling/divbin_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_valuebound2.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 13.18 7.73 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 15.81 8.89 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 15.91 9.22 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 15.23 9.69 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 16.86 10.42 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 12.11 8.10 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 16.17 9.40 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 16.98 10.80 None nla-digbench-scaling/egcd2-ll_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd2-ll_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 57.98 36.93 None nla-digbench-scaling/egcd2-ll_valuebound20.yml unknown 0.03 0.04 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 0.03 0.04 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 17.70 11.20 None nla-digbench-scaling/egcd3-ll_valuebound10.yml unknown 0.03 0.04 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 0.03 0.03 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 74.18 62.95 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd3-ll_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 22.85 15.44 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 21.10 14.35 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 20.19 13.90 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 12.65 7.90 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 21.28 14.34 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 20.56 14.07 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 17.93 13.00 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 14.03 9.16 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 15.97 10.17 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 16.50 10.57 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 16.09 9.91 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 17.14 10.70 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 12.99 8.60 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 16.13 9.99 None nla-digbench-scaling/freire1_valuebound1.yml unknown 0.04 0.04 None nla-digbench-scaling/freire1_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/freire1_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/freire1_valuebound2.yml unknown 0.04 0.04 None nla-digbench-scaling/freire1_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/freire1_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/freire1_valuebound50.yml unknown 0.04 0.05 None nla-digbench-scaling/geo1-ll_unwindbound1.yml TIMEOUT 301.01 288.47 None nla-digbench-scaling/geo1-ll_unwindbound10.yml unknown 0.04 0.04 None nla-digbench-scaling/geo1-ll_unwindbound100.yml unknown 0.04 0.04 None nla-digbench-scaling/geo1-ll_unwindbound2.yml TIMEOUT 301.02 291.36 None nla-digbench-scaling/geo1-ll_unwindbound20.yml unknown 0.04 0.04 None nla-digbench-scaling/geo1-ll_unwindbound5.yml unknown 0.04 0.04 None nla-digbench-scaling/geo1-ll_unwindbound50.yml unknown 0.04 0.04 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 14.51 8.24 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 15.31 8.82 None nla-digbench-scaling/geo1-ll_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 11.26 7.24 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 94.30 84.72 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 14.87 8.88 None nla-digbench-scaling/geo1-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/geo2-ll_unwindbound1.yml TIMEOUT 301.06 291.16 None nla-digbench-scaling/geo2-ll_unwindbound10.yml unknown 0.04 0.04 None nla-digbench-scaling/geo2-ll_unwindbound100.yml unknown 0.04 0.04 None nla-digbench-scaling/geo2-ll_unwindbound2.yml unknown 0.04 0.04 None nla-digbench-scaling/geo2-ll_unwindbound20.yml unknown 0.04 0.04 None nla-digbench-scaling/geo2-ll_unwindbound5.yml unknown 0.04 0.04 None nla-digbench-scaling/geo2-ll_unwindbound50.yml unknown 0.03 0.04 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 12.98 7.28 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 10.50 6.41 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 13.58 7.97 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 14.16 8.31 None nla-digbench-scaling/geo2-ll_valuebound20.yml TIMEOUT 300.96 292.87 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 9.62 6.31 None nla-digbench-scaling/geo2-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_unwindbound1.yml TIMEOUT 300.99 290.14 None nla-digbench-scaling/geo3-ll_unwindbound10.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_unwindbound100.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_unwindbound2.yml TIMEOUT 300.48 289.36 None nla-digbench-scaling/geo3-ll_unwindbound20.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_unwindbound5.yml unknown 0.03 0.03 None nla-digbench-scaling/geo3-ll_unwindbound50.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 9.81 6.38 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 10.32 6.62 None nla-digbench-scaling/geo3-ll_valuebound100.yml unknown 0.03 0.03 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 9.84 6.44 None nla-digbench-scaling/geo3-ll_valuebound20.yml TIMEOUT 301.00 291.33 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 12.85 7.76 None nla-digbench-scaling/geo3-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-ll_valuebound1.yml true 23.26 13.53 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-ll_valuebound2.yml true 45.50 25.74 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-ll_valuebound5.yml false(unreach-call) 11.14 6.82 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound1.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 0.03 0.04 None nla-digbench-scaling/hard-u_valuebound100.yml false(unreach-call) 180.42 169.88 None nla-digbench-scaling/hard-u_valuebound2.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound20.yml unknown 0.03 0.03 None nla-digbench-scaling/hard-u_valuebound5.yml unknown 0.03 0.03 None nla-digbench-scaling/hard-u_valuebound50.yml unknown 0.03 0.03 None nla-digbench-scaling/hard2_valuebound1.yml true 15.63 10.01 None nla-digbench-scaling/hard2_valuebound10.yml true 20.81 13.19 None nla-digbench-scaling/hard2_valuebound100.yml true 21.50 13.28 None nla-digbench-scaling/hard2_valuebound2.yml true 35.40 20.06 None nla-digbench-scaling/hard2_valuebound20.yml true 23.03 14.92 None nla-digbench-scaling/hard2_valuebound5.yml true 62.25 38.07 None nla-digbench-scaling/hard2_valuebound50.yml true 21.64 13.30 None nla-digbench-scaling/knuth_unwindbound1.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_unwindbound10.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_unwindbound100.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_unwindbound2.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_unwindbound20.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_unwindbound5.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_unwindbound50.yml unknown 0.03 0.04 None nla-digbench-scaling/knuth_valuebound1.yml true 33.00 21.47 None nla-digbench-scaling/knuth_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_valuebound2.yml true 26.52 19.77 None nla-digbench-scaling/knuth_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/knuth_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/lcm1_valuebound1.yml unknown 0.03 0.04 None nla-digbench-scaling/lcm1_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/lcm1_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/lcm1_valuebound2.yml unknown 0.04 0.04 None nla-digbench-scaling/lcm1_valuebound20.yml unknown 0.03 0.04 None nla-digbench-scaling/lcm1_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/lcm1_valuebound50.yml unknown 0.03 0.04 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 300.92 295.87 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 300.93 295.97 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 300.95 293.48 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 300.95 293.37 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 300.93 296.05 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 300.96 293.51 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 300.96 293.38 None nla-digbench-scaling/lcm2_valuebound1.yml true 13.28 7.65 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 300.11 290.98 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 300.96 294.16 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 301.05 287.66 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 300.95 295.62 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 301.02 290.20 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 300.97 293.18 None nla-digbench-scaling/mannadiv_valuebound1.yml true 10.87 7.16 None nla-digbench-scaling/mannadiv_valuebound10.yml true 10.60 7.16 None nla-digbench-scaling/mannadiv_valuebound100.yml true 10.40 6.95 None nla-digbench-scaling/mannadiv_valuebound2.yml true 10.79 6.95 None nla-digbench-scaling/mannadiv_valuebound20.yml true 11.11 7.32 None nla-digbench-scaling/mannadiv_valuebound5.yml true 10.74 6.74 None nla-digbench-scaling/mannadiv_valuebound50.yml true 10.35 6.72 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 13.58 8.85 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 13.57 9.24 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 13.57 9.22 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 13.51 8.79 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 13.89 8.96 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 13.57 9.29 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 14.32 9.44 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 0.04 0.04 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 0.03 0.04 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 12.68 8.31 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 96.35 75.96 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 15.74 11.44 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 14.86 8.40 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 43.72 25.45 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 33.98 20.46 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 10.10 6.20 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 10.14 6.36 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 10.54 6.93 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 10.09 6.69 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 9.83 6.49 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 10.92 7.20 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 13.28 7.69 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 10.24 6.62 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 9.85 6.90 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 13.04 7.75 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 10.33 6.62 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 12.89 7.92 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 13.11 7.66 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.88 6.52 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 10.40 6.73 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 10.44 7.75 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 13.49 8.26 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 18.01 12.57 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 13.49 7.91 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 10.42 6.71 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 10.16 7.07 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 9.91 6.63 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 12.54 7.58 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 9.56 5.85 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 12.86 7.26 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 9.71 6.30 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 10.15 6.37 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 13.05 7.45 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 11.60 7.79 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 14.77 8.43 None nla-digbench-scaling/ps4-ll_valuebound100.yml true 14.41 8.30 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 13.33 8.85 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 11.78 7.45 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/ps4-ll_valuebound50.yml true 11.51 7.56 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 16.36 9.56 None nla-digbench-scaling/ps5-ll_valuebound10.yml true 11.44 7.31 None nla-digbench-scaling/ps5-ll_valuebound100.yml true 15.75 9.02 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 18.47 11.07 None nla-digbench-scaling/ps5-ll_valuebound20.yml true 11.03 7.17 None nla-digbench-scaling/ps5-ll_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/ps5-ll_valuebound50.yml true 11.81 7.43 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 16.69 12.93 None nla-digbench-scaling/ps6-ll_valuebound10.yml true 24.08 16.45 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 18.68 11.16 None nla-digbench-scaling/ps6-ll_valuebound20.yml true 15.33 8.60 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 19.84 14.43 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 10.93 7.03 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 14.43 8.26 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 10.72 7.51 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 13.96 8.09 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 14.24 8.32 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 10.64 7.24 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 13.96 8.45 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 9.91 6.60 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 10.48 6.71 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 10.99 7.25 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 10.60 7.27 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 13.99 8.33 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 13.84 7.98 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 10.06 6.69 None recursive/Ackermann01-2.yml true 29.70 17.74 None recursive/Ackermann03.yml true 148.54 124.66 None recursive/Ackermann04.yml true 52.82 37.17 None recursive/Addition01-2.yml true 18.91 11.04 None recursive/Addition03-1.yml unknown 0.04 0.04 None recursive/EvenOdd01-1.yml unknown 0.04 0.04 None recursive/Fibonacci01-1.yml true 17.91 11.80 None recursive/Fibonacci02.yml true 108.55 67.78 None recursive/Fibonacci03.yml true 192.60 144.66 None recursive/McCarthy91-2.yml true 12.56 7.95 None recursive/MultCommutative-2.yml unknown 0.04 0.04 None recursive/Primes.yml true 20.90 13.10 None recursive/gcd01-1.yml true 13.58 8.70 None recursive/gcd02.yml unknown 0.04 0.04 None recursive/recHanoi01.yml unknown 0.04 0.04 None recursive/recHanoi02-2.yml true 13.71 8.06 None recursive/recHanoi03-2.yml true 19.55 13.73 None recursive-simple/afterrec-2.yml true 11.89 7.02 None recursive-simple/afterrec_2calls-2.yml true 12.20 6.82 None recursive-simple/fibo_10-2.yml true 198.22 142.65 None recursive-simple/fibo_15-1.yml unknown 0.04 0.04 None recursive-simple/fibo_20-2.yml unknown 0.04 0.04 None recursive-simple/fibo_25-2.yml unknown 0.04 0.04 None recursive-simple/fibo_2calls_10-1.yml false(unreach-call) 23.78 13.90 None recursive-simple/fibo_2calls_15-2.yml unknown 0.04 0.04 None recursive-simple/fibo_2calls_2-2.yml true 16.29 9.35 None recursive-simple/fibo_2calls_20-2.yml unknown 0.04 0.04 None recursive-simple/fibo_2calls_25-2.yml unknown 0.04 0.04 None recursive-simple/fibo_2calls_4-1.yml false(unreach-call) 19.45 11.01 None recursive-simple/fibo_2calls_5-1.yml false(unreach-call) 13.46 8.39 None recursive-simple/fibo_2calls_6-1.yml true 54.97 36.52 None recursive-simple/fibo_2calls_8-1.yml false(unreach-call) 21.88 12.59 None recursive-simple/fibo_5-1.yml true 26.39 16.44 None recursive-simple/fibo_7-1.yml true 38.13 24.23 None recursive-simple/id2_b2_o3.yml true 17.68 9.95 None recursive-simple/id2_b3_o5.yml true 12.69 7.58 None recursive-simple/id2_b5_o10.yml true 16.99 9.56 None recursive-simple/id2_i5_o5-2.yml true 26.56 16.05 None recursive-simple/id_b2_o3.yml true 14.44 8.31 None recursive-simple/id_b3_o5-2.yml true 11.05 6.98 None recursive-simple/id_b5_o10-2.yml true 13.86 8.23 None recursive-simple/id_i10_o10-2.yml TIMEOUT 300.54 280.29 None recursive-simple/id_i15_o15-1.yml TIMEOUT 300.16 272.17 None recursive-simple/id_i20_o20-1.yml OUT OF MEMORY 137.14 80.16 None recursive-simple/id_i25_o25-1.yml unknown 0.04 0.04 None recursive-simple/id_i5_o5-2.yml true 19.31 12.86 None recursive-simple/sum_10x0-1.yml true 20.87 12.23 None recursive-simple/sum_15x0-1.yml true 16.86 11.38 None recursive-simple/sum_20x0-2.yml true 73.29 49.67 None recursive-simple/sum_25x0-1.yml unknown 0.04 0.04 None recursive-simple/sum_2x3-2.yml true 21.67 12.21 None recursive-simple/sum_non_eq-2.yml TIMEOUT 301.07 286.69 None recursive-with-pointer/simple-recursive.yml true 23.95 13.32 None verifythis/prefixsum_rec.yml unknown 0.03 0.03 None verifythis/elimination_max_rec.yml unknown 0.04 0.04 None verifythis/elimination_max_rec_onepoint.yml unknown 0.03 0.04 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml unknown 0.03 0.04 None recursified_loop-crafted/recursified_simple_array_index_value_2.yml unknown 0.04 0.04 None recursified_loop-crafted/recursified_simple_array_index_value_3.yml unknown 0.04 0.04 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+lhb-reducer.yml TIMEOUT 300.99 290.33 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml TIMEOUT 300.98 290.75 None recursified_loop-crafted/recursified_simple_array_index_value_4.yml unknown 0.04 0.04 None recursified_loop-crafted/recursified_simple_vardep_1.yml true 14.50 8.43 None recursified_loop-crafted/recursified_simple_vardep_2.yml true 22.78 12.55 None recursified_loop-invariants/recursified_bin-suffix-5.yml true 25.34 15.69 None recursified_loop-invariants/recursified_const.yml true 13.20 7.25 None recursified_loop-invariants/recursified_eq1.yml true 47.96 37.17 None recursified_loop-invariants/recursified_eq2.yml true 30.89 22.23 None recursified_loop-invariants/recursified_even.yml true 15.56 8.63 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml unknown 0.04 0.04 None recursified_loop-invariants/recursified_mod4.yml true 12.52 7.21 None recursified_loop-invariants/recursified_odd.yml true 14.99 8.77 None recursified_loop-simple/recursified_nested_1.yml true 38.09 27.75 None recursified_loop-simple/recursified_nested_2.yml true 95.36 59.77 None recursified_loop-simple/recursified_nested_3.yml unknown 0.04 0.04 None recursified_loop-simple/recursified_nested_4.yml unknown 0.04 0.04 None recursified_loop-simple/recursified_nested_5.yml unknown 0.04 0.04 None recursified_loop-simple/recursified_nested_6.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_bresenham-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_cohencu-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_cohendiv-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_dijkstra-u.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_divbin2.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_egcd-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_egcd2-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_egcd3-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_fermat1-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_fermat2-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_geo1-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_geo2-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_geo3-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_hard-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_hard2.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_knuth.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_lcm1.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_lcm2.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_mannadiv.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_prod4br-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_prodbin-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_ps2-ll.yml TIMEOUT 300.69 265.29 None recursified_nla-digbench/recursified_ps3-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_ps4-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_ps5-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_ps6-ll.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_sqrt1-ll.yml unknown 0.04 0.04 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 18896.12 1286.40 - Statistics: 666 Files correct: 378 correct true: 378 correct false: 0 incorrect: 11 incorrect true: 0 incorrect false: 11 unknown: 277 Score: 580 (max: 1332)