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: Wed, 2021-05-05 23:23:36 CEST tool: ULTIMATE Automizer 0.2.1-6253b08b 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.46 875.38 None loops/array-2.yml false(unreach-call) 5.91 3.78 None loops/bubble_sort-1.yml true 5.48 3.85 None loops/bubble_sort-2.yml false(unreach-call) 13.68 7.82 None loops/compact.yml TIMEOUT 900.41 886.00 None loops/count_up_down-1.yml true 12.89 7.41 None loops/count_up_down-2.yml false(unreach-call) 5.19 3.36 None loops/eureka_01-1.yml TIMEOUT 900.53 872.68 None loops/eureka_01-2.yml TIMEOUT 900.40 892.29 None loops/eureka_05.yml TIMEOUT 901.22 854.71 None loops/for_bounded_loop1.yml false(unreach-call) 7.47 4.54 None loops/for_infinite_loop_1.yml true 6.53 4.29 None loops/for_infinite_loop_2.yml true 6.50 4.17 None loops/heavy-1.yml TIMEOUT 900.39 891.63 None loops/heavy-2.yml true 8.48 5.38 None loops/insertion_sort-1.yml false(unreach-call) 872.25 844.22 None loops/insertion_sort-2.yml TIMEOUT 900.54 866.70 None loops/invert_string-1.yml false(unreach-call) 17.58 12.31 None loops/invert_string-3.yml TIMEOUT 900.37 887.16 None loops/linear_sea.ch.yml TIMEOUT 900.37 895.40 None loops/linear_search.yml TIMEOUT 900.37 893.32 None loops/lu.cmp.yml true 13.87 8.15 None loops/ludcmp.yml UNKNOWN: OverapproxCex 11.94 8.11 None loops/matrix-1.yml TIMEOUT 900.43 877.96 None loops/matrix-2.yml false(unreach-call) 6.60 4.45 None loops/n.c11.yml true 10.06 6.67 None loops/n.c24.yml TIMEOUT 900.59 865.45 None loops/n.c40.yml true 6.37 4.24 None loops/nec11.yml false(unreach-call) 5.69 3.22 None loops/nec20.yml false(unreach-call) 6.54 3.95 None loops/nec40.yml true 7.14 4.05 None loops/s3.yml UNKNOWN: OverapproxCex 38.24 22.34 None loops/string-1.yml true 8.43 5.80 None loops/string-2.yml UNKNOWN: OverapproxCex 8.91 6.23 None loops/sum01-1.yml false(unreach-call) 14.25 9.37 None loops/sum01-2.yml true 11.08 7.18 None loops/sum01_bug02.yml false(unreach-call) 14.27 9.50 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 9.67 6.59 None loops/sum03-1.yml false(unreach-call) 20.25 12.93 None loops/sum03-2.yml true 6.64 4.01 None loops/sum04-1.yml false(unreach-call) 9.36 6.71 None loops/sum04-2.yml true 11.47 8.28 None loops/sum_array-1.yml false(unreach-call) 6.37 3.57 None loops/sum_array-2.yml TIMEOUT 900.42 879.82 None loops/terminator_01.yml false(unreach-call) 5.83 3.37 None loops/terminator_02-1.yml false(unreach-call) 5.72 3.77 None loops/terminator_02-2.yml true 6.16 3.98 None loops/terminator_03-1.yml false(unreach-call) 6.16 3.86 None loops/terminator_03-2.yml true 5.99 3.68 None loops/trex01-1.yml false(unreach-call) 5.96 3.66 None loops/trex01-2.yml true 6.03 3.54 None loops/trex02-1.yml true 6.60 3.76 None loops/trex02-2.yml false(unreach-call) 5.46 3.52 None loops/trex03-1.yml false(unreach-call) 5.98 3.35 None loops/trex03-2.yml true 6.00 3.93 None loops/trex04.yml true 6.20 3.86 None loops/veris.c_NetBSD-libc_loop.yml true 9.22 5.63 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 10.95 6.75 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 5.76 3.27 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 7.93 4.71 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 15.28 8.50 None loops/vogal-1.yml TIMEOUT 900.47 874.03 None loops/vogal-2.yml TIMEOUT 900.43 882.51 None loops/while_infinite_loop_1.yml true 7.35 4.54 None loops/while_infinite_loop_2.yml true 5.75 3.50 None loops/while_infinite_loop_3.yml true 6.57 4.00 None loops/while_infinite_loop_4.yml false(unreach-call) 7.32 4.37 None loop-acceleration/array_1-1.yml TIMEOUT 900.47 875.02 None loop-acceleration/array_1-2.yml true 12.82 8.61 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.39 888.93 None loop-acceleration/array_2-1.yml TIMEOUT 900.39 894.60 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.84 867.29 None loop-acceleration/array_2-2.yml TIMEOUT 900.41 894.54 None loop-acceleration/array_3-1.yml true 7.80 5.42 None loop-acceleration/array_3-2.yml TIMEOUT 900.74 879.07 None loop-acceleration/array_4.yml TIMEOUT 900.56 868.98 None loop-acceleration/const_1-1.yml true 10.79 6.65 None loop-acceleration/const_1-2.yml TIMEOUT 900.36 888.31 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.41 882.81 None loop-acceleration/diamond_1-2.yml false(unreach-call) 635.39 556.96 None loop-acceleration/diamond_2-2.yml true 39.82 26.52 None loop-acceleration/functions_1-1.yml TIMEOUT 900.71 763.28 None loop-acceleration/functions_1-2.yml TIMEOUT 900.21 788.28 None loop-acceleration/multivar_1-1.yml true 8.03 4.85 None loop-acceleration/multivar_1-2.yml false(unreach-call) 6.74 3.81 None loop-acceleration/nested_1-1.yml true 34.30 21.81 None loop-acceleration/nested_1-2.yml TIMEOUT 901.30 812.43 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.43 875.83 None loop-acceleration/phases_1-1.yml TIMEOUT 900.75 856.85 None loop-acceleration/phases_1-2.yml TIMEOUT 900.86 823.09 None loop-acceleration/phases_2-1.yml false(unreach-call) 7.15 4.31 None loop-acceleration/phases_2-2.yml TIMEOUT 900.43 883.87 None loop-acceleration/simple_1-1.yml TIMEOUT 900.78 826.75 None loop-acceleration/simple_1-2.yml TIMEOUT 900.77 826.39 None loop-acceleration/simple_2-1.yml true 5.16 3.74 None loop-acceleration/simple_2-2.yml false(unreach-call) 4.45 4.52 None loop-acceleration/simple_3-1.yml false(unreach-call) 5.12 3.03 None loop-acceleration/simple_3-2.yml true 6.90 4.41 None loop-acceleration/simple_4-1.yml TIMEOUT 900.49 869.68 None loop-acceleration/simple_4-2.yml true 6.83 4.43 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 10.03 6.96 None loop-acceleration/underapprox_1-2.yml true 16.93 13.76 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 9.11 6.67 None loop-acceleration/underapprox_2-2.yml TIMEOUT 900.39 886.24 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.41 882.99 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 5.74 3.53 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.37 886.96 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.45 883.67 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 11.29 7.02 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 11.43 7.27 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 901.16 881.01 None loop-crafted/simple_vardep_1.yml true 6.38 3.63 None loop-crafted/simple_vardep_2.yml true 7.19 4.11 None loop-invgen/MADWiFi-encode_ie_ok.yml true 10.55 6.33 None loop-invgen/NetBSD_loop.yml true 8.50 5.50 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 15.84 9.08 None loop-invgen/SpamAssassin-loop.yml true 13.70 8.52 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 19.42 11.75 None loop-invgen/apache-escape-absolute.yml true 10.75 6.23 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 19.54 11.27 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 39.25 25.00 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 65.83 44.14 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 18.37 10.60 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 18.08 10.53 None loop-invgen/apache-get-tag.yml true 12.71 7.86 None loop-invgen/down.yml TIMEOUT 900.70 745.84 None loop-invgen/fragtest_simple.yml TIMEOUT 901.23 710.21 None loop-invgen/half_2.yml TIMEOUT 901.11 714.33 None loop-invgen/heapsort.yml true 108.45 74.26 None loop-invgen/id_build.i.p+nlh-reducer.yml true 15.32 8.78 None loop-invgen/id_build.i.p+sep-reducer.yml true 15.79 8.88 None loop-invgen/id_build.i.v+lhb-reducer.yml true 9.26 5.07 None loop-invgen/id_build.yml true 8.49 4.74 None loop-invgen/id_trans.yml false(unreach-call) 8.61 4.72 None loop-invgen/large_const.yml true 13.76 8.83 None loop-invgen/nest-if3.yml true 6.61 4.02 None loop-invgen/nested6.yml true 20.28 12.07 None loop-invgen/nested9.yml true 11.90 7.97 None loop-invgen/sendmail-close-angle.yml true 25.46 15.05 None loop-invgen/seq-3.yml TIMEOUT 900.94 812.98 None loop-invgen/string_concat-noarr.yml TIMEOUT 901.15 713.06 None loop-invgen/up.yml TIMEOUT 900.93 707.42 None loop-lit/afnp2014.yml true 7.59 5.13 None loop-lit/bhmr2007.yml true 12.96 8.20 None loop-lit/cggmp2005.yml true 9.57 6.62 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.45 883.54 None loop-lit/cggmp2005b.yml true 7.48 4.56 None loop-lit/css2003.yml true 7.00 4.65 None loop-lit/ddlm2013.yml true 14.43 8.77 None loop-lit/gcnr2008.yml false(unreach-call) 5.50 3.30 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 302.69 239.38 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 569.67 458.35 None loop-lit/gj2007.yml true 212.69 169.22 None loop-lit/gj2007b.yml true 9.57 6.85 None loop-lit/gr2006.yml true 136.23 102.15 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 8.10 5.26 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 7.61 5.99 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.00 4.41 None loop-lit/gsv2008.yml true 7.36 5.61 None loop-lit/hhk2008.yml true 6.80 5.06 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 7.83 5.23 None loop-lit/jm2006.yml true 9.74 6.39 None loop-lit/jm2006_variant.yml true 10.30 7.22 None loop-lit/mcmillan2006.yml TIMEOUT 900.42 884.55 None loop-new/count_by_1.yml true 6.59 4.13 None loop-new/count_by_1_variant.yml true 8.74 7.03 None loop-new/count_by_2.yml TIMEOUT 900.29 890.74 None loop-new/count_by_k.yml TIMEOUT 900.55 870.31 None loop-new/count_by_nondet.yml TIMEOUT 900.74 739.36 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.74 847.95 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.65 850.83 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.66 848.68 None loop-new/gauss_sum.yml TIMEOUT 900.56 773.60 None loop-new/half.yml true 16.14 10.74 None loop-new/nested-1.yml true 250.90 213.75 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 5.89 3.48 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 5.29 3.27 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 5.82 3.68 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 19.09 11.64 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 16.74 9.97 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 27.39 16.76 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 43.51 29.54 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.37 2.91 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 48.03 42.13 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 62.89 57.74 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 73.35 69.75 None loop-industry-pattern/mod3.yml true 52.85 47.44 None loop-industry-pattern/nested-3.yml TIMEOUT 901.33 833.85 None loop-industry-pattern/ofuf_1.yml true 14.86 8.39 None loop-industry-pattern/ofuf_2.yml true 13.84 7.61 None loop-industry-pattern/ofuf_3.yml true 14.33 8.35 None loop-industry-pattern/ofuf_4.yml true 15.60 9.12 None loop-industry-pattern/ofuf_5.yml true 16.72 9.39 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.93 831.20 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.62 852.43 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.74 837.43 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.82 766.53 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.43 870.35 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.91 839.43 None loops-crafted-1/discover_list.yml true 162.08 146.94 None loops-crafted-1/iftelse.yml TIMEOUT 900.33 895.48 None loops-crafted-1/in-de20.yml TIMEOUT 900.35 889.69 None loops-crafted-1/in-de31.yml TIMEOUT 900.43 884.72 None loops-crafted-1/in-de32.yml TIMEOUT 901.10 824.82 None loops-crafted-1/in-de41.yml TIMEOUT 900.42 886.41 None loops-crafted-1/in-de42.yml TIMEOUT 900.43 884.65 None loops-crafted-1/in-de51.yml true 412.43 355.17 None loops-crafted-1/in-de52.yml true 337.53 290.90 None loops-crafted-1/in-de61.yml TIMEOUT 901.15 879.05 None loops-crafted-1/in-de62.yml true 386.17 328.63 None loops-crafted-1/loopv1.yml true 9.36 5.46 None loops-crafted-1/loopv2.yml TIMEOUT 901.21 717.09 None loops-crafted-1/loopv3.yml TIMEOUT 901.16 714.06 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.65 744.35 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.47 868.64 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 901.02 833.20 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 900.77 844.57 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.29 883.26 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.40 886.40 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.81 734.03 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.35 744.88 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 901.25 713.00 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.39 887.30 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.79 738.21 None loops-crafted-1/nested3-1.yml TIMEOUT 900.52 863.53 None loops-crafted-1/nested3-2.yml TIMEOUT 900.77 819.70 None loops-crafted-1/nested5-1.yml true 9.56 6.74 None loops-crafted-1/nested5-2.yml TIMEOUT 900.45 865.57 None loops-crafted-1/nested_delay_nd.yml true 98.66 75.78 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 134.18 101.48 None loops-crafted-1/net_reset.yml true 8.01 4.60 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.38 893.98 None loops-crafted-1/sum_natnum.yml TIMEOUT 900.32 897.79 None loops-crafted-1/sumt2.yml true 12.64 8.04 None loops-crafted-1/sumt3.yml TIMEOUT 900.40 890.04 None loops-crafted-1/sumt4.yml TIMEOUT 900.38 892.70 None loops-crafted-1/sumt5.yml TIMEOUT 900.40 883.63 None loops-crafted-1/sumt6.yml TIMEOUT 900.40 884.45 None loops-crafted-1/sumt7.yml TIMEOUT 900.45 885.02 None loops-crafted-1/sumt8.yml TIMEOUT 900.40 891.51 None loops-crafted-1/sumt9.yml TIMEOUT 900.35 893.00 None loops-crafted-1/theatreSquare.yml TIMEOUT 900.74 762.38 None loops-crafted-1/vnew1.yml TIMEOUT 900.36 891.69 None loops-crafted-1/vnew2.yml TIMEOUT 900.53 865.70 None loops-crafted-1/watermelon.yml TIMEOUT 901.22 707.10 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 5.99 3.75 None loop-invariants/const.yml true 6.24 3.97 None loop-invariants/eq1.yml true 6.23 3.71 None loop-invariants/eq2.yml true 6.32 4.01 None loop-invariants/even.yml true 7.42 4.69 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.52 882.51 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 7.77 4.96 None loop-invariants/mod4.yml true 7.26 4.43 None loop-invariants/odd.yml true 9.45 5.51 None loop-simple/deep-nested.yml TIMEOUT 901.23 842.09 None loop-simple/nested_1.yml true 8.55 5.29 None loop-simple/nested_1b.yml false(unreach-call) 12.01 7.75 None loop-simple/nested_2.yml true 15.75 10.64 None loop-simple/nested_3.yml true 17.36 10.87 None loop-simple/nested_4.yml true 155.85 130.57 None loop-simple/nested_5.yml OUT OF MEMORY 186.35 149.28 None loop-simple/nested_6.yml OUT OF MEMORY 178.85 134.47 None loop-zilu/benchmark02_linear.yml true 5.78 3.40 None loop-zilu/benchmark04_conjunctive.yml true 7.77 4.86 None loop-zilu/benchmark05_conjunctive.yml true 7.40 5.04 None loop-zilu/benchmark09_conjunctive.yml true 8.90 5.13 None loop-zilu/benchmark10_conjunctive.yml true 7.64 4.79 None loop-zilu/benchmark11_linear.yml true 6.63 4.06 None loop-zilu/benchmark14_linear.yml true 7.50 4.36 None loop-zilu/benchmark17_conjunctive.yml true 6.01 3.52 None loop-zilu/benchmark18_conjunctive.yml true 6.87 4.42 None loop-zilu/benchmark19_conjunctive.yml true 9.05 5.31 None loop-zilu/benchmark20_conjunctive.yml true 9.36 5.53 None loop-zilu/benchmark23_conjunctive.yml true 506.09 414.05 None loop-zilu/benchmark25_linear.yml true 6.17 3.90 None loop-zilu/benchmark26_linear.yml true 8.30 4.89 None loop-zilu/benchmark32_linear.yml true 6.07 3.75 None loop-zilu/benchmark33_linear.yml true 8.53 5.09 None loop-zilu/benchmark34_conjunctive.yml true 8.27 5.37 None loop-zilu/benchmark35_linear.yml true 7.42 4.53 None loop-zilu/benchmark37_conjunctive.yml true 8.67 4.94 None loop-zilu/benchmark43_conjunctive.yml true 8.70 5.19 None loop-zilu/benchmark51_polynomial.yml true 5.86 3.58 None loop-zilu/benchmark52_polynomial.yml true 8.96 5.47 None verifythis/duplets.yml true 407.58 386.24 None verifythis/elimination_max.yml true 10.35 5.89 None verifythis/lcp.yml true 16.90 9.72 None verifythis/prefixsum_iter.yml TIMEOUT 900.74 853.62 None verifythis/tree_del_iter.yml false(unreach-call) 18.35 10.51 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 19.29 10.93 None nla-digbench/bresenham-ll.yml true 34.22 29.95 None nla-digbench/cohencu-ll.yml TIMEOUT 901.97 707.55 None nla-digbench/cohendiv-ll.yml true 14.30 10.78 None nla-digbench/dijkstra-u.yml TIMEOUT 900.31 896.66 None nla-digbench/divbin.yml TIMEOUT 900.35 897.36 None nla-digbench/divbin2.yml TIMEOUT 900.34 897.50 None nla-digbench/egcd-ll.yml TIMEOUT 900.44 881.05 None nla-digbench/egcd2-ll.yml true 94.77 77.40 None nla-digbench/egcd3-ll.yml true 164.22 146.45 None nla-digbench/fermat1-ll.yml true 11.28 10.48 None nla-digbench/fermat2-ll.yml true 7.51 5.87 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 6.06 3.93 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 6.10 4.61 None nla-digbench/geo1-ll.yml true 7.08 5.51 None nla-digbench/geo1-u.yml false(unreach-call) 6.11 4.44 None nla-digbench/geo2-ll.yml TIMEOUT 900.29 897.84 None nla-digbench/geo3-ll.yml TIMEOUT 900.35 896.80 None nla-digbench/hard-ll.yml true 31.41 21.59 None nla-digbench/hard-u.yml TIMEOUT 900.37 896.10 None nla-digbench/hard2.yml TIMEOUT 900.97 862.13 None nla-digbench/knuth.yml ERROR: EXCEPTION 4.15 2.45 None nla-digbench/lcm1.yml TIMEOUT 900.31 896.44 None nla-digbench/lcm2.yml TIMEOUT 900.34 895.36 None nla-digbench/mannadiv.yml true 7.08 4.57 None nla-digbench/prod4br-ll.yml TIMEOUT 900.34 896.56 None nla-digbench/prodbin-ll.yml TIMEOUT 900.38 894.91 None nla-digbench/ps2-ll.yml true 7.83 5.51 None nla-digbench/ps3-ll.yml true 9.50 6.94 None nla-digbench/ps4-ll.yml TIMEOUT 900.37 895.17 None nla-digbench/ps5-ll.yml TIMEOUT 900.37 895.37 None nla-digbench/ps6-ll.yml TIMEOUT 900.34 896.34 None nla-digbench/sqrt1-ll.yml true 27.44 21.02 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 7.73 5.85 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml true 45.77 42.24 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml true 108.29 104.96 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml true 12.84 8.32 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml true 92.97 87.97 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml true 65.17 62.62 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml true 88.33 86.05 None nla-digbench-scaling/bresenham-ll_valuebound1.yml TIMEOUT 900.40 888.68 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 322.84 318.28 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 45.42 42.53 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 36.88 33.48 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 101.27 97.55 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 79.87 76.46 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 63.58 60.11 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 10.75 6.63 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml TIMEOUT 900.42 880.49 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.41 884.49 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 12.56 9.24 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml TIMEOUT 900.37 888.75 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml false(unreach-call) 28.32 22.15 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml TIMEOUT 900.44 881.75 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 19.32 14.97 None nla-digbench-scaling/cohencu-ll_valuebound10.yml TIMEOUT 900.36 887.47 None nla-digbench-scaling/cohencu-ll_valuebound100.yml TIMEOUT 900.42 881.45 None nla-digbench-scaling/cohencu-ll_valuebound2.yml TIMEOUT 900.47 873.19 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 41.21 29.86 None nla-digbench-scaling/cohencu-ll_valuebound5.yml TIMEOUT 900.45 874.31 None nla-digbench-scaling/cohencu-ll_valuebound50.yml TIMEOUT 900.36 893.18 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 11.42 7.67 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml TIMEOUT 901.16 864.10 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml TIMEOUT 900.99 870.89 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 15.98 10.61 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml TIMEOUT 901.08 864.20 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml TIMEOUT 900.91 877.97 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml TIMEOUT 900.98 870.32 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 14.37 9.01 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 21.18 14.04 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 21.83 14.25 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 15.61 10.60 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 16.37 11.11 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 21.04 13.09 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 16.05 11.23 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml TIMEOUT 900.30 898.40 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.32 896.62 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.32 896.87 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml TIMEOUT 900.33 895.96 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.32 896.49 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.30 898.06 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.34 895.51 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.36 891.56 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.32 895.44 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.33 894.90 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.33 894.55 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.34 895.47 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.31 897.88 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.30 898.79 None nla-digbench-scaling/divbin2_unwindbound1.yml true 7.33 5.45 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.35 899.01 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.38 896.80 None nla-digbench-scaling/divbin2_unwindbound2.yml true 11.33 7.25 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.36 897.36 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 900.37 897.13 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.39 895.68 None nla-digbench-scaling/divbin2_valuebound1.yml TIMEOUT 900.35 899.22 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.41 895.84 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 900.37 895.78 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.35 900.47 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.38 895.25 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 900.37 896.41 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.38 895.23 None nla-digbench-scaling/divbin_unwindbound1.yml true 12.52 9.70 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.39 896.63 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.37 898.56 None nla-digbench-scaling/divbin_unwindbound2.yml true 16.83 12.94 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.36 898.11 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 900.39 895.90 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.39 896.60 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 900.38 896.61 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 900.38 895.09 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 900.35 898.26 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 900.38 894.33 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.40 894.49 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.36 897.55 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 900.39 893.84 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 9.70 6.54 None nla-digbench-scaling/egcd-ll_unwindbound10.yml TIMEOUT 900.88 862.82 None nla-digbench-scaling/egcd-ll_unwindbound100.yml TIMEOUT 900.49 873.10 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 13.27 10.32 None nla-digbench-scaling/egcd-ll_unwindbound20.yml TIMEOUT 900.40 884.93 None nla-digbench-scaling/egcd-ll_unwindbound5.yml OUT OF MEMORY 657.64 633.73 None nla-digbench-scaling/egcd-ll_unwindbound50.yml TIMEOUT 900.42 882.37 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 11.22 8.61 None nla-digbench-scaling/egcd-ll_valuebound10.yml TIMEOUT 900.39 886.28 None nla-digbench-scaling/egcd-ll_valuebound100.yml TIMEOUT 900.43 879.70 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 20.89 15.06 None nla-digbench-scaling/egcd-ll_valuebound20.yml TIMEOUT 900.41 883.44 None nla-digbench-scaling/egcd-ll_valuebound5.yml TIMEOUT 900.36 891.11 None nla-digbench-scaling/egcd-ll_valuebound50.yml TIMEOUT 900.36 886.84 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 10.86 6.88 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml true 96.20 72.92 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml true 88.88 63.78 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 15.30 10.19 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml true 91.80 65.00 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 30.63 21.01 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml true 82.05 61.07 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 25.74 16.21 None nla-digbench-scaling/egcd2-ll_valuebound10.yml true 285.67 269.36 None nla-digbench-scaling/egcd2-ll_valuebound100.yml true 355.70 327.29 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 42.34 28.16 None nla-digbench-scaling/egcd2-ll_valuebound20.yml true 358.80 332.08 None nla-digbench-scaling/egcd2-ll_valuebound5.yml true 88.15 71.80 None nla-digbench-scaling/egcd2-ll_valuebound50.yml true 352.15 329.69 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 7.52 5.44 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 36.36 27.69 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml TIMEOUT 900.23 834.77 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 10.49 6.67 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml TIMEOUT 900.48 815.48 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 17.64 13.10 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml TIMEOUT 900.41 821.83 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 16.73 11.88 None nla-digbench-scaling/egcd3-ll_valuebound10.yml true 61.84 49.94 None nla-digbench-scaling/egcd3-ll_valuebound100.yml true 84.04 69.50 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 48.27 30.07 None nla-digbench-scaling/egcd3-ll_valuebound20.yml true 94.78 82.19 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 900.46 870.14 None nla-digbench-scaling/egcd3-ll_valuebound50.yml true 87.08 71.56 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 16.17 12.70 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml false(unreach-call) 44.71 33.64 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 900.42 892.00 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 17.52 13.99 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml false(unreach-call) 842.93 810.37 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 23.14 18.27 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.95 877.92 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 37.89 33.85 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 22.04 18.19 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 21.55 18.16 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 88.11 83.30 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 22.45 18.30 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 10.14 6.40 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 13.23 10.33 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 10.16 7.00 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml false(unreach-call) 51.36 46.05 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.38 887.17 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 34.51 32.41 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml false(unreach-call) 81.74 72.09 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml false(unreach-call) 11.57 9.33 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml TIMEOUT 900.39 886.01 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 6.61 5.03 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 7.49 5.11 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 6.90 4.85 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 78.60 76.39 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 6.87 4.90 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 7.14 5.11 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 7.61 5.03 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 6.05 4.83 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 5.60 3.34 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 6.17 4.59 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 7.73 4.63 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 5.53 3.70 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 6.33 3.97 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 6.08 3.81 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 6.62 4.22 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 5.61 4.00 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 5.55 3.25 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 6.89 3.91 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 6.02 3.79 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 5.61 3.26 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 7.34 4.49 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.15 3.91 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 6.08 4.31 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 7.75 5.09 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.40 4.04 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 6.20 4.40 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 7.82 5.09 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.87 4.01 None nla-digbench-scaling/freire2_valuebound1.yml UNKNOWN: OverapproxCex 5.40 4.31 None nla-digbench-scaling/freire2_valuebound10.yml UNKNOWN: OverapproxCex 5.74 3.90 None nla-digbench-scaling/freire2_valuebound100.yml UNKNOWN: OverapproxCex 7.15 4.30 None nla-digbench-scaling/freire2_valuebound2.yml UNKNOWN: OverapproxCex 6.18 4.18 None nla-digbench-scaling/freire2_valuebound20.yml UNKNOWN: OverapproxCex 8.08 4.84 None nla-digbench-scaling/freire2_valuebound5.yml UNKNOWN: OverapproxCex 5.64 3.90 None nla-digbench-scaling/freire2_valuebound50.yml UNKNOWN: OverapproxCex 7.39 4.32 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 7.33 5.38 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 7.83 4.90 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 9.25 6.06 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 8.87 5.51 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 7.58 5.45 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 7.18 4.62 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 9.71 6.25 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 9.61 5.90 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 7.08 5.44 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 6.93 4.47 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 9.47 5.62 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 9.28 5.94 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 7.27 5.49 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 7.46 4.87 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 8.05 4.97 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 8.39 5.40 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 6.48 4.31 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 6.50 4.87 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 6.84 5.06 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 8.29 5.15 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 6.26 4.19 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 8.41 5.53 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 6.47 4.40 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 6.47 4.60 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 6.87 5.72 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 8.17 5.19 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 6.66 5.07 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 8.38 5.56 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 7.34 4.91 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 900.30 897.25 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 900.32 897.94 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 900.34 895.09 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 900.36 895.30 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 900.33 896.76 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 900.34 895.24 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 6.74 4.24 None nla-digbench-scaling/geo2-ll_valuebound10.yml TIMEOUT 900.32 896.82 None nla-digbench-scaling/geo2-ll_valuebound100.yml TIMEOUT 900.31 897.12 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 11.25 6.70 None nla-digbench-scaling/geo2-ll_valuebound20.yml TIMEOUT 900.34 895.04 None nla-digbench-scaling/geo2-ll_valuebound5.yml TIMEOUT 900.34 895.78 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 900.34 898.07 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 7.90 5.74 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 900.35 897.34 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 900.35 897.56 None nla-digbench-scaling/geo3-ll_unwindbound2.yml TIMEOUT 900.36 896.97 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 900.36 895.47 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 900.33 898.56 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 900.36 895.60 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 7.17 5.57 None nla-digbench-scaling/geo3-ll_valuebound10.yml TIMEOUT 900.33 897.05 None nla-digbench-scaling/geo3-ll_valuebound100.yml TIMEOUT 900.33 897.72 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 10.07 6.21 None nla-digbench-scaling/geo3-ll_valuebound20.yml TIMEOUT 900.34 895.55 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 107.86 104.56 None nla-digbench-scaling/geo3-ll_valuebound50.yml TIMEOUT 900.33 897.48 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 8.59 5.47 None nla-digbench-scaling/hard-ll_unwindbound10.yml TIMEOUT 900.75 867.13 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 900.43 884.64 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 13.48 8.76 None nla-digbench-scaling/hard-ll_unwindbound20.yml OUT OF MEMORY 228.09 206.47 None nla-digbench-scaling/hard-ll_unwindbound5.yml false(unreach-call) 26.70 19.75 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 901.08 852.02 None nla-digbench-scaling/hard-ll_valuebound1.yml TIMEOUT 900.37 885.11 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 900.39 891.01 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 900.36 893.26 None nla-digbench-scaling/hard-ll_valuebound2.yml TIMEOUT 900.54 884.90 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 900.39 889.69 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.45 882.22 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 900.35 896.47 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 11.48 8.48 None nla-digbench-scaling/hard-u_unwindbound10.yml TIMEOUT 900.36 896.58 None nla-digbench-scaling/hard-u_unwindbound100.yml TIMEOUT 900.38 895.79 None nla-digbench-scaling/hard-u_unwindbound2.yml TIMEOUT 900.38 893.51 None nla-digbench-scaling/hard-u_unwindbound20.yml TIMEOUT 900.38 896.27 None nla-digbench-scaling/hard-u_unwindbound5.yml TIMEOUT 900.33 895.65 None nla-digbench-scaling/hard-u_unwindbound50.yml TIMEOUT 900.42 893.35 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 900.36 895.70 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.41 895.04 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.43 891.75 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.37 894.73 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.42 894.54 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.42 892.69 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.42 891.62 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 8.96 5.94 None nla-digbench-scaling/hard2_unwindbound10.yml TIMEOUT 900.90 873.76 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.94 867.78 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 9.92 6.72 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.14 849.37 None nla-digbench-scaling/hard2_unwindbound5.yml false(unreach-call) 26.83 18.11 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 900.18 839.93 None nla-digbench-scaling/hard2_valuebound1.yml true 13.13 8.35 None nla-digbench-scaling/hard2_valuebound10.yml TIMEOUT 900.40 886.13 None nla-digbench-scaling/hard2_valuebound100.yml TIMEOUT 900.37 887.00 None nla-digbench-scaling/hard2_valuebound2.yml true 24.96 15.72 None nla-digbench-scaling/hard2_valuebound20.yml TIMEOUT 900.45 876.98 None nla-digbench-scaling/hard2_valuebound5.yml unknown 827.01 813.18 None nla-digbench-scaling/hard2_valuebound50.yml TIMEOUT 900.40 885.26 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 5.42 3.44 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 5.91 3.42 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 5.42 3.48 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 5.68 3.11 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 5.72 3.39 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 5.34 2.91 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 5.71 3.36 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 5.53 3.08 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 5.48 2.93 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 5.80 3.49 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 5.31 3.48 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 5.55 3.51 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 5.51 2.99 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 5.20 2.82 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.33 895.64 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.31 897.48 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.32 896.75 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.37 896.99 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.31 897.66 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.33 895.79 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.31 897.71 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.33 895.75 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.35 895.79 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.32 897.27 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.31 899.13 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.31 897.69 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.34 896.22 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.31 897.61 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.34 895.95 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.33 896.82 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.32 897.02 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.31 898.29 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.33 896.34 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.31 897.96 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.33 895.67 None nla-digbench-scaling/lcm2_valuebound1.yml true 8.70 6.02 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.31 898.89 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.33 895.74 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.32 897.18 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.32 897.19 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.31 898.02 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.33 895.74 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 7.65 5.57 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 13.11 9.75 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 462.93 399.26 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 10.22 6.52 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 29.36 20.89 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 12.67 8.56 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 121.41 90.67 None nla-digbench-scaling/mannadiv_valuebound1.yml true 7.18 4.52 None nla-digbench-scaling/mannadiv_valuebound10.yml true 7.16 4.68 None nla-digbench-scaling/mannadiv_valuebound100.yml true 7.59 4.93 None nla-digbench-scaling/mannadiv_valuebound2.yml true 7.29 4.54 None nla-digbench-scaling/mannadiv_valuebound20.yml true 7.09 4.79 None nla-digbench-scaling/mannadiv_valuebound5.yml true 7.05 4.66 None nla-digbench-scaling/mannadiv_valuebound50.yml true 6.89 4.85 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 8.83 6.31 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml TIMEOUT 900.36 895.63 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.36 895.46 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml TIMEOUT 900.38 893.69 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml TIMEOUT 900.36 896.36 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml TIMEOUT 900.37 894.12 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.33 897.63 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 17.21 12.38 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 900.36 888.53 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.43 880.04 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 900.36 888.56 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.44 879.95 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 900.40 885.20 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 900.39 887.26 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 8.02 5.98 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml TIMEOUT 900.36 896.99 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.34 896.81 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml false(unreach-call) 832.49 828.99 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml TIMEOUT 900.35 896.43 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml TIMEOUT 900.36 895.14 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.34 896.26 None nla-digbench-scaling/prodbin-ll_valuebound1.yml TIMEOUT 900.48 880.30 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 272.30 248.60 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 900.34 893.03 None nla-digbench-scaling/prodbin-ll_valuebound2.yml TIMEOUT 900.41 882.04 None nla-digbench-scaling/prodbin-ll_valuebound20.yml TIMEOUT 900.36 885.08 None nla-digbench-scaling/prodbin-ll_valuebound5.yml TIMEOUT 900.37 894.62 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 901.05 887.40 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 7.49 4.92 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 8.38 6.38 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 8.61 6.49 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 7.84 5.67 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 8.61 6.15 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 8.73 6.09 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 8.43 6.51 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 7.27 4.75 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 7.88 5.54 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 8.23 6.00 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 7.47 5.87 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 7.53 5.22 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 7.80 5.18 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 7.99 5.40 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 7.31 5.43 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 900.29 898.07 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 900.32 897.31 None nla-digbench-scaling/ps3-ll_unwindbound2.yml TIMEOUT 900.32 895.95 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 900.31 898.09 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 900.31 897.64 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 900.32 896.86 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 9.37 5.67 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 10.00 6.58 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 9.24 6.29 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 9.84 6.22 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 7.93 5.35 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 10.03 6.96 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 7.59 5.12 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 8.35 5.02 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 21.20 17.92 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.34 894.08 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 9.02 7.01 None nla-digbench-scaling/ps4-ll_unwindbound20.yml TIMEOUT 900.36 890.30 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 16.13 11.62 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.34 896.82 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 9.60 6.10 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 18.95 14.87 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.56 877.49 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 9.48 7.30 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 113.08 106.89 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 12.42 9.32 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.55 891.65 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 6.83 5.10 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.31 897.79 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.36 896.01 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 10.81 7.32 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.37 895.34 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.34 897.37 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.35 896.48 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 12.00 7.36 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.33 897.90 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.37 895.38 None nla-digbench-scaling/ps5-ll_valuebound2.yml TIMEOUT 900.35 896.83 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.35 896.54 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.35 895.15 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.35 897.05 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 9.59 6.54 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.33 895.72 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.34 896.67 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 566.33 564.25 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.34 895.18 None nla-digbench-scaling/ps6-ll_unwindbound5.yml TIMEOUT 900.35 894.26 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.85 890.68 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 10.50 8.05 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 900.34 895.49 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.33 895.09 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 21.05 15.18 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 900.36 894.43 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 23.55 17.42 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.39 892.72 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.76 7.73 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 15.40 12.32 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 15.10 11.45 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 12.01 8.88 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 16.39 12.66 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 15.40 11.80 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 15.49 12.16 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 10.39 7.26 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 18.47 14.80 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 19.27 14.49 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 10.15 6.91 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 19.87 14.72 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 11.82 8.79 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 19.45 14.68 None ---------------------------------------------------------------------------------------------------------------------------- Run set 1 done 123389.40 21523.73 - 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 876.46 None loops/array-2.yml false(unreach-call) 6.52 4.72 None loops/bubble_sort-1.yml true 5.63 3.56 None loops/bubble_sort-2.yml false(unreach-call) 13.54 7.72 None loops/compact.yml TIMEOUT 900.41 886.61 None loops/count_up_down-1.yml TIMEOUT 900.43 878.73 None loops/count_up_down-2.yml false(unreach-call) 6.54 4.64 None loops/eureka_01-1.yml ERROR: EXCEPTION 521.57 494.76 None loops/eureka_01-2.yml TIMEOUT 900.40 894.28 None loops/eureka_05.yml TIMEOUT 900.38 831.75 None loops/for_bounded_loop1.yml false(unreach-call) 8.45 5.55 None loops/for_infinite_loop_1.yml true 6.20 4.69 None loops/for_infinite_loop_2.yml true 6.25 4.46 None loops/heavy-1.yml TIMEOUT 900.38 892.84 None loops/heavy-2.yml true 8.21 5.00 None loops/insertion_sort-1.yml false(unreach-call) 878.34 855.88 None loops/insertion_sort-2.yml TIMEOUT 900.62 862.68 None loops/invert_string-1.yml false(unreach-call) 17.30 12.01 None loops/invert_string-3.yml TIMEOUT 900.37 887.64 None loops/linear_sea.ch.yml TIMEOUT 900.40 895.22 None loops/linear_search.yml TIMEOUT 900.38 893.47 None loops/lu.cmp.yml true 10.02 6.25 None loops/ludcmp.yml UNKNOWN: OverapproxCex 11.86 8.39 None loops/matrix-1.yml TIMEOUT 900.40 883.82 None loops/matrix-2.yml false(unreach-call) 7.02 4.68 None loops/n.c11.yml true 9.89 6.41 None loops/n.c24.yml ERROR: EXCEPTION 5.40 3.29 None loops/n.c40.yml true 6.80 3.91 None loops/nec11.yml false(unreach-call) 5.84 3.39 None loops/nec20.yml false(unreach-call) 7.20 4.49 None loops/nec40.yml true 7.16 4.49 None loops/s3.yml UNKNOWN: OverapproxCex 38.07 22.69 None loops/string-1.yml true 8.61 6.18 None loops/string-2.yml UNKNOWN: OverapproxCex 8.76 6.24 None loops/sum01-1.yml false(unreach-call) 14.13 9.90 None loops/sum01-2.yml true 11.25 7.16 None loops/sum01_bug02.yml false(unreach-call) 15.03 10.01 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 10.07 6.85 None loops/sum03-1.yml false(unreach-call) 19.98 13.13 None loops/sum03-2.yml true 5.92 3.60 None loops/sum04-1.yml false(unreach-call) 10.96 8.18 None loops/sum04-2.yml true 12.60 10.48 None loops/sum_array-1.yml false(unreach-call) 6.63 4.35 None loops/sum_array-2.yml TIMEOUT 900.40 882.23 None loops/terminator_01.yml false(unreach-call) 7.22 4.45 None loops/terminator_02-1.yml false(unreach-call) 7.48 4.10 None loops/terminator_02-2.yml true 7.47 4.52 None loops/terminator_03-1.yml false(unreach-call) 7.97 4.85 None loops/terminator_03-2.yml true 7.81 4.42 None loops/trex01-1.yml ERROR: EXCEPTION 5.96 3.39 None loops/trex01-2.yml ERROR: EXCEPTION 6.51 4.00 None loops/trex02-1.yml true 7.73 4.15 None loops/trex02-2.yml false(unreach-call) 7.11 4.28 None loops/trex03-1.yml false(unreach-call) 7.42 4.47 None loops/trex03-2.yml true 7.48 4.44 None loops/trex04.yml true 8.12 4.86 None loops/veris.c_NetBSD-libc_loop.yml true 11.35 7.00 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 11.73 7.11 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml ERROR: EXCEPTION 6.22 3.42 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 9.55 5.48 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 18.75 10.96 None loops/vogal-1.yml TIMEOUT 900.51 861.19 None loops/vogal-2.yml TIMEOUT 900.42 883.35 None loops/while_infinite_loop_1.yml true 5.92 3.91 None loops/while_infinite_loop_2.yml true 5.67 3.80 None loops/while_infinite_loop_3.yml true 6.27 3.86 None loops/while_infinite_loop_4.yml false(unreach-call) 5.77 3.96 None loop-acceleration/array_1-1.yml TIMEOUT 900.63 885.59 None loop-acceleration/array_1-2.yml true 9.84 7.43 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.59 867.73 None loop-acceleration/array_2-1.yml TIMEOUT 900.45 889.14 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.38 889.32 None loop-acceleration/array_2-2.yml TIMEOUT 900.44 889.82 None loop-acceleration/array_3-1.yml true 8.07 5.38 None loop-acceleration/array_3-2.yml TIMEOUT 900.40 886.87 None loop-acceleration/array_4.yml TIMEOUT 900.44 881.50 None loop-acceleration/const_1-1.yml true 7.19 4.81 None loop-acceleration/const_1-2.yml false(unreach-call) 6.77 4.18 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.39 885.92 None loop-acceleration/diamond_1-2.yml false(unreach-call) 648.27 568.79 None loop-acceleration/diamond_2-2.yml true 33.93 25.03 None loop-acceleration/functions_1-1.yml TIMEOUT 900.42 783.84 None loop-acceleration/functions_1-2.yml TIMEOUT 900.80 869.74 None loop-acceleration/multivar_1-1.yml true 6.48 4.26 None loop-acceleration/multivar_1-2.yml false(unreach-call) 6.03 3.90 None loop-acceleration/nested_1-1.yml true 11.86 8.49 None loop-acceleration/nested_1-2.yml TIMEOUT 901.35 864.68 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.42 879.98 None loop-acceleration/phases_1-1.yml TIMEOUT 900.83 839.29 None loop-acceleration/phases_1-2.yml TIMEOUT 900.72 840.61 None loop-acceleration/phases_2-1.yml false(unreach-call) 5.49 3.20 None loop-acceleration/phases_2-2.yml TIMEOUT 900.42 882.17 None loop-acceleration/simple_1-1.yml false(unreach-call) 7.87 4.71 None loop-acceleration/simple_1-2.yml true 8.86 5.44 None loop-acceleration/simple_2-1.yml true 7.48 4.67 None loop-acceleration/simple_2-2.yml false(unreach-call) 5.78 3.58 None loop-acceleration/simple_3-1.yml false(unreach-call) 7.90 4.68 None loop-acceleration/simple_3-2.yml true 6.99 4.16 None loop-acceleration/simple_4-1.yml false(unreach-call) 8.21 4.77 None loop-acceleration/simple_4-2.yml TIMEOUT 900.62 879.50 None loop-acceleration/underapprox_1-1.yml ERROR: EXCEPTION 6.69 4.19 None loop-acceleration/underapprox_1-2.yml ERROR: EXCEPTION 5.29 3.63 None loop-acceleration/underapprox_2-1.yml ERROR: EXCEPTION 6.15 3.84 None loop-acceleration/underapprox_2-2.yml ERROR: EXCEPTION 6.80 4.07 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.40 888.87 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 6.90 3.92 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.66 866.69 None loop-crafted/simple_array_index_value_3.yml ERROR: EXCEPTION 6.53 3.85 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 14.53 8.37 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 12.79 7.42 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 901.01 884.50 None loop-crafted/simple_vardep_1.yml true 8.32 4.77 None loop-crafted/simple_vardep_2.yml true 8.52 5.02 None loop-invgen/MADWiFi-encode_ie_ok.yml true 13.13 7.96 None loop-invgen/NetBSD_loop.yml true 11.28 6.72 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 13.16 7.94 None loop-invgen/SpamAssassin-loop.yml true 14.64 8.35 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 22.54 13.18 None loop-invgen/apache-escape-absolute.yml true 13.31 7.54 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 18.56 10.77 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 38.93 26.76 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 81.12 52.16 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 23.60 13.21 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 22.49 12.69 None loop-invgen/apache-get-tag.yml true 12.51 8.15 None loop-invgen/down.yml true 8.77 5.74 None loop-invgen/fragtest_simple.yml TIMEOUT 900.88 704.73 None loop-invgen/half_2.yml TIMEOUT 900.52 882.62 None loop-invgen/heapsort.yml true 58.11 39.86 None loop-invgen/id_build.i.p+nlh-reducer.yml true 12.00 7.40 None loop-invgen/id_build.i.p+sep-reducer.yml true 11.50 6.80 None loop-invgen/id_build.i.v+lhb-reducer.yml true 7.54 5.05 None loop-invgen/id_build.yml true 6.71 4.50 None loop-invgen/id_trans.yml false(unreach-call) 7.87 4.73 None loop-invgen/large_const.yml true 12.89 7.89 None loop-invgen/nest-if3.yml true 6.14 4.05 None loop-invgen/nested6.yml true 15.27 10.78 None loop-invgen/nested9.yml true 13.37 8.43 None loop-invgen/sendmail-close-angle.yml true 17.27 10.79 None loop-invgen/seq-3.yml true 21.48 13.52 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.59 879.85 None loop-invgen/up.yml true 9.00 5.70 None loop-lit/afnp2014.yml true 7.23 4.83 None loop-lit/bhmr2007.yml true 15.76 9.49 None loop-lit/cggmp2005.yml true 7.28 4.41 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.44 888.56 None loop-lit/cggmp2005b.yml true 8.41 5.13 None loop-lit/css2003.yml true 7.48 4.43 None loop-lit/ddlm2013.yml true 17.51 10.99 None loop-lit/gcnr2008.yml false(unreach-call) 7.43 4.14 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 335.69 255.74 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 422.13 341.99 None loop-lit/gj2007.yml true 237.82 182.22 None loop-lit/gj2007b.yml true 8.47 5.45 None loop-lit/gr2006.yml true 105.32 82.90 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml TIMEOUT 900.36 895.28 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml TIMEOUT 900.34 895.39 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 8.79 5.53 None loop-lit/gsv2008.yml TIMEOUT 900.38 893.33 None loop-lit/hhk2008.yml true 7.56 4.81 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 7.79 5.12 None loop-lit/jm2006.yml true 7.41 4.87 None loop-lit/jm2006_variant.yml true 8.47 5.71 None loop-lit/mcmillan2006.yml TIMEOUT 900.43 877.88 None loop-new/count_by_1.yml true 8.81 5.10 None loop-new/count_by_1_variant.yml true 11.01 6.49 None loop-new/count_by_2.yml TIMEOUT 900.80 735.83 None loop-new/count_by_k.yml TIMEOUT 900.59 734.07 None loop-new/count_by_nondet.yml TIMEOUT 900.44 739.49 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 13.56 10.21 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 11.49 7.94 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 13.62 10.53 None loop-new/gauss_sum.yml TIMEOUT 900.57 775.76 None loop-new/half.yml true 15.89 11.07 None loop-new/nested-1.yml true 33.48 23.37 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 4.03 2.41 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 4.24 2.62 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 4.15 2.61 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 12.69 8.79 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 12.45 8.09 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 18.96 13.60 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 36.25 26.64 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 4.63 2.55 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 44.61 41.16 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 54.94 52.94 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 63.61 59.06 None loop-industry-pattern/mod3.yml true 45.75 41.86 None loop-industry-pattern/nested-3.yml true 59.50 43.18 None loop-industry-pattern/ofuf_1.yml true 9.13 5.96 None loop-industry-pattern/ofuf_2.yml true 8.97 6.31 None loop-industry-pattern/ofuf_3.yml true 9.24 5.70 None loop-industry-pattern/ofuf_4.yml true 9.20 5.74 None loop-industry-pattern/ofuf_5.yml true 10.93 6.61 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.45 884.38 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.10 825.08 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.45 883.67 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.54 885.08 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.45 870.05 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.61 861.10 None loops-crafted-1/discover_list.yml ERROR: EXCEPTION 8.70 5.12 None loops-crafted-1/iftelse.yml TIMEOUT 900.39 893.51 None loops-crafted-1/in-de20.yml TIMEOUT 900.65 877.32 None loops-crafted-1/in-de31.yml TIMEOUT 900.41 881.29 None loops-crafted-1/in-de32.yml OUT OF MEMORY 280.33 208.76 None loops-crafted-1/in-de41.yml TIMEOUT 900.42 878.77 None loops-crafted-1/in-de42.yml TIMEOUT 900.43 883.30 None loops-crafted-1/in-de51.yml TIMEOUT 900.38 885.95 None loops-crafted-1/in-de52.yml TIMEOUT 900.39 886.73 None loops-crafted-1/in-de61.yml TIMEOUT 900.36 884.84 None loops-crafted-1/in-de62.yml TIMEOUT 900.43 881.44 None loops-crafted-1/loopv1.yml true 7.56 4.63 None loops-crafted-1/loopv2.yml true 7.33 4.91 None loops-crafted-1/loopv3.yml TIMEOUT 900.21 760.49 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.69 745.28 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.39 887.13 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.38 885.24 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 900.47 881.06 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 901.19 718.83 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 901.20 872.63 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 901.05 715.27 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 901.17 709.88 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.70 735.96 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.49 868.78 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.47 750.73 None loops-crafted-1/nested3-1.yml OUT OF MEMORY 868.51 824.17 None loops-crafted-1/nested3-2.yml false(unreach-call) 6.93 4.04 None loops-crafted-1/nested5-1.yml true 8.99 6.11 None loops-crafted-1/nested5-2.yml TIMEOUT 900.50 860.69 None loops-crafted-1/nested_delay_nd.yml true 71.22 53.94 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 130.60 97.56 None loops-crafted-1/net_reset.yml true 10.57 6.12 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.39 891.57 None loops-crafted-1/sum_natnum.yml true 12.43 10.17 None loops-crafted-1/sumt2.yml true 11.87 7.32 None loops-crafted-1/sumt3.yml TIMEOUT 900.39 895.51 None loops-crafted-1/sumt4.yml TIMEOUT 900.38 893.74 None loops-crafted-1/sumt5.yml TIMEOUT 900.38 885.19 None loops-crafted-1/sumt6.yml TIMEOUT 900.41 882.26 None loops-crafted-1/sumt7.yml TIMEOUT 900.44 885.26 None loops-crafted-1/sumt8.yml TIMEOUT 900.43 883.57 None loops-crafted-1/sumt9.yml TIMEOUT 900.43 881.98 None loops-crafted-1/theatreSquare.yml OUT OF MEMORY 114.58 84.99 None loops-crafted-1/vnew1.yml TIMEOUT 900.34 896.31 None loops-crafted-1/vnew2.yml OUT OF MEMORY 429.46 414.04 None loops-crafted-1/watermelon.yml TIMEOUT 900.38 757.27 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 5.79 3.80 None loop-invariants/const.yml true 6.61 4.09 None loop-invariants/eq1.yml true 6.51 3.96 None loop-invariants/eq2.yml true 6.68 4.02 None loop-invariants/even.yml true 7.00 4.58 None loop-invariants/linear-inequality-inv-a.yml ERROR: EXCEPTION 5.07 3.23 None loop-invariants/linear-inequality-inv-b.yml ERROR: EXCEPTION 5.01 2.87 None loop-invariants/mod4.yml true 7.16 4.60 None loop-invariants/odd.yml true 6.98 4.36 None loop-simple/deep-nested.yml TIMEOUT 901.30 834.01 None loop-simple/nested_1.yml true 6.34 3.85 None loop-simple/nested_1b.yml false(unreach-call) 8.25 6.21 None loop-simple/nested_2.yml true 11.32 8.54 None loop-simple/nested_3.yml true 12.36 8.92 None loop-simple/nested_4.yml true 34.61 23.56 None loop-simple/nested_5.yml OUT OF MEMORY 188.43 147.25 None loop-simple/nested_6.yml OUT OF MEMORY 232.64 174.11 None loop-zilu/benchmark02_linear.yml true 7.63 4.34 None loop-zilu/benchmark04_conjunctive.yml true 9.42 5.95 None loop-zilu/benchmark05_conjunctive.yml true 10.99 6.23 None loop-zilu/benchmark09_conjunctive.yml true 6.78 4.58 None loop-zilu/benchmark10_conjunctive.yml true 9.35 5.81 None loop-zilu/benchmark11_linear.yml true 6.96 4.48 None loop-zilu/benchmark14_linear.yml true 7.70 4.32 None loop-zilu/benchmark17_conjunctive.yml true 6.18 3.71 None loop-zilu/benchmark18_conjunctive.yml true 9.36 5.69 None loop-zilu/benchmark19_conjunctive.yml true 7.07 4.21 None loop-zilu/benchmark20_conjunctive.yml TIMEOUT 900.46 883.06 None loop-zilu/benchmark23_conjunctive.yml true 8.95 5.59 None loop-zilu/benchmark25_linear.yml true 6.47 4.81 None loop-zilu/benchmark26_linear.yml true 8.73 5.57 None loop-zilu/benchmark32_linear.yml true 5.95 3.94 None loop-zilu/benchmark33_linear.yml true 6.31 3.88 None loop-zilu/benchmark34_conjunctive.yml true 9.32 5.74 None loop-zilu/benchmark35_linear.yml true 6.46 3.95 None loop-zilu/benchmark37_conjunctive.yml true 7.63 4.25 None loop-zilu/benchmark43_conjunctive.yml true 6.96 4.30 None loop-zilu/benchmark51_polynomial.yml true 7.08 4.26 None loop-zilu/benchmark52_polynomial.yml TIMEOUT 900.41 897.43 None verifythis/duplets.yml true 342.19 311.66 None verifythis/elimination_max.yml true 8.31 5.35 None verifythis/lcp.yml true 10.45 6.60 None verifythis/prefixsum_iter.yml ERROR: EXCEPTION 7.89 6.17 None verifythis/tree_del_iter.yml ERROR: EXCEPTION 5.45 4.04 None verifythis/tree_del_iter_incorrect.yml ERROR: EXCEPTION 5.50 4.03 None nla-digbench/bresenham-ll.yml true 72.42 69.64 None nla-digbench/cohencu-ll.yml TIMEOUT 900.39 894.33 None nla-digbench/cohendiv-ll.yml true 12.50 9.19 None nla-digbench/dijkstra-u.yml TIMEOUT 900.31 897.62 None nla-digbench/divbin.yml TIMEOUT 900.35 897.90 None nla-digbench/divbin2.yml TIMEOUT 900.36 897.23 None nla-digbench/egcd-ll.yml true 91.24 81.13 None nla-digbench/egcd2-ll.yml true 67.25 51.76 None nla-digbench/egcd3-ll.yml true 47.28 35.28 None nla-digbench/fermat1-ll.yml true 10.95 8.75 None nla-digbench/fermat2-ll.yml true 7.47 4.86 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 4.86 3.01 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 5.93 3.93 None nla-digbench/geo1-ll.yml true 6.74 4.22 None nla-digbench/geo1-u.yml false(unreach-call) 6.05 3.85 None nla-digbench/geo2-ll.yml TIMEOUT 900.33 895.90 None nla-digbench/geo3-ll.yml TIMEOUT 900.34 896.56 None nla-digbench/hard-ll.yml true 27.35 21.18 None nla-digbench/hard-u.yml TIMEOUT 900.37 894.45 None nla-digbench/hard2.yml TIMEOUT 901.09 859.26 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.13 3.06 None nla-digbench/lcm1.yml TIMEOUT 900.33 896.09 None nla-digbench/lcm2.yml TIMEOUT 900.33 897.34 None nla-digbench/mannadiv.yml true 7.05 5.10 None nla-digbench/prod4br-ll.yml OUT OF MEMORY 535.29 515.74 None nla-digbench/prodbin-ll.yml TIMEOUT 900.48 893.35 None nla-digbench/ps2-ll.yml true 9.46 6.13 None nla-digbench/ps3-ll.yml true 11.19 7.59 None nla-digbench/ps4-ll.yml TIMEOUT 900.34 893.49 None nla-digbench/ps5-ll.yml TIMEOUT 900.34 897.32 None nla-digbench/ps6-ll.yml TIMEOUT 900.33 897.34 None nla-digbench/sqrt1-ll.yml true 12.06 9.53 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 7.98 5.87 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml true 50.13 47.53 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml true 53.06 49.97 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml true 10.79 7.61 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml true 56.49 53.31 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml true 45.02 41.71 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml true 97.13 95.04 None nla-digbench-scaling/bresenham-ll_valuebound1.yml TIMEOUT 900.38 889.39 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 70.91 68.37 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 62.26 59.08 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 10.96 7.35 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 43.65 40.08 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 32.48 30.25 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 50.46 46.95 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 8.01 7.14 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml TIMEOUT 900.58 888.53 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.36 888.31 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 11.94 8.65 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml TIMEOUT 900.43 883.70 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml false(unreach-call) 52.12 41.69 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml TIMEOUT 900.46 877.22 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 16.07 12.50 None nla-digbench-scaling/cohencu-ll_valuebound10.yml TIMEOUT 900.42 881.69 None nla-digbench-scaling/cohencu-ll_valuebound100.yml TIMEOUT 900.45 874.12 None nla-digbench-scaling/cohencu-ll_valuebound2.yml TIMEOUT 900.40 890.72 None nla-digbench-scaling/cohencu-ll_valuebound20.yml TIMEOUT 900.45 874.40 None nla-digbench-scaling/cohencu-ll_valuebound5.yml TIMEOUT 900.55 885.27 None nla-digbench-scaling/cohencu-ll_valuebound50.yml TIMEOUT 900.37 894.04 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 10.82 7.07 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml TIMEOUT 900.12 861.71 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml TIMEOUT 900.95 874.18 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 11.51 9.96 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml TIMEOUT 900.88 878.77 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml TIMEOUT 900.94 874.96 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml TIMEOUT 900.83 879.48 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 9.06 6.44 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 11.79 8.95 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 13.49 10.57 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 13.55 9.55 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 12.73 9.81 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 13.46 9.52 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 12.08 9.94 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml TIMEOUT 900.30 896.94 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.31 897.22 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.34 894.82 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml TIMEOUT 900.31 896.77 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.34 894.91 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.35 895.17 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.34 895.38 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.34 894.97 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.34 895.22 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.33 895.09 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.33 894.75 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.30 897.64 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.34 894.67 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.29 897.09 None nla-digbench-scaling/divbin2_unwindbound1.yml true 7.59 5.34 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.36 897.26 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.35 898.29 None nla-digbench-scaling/divbin2_unwindbound2.yml true 10.64 7.27 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.38 894.86 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 900.35 897.39 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.38 894.97 None nla-digbench-scaling/divbin2_valuebound1.yml TIMEOUT 900.38 894.98 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.37 895.91 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 900.35 897.40 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.34 896.59 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.38 895.69 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 900.34 897.97 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.35 898.04 None nla-digbench-scaling/divbin_unwindbound1.yml true 11.88 8.58 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.38 897.83 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.35 897.44 None nla-digbench-scaling/divbin_unwindbound2.yml true 11.59 9.08 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.37 898.03 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 900.41 896.36 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.39 894.58 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 900.38 896.50 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 900.40 894.55 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 900.39 894.22 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 900.37 895.78 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.37 896.87 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.38 896.63 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 900.39 894.47 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 9.16 6.44 None nla-digbench-scaling/egcd-ll_unwindbound10.yml OUT OF MEMORY 761.61 746.97 None nla-digbench-scaling/egcd-ll_unwindbound100.yml TIMEOUT 900.44 881.32 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 11.56 11.51 None nla-digbench-scaling/egcd-ll_unwindbound20.yml TIMEOUT 900.38 896.00 None nla-digbench-scaling/egcd-ll_unwindbound5.yml TIMEOUT 901.14 884.06 None nla-digbench-scaling/egcd-ll_unwindbound50.yml TIMEOUT 900.41 885.36 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 11.57 8.02 None nla-digbench-scaling/egcd-ll_valuebound10.yml TIMEOUT 901.24 836.29 None nla-digbench-scaling/egcd-ll_valuebound100.yml OUT OF MEMORY 551.32 481.84 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 18.29 13.18 None nla-digbench-scaling/egcd-ll_valuebound20.yml TIMEOUT 900.44 877.53 None nla-digbench-scaling/egcd-ll_valuebound5.yml TIMEOUT 900.40 886.61 None nla-digbench-scaling/egcd-ll_valuebound50.yml TIMEOUT 900.45 878.31 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 9.99 6.83 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml true 143.71 129.91 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml true 104.25 85.36 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 13.64 9.93 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml true 151.13 131.02 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 24.26 19.24 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml true 114.41 97.95 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 16.06 11.26 None nla-digbench-scaling/egcd2-ll_valuebound10.yml true 321.14 304.75 None nla-digbench-scaling/egcd2-ll_valuebound100.yml true 303.25 283.38 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 27.01 19.25 None nla-digbench-scaling/egcd2-ll_valuebound20.yml true 135.98 120.03 None nla-digbench-scaling/egcd2-ll_valuebound5.yml true 57.76 50.19 None nla-digbench-scaling/egcd2-ll_valuebound50.yml true 146.06 131.69 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 9.01 5.67 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 42.86 30.47 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml TIMEOUT 900.16 841.19 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 10.35 6.87 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml TIMEOUT 900.72 813.72 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 20.43 14.71 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml TIMEOUT 900.56 816.33 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 14.60 10.18 None nla-digbench-scaling/egcd3-ll_valuebound10.yml true 32.61 23.03 None nla-digbench-scaling/egcd3-ll_valuebound100.yml true 36.51 26.12 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 34.35 22.91 None nla-digbench-scaling/egcd3-ll_valuebound20.yml true 35.90 25.62 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 900.41 883.75 None nla-digbench-scaling/egcd3-ll_valuebound50.yml true 38.64 27.51 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 15.75 12.21 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml false(unreach-call) 41.52 32.76 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 900.37 890.38 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 15.20 12.56 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml TIMEOUT 900.37 888.99 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 22.86 18.34 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.41 885.40 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 12.81 10.03 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 23.23 20.48 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 23.28 21.16 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 34.78 32.06 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 23.40 20.75 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 13.16 11.29 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 9.99 7.35 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 7.97 5.61 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml false(unreach-call) 47.55 44.93 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.37 891.88 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 19.56 17.32 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml false(unreach-call) 76.55 70.65 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml false(unreach-call) 10.94 9.54 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml TIMEOUT 900.36 893.04 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 15.13 13.10 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 7.70 5.56 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 7.36 5.65 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 108.47 106.07 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 9.70 6.20 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 10.85 7.17 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 9.87 6.19 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 7.80 4.59 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 5.85 3.42 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 5.92 3.41 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 5.99 3.48 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 6.25 3.64 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 7.54 4.21 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 7.72 4.61 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 5.78 3.80 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 5.95 3.48 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 7.34 4.29 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 7.37 4.06 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 5.44 3.34 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 5.54 3.62 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 7.62 4.19 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 8.13 4.90 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 6.67 4.45 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 6.65 4.16 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 7.65 4.61 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 8.32 5.31 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 6.43 4.39 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.65 4.19 None nla-digbench-scaling/freire2_valuebound1.yml UNKNOWN: OverapproxCex 7.70 4.71 None nla-digbench-scaling/freire2_valuebound10.yml UNKNOWN: OverapproxCex 6.16 3.66 None nla-digbench-scaling/freire2_valuebound100.yml UNKNOWN: OverapproxCex 6.20 4.10 None nla-digbench-scaling/freire2_valuebound2.yml UNKNOWN: OverapproxCex 7.94 4.47 None nla-digbench-scaling/freire2_valuebound20.yml UNKNOWN: OverapproxCex 8.00 4.82 None nla-digbench-scaling/freire2_valuebound5.yml UNKNOWN: OverapproxCex 6.10 3.65 None nla-digbench-scaling/freire2_valuebound50.yml UNKNOWN: OverapproxCex 6.45 4.16 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 9.10 5.56 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 7.44 5.39 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 8.75 5.80 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 7.42 5.11 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 8.89 5.44 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 7.51 5.31 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 9.38 6.19 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 7.80 5.27 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 8.59 5.05 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 6.48 4.34 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 7.34 5.01 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 9.15 5.76 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 8.69 5.16 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 7.08 4.59 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 6.83 4.50 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 8.36 5.57 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.38 5.36 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 7.06 4.44 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 7.23 4.48 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 8.64 5.64 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 6.46 4.74 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 8.85 5.16 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 7.18 4.80 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 6.65 4.57 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 8.08 4.79 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 8.21 5.19 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 6.73 4.12 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 6.75 4.51 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 9.48 6.16 None nla-digbench-scaling/geo2-ll_unwindbound10.yml TIMEOUT 900.36 896.56 None nla-digbench-scaling/geo2-ll_unwindbound100.yml TIMEOUT 900.36 894.90 None nla-digbench-scaling/geo2-ll_unwindbound2.yml TIMEOUT 900.31 897.33 None nla-digbench-scaling/geo2-ll_unwindbound20.yml TIMEOUT 900.36 895.78 None nla-digbench-scaling/geo2-ll_unwindbound5.yml TIMEOUT 900.31 898.27 None nla-digbench-scaling/geo2-ll_unwindbound50.yml TIMEOUT 900.35 895.27 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 6.79 4.68 None nla-digbench-scaling/geo2-ll_valuebound10.yml TIMEOUT 900.32 896.91 None nla-digbench-scaling/geo2-ll_valuebound100.yml TIMEOUT 900.36 894.79 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.74 5.28 None nla-digbench-scaling/geo2-ll_valuebound20.yml TIMEOUT 900.31 897.86 None nla-digbench-scaling/geo2-ll_valuebound5.yml TIMEOUT 900.32 896.84 None nla-digbench-scaling/geo2-ll_valuebound50.yml TIMEOUT 900.32 897.17 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 8.88 6.47 None nla-digbench-scaling/geo3-ll_unwindbound10.yml TIMEOUT 900.37 895.74 None nla-digbench-scaling/geo3-ll_unwindbound100.yml TIMEOUT 900.34 897.28 None nla-digbench-scaling/geo3-ll_unwindbound2.yml TIMEOUT 900.33 897.81 None nla-digbench-scaling/geo3-ll_unwindbound20.yml TIMEOUT 900.36 895.03 None nla-digbench-scaling/geo3-ll_unwindbound5.yml TIMEOUT 900.35 896.53 None nla-digbench-scaling/geo3-ll_unwindbound50.yml TIMEOUT 900.33 897.33 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 9.06 5.54 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 46.04 42.16 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 23.13 21.36 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 7.04 4.91 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 25.67 24.12 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 21.48 17.36 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 25.16 22.88 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 11.10 6.76 None nla-digbench-scaling/hard-ll_unwindbound10.yml TIMEOUT 900.90 851.39 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 900.37 895.37 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 14.46 9.64 None nla-digbench-scaling/hard-ll_unwindbound20.yml OUT OF MEMORY 245.17 217.72 None nla-digbench-scaling/hard-ll_unwindbound5.yml false(unreach-call) 26.59 18.96 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 900.29 847.81 None nla-digbench-scaling/hard-ll_valuebound1.yml TIMEOUT 900.43 877.17 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 900.36 895.24 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 900.35 894.68 None nla-digbench-scaling/hard-ll_valuebound2.yml TIMEOUT 900.41 884.71 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 900.39 890.20 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.44 879.51 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 900.36 894.22 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 11.28 8.12 None nla-digbench-scaling/hard-u_unwindbound10.yml TIMEOUT 900.33 897.65 None nla-digbench-scaling/hard-u_unwindbound100.yml TIMEOUT 900.40 894.04 None nla-digbench-scaling/hard-u_unwindbound2.yml TIMEOUT 900.39 895.60 None nla-digbench-scaling/hard-u_unwindbound20.yml TIMEOUT 900.38 896.09 None nla-digbench-scaling/hard-u_unwindbound5.yml TIMEOUT 900.40 894.06 None nla-digbench-scaling/hard-u_unwindbound50.yml TIMEOUT 900.35 898.49 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 900.40 895.54 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.42 893.16 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.37 894.67 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.37 894.88 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.37 895.39 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.42 892.71 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.40 892.23 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 9.63 6.30 None nla-digbench-scaling/hard2_unwindbound10.yml TIMEOUT 900.99 869.53 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.94 864.68 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 13.34 8.36 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.99 854.21 None nla-digbench-scaling/hard2_unwindbound5.yml false(unreach-call) 24.93 17.24 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 901.18 851.95 None nla-digbench-scaling/hard2_valuebound1.yml true 14.84 9.44 None nla-digbench-scaling/hard2_valuebound10.yml TIMEOUT 900.44 880.50 None nla-digbench-scaling/hard2_valuebound100.yml TIMEOUT 900.45 880.36 None nla-digbench-scaling/hard2_valuebound2.yml true 14.82 10.86 None nla-digbench-scaling/hard2_valuebound20.yml TIMEOUT 900.38 889.43 None nla-digbench-scaling/hard2_valuebound5.yml ERROR: EXCEPTION 777.24 761.11 None nla-digbench-scaling/hard2_valuebound50.yml TIMEOUT 900.43 880.80 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 4.99 3.66 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 4.04 3.42 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 4.58 2.83 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.35 3.06 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 4.45 3.14 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 4.66 3.27 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 4.53 3.53 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 4.22 2.35 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 4.99 3.72 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 4.01 2.26 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 4.01 2.25 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.58 2.82 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 3.96 2.77 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 4.23 3.61 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.31 896.99 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.31 897.14 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.32 897.04 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.33 895.72 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.33 895.76 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.31 898.78 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.31 897.69 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.33 897.10 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.34 897.19 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.34 895.34 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.34 895.54 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.29 898.23 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.31 897.47 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.33 896.48 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.32 897.21 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.32 897.04 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.32 898.03 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.34 895.69 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.34 895.84 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.31 897.84 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.31 898.55 None nla-digbench-scaling/lcm2_valuebound1.yml true 8.60 5.82 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.32 897.13 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.32 896.98 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.34 895.47 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.34 895.68 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.30 897.62 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.29 897.60 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 8.83 8.39 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 15.58 11.30 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 536.50 424.49 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 7.61 5.51 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 22.23 17.52 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 8.98 7.40 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 98.54 78.83 None nla-digbench-scaling/mannadiv_valuebound1.yml true 8.40 5.37 None nla-digbench-scaling/mannadiv_valuebound10.yml true 6.63 4.78 None nla-digbench-scaling/mannadiv_valuebound100.yml true 8.15 4.90 None nla-digbench-scaling/mannadiv_valuebound2.yml true 6.10 4.65 None nla-digbench-scaling/mannadiv_valuebound20.yml true 8.03 4.89 None nla-digbench-scaling/mannadiv_valuebound5.yml true 8.33 5.30 None nla-digbench-scaling/mannadiv_valuebound50.yml true 6.76 4.64 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 8.78 6.21 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml TIMEOUT 900.37 893.80 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.38 893.58 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml TIMEOUT 900.35 896.00 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml TIMEOUT 900.34 897.42 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml TIMEOUT 900.35 896.19 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.35 896.65 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 24.02 20.69 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 900.36 887.87 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.46 879.13 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 900.41 883.83 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.42 883.07 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 900.45 877.93 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 900.45 878.66 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 7.52 5.63 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml TIMEOUT 900.34 897.68 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.34 896.73 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml TIMEOUT 900.36 895.33 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml TIMEOUT 900.37 894.80 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml TIMEOUT 900.34 896.44 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.35 897.91 None nla-digbench-scaling/prodbin-ll_valuebound1.yml TIMEOUT 900.41 884.59 None nla-digbench-scaling/prodbin-ll_valuebound10.yml TIMEOUT 900.35 896.58 None nla-digbench-scaling/prodbin-ll_valuebound100.yml TIMEOUT 900.35 892.30 None nla-digbench-scaling/prodbin-ll_valuebound2.yml TIMEOUT 900.46 874.58 None nla-digbench-scaling/prodbin-ll_valuebound20.yml TIMEOUT 900.34 896.68 None nla-digbench-scaling/prodbin-ll_valuebound5.yml TIMEOUT 900.35 895.93 None nla-digbench-scaling/prodbin-ll_valuebound50.yml TIMEOUT 900.43 880.90 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 9.15 5.92 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 10.45 6.98 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 10.28 7.42 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 10.35 6.73 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 9.88 7.16 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 10.25 6.97 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 9.66 6.72 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 9.11 5.96 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 9.63 6.38 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 9.14 6.02 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 9.41 5.93 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 9.77 6.48 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 9.43 6.35 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.82 6.43 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 8.97 5.68 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 900.33 895.88 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 900.30 898.50 None nla-digbench-scaling/ps3-ll_unwindbound2.yml TIMEOUT 900.31 897.53 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 900.34 896.26 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 900.36 896.24 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 900.31 897.02 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 6.30 5.05 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 7.97 5.54 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 7.39 5.81 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 7.90 6.16 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 7.67 5.97 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 6.85 5.75 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 7.35 5.35 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 6.59 5.04 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 21.28 18.00 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.35 895.87 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 8.43 6.54 None nla-digbench-scaling/ps4-ll_unwindbound20.yml TIMEOUT 900.32 895.13 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 13.21 10.43 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.31 895.26 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 7.05 5.37 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 23.64 20.01 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.50 879.41 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 9.20 7.16 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 38.60 33.21 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 17.35 14.89 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.53 884.23 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 7.20 5.20 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.34 897.78 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.35 896.83 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 10.14 7.39 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.42 895.64 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.37 894.42 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.34 900.41 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 7.58 5.17 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.33 896.91 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.37 894.23 None nla-digbench-scaling/ps5-ll_valuebound2.yml TIMEOUT 900.37 894.92 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.35 896.13 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.34 897.64 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.36 896.85 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 7.57 5.72 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.31 897.23 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.36 895.88 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 9.41 6.50 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.33 896.75 None nla-digbench-scaling/ps6-ll_unwindbound5.yml TIMEOUT 900.31 897.81 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.34 896.71 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 12.20 12.35 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 900.37 893.00 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.34 893.81 None nla-digbench-scaling/ps6-ll_valuebound2.yml TIMEOUT 900.32 897.94 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 900.40 895.97 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 22.94 19.44 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.37 894.28 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.09 6.30 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 14.69 11.02 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 18.13 12.76 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 11.97 8.33 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 17.50 12.58 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 20.91 17.54 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 17.77 12.34 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 9.96 6.79 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml TIMEOUT 900.37 894.15 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml TIMEOUT 900.34 896.04 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 10.13 7.36 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml TIMEOUT 900.34 897.22 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 10.86 8.03 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 14.79 11.97 None ---------------------------------------------------------------------------------------------------------------------------- Run set 2 done 110750.59 20782.43 - 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.79 6.06 None loops/array-2.yml false(unreach-call) 6.40 4.42 None loops/bubble_sort-1.yml true 5.57 3.44 None loops/bubble_sort-2.yml false(unreach-call) 14.22 8.09 None loops/compact.yml TIMEOUT 901.26 694.71 None loops/count_up_down-1.yml TIMEOUT 900.93 845.88 None loops/count_up_down-2.yml false(unreach-call) 5.72 3.89 None loops/eureka_01-1.yml false(unreach-call) 42.45 23.69 None loops/eureka_01-2.yml TIMEOUT 900.92 841.68 None loops/eureka_05.yml TIMEOUT 901.07 832.32 None loops/for_bounded_loop1.yml true 10.85 6.58 None loops/for_infinite_loop_1.yml true 6.88 4.59 None loops/for_infinite_loop_2.yml true 6.84 4.53 None loops/heavy-1.yml ERROR: EXCEPTION 635.80 627.48 None loops/heavy-2.yml ERROR: EXCEPTION 646.73 636.92 None loops/insertion_sort-1.yml false(unreach-call) 102.46 70.50 None loops/insertion_sort-2.yml TIMEOUT 900.96 811.06 None loops/invert_string-1.yml false(unreach-call) 13.38 8.14 None loops/invert_string-3.yml true 39.90 29.45 None loops/linear_sea.ch.yml TIMEOUT 900.43 878.68 None loops/linear_search.yml TIMEOUT 900.41 883.58 None loops/lu.cmp.yml true 11.67 6.37 None loops/ludcmp.yml UNKNOWN: OverapproxCex 10.49 6.09 None loops/matrix-1.yml unknown 6.51 3.69 None loops/matrix-2.yml unknown 6.43 3.89 None loops/n.c11.yml true 9.66 5.86 None loops/n.c24.yml TIMEOUT 901.14 739.50 None loops/n.c40.yml true 8.69 5.05 None loops/nec11.yml false(unreach-call) 5.76 3.69 None loops/nec20.yml false(unreach-call) 9.32 5.02 None loops/nec40.yml true 6.45 4.43 None loops/s3.yml TIMEOUT 900.40 883.61 None loops/string-1.yml true 36.83 24.34 None loops/string-2.yml UNKNOWN: OverapproxCex 10.16 5.76 None loops/sum01-1.yml TIMEOUT 901.30 698.96 None loops/sum01-2.yml true 8.55 5.39 None loops/sum01_bug02.yml false(unreach-call) 10.30 6.40 None loops/sum01_bug02_sum01_bug02_base.case.yml TIMEOUT 900.68 861.76 None loops/sum03-1.yml TIMEOUT 900.35 889.65 None loops/sum03-2.yml true 5.93 4.54 None loops/sum04-1.yml true 13.23 8.24 None loops/sum04-2.yml true 7.28 4.25 None loops/sum_array-1.yml false(unreach-call) 6.16 4.70 None loops/sum_array-2.yml TIMEOUT 900.87 780.23 None loops/terminator_01.yml false(unreach-call) 5.00 3.19 None loops/terminator_02-1.yml false(unreach-call) 5.20 3.96 None loops/terminator_02-2.yml true 5.78 4.30 None loops/terminator_03-1.yml false(unreach-call) 5.57 3.96 None loops/terminator_03-2.yml true 6.42 4.87 None loops/trex01-1.yml false(unreach-call) 5.52 3.59 None loops/trex01-2.yml true 6.19 4.06 None loops/trex02-1.yml true 5.98 5.21 None loops/trex02-2.yml false(unreach-call) 5.77 4.06 None loops/trex03-1.yml false(unreach-call) 5.72 4.36 None loops/trex03-2.yml true 5.66 3.81 None loops/trex04.yml true 6.09 3.80 None loops/veris.c_NetBSD-libc_loop.yml true 10.81 6.30 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 7.74 4.89 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 8.30 4.86 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 6.93 4.89 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml unknown 13.80 7.52 None loops/vogal-1.yml TIMEOUT 900.48 870.30 None loops/vogal-2.yml false(unreach-call) 620.13 545.66 None loops/while_infinite_loop_1.yml true 7.97 4.84 None loops/while_infinite_loop_2.yml true 7.50 4.62 None loops/while_infinite_loop_3.yml true 7.97 4.40 None loops/while_infinite_loop_4.yml false(unreach-call) 6.67 3.80 None loop-acceleration/array_1-1.yml TIMEOUT 900.19 680.49 None loop-acceleration/array_1-2.yml TIMEOUT 900.18 681.76 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.68 732.28 None loop-acceleration/array_2-1.yml TIMEOUT 900.81 727.13 None loop-acceleration/array_2-2-simple.yml TIMEOUT 901.14 710.41 None loop-acceleration/array_2-2.yml TIMEOUT 901.09 710.28 None loop-acceleration/array_3-1.yml true 9.53 5.48 None loop-acceleration/array_3-2.yml TIMEOUT 900.95 748.14 None loop-acceleration/array_4.yml TIMEOUT 900.85 712.43 None loop-acceleration/const_1-1.yml true 7.45 4.76 None loop-acceleration/const_1-2.yml false(unreach-call) 5.87 4.42 None loop-acceleration/diamond_1-1.yml true 9.47 5.62 None loop-acceleration/diamond_1-2.yml false(unreach-call) 6.59 4.04 None loop-acceleration/diamond_2-2.yml unknown 8.58 5.68 None loop-acceleration/functions_1-1.yml true 9.89 5.69 None loop-acceleration/functions_1-2.yml false(unreach-call) 6.10 3.86 None loop-acceleration/multivar_1-1.yml true 6.53 4.66 None loop-acceleration/multivar_1-2.yml false(unreach-call) 5.54 3.67 None loop-acceleration/nested_1-1.yml true 17.05 10.16 None loop-acceleration/nested_1-2.yml false(unreach-call) 14.05 9.31 None loop-acceleration/overflow_1-1.yml true 34.60 30.43 None loop-acceleration/phases_1-1.yml TIMEOUT 900.53 886.03 None loop-acceleration/phases_1-2.yml false(unreach-call) 7.88 4.49 None loop-acceleration/phases_2-1.yml false(unreach-call) 5.31 3.52 None loop-acceleration/phases_2-2.yml TIMEOUT 900.48 878.51 None loop-acceleration/simple_1-1.yml false(unreach-call) 7.39 4.45 None loop-acceleration/simple_1-2.yml true 8.74 5.52 None loop-acceleration/simple_2-1.yml true 7.98 4.91 None loop-acceleration/simple_2-2.yml false(unreach-call) 6.28 4.09 None loop-acceleration/simple_3-1.yml false(unreach-call) 6.17 4.10 None loop-acceleration/simple_3-2.yml true 8.38 5.22 None loop-acceleration/simple_4-1.yml false(unreach-call) 6.82 4.48 None loop-acceleration/simple_4-2.yml true 53.51 49.49 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 8.29 5.39 None loop-acceleration/underapprox_1-2.yml true 13.15 8.67 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 9.42 5.76 None loop-acceleration/underapprox_2-2.yml true 9.72 6.15 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.70 854.64 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 7.71 4.74 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 901.26 694.34 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.36 796.00 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 16.35 10.67 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 13.07 7.24 None loop-crafted/simple_array_index_value_4.yml true 14.03 7.60 None loop-crafted/simple_vardep_1.yml true 8.03 4.64 None loop-crafted/simple_vardep_2.yml true 9.36 5.21 None loop-invgen/MADWiFi-encode_ie_ok.yml true 68.53 60.58 None loop-invgen/NetBSD_loop.yml true 11.13 6.30 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 26.43 15.29 None loop-invgen/SpamAssassin-loop.yml true 16.12 9.11 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 32.60 18.52 None loop-invgen/apache-escape-absolute.yml true 15.36 8.51 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 30.89 17.70 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 68.06 42.96 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 110.02 73.72 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 17.91 10.60 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 18.70 11.01 None loop-invgen/apache-get-tag.yml true 59.13 50.88 None loop-invgen/down.yml true 8.72 4.98 None loop-invgen/fragtest_simple.yml true 8.65 4.95 None loop-invgen/half_2.yml true 9.11 5.31 None loop-invgen/heapsort.yml true 105.72 85.41 None loop-invgen/id_build.i.p+nlh-reducer.yml true 31.95 20.98 None loop-invgen/id_build.i.p+sep-reducer.yml true 20.48 12.50 None loop-invgen/id_build.i.v+lhb-reducer.yml true 7.46 4.51 None loop-invgen/id_build.yml true 6.95 4.18 None loop-invgen/id_trans.yml false(unreach-call) 6.79 4.58 None loop-invgen/large_const.yml unknown 6.22 4.10 None loop-invgen/nest-if3.yml true 6.49 3.69 None loop-invgen/nested6.yml true 50.02 44.74 None loop-invgen/nested9.yml true 8.66 5.17 None loop-invgen/sendmail-close-angle.yml true 28.32 20.36 None loop-invgen/seq-3.yml true 17.77 10.17 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.49 869.70 None loop-invgen/up.yml true 11.13 6.64 None loop-lit/afnp2014.yml unknown 11.62 7.75 None loop-lit/bhmr2007.yml true 12.18 7.22 None loop-lit/cggmp2005.yml true 9.31 5.29 None loop-lit/cggmp2005_variant.yml true 9.73 5.62 None loop-lit/cggmp2005b.yml unknown 13.02 8.28 None loop-lit/css2003.yml true 8.42 4.85 None loop-lit/ddlm2013.yml unknown 6.88 4.00 None loop-lit/gcnr2008.yml false(unreach-call) 7.35 4.55 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 450.16 360.39 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 113.70 80.76 None loop-lit/gj2007.yml true 213.58 158.50 None loop-lit/gj2007b.yml true 13.84 7.64 None loop-lit/gr2006.yml true 379.15 284.59 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml unknown 230.34 226.06 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml unknown 375.50 372.70 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 12.43 8.69 None loop-lit/gsv2008.yml unknown 18.00 14.97 None loop-lit/hhk2008.yml true 7.75 4.72 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 8.34 5.09 None loop-lit/jm2006.yml true 8.22 4.72 None loop-lit/jm2006_variant.yml true 8.50 5.19 None loop-lit/mcmillan2006.yml TIMEOUT 900.48 737.00 None loop-new/count_by_1.yml true 7.66 4.64 None loop-new/count_by_1_variant.yml true 7.64 4.28 None loop-new/count_by_2.yml true 7.57 4.26 None loop-new/count_by_k.yml unknown 6.70 3.85 None loop-new/count_by_nondet.yml true 8.52 5.19 None loop-new/gauss_sum.i.p+cfa-reducer.yml unknown 5.14 3.42 None loop-new/gauss_sum.i.p+lhb-reducer.yml unknown 5.28 3.43 None loop-new/gauss_sum.i.v+cfa-reducer.yml unknown 5.62 3.37 None loop-new/gauss_sum.yml unknown 5.43 3.24 None loop-new/half.yml TIMEOUT 901.13 763.02 None loop-new/nested-1.yml TIMEOUT 900.46 742.79 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 5.77 3.30 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 5.41 3.24 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.00 3.64 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 198.12 140.06 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TIMEOUT 900.39 886.87 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 181.55 128.32 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 36.63 26.29 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 4.31 2.44 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TIMEOUT 900.47 887.72 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 63.26 58.40 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 55.73 51.20 None loop-industry-pattern/mod3.yml TIMEOUT 900.39 890.46 None loop-industry-pattern/nested-3.yml TIMEOUT 900.49 712.18 None loop-industry-pattern/ofuf_1.yml true 17.71 9.82 None loop-industry-pattern/ofuf_2.yml unknown 10.51 6.36 None loop-industry-pattern/ofuf_3.yml unknown 10.76 6.06 None loop-industry-pattern/ofuf_4.yml true 20.25 11.37 None loop-industry-pattern/ofuf_5.yml true 18.43 9.85 None loops-crafted-1/Mono1_1-1.yml false(unreach-call) 46.85 42.28 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.59 865.95 None loops-crafted-1/Mono3_1.yml TIMEOUT 901.23 698.05 None loops-crafted-1/Mono4_1.yml false(unreach-call) 8.57 5.07 None loops-crafted-1/Mono5_1.yml false(unreach-call) 30.39 25.71 None loops-crafted-1/Mono6_1.yml false(unreach-call) 18.41 16.42 None loops-crafted-1/discover_list.yml TIMEOUT 900.68 785.48 None loops-crafted-1/iftelse.yml true 559.82 549.87 None loops-crafted-1/in-de20.yml TIMEOUT 900.38 884.13 None loops-crafted-1/in-de31.yml OUT OF MEMORY 660.19 458.95 None loops-crafted-1/in-de32.yml TIMEOUT 900.36 889.69 None loops-crafted-1/in-de41.yml OUT OF MEMORY 405.89 352.51 None loops-crafted-1/in-de42.yml TIMEOUT 900.36 888.37 None loops-crafted-1/in-de51.yml OUT OF MEMORY 249.19 209.93 None loops-crafted-1/in-de52.yml TIMEOUT 900.40 881.94 None loops-crafted-1/in-de61.yml OUT OF MEMORY 133.52 110.36 None loops-crafted-1/in-de62.yml TIMEOUT 900.42 886.36 None loops-crafted-1/loopv1.yml true 10.32 7.58 None loops-crafted-1/loopv2.yml true 9.71 5.34 None loops-crafted-1/loopv3.yml true 77.37 69.55 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 901.17 703.93 None loops-crafted-1/mono-crafted_10.yml true 558.61 536.57 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.55 883.28 None loops-crafted-1/mono-crafted_12.yml true 28.66 24.65 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.86 802.35 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.87 728.61 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.82 727.10 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.72 731.13 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.69 865.80 None loops-crafted-1/mono-crafted_8.yml true 424.55 389.84 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 901.15 710.80 None loops-crafted-1/nested3-1.yml TIMEOUT 901.24 696.12 None loops-crafted-1/nested3-2.yml false(unreach-call) 6.87 4.08 None loops-crafted-1/nested5-1.yml true 9.24 5.40 None loops-crafted-1/nested5-2.yml false(unreach-call) 6.53 4.52 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 900.70 852.58 None loops-crafted-1/nested_delay_notd2.yml TIMEOUT 900.43 784.71 None loops-crafted-1/net_reset.yml true 9.85 6.57 None loops-crafted-1/sum_by_3.yml true 23.36 17.23 None loops-crafted-1/sum_natnum.yml unknown 5.17 4.58 None loops-crafted-1/sumt2.yml true 839.93 812.64 None loops-crafted-1/sumt3.yml TIMEOUT 900.41 888.26 None loops-crafted-1/sumt4.yml TIMEOUT 900.47 883.41 None loops-crafted-1/sumt5.yml TIMEOUT 900.35 892.58 None loops-crafted-1/sumt6.yml TIMEOUT 900.36 889.98 None loops-crafted-1/sumt7.yml TIMEOUT 900.33 892.37 None loops-crafted-1/sumt8.yml true 40.99 36.44 None loops-crafted-1/sumt9.yml TIMEOUT 900.39 887.84 None loops-crafted-1/theatreSquare.yml unknown 8.08 4.62 None loops-crafted-1/vnew1.yml TIMEOUT 900.38 888.85 None loops-crafted-1/vnew2.yml unknown 6.69 3.77 None loops-crafted-1/watermelon.yml TIMEOUT 900.61 877.25 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 5.54 3.57 None loop-invariants/const.yml true 6.74 4.08 None loop-invariants/eq1.yml true 6.24 3.73 None loop-invariants/eq2.yml true 6.71 3.85 None loop-invariants/even.yml true 7.91 4.84 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.35 756.79 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 7.02 4.66 None loop-invariants/mod4.yml true 7.56 4.55 None loop-invariants/odd.yml true 7.13 5.00 None loop-simple/deep-nested.yml TIMEOUT 900.80 856.42 None loop-simple/nested_1.yml true 8.69 4.83 None loop-simple/nested_1b.yml false(unreach-call) 7.20 4.12 None loop-simple/nested_2.yml true 13.98 7.63 None loop-simple/nested_3.yml true 140.75 100.21 None loop-simple/nested_4.yml TIMEOUT 901.24 697.37 None loop-simple/nested_5.yml TIMEOUT 900.50 745.11 None loop-simple/nested_6.yml TIMEOUT 900.66 862.07 None loop-zilu/benchmark02_linear.yml true 6.03 4.27 None loop-zilu/benchmark04_conjunctive.yml true 6.92 4.44 None loop-zilu/benchmark05_conjunctive.yml true 8.71 5.35 None loop-zilu/benchmark09_conjunctive.yml true 7.30 4.77 None loop-zilu/benchmark10_conjunctive.yml unknown 6.65 4.51 None loop-zilu/benchmark11_linear.yml true 6.16 3.99 None loop-zilu/benchmark14_linear.yml true 5.60 3.93 None loop-zilu/benchmark17_conjunctive.yml true 6.09 3.97 None loop-zilu/benchmark18_conjunctive.yml true 6.60 4.63 None loop-zilu/benchmark19_conjunctive.yml true 6.62 4.41 None loop-zilu/benchmark20_conjunctive.yml unknown 6.51 4.48 None loop-zilu/benchmark23_conjunctive.yml true 6.06 3.65 None loop-zilu/benchmark25_linear.yml true 6.34 4.15 None loop-zilu/benchmark26_linear.yml true 6.40 5.39 None loop-zilu/benchmark32_linear.yml true 6.19 4.19 None loop-zilu/benchmark33_linear.yml true 5.72 4.01 None loop-zilu/benchmark34_conjunctive.yml true 6.89 4.93 None loop-zilu/benchmark35_linear.yml true 5.91 5.31 None loop-zilu/benchmark37_conjunctive.yml true 5.66 3.67 None loop-zilu/benchmark43_conjunctive.yml true 8.54 6.18 None loop-zilu/benchmark51_polynomial.yml true 5.64 3.75 None loop-zilu/benchmark52_polynomial.yml unknown 6.45 3.83 None verifythis/duplets.yml true 51.64 39.33 None verifythis/elimination_max.yml true 10.73 5.83 None verifythis/lcp.yml ERROR: EXCEPTION 14.61 8.46 None verifythis/prefixsum_iter.yml OUT OF MEMORY 599.49 508.05 None verifythis/tree_del_iter.yml false(unreach-call) 11.89 7.35 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 12.50 7.78 None nla-digbench/bresenham-ll.yml unknown 6.84 4.09 None nla-digbench/cohencu-ll.yml unknown 8.32 5.10 None nla-digbench/cohendiv-ll.yml unknown 6.10 4.18 None nla-digbench/dijkstra-u.yml TIMEOUT 900.33 895.52 None nla-digbench/divbin.yml unknown 5.68 3.97 None nla-digbench/divbin2.yml unknown 5.15 3.56 None nla-digbench/egcd-ll.yml unknown 5.15 3.48 None nla-digbench/egcd2-ll.yml unknown 5.66 4.57 None nla-digbench/egcd3-ll.yml unknown 5.58 4.36 None nla-digbench/fermat1-ll.yml unknown 5.33 3.77 None nla-digbench/fermat2-ll.yml unknown 5.20 3.44 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 4.99 3.42 None nla-digbench/freire2.yml unknown 5.56 4.51 None nla-digbench/geo1-ll.yml unknown 5.31 3.52 None nla-digbench/geo1-u.yml unknown 4.80 3.61 None nla-digbench/geo2-ll.yml unknown 5.19 3.21 None nla-digbench/geo3-ll.yml unknown 4.72 3.58 None nla-digbench/hard-ll.yml unknown 6.73 4.28 None nla-digbench/hard-u.yml unknown 6.29 4.54 None nla-digbench/hard2.yml unknown 6.64 4.67 None nla-digbench/knuth.yml ERROR: EXCEPTION 3.77 2.37 None nla-digbench/lcm1.yml unknown 5.33 3.28 None nla-digbench/lcm2.yml unknown 6.29 3.55 None nla-digbench/mannadiv.yml unknown 5.67 3.35 None nla-digbench/prod4br-ll.yml unknown 5.31 4.07 None nla-digbench/prodbin-ll.yml unknown 6.04 3.38 None nla-digbench/ps2-ll.yml unknown 5.79 3.41 None nla-digbench/ps3-ll.yml unknown 5.65 3.29 None nla-digbench/ps4-ll.yml unknown 5.21 3.54 None nla-digbench/ps5-ll.yml unknown 5.67 3.32 None nla-digbench/ps6-ll.yml unknown 5.95 3.40 None nla-digbench/sqrt1-ll.yml unknown 6.23 4.01 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml unknown 5.44 3.36 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml unknown 5.76 4.00 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml unknown 6.01 3.78 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml unknown 5.55 3.30 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml unknown 6.23 3.82 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml unknown 5.57 3.94 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml unknown 5.84 3.46 None nla-digbench-scaling/bresenham-ll_valuebound1.yml unknown 5.53 3.56 None nla-digbench-scaling/bresenham-ll_valuebound10.yml unknown 5.74 3.31 None nla-digbench-scaling/bresenham-ll_valuebound100.yml unknown 5.80 3.48 None nla-digbench-scaling/bresenham-ll_valuebound2.yml unknown 5.62 3.22 None nla-digbench-scaling/bresenham-ll_valuebound20.yml unknown 6.27 4.14 None nla-digbench-scaling/bresenham-ll_valuebound5.yml unknown 5.69 3.63 None nla-digbench-scaling/bresenham-ll_valuebound50.yml unknown 5.55 3.38 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml unknown 6.72 3.95 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml unknown 7.04 4.46 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml unknown 7.64 4.71 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml unknown 7.44 4.38 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml unknown 6.76 3.93 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml unknown 7.80 5.03 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml unknown 6.90 4.34 None nla-digbench-scaling/cohencu-ll_valuebound1.yml unknown 6.89 4.54 None nla-digbench-scaling/cohencu-ll_valuebound10.yml unknown 6.54 3.80 None nla-digbench-scaling/cohencu-ll_valuebound100.yml unknown 6.25 3.74 None nla-digbench-scaling/cohencu-ll_valuebound2.yml unknown 6.98 4.18 None nla-digbench-scaling/cohencu-ll_valuebound20.yml unknown 6.47 4.61 None nla-digbench-scaling/cohencu-ll_valuebound5.yml unknown 6.79 3.81 None nla-digbench-scaling/cohencu-ll_valuebound50.yml unknown 6.65 4.38 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml unknown 5.86 3.55 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml unknown 5.63 3.31 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml unknown 5.72 3.44 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml unknown 5.66 3.76 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml unknown 5.50 3.45 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml unknown 5.39 3.29 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml unknown 5.81 3.73 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml unknown 5.56 3.30 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml unknown 6.51 4.02 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml unknown 6.35 4.02 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml unknown 5.91 4.08 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml unknown 6.21 3.60 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml unknown 5.80 3.82 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml unknown 6.40 3.68 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml TIMEOUT 900.29 897.44 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml unknown 5.70 3.46 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml unknown 6.55 3.90 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml unknown 5.96 3.61 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml unknown 6.30 4.28 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml unknown 6.36 3.96 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml unknown 6.50 4.26 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.33 895.65 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.31 896.64 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.31 896.91 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.33 895.10 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.32 894.98 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.32 896.54 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.32 895.51 None nla-digbench-scaling/divbin2_unwindbound1.yml unknown 6.36 4.00 None nla-digbench-scaling/divbin2_unwindbound10.yml unknown 7.41 5.24 None nla-digbench-scaling/divbin2_unwindbound100.yml unknown 5.77 4.15 None nla-digbench-scaling/divbin2_unwindbound2.yml unknown 7.19 4.20 None nla-digbench-scaling/divbin2_unwindbound20.yml unknown 6.07 3.72 None nla-digbench-scaling/divbin2_unwindbound5.yml unknown 6.30 4.01 None nla-digbench-scaling/divbin2_unwindbound50.yml unknown 6.95 4.37 None nla-digbench-scaling/divbin2_valuebound1.yml unknown 6.39 4.22 None nla-digbench-scaling/divbin2_valuebound10.yml unknown 5.75 4.01 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 6.33 4.15 None nla-digbench-scaling/divbin2_valuebound2.yml unknown 6.22 3.87 None nla-digbench-scaling/divbin2_valuebound20.yml unknown 5.59 3.90 None nla-digbench-scaling/divbin2_valuebound5.yml unknown 6.25 3.60 None nla-digbench-scaling/divbin2_valuebound50.yml unknown 5.69 3.71 None nla-digbench-scaling/divbin_unwindbound1.yml unknown 6.07 4.38 None nla-digbench-scaling/divbin_unwindbound10.yml unknown 6.17 3.92 None nla-digbench-scaling/divbin_unwindbound100.yml unknown 5.60 4.32 None nla-digbench-scaling/divbin_unwindbound2.yml unknown 6.19 3.76 None nla-digbench-scaling/divbin_unwindbound20.yml unknown 5.72 4.09 None nla-digbench-scaling/divbin_unwindbound5.yml unknown 5.91 4.03 None nla-digbench-scaling/divbin_unwindbound50.yml unknown 6.15 4.35 None nla-digbench-scaling/divbin_valuebound1.yml unknown 6.22 4.51 None nla-digbench-scaling/divbin_valuebound10.yml unknown 5.51 3.60 None nla-digbench-scaling/divbin_valuebound100.yml unknown 6.19 4.14 None nla-digbench-scaling/divbin_valuebound2.yml unknown 6.11 4.10 None nla-digbench-scaling/divbin_valuebound20.yml unknown 5.97 4.87 None nla-digbench-scaling/divbin_valuebound5.yml unknown 5.99 4.57 None nla-digbench-scaling/divbin_valuebound50.yml unknown 5.50 3.84 None nla-digbench-scaling/egcd-ll_unwindbound1.yml unknown 6.48 4.37 None nla-digbench-scaling/egcd-ll_unwindbound10.yml unknown 6.35 4.54 None nla-digbench-scaling/egcd-ll_unwindbound100.yml unknown 6.80 4.31 None nla-digbench-scaling/egcd-ll_unwindbound2.yml unknown 6.44 4.82 None nla-digbench-scaling/egcd-ll_unwindbound20.yml unknown 5.96 3.92 None nla-digbench-scaling/egcd-ll_unwindbound5.yml unknown 6.08 4.83 None nla-digbench-scaling/egcd-ll_unwindbound50.yml unknown 6.29 4.16 None nla-digbench-scaling/egcd-ll_valuebound1.yml unknown 5.99 4.12 None nla-digbench-scaling/egcd-ll_valuebound10.yml unknown 6.28 5.49 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 6.67 4.28 None nla-digbench-scaling/egcd-ll_valuebound2.yml unknown 7.34 4.28 None nla-digbench-scaling/egcd-ll_valuebound20.yml unknown 5.91 4.02 None nla-digbench-scaling/egcd-ll_valuebound5.yml unknown 7.42 4.37 None nla-digbench-scaling/egcd-ll_valuebound50.yml unknown 6.09 4.47 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml unknown 7.29 4.14 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml unknown 6.30 4.32 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml unknown 7.41 4.14 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml unknown 6.44 4.54 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml unknown 7.57 4.63 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml unknown 5.82 3.76 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml unknown 7.59 4.26 None nla-digbench-scaling/egcd2-ll_valuebound1.yml unknown 6.16 4.57 None nla-digbench-scaling/egcd2-ll_valuebound10.yml unknown 7.90 4.55 None nla-digbench-scaling/egcd2-ll_valuebound100.yml unknown 5.98 4.21 None nla-digbench-scaling/egcd2-ll_valuebound2.yml unknown 7.54 4.48 None nla-digbench-scaling/egcd2-ll_valuebound20.yml unknown 6.32 4.80 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 7.65 4.28 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 6.35 4.46 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml unknown 7.17 4.05 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml unknown 5.74 3.43 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml unknown 7.64 4.61 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml unknown 5.80 3.90 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml unknown 6.97 4.30 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml unknown 5.59 3.95 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml unknown 7.03 4.04 None nla-digbench-scaling/egcd3-ll_valuebound1.yml unknown 6.53 4.37 None nla-digbench-scaling/egcd3-ll_valuebound10.yml unknown 7.74 4.50 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 5.99 4.74 None nla-digbench-scaling/egcd3-ll_valuebound2.yml unknown 6.73 4.27 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 7.25 4.07 None nla-digbench-scaling/egcd3-ll_valuebound5.yml unknown 6.40 4.41 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 7.69 4.64 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml unknown 6.81 3.82 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml unknown 5.71 3.92 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml unknown 6.51 3.67 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml unknown 7.02 4.27 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml unknown 5.72 3.99 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml unknown 5.85 3.53 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml unknown 6.97 4.45 None nla-digbench-scaling/fermat1-ll_valuebound1.yml unknown 7.53 4.23 None nla-digbench-scaling/fermat1-ll_valuebound10.yml unknown 6.08 5.59 None nla-digbench-scaling/fermat1-ll_valuebound100.yml unknown 5.95 4.40 None nla-digbench-scaling/fermat1-ll_valuebound2.yml unknown 6.95 4.70 None nla-digbench-scaling/fermat1-ll_valuebound20.yml unknown 7.64 4.55 None nla-digbench-scaling/fermat1-ll_valuebound5.yml unknown 6.17 4.28 None nla-digbench-scaling/fermat1-ll_valuebound50.yml unknown 5.89 3.39 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml unknown 6.58 3.73 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml unknown 6.59 3.69 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml unknown 5.11 2.99 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml unknown 5.93 3.51 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml unknown 6.90 4.01 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml unknown 6.83 3.98 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml unknown 5.40 3.11 None nla-digbench-scaling/fermat2-ll_valuebound1.yml unknown 5.31 3.70 None nla-digbench-scaling/fermat2-ll_valuebound10.yml unknown 5.82 3.46 None nla-digbench-scaling/fermat2-ll_valuebound100.yml unknown 7.71 4.63 None nla-digbench-scaling/fermat2-ll_valuebound2.yml unknown 7.39 4.25 None nla-digbench-scaling/fermat2-ll_valuebound20.yml unknown 5.78 4.22 None nla-digbench-scaling/fermat2-ll_valuebound5.yml unknown 5.95 3.83 None nla-digbench-scaling/fermat2-ll_valuebound50.yml unknown 7.38 4.62 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 7.51 4.63 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 5.95 4.41 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 5.93 3.58 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 7.71 4.67 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 7.71 4.32 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 6.13 4.31 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 6.25 3.83 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 7.59 4.63 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 6.97 4.24 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 5.74 3.94 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 5.82 3.68 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 8.13 4.70 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 7.30 4.41 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 6.07 3.56 None nla-digbench-scaling/freire2_unwindbound1.yml unknown 6.86 4.86 None nla-digbench-scaling/freire2_unwindbound10.yml unknown 5.92 3.53 None nla-digbench-scaling/freire2_unwindbound100.yml unknown 7.55 4.59 None nla-digbench-scaling/freire2_unwindbound2.yml unknown 7.09 4.18 None nla-digbench-scaling/freire2_unwindbound20.yml unknown 6.49 5.03 None nla-digbench-scaling/freire2_unwindbound5.yml unknown 5.63 3.46 None nla-digbench-scaling/freire2_unwindbound50.yml unknown 7.01 3.97 None nla-digbench-scaling/freire2_valuebound1.yml unknown 7.63 4.27 None nla-digbench-scaling/freire2_valuebound10.yml unknown 6.56 5.08 None nla-digbench-scaling/freire2_valuebound100.yml unknown 5.94 3.58 None nla-digbench-scaling/freire2_valuebound2.yml unknown 7.34 4.65 None nla-digbench-scaling/freire2_valuebound20.yml unknown 7.65 4.21 None nla-digbench-scaling/freire2_valuebound5.yml unknown 6.08 3.46 None nla-digbench-scaling/freire2_valuebound50.yml unknown 6.74 4.28 None nla-digbench-scaling/geo1-ll_unwindbound1.yml unknown 7.50 4.65 None nla-digbench-scaling/geo1-ll_unwindbound10.yml unknown 7.78 4.73 None nla-digbench-scaling/geo1-ll_unwindbound100.yml unknown 5.70 3.43 None nla-digbench-scaling/geo1-ll_unwindbound2.yml unknown 6.22 3.82 None nla-digbench-scaling/geo1-ll_unwindbound20.yml unknown 6.17 3.86 None nla-digbench-scaling/geo1-ll_unwindbound5.yml unknown 7.58 4.12 None nla-digbench-scaling/geo1-ll_unwindbound50.yml unknown 7.56 4.42 None nla-digbench-scaling/geo1-ll_valuebound1.yml unknown 6.36 4.03 None nla-digbench-scaling/geo1-ll_valuebound10.yml unknown 5.79 3.50 None nla-digbench-scaling/geo1-ll_valuebound100.yml unknown 7.67 4.44 None nla-digbench-scaling/geo1-ll_valuebound2.yml unknown 7.45 4.16 None nla-digbench-scaling/geo1-ll_valuebound20.yml unknown 6.25 4.33 None nla-digbench-scaling/geo1-ll_valuebound5.yml unknown 5.69 3.45 None nla-digbench-scaling/geo1-ll_valuebound50.yml unknown 7.06 4.08 None nla-digbench-scaling/geo1-u_unwindbound1.yml unknown 7.44 4.58 None nla-digbench-scaling/geo1-u_unwindbound10.yml unknown 6.36 4.43 None nla-digbench-scaling/geo1-u_unwindbound100.yml unknown 5.42 3.65 None nla-digbench-scaling/geo1-u_unwindbound2.yml unknown 7.23 5.52 None nla-digbench-scaling/geo1-u_unwindbound20.yml unknown 7.32 4.38 None nla-digbench-scaling/geo1-u_unwindbound5.yml unknown 6.39 4.34 None nla-digbench-scaling/geo1-u_unwindbound50.yml unknown 5.99 3.93 None nla-digbench-scaling/geo1-u_valuebound1.yml unknown 6.93 4.31 None nla-digbench-scaling/geo1-u_valuebound10.yml unknown 5.91 3.67 None nla-digbench-scaling/geo1-u_valuebound100.yml unknown 7.13 3.97 None nla-digbench-scaling/geo1-u_valuebound2.yml unknown 6.42 3.95 None nla-digbench-scaling/geo1-u_valuebound20.yml unknown 5.63 3.34 None nla-digbench-scaling/geo1-u_valuebound5.yml unknown 7.66 4.61 None nla-digbench-scaling/geo1-u_valuebound50.yml unknown 7.85 4.75 None nla-digbench-scaling/geo2-ll_unwindbound1.yml unknown 6.60 4.17 None nla-digbench-scaling/geo2-ll_unwindbound10.yml unknown 6.02 3.81 None nla-digbench-scaling/geo2-ll_unwindbound100.yml unknown 5.77 3.83 None nla-digbench-scaling/geo2-ll_unwindbound2.yml unknown 7.66 4.39 None nla-digbench-scaling/geo2-ll_unwindbound20.yml unknown 7.03 3.96 None nla-digbench-scaling/geo2-ll_unwindbound5.yml unknown 5.53 3.85 None nla-digbench-scaling/geo2-ll_unwindbound50.yml unknown 5.67 4.17 None nla-digbench-scaling/geo2-ll_valuebound1.yml unknown 7.47 4.17 None nla-digbench-scaling/geo2-ll_valuebound10.yml unknown 7.31 4.29 None nla-digbench-scaling/geo2-ll_valuebound100.yml unknown 5.63 3.37 None nla-digbench-scaling/geo2-ll_valuebound2.yml unknown 5.55 3.34 None nla-digbench-scaling/geo2-ll_valuebound20.yml unknown 7.55 4.49 None nla-digbench-scaling/geo2-ll_valuebound5.yml unknown 7.33 4.06 None nla-digbench-scaling/geo2-ll_valuebound50.yml unknown 5.75 3.32 None nla-digbench-scaling/geo3-ll_unwindbound1.yml unknown 5.65 3.98 None nla-digbench-scaling/geo3-ll_unwindbound10.yml unknown 6.93 4.26 None nla-digbench-scaling/geo3-ll_unwindbound100.yml unknown 6.45 3.94 None nla-digbench-scaling/geo3-ll_unwindbound2.yml unknown 5.64 3.95 None nla-digbench-scaling/geo3-ll_unwindbound20.yml unknown 5.75 3.57 None nla-digbench-scaling/geo3-ll_unwindbound5.yml unknown 6.51 3.58 None nla-digbench-scaling/geo3-ll_unwindbound50.yml unknown 4.81 2.98 None nla-digbench-scaling/geo3-ll_valuebound1.yml unknown 7.30 3.98 None nla-digbench-scaling/geo3-ll_valuebound10.yml unknown 5.81 4.04 None nla-digbench-scaling/geo3-ll_valuebound100.yml unknown 6.03 3.71 None nla-digbench-scaling/geo3-ll_valuebound2.yml unknown 6.74 4.22 None nla-digbench-scaling/geo3-ll_valuebound20.yml unknown 7.20 4.02 None nla-digbench-scaling/geo3-ll_valuebound5.yml unknown 6.01 4.11 None nla-digbench-scaling/geo3-ll_valuebound50.yml unknown 5.75 3.39 None nla-digbench-scaling/hard-ll_unwindbound1.yml unknown 8.24 4.92 None nla-digbench-scaling/hard-ll_unwindbound10.yml unknown 9.26 5.01 None nla-digbench-scaling/hard-ll_unwindbound100.yml unknown 6.58 4.49 None nla-digbench-scaling/hard-ll_unwindbound2.yml unknown 6.50 3.70 None nla-digbench-scaling/hard-ll_unwindbound20.yml unknown 8.71 4.68 None nla-digbench-scaling/hard-ll_unwindbound5.yml unknown 8.67 4.86 None nla-digbench-scaling/hard-ll_unwindbound50.yml unknown 7.10 4.28 None nla-digbench-scaling/hard-ll_valuebound1.yml unknown 7.96 4.65 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 9.19 5.20 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 9.35 5.34 None nla-digbench-scaling/hard-ll_valuebound2.yml unknown 7.33 4.18 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 7.90 5.73 None nla-digbench-scaling/hard-ll_valuebound5.yml unknown 7.90 4.90 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 10.25 5.78 None nla-digbench-scaling/hard-u_unwindbound1.yml unknown 8.51 5.00 None nla-digbench-scaling/hard-u_unwindbound10.yml unknown 7.45 4.94 None nla-digbench-scaling/hard-u_unwindbound100.yml unknown 6.15 4.00 None nla-digbench-scaling/hard-u_unwindbound2.yml unknown 7.95 4.85 None nla-digbench-scaling/hard-u_unwindbound20.yml unknown 8.73 5.12 None nla-digbench-scaling/hard-u_unwindbound5.yml unknown 7.38 4.71 None nla-digbench-scaling/hard-u_unwindbound50.yml unknown 6.23 5.72 None nla-digbench-scaling/hard-u_valuebound1.yml unknown 10.06 5.71 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 9.82 5.29 None nla-digbench-scaling/hard-u_valuebound100.yml unknown 7.75 6.13 None nla-digbench-scaling/hard-u_valuebound2.yml unknown 7.89 4.72 None nla-digbench-scaling/hard-u_valuebound20.yml unknown 9.96 5.61 None nla-digbench-scaling/hard-u_valuebound5.yml unknown 9.61 5.23 None nla-digbench-scaling/hard-u_valuebound50.yml unknown 8.07 5.70 None nla-digbench-scaling/hard2_unwindbound1.yml unknown 7.42 4.33 None nla-digbench-scaling/hard2_unwindbound10.yml unknown 9.55 5.59 None nla-digbench-scaling/hard2_unwindbound100.yml unknown 10.07 5.69 None nla-digbench-scaling/hard2_unwindbound2.yml unknown 7.41 4.28 None nla-digbench-scaling/hard2_unwindbound20.yml unknown 7.34 4.65 None nla-digbench-scaling/hard2_unwindbound5.yml unknown 9.31 5.13 None nla-digbench-scaling/hard2_unwindbound50.yml unknown 9.70 5.78 None nla-digbench-scaling/hard2_valuebound1.yml unknown 7.24 4.02 None nla-digbench-scaling/hard2_valuebound10.yml unknown 7.39 5.10 None nla-digbench-scaling/hard2_valuebound100.yml unknown 7.11 4.12 None nla-digbench-scaling/hard2_valuebound2.yml unknown 9.37 5.40 None nla-digbench-scaling/hard2_valuebound20.yml unknown 9.22 5.53 None nla-digbench-scaling/hard2_valuebound5.yml unknown 6.97 4.34 None nla-digbench-scaling/hard2_valuebound50.yml unknown 7.54 4.23 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 4.98 2.68 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 4.02 2.70 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 5.33 2.84 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 5.44 3.21 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 4.15 2.65 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 4.26 2.65 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 5.24 2.85 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 4.14 2.95 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 3.99 2.32 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 5.09 3.12 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 4.11 3.42 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 5.45 3.15 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 3.85 2.74 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 3.86 2.13 None nla-digbench-scaling/lcm1_unwindbound1.yml unknown 7.46 4.23 None nla-digbench-scaling/lcm1_unwindbound10.yml unknown 5.85 4.22 None nla-digbench-scaling/lcm1_unwindbound100.yml unknown 7.23 4.10 None nla-digbench-scaling/lcm1_unwindbound2.yml unknown 5.91 3.81 None nla-digbench-scaling/lcm1_unwindbound20.yml unknown 5.68 3.41 None nla-digbench-scaling/lcm1_unwindbound5.yml unknown 7.69 4.31 None nla-digbench-scaling/lcm1_unwindbound50.yml unknown 6.20 4.41 None nla-digbench-scaling/lcm1_valuebound1.yml unknown 7.69 4.58 None nla-digbench-scaling/lcm1_valuebound10.yml unknown 6.12 3.60 None nla-digbench-scaling/lcm1_valuebound100.yml unknown 6.29 3.85 None nla-digbench-scaling/lcm1_valuebound2.yml unknown 5.93 3.51 None nla-digbench-scaling/lcm1_valuebound20.yml unknown 7.32 4.54 None nla-digbench-scaling/lcm1_valuebound5.yml unknown 6.73 4.58 None nla-digbench-scaling/lcm1_valuebound50.yml unknown 6.15 4.00 None nla-digbench-scaling/lcm2_unwindbound1.yml unknown 7.73 4.27 None nla-digbench-scaling/lcm2_unwindbound10.yml unknown 6.05 3.44 None nla-digbench-scaling/lcm2_unwindbound100.yml unknown 5.87 4.08 None nla-digbench-scaling/lcm2_unwindbound2.yml unknown 7.57 4.18 None nla-digbench-scaling/lcm2_unwindbound20.yml unknown 6.19 3.95 None nla-digbench-scaling/lcm2_unwindbound5.yml unknown 7.98 4.65 None nla-digbench-scaling/lcm2_unwindbound50.yml unknown 5.74 3.47 None nla-digbench-scaling/lcm2_valuebound1.yml unknown 5.58 3.83 None nla-digbench-scaling/lcm2_valuebound10.yml unknown 5.89 3.76 None nla-digbench-scaling/lcm2_valuebound100.yml unknown 7.47 4.35 None nla-digbench-scaling/lcm2_valuebound2.yml unknown 7.27 4.08 None nla-digbench-scaling/lcm2_valuebound20.yml unknown 5.77 3.77 None nla-digbench-scaling/lcm2_valuebound5.yml unknown 6.01 3.77 None nla-digbench-scaling/lcm2_valuebound50.yml unknown 5.90 3.89 None nla-digbench-scaling/mannadiv_unwindbound1.yml unknown 7.44 4.50 None nla-digbench-scaling/mannadiv_unwindbound10.yml unknown 7.27 4.10 None nla-digbench-scaling/mannadiv_unwindbound100.yml unknown 5.66 3.60 None nla-digbench-scaling/mannadiv_unwindbound2.yml unknown 5.67 4.00 None nla-digbench-scaling/mannadiv_unwindbound20.yml unknown 6.27 4.20 None nla-digbench-scaling/mannadiv_unwindbound5.yml unknown 7.64 4.69 None nla-digbench-scaling/mannadiv_unwindbound50.yml unknown 5.90 3.75 None nla-digbench-scaling/mannadiv_valuebound1.yml unknown 7.17 4.04 None nla-digbench-scaling/mannadiv_valuebound10.yml unknown 5.90 4.21 None nla-digbench-scaling/mannadiv_valuebound100.yml unknown 6.31 4.55 None nla-digbench-scaling/mannadiv_valuebound2.yml unknown 5.96 3.41 None nla-digbench-scaling/mannadiv_valuebound20.yml unknown 7.42 4.44 None nla-digbench-scaling/mannadiv_valuebound5.yml unknown 7.38 4.41 None nla-digbench-scaling/mannadiv_valuebound50.yml unknown 5.32 3.59 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml unknown 6.25 3.95 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml unknown 5.53 3.81 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml unknown 7.36 4.03 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml unknown 6.88 3.87 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml unknown 6.30 3.75 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml unknown 5.73 3.77 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml unknown 5.64 3.64 None nla-digbench-scaling/prod4br-ll_valuebound1.yml unknown 7.63 4.18 None nla-digbench-scaling/prod4br-ll_valuebound10.yml unknown 7.54 4.43 None nla-digbench-scaling/prod4br-ll_valuebound100.yml unknown 6.05 3.88 None nla-digbench-scaling/prod4br-ll_valuebound2.yml unknown 6.35 4.32 None nla-digbench-scaling/prod4br-ll_valuebound20.yml unknown 5.78 3.75 None nla-digbench-scaling/prod4br-ll_valuebound5.yml unknown 7.68 4.26 None nla-digbench-scaling/prod4br-ll_valuebound50.yml unknown 7.38 4.11 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml unknown 5.76 3.65 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml unknown 5.63 3.22 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 5.73 4.07 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml unknown 7.72 4.51 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml unknown 7.40 4.33 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml unknown 6.31 4.08 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 5.57 3.29 None nla-digbench-scaling/prodbin-ll_valuebound1.yml unknown 6.13 4.13 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 5.64 3.24 None nla-digbench-scaling/prodbin-ll_valuebound100.yml unknown 5.80 3.57 None nla-digbench-scaling/prodbin-ll_valuebound2.yml unknown 6.97 3.98 None nla-digbench-scaling/prodbin-ll_valuebound20.yml unknown 7.44 4.30 None nla-digbench-scaling/prodbin-ll_valuebound5.yml unknown 6.14 4.69 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 5.96 3.74 None nla-digbench-scaling/ps2-ll_unwindbound1.yml unknown 5.82 3.79 None nla-digbench-scaling/ps2-ll_unwindbound10.yml unknown 7.01 4.32 None nla-digbench-scaling/ps2-ll_unwindbound100.yml unknown 6.94 3.95 None nla-digbench-scaling/ps2-ll_unwindbound2.yml unknown 5.83 4.65 None nla-digbench-scaling/ps2-ll_unwindbound20.yml unknown 5.31 3.54 None nla-digbench-scaling/ps2-ll_unwindbound5.yml unknown 5.72 3.68 None nla-digbench-scaling/ps2-ll_unwindbound50.yml unknown 7.49 4.35 None nla-digbench-scaling/ps2-ll_valuebound1.yml unknown 6.92 3.86 None nla-digbench-scaling/ps2-ll_valuebound10.yml unknown 5.62 3.33 None nla-digbench-scaling/ps2-ll_valuebound100.yml unknown 5.77 3.47 None nla-digbench-scaling/ps2-ll_valuebound2.yml unknown 5.58 3.70 None nla-digbench-scaling/ps2-ll_valuebound20.yml unknown 6.98 3.98 None nla-digbench-scaling/ps2-ll_valuebound5.yml unknown 6.99 3.93 None nla-digbench-scaling/ps2-ll_valuebound50.yml unknown 5.69 3.67 None nla-digbench-scaling/ps3-ll_unwindbound1.yml unknown 5.21 3.17 None nla-digbench-scaling/ps3-ll_unwindbound10.yml unknown 6.05 4.54 None nla-digbench-scaling/ps3-ll_unwindbound100.yml unknown 6.87 3.94 None nla-digbench-scaling/ps3-ll_unwindbound2.yml unknown 7.42 4.43 None nla-digbench-scaling/ps3-ll_unwindbound20.yml unknown 5.31 3.20 None nla-digbench-scaling/ps3-ll_unwindbound5.yml unknown 5.78 3.84 None nla-digbench-scaling/ps3-ll_unwindbound50.yml unknown 6.28 4.16 None nla-digbench-scaling/ps3-ll_valuebound1.yml unknown 7.18 4.39 None nla-digbench-scaling/ps3-ll_valuebound10.yml unknown 5.83 3.83 None nla-digbench-scaling/ps3-ll_valuebound100.yml unknown 7.17 4.33 None nla-digbench-scaling/ps3-ll_valuebound2.yml unknown 5.92 4.07 None nla-digbench-scaling/ps3-ll_valuebound20.yml unknown 5.84 3.85 None nla-digbench-scaling/ps3-ll_valuebound5.yml unknown 7.31 4.30 None nla-digbench-scaling/ps3-ll_valuebound50.yml unknown 5.61 3.58 None nla-digbench-scaling/ps4-ll_unwindbound1.yml unknown 7.07 4.27 None nla-digbench-scaling/ps4-ll_unwindbound10.yml unknown 5.65 3.62 None nla-digbench-scaling/ps4-ll_unwindbound100.yml unknown 6.06 5.17 None nla-digbench-scaling/ps4-ll_unwindbound2.yml unknown 5.75 3.56 None nla-digbench-scaling/ps4-ll_unwindbound20.yml unknown 7.08 4.42 None nla-digbench-scaling/ps4-ll_unwindbound5.yml unknown 5.92 3.86 None nla-digbench-scaling/ps4-ll_unwindbound50.yml unknown 6.96 3.97 None nla-digbench-scaling/ps4-ll_valuebound1.yml unknown 5.67 3.25 None nla-digbench-scaling/ps4-ll_valuebound10.yml unknown 5.88 3.83 None nla-digbench-scaling/ps4-ll_valuebound100.yml unknown 5.70 3.62 None nla-digbench-scaling/ps4-ll_valuebound2.yml unknown 7.39 4.44 None nla-digbench-scaling/ps4-ll_valuebound20.yml unknown 7.33 4.07 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 5.88 3.75 None nla-digbench-scaling/ps4-ll_valuebound50.yml unknown 6.41 4.37 None nla-digbench-scaling/ps5-ll_unwindbound1.yml unknown 5.50 3.53 None nla-digbench-scaling/ps5-ll_unwindbound10.yml unknown 7.37 4.52 None nla-digbench-scaling/ps5-ll_unwindbound100.yml unknown 7.70 4.27 None nla-digbench-scaling/ps5-ll_unwindbound2.yml unknown 5.56 3.36 None nla-digbench-scaling/ps5-ll_unwindbound20.yml unknown 5.84 4.04 None nla-digbench-scaling/ps5-ll_unwindbound5.yml unknown 5.46 4.27 None nla-digbench-scaling/ps5-ll_unwindbound50.yml unknown 7.05 4.06 None nla-digbench-scaling/ps5-ll_valuebound1.yml unknown 7.08 3.85 None nla-digbench-scaling/ps5-ll_valuebound10.yml unknown 5.86 3.41 None nla-digbench-scaling/ps5-ll_valuebound100.yml unknown 5.80 3.54 None nla-digbench-scaling/ps5-ll_valuebound2.yml unknown 6.39 4.35 None nla-digbench-scaling/ps5-ll_valuebound20.yml unknown 5.93 3.78 None nla-digbench-scaling/ps5-ll_valuebound5.yml unknown 7.27 4.53 None nla-digbench-scaling/ps5-ll_valuebound50.yml unknown 7.68 4.49 None nla-digbench-scaling/ps6-ll_unwindbound1.yml unknown 6.13 3.73 None nla-digbench-scaling/ps6-ll_unwindbound10.yml unknown 5.92 3.73 None nla-digbench-scaling/ps6-ll_unwindbound100.yml unknown 6.23 3.83 None nla-digbench-scaling/ps6-ll_unwindbound2.yml unknown 7.81 4.61 None nla-digbench-scaling/ps6-ll_unwindbound20.yml unknown 7.23 3.98 None nla-digbench-scaling/ps6-ll_unwindbound5.yml unknown 6.06 4.07 None nla-digbench-scaling/ps6-ll_unwindbound50.yml unknown 5.99 3.93 None nla-digbench-scaling/ps6-ll_valuebound1.yml unknown 5.71 3.29 None nla-digbench-scaling/ps6-ll_valuebound10.yml unknown 7.57 4.19 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 7.43 4.80 None nla-digbench-scaling/ps6-ll_valuebound2.yml unknown 6.14 4.27 None nla-digbench-scaling/ps6-ll_valuebound20.yml unknown 6.20 3.57 None nla-digbench-scaling/ps6-ll_valuebound5.yml unknown 5.74 4.04 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 7.55 4.53 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml unknown 8.72 4.88 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml unknown 6.97 4.69 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml unknown 7.22 4.35 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml unknown 7.13 4.21 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml unknown 8.13 4.58 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml unknown 6.78 4.03 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml unknown 6.78 4.34 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml unknown 8.40 5.07 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml unknown 6.80 5.04 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml unknown 8.27 4.79 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml unknown 6.83 4.32 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml unknown 6.76 4.05 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml unknown 8.00 4.41 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml unknown 6.61 4.63 None ---------------------------------------------------------------------------------------------------------------------------- Run set 3 done 48314.33 5396.64 - Statistics: 2310 Files correct: 937 correct true: 692 correct false: 245 incorrect: 22 incorrect true: 22 incorrect false: 0 unknown: 1351 Score: 925 (max: 3909)