BENCHMARK INFORMATION benchmark definition: ../benchexec/student-acceleration.xml name: student-acceleration run sets: Automizer DEFAULT.reach-svcomp-all, Automizer IcfgTranformation Jordan.reach-svcomp-all, Automizer AcceleratedInterpolation Jordan.reach-svcomp-all date: Sun, 2021-05-02 11:49:30 CEST tool: ULTIMATE Automizer 0.2.1-c225d54e tool executable: ./Ultimate.py options: --force-no-wrapper --core.log.level.for.class de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=WARN property file: ../../../trunk/examples/svcomp/properties/unreach-call.prp parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: benchexec os: Linux-5.4.65-1-pve-x86_64-with-debian-10.9 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Automizer DEFAULT.reach-svcomp-all Run set 1 of 3 with options '--force-no-wrapper --core.log.level.for.class de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=WARN -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf' and propertyfile '../../../trunk/examples/svcomp/properties/unreach-call.prp' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml TIMEOUT 900.43 877.77 None loops/array-2.yml false(unreach-call) 6.17 4.73 None loops/bubble_sort-1.yml true 5.07 3.93 None loops/bubble_sort-2.yml false(unreach-call) 13.40 7.77 None loops/compact.yml TIMEOUT 900.41 885.45 None loops/count_up_down-1.yml true 12.86 7.45 None loops/count_up_down-2.yml false(unreach-call) 5.81 4.00 None loops/eureka_01-1.yml TIMEOUT 900.75 860.26 None loops/eureka_01-2.yml TIMEOUT 900.37 893.76 None loops/eureka_05.yml TIMEOUT 901.03 868.67 None loops/for_bounded_loop1.yml false(unreach-call) 7.72 4.98 None loops/for_infinite_loop_1.yml true 6.84 4.29 None loops/for_infinite_loop_2.yml true 6.63 4.43 None loops/heavy-1.yml TIMEOUT 900.33 895.53 None loops/heavy-2.yml true 8.50 5.40 None loops/insertion_sort-1.yml TIMEOUT 900.67 864.72 None loops/insertion_sort-2.yml TIMEOUT 900.52 871.45 None loops/invert_string-1.yml false(unreach-call) 17.45 11.85 None loops/invert_string-3.yml TIMEOUT 900.38 886.53 None loops/linear_sea.ch.yml OUT OF MEMORY 365.33 341.76 None loops/linear_search.yml TIMEOUT 901.06 765.79 None loops/lu.cmp.yml true 13.26 7.91 None loops/ludcmp.yml UNKNOWN: OverapproxCex 10.97 7.60 None loops/matrix-1.yml TIMEOUT 900.44 878.12 None loops/matrix-2.yml false(unreach-call) 7.61 5.56 None loops/n.c11.yml true 10.21 7.57 None loops/n.c24.yml TIMEOUT 900.69 860.73 None loops/n.c40.yml true 6.56 4.39 None loops/nec11.yml false(unreach-call) 5.50 3.76 None loops/nec20.yml false(unreach-call) 6.27 4.26 None loops/nec40.yml true 6.78 4.24 None loops/s3.yml UNKNOWN: OverapproxCex 38.07 23.04 None loops/string-1.yml true 8.50 5.72 None loops/string-2.yml UNKNOWN: OverapproxCex 7.94 5.69 None loops/sum01-1.yml false(unreach-call) 14.05 9.46 None loops/sum01-2.yml true 9.91 6.62 None loops/sum01_bug02.yml false(unreach-call) 14.33 10.17 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 9.84 6.43 None loops/sum03-1.yml false(unreach-call) 18.12 11.56 None loops/sum03-2.yml true 6.01 3.68 None loops/sum04-1.yml false(unreach-call) 9.78 6.66 None loops/sum04-2.yml true 12.03 8.66 None loops/sum_array-1.yml false(unreach-call) 6.32 3.68 None loops/sum_array-2.yml TIMEOUT 900.35 882.96 None loops/terminator_01.yml false(unreach-call) 6.34 4.06 None loops/terminator_02-1.yml false(unreach-call) 6.59 3.97 None loops/terminator_02-2.yml true 6.89 4.02 None loops/terminator_03-1.yml false(unreach-call) 6.71 3.96 None loops/terminator_03-2.yml true 6.80 4.17 None loops/trex01-1.yml false(unreach-call) 6.82 4.14 None loops/trex01-2.yml true 6.71 3.92 None loops/trex02-1.yml true 7.34 4.37 None loops/trex02-2.yml false(unreach-call) 6.22 3.66 None loops/trex03-1.yml false(unreach-call) 6.27 3.63 None loops/trex03-2.yml true 7.12 4.33 None loops/trex04.yml true 6.53 3.79 None loops/veris.c_NetBSD-libc_loop.yml true 9.83 5.91 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 9.26 5.93 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 6.75 4.40 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 9.41 5.74 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 14.45 8.33 None loops/vogal-1.yml TIMEOUT 900.44 877.03 None loops/vogal-2.yml TIMEOUT 900.55 860.31 None loops/while_infinite_loop_1.yml true 12.41 6.94 None loops/while_infinite_loop_2.yml true 8.45 4.73 None loops/while_infinite_loop_3.yml true 6.92 3.84 None loops/while_infinite_loop_4.yml false(unreach-call) 5.93 3.46 None loop-acceleration/array_1-1.yml TIMEOUT 900.46 874.90 None loop-acceleration/array_1-2.yml true 10.42 7.47 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.45 880.51 None loop-acceleration/array_2-1.yml TIMEOUT 900.39 893.83 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.47 871.57 None loop-acceleration/array_2-2.yml TIMEOUT 900.35 893.56 None loop-acceleration/array_3-1.yml true 8.30 5.18 None loop-acceleration/array_3-2.yml TIMEOUT 900.59 866.28 None loop-acceleration/array_4.yml TIMEOUT 900.40 887.07 None loop-acceleration/const_1-1.yml true 7.88 5.31 None loop-acceleration/const_1-2.yml TIMEOUT 900.82 848.35 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.44 878.61 None loop-acceleration/diamond_1-2.yml TIMEOUT 900.37 891.35 None loop-acceleration/diamond_2-2.yml true 30.74 21.82 None loop-acceleration/functions_1-1.yml TIMEOUT 900.76 825.47 None loop-acceleration/functions_1-2.yml TIMEOUT 900.77 822.97 None loop-acceleration/multivar_1-1.yml true 6.15 3.99 None loop-acceleration/multivar_1-2.yml false(unreach-call) 5.06 2.97 None loop-acceleration/nested_1-1.yml true 34.17 23.02 None loop-acceleration/nested_1-2.yml TIMEOUT 900.33 835.37 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.47 865.39 None loop-acceleration/phases_1-1.yml TIMEOUT 900.89 856.79 None loop-acceleration/phases_1-2.yml TIMEOUT 900.59 856.68 None loop-acceleration/phases_2-1.yml false(unreach-call) 7.59 4.31 None loop-acceleration/phases_2-2.yml TIMEOUT 900.45 875.48 None loop-acceleration/simple_1-1.yml TIMEOUT 900.88 825.01 None loop-acceleration/simple_1-2.yml TIMEOUT 900.84 826.06 None loop-acceleration/simple_2-1.yml true 5.51 3.19 None loop-acceleration/simple_2-2.yml false(unreach-call) 4.98 2.93 None loop-acceleration/simple_3-1.yml false(unreach-call) 5.15 3.07 None loop-acceleration/simple_3-2.yml true 7.06 4.50 None loop-acceleration/simple_4-1.yml TIMEOUT 900.56 869.21 None loop-acceleration/simple_4-2.yml true 6.92 4.93 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 11.76 7.37 None loop-acceleration/underapprox_1-2.yml true 12.49 8.06 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 10.33 7.37 None loop-acceleration/underapprox_2-2.yml TIMEOUT 900.38 885.15 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.42 881.27 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 5.94 3.66 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.35 889.51 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.39 884.60 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 10.78 7.09 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 10.37 6.61 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 900.88 886.19 None loop-crafted/simple_vardep_1.yml true 6.51 4.19 None loop-crafted/simple_vardep_2.yml true 6.79 4.32 None loop-invgen/MADWiFi-encode_ie_ok.yml true 10.61 7.34 None loop-invgen/NetBSD_loop.yml true 8.90 5.60 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 15.95 9.10 None loop-invgen/SpamAssassin-loop.yml true 11.85 6.69 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 21.94 13.29 None loop-invgen/apache-escape-absolute.yml true 11.06 6.61 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 18.89 10.94 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 39.37 25.71 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 66.27 45.45 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 18.44 11.41 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 18.04 10.59 None loop-invgen/apache-get-tag.yml true 10.77 6.54 None loop-invgen/down.yml TIMEOUT 900.34 791.61 None loop-invgen/fragtest_simple.yml TIMEOUT 900.45 778.48 None loop-invgen/half_2.yml TIMEOUT 901.04 794.69 None loop-invgen/heapsort.yml TIMEOUT 900.54 866.97 None loop-invgen/id_build.i.p+nlh-reducer.yml true 16.79 11.09 None loop-invgen/id_build.i.p+sep-reducer.yml true 16.31 9.33 None loop-invgen/id_build.i.v+lhb-reducer.yml true 10.43 6.07 None loop-invgen/id_build.yml true 6.79 3.91 None loop-invgen/id_trans.yml false(unreach-call) 7.25 4.33 None loop-invgen/large_const.yml true 9.61 6.56 None loop-invgen/nest-if3.yml true 8.47 5.18 None loop-invgen/nested6.yml true 16.37 10.22 None loop-invgen/nested9.yml true 11.59 7.31 None loop-invgen/sendmail-close-angle.yml true 24.74 14.48 None loop-invgen/seq-3.yml TIMEOUT 900.98 830.81 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.69 778.44 None loop-invgen/up.yml TIMEOUT 900.50 762.82 None loop-lit/afnp2014.yml true 10.63 6.51 None loop-lit/bhmr2007.yml true 15.23 9.50 None loop-lit/cggmp2005.yml true 9.12 6.52 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.49 880.06 None loop-lit/cggmp2005b.yml true 9.50 6.01 None loop-lit/css2003.yml true 6.50 4.30 None loop-lit/ddlm2013.yml true 13.73 8.84 None loop-lit/gcnr2008.yml false(unreach-call) 5.69 3.33 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 382.20 291.89 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 651.48 526.97 None loop-lit/gj2007.yml true 214.31 194.02 None loop-lit/gj2007b.yml true 8.65 5.52 None loop-lit/gr2006.yml true 194.80 165.42 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 8.00 5.15 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 7.64 4.66 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.29 4.26 None loop-lit/gsv2008.yml true 7.48 5.83 None loop-lit/hhk2008.yml true 7.35 4.45 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 7.63 5.91 None loop-lit/jm2006.yml true 9.63 6.05 None loop-lit/jm2006_variant.yml true 10.69 7.22 None loop-lit/mcmillan2006.yml TIMEOUT 900.42 885.88 None loop-new/count_by_1.yml true 6.66 4.37 None loop-new/count_by_1_variant.yml true 8.30 5.80 None loop-new/count_by_2.yml TIMEOUT 900.36 887.18 None loop-new/count_by_k.yml TIMEOUT 900.86 839.32 None loop-new/count_by_nondet.yml TIMEOUT 900.51 869.86 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.32 888.81 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.66 850.81 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.72 848.43 None loop-new/gauss_sum.yml TIMEOUT 900.06 817.05 None loop-new/half.yml true 24.57 15.10 None loop-new/nested-1.yml true 320.83 261.59 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.39 3.79 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.82 4.02 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.10 3.35 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TIMEOUT 900.38 887.91 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 18.44 10.60 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 46.41 29.32 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 46.32 29.22 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 8.38 4.69 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 8.31 4.74 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 12.63 7.13 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 7.79 4.84 None loop-industry-pattern/mod3.yml true 12.94 7.29 None loop-industry-pattern/nested-3.yml TIMEOUT 900.87 856.20 None loop-industry-pattern/ofuf_1.yml true 21.66 11.77 None loop-industry-pattern/ofuf_2.yml true 16.10 9.09 None loop-industry-pattern/ofuf_3.yml true 20.41 10.87 None loop-industry-pattern/ofuf_4.yml true 17.35 9.65 None loop-industry-pattern/ofuf_5.yml true 22.56 12.16 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.63 835.64 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.91 822.44 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.57 841.19 None loops-crafted-1/Mono4_1.yml TIMEOUT 901.07 750.15 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.50 866.46 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.38 888.19 None loops-crafted-1/discover_list.yml true 213.43 187.58 None loops-crafted-1/iftelse.yml TIMEOUT 900.74 886.12 None loops-crafted-1/in-de20.yml TIMEOUT 900.37 886.62 None loops-crafted-1/in-de31.yml OUT OF MEMORY 545.28 518.88 None loops-crafted-1/in-de32.yml TIMEOUT 900.86 810.29 None loops-crafted-1/in-de41.yml TIMEOUT 900.41 880.89 None loops-crafted-1/in-de42.yml TIMEOUT 900.42 882.85 None loops-crafted-1/in-de51.yml TIMEOUT 900.54 859.52 None loops-crafted-1/in-de52.yml TIMEOUT 900.43 867.18 None loops-crafted-1/in-de61.yml TIMEOUT 900.44 878.21 None loops-crafted-1/in-de62.yml TIMEOUT 900.68 842.50 None loops-crafted-1/loopv1.yml true 9.27 5.59 None loops-crafted-1/loopv2.yml TIMEOUT 900.24 790.13 None loops-crafted-1/loopv3.yml TIMEOUT 900.17 784.52 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.40 770.36 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.60 859.56 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.40 884.21 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 900.45 881.44 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.84 759.61 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.44 866.27 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.69 799.28 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.85 764.50 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.96 750.58 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.63 835.11 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 901.24 750.40 None loops-crafted-1/nested3-1.yml TIMEOUT 900.48 867.27 None loops-crafted-1/nested3-2.yml TIMEOUT 901.15 815.01 None loops-crafted-1/nested5-1.yml true 9.96 6.68 None loops-crafted-1/nested5-2.yml TIMEOUT 900.48 859.18 None loops-crafted-1/nested_delay_nd.yml true 110.74 84.29 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 140.90 103.46 None loops-crafted-1/net_reset.yml true 10.48 5.97 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.41 879.50 None loops-crafted-1/sum_natnum.yml TIMEOUT 900.15 861.91 None loops-crafted-1/sumt2.yml true 11.86 8.07 None loops-crafted-1/sumt3.yml TIMEOUT 900.35 895.79 None loops-crafted-1/sumt4.yml TIMEOUT 900.38 891.37 None loops-crafted-1/sumt5.yml TIMEOUT 900.40 884.06 None loops-crafted-1/sumt6.yml TIMEOUT 900.38 884.36 None loops-crafted-1/sumt7.yml TIMEOUT 900.39 890.75 None loops-crafted-1/sumt8.yml TIMEOUT 900.42 885.18 None loops-crafted-1/sumt9.yml TIMEOUT 900.45 879.85 None loops-crafted-1/theatreSquare.yml TIMEOUT 900.23 791.65 None loops-crafted-1/vnew1.yml OUT OF MEMORY 123.66 102.98 None loops-crafted-1/vnew2.yml TIMEOUT 900.56 866.90 None loops-crafted-1/watermelon.yml TIMEOUT 900.08 804.45 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 5.37 3.74 None loop-invariants/const.yml true 6.05 3.57 None loop-invariants/eq1.yml true 8.21 4.57 None loop-invariants/eq2.yml true 6.06 3.57 None loop-invariants/even.yml true 9.42 5.69 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.41 882.13 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 8.11 4.72 None loop-invariants/mod4.yml true 9.00 5.14 None loop-invariants/odd.yml true 8.75 5.37 None loop-simple/deep-nested.yml TIMEOUT 901.43 819.84 None loop-simple/nested_1.yml true 6.89 4.44 None loop-simple/nested_1b.yml false(unreach-call) 8.97 6.05 None loop-simple/nested_2.yml true 12.73 8.78 None loop-simple/nested_3.yml true 13.93 9.37 None loop-simple/nested_4.yml true 84.83 66.36 None loop-simple/nested_5.yml true 94.24 69.99 None loop-simple/nested_6.yml OUT OF MEMORY 252.87 199.16 None loop-zilu/benchmark02_linear.yml true 6.49 4.19 None loop-zilu/benchmark04_conjunctive.yml true 7.99 5.64 None loop-zilu/benchmark05_conjunctive.yml true 8.40 5.86 None loop-zilu/benchmark09_conjunctive.yml true 7.22 4.49 None loop-zilu/benchmark10_conjunctive.yml true 8.22 5.59 None loop-zilu/benchmark11_linear.yml true 7.05 4.69 None loop-zilu/benchmark14_linear.yml true 6.56 4.47 None loop-zilu/benchmark17_conjunctive.yml true 8.44 4.92 None loop-zilu/benchmark18_conjunctive.yml true 7.84 4.83 None loop-zilu/benchmark19_conjunctive.yml true 7.92 5.30 None loop-zilu/benchmark20_conjunctive.yml true 9.01 5.21 None loop-zilu/benchmark23_conjunctive.yml true 529.09 445.71 None loop-zilu/benchmark25_linear.yml true 7.28 4.63 None loop-zilu/benchmark26_linear.yml true 8.84 5.50 None loop-zilu/benchmark32_linear.yml true 6.06 4.15 None loop-zilu/benchmark33_linear.yml true 8.05 4.85 None loop-zilu/benchmark34_conjunctive.yml true 8.88 5.93 None loop-zilu/benchmark35_linear.yml true 8.45 4.97 None loop-zilu/benchmark37_conjunctive.yml true 6.38 6.70 None loop-zilu/benchmark43_conjunctive.yml true 9.04 5.28 None loop-zilu/benchmark51_polynomial.yml true 6.64 4.06 None loop-zilu/benchmark52_polynomial.yml true 8.11 5.27 None verifythis/duplets.yml TIMEOUT 900.41 881.57 None verifythis/elimination_max.yml true 10.39 5.67 None verifythis/lcp.yml true 16.97 9.44 None verifythis/prefixsum_iter.yml TIMEOUT 900.49 874.54 None verifythis/tree_del_iter.yml false(unreach-call) 13.46 8.10 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 15.40 10.01 None nla-digbench/bresenham-ll.yml true 14.35 10.71 None nla-digbench/cohencu-ll.yml TIMEOUT 900.32 893.07 None nla-digbench/cohendiv-ll.yml true 27.65 21.64 None nla-digbench/dijkstra-u.yml TIMEOUT 900.41 875.40 None nla-digbench/divbin.yml TIMEOUT 900.82 857.39 None nla-digbench/divbin2.yml TIMEOUT 900.34 895.15 None nla-digbench/egcd-ll.yml TIMEOUT 900.62 894.44 None nla-digbench/egcd2-ll.yml TIMEOUT 900.42 884.05 None nla-digbench/egcd3-ll.yml true 113.07 88.51 None nla-digbench/fermat1-ll.yml TIMEOUT 900.44 887.68 None nla-digbench/fermat2-ll.yml TIMEOUT 900.42 890.10 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 7.00 3.97 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 7.33 4.28 None nla-digbench/geo1-ll.yml true 55.94 51.00 None nla-digbench/geo1-u.yml false(unreach-call) 6.82 4.50 None nla-digbench/geo2-ll.yml TIMEOUT 900.39 895.37 None nla-digbench/geo3-ll.yml true 241.55 235.32 None nla-digbench/hard-ll.yml TIMEOUT 900.45 879.40 None nla-digbench/hard-u.yml unknown 592.53 573.01 None nla-digbench/hard2.yml true 195.47 184.99 None nla-digbench/knuth.yml ERROR: EXCEPTION 3.93 2.66 None nla-digbench/lcm1.yml TIMEOUT 900.31 898.87 None nla-digbench/lcm2.yml TIMEOUT 900.34 896.00 None nla-digbench/mannadiv.yml true 7.64 6.19 None nla-digbench/prod4br-ll.yml true 73.05 67.85 None nla-digbench/prodbin-ll.yml true 60.24 56.14 None nla-digbench/ps2-ll.yml true 7.46 5.25 None nla-digbench/ps3-ll.yml TIMEOUT 900.41 898.18 None nla-digbench/ps4-ll.yml TIMEOUT 900.37 894.95 None nla-digbench/ps5-ll.yml TIMEOUT 900.32 898.28 None nla-digbench/ps6-ll.yml TIMEOUT 900.35 897.90 None nla-digbench/sqrt1-ll.yml true 10.02 6.59 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 7.32 5.02 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml true 11.94 8.50 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml true 11.06 7.61 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 10.75 7.42 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml true 12.30 8.90 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml true 13.20 9.64 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml true 11.50 8.46 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 11.47 7.36 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 13.97 10.08 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 11.97 8.14 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 14.31 9.34 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 11.64 8.03 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 13.42 9.37 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 12.10 7.92 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 11.71 8.22 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml TIMEOUT 900.38 894.59 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.37 894.24 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 14.62 10.93 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml TIMEOUT 900.39 895.23 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml TIMEOUT 900.38 891.43 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml TIMEOUT 900.35 894.66 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 35.58 28.77 None nla-digbench-scaling/cohencu-ll_valuebound10.yml TIMEOUT 900.43 882.28 None nla-digbench-scaling/cohencu-ll_valuebound100.yml TIMEOUT 900.46 878.41 None nla-digbench-scaling/cohencu-ll_valuebound2.yml TIMEOUT 900.61 864.95 None nla-digbench-scaling/cohencu-ll_valuebound20.yml TIMEOUT 900.43 886.99 None nla-digbench-scaling/cohencu-ll_valuebound5.yml TIMEOUT 900.39 885.60 None nla-digbench-scaling/cohencu-ll_valuebound50.yml TIMEOUT 900.35 899.70 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 12.24 8.24 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml TIMEOUT 900.53 873.80 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml TIMEOUT 900.48 887.19 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 54.71 51.32 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml TIMEOUT 900.49 882.96 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 206.54 196.89 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml TIMEOUT 900.50 885.06 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 11.25 10.13 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml TIMEOUT 900.34 895.55 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml TIMEOUT 900.47 876.33 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 12.87 8.40 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml TIMEOUT 900.39 887.48 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 31.89 23.15 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml TIMEOUT 900.41 885.95 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 17.71 14.99 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.46 874.44 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.40 884.60 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 50.48 44.70 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.46 875.69 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.41 887.46 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.46 875.28 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.48 870.92 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.42 883.04 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.41 882.68 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.39 884.63 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.43 879.38 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.41 882.02 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.46 875.13 None nla-digbench-scaling/divbin2_unwindbound1.yml true 8.17 5.44 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.33 894.75 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.33 895.18 None nla-digbench-scaling/divbin2_unwindbound2.yml true 11.16 7.48 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.34 894.36 None nla-digbench-scaling/divbin2_unwindbound5.yml true 16.46 12.50 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.32 895.99 None nla-digbench-scaling/divbin2_valuebound1.yml true 12.59 7.78 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.43 887.84 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 135.12 125.29 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.49 890.67 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.38 892.88 None nla-digbench-scaling/divbin2_valuebound5.yml true 25.40 20.53 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.33 896.04 None nla-digbench-scaling/divbin_unwindbound1.yml true 8.59 5.81 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.36 894.79 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.39 890.44 None nla-digbench-scaling/divbin_unwindbound2.yml true 10.53 7.76 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.36 893.71 None nla-digbench-scaling/divbin_unwindbound5.yml OUT OF MEMORY 218.95 186.47 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.40 889.78 None nla-digbench-scaling/divbin_valuebound1.yml true 12.32 7.96 None nla-digbench-scaling/divbin_valuebound10.yml unknown 260.24 231.33 None nla-digbench-scaling/divbin_valuebound100.yml unknown 256.82 227.94 None nla-digbench-scaling/divbin_valuebound2.yml OUT OF MEMORY 231.05 203.51 None nla-digbench-scaling/divbin_valuebound20.yml OUT OF MEMORY 95.20 83.27 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.40 889.42 None nla-digbench-scaling/divbin_valuebound50.yml unknown 256.72 229.49 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 9.67 6.71 None nla-digbench-scaling/egcd-ll_unwindbound10.yml true 192.50 179.08 None nla-digbench-scaling/egcd-ll_unwindbound100.yml TIMEOUT 900.42 878.88 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 14.20 9.51 None nla-digbench-scaling/egcd-ll_unwindbound20.yml TIMEOUT 900.44 871.70 None nla-digbench-scaling/egcd-ll_unwindbound5.yml true 172.45 157.17 None nla-digbench-scaling/egcd-ll_unwindbound50.yml TIMEOUT 900.42 879.29 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 11.34 7.65 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 167.07 154.20 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 95.06 87.80 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 15.78 10.71 None nla-digbench-scaling/egcd-ll_valuebound20.yml TIMEOUT 900.40 888.47 None nla-digbench-scaling/egcd-ll_valuebound5.yml TIMEOUT 901.49 871.56 None nla-digbench-scaling/egcd-ll_valuebound50.yml TIMEOUT 900.40 888.34 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 7.62 5.90 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml TIMEOUT 900.47 890.42 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.46 879.22 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 13.38 10.39 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 900.40 887.90 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 60.09 49.11 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 900.53 876.88 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 18.67 14.29 None nla-digbench-scaling/egcd2-ll_valuebound10.yml unknown 224.79 211.58 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 900.41 884.44 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 65.11 46.44 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 900.52 880.99 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 901.27 883.90 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 900.52 869.17 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 6.61 4.35 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 46.35 34.10 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml true 81.34 55.75 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 7.62 5.20 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml true 65.58 48.09 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 22.43 15.57 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml true 85.51 56.73 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 13.81 9.43 None nla-digbench-scaling/egcd3-ll_valuebound10.yml true 34.39 23.55 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 23.78 16.72 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 37.44 26.68 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 25.92 17.29 None nla-digbench-scaling/egcd3-ll_valuebound5.yml true 34.76 23.32 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 31.37 20.29 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 29.46 26.35 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml TIMEOUT 900.52 887.69 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 900.37 891.49 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 35.24 32.28 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml TIMEOUT 900.37 889.63 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 669.43 660.04 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.12 889.88 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 194.62 191.03 None nla-digbench-scaling/fermat1-ll_valuebound10.yml unknown 51.58 48.08 None nla-digbench-scaling/fermat1-ll_valuebound100.yml TIMEOUT 900.48 879.31 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 464.11 460.61 None nla-digbench-scaling/fermat1-ll_valuebound20.yml TIMEOUT 900.42 883.43 None nla-digbench-scaling/fermat1-ll_valuebound5.yml TIMEOUT 900.37 890.61 None nla-digbench-scaling/fermat1-ll_valuebound50.yml unknown 737.04 726.86 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 28.11 25.76 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml TIMEOUT 900.41 895.05 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.40 890.14 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 247.44 244.85 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml TIMEOUT 900.38 891.84 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml TIMEOUT 900.33 896.02 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml TIMEOUT 900.35 894.43 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 8.29 5.75 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 432.73 426.93 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 288.78 278.77 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 115.30 111.90 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 96.83 90.90 None nla-digbench-scaling/fermat2-ll_valuebound5.yml TIMEOUT 900.42 883.40 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 319.56 312.88 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 5.98 3.85 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 6.02 3.46 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 6.22 3.82 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 6.00 3.79 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 5.61 3.31 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 6.17 3.63 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 6.15 3.50 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 5.41 3.84 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 5.25 3.11 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 5.87 3.36 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 5.33 3.02 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 5.83 3.44 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 5.25 3.56 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 5.86 3.66 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.58 4.34 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 6.07 4.29 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 6.52 4.19 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.55 4.38 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 6.08 3.96 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 6.52 4.63 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.47 4.11 None nla-digbench-scaling/freire2_valuebound1.yml UNKNOWN: OverapproxCex 5.96 3.99 None nla-digbench-scaling/freire2_valuebound10.yml UNKNOWN: OverapproxCex 5.88 3.92 None nla-digbench-scaling/freire2_valuebound100.yml UNKNOWN: OverapproxCex 6.09 3.81 None nla-digbench-scaling/freire2_valuebound2.yml UNKNOWN: OverapproxCex 6.14 3.97 None nla-digbench-scaling/freire2_valuebound20.yml UNKNOWN: OverapproxCex 5.59 3.68 None nla-digbench-scaling/freire2_valuebound5.yml UNKNOWN: OverapproxCex 6.47 3.81 None nla-digbench-scaling/freire2_valuebound50.yml UNKNOWN: OverapproxCex 6.27 4.40 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 12.21 9.03 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 55.22 52.00 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 62.45 56.78 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 47.21 43.88 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 57.45 53.44 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 62.91 59.58 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 57.57 52.15 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 10.02 6.16 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 9.48 5.72 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 51.01 45.99 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 9.30 5.45 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 10.76 7.14 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 7.63 4.78 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 7.89 5.26 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 7.90 5.15 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 6.51 4.35 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 7.58 5.16 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 6.29 4.43 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 8.33 5.54 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 6.13 4.31 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 8.20 5.11 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 6.51 4.41 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 7.96 4.79 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 8.25 4.89 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 6.12 3.98 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 6.54 4.13 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 8.14 4.78 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 6.32 3.99 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 7.48 5.18 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 89.83 84.76 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 97.67 94.86 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 34.62 32.16 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 98.35 93.31 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 96.46 90.67 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 96.51 93.00 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 7.44 5.50 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 39.62 36.55 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 132.59 128.22 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.98 6.17 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 54.81 53.27 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 44.60 40.79 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 95.60 90.31 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 9.65 6.16 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 439.06 434.52 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 420.59 412.42 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 111.49 109.00 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 373.58 364.49 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 406.35 400.67 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 553.93 547.72 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 7.01 5.46 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 63.40 59.59 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 60.33 56.54 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 10.93 6.78 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 46.66 41.00 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 34.52 29.79 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 66.38 59.75 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 9.92 6.66 None nla-digbench-scaling/hard-ll_unwindbound10.yml OUT OF MEMORY 154.22 130.99 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 900.67 875.43 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 13.68 9.32 None nla-digbench-scaling/hard-ll_unwindbound20.yml OUT OF MEMORY 204.90 176.25 None nla-digbench-scaling/hard-ll_unwindbound5.yml unknown 287.15 272.43 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 900.77 863.15 None nla-digbench-scaling/hard-ll_valuebound1.yml true 21.65 12.99 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 266.16 247.18 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 264.26 239.20 None nla-digbench-scaling/hard-ll_valuebound2.yml OUT OF MEMORY 322.20 198.34 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 271.74 245.12 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.43 878.73 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 267.53 242.95 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 9.88 6.44 None nla-digbench-scaling/hard-u_unwindbound10.yml unknown 663.47 647.19 None nla-digbench-scaling/hard-u_unwindbound100.yml unknown 645.45 617.05 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 11.09 8.05 None nla-digbench-scaling/hard-u_unwindbound20.yml unknown 643.67 621.81 None nla-digbench-scaling/hard-u_unwindbound5.yml unknown 623.16 604.94 None nla-digbench-scaling/hard-u_unwindbound50.yml unknown 611.85 599.40 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 901.41 736.25 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.43 883.61 None nla-digbench-scaling/hard-u_valuebound100.yml OUT OF MEMORY 257.24 230.60 None nla-digbench-scaling/hard-u_valuebound2.yml OUT OF MEMORY 172.71 150.41 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.40 883.11 None nla-digbench-scaling/hard-u_valuebound5.yml OUT OF MEMORY 127.71 84.60 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.42 880.48 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 9.73 6.16 None nla-digbench-scaling/hard2_unwindbound10.yml true 190.85 183.41 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 901.10 847.97 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 10.64 6.96 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.43 879.77 None nla-digbench-scaling/hard2_unwindbound5.yml true 195.35 188.17 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 901.16 846.88 None nla-digbench-scaling/hard2_valuebound1.yml true 19.25 11.88 None nla-digbench-scaling/hard2_valuebound10.yml TIMEOUT 900.41 880.56 None nla-digbench-scaling/hard2_valuebound100.yml TIMEOUT 900.53 862.66 None nla-digbench-scaling/hard2_valuebound2.yml true 21.01 14.22 None nla-digbench-scaling/hard2_valuebound20.yml TIMEOUT 900.41 881.72 None nla-digbench-scaling/hard2_valuebound5.yml TIMEOUT 900.72 773.82 None nla-digbench-scaling/hard2_valuebound50.yml TIMEOUT 900.40 882.44 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 4.02 2.31 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 3.92 2.68 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 4.06 2.33 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.19 2.71 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 4.53 2.77 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 3.83 2.48 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 4.25 2.77 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 4.15 3.31 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 4.33 2.98 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 4.11 2.27 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 4.21 2.33 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.15 2.69 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 4.01 2.30 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 4.08 2.30 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.42 897.00 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.42 897.01 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.44 896.36 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.42 897.00 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.44 897.04 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.44 895.47 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.47 895.20 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.32 896.92 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.31 897.61 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.34 895.39 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.33 895.80 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.31 897.22 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.31 897.34 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.31 898.25 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.34 897.59 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.37 897.02 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.38 896.11 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.39 896.95 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.37 896.90 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.40 895.27 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.40 895.26 None nla-digbench-scaling/lcm2_valuebound1.yml true 8.65 5.70 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.31 897.01 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.31 897.01 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.33 896.42 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.33 896.07 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.30 898.10 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.33 897.37 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 7.70 5.91 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 12.47 10.16 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 502.27 492.38 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 7.53 5.83 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 23.90 18.85 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 12.15 8.29 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 104.23 85.58 None nla-digbench-scaling/mannadiv_valuebound1.yml true 9.58 5.86 None nla-digbench-scaling/mannadiv_valuebound10.yml true 6.66 4.28 None nla-digbench-scaling/mannadiv_valuebound100.yml true 9.39 5.98 None nla-digbench-scaling/mannadiv_valuebound2.yml true 7.16 4.52 None nla-digbench-scaling/mannadiv_valuebound20.yml true 9.20 5.41 None nla-digbench-scaling/mannadiv_valuebound5.yml true 7.31 4.56 None nla-digbench-scaling/mannadiv_valuebound50.yml true 8.86 5.54 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 8.01 5.28 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml TIMEOUT 900.44 880.73 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.40 887.73 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml false(unreach-call) 30.73 26.78 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml TIMEOUT 900.35 889.41 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml TIMEOUT 900.41 886.08 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.41 885.90 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 12.09 9.25 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 900.45 879.64 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.36 889.80 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 900.46 878.88 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.39 885.72 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 900.40 889.62 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 900.44 879.35 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 9.05 5.94 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml TIMEOUT 900.42 882.45 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.34 890.46 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml false(unreach-call) 17.53 13.69 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml TIMEOUT 900.36 889.27 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml TIMEOUT 900.44 882.61 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.41 885.28 None nla-digbench-scaling/prodbin-ll_valuebound1.yml TIMEOUT 900.37 887.13 None nla-digbench-scaling/prodbin-ll_valuebound10.yml TIMEOUT 900.43 879.34 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 900.43 880.90 None nla-digbench-scaling/prodbin-ll_valuebound2.yml TIMEOUT 900.48 871.87 None nla-digbench-scaling/prodbin-ll_valuebound20.yml TIMEOUT 900.38 884.00 None nla-digbench-scaling/prodbin-ll_valuebound5.yml TIMEOUT 900.46 872.67 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 900.40 883.14 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 7.41 4.89 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 8.49 6.43 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 8.58 6.12 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 7.80 6.00 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 8.25 5.99 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 11.17 7.66 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 8.68 6.24 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 9.63 6.28 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 7.63 5.06 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 10.01 6.42 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 7.84 5.17 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 10.43 6.43 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 7.83 5.22 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.99 6.15 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 7.17 5.16 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 900.31 897.51 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 900.37 895.48 None nla-digbench-scaling/ps3-ll_unwindbound2.yml TIMEOUT 900.37 896.05 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 900.32 897.92 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 900.32 897.17 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 900.36 895.71 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 8.04 5.34 None nla-digbench-scaling/ps3-ll_valuebound10.yml TIMEOUT 900.32 897.14 None nla-digbench-scaling/ps3-ll_valuebound100.yml TIMEOUT 900.29 897.27 None nla-digbench-scaling/ps3-ll_valuebound2.yml TIMEOUT 900.34 896.98 None nla-digbench-scaling/ps3-ll_valuebound20.yml TIMEOUT 900.29 897.79 None nla-digbench-scaling/ps3-ll_valuebound5.yml TIMEOUT 900.33 896.15 None nla-digbench-scaling/ps3-ll_valuebound50.yml TIMEOUT 900.32 898.27 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 7.93 5.06 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 256.37 249.17 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.38 886.80 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 204.11 200.75 None nla-digbench-scaling/ps4-ll_unwindbound20.yml false(unreach-call) 355.08 337.66 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 205.70 202.37 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.53 869.92 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 10.24 7.58 None nla-digbench-scaling/ps4-ll_valuebound10.yml TIMEOUT 900.35 897.23 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.34 897.95 None nla-digbench-scaling/ps4-ll_valuebound2.yml TIMEOUT 900.35 895.22 None nla-digbench-scaling/ps4-ll_valuebound20.yml TIMEOUT 900.32 896.82 None nla-digbench-scaling/ps4-ll_valuebound5.yml TIMEOUT 900.38 895.02 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.34 896.77 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 10.39 6.73 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.30 897.47 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.37 894.54 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 11.63 8.50 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.35 896.71 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.33 897.02 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.38 894.84 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 8.53 6.45 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.33 898.06 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.34 896.77 None nla-digbench-scaling/ps5-ll_valuebound2.yml TIMEOUT 900.36 894.84 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.31 897.17 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.33 896.95 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.35 895.02 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 9.36 7.18 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.33 896.46 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.38 894.85 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 18.26 15.31 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.34 897.13 None nla-digbench-scaling/ps6-ll_unwindbound5.yml TIMEOUT 900.35 897.11 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.36 894.78 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 14.22 11.30 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 900.35 894.33 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.37 894.32 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 29.31 23.14 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 900.39 889.03 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 166.06 163.71 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.33 897.19 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.87 6.62 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 11.34 7.75 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 10.49 7.36 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 12.09 8.82 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 11.42 7.98 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 11.22 7.66 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 11.44 8.03 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 11.14 7.30 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 109.91 104.98 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 152.64 142.61 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 10.64 7.76 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 91.65 85.12 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 13.85 9.07 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 167.66 160.99 None ---------------------------------------------------------------------------------------------------------------------------- Run set 1 done 140659.65 20841.01 - Automizer IcfgTranformation Jordan.reach-svcomp-all Run set 2 of 3 with options '--force-no-wrapper --core.log.level.for.class de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=WARN -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/automizer/LoopAccelerationJordanC.epf' and propertyfile '../../../trunk/examples/svcomp/properties/unreach-call.prp' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml TIMEOUT 900.46 877.06 None loops/array-2.yml false(unreach-call) 6.47 4.31 None loops/bubble_sort-1.yml true 5.22 3.77 None loops/bubble_sort-2.yml false(unreach-call) 13.56 7.64 None loops/compact.yml TIMEOUT 900.43 884.36 None loops/count_up_down-1.yml TIMEOUT 900.52 874.70 None loops/count_up_down-2.yml false(unreach-call) 9.01 6.10 None loops/eureka_01-1.yml TIMEOUT 900.64 864.92 None loops/eureka_01-2.yml TIMEOUT 900.39 893.11 None loops/eureka_05.yml TIMEOUT 900.31 834.00 None loops/for_bounded_loop1.yml false(unreach-call) 7.70 4.53 None loops/for_infinite_loop_1.yml true 6.19 4.03 None loops/for_infinite_loop_2.yml true 6.03 4.17 None loops/heavy-1.yml TIMEOUT 900.35 895.16 None loops/heavy-2.yml true 7.44 4.92 None loops/insertion_sort-1.yml TIMEOUT 900.44 877.80 None loops/insertion_sort-2.yml TIMEOUT 900.71 866.72 None loops/invert_string-1.yml false(unreach-call) 17.34 11.52 None loops/invert_string-3.yml TIMEOUT 900.41 882.94 None loops/linear_sea.ch.yml TIMEOUT 901.24 829.67 None loops/linear_search.yml TIMEOUT 901.50 707.12 None loops/lu.cmp.yml true 9.99 5.94 None loops/ludcmp.yml UNKNOWN: OverapproxCex 12.17 7.79 None loops/matrix-1.yml TIMEOUT 900.39 885.13 None loops/matrix-2.yml false(unreach-call) 6.99 5.22 None loops/n.c11.yml true 9.35 6.19 None loops/n.c24.yml ERROR: EXCEPTION 5.08 3.40 None loops/n.c40.yml true 6.08 3.49 None loops/nec11.yml false(unreach-call) 5.52 3.35 None loops/nec20.yml false(unreach-call) 6.60 3.74 None loops/nec40.yml true 6.35 3.79 None loops/s3.yml UNKNOWN: OverapproxCex 34.38 21.73 None loops/string-1.yml true 7.75 5.17 None loops/string-2.yml UNKNOWN: OverapproxCex 9.25 6.41 None loops/sum01-1.yml false(unreach-call) 13.44 9.76 None loops/sum01-2.yml true 10.16 6.57 None loops/sum01_bug02.yml false(unreach-call) 14.46 9.98 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 9.44 6.16 None loops/sum03-1.yml false(unreach-call) 18.20 12.72 None loops/sum03-2.yml true 5.99 4.13 None loops/sum04-1.yml false(unreach-call) 10.14 7.37 None loops/sum04-2.yml true 12.06 8.39 None loops/sum_array-1.yml false(unreach-call) 6.78 3.84 None loops/sum_array-2.yml TIMEOUT 900.39 883.55 None loops/terminator_01.yml false(unreach-call) 8.24 5.13 None loops/terminator_02-1.yml false(unreach-call) 8.22 4.86 None loops/terminator_02-2.yml true 8.66 5.16 None loops/terminator_03-1.yml false(unreach-call) 8.64 4.88 None loops/terminator_03-2.yml true 10.62 6.96 None loops/trex01-1.yml ERROR: EXCEPTION 7.00 4.21 None loops/trex01-2.yml ERROR: EXCEPTION 7.03 4.08 None loops/trex02-1.yml true 7.75 4.35 None loops/trex02-2.yml false(unreach-call) 7.29 4.56 None loops/trex03-1.yml false(unreach-call) 7.61 4.49 None loops/trex03-2.yml true 8.14 4.53 None loops/trex04.yml true 11.34 7.67 None loops/veris.c_NetBSD-libc_loop.yml true 11.67 7.41 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 12.35 7.91 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml ERROR: EXCEPTION 6.87 4.02 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 11.43 6.74 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 19.08 11.13 None loops/vogal-1.yml TIMEOUT 900.45 870.52 None loops/vogal-2.yml TIMEOUT 900.46 874.91 None loops/while_infinite_loop_1.yml true 12.98 7.41 None loops/while_infinite_loop_2.yml true 9.63 5.47 None loops/while_infinite_loop_3.yml true 12.63 7.09 None loops/while_infinite_loop_4.yml false(unreach-call) 12.89 7.22 None loop-acceleration/array_1-1.yml TIMEOUT 900.47 882.43 None loop-acceleration/array_1-2.yml true 15.72 9.97 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.38 888.08 None loop-acceleration/array_2-1.yml TIMEOUT 900.43 890.23 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.48 873.18 None loop-acceleration/array_2-2.yml TIMEOUT 900.42 891.17 None loop-acceleration/array_3-1.yml true 7.52 5.46 None loop-acceleration/array_3-2.yml TIMEOUT 900.68 867.55 None loop-acceleration/array_4.yml TIMEOUT 900.43 878.13 None loop-acceleration/const_1-1.yml true 6.91 6.44 None loop-acceleration/const_1-2.yml false(unreach-call) 6.08 3.82 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.38 886.42 None loop-acceleration/diamond_1-2.yml false(unreach-call) 540.26 528.95 None loop-acceleration/diamond_2-2.yml true 33.96 22.70 None loop-acceleration/functions_1-1.yml TIMEOUT 900.76 821.29 None loop-acceleration/functions_1-2.yml TIMEOUT 900.39 816.87 None loop-acceleration/multivar_1-1.yml true 5.99 3.86 None loop-acceleration/multivar_1-2.yml false(unreach-call) 6.15 4.15 None loop-acceleration/nested_1-1.yml true 15.24 12.68 None loop-acceleration/nested_1-2.yml TIMEOUT 900.47 867.87 None loop-acceleration/overflow_1-1.yml OUT OF MEMORY 623.68 622.19 None loop-acceleration/phases_1-1.yml TIMEOUT 900.72 835.94 None loop-acceleration/phases_1-2.yml TIMEOUT 900.65 849.04 None loop-acceleration/phases_2-1.yml false(unreach-call) 6.24 3.90 None loop-acceleration/phases_2-2.yml TIMEOUT 900.39 882.58 None loop-acceleration/simple_1-1.yml false(unreach-call) 5.84 3.48 None loop-acceleration/simple_1-2.yml true 6.80 4.03 None loop-acceleration/simple_2-1.yml true 5.76 3.43 None loop-acceleration/simple_2-2.yml false(unreach-call) 6.18 3.95 None loop-acceleration/simple_3-1.yml false(unreach-call) 7.83 4.87 None loop-acceleration/simple_3-2.yml TIMEOUT 900.38 887.42 None loop-acceleration/simple_4-1.yml false(unreach-call) 6.85 4.17 None loop-acceleration/simple_4-2.yml TIMEOUT 900.46 876.03 None loop-acceleration/underapprox_1-1.yml ERROR: EXCEPTION 5.95 3.36 None loop-acceleration/underapprox_1-2.yml ERROR: EXCEPTION 5.20 3.29 None loop-acceleration/underapprox_2-1.yml ERROR: EXCEPTION 6.23 3.62 None loop-acceleration/underapprox_2-2.yml ERROR: EXCEPTION 4.81 3.19 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.38 887.50 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 7.26 4.47 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.95 787.15 None loop-crafted/simple_array_index_value_3.yml ERROR: EXCEPTION 6.21 3.49 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 15.36 9.58 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 9.96 6.01 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 900.19 873.13 None loop-crafted/simple_vardep_1.yml true 7.60 4.20 None loop-crafted/simple_vardep_2.yml true 6.66 3.90 None loop-invgen/MADWiFi-encode_ie_ok.yml true 13.37 7.96 None loop-invgen/NetBSD_loop.yml true 10.98 6.88 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 13.64 8.25 None loop-invgen/SpamAssassin-loop.yml true 10.68 6.47 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 25.29 14.46 None loop-invgen/apache-escape-absolute.yml true 11.94 6.90 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 19.45 11.24 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 36.35 26.24 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 80.77 52.38 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 19.98 11.30 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 17.08 10.25 None loop-invgen/apache-get-tag.yml true 10.25 6.23 None loop-invgen/down.yml true 9.81 5.88 None loop-invgen/fragtest_simple.yml TIMEOUT 900.42 780.59 None loop-invgen/half_2.yml TIMEOUT 900.53 883.47 None loop-invgen/heapsort.yml TIMEOUT 901.09 797.74 None loop-invgen/id_build.i.p+nlh-reducer.yml true 14.60 8.28 None loop-invgen/id_build.i.p+sep-reducer.yml true 14.74 8.37 None loop-invgen/id_build.i.v+lhb-reducer.yml true 9.23 5.01 None loop-invgen/id_build.yml true 7.98 4.66 None loop-invgen/id_trans.yml false(unreach-call) 8.75 5.20 None loop-invgen/large_const.yml true 13.57 8.41 None loop-invgen/nest-if3.yml true 7.84 4.47 None loop-invgen/nested6.yml true 17.86 10.53 None loop-invgen/nested9.yml true 14.46 9.15 None loop-invgen/sendmail-close-angle.yml true 21.72 12.35 None loop-invgen/seq-3.yml true 18.05 11.09 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.76 794.75 None loop-invgen/up.yml true 11.61 7.22 None loop-lit/afnp2014.yml true 9.97 5.82 None loop-lit/bhmr2007.yml true 14.64 8.85 None loop-lit/cggmp2005.yml true 9.79 5.73 None loop-lit/cggmp2005_variant.yml TIMEOUT 901.42 817.73 None loop-lit/cggmp2005b.yml true 10.84 9.03 None loop-lit/css2003.yml true 5.84 3.85 None loop-lit/ddlm2013.yml true 12.82 9.15 None loop-lit/gcnr2008.yml false(unreach-call) 5.44 3.80 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 251.03 234.50 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 443.25 417.44 None loop-lit/gj2007.yml true 270.01 204.26 None loop-lit/gj2007b.yml true 9.31 5.68 None loop-lit/gr2006.yml true 125.81 96.42 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml OUT OF MEMORY 220.85 184.82 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 185.60 178.75 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.16 4.37 None loop-lit/gsv2008.yml OUT OF MEMORY 252.27 234.26 None loop-lit/hhk2008.yml true 7.49 4.56 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 7.59 4.53 None loop-lit/jm2006.yml true 8.80 5.40 None loop-lit/jm2006_variant.yml true 12.91 7.67 None loop-lit/mcmillan2006.yml TIMEOUT 900.89 877.74 None loop-new/count_by_1.yml true 6.83 4.38 None loop-new/count_by_1_variant.yml true 10.39 6.33 None loop-new/count_by_2.yml TIMEOUT 900.48 784.72 None loop-new/count_by_k.yml TIMEOUT 900.46 782.91 None loop-new/count_by_nondet.yml TIMEOUT 901.18 740.18 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.50 884.00 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.32 897.09 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.91 874.01 None loop-new/gauss_sum.yml TIMEOUT 900.33 895.46 None loop-new/half.yml true 16.27 11.64 None loop-new/nested-1.yml true 41.07 26.75 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 4.24 2.55 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 4.34 2.44 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 4.32 2.79 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TIMEOUT 900.37 891.15 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 11.87 7.25 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 32.26 21.19 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 36.56 24.09 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 4.47 2.90 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 6.44 3.64 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 6.63 4.39 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 8.81 5.20 None loop-industry-pattern/mod3.yml true 8.55 5.11 None loop-industry-pattern/nested-3.yml true 55.44 40.40 None loop-industry-pattern/ofuf_1.yml true 10.07 6.06 None loop-industry-pattern/ofuf_2.yml true 11.50 6.78 None loop-industry-pattern/ofuf_3.yml true 10.93 6.38 None loop-industry-pattern/ofuf_4.yml true 10.55 6.50 None loop-industry-pattern/ofuf_5.yml true 12.89 7.53 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.61 836.45 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.76 847.31 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.57 845.00 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.70 778.49 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.44 882.44 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.57 856.22 None loops-crafted-1/discover_list.yml ERROR: EXCEPTION 10.58 6.13 None loops-crafted-1/iftelse.yml TIMEOUT 900.60 880.08 None loops-crafted-1/in-de20.yml TIMEOUT 900.81 865.55 None loops-crafted-1/in-de31.yml TIMEOUT 900.36 885.14 None loops-crafted-1/in-de32.yml TIMEOUT 900.35 889.16 None loops-crafted-1/in-de41.yml TIMEOUT 900.39 883.59 None loops-crafted-1/in-de42.yml TIMEOUT 900.44 878.66 None loops-crafted-1/in-de51.yml TIMEOUT 900.38 885.74 None loops-crafted-1/in-de52.yml TIMEOUT 900.36 890.56 None loops-crafted-1/in-de61.yml TIMEOUT 900.41 880.51 None loops-crafted-1/in-de62.yml OUT OF MEMORY 491.89 428.60 None loops-crafted-1/loopv1.yml true 7.10 4.67 None loops-crafted-1/loopv2.yml TIMEOUT 900.41 885.64 None loops-crafted-1/loopv3.yml TIMEOUT 900.28 793.80 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.43 880.86 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.45 874.00 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.71 830.36 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 900.52 856.44 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.84 769.50 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.68 872.15 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.39 883.18 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.97 764.87 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 901.04 762.31 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.63 845.07 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.71 779.80 None loops-crafted-1/nested3-1.yml ERROR: EXCEPTION 60.34 43.32 None loops-crafted-1/nested3-2.yml false(unreach-call) 7.13 4.76 None loops-crafted-1/nested5-1.yml true 9.15 6.49 None loops-crafted-1/nested5-2.yml TIMEOUT 900.38 886.81 None loops-crafted-1/nested_delay_nd.yml true 98.79 68.86 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 155.21 110.68 None loops-crafted-1/net_reset.yml true 10.01 5.84 None loops-crafted-1/sum_by_3.yml OUT OF MEMORY 183.62 140.65 None loops-crafted-1/sum_natnum.yml true 16.55 13.77 None loops-crafted-1/sumt2.yml true 13.99 10.40 None loops-crafted-1/sumt3.yml TIMEOUT 900.33 895.70 None loops-crafted-1/sumt4.yml TIMEOUT 900.41 886.89 None loops-crafted-1/sumt5.yml TIMEOUT 900.47 873.42 None loops-crafted-1/sumt6.yml TIMEOUT 900.40 884.35 None loops-crafted-1/sumt7.yml TIMEOUT 900.47 879.15 None loops-crafted-1/sumt8.yml TIMEOUT 900.41 888.84 None loops-crafted-1/sumt9.yml TIMEOUT 900.44 881.00 None loops-crafted-1/theatreSquare.yml TIMEOUT 900.61 881.29 None loops-crafted-1/vnew1.yml TIMEOUT 900.33 896.26 None loops-crafted-1/vnew2.yml TIMEOUT 901.83 707.27 None loops-crafted-1/watermelon.yml TIMEOUT 900.43 802.89 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 7.76 4.63 None loop-invariants/const.yml true 7.97 4.70 None loop-invariants/eq1.yml true 6.71 4.47 None loop-invariants/eq2.yml true 8.69 5.26 None loop-invariants/even.yml true 7.46 4.44 None loop-invariants/linear-inequality-inv-a.yml ERROR: EXCEPTION 6.28 3.88 None loop-invariants/linear-inequality-inv-b.yml ERROR: EXCEPTION 5.21 3.67 None loop-invariants/mod4.yml true 9.23 5.47 None loop-invariants/odd.yml true 7.05 4.78 None loop-simple/deep-nested.yml TIMEOUT 901.56 818.24 None loop-simple/nested_1.yml true 6.95 4.75 None loop-simple/nested_1b.yml false(unreach-call) 8.50 6.34 None loop-simple/nested_2.yml true 12.13 9.14 None loop-simple/nested_3.yml true 12.38 9.45 None loop-simple/nested_4.yml true 35.12 25.59 None loop-simple/nested_5.yml true 39.09 27.29 None loop-simple/nested_6.yml OUT OF MEMORY 195.48 152.31 None loop-zilu/benchmark02_linear.yml true 6.57 4.06 None loop-zilu/benchmark04_conjunctive.yml true 7.54 5.31 None loop-zilu/benchmark05_conjunctive.yml true 7.89 5.07 None loop-zilu/benchmark09_conjunctive.yml true 7.12 5.09 None loop-zilu/benchmark10_conjunctive.yml true 8.08 5.46 None loop-zilu/benchmark11_linear.yml true 6.98 4.70 None loop-zilu/benchmark14_linear.yml true 6.21 4.21 None loop-zilu/benchmark17_conjunctive.yml true 7.35 4.88 None loop-zilu/benchmark18_conjunctive.yml true 6.71 4.86 None loop-zilu/benchmark19_conjunctive.yml true 8.17 5.81 None loop-zilu/benchmark20_conjunctive.yml OUT OF MEMORY 452.49 430.88 None loop-zilu/benchmark23_conjunctive.yml true 8.04 5.91 None loop-zilu/benchmark25_linear.yml true 7.42 5.19 None loop-zilu/benchmark26_linear.yml true 7.37 4.93 None loop-zilu/benchmark32_linear.yml true 6.23 4.31 None loop-zilu/benchmark33_linear.yml true 8.22 5.12 None loop-zilu/benchmark34_conjunctive.yml true 8.30 6.00 None loop-zilu/benchmark35_linear.yml true 8.42 5.10 None loop-zilu/benchmark37_conjunctive.yml true 6.54 4.37 None loop-zilu/benchmark43_conjunctive.yml true 7.55 4.64 None loop-zilu/benchmark51_polynomial.yml true 7.38 4.42 None loop-zilu/benchmark52_polynomial.yml true 61.01 57.43 None verifythis/duplets.yml TIMEOUT 900.44 882.38 None verifythis/elimination_max.yml true 10.30 6.09 None verifythis/lcp.yml true 14.67 8.68 None verifythis/prefixsum_iter.yml ERROR: EXCEPTION 6.62 4.29 None verifythis/tree_del_iter.yml ERROR: EXCEPTION 7.35 4.29 None verifythis/tree_del_iter_incorrect.yml ERROR: EXCEPTION 7.06 4.30 None nla-digbench/bresenham-ll.yml true 14.14 9.55 None nla-digbench/cohencu-ll.yml TIMEOUT 900.35 891.36 None nla-digbench/cohendiv-ll.yml true 28.43 20.66 None nla-digbench/dijkstra-u.yml TIMEOUT 900.40 885.44 None nla-digbench/divbin.yml TIMEOUT 900.60 844.35 None nla-digbench/divbin2.yml TIMEOUT 900.32 896.46 None nla-digbench/egcd-ll.yml TIMEOUT 900.62 896.39 None nla-digbench/egcd2-ll.yml TIMEOUT 900.43 884.71 None nla-digbench/egcd3-ll.yml true 69.66 58.48 None nla-digbench/fermat1-ll.yml TIMEOUT 900.36 893.15 None nla-digbench/fermat2-ll.yml true 347.77 342.60 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 6.28 4.03 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 7.00 4.34 None nla-digbench/geo1-ll.yml true 63.46 58.17 None nla-digbench/geo1-u.yml false(unreach-call) 6.16 4.25 None nla-digbench/geo2-ll.yml TIMEOUT 900.33 896.97 None nla-digbench/geo3-ll.yml true 108.51 104.66 None nla-digbench/hard-ll.yml TIMEOUT 900.41 886.68 None nla-digbench/hard-u.yml ERROR: EXCEPTION 613.42 588.96 None nla-digbench/hard2.yml true 191.77 181.92 None nla-digbench/knuth.yml ERROR: EXCEPTION 4.55 2.90 None nla-digbench/lcm1.yml TIMEOUT 900.33 896.71 None nla-digbench/lcm2.yml TIMEOUT 900.34 894.59 None nla-digbench/mannadiv.yml true 6.42 4.50 None nla-digbench/prod4br-ll.yml TIMEOUT 900.40 887.20 None nla-digbench/prodbin-ll.yml TIMEOUT 900.35 890.88 None nla-digbench/ps2-ll.yml true 8.46 5.86 None nla-digbench/ps3-ll.yml TIMEOUT 900.34 896.04 None nla-digbench/ps4-ll.yml TIMEOUT 900.38 894.49 None nla-digbench/ps5-ll.yml TIMEOUT 900.34 896.97 None nla-digbench/ps6-ll.yml TIMEOUT 900.37 895.18 None nla-digbench/sqrt1-ll.yml true 9.41 6.34 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 8.21 5.83 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml true 11.06 7.69 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml true 11.39 7.73 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 10.48 7.54 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml true 14.02 10.88 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml true 10.78 8.01 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml true 14.83 11.64 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 11.88 7.73 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 13.27 10.27 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 11.77 7.98 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 11.93 8.45 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 13.63 10.34 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 13.46 10.22 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 11.61 7.96 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 8.63 6.13 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml TIMEOUT 900.37 894.62 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.34 896.16 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 15.70 9.91 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml TIMEOUT 900.37 892.23 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml TIMEOUT 900.33 895.35 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml TIMEOUT 900.35 894.94 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 27.20 21.68 None nla-digbench-scaling/cohencu-ll_valuebound10.yml TIMEOUT 900.45 882.01 None nla-digbench-scaling/cohencu-ll_valuebound100.yml TIMEOUT 900.49 884.85 None nla-digbench-scaling/cohencu-ll_valuebound2.yml TIMEOUT 900.58 868.89 None nla-digbench-scaling/cohencu-ll_valuebound20.yml TIMEOUT 900.39 882.95 None nla-digbench-scaling/cohencu-ll_valuebound5.yml TIMEOUT 900.39 884.73 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 518.97 503.41 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 10.74 7.43 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 381.25 362.28 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml TIMEOUT 900.50 888.40 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 16.39 11.21 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml TIMEOUT 900.50 879.97 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 69.57 63.18 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml TIMEOUT 900.43 891.20 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 13.38 8.64 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml TIMEOUT 900.44 881.06 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml TIMEOUT 900.39 884.90 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 11.36 7.70 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml TIMEOUT 900.35 889.60 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 24.15 19.55 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml TIMEOUT 900.32 889.91 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 25.83 22.50 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.41 883.62 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.47 874.38 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 41.63 38.27 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.43 880.02 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.43 880.13 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.45 878.16 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.39 885.73 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.39 884.39 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.41 882.01 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.47 876.25 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.42 884.55 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.49 873.82 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.45 882.28 None nla-digbench-scaling/divbin2_unwindbound1.yml true 7.73 5.40 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.32 897.25 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.34 901.63 None nla-digbench-scaling/divbin2_unwindbound2.yml true 10.85 7.56 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.33 895.52 None nla-digbench-scaling/divbin2_unwindbound5.yml true 19.08 14.13 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.38 892.45 None nla-digbench-scaling/divbin2_valuebound1.yml true 9.84 6.49 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.35 891.81 None nla-digbench-scaling/divbin2_valuebound100.yml ERROR: EXCEPTION 120.01 111.98 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.46 884.15 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.37 895.73 None nla-digbench-scaling/divbin2_valuebound5.yml true 23.50 18.76 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.34 895.28 None nla-digbench-scaling/divbin_unwindbound1.yml true 8.10 6.17 None nla-digbench-scaling/divbin_unwindbound10.yml OUT OF MEMORY 154.38 132.75 None nla-digbench-scaling/divbin_unwindbound100.yml OUT OF MEMORY 188.17 166.27 None nla-digbench-scaling/divbin_unwindbound2.yml true 8.62 6.87 None nla-digbench-scaling/divbin_unwindbound20.yml OUT OF MEMORY 147.44 129.74 None nla-digbench-scaling/divbin_unwindbound5.yml OUT OF MEMORY 186.36 163.59 None nla-digbench-scaling/divbin_unwindbound50.yml OUT OF MEMORY 169.67 138.29 None nla-digbench-scaling/divbin_valuebound1.yml true 10.19 7.32 None nla-digbench-scaling/divbin_valuebound10.yml ERROR: EXCEPTION 255.84 232.93 None nla-digbench-scaling/divbin_valuebound100.yml ERROR: EXCEPTION 280.58 242.65 None nla-digbench-scaling/divbin_valuebound2.yml OUT OF MEMORY 160.93 148.64 None nla-digbench-scaling/divbin_valuebound20.yml OUT OF MEMORY 222.71 196.30 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.49 890.84 None nla-digbench-scaling/divbin_valuebound50.yml ERROR: EXCEPTION 324.00 294.88 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 8.66 6.30 None nla-digbench-scaling/egcd-ll_unwindbound10.yml true 106.95 99.38 None nla-digbench-scaling/egcd-ll_unwindbound100.yml TIMEOUT 900.39 890.74 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 10.65 8.87 None nla-digbench-scaling/egcd-ll_unwindbound20.yml TIMEOUT 900.36 887.38 None nla-digbench-scaling/egcd-ll_unwindbound5.yml true 106.39 97.28 None nla-digbench-scaling/egcd-ll_unwindbound50.yml TIMEOUT 900.42 879.69 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 10.14 9.45 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 118.46 111.94 None nla-digbench-scaling/egcd-ll_valuebound100.yml TIMEOUT 900.53 882.50 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 17.58 11.64 None nla-digbench-scaling/egcd-ll_valuebound20.yml TIMEOUT 900.48 887.22 None nla-digbench-scaling/egcd-ll_valuebound5.yml TIMEOUT 902.34 845.78 None nla-digbench-scaling/egcd-ll_valuebound50.yml TIMEOUT 900.54 880.36 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 7.55 5.64 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml TIMEOUT 900.51 889.13 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.41 890.71 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 15.50 11.24 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 900.60 879.20 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 86.76 73.89 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 900.53 887.18 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 19.63 12.81 None nla-digbench-scaling/egcd2-ll_valuebound10.yml ERROR: EXCEPTION 189.04 165.59 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 900.50 882.10 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 66.12 52.45 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 900.48 880.05 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 900.75 879.01 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 900.46 880.55 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 7.47 4.93 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 43.27 34.90 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml true 54.05 39.19 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 10.79 6.65 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml true 54.57 41.08 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 21.04 14.90 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml true 67.22 45.91 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 16.18 10.60 None nla-digbench-scaling/egcd3-ll_valuebound10.yml true 25.43 17.96 None nla-digbench-scaling/egcd3-ll_valuebound100.yml ERROR: EXCEPTION 33.71 23.11 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 28.04 20.25 None nla-digbench-scaling/egcd3-ll_valuebound20.yml ERROR: EXCEPTION 23.65 18.04 None nla-digbench-scaling/egcd3-ll_valuebound5.yml true 25.64 18.10 None nla-digbench-scaling/egcd3-ll_valuebound50.yml ERROR: EXCEPTION 30.67 20.50 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 48.64 44.40 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml TIMEOUT 900.38 891.53 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 900.82 886.28 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 29.98 28.28 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml TIMEOUT 900.38 893.80 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 576.61 565.99 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.38 893.68 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 6.39 4.65 None nla-digbench-scaling/fermat1-ll_valuebound10.yml ERROR: EXCEPTION 70.61 67.68 None nla-digbench-scaling/fermat1-ll_valuebound100.yml ERROR: EXCEPTION 679.75 665.79 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 114.93 111.82 None nla-digbench-scaling/fermat1-ll_valuebound20.yml TIMEOUT 900.40 882.69 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 321.09 314.56 None nla-digbench-scaling/fermat1-ll_valuebound50.yml ERROR: EXCEPTION 863.50 852.22 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 32.12 30.00 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml TIMEOUT 900.35 894.01 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.34 894.36 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 266.64 260.72 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml ERROR: EXCEPTION 376.81 372.32 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml ERROR: EXCEPTION 291.43 283.39 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml TIMEOUT 900.34 894.31 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 13.75 10.28 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 282.48 275.09 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 300.16 292.05 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 34.01 31.75 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 105.91 101.12 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 218.15 213.61 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 216.96 209.21 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 5.73 3.46 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 5.87 3.46 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 7.69 4.17 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 5.63 3.50 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 7.55 4.21 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 5.66 3.35 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 5.47 3.28 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 7.27 3.97 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 5.68 3.78 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 5.34 3.69 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 5.76 3.63 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 6.95 4.17 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 4.96 2.96 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 5.54 3.23 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.16 3.95 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 6.37 4.14 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 8.29 5.36 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.00 3.95 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 5.76 3.96 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 6.23 4.32 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.40 4.28 None nla-digbench-scaling/freire2_valuebound1.yml UNKNOWN: OverapproxCex 7.35 4.24 None nla-digbench-scaling/freire2_valuebound10.yml UNKNOWN: OverapproxCex 5.41 3.85 None nla-digbench-scaling/freire2_valuebound100.yml UNKNOWN: OverapproxCex 5.98 4.07 None nla-digbench-scaling/freire2_valuebound2.yml UNKNOWN: OverapproxCex 5.89 3.61 None nla-digbench-scaling/freire2_valuebound20.yml UNKNOWN: OverapproxCex 7.28 4.24 None nla-digbench-scaling/freire2_valuebound5.yml UNKNOWN: OverapproxCex 5.84 3.59 None nla-digbench-scaling/freire2_valuebound50.yml UNKNOWN: OverapproxCex 6.28 4.27 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 10.45 7.66 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 53.36 51.06 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 68.89 64.22 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 32.08 28.93 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 66.00 62.87 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 59.48 56.35 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 57.48 54.55 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 10.02 6.33 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 7.01 5.15 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 9.05 5.44 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 7.49 5.55 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 9.49 5.86 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 7.21 5.43 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 52.48 48.12 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 6.22 4.54 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 8.23 5.43 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.40 5.54 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 7.05 4.62 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 6.81 4.30 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 6.66 5.03 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 6.46 4.27 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 8.18 5.39 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 8.24 4.95 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 6.66 4.25 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 6.35 4.10 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 6.62 4.50 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 6.33 4.57 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 7.23 4.98 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 6.99 4.77 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 84.93 79.72 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 53.70 50.03 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 34.75 32.05 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 47.36 45.12 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 73.01 70.01 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 53.53 50.98 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 8.02 4.87 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 34.83 32.00 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 151.67 145.09 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.34 5.15 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 34.17 31.79 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 41.45 37.98 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 59.46 53.97 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 7.49 5.22 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 377.81 372.42 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 400.60 397.14 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 46.42 44.93 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 313.32 303.65 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 334.37 327.95 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 385.23 379.00 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 6.13 4.01 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 24.38 20.25 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 42.42 39.36 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 9.60 6.09 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 35.53 30.20 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 21.83 16.93 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 40.40 36.98 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 12.78 8.13 None nla-digbench-scaling/hard-ll_unwindbound10.yml OUT OF MEMORY 155.69 131.45 None nla-digbench-scaling/hard-ll_unwindbound100.yml OUT OF MEMORY 139.12 119.63 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 11.26 7.93 None nla-digbench-scaling/hard-ll_unwindbound20.yml TIMEOUT 900.66 876.90 None nla-digbench-scaling/hard-ll_unwindbound5.yml ERROR: EXCEPTION 274.55 255.24 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 900.77 864.71 None nla-digbench-scaling/hard-ll_valuebound1.yml true 15.95 9.76 None nla-digbench-scaling/hard-ll_valuebound10.yml ERROR: EXCEPTION 252.45 234.78 None nla-digbench-scaling/hard-ll_valuebound100.yml ERROR: EXCEPTION 260.96 246.86 None nla-digbench-scaling/hard-ll_valuebound2.yml OUT OF MEMORY 365.48 203.56 None nla-digbench-scaling/hard-ll_valuebound20.yml ERROR: EXCEPTION 258.33 235.34 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.45 876.43 None nla-digbench-scaling/hard-ll_valuebound50.yml ERROR: EXCEPTION 255.69 232.16 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 13.84 8.36 None nla-digbench-scaling/hard-u_unwindbound10.yml ERROR: EXCEPTION 686.00 661.39 None nla-digbench-scaling/hard-u_unwindbound100.yml ERROR: EXCEPTION 677.37 647.03 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 11.38 7.82 None nla-digbench-scaling/hard-u_unwindbound20.yml ERROR: EXCEPTION 656.12 640.94 None nla-digbench-scaling/hard-u_unwindbound5.yml ERROR: EXCEPTION 658.89 637.86 None nla-digbench-scaling/hard-u_unwindbound50.yml ERROR: EXCEPTION 616.95 597.28 None nla-digbench-scaling/hard-u_valuebound1.yml OUT OF MEMORY 525.96 451.33 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.43 887.96 None nla-digbench-scaling/hard-u_valuebound100.yml OUT OF MEMORY 241.59 213.63 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.87 848.39 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.35 888.58 None nla-digbench-scaling/hard-u_valuebound5.yml OUT OF MEMORY 108.65 74.93 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.42 880.34 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 9.35 5.98 None nla-digbench-scaling/hard2_unwindbound10.yml true 197.77 191.21 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 901.01 856.14 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 10.13 6.95 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.41 882.26 None nla-digbench-scaling/hard2_unwindbound5.yml true 191.42 185.47 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 901.13 847.06 None nla-digbench-scaling/hard2_valuebound1.yml true 11.84 8.07 None nla-digbench-scaling/hard2_valuebound10.yml TIMEOUT 900.53 873.86 None nla-digbench-scaling/hard2_valuebound100.yml TIMEOUT 900.56 862.28 None nla-digbench-scaling/hard2_valuebound2.yml true 17.76 12.86 None nla-digbench-scaling/hard2_valuebound20.yml TIMEOUT 900.40 881.02 None nla-digbench-scaling/hard2_valuebound5.yml TIMEOUT 900.88 760.49 None nla-digbench-scaling/hard2_valuebound50.yml TIMEOUT 900.46 874.32 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 5.13 3.17 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 4.79 2.67 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 5.22 2.85 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.91 2.76 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 4.87 2.68 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 5.15 2.81 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 5.14 2.79 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 5.37 3.26 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 5.30 2.92 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 5.54 3.25 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 5.69 3.32 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 5.14 3.19 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 5.09 2.78 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 5.05 3.17 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.44 895.70 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.44 897.08 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.45 895.49 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.43 898.05 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.43 897.11 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.45 895.16 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.45 897.05 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.36 897.25 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.32 896.56 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.33 895.04 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.32 897.03 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.33 895.19 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.30 897.73 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.32 896.90 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.38 895.87 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.38 896.68 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.38 895.46 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.37 897.52 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.36 897.48 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.39 895.28 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.37 897.41 None nla-digbench-scaling/lcm2_valuebound1.yml true 8.72 5.78 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.31 897.53 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.32 896.71 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.33 895.54 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.32 897.34 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.33 895.42 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.32 898.54 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 7.58 6.37 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 13.27 10.15 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 547.63 482.05 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 10.28 6.61 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 30.23 22.08 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 9.36 6.82 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 92.34 72.80 None nla-digbench-scaling/mannadiv_valuebound1.yml true 8.67 5.48 None nla-digbench-scaling/mannadiv_valuebound10.yml true 8.34 5.13 None nla-digbench-scaling/mannadiv_valuebound100.yml true 9.06 5.71 None nla-digbench-scaling/mannadiv_valuebound2.yml true 8.54 5.35 None nla-digbench-scaling/mannadiv_valuebound20.yml true 9.09 5.72 None nla-digbench-scaling/mannadiv_valuebound5.yml true 8.47 5.31 None nla-digbench-scaling/mannadiv_valuebound50.yml true 8.68 5.52 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 10.46 6.96 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml TIMEOUT 900.45 884.41 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.40 887.79 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml false(unreach-call) 34.86 27.83 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml TIMEOUT 900.35 893.09 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml TIMEOUT 900.44 881.11 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.39 890.96 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 13.91 10.49 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 900.36 885.18 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.45 878.70 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 900.42 885.26 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.39 886.32 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 900.42 882.90 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 900.43 879.13 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 6.62 4.69 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml TIMEOUT 900.40 884.91 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.38 887.22 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml false(unreach-call) 15.98 13.07 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml TIMEOUT 900.36 889.39 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml TIMEOUT 900.39 882.88 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.39 887.44 None nla-digbench-scaling/prodbin-ll_valuebound1.yml TIMEOUT 900.45 876.67 None nla-digbench-scaling/prodbin-ll_valuebound10.yml TIMEOUT 900.37 885.92 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 900.38 885.24 None nla-digbench-scaling/prodbin-ll_valuebound2.yml TIMEOUT 900.40 881.10 None nla-digbench-scaling/prodbin-ll_valuebound20.yml TIMEOUT 900.46 873.98 None nla-digbench-scaling/prodbin-ll_valuebound5.yml TIMEOUT 900.42 880.46 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 900.38 884.34 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 7.93 5.30 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 10.05 7.60 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 9.22 6.82 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 8.63 6.08 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 9.46 7.11 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 9.05 6.53 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 10.23 7.29 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 8.22 5.59 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 9.83 6.25 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 7.88 5.33 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 9.36 5.86 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 8.34 5.39 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 9.62 6.39 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 7.97 5.41 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 17.09 13.76 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 900.31 896.87 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 900.36 895.71 None nla-digbench-scaling/ps3-ll_unwindbound2.yml TIMEOUT 900.35 895.93 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 900.33 897.53 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 900.33 898.38 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 900.36 896.21 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 7.18 4.95 None nla-digbench-scaling/ps3-ll_valuebound10.yml TIMEOUT 900.32 897.21 None nla-digbench-scaling/ps3-ll_valuebound100.yml TIMEOUT 900.35 895.50 None nla-digbench-scaling/ps3-ll_valuebound2.yml TIMEOUT 900.33 897.77 None nla-digbench-scaling/ps3-ll_valuebound20.yml TIMEOUT 900.31 897.87 None nla-digbench-scaling/ps3-ll_valuebound5.yml TIMEOUT 900.29 897.60 None nla-digbench-scaling/ps3-ll_valuebound50.yml TIMEOUT 900.36 895.24 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 5.87 4.10 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 140.09 135.63 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.36 892.28 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 13.79 10.84 None nla-digbench-scaling/ps4-ll_unwindbound20.yml false(unreach-call) 83.70 74.28 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 19.72 17.06 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.44 873.59 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 9.89 7.12 None nla-digbench-scaling/ps4-ll_valuebound10.yml TIMEOUT 900.35 894.79 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.33 896.88 None nla-digbench-scaling/ps4-ll_valuebound2.yml TIMEOUT 900.34 896.28 None nla-digbench-scaling/ps4-ll_valuebound20.yml TIMEOUT 900.33 896.22 None nla-digbench-scaling/ps4-ll_valuebound5.yml TIMEOUT 900.32 896.46 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.36 894.71 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 6.95 5.03 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.33 897.44 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.36 894.81 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 11.99 9.89 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.33 897.49 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.33 897.76 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.32 897.48 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 9.88 6.77 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.34 894.88 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.35 896.94 None nla-digbench-scaling/ps5-ll_valuebound2.yml TIMEOUT 900.36 895.34 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.35 894.71 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.33 896.73 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.33 896.98 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 9.22 6.99 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.33 896.84 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.34 896.35 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 91.55 87.01 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.33 896.89 None nla-digbench-scaling/ps6-ll_unwindbound5.yml TIMEOUT 900.38 894.63 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.38 894.78 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 11.17 9.73 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 900.34 896.84 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.37 894.99 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 48.40 45.12 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 900.37 891.78 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 33.01 29.30 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.35 895.55 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.02 5.85 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 71.40 67.66 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 10.25 7.56 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 10.90 8.17 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 13.54 9.07 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 73.76 69.58 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 13.71 9.05 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 11.98 7.70 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 59.87 53.62 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 92.48 84.20 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 8.78 6.19 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 107.58 103.10 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 10.75 7.48 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 74.46 70.03 None ---------------------------------------------------------------------------------------------------------------------------- Run set 2 done 140624.04 19467.60 - Automizer AcceleratedInterpolation Jordan.reach-svcomp-all Run set 3 of 3 with options '--force-no-wrapper --core.log.level.for.class de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=WARN -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/automizer/acceleratedInterpolation/acceleratedInterpolationJordan_32.epf' and propertyfile '../../../trunk/examples/svcomp/properties/unreach-call.prp' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 10.30 6.55 None loops/array-2.yml false(unreach-call) 6.46 3.98 None loops/bubble_sort-1.yml true 5.64 3.74 None loops/bubble_sort-2.yml false(unreach-call) 14.11 8.12 None loops/compact.yml TIMEOUT 900.51 720.42 None loops/count_up_down-1.yml TIMEOUT 900.87 846.73 None loops/count_up_down-2.yml false(unreach-call) 6.11 3.71 None loops/eureka_01-1.yml false(unreach-call) 40.31 23.27 None loops/eureka_01-2.yml TIMEOUT 900.85 842.69 None loops/eureka_05.yml TIMEOUT 901.21 828.75 None loops/for_bounded_loop1.yml true 10.99 6.90 None loops/for_infinite_loop_1.yml true 6.95 4.27 None loops/for_infinite_loop_2.yml true 6.75 5.43 None loops/heavy-1.yml TIMEOUT 900.37 890.95 None loops/heavy-2.yml TIMEOUT 900.38 889.63 None loops/insertion_sort-1.yml false(unreach-call) 111.08 77.06 None loops/insertion_sort-2.yml TIMEOUT 900.72 827.80 None loops/invert_string-1.yml false(unreach-call) 12.28 7.38 None loops/invert_string-3.yml true 40.87 28.17 None loops/linear_sea.ch.yml TIMEOUT 900.46 876.75 None loops/linear_search.yml TIMEOUT 900.42 883.76 None loops/lu.cmp.yml true 12.10 6.54 None loops/ludcmp.yml UNKNOWN: OverapproxCex 9.84 6.03 None loops/matrix-1.yml unknown 6.93 4.04 None loops/matrix-2.yml unknown 5.86 3.81 None loops/n.c11.yml true 12.81 7.13 None loops/n.c24.yml TIMEOUT 900.62 855.23 None loops/n.c40.yml true 9.00 5.14 None loops/nec11.yml false(unreach-call) 7.19 4.43 None loops/nec20.yml false(unreach-call) 9.90 5.52 None loops/nec40.yml true 9.06 4.94 None loops/s3.yml TIMEOUT 900.41 883.26 None loops/string-1.yml true 39.49 22.92 None loops/string-2.yml UNKNOWN: OverapproxCex 9.89 5.44 None loops/sum01-1.yml TIMEOUT 901.08 779.33 None loops/sum01-2.yml TIMEOUT 900.27 789.94 None loops/sum01_bug02.yml false(unreach-call) 10.90 6.26 None loops/sum01_bug02_sum01_bug02_base.case.yml TIMEOUT 900.33 804.38 None loops/sum03-1.yml TIMEOUT 900.88 870.34 None loops/sum03-2.yml true 10.68 5.90 None loops/sum04-1.yml true 21.86 12.23 None loops/sum04-2.yml true 16.38 9.81 None loops/sum_array-1.yml false(unreach-call) 6.96 4.49 None loops/sum_array-2.yml TIMEOUT 900.74 841.35 None loops/terminator_01.yml false(unreach-call) 5.87 3.43 None loops/terminator_02-1.yml false(unreach-call) 9.02 5.51 None loops/terminator_02-2.yml true 7.44 4.66 None loops/terminator_03-1.yml false(unreach-call) 7.93 4.89 None loops/terminator_03-2.yml true 8.81 5.45 None loops/trex01-1.yml false(unreach-call) 8.52 5.09 None loops/trex01-2.yml true 8.38 5.04 None loops/trex02-1.yml true 7.24 4.72 None loops/trex02-2.yml false(unreach-call) 9.76 5.61 None loops/trex03-1.yml false(unreach-call) 8.47 5.15 None loops/trex03-2.yml true 6.55 3.73 None loops/trex04.yml true 9.96 5.41 None loops/veris.c_NetBSD-libc_loop.yml true 10.10 5.84 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 13.87 7.75 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 7.06 3.97 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 11.54 6.65 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml unknown 15.75 8.64 None loops/vogal-1.yml TIMEOUT 900.72 844.06 None loops/vogal-2.yml false(unreach-call) 671.84 605.79 None loops/while_infinite_loop_1.yml true 10.06 5.67 None loops/while_infinite_loop_2.yml true 9.06 5.36 None loops/while_infinite_loop_3.yml true 11.45 6.51 None loops/while_infinite_loop_4.yml false(unreach-call) 9.36 5.06 None loop-acceleration/array_1-1.yml TIMEOUT 900.86 742.50 None loop-acceleration/array_1-2.yml TIMEOUT 900.83 746.54 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.71 753.94 None loop-acceleration/array_2-1.yml TIMEOUT 900.55 867.19 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.75 749.42 None loop-acceleration/array_2-2.yml TIMEOUT 900.71 765.11 None loop-acceleration/array_3-1.yml true 7.52 4.62 None loop-acceleration/array_3-2.yml TIMEOUT 900.52 788.23 None loop-acceleration/array_4.yml TIMEOUT 900.48 797.96 None loop-acceleration/const_1-1.yml true 6.72 4.04 None loop-acceleration/const_1-2.yml false(unreach-call) 6.12 4.47 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.56 872.02 None loop-acceleration/diamond_1-2.yml false(unreach-call) 7.19 4.25 None loop-acceleration/diamond_2-2.yml unknown 9.10 5.16 None loop-acceleration/functions_1-1.yml TIMEOUT 900.66 871.16 None loop-acceleration/functions_1-2.yml false(unreach-call) 7.61 4.71 None loop-acceleration/multivar_1-1.yml true 7.09 4.11 None loop-acceleration/multivar_1-2.yml false(unreach-call) 5.53 3.65 None loop-acceleration/nested_1-1.yml TIMEOUT 900.52 762.65 None loop-acceleration/nested_1-2.yml false(unreach-call) 25.64 14.35 None loop-acceleration/overflow_1-1.yml true 29.83 22.11 None loop-acceleration/phases_1-1.yml TIMEOUT 900.19 793.75 None loop-acceleration/phases_1-2.yml TIMEOUT 900.37 791.72 None loop-acceleration/phases_2-1.yml false(unreach-call) 7.49 4.12 None loop-acceleration/phases_2-2.yml TIMEOUT 900.71 867.89 None loop-acceleration/simple_1-1.yml false(unreach-call) 10.72 6.10 None loop-acceleration/simple_1-2.yml true 13.41 7.43 None loop-acceleration/simple_2-1.yml true 11.70 6.52 None loop-acceleration/simple_2-2.yml false(unreach-call) 9.91 5.60 None loop-acceleration/simple_3-1.yml false(unreach-call) 7.84 4.50 None loop-acceleration/simple_3-2.yml true 13.95 7.92 None loop-acceleration/simple_4-1.yml false(unreach-call) 10.37 6.47 None loop-acceleration/simple_4-2.yml true 37.54 29.87 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 9.61 5.74 None loop-acceleration/underapprox_1-2.yml true 21.93 14.16 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 9.37 5.40 None loop-acceleration/underapprox_2-2.yml true 10.40 6.27 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.23 724.26 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 6.56 3.86 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.69 774.77 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.99 810.09 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 15.78 10.23 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 15.04 9.22 None loop-crafted/simple_array_index_value_4.yml true 14.38 8.16 None loop-crafted/simple_vardep_1.yml true 7.28 4.57 None loop-crafted/simple_vardep_2.yml true 9.82 5.35 None loop-invgen/MADWiFi-encode_ie_ok.yml true 110.51 104.64 None loop-invgen/NetBSD_loop.yml true 9.94 6.10 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 29.99 17.08 None loop-invgen/SpamAssassin-loop.yml true 15.89 8.95 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 28.47 16.98 None loop-invgen/apache-escape-absolute.yml true 15.96 9.20 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 32.33 18.23 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 59.59 39.28 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 102.34 70.56 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 26.52 14.54 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 21.89 13.54 None loop-invgen/apache-get-tag.yml true 18.67 9.92 None loop-invgen/down.yml TIMEOUT 900.45 867.86 None loop-invgen/fragtest_simple.yml true 11.75 6.78 None loop-invgen/half_2.yml TIMEOUT 900.97 824.45 None loop-invgen/heapsort.yml true 129.33 97.17 None loop-invgen/id_build.i.p+nlh-reducer.yml true 18.98 12.19 None loop-invgen/id_build.i.p+sep-reducer.yml true 19.73 11.80 None loop-invgen/id_build.i.v+lhb-reducer.yml true 9.85 5.75 None loop-invgen/id_build.yml true 7.30 4.57 None loop-invgen/id_trans.yml false(unreach-call) 7.08 4.02 None loop-invgen/large_const.yml unknown 6.97 5.01 None loop-invgen/nest-if3.yml true 7.02 4.63 None loop-invgen/nested6.yml true 42.79 38.16 None loop-invgen/nested9.yml true 8.61 5.10 None loop-invgen/sendmail-close-angle.yml true 53.89 45.27 None loop-invgen/seq-3.yml TIMEOUT 900.43 867.84 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.33 791.42 None loop-invgen/up.yml TIMEOUT 900.43 871.87 None loop-lit/afnp2014.yml unknown 19.91 16.73 None loop-lit/bhmr2007.yml true 14.95 8.76 None loop-lit/cggmp2005.yml true 10.06 6.13 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.76 845.91 None loop-lit/cggmp2005b.yml unknown 15.12 11.32 None loop-lit/css2003.yml true 7.29 4.16 None loop-lit/ddlm2013.yml unknown 6.87 4.54 None loop-lit/gcnr2008.yml false(unreach-call) 6.16 3.89 None loop-lit/gj2007.c.i.p+lhb-reducer.yml TIMEOUT 901.08 800.80 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TIMEOUT 900.43 773.44 None loop-lit/gj2007.yml TIMEOUT 900.79 744.02 None loop-lit/gj2007b.yml true 16.23 8.86 None loop-lit/gr2006.yml true 19.24 10.52 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml unknown 128.21 121.00 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml unknown 240.48 232.14 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 141.72 134.98 None loop-lit/gsv2008.yml unknown 169.35 164.66 None loop-lit/hhk2008.yml true 15.32 8.74 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 17.89 10.00 None loop-lit/jm2006.yml TIMEOUT 900.81 827.34 None loop-lit/jm2006_variant.yml TIMEOUT 900.81 834.77 None loop-lit/mcmillan2006.yml TIMEOUT 900.06 789.93 None loop-new/count_by_1.yml TIMEOUT 900.81 770.56 None loop-new/count_by_1_variant.yml true 10.63 6.24 None loop-new/count_by_2.yml TIMEOUT 900.99 765.30 None loop-new/count_by_k.yml unknown 12.70 8.84 None loop-new/count_by_nondet.yml true 17.96 10.34 None loop-new/gauss_sum.i.p+cfa-reducer.yml unknown 7.47 4.77 None loop-new/gauss_sum.i.p+lhb-reducer.yml unknown 8.21 5.23 None loop-new/gauss_sum.i.v+cfa-reducer.yml unknown 6.72 4.23 None loop-new/gauss_sum.yml unknown 8.68 5.06 None loop-new/half.yml TIMEOUT 900.41 877.85 None loop-new/nested-1.yml TIMEOUT 900.41 782.22 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 7.19 3.91 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.77 3.91 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 7.26 4.18 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 249.74 178.49 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TIMEOUT 900.38 885.65 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 210.65 165.86 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 40.48 30.66 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.47 3.37 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TIMEOUT 900.46 879.73 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 9.94 6.26 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 9.11 5.74 None loop-industry-pattern/mod3.yml TIMEOUT 900.45 881.06 None loop-industry-pattern/nested-3.yml TIMEOUT 900.64 749.69 None loop-industry-pattern/ofuf_1.yml true 17.93 10.15 None loop-industry-pattern/ofuf_2.yml unknown 11.69 6.57 None loop-industry-pattern/ofuf_3.yml unknown 11.11 6.56 None loop-industry-pattern/ofuf_4.yml true 20.43 11.53 None loop-industry-pattern/ofuf_5.yml true 20.59 11.92 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.29 804.61 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.76 772.10 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.54 724.90 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.29 726.50 None loops-crafted-1/Mono5_1.yml false(unreach-call) 43.69 39.48 None loops-crafted-1/Mono6_1.yml false(unreach-call) 33.88 27.68 None loops-crafted-1/discover_list.yml TIMEOUT 900.48 787.96 None loops-crafted-1/iftelse.yml true 11.30 6.51 None loops-crafted-1/in-de20.yml TIMEOUT 901.36 851.84 None loops-crafted-1/in-de31.yml OUT OF MEMORY 732.18 489.52 None loops-crafted-1/in-de32.yml TIMEOUT 900.45 876.97 None loops-crafted-1/in-de41.yml OUT OF MEMORY 545.22 468.83 None loops-crafted-1/in-de42.yml TIMEOUT 900.37 884.60 None loops-crafted-1/in-de51.yml TIMEOUT 900.62 848.60 None loops-crafted-1/in-de52.yml TIMEOUT 900.46 878.58 None loops-crafted-1/in-de61.yml OUT OF MEMORY 163.73 131.22 None loops-crafted-1/in-de62.yml TIMEOUT 900.38 886.61 None loops-crafted-1/loopv1.yml true 7.88 5.08 None loops-crafted-1/loopv2.yml true 9.64 5.42 None loops-crafted-1/loopv3.yml true 515.28 491.08 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.83 746.24 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.96 818.02 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.30 765.41 None loops-crafted-1/mono-crafted_12.yml true 42.24 37.77 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.79 855.38 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.17 798.96 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.52 758.98 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.88 774.58 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.11 800.20 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.93 830.09 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.83 743.49 None loops-crafted-1/nested3-1.yml TIMEOUT 900.75 864.82 None loops-crafted-1/nested3-2.yml false(unreach-call) 9.10 5.82 None loops-crafted-1/nested5-1.yml true 25.34 15.13 None loops-crafted-1/nested5-2.yml false(unreach-call) 9.13 5.73 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 900.74 842.71 None loops-crafted-1/nested_delay_notd2.yml TIMEOUT 900.69 752.09 None loops-crafted-1/net_reset.yml true 14.52 8.13 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.61 840.28 None loops-crafted-1/sum_natnum.yml unknown 7.69 4.92 None loops-crafted-1/sumt2.yml TIMEOUT 900.46 871.49 None loops-crafted-1/sumt3.yml TIMEOUT 900.40 884.08 None loops-crafted-1/sumt4.yml TIMEOUT 900.51 872.30 None loops-crafted-1/sumt5.yml TIMEOUT 900.47 879.23 None loops-crafted-1/sumt6.yml TIMEOUT 900.38 887.55 None loops-crafted-1/sumt7.yml TIMEOUT 900.44 877.89 None loops-crafted-1/sumt8.yml true 14.04 8.53 None loops-crafted-1/sumt9.yml TIMEOUT 900.42 888.14 None loops-crafted-1/theatreSquare.yml unknown 11.93 6.88 None loops-crafted-1/vnew1.yml TIMEOUT 900.38 888.24 None loops-crafted-1/vnew2.yml unknown 7.75 4.77 None loops-crafted-1/watermelon.yml TIMEOUT 900.53 878.40 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 5.46 3.45 None loop-invariants/const.yml true 6.29 3.61 None loop-invariants/eq1.yml true 6.43 3.96 None loop-invariants/eq2.yml true 8.23 5.05 None loop-invariants/even.yml true 9.40 5.19 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 901.04 800.38 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 11.54 6.48 None loop-invariants/mod4.yml true 14.59 8.12 None loop-invariants/odd.yml true 14.33 7.87 None loop-simple/deep-nested.yml TIMEOUT 901.09 800.28 None loop-simple/nested_1.yml true 10.49 7.89 None loop-simple/nested_1b.yml false(unreach-call) 6.84 4.35 None loop-simple/nested_2.yml true 94.75 78.19 None loop-simple/nested_3.yml TIMEOUT 900.74 854.16 None loop-simple/nested_4.yml TIMEOUT 901.06 733.83 None loop-simple/nested_5.yml TIMEOUT 900.55 860.03 None loop-simple/nested_6.yml TIMEOUT 900.57 859.32 None loop-zilu/benchmark02_linear.yml true 6.49 3.96 None loop-zilu/benchmark04_conjunctive.yml true 7.62 4.39 None loop-zilu/benchmark05_conjunctive.yml true 9.35 5.69 None loop-zilu/benchmark09_conjunctive.yml true 12.17 6.83 None loop-zilu/benchmark10_conjunctive.yml unknown 10.14 7.10 None loop-zilu/benchmark11_linear.yml true 11.71 6.69 None loop-zilu/benchmark14_linear.yml true 6.69 3.85 None loop-zilu/benchmark17_conjunctive.yml true 6.66 3.89 None loop-zilu/benchmark18_conjunctive.yml true 12.13 6.49 None loop-zilu/benchmark19_conjunctive.yml TIMEOUT 900.77 855.93 None loop-zilu/benchmark20_conjunctive.yml unknown 13.56 8.55 None loop-zilu/benchmark23_conjunctive.yml TIMEOUT 900.65 784.73 None loop-zilu/benchmark25_linear.yml true 15.74 9.47 None loop-zilu/benchmark26_linear.yml true 7.72 4.39 None loop-zilu/benchmark32_linear.yml true 7.45 4.18 None loop-zilu/benchmark33_linear.yml true 6.99 4.44 None loop-zilu/benchmark34_conjunctive.yml TIMEOUT 900.75 864.85 None loop-zilu/benchmark35_linear.yml true 7.92 4.38 None loop-zilu/benchmark37_conjunctive.yml true 7.50 4.26 None loop-zilu/benchmark43_conjunctive.yml true 9.95 6.56 None loop-zilu/benchmark51_polynomial.yml true 7.59 4.72 None loop-zilu/benchmark52_polynomial.yml unknown 5.94 3.81 None verifythis/duplets.yml true 64.18 44.00 None verifythis/elimination_max.yml true 13.49 7.64 None verifythis/lcp.yml ERROR: EXCEPTION 19.83 11.66 None verifythis/prefixsum_iter.yml OUT OF MEMORY 638.13 529.53 None verifythis/tree_del_iter.yml false(unreach-call) 19.02 10.52 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 21.26 11.59 None nla-digbench/bresenham-ll.yml unknown 8.47 4.76 None nla-digbench/cohencu-ll.yml unknown 10.42 6.00 None nla-digbench/cohendiv-ll.yml unknown 10.03 5.56 None nla-digbench/dijkstra-u.yml unknown 73.62 64.67 None nla-digbench/divbin.yml unknown 9.44 5.47 None nla-digbench/divbin2.yml unknown 6.64 3.84 None nla-digbench/egcd-ll.yml unknown 8.71 5.24 None nla-digbench/egcd2-ll.yml unknown 7.52 4.21 None nla-digbench/egcd3-ll.yml unknown 8.12 4.72 None nla-digbench/fermat1-ll.yml unknown 9.17 5.21 None nla-digbench/fermat2-ll.yml unknown 7.09 4.42 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 9.07 5.31 None nla-digbench/freire2.yml unknown 7.81 4.52 None nla-digbench/geo1-ll.yml unknown 9.73 5.64 None nla-digbench/geo1-u.yml unknown 7.06 3.99 None nla-digbench/geo2-ll.yml unknown 8.77 5.11 None nla-digbench/geo3-ll.yml unknown 6.29 3.61 None nla-digbench/hard-ll.yml unknown 11.52 6.42 None nla-digbench/hard-u.yml unknown 8.79 4.99 None nla-digbench/hard2.yml unknown 8.47 4.91 None nla-digbench/knuth.yml ERROR: EXCEPTION 6.21 3.83 None nla-digbench/lcm1.yml unknown 7.78 4.68 None nla-digbench/lcm2.yml unknown 9.90 5.79 None nla-digbench/mannadiv.yml unknown 8.18 4.94 None nla-digbench/prod4br-ll.yml unknown 10.82 6.04 None nla-digbench/prodbin-ll.yml unknown 7.38 4.22 None nla-digbench/ps2-ll.yml unknown 8.43 4.94 None nla-digbench/ps3-ll.yml unknown 6.27 3.55 None nla-digbench/ps4-ll.yml unknown 6.84 4.14 None nla-digbench/ps5-ll.yml unknown 8.10 4.91 None nla-digbench/ps6-ll.yml unknown 14.11 11.64 None nla-digbench/sqrt1-ll.yml unknown 7.33 4.66 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml unknown 8.29 5.08 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml unknown 6.57 4.19 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml unknown 9.44 5.38 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml unknown 7.85 4.68 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml unknown 6.65 4.25 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml unknown 7.60 4.59 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml unknown 9.54 5.45 None nla-digbench-scaling/bresenham-ll_valuebound1.yml unknown 6.56 3.98 None nla-digbench-scaling/bresenham-ll_valuebound10.yml unknown 6.44 4.02 None nla-digbench-scaling/bresenham-ll_valuebound100.yml unknown 8.07 4.99 None nla-digbench-scaling/bresenham-ll_valuebound2.yml unknown 6.51 3.76 None nla-digbench-scaling/bresenham-ll_valuebound20.yml unknown 6.14 3.51 None nla-digbench-scaling/bresenham-ll_valuebound5.yml unknown 8.80 5.35 None nla-digbench-scaling/bresenham-ll_valuebound50.yml unknown 6.76 4.05 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml unknown 8.56 5.03 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml unknown 10.57 6.14 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml unknown 8.16 4.98 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml unknown 7.48 4.45 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml unknown 10.38 5.96 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml unknown 8.07 4.60 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml unknown 8.36 4.71 None nla-digbench-scaling/cohencu-ll_valuebound1.yml unknown 9.58 5.34 None nla-digbench-scaling/cohencu-ll_valuebound10.yml unknown 7.89 4.77 None nla-digbench-scaling/cohencu-ll_valuebound100.yml unknown 9.69 5.65 None nla-digbench-scaling/cohencu-ll_valuebound2.yml unknown 7.71 4.33 None nla-digbench-scaling/cohencu-ll_valuebound20.yml unknown 7.67 4.59 None nla-digbench-scaling/cohencu-ll_valuebound5.yml unknown 9.51 5.24 None nla-digbench-scaling/cohencu-ll_valuebound50.yml unknown 7.10 4.23 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml unknown 6.98 3.88 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml unknown 8.72 5.14 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml unknown 7.38 4.39 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml unknown 6.61 4.26 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml unknown 8.37 4.95 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml unknown 6.75 3.90 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml unknown 6.96 3.94 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml unknown 8.71 4.75 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml unknown 6.79 4.23 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml unknown 8.16 4.75 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml unknown 7.46 4.52 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml unknown 7.29 4.50 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml unknown 10.45 6.07 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml unknown 6.67 4.14 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml unknown 14.48 10.81 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml unknown 13.53 9.61 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml unknown 15.95 12.53 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml unknown 11.25 8.17 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml unknown 18.04 14.15 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml unknown 14.53 11.07 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml unknown 15.01 11.30 None nla-digbench-scaling/dijkstra-u_valuebound1.yml unknown 63.71 59.44 None nla-digbench-scaling/dijkstra-u_valuebound10.yml unknown 51.99 47.20 None nla-digbench-scaling/dijkstra-u_valuebound100.yml unknown 61.31 54.62 None nla-digbench-scaling/dijkstra-u_valuebound2.yml unknown 65.23 59.72 None nla-digbench-scaling/dijkstra-u_valuebound20.yml unknown 64.34 58.94 None nla-digbench-scaling/dijkstra-u_valuebound5.yml unknown 64.69 59.14 None nla-digbench-scaling/dijkstra-u_valuebound50.yml unknown 58.23 52.66 None nla-digbench-scaling/divbin2_unwindbound1.yml unknown 9.33 5.53 None nla-digbench-scaling/divbin2_unwindbound10.yml unknown 10.42 5.88 None nla-digbench-scaling/divbin2_unwindbound100.yml unknown 8.27 5.11 None nla-digbench-scaling/divbin2_unwindbound2.yml unknown 8.25 4.91 None nla-digbench-scaling/divbin2_unwindbound20.yml unknown 9.99 5.73 None nla-digbench-scaling/divbin2_unwindbound5.yml unknown 8.13 4.53 None nla-digbench-scaling/divbin2_unwindbound50.yml unknown 7.59 4.51 None nla-digbench-scaling/divbin2_valuebound1.yml unknown 8.50 4.93 None nla-digbench-scaling/divbin2_valuebound10.yml unknown 8.48 5.06 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 6.49 3.93 None nla-digbench-scaling/divbin2_valuebound2.yml unknown 7.08 3.98 None nla-digbench-scaling/divbin2_valuebound20.yml unknown 7.55 4.66 None nla-digbench-scaling/divbin2_valuebound5.yml unknown 8.75 5.51 None nla-digbench-scaling/divbin2_valuebound50.yml unknown 6.70 3.85 None nla-digbench-scaling/divbin_unwindbound1.yml unknown 7.84 4.44 None nla-digbench-scaling/divbin_unwindbound10.yml unknown 9.48 5.45 None nla-digbench-scaling/divbin_unwindbound100.yml unknown 7.43 4.65 None nla-digbench-scaling/divbin_unwindbound2.yml unknown 7.74 4.28 None nla-digbench-scaling/divbin_unwindbound20.yml unknown 8.64 5.20 None nla-digbench-scaling/divbin_unwindbound5.yml unknown 7.00 4.33 None nla-digbench-scaling/divbin_unwindbound50.yml unknown 8.20 5.05 None nla-digbench-scaling/divbin_valuebound1.yml unknown 10.15 5.86 None nla-digbench-scaling/divbin_valuebound10.yml unknown 7.75 4.56 None nla-digbench-scaling/divbin_valuebound100.yml unknown 9.52 5.55 None nla-digbench-scaling/divbin_valuebound2.yml unknown 7.96 4.67 None nla-digbench-scaling/divbin_valuebound20.yml unknown 7.43 4.42 None nla-digbench-scaling/divbin_valuebound5.yml unknown 9.37 5.40 None nla-digbench-scaling/divbin_valuebound50.yml unknown 8.85 5.18 None nla-digbench-scaling/egcd-ll_unwindbound1.yml unknown 8.59 4.83 None nla-digbench-scaling/egcd-ll_unwindbound10.yml unknown 7.87 4.67 None nla-digbench-scaling/egcd-ll_unwindbound100.yml unknown 10.49 5.98 None nla-digbench-scaling/egcd-ll_unwindbound2.yml unknown 8.15 4.93 None nla-digbench-scaling/egcd-ll_unwindbound20.yml unknown 7.40 4.23 None nla-digbench-scaling/egcd-ll_unwindbound5.yml unknown 13.95 7.69 None nla-digbench-scaling/egcd-ll_unwindbound50.yml unknown 9.64 5.69 None nla-digbench-scaling/egcd-ll_valuebound1.yml unknown 8.41 4.87 None nla-digbench-scaling/egcd-ll_valuebound10.yml unknown 7.28 4.15 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 9.90 5.78 None nla-digbench-scaling/egcd-ll_valuebound2.yml unknown 6.30 3.60 None nla-digbench-scaling/egcd-ll_valuebound20.yml unknown 6.74 4.08 None nla-digbench-scaling/egcd-ll_valuebound5.yml unknown 7.14 4.29 None nla-digbench-scaling/egcd-ll_valuebound50.yml unknown 8.53 4.98 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml unknown 7.89 4.44 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml unknown 6.50 4.18 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml unknown 10.64 6.12 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml unknown 6.43 3.79 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml unknown 10.04 5.71 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml unknown 5.99 3.88 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml unknown 8.30 5.41 None nla-digbench-scaling/egcd2-ll_valuebound1.yml unknown 8.17 4.98 None nla-digbench-scaling/egcd2-ll_valuebound10.yml unknown 7.10 4.04 None nla-digbench-scaling/egcd2-ll_valuebound100.yml unknown 6.88 4.24 None nla-digbench-scaling/egcd2-ll_valuebound2.yml unknown 12.12 6.83 None nla-digbench-scaling/egcd2-ll_valuebound20.yml unknown 5.65 5.07 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 10.18 5.99 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 7.69 4.35 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml unknown 7.92 4.99 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml unknown 9.86 5.32 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml unknown 6.80 4.24 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml unknown 5.90 4.61 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml unknown 7.53 4.66 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml unknown 6.27 3.69 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml unknown 9.18 5.50 None nla-digbench-scaling/egcd3-ll_valuebound1.yml unknown 9.96 5.81 None nla-digbench-scaling/egcd3-ll_valuebound10.yml unknown 8.29 4.91 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 9.38 5.44 None nla-digbench-scaling/egcd3-ll_valuebound2.yml unknown 5.86 3.86 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 6.23 3.63 None nla-digbench-scaling/egcd3-ll_valuebound5.yml unknown 8.01 4.40 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 9.88 5.86 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml unknown 7.13 4.32 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml unknown 8.66 5.12 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml unknown 8.83 5.00 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml unknown 5.74 3.29 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml unknown 5.45 3.43 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml unknown 6.61 4.18 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml unknown 7.36 4.45 None nla-digbench-scaling/fermat1-ll_valuebound1.yml unknown 6.32 4.19 None nla-digbench-scaling/fermat1-ll_valuebound10.yml unknown 6.34 3.57 None nla-digbench-scaling/fermat1-ll_valuebound100.yml unknown 11.44 6.54 None nla-digbench-scaling/fermat1-ll_valuebound2.yml unknown 9.79 5.68 None nla-digbench-scaling/fermat1-ll_valuebound20.yml unknown 10.25 5.71 None nla-digbench-scaling/fermat1-ll_valuebound5.yml unknown 7.65 4.70 None nla-digbench-scaling/fermat1-ll_valuebound50.yml unknown 8.21 5.03 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml unknown 5.27 3.31 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml unknown 6.17 3.70 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml unknown 8.78 5.07 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml unknown 9.24 5.27 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml unknown 11.27 6.28 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml unknown 7.28 4.47 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml unknown 5.69 3.26 None nla-digbench-scaling/fermat2-ll_valuebound1.yml unknown 6.67 3.85 None nla-digbench-scaling/fermat2-ll_valuebound10.yml unknown 8.33 4.98 None nla-digbench-scaling/fermat2-ll_valuebound100.yml unknown 6.55 3.71 None nla-digbench-scaling/fermat2-ll_valuebound2.yml unknown 9.81 5.37 None nla-digbench-scaling/fermat2-ll_valuebound20.yml unknown 7.02 4.42 None nla-digbench-scaling/fermat2-ll_valuebound5.yml unknown 8.54 5.09 None nla-digbench-scaling/fermat2-ll_valuebound50.yml unknown 6.58 3.96 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 13.36 7.44 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 8.76 5.11 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 7.97 4.83 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 6.82 4.21 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 6.69 4.92 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 10.26 5.97 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 8.43 5.07 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 7.87 4.32 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 7.28 4.26 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 6.45 3.74 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 10.45 5.99 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 5.94 3.67 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 8.59 5.01 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 9.68 5.63 None nla-digbench-scaling/freire2_unwindbound1.yml unknown 8.26 4.49 None nla-digbench-scaling/freire2_unwindbound10.yml unknown 5.91 3.63 None nla-digbench-scaling/freire2_unwindbound100.yml unknown 6.95 4.20 None nla-digbench-scaling/freire2_unwindbound2.yml unknown 6.40 3.65 None nla-digbench-scaling/freire2_unwindbound20.yml unknown 10.83 6.47 None nla-digbench-scaling/freire2_unwindbound5.yml unknown 8.34 6.36 None nla-digbench-scaling/freire2_unwindbound50.yml unknown 5.80 3.76 None nla-digbench-scaling/freire2_valuebound1.yml unknown 7.58 4.26 None nla-digbench-scaling/freire2_valuebound10.yml unknown 6.95 3.91 None nla-digbench-scaling/freire2_valuebound100.yml unknown 6.19 3.56 None nla-digbench-scaling/freire2_valuebound2.yml unknown 9.76 5.67 None nla-digbench-scaling/freire2_valuebound20.yml unknown 6.77 3.83 None nla-digbench-scaling/freire2_valuebound5.yml unknown 5.78 3.57 None nla-digbench-scaling/freire2_valuebound50.yml unknown 7.73 4.87 None nla-digbench-scaling/geo1-ll_unwindbound1.yml unknown 6.48 3.82 None nla-digbench-scaling/geo1-ll_unwindbound10.yml unknown 11.23 6.44 None nla-digbench-scaling/geo1-ll_unwindbound100.yml unknown 8.05 7.41 None nla-digbench-scaling/geo1-ll_unwindbound2.yml unknown 9.79 5.65 None nla-digbench-scaling/geo1-ll_unwindbound20.yml unknown 7.25 4.28 None nla-digbench-scaling/geo1-ll_unwindbound5.yml unknown 6.32 3.70 None nla-digbench-scaling/geo1-ll_unwindbound50.yml unknown 6.44 4.12 None nla-digbench-scaling/geo1-ll_valuebound1.yml unknown 7.75 4.44 None nla-digbench-scaling/geo1-ll_valuebound10.yml unknown 6.60 4.07 None nla-digbench-scaling/geo1-ll_valuebound100.yml unknown 11.73 6.59 None nla-digbench-scaling/geo1-ll_valuebound2.yml unknown 6.99 4.25 None nla-digbench-scaling/geo1-ll_valuebound20.yml unknown 9.82 5.64 None nla-digbench-scaling/geo1-ll_valuebound5.yml unknown 6.59 4.00 None nla-digbench-scaling/geo1-ll_valuebound50.yml unknown 8.42 4.91 None nla-digbench-scaling/geo1-u_unwindbound1.yml unknown 8.01 4.95 None nla-digbench-scaling/geo1-u_unwindbound10.yml unknown 6.47 3.91 None nla-digbench-scaling/geo1-u_unwindbound100.yml unknown 8.66 5.63 None nla-digbench-scaling/geo1-u_unwindbound2.yml unknown 7.59 4.52 None nla-digbench-scaling/geo1-u_unwindbound20.yml unknown 6.45 3.69 None nla-digbench-scaling/geo1-u_unwindbound5.yml unknown 9.45 5.19 None nla-digbench-scaling/geo1-u_unwindbound50.yml unknown 8.25 5.01 None nla-digbench-scaling/geo1-u_valuebound1.yml unknown 10.52 6.26 None nla-digbench-scaling/geo1-u_valuebound10.yml unknown 7.77 4.91 None nla-digbench-scaling/geo1-u_valuebound100.yml unknown 6.05 3.47 None nla-digbench-scaling/geo1-u_valuebound2.yml unknown 7.40 4.18 None nla-digbench-scaling/geo1-u_valuebound20.yml unknown 5.83 3.39 None nla-digbench-scaling/geo1-u_valuebound5.yml unknown 7.77 5.44 None nla-digbench-scaling/geo1-u_valuebound50.yml unknown 9.51 5.59 None nla-digbench-scaling/geo2-ll_unwindbound1.yml unknown 9.37 5.37 None nla-digbench-scaling/geo2-ll_unwindbound10.yml unknown 6.19 3.54 None nla-digbench-scaling/geo2-ll_unwindbound100.yml unknown 7.80 4.72 None nla-digbench-scaling/geo2-ll_unwindbound2.yml unknown 5.38 3.95 None nla-digbench-scaling/geo2-ll_unwindbound20.yml unknown 9.31 5.15 None nla-digbench-scaling/geo2-ll_unwindbound5.yml unknown 7.26 4.33 None nla-digbench-scaling/geo2-ll_unwindbound50.yml unknown 5.89 3.60 None nla-digbench-scaling/geo2-ll_valuebound1.yml unknown 7.12 4.81 None nla-digbench-scaling/geo2-ll_valuebound10.yml unknown 5.82 4.21 None nla-digbench-scaling/geo2-ll_valuebound100.yml unknown 9.77 5.66 None nla-digbench-scaling/geo2-ll_valuebound2.yml unknown 9.57 5.46 None nla-digbench-scaling/geo2-ll_valuebound20.yml unknown 7.70 4.67 None nla-digbench-scaling/geo2-ll_valuebound5.yml unknown 7.54 4.92 None nla-digbench-scaling/geo2-ll_valuebound50.yml unknown 9.32 5.62 None nla-digbench-scaling/geo3-ll_unwindbound1.yml unknown 5.40 3.15 None nla-digbench-scaling/geo3-ll_unwindbound10.yml unknown 6.46 4.22 None nla-digbench-scaling/geo3-ll_unwindbound100.yml unknown 5.50 3.40 None nla-digbench-scaling/geo3-ll_unwindbound2.yml unknown 7.37 4.45 None nla-digbench-scaling/geo3-ll_unwindbound20.yml unknown 5.91 3.72 None nla-digbench-scaling/geo3-ll_unwindbound5.yml unknown 7.95 4.40 None nla-digbench-scaling/geo3-ll_unwindbound50.yml unknown 9.03 5.20 None nla-digbench-scaling/geo3-ll_valuebound1.yml unknown 6.97 3.89 None nla-digbench-scaling/geo3-ll_valuebound10.yml unknown 11.11 6.34 None nla-digbench-scaling/geo3-ll_valuebound100.yml unknown 5.81 3.73 None nla-digbench-scaling/geo3-ll_valuebound2.yml unknown 7.81 4.99 None nla-digbench-scaling/geo3-ll_valuebound20.yml unknown 6.49 3.74 None nla-digbench-scaling/geo3-ll_valuebound5.yml unknown 7.98 4.92 None nla-digbench-scaling/geo3-ll_valuebound50.yml unknown 6.87 4.04 None nla-digbench-scaling/hard-ll_unwindbound1.yml unknown 9.40 5.54 None nla-digbench-scaling/hard-ll_unwindbound10.yml unknown 11.39 6.38 None nla-digbench-scaling/hard-ll_unwindbound100.yml unknown 6.53 3.85 None nla-digbench-scaling/hard-ll_unwindbound2.yml unknown 7.42 4.14 None nla-digbench-scaling/hard-ll_unwindbound20.yml unknown 8.10 5.51 None nla-digbench-scaling/hard-ll_unwindbound5.yml unknown 13.34 7.43 None nla-digbench-scaling/hard-ll_unwindbound50.yml unknown 7.25 4.10 None nla-digbench-scaling/hard-ll_valuebound1.yml unknown 10.59 5.74 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 7.40 4.19 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 10.75 5.84 None nla-digbench-scaling/hard-ll_valuebound2.yml unknown 13.24 7.14 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 8.36 4.81 None nla-digbench-scaling/hard-ll_valuebound5.yml unknown 8.63 4.75 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 10.11 6.73 None nla-digbench-scaling/hard-u_unwindbound1.yml unknown 7.35 4.11 None nla-digbench-scaling/hard-u_unwindbound10.yml unknown 9.60 5.51 None nla-digbench-scaling/hard-u_unwindbound100.yml unknown 13.53 7.55 None nla-digbench-scaling/hard-u_unwindbound2.yml unknown 9.34 5.41 None nla-digbench-scaling/hard-u_unwindbound20.yml unknown 7.32 4.37 None nla-digbench-scaling/hard-u_unwindbound5.yml unknown 7.83 4.34 None nla-digbench-scaling/hard-u_unwindbound50.yml unknown 6.69 3.94 None nla-digbench-scaling/hard-u_valuebound1.yml unknown 13.24 7.49 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 10.59 6.65 None nla-digbench-scaling/hard-u_valuebound100.yml unknown 11.10 6.33 None nla-digbench-scaling/hard-u_valuebound2.yml unknown 11.92 6.67 None nla-digbench-scaling/hard-u_valuebound20.yml unknown 8.22 4.71 None nla-digbench-scaling/hard-u_valuebound5.yml unknown 9.11 5.50 None nla-digbench-scaling/hard-u_valuebound50.yml unknown 8.37 4.74 None nla-digbench-scaling/hard2_unwindbound1.yml unknown 14.14 7.72 None nla-digbench-scaling/hard2_unwindbound10.yml unknown 7.77 4.46 None nla-digbench-scaling/hard2_unwindbound100.yml unknown 12.10 6.88 None nla-digbench-scaling/hard2_unwindbound2.yml unknown 10.63 6.18 None nla-digbench-scaling/hard2_unwindbound20.yml unknown 9.15 5.49 None nla-digbench-scaling/hard2_unwindbound5.yml unknown 8.81 5.48 None nla-digbench-scaling/hard2_unwindbound50.yml unknown 8.42 4.73 None nla-digbench-scaling/hard2_valuebound1.yml unknown 10.90 5.96 None nla-digbench-scaling/hard2_valuebound10.yml unknown 13.57 7.51 None nla-digbench-scaling/hard2_valuebound100.yml unknown 7.83 4.81 None nla-digbench-scaling/hard2_valuebound2.yml unknown 8.69 5.24 None nla-digbench-scaling/hard2_valuebound20.yml unknown 10.52 6.70 None nla-digbench-scaling/hard2_valuebound5.yml unknown 10.63 6.30 None nla-digbench-scaling/hard2_valuebound50.yml unknown 7.75 4.72 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 7.48 4.15 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 6.03 3.58 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 4.68 2.61 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 7.35 4.30 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 5.36 3.33 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 4.50 2.83 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 6.69 4.04 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 7.25 4.25 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 4.82 2.70 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 5.49 3.42 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 5.83 3.77 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.34 2.75 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 4.36 2.44 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 5.22 3.32 None nla-digbench-scaling/lcm1_unwindbound1.yml unknown 9.88 5.66 None nla-digbench-scaling/lcm1_unwindbound10.yml unknown 10.66 5.73 None nla-digbench-scaling/lcm1_unwindbound100.yml unknown 11.24 6.25 None nla-digbench-scaling/lcm1_unwindbound2.yml unknown 8.57 5.17 None nla-digbench-scaling/lcm1_unwindbound20.yml unknown 9.39 5.95 None nla-digbench-scaling/lcm1_unwindbound5.yml unknown 7.10 4.29 None nla-digbench-scaling/lcm1_unwindbound50.yml unknown 6.89 4.01 None nla-digbench-scaling/lcm1_valuebound1.yml unknown 7.47 4.49 None nla-digbench-scaling/lcm1_valuebound10.yml unknown 9.23 5.49 None nla-digbench-scaling/lcm1_valuebound100.yml unknown 6.04 3.57 None nla-digbench-scaling/lcm1_valuebound2.yml unknown 6.99 4.30 None nla-digbench-scaling/lcm1_valuebound20.yml unknown 10.57 5.76 None nla-digbench-scaling/lcm1_valuebound5.yml unknown 8.47 5.25 None nla-digbench-scaling/lcm1_valuebound50.yml unknown 10.75 5.93 None nla-digbench-scaling/lcm2_unwindbound1.yml unknown 9.07 6.26 None nla-digbench-scaling/lcm2_unwindbound10.yml unknown 7.35 4.64 None nla-digbench-scaling/lcm2_unwindbound100.yml unknown 7.40 4.43 None nla-digbench-scaling/lcm2_unwindbound2.yml unknown 6.51 4.02 None nla-digbench-scaling/lcm2_unwindbound20.yml unknown 8.45 5.11 None nla-digbench-scaling/lcm2_unwindbound5.yml unknown 9.77 5.69 None nla-digbench-scaling/lcm2_unwindbound50.yml unknown 9.41 5.42 None nla-digbench-scaling/lcm2_valuebound1.yml unknown 7.46 4.27 None nla-digbench-scaling/lcm2_valuebound10.yml unknown 9.77 5.71 None nla-digbench-scaling/lcm2_valuebound100.yml unknown 8.01 4.96 None nla-digbench-scaling/lcm2_valuebound2.yml unknown 6.79 4.34 None nla-digbench-scaling/lcm2_valuebound20.yml unknown 6.79 4.23 None nla-digbench-scaling/lcm2_valuebound5.yml unknown 7.60 4.32 None nla-digbench-scaling/lcm2_valuebound50.yml unknown 8.64 5.24 None nla-digbench-scaling/mannadiv_unwindbound1.yml unknown 9.61 5.68 None nla-digbench-scaling/mannadiv_unwindbound10.yml unknown 9.94 5.67 None nla-digbench-scaling/mannadiv_unwindbound100.yml unknown 6.95 4.42 None nla-digbench-scaling/mannadiv_unwindbound2.yml unknown 6.07 3.80 None nla-digbench-scaling/mannadiv_unwindbound20.yml unknown 7.07 4.43 None nla-digbench-scaling/mannadiv_unwindbound5.yml unknown 9.90 5.74 None nla-digbench-scaling/mannadiv_unwindbound50.yml unknown 5.98 3.70 None nla-digbench-scaling/mannadiv_valuebound1.yml unknown 6.91 3.98 None nla-digbench-scaling/mannadiv_valuebound10.yml unknown 7.88 4.46 None nla-digbench-scaling/mannadiv_valuebound100.yml unknown 7.03 5.06 None nla-digbench-scaling/mannadiv_valuebound2.yml unknown 6.23 3.47 None nla-digbench-scaling/mannadiv_valuebound20.yml unknown 6.02 3.56 None nla-digbench-scaling/mannadiv_valuebound5.yml unknown 8.90 5.49 None nla-digbench-scaling/mannadiv_valuebound50.yml unknown 9.80 5.43 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml unknown 7.38 4.44 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml unknown 10.20 5.83 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml unknown 8.09 4.98 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml unknown 6.12 3.75 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml unknown 6.22 4.07 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml unknown 7.86 4.40 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml unknown 6.40 4.32 None nla-digbench-scaling/prod4br-ll_valuebound1.yml unknown 7.52 4.63 None nla-digbench-scaling/prod4br-ll_valuebound10.yml unknown 9.50 5.36 None nla-digbench-scaling/prod4br-ll_valuebound100.yml unknown 9.86 5.36 None nla-digbench-scaling/prod4br-ll_valuebound2.yml unknown 6.22 3.62 None nla-digbench-scaling/prod4br-ll_valuebound20.yml unknown 7.03 4.01 None nla-digbench-scaling/prod4br-ll_valuebound5.yml unknown 6.36 3.71 None nla-digbench-scaling/prod4br-ll_valuebound50.yml unknown 11.18 6.36 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml unknown 8.13 5.23 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml unknown 7.26 4.60 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 7.92 5.45 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml unknown 6.45 3.91 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml unknown 8.32 4.99 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml unknown 10.13 5.77 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 6.42 3.94 None nla-digbench-scaling/prodbin-ll_valuebound1.yml unknown 6.56 3.71 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 7.09 4.57 None nla-digbench-scaling/prodbin-ll_valuebound100.yml unknown 7.82 4.39 None nla-digbench-scaling/prodbin-ll_valuebound2.yml unknown 10.13 5.79 None nla-digbench-scaling/prodbin-ll_valuebound20.yml unknown 6.29 3.84 None nla-digbench-scaling/prodbin-ll_valuebound5.yml unknown 7.82 5.68 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 6.25 3.76 None nla-digbench-scaling/ps2-ll_unwindbound1.yml unknown 7.64 4.75 None nla-digbench-scaling/ps2-ll_unwindbound10.yml unknown 9.34 5.59 None nla-digbench-scaling/ps2-ll_unwindbound100.yml unknown 10.38 5.76 None nla-digbench-scaling/ps2-ll_unwindbound2.yml unknown 8.44 4.85 None nla-digbench-scaling/ps2-ll_unwindbound20.yml unknown 6.40 4.28 None nla-digbench-scaling/ps2-ll_unwindbound5.yml unknown 5.99 3.74 None nla-digbench-scaling/ps2-ll_unwindbound50.yml unknown 6.06 3.91 None nla-digbench-scaling/ps2-ll_valuebound1.yml unknown 10.12 5.81 None nla-digbench-scaling/ps2-ll_valuebound10.yml unknown 6.61 3.92 None nla-digbench-scaling/ps2-ll_valuebound100.yml unknown 7.43 4.27 None nla-digbench-scaling/ps2-ll_valuebound2.yml unknown 8.57 5.17 None nla-digbench-scaling/ps2-ll_valuebound20.yml unknown 9.68 5.66 None nla-digbench-scaling/ps2-ll_valuebound5.yml unknown 6.78 4.39 None nla-digbench-scaling/ps2-ll_valuebound50.yml unknown 6.67 4.00 None nla-digbench-scaling/ps3-ll_unwindbound1.yml unknown 9.71 5.60 None nla-digbench-scaling/ps3-ll_unwindbound10.yml unknown 7.76 4.76 None nla-digbench-scaling/ps3-ll_unwindbound100.yml unknown 6.09 3.90 None nla-digbench-scaling/ps3-ll_unwindbound2.yml unknown 7.01 4.20 None nla-digbench-scaling/ps3-ll_unwindbound20.yml unknown 7.67 4.66 None nla-digbench-scaling/ps3-ll_unwindbound5.yml unknown 9.92 5.95 None nla-digbench-scaling/ps3-ll_unwindbound50.yml unknown 7.94 5.36 None nla-digbench-scaling/ps3-ll_valuebound1.yml unknown 5.87 3.50 None nla-digbench-scaling/ps3-ll_valuebound10.yml unknown 6.94 4.47 None nla-digbench-scaling/ps3-ll_valuebound100.yml unknown 5.90 3.48 None nla-digbench-scaling/ps3-ll_valuebound2.yml unknown 8.35 4.61 None nla-digbench-scaling/ps3-ll_valuebound20.yml unknown 7.69 4.76 None nla-digbench-scaling/ps3-ll_valuebound5.yml unknown 5.94 3.50 None nla-digbench-scaling/ps3-ll_valuebound50.yml unknown 9.67 5.62 None nla-digbench-scaling/ps4-ll_unwindbound1.yml unknown 6.01 3.67 None nla-digbench-scaling/ps4-ll_unwindbound10.yml unknown 7.12 4.27 None nla-digbench-scaling/ps4-ll_unwindbound100.yml unknown 5.95 3.50 None nla-digbench-scaling/ps4-ll_unwindbound2.yml unknown 6.23 3.92 None nla-digbench-scaling/ps4-ll_unwindbound20.yml unknown 6.91 4.64 None nla-digbench-scaling/ps4-ll_unwindbound5.yml unknown 7.07 4.69 None nla-digbench-scaling/ps4-ll_unwindbound50.yml unknown 9.03 5.31 None nla-digbench-scaling/ps4-ll_valuebound1.yml unknown 8.87 6.08 None nla-digbench-scaling/ps4-ll_valuebound10.yml unknown 7.97 4.88 None nla-digbench-scaling/ps4-ll_valuebound100.yml unknown 7.81 4.42 None nla-digbench-scaling/ps4-ll_valuebound2.yml unknown 8.75 5.79 None nla-digbench-scaling/ps4-ll_valuebound20.yml unknown 9.65 5.29 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 5.96 3.42 None nla-digbench-scaling/ps4-ll_valuebound50.yml unknown 6.58 5.05 None nla-digbench-scaling/ps5-ll_unwindbound1.yml unknown 5.89 3.39 None nla-digbench-scaling/ps5-ll_unwindbound10.yml unknown 7.92 5.17 None nla-digbench-scaling/ps5-ll_unwindbound100.yml unknown 6.01 3.91 None nla-digbench-scaling/ps5-ll_unwindbound2.yml unknown 7.98 4.83 None nla-digbench-scaling/ps5-ll_unwindbound20.yml unknown 10.11 5.84 None nla-digbench-scaling/ps5-ll_unwindbound5.yml unknown 8.57 4.98 None nla-digbench-scaling/ps5-ll_unwindbound50.yml unknown 6.18 3.79 None nla-digbench-scaling/ps5-ll_valuebound1.yml unknown 6.34 4.12 None nla-digbench-scaling/ps5-ll_valuebound10.yml unknown 6.40 3.65 None nla-digbench-scaling/ps5-ll_valuebound100.yml unknown 6.40 3.71 None nla-digbench-scaling/ps5-ll_valuebound2.yml unknown 9.59 5.52 None nla-digbench-scaling/ps5-ll_valuebound20.yml unknown 7.34 5.21 None nla-digbench-scaling/ps5-ll_valuebound5.yml unknown 6.35 4.70 None nla-digbench-scaling/ps5-ll_valuebound50.yml unknown 7.08 4.41 None nla-digbench-scaling/ps6-ll_unwindbound1.yml unknown 8.56 5.61 None nla-digbench-scaling/ps6-ll_unwindbound10.yml unknown 6.38 3.64 None nla-digbench-scaling/ps6-ll_unwindbound100.yml unknown 10.47 6.84 None nla-digbench-scaling/ps6-ll_unwindbound2.yml unknown 6.31 3.63 None nla-digbench-scaling/ps6-ll_unwindbound20.yml unknown 12.48 8.67 None nla-digbench-scaling/ps6-ll_unwindbound5.yml unknown 6.72 3.77 None nla-digbench-scaling/ps6-ll_unwindbound50.yml unknown 12.16 7.74 None nla-digbench-scaling/ps6-ll_valuebound1.yml unknown 9.18 6.15 None nla-digbench-scaling/ps6-ll_valuebound10.yml unknown 9.99 5.43 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 8.80 6.25 None nla-digbench-scaling/ps6-ll_valuebound2.yml unknown 7.99 5.47 None nla-digbench-scaling/ps6-ll_valuebound20.yml unknown 6.82 4.73 None nla-digbench-scaling/ps6-ll_valuebound5.yml unknown 8.43 5.81 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 8.20 5.92 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml unknown 7.29 4.44 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml unknown 8.70 5.40 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml unknown 11.31 6.53 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml unknown 8.60 5.33 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml unknown 11.30 6.43 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml unknown 10.04 5.78 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml unknown 8.60 5.41 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml unknown 7.05 4.73 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml unknown 7.43 4.63 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml unknown 6.94 4.21 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml unknown 7.43 4.43 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml unknown 7.06 4.03 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml unknown 8.28 5.43 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml unknown 7.06 4.30 None ---------------------------------------------------------------------------------------------------------------------------- Run set 3 done 51512.57 6498.00 - Statistics: 2310 Files correct: 898 correct true: 665 correct false: 233 incorrect: 26 incorrect true: 26 incorrect false: 0 unknown: 1386 Score: 731 (max: 3909)