BENCHMARK INFORMATION benchmark definition: ../experiment-referee-validate-automizer-v2d1.xml name: experiment-referee-validate-automizer-v2d1 run sets: SV-COMP24_unreach-call date: Wed, 2024-09-11 20:46:07 CEST tool: ULTIMATE Automizer 0.2.4-a9b967e5 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 false(unreach-call) 11.53 6.69 None loops/count_up_down-1.yml unknown 0.03 0.04 None loops/eureka_01-2.yml unknown 0.04 0.05 None loops/eureka_05.yml unknown 0.04 0.04 None loops/for_infinite_loop_1.yml unknown 22.23 12.74 None loops/for_infinite_loop_2.yml unknown 16.39 9.93 None loops/heavy-2.yml false(unreach-call) 11.81 7.10 None loops/insertion_sort-2-2.yml unknown 0.04 0.04 None loops/invert_string-3.yml false(unreach-call) 9.41 6.58 None loops/linear_sea.ch.yml unknown 0.04 0.04 None loops/lu.cmp.yml false(unreach-call) 12.21 6.98 None loops/matrix-1.yml false(unreach-call) 11.88 7.25 None loops/n.c11.yml false(unreach-call) 8.66 5.67 None loops/n.c40.yml false(unreach-call) 9.21 5.96 None loops/nec40.yml false(unreach-call) 11.52 6.51 None loops/string-1.yml false(unreach-call) 9.31 5.91 None loops/sum01-2.yml false(unreach-call) 11.37 6.77 None loops/sum03-2.yml false(unreach-call) 8.79 6.36 None loops/sum04-2.yml false(unreach-call) 11.56 6.54 None loops/sum_array-2-2.yml unknown 0.04 0.04 None loops/terminator_02-2.yml false(unreach-call) 9.37 6.51 None loops/terminator_02-2_abstracted.yml false(unreach-call) 8.34 5.47 None loops/terminator_03-2.yml false(unreach-call) 9.14 5.51 None loops/terminator_03-2_abstracted.yml false(unreach-call) 11.27 6.80 None loops/trex01-2.yml false(unreach-call) 11.48 6.68 None loops/trex02-1.yml false(unreach-call) 9.33 6.16 None loops/trex03-2.yml false(unreach-call) 8.53 6.13 None loops/trex03-2_abstracted.yml false(unreach-call) 11.48 7.00 None loops/trex04.yml false(unreach-call) 11.16 6.77 None loops/trex04_abstracted.yml false(unreach-call) 11.97 6.72 None loops/veris.c_NetBSD-libc_loop.yml false(unreach-call) 11.22 6.75 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 12.03 6.79 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml false(unreach-call) 8.25 5.44 None loops/vogal-1.yml unknown 0.03 0.03 None loops/while_infinite_loop_1.yml unknown 16.36 9.96 None loops/while_infinite_loop_2.yml unknown 16.57 10.45 None loops/while_infinite_loop_3.yml ERROR (7) 16.69 12.14 None loop-acceleration/array_1-2.yml false(unreach-call) 11.98 6.79 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 false(unreach-call) 11.59 6.51 None loop-acceleration/array_4.yml unknown 0.04 0.04 None loop-acceleration/const_1-1.yml false(unreach-call) 10.92 6.24 None loop-acceleration/diamond_1-1.yml false(unreach-call) 12.98 7.30 None loop-acceleration/diamond_2-2.yml false(unreach-call) 10.69 7.76 None loop-acceleration/functions_1-1.yml false(unreach-call) 8.75 7.11 None loop-acceleration/multivar_1-1.yml false(unreach-call) 11.33 6.41 None loop-acceleration/nested_1-1.yml false(unreach-call) 11.53 6.51 None loop-acceleration/overflow_1-1.yml false(unreach-call) 11.36 6.43 None loop-acceleration/phases_1-1.yml unknown 0.04 0.04 None loop-acceleration/phases_2-2.yml false(unreach-call) 15.15 10.31 None loop-acceleration/simple_1-2.yml false(unreach-call) 8.38 5.48 None loop-acceleration/simple_1-2_abstracted.yml false(unreach-call) 11.61 6.51 None loop-acceleration/simple_2-1.yml false(unreach-call) 11.25 6.43 None loop-acceleration/simple_2-1_abstracted.yml false(unreach-call) 11.27 6.34 None loop-acceleration/simple_3-2.yml false(unreach-call) 11.03 6.63 None loop-acceleration/simple_4-2.yml false(unreach-call) 11.25 6.76 None loop-acceleration/simple_4-2_abstracted.yml false(unreach-call) 11.50 6.76 None loop-acceleration/underapprox_1-2.yml false(unreach-call) 9.17 6.88 None loop-acceleration/underapprox_2-2.yml false(unreach-call) 11.90 6.67 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.03 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 ERROR (7) 17.70 10.62 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml ERROR (7) 17.83 10.74 None loop-crafted/simple_array_index_value_4.yml false(unreach-call) 9.63 6.21 None loop-crafted/simple_vardep_1.yml false(unreach-call) 9.02 5.43 None loop-crafted/simple_vardep_2.yml false(unreach-call) 9.36 6.05 None loop-invgen/MADWiFi-encode_ie_ok.yml unknown 24.52 14.07 None loop-invgen/NetBSD_loop.yml false(unreach-call) 22.30 12.41 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml ERROR (7) 29.05 16.04 None loop-invgen/SpamAssassin-loop.yml unknown 24.94 13.67 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml ERROR (7) 22.79 12.72 None loop-invgen/apache-escape-absolute.yml false(unreach-call) 25.23 13.80 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml ERROR (7) 24.93 14.17 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml ERROR (7) 51.90 27.92 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml ERROR (7) 32.57 22.81 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml ERROR (7) 18.38 11.68 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml ERROR (7) 19.19 11.40 None loop-invgen/apache-get-tag.yml unknown 19.80 12.43 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.03 0.03 None loop-invgen/id_build.i.p+nlh-reducer.yml ERROR (7) 22.77 13.53 None loop-invgen/id_build.i.p+sep-reducer.yml ERROR (7) 23.27 13.49 None loop-invgen/id_build.i.v+lhb-reducer.yml ERROR (7) 22.98 13.19 None loop-invgen/id_build.yml unknown 22.27 13.03 None loop-invgen/large_const.yml false(unreach-call) 9.86 5.91 None loop-invgen/nest-if3.yml false(unreach-call) 11.72 6.66 None loop-invgen/nested6.yml false(unreach-call) 16.99 12.52 None loop-invgen/nested9.yml false(unreach-call) 11.90 6.75 None loop-invgen/sendmail-close-angle.yml false(unreach-call) 22.50 12.87 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 false(unreach-call) 11.30 6.45 None loop-lit/as2013-hybrid.yml false(unreach-call) 11.35 6.48 None loop-lit/bh2017-ex-add.yml false(unreach-call) 9.72 6.75 None loop-lit/bh2017-ex1-poly.yml unknown 19.27 11.96 None loop-lit/bh2017-ex3.yml false(unreach-call) 11.75 6.63 None loop-lit/bhmr2007.yml false(unreach-call) 8.85 5.57 None loop-lit/cggmp2005.yml false(unreach-call) 8.54 5.55 None loop-lit/cggmp2005_variant.yml false(unreach-call) 11.34 6.34 None loop-lit/cggmp2005b.yml false(unreach-call) 11.21 6.39 None loop-lit/css2003.yml false(unreach-call) 10.99 6.47 None loop-lit/ddlm2013.yml false(unreach-call) 9.80 6.45 None loop-lit/gj2007.c.i.p+lhb-reducer.yml ERROR (7) 31.99 21.38 None loop-lit/gj2007.c.i.p+nlh-reducer.yml OUT OF MEMORY 72.36 47.65 None loop-lit/gj2007.yml false(unreach-call) 12.52 7.00 None loop-lit/gj2007b.yml unknown 16.77 12.34 None loop-lit/gr2006.yml false(unreach-call) 9.33 5.89 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml ERROR (7) 15.85 10.05 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml ERROR (7) 21.54 12.13 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml false(unreach-call) 11.55 6.46 None loop-lit/gsv2008.yml false(unreach-call) 11.36 6.45 None loop-lit/hh2012-ex1b.yml unknown 22.29 13.01 None loop-lit/hh2012-ex2b.yml false(unreach-call) 11.78 6.55 None loop-lit/hh2012-ex3.yml unknown 22.46 13.26 None loop-lit/hhk2008.yml false(unreach-call) 9.17 6.15 None loop-lit/jm2006.c.i.v+cfa-reducer.yml ERROR (7) 17.16 10.75 None loop-lit/jm2006.yml false(unreach-call) 8.94 5.26 None loop-lit/jm2006_variant.yml false(unreach-call) 12.04 7.12 None loop-lit/mcmillan2006.yml false(unreach-call) 11.26 6.40 None loop-lit/mine2017-ex4.10.yml unknown 20.59 11.69 None loop-lit/mine2017-ex4.6.yml unknown 20.63 11.87 None loop-lit/mine2017-ex4.7.yml unknown 16.52 9.82 None loop-lit/mine2017-ex4.8.yml unknown 17.12 10.45 None loop-new/count_by_1.yml false(unreach-call) 8.66 5.16 None loop-new/count_by_1_variant.yml false(unreach-call) 8.80 6.33 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 ERROR (7) 22.55 13.76 None loop-new/gauss_sum.i.p+lhb-reducer.yml ERROR (7) 24.51 14.59 None loop-new/gauss_sum.i.v+cfa-reducer.yml ERROR (7) 22.41 14.12 None loop-new/gauss_sum.yml false(unreach-call) 11.61 6.61 None loop-new/half.yml false(unreach-call) 9.13 5.53 None loop-new/nested-1.yml unknown 0.04 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) 11.04 6.38 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml false(unreach-call) 10.24 6.38 None loop-industry-pattern/mod3.c.v+sep-reducer.yml ERROR (7) 19.30 13.07 None loop-industry-pattern/mod3.yml false(unreach-call) 13.64 11.78 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 false(unreach-call) 9.70 6.48 None loops-crafted-1/loopv2.yml false(unreach-call) 11.23 6.53 None loops-crafted-1/loopv3.yml unknown 0.04 0.04 None loops-crafted-1/mono-crafted_1.yml unknown 0.03 0.03 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 false(unreach-call) 8.78 5.73 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 false(unreach-call) 9.35 5.85 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 false(unreach-call) 12.70 7.45 None loops-crafted-1/sum_by_3_abstracted.yml false(unreach-call) 12.91 7.55 None loops-crafted-1/sum_natnum.yml unknown 0.04 0.04 None loops-crafted-1/sumt2.yml false(unreach-call) 8.99 5.29 None loops-crafted-1/sumt3.yml false(unreach-call) 11.53 6.90 None loops-crafted-1/sumt4.yml false(unreach-call) 11.87 6.71 None loops-crafted-1/sumt5.yml false(unreach-call) 11.42 6.47 None loops-crafted-1/sumt6.yml false(unreach-call) 9.16 6.47 None loops-crafted-1/sumt7.yml false(unreach-call) 9.09 5.74 None loops-crafted-1/sumt8.yml false(unreach-call) 11.86 7.06 None loops-crafted-1/sumt9.yml false(unreach-call) 11.81 6.70 None loops-crafted-1/theatreSquare.yml unknown 0.04 0.04 None loops-crafted-1/vnew1.yml unknown 0.04 0.04 None loops-crafted-1/vnew2.yml unknown 0.04 0.04 None loops-crafted-1/watermelon.yml unknown 0.04 0.04 None loop-invariants/bin-suffix-5.yml false(unreach-call) 9.15 5.56 None loop-invariants/const.yml false(unreach-call) 8.61 5.58 None loop-invariants/eq1.yml false(unreach-call) 8.94 6.24 None loop-invariants/eq2.yml false(unreach-call) 11.36 6.83 None loop-invariants/even.yml false(unreach-call) 8.54 6.22 None loop-invariants/linear-inequality-inv-a.yml unknown 0.04 0.04 None loop-invariants/mod4.yml false(unreach-call) 11.64 6.55 None loop-invariants/odd.yml false(unreach-call) 11.23 6.35 None loop-simple/nested_1.yml unknown 15.23 9.97 None loop-simple/nested_2.yml unknown 21.54 12.59 None loop-simple/nested_3.yml unknown 21.63 12.34 None loop-simple/nested_4.yml unknown 17.88 12.15 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 false(unreach-call) 11.20 6.65 None loop-zilu/benchmark02_linear_abstracted.yml false(unreach-call) 9.01 5.39 None loop-zilu/benchmark04_conjunctive.yml false(unreach-call) 11.38 6.69 None loop-zilu/benchmark05_conjunctive.yml false(unreach-call) 8.63 5.61 None loop-zilu/benchmark09_conjunctive.yml false(unreach-call) 8.81 6.17 None loop-zilu/benchmark10_conjunctive.yml false(unreach-call) 8.85 6.12 None loop-zilu/benchmark11_linear.yml false(unreach-call) 11.80 6.66 None loop-zilu/benchmark11_linear_abstracted.yml false(unreach-call) 11.37 6.36 None loop-zilu/benchmark14_linear.yml false(unreach-call) 11.47 6.72 None loop-zilu/benchmark17_conjunctive.yml false(unreach-call) 9.24 5.53 None loop-zilu/benchmark18_conjunctive.yml false(unreach-call) 8.43 5.49 None loop-zilu/benchmark19_conjunctive.yml false(unreach-call) 11.49 6.39 None loop-zilu/benchmark20_conjunctive.yml false(unreach-call) 11.41 6.82 None loop-zilu/benchmark23_conjunctive.yml false(unreach-call) 9.44 6.57 None loop-zilu/benchmark25_linear.yml false(unreach-call) 8.92 5.50 None loop-zilu/benchmark25_linear_abstracted.yml false(unreach-call) 8.33 5.37 None loop-zilu/benchmark26_linear.yml false(unreach-call) 11.24 6.30 None loop-zilu/benchmark26_linear_abstracted.yml false(unreach-call) 11.62 6.93 None loop-zilu/benchmark32_linear.yml false(unreach-call) 11.18 6.31 None loop-zilu/benchmark33_linear.yml false(unreach-call) 8.97 5.89 None loop-zilu/benchmark34_conjunctive.yml false(unreach-call) 11.23 6.37 None loop-zilu/benchmark35_linear.yml false(unreach-call) 9.09 5.81 None loop-zilu/benchmark37_conjunctive.yml false(unreach-call) 11.83 7.01 None loop-zilu/benchmark43_conjunctive.yml false(unreach-call) 11.52 6.49 None loop-zilu/benchmark43_conjunctive_abstracted.yml false(unreach-call) 8.60 5.20 None loop-zilu/benchmark51_polynomial.yml false(unreach-call) 11.12 6.77 None loop-zilu/benchmark52_polynomial.yml false(unreach-call) 11.03 6.31 None verifythis/duplets.yml unknown 0.04 0.04 None verifythis/elimination_max.yml unknown 0.03 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 false(unreach-call) 9.28 6.57 None nla-digbench/cohencu-ll.yml unknown 69.17 61.40 None nla-digbench/cohendiv-ll.yml false(unreach-call) 9.27 5.92 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 unknown 65.79 53.53 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 unknown 65.62 54.54 None nla-digbench/fermat2-ll.yml unknown 41.21 31.02 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 unknown 0.04 0.04 None nla-digbench/knuth.yml unknown 0.04 0.04 None nla-digbench/lcm1.yml unknown 0.04 0.04 None nla-digbench/lcm2.yml unknown 30.97 23.35 None nla-digbench/mannadiv.yml false(unreach-call) 24.53 18.12 None nla-digbench/prod4br-ll.yml false(unreach-call) 9.15 5.80 None nla-digbench/prodbin-ll.yml unknown 0.04 0.04 None nla-digbench/ps2-ll.yml unknown 29.91 20.93 None nla-digbench/ps3-ll.yml unknown 34.03 23.41 None nla-digbench/ps4-ll.yml unknown 43.54 32.83 None nla-digbench/ps5-ll.yml false(unreach-call) 11.99 6.86 None nla-digbench/ps6-ll.yml false(unreach-call) 12.13 7.20 None nla-digbench/sqrt1-ll.yml unknown 34.34 27.56 None nla-digbench-scaling/bresenham-ll_valuebound1.yml unknown 32.37 26.34 None nla-digbench-scaling/bresenham-ll_valuebound10.yml false(unreach-call) 9.94 6.58 None nla-digbench-scaling/bresenham-ll_valuebound100.yml false(unreach-call) 11.97 6.78 None nla-digbench-scaling/bresenham-ll_valuebound2.yml false(unreach-call) 12.28 7.20 None nla-digbench-scaling/bresenham-ll_valuebound20.yml false(unreach-call) 9.62 6.30 None nla-digbench-scaling/bresenham-ll_valuebound5.yml unknown 37.39 27.30 None nla-digbench-scaling/bresenham-ll_valuebound50.yml false(unreach-call) 12.17 7.15 None nla-digbench-scaling/cohencu-ll_valuebound1.yml false(unreach-call) 10.36 6.42 None nla-digbench-scaling/cohencu-ll_valuebound10.yml false(unreach-call) 10.67 6.68 None nla-digbench-scaling/cohencu-ll_valuebound100.yml false(unreach-call) 13.35 7.43 None nla-digbench-scaling/cohencu-ll_valuebound2.yml false(unreach-call) 10.63 6.43 None nla-digbench-scaling/cohencu-ll_valuebound20.yml false(unreach-call) 13.80 7.59 None nla-digbench-scaling/cohencu-ll_valuebound5.yml false(unreach-call) 13.38 7.38 None nla-digbench-scaling/cohencu-ll_valuebound50.yml false(unreach-call) 9.98 5.79 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml false(unreach-call) 9.91 6.39 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml false(unreach-call) 12.59 7.53 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml false(unreach-call) 9.68 6.51 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml false(unreach-call) 10.88 6.65 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml false(unreach-call) 12.78 7.20 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml false(unreach-call) 9.36 5.84 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml false(unreach-call) 9.48 5.68 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml unknown 58.39 47.73 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml false(unreach-call) 59.91 48.26 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml unknown 60.70 52.37 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml unknown 52.91 40.79 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml false(unreach-call) 49.61 41.86 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml unknown 60.61 52.23 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml unknown 65.94 54.05 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml false(unreach-call) 22.83 18.52 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml false(unreach-call) 40.37 34.72 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 false(unreach-call) 16.15 10.75 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 false(unreach-call) 20.54 15.35 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 unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 0.03 0.03 None nla-digbench-scaling/divbin2_valuebound2.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin2_valuebound20.yml unknown 0.03 0.04 None nla-digbench-scaling/divbin2_valuebound5.yml unknown 0.03 0.04 None nla-digbench-scaling/divbin2_valuebound50.yml unknown 0.03 0.04 None nla-digbench-scaling/divbin_unwindbound1.yml false(unreach-call) 15.93 10.70 None nla-digbench-scaling/divbin_unwindbound2.yml false(unreach-call) 17.98 12.32 None nla-digbench-scaling/divbin_unwindbound5.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_valuebound1.yml unknown 28.79 18.17 None nla-digbench-scaling/divbin_valuebound10.yml unknown 0.03 0.04 None nla-digbench-scaling/divbin_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/divbin_valuebound2.yml unknown 0.03 0.03 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 unknown 19.07 11.73 None nla-digbench-scaling/egcd-ll_valuebound10.yml unknown 54.27 47.72 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 65.91 53.60 None nla-digbench-scaling/egcd-ll_valuebound2.yml unknown 41.56 29.90 None nla-digbench-scaling/egcd-ll_valuebound20.yml unknown 63.37 52.74 None nla-digbench-scaling/egcd-ll_valuebound5.yml unknown 55.17 47.03 None nla-digbench-scaling/egcd-ll_valuebound50.yml unknown 58.28 50.32 None nla-digbench-scaling/egcd2-ll_valuebound1.yml unknown 32.47 20.45 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 unknown 66.94 52.20 None nla-digbench-scaling/egcd2-ll_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 0.03 0.03 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd3-ll_valuebound1.yml unknown 27.61 15.93 None nla-digbench-scaling/egcd3-ll_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/egcd3-ll_valuebound2.yml false(unreach-call) 50.58 41.59 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 unknown 63.05 51.38 None nla-digbench-scaling/fermat1-ll_valuebound10.yml unknown 60.93 53.58 None nla-digbench-scaling/fermat1-ll_valuebound100.yml unknown 60.59 53.19 None nla-digbench-scaling/fermat1-ll_valuebound2.yml unknown 65.42 54.82 None nla-digbench-scaling/fermat1-ll_valuebound20.yml unknown 66.93 55.46 None nla-digbench-scaling/fermat1-ll_valuebound5.yml unknown 64.62 54.04 None nla-digbench-scaling/fermat1-ll_valuebound50.yml unknown 65.07 54.02 None nla-digbench-scaling/fermat2-ll_valuebound1.yml unknown 35.43 29.25 None nla-digbench-scaling/fermat2-ll_valuebound10.yml unknown 41.73 31.55 None nla-digbench-scaling/fermat2-ll_valuebound100.yml unknown 35.25 28.19 None nla-digbench-scaling/fermat2-ll_valuebound2.yml unknown 41.86 31.28 None nla-digbench-scaling/fermat2-ll_valuebound20.yml unknown 34.23 27.55 None nla-digbench-scaling/fermat2-ll_valuebound5.yml unknown 37.76 29.84 None nla-digbench-scaling/fermat2-ll_valuebound50.yml unknown 42.52 31.45 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.04 None nla-digbench-scaling/geo1-ll_unwindbound1.yml false(unreach-call) 24.56 18.87 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 false(unreach-call) 21.69 18.28 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 false(unreach-call) 17.63 11.62 None nla-digbench-scaling/geo1-ll_valuebound10.yml unknown 30.93 24.34 None nla-digbench-scaling/geo1-ll_valuebound100.yml unknown 0.03 0.04 None nla-digbench-scaling/geo1-ll_valuebound2.yml unknown 29.45 22.47 None nla-digbench-scaling/geo1-ll_valuebound20.yml unknown 36.09 25.71 None nla-digbench-scaling/geo1-ll_valuebound5.yml unknown 38.25 28.80 None nla-digbench-scaling/geo1-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/geo2-ll_unwindbound1.yml false(unreach-call) 24.37 19.19 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.04 0.04 None nla-digbench-scaling/geo2-ll_valuebound1.yml unknown 23.78 13.98 None nla-digbench-scaling/geo2-ll_valuebound10.yml unknown 29.68 22.76 None nla-digbench-scaling/geo2-ll_valuebound100.yml unknown 34.67 25.65 None nla-digbench-scaling/geo2-ll_valuebound2.yml unknown 24.43 14.61 None nla-digbench-scaling/geo2-ll_valuebound20.yml unknown 30.26 23.18 None nla-digbench-scaling/geo2-ll_valuebound5.yml unknown 31.12 24.71 None nla-digbench-scaling/geo2-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_unwindbound1.yml false(unreach-call) 24.11 19.09 None nla-digbench-scaling/geo3-ll_unwindbound10.yml unknown 0.03 0.04 None nla-digbench-scaling/geo3-ll_unwindbound100.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_unwindbound2.yml false(unreach-call) 21.45 18.46 None nla-digbench-scaling/geo3-ll_unwindbound20.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_unwindbound5.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_unwindbound50.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_valuebound1.yml unknown 23.08 13.71 None nla-digbench-scaling/geo3-ll_valuebound10.yml unknown 41.19 31.25 None nla-digbench-scaling/geo3-ll_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/geo3-ll_valuebound2.yml unknown 40.43 30.16 None nla-digbench-scaling/geo3-ll_valuebound20.yml unknown 31.86 25.53 None nla-digbench-scaling/geo3-ll_valuebound5.yml unknown 40.65 31.12 None nla-digbench-scaling/geo3-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-ll_valuebound1.yml unknown 18.14 11.02 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 unknown 27.17 15.62 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 0.03 0.04 None nla-digbench-scaling/hard-ll_valuebound5.yml unknown 24.70 16.23 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound1.yml false(unreach-call) 27.95 23.81 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound2.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/hard-u_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/hard2_valuebound1.yml false(unreach-call) 12.28 7.20 None nla-digbench-scaling/hard2_valuebound10.yml false(unreach-call) 24.99 15.06 None nla-digbench-scaling/hard2_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/hard2_valuebound2.yml false(unreach-call) 12.96 7.25 None nla-digbench-scaling/hard2_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/hard2_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/hard2_valuebound50.yml unknown 0.04 0.04 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.05 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.04 0.04 None nla-digbench-scaling/knuth_valuebound1.yml unknown 24.67 16.43 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 unknown 26.32 17.03 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.04 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.04 0.04 None nla-digbench-scaling/lcm1_valuebound5.yml unknown 0.04 0.04 None nla-digbench-scaling/lcm1_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/lcm2_unwindbound1.yml false(unreach-call) 21.35 17.41 None nla-digbench-scaling/lcm2_unwindbound10.yml unknown 30.14 23.77 None nla-digbench-scaling/lcm2_unwindbound100.yml unknown 38.36 28.41 None nla-digbench-scaling/lcm2_unwindbound2.yml unknown 35.54 24.90 None nla-digbench-scaling/lcm2_unwindbound20.yml unknown 38.63 28.90 None nla-digbench-scaling/lcm2_unwindbound5.yml unknown 32.97 26.03 None nla-digbench-scaling/lcm2_unwindbound50.yml unknown 34.95 25.40 None nla-digbench-scaling/lcm2_valuebound1.yml unknown 21.88 16.46 None nla-digbench-scaling/lcm2_valuebound10.yml unknown 30.87 22.84 None nla-digbench-scaling/lcm2_valuebound100.yml unknown 35.66 25.02 None nla-digbench-scaling/lcm2_valuebound2.yml unknown 35.55 24.99 None nla-digbench-scaling/lcm2_valuebound20.yml unknown 35.28 25.14 None nla-digbench-scaling/lcm2_valuebound5.yml unknown 29.19 22.77 None nla-digbench-scaling/lcm2_valuebound50.yml unknown 29.12 23.05 None nla-digbench-scaling/mannadiv_valuebound1.yml unknown 28.35 18.34 None nla-digbench-scaling/mannadiv_valuebound10.yml unknown 25.57 19.53 None nla-digbench-scaling/mannadiv_valuebound100.yml unknown 29.64 20.26 None nla-digbench-scaling/mannadiv_valuebound2.yml false(unreach-call) 25.76 19.67 None nla-digbench-scaling/mannadiv_valuebound20.yml unknown 30.48 20.84 None nla-digbench-scaling/mannadiv_valuebound5.yml false(unreach-call) 24.41 17.93 None nla-digbench-scaling/mannadiv_valuebound50.yml unknown 30.26 20.90 None nla-digbench-scaling/prod4br-ll_valuebound1.yml unknown 41.33 33.78 None nla-digbench-scaling/prod4br-ll_valuebound10.yml unknown 50.46 39.44 None nla-digbench-scaling/prod4br-ll_valuebound100.yml unknown 46.18 36.08 None nla-digbench-scaling/prod4br-ll_valuebound2.yml unknown 48.43 37.63 None nla-digbench-scaling/prod4br-ll_valuebound20.yml unknown 50.83 40.09 None nla-digbench-scaling/prod4br-ll_valuebound5.yml unknown 43.18 36.25 None nla-digbench-scaling/prod4br-ll_valuebound50.yml unknown 49.59 38.67 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 0.04 0.04 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 0.04 0.04 None nla-digbench-scaling/prodbin-ll_valuebound1.yml unknown 18.34 12.47 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 28.83 21.67 None nla-digbench-scaling/prodbin-ll_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/prodbin-ll_valuebound2.yml false(unreach-call) 12.61 7.18 None nla-digbench-scaling/prodbin-ll_valuebound20.yml unknown 28.35 21.47 None nla-digbench-scaling/prodbin-ll_valuebound5.yml unknown 31.89 20.89 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/ps2-ll_unwindbound1.yml unknown 30.40 24.17 None nla-digbench-scaling/ps2-ll_unwindbound10.yml unknown 29.04 22.32 None nla-digbench-scaling/ps2-ll_unwindbound100.yml unknown 36.85 26.43 None nla-digbench-scaling/ps2-ll_unwindbound2.yml unknown 34.99 25.57 None nla-digbench-scaling/ps2-ll_unwindbound20.yml unknown 30.74 24.16 None nla-digbench-scaling/ps2-ll_unwindbound5.yml unknown 31.51 23.90 None nla-digbench-scaling/ps2-ll_unwindbound50.yml unknown 30.51 24.11 None nla-digbench-scaling/ps2-ll_valuebound1.yml unknown 30.60 21.24 None nla-digbench-scaling/ps2-ll_valuebound10.yml unknown 30.43 21.19 None nla-digbench-scaling/ps2-ll_valuebound100.yml unknown 25.69 18.41 None nla-digbench-scaling/ps2-ll_valuebound2.yml unknown 30.56 21.66 None nla-digbench-scaling/ps2-ll_valuebound20.yml unknown 25.61 18.35 None nla-digbench-scaling/ps2-ll_valuebound5.yml unknown 31.31 21.47 None nla-digbench-scaling/ps2-ll_valuebound50.yml unknown 25.63 19.80 None nla-digbench-scaling/ps3-ll_unwindbound1.yml unknown 38.25 27.82 None nla-digbench-scaling/ps3-ll_unwindbound10.yml unknown 38.03 27.84 None nla-digbench-scaling/ps3-ll_unwindbound100.yml unknown 38.10 27.85 None nla-digbench-scaling/ps3-ll_unwindbound2.yml unknown 37.67 27.91 None nla-digbench-scaling/ps3-ll_unwindbound20.yml unknown 33.24 26.58 None nla-digbench-scaling/ps3-ll_unwindbound5.yml unknown 37.84 28.18 None nla-digbench-scaling/ps3-ll_unwindbound50.yml unknown 37.30 27.45 None nla-digbench-scaling/ps3-ll_valuebound1.yml unknown 28.69 21.03 None nla-digbench-scaling/ps3-ll_valuebound10.yml unknown 27.94 22.25 None nla-digbench-scaling/ps3-ll_valuebound100.yml unknown 26.82 20.41 None nla-digbench-scaling/ps3-ll_valuebound2.yml unknown 27.00 20.46 None nla-digbench-scaling/ps3-ll_valuebound20.yml unknown 27.11 21.61 None nla-digbench-scaling/ps3-ll_valuebound5.yml unknown 32.75 22.58 None nla-digbench-scaling/ps3-ll_valuebound50.yml unknown 33.05 23.28 None nla-digbench-scaling/ps4-ll_valuebound1.yml false(unreach-call) 12.37 6.93 None nla-digbench-scaling/ps4-ll_valuebound10.yml unknown 47.40 36.38 None nla-digbench-scaling/ps4-ll_valuebound100.yml unknown 46.61 35.71 None nla-digbench-scaling/ps4-ll_valuebound2.yml false(unreach-call) 11.71 6.55 None nla-digbench-scaling/ps4-ll_valuebound20.yml unknown 46.61 36.19 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 39.58 31.87 None nla-digbench-scaling/ps4-ll_valuebound50.yml unknown 40.08 32.95 None nla-digbench-scaling/ps5-ll_valuebound1.yml unknown 23.85 16.06 None nla-digbench-scaling/ps5-ll_valuebound10.yml unknown 0.04 0.04 None nla-digbench-scaling/ps5-ll_valuebound100.yml unknown 0.04 0.04 None nla-digbench-scaling/ps5-ll_valuebound2.yml unknown 41.23 34.32 None nla-digbench-scaling/ps5-ll_valuebound20.yml unknown 48.27 38.25 None nla-digbench-scaling/ps5-ll_valuebound5.yml unknown 43.51 37.22 None nla-digbench-scaling/ps5-ll_valuebound50.yml unknown 0.04 0.04 None nla-digbench-scaling/ps6-ll_valuebound1.yml unknown 22.73 16.80 None nla-digbench-scaling/ps6-ll_valuebound10.yml unknown 49.13 38.80 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 50.34 39.56 None nla-digbench-scaling/ps6-ll_valuebound2.yml unknown 50.03 38.86 None nla-digbench-scaling/ps6-ll_valuebound20.yml unknown 0.04 0.04 None nla-digbench-scaling/ps6-ll_valuebound5.yml unknown 44.28 34.36 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 46.11 37.19 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml unknown 47.27 40.55 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml unknown 54.61 43.05 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml unknown 52.03 41.09 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml unknown 47.22 39.86 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml unknown 46.53 39.51 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml unknown 49.37 38.71 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml unknown 46.94 39.22 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml unknown 35.70 28.98 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml unknown 41.43 30.20 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml unknown 41.54 30.15 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml unknown 40.49 30.58 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml unknown 40.67 29.79 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml unknown 40.62 30.33 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml unknown 36.42 29.00 None recursive/Ackermann01-2.yml false(unreach-call) 16.88 10.92 None recursive/Ackermann03.yml false(unreach-call) 9.50 5.91 None recursive/Ackermann04.yml false(unreach-call) 11.54 6.48 None recursive/Addition01-2.yml unknown 22.18 12.65 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 false(unreach-call) 15.64 9.42 None recursive/Fibonacci02.yml false(unreach-call) 11.66 6.60 None recursive/Fibonacci03.yml false(unreach-call) 11.98 6.66 None recursive/McCarthy91-2.yml unknown 15.85 9.35 None recursive/MultCommutative-2.yml unknown 0.04 0.04 None recursive/Primes.yml false(unreach-call) 9.23 6.02 None recursive/gcd01-1.yml unknown 21.36 11.91 None recursive/gcd02.yml unknown 0.04 0.04 None recursive/recHanoi01.yml unknown 0.04 0.04 None recursive/recHanoi02-2.yml false(unreach-call) 16.88 10.98 None recursive/recHanoi03-2.yml false(unreach-call) 21.60 12.13 None recursive-simple/afterrec-2.yml unknown 17.11 11.65 None recursive-simple/afterrec_2calls-2.yml unknown 20.75 12.44 None recursive-simple/fibo_10-2.yml false(unreach-call) 11.51 6.50 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) 11.93 6.72 None recursive-simple/fibo_2calls_15-2.yml unknown 0.04 0.04 None recursive-simple/fibo_2calls_2-2.yml unknown 21.87 12.70 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) 9.05 5.62 None recursive-simple/fibo_2calls_5-1.yml false(unreach-call) 11.75 6.59 None recursive-simple/fibo_2calls_6-1.yml false(unreach-call) 9.22 5.31 None recursive-simple/fibo_2calls_8-1.yml false(unreach-call) 8.83 5.76 None recursive-simple/fibo_5-1.yml false(unreach-call) 9.50 5.97 None recursive-simple/fibo_7-1.yml unknown 20.98 12.66 None recursive-simple/id2_b2_o3.yml unknown 22.21 12.35 None recursive-simple/id2_b3_o5.yml unknown 20.83 11.81 None recursive-simple/id2_b5_o10.yml unknown 16.20 10.64 None recursive-simple/id2_i5_o5-2.yml false(unreach-call) 21.16 12.63 None recursive-simple/id_b2_o3.yml unknown 16.26 10.74 None recursive-simple/id_b3_o5-2.yml unknown 20.51 11.67 None recursive-simple/id_b5_o10-2.yml unknown 16.85 11.61 None recursive-simple/id_i10_o10-2.yml false(unreach-call) 16.24 9.98 None recursive-simple/id_i15_o15-1.yml false(unreach-call) 21.34 11.93 None recursive-simple/id_i20_o20-1.yml false(unreach-call) 15.91 10.27 None recursive-simple/id_i25_o25-1.yml unknown 0.04 0.04 None recursive-simple/id_i5_o5-2.yml false(unreach-call) 21.17 11.80 None recursive-simple/sum_10x0-1.yml unknown 16.54 10.24 None recursive-simple/sum_15x0-1.yml unknown 20.94 11.79 None recursive-simple/sum_20x0-2.yml false(unreach-call) 21.62 12.39 None recursive-simple/sum_25x0-1.yml unknown 0.04 0.04 None recursive-simple/sum_2x3-2.yml false(unreach-call) 16.05 10.55 None recursive-simple/sum_non_eq-2.yml false(unreach-call) 11.70 6.70 None recursive-with-pointer/simple-recursive.yml false(unreach-call) 8.82 7.09 None verifythis/prefixsum_rec.yml unknown 0.04 0.04 None verifythis/elimination_max_rec.yml unknown 0.04 0.04 None verifythis/elimination_max_rec_onepoint.yml unknown 0.04 0.04 None recursified_loop-crafted/recursified_simple_array_index_value_1-1.yml unknown 0.04 0.05 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 ERROR (7) 18.11 10.52 None recursified_loop-crafted/recursified_simple_array_index_value_4.i.v+nlh-reducer.yml ERROR (7) 24.33 13.85 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 false(unreach-call) 8.74 5.13 None recursified_loop-crafted/recursified_simple_vardep_2.yml false(unreach-call) 9.11 6.25 None recursified_loop-invariants/recursified_bin-suffix-5.yml false(unreach-call) 11.24 6.30 None recursified_loop-invariants/recursified_const.yml false(unreach-call) 11.30 6.77 None recursified_loop-invariants/recursified_eq1.yml false(unreach-call) 11.47 6.83 None recursified_loop-invariants/recursified_eq2.yml false(unreach-call) 9.34 5.69 None recursified_loop-invariants/recursified_even.yml false(unreach-call) 11.23 6.41 None recursified_loop-invariants/recursified_linear-inequality-inv-a.yml unknown 0.04 0.04 None recursified_loop-invariants/recursified_mod4.yml false(unreach-call) 11.35 6.34 None recursified_loop-invariants/recursified_odd.yml false(unreach-call) 8.66 5.40 None recursified_loop-simple/recursified_nested_1.yml false(unreach-call) 11.39 6.80 None recursified_loop-simple/recursified_nested_2.yml false(unreach-call) 8.53 6.31 None recursified_loop-simple/recursified_nested_3.yml false(unreach-call) 8.98 6.30 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.08 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.05 None recursified_nla-digbench/recursified_lcm2.yml unknown 0.04 0.04 None recursified_nla-digbench/recursified_mannadiv.yml unknown 0.05 0.05 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 false(unreach-call) 8.83 5.55 None recursified_nla-digbench/recursified_ps3-ll.yml false(unreach-call) 11.38 6.87 None recursified_nla-digbench/recursified_ps4-ll.yml unknown 0.04 0.06 None recursified_nla-digbench/recursified_ps5-ll.yml unknown 0.04 0.11 None recursified_nla-digbench/recursified_ps6-ll.yml unknown 0.04 0.11 None recursified_nla-digbench/recursified_sqrt1-ll.yml unknown 0.04 0.04 None ---------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 9884.16 522.75 - Statistics: 666 Files correct: 0 correct true: 0 correct false: 0 incorrect: 217 incorrect true: 0 incorrect false: 217 unknown: 449 Score: -3472 (max: 1332)