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: Fri, 2021-04-30 22:35:57 CEST tool: ULTIMATE Automizer 0.2.1-1a84f730 tool executable: ./Ultimate.py options: --force-no-wrapper 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 -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.47 874.33 None loops/array-2.yml false(unreach-call) 5.85 3.63 None loops/bubble_sort-1.yml true 5.55 3.38 None loops/bubble_sort-2.yml false(unreach-call) 13.82 7.56 None loops/compact.yml TIMEOUT 900.40 887.07 None loops/count_up_down-1.yml true 13.38 8.37 None loops/count_up_down-2.yml false(unreach-call) 5.35 3.28 None loops/eureka_01-1.yml TIMEOUT 900.62 866.52 None loops/eureka_01-2.yml TIMEOUT 900.43 891.70 None loops/eureka_05.yml TIMEOUT 901.07 867.52 None loops/for_bounded_loop1.yml false(unreach-call) 7.77 4.96 None loops/for_infinite_loop_1.yml true 7.21 4.33 None loops/for_infinite_loop_2.yml true 6.66 4.01 None loops/heavy-1.yml TIMEOUT 900.36 893.96 None loops/heavy-2.yml true 8.33 5.04 None loops/insertion_sort-1.yml TIMEOUT 900.59 870.07 None loops/insertion_sort-2.yml TIMEOUT 900.60 864.64 None loops/invert_string-1.yml false(unreach-call) 18.30 12.77 None loops/invert_string-3.yml TIMEOUT 900.37 887.31 None loops/linear_sea.ch.yml TIMEOUT 900.60 720.81 None loops/linear_search.yml TIMEOUT 902.06 810.73 None loops/lu.cmp.yml true 14.55 8.67 None loops/ludcmp.yml UNKNOWN: OverapproxCex 11.71 7.64 None loops/matrix-1.yml TIMEOUT 900.42 881.84 None loops/matrix-2.yml false(unreach-call) 7.01 4.82 None loops/n.c11.yml true 12.78 7.80 None loops/n.c24.yml TIMEOUT 900.58 864.08 None loops/n.c40.yml true 8.52 4.77 None loops/nec11.yml false(unreach-call) 7.13 4.02 None loops/nec20.yml false(unreach-call) 8.53 4.94 None loops/nec40.yml true 9.23 5.10 None loops/s3.yml UNKNOWN: OverapproxCex 48.80 28.09 None loops/string-1.yml true 11.66 7.54 None loops/string-2.yml UNKNOWN: OverapproxCex 11.55 7.47 None loops/sum01-1.yml false(unreach-call) 17.78 11.35 None loops/sum01-2.yml true 14.63 8.53 None loops/sum01_bug02.yml false(unreach-call) 19.38 12.30 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 12.64 7.96 None loops/sum03-1.yml false(unreach-call) 24.01 14.21 None loops/sum03-2.yml true 7.69 4.41 None loops/sum04-1.yml false(unreach-call) 13.50 8.99 None loops/sum04-2.yml true 16.10 10.97 None loops/sum_array-1.yml false(unreach-call) 8.16 4.92 None loops/sum_array-2.yml TIMEOUT 900.45 872.97 None loops/terminator_01.yml false(unreach-call) 6.76 4.25 None loops/terminator_02-1.yml false(unreach-call) 6.76 4.22 None loops/terminator_02-2.yml true 6.58 4.24 None loops/terminator_03-1.yml false(unreach-call) 7.30 4.56 None loops/terminator_03-2.yml true 7.21 4.33 None loops/trex01-1.yml false(unreach-call) 6.76 3.93 None loops/trex01-2.yml true 7.51 4.79 None loops/trex02-1.yml true 7.12 4.20 None loops/trex02-2.yml false(unreach-call) 6.46 3.79 None loops/trex03-1.yml false(unreach-call) 6.06 3.93 None loops/trex03-2.yml true 7.26 4.58 None loops/trex04.yml true 7.41 4.51 None loops/veris.c_NetBSD-libc_loop.yml true 11.20 6.67 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 9.66 6.36 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 7.04 4.07 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 9.36 5.94 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 13.80 8.23 None loops/vogal-1.yml TIMEOUT 900.45 875.90 None loops/vogal-2.yml TIMEOUT 900.57 849.67 None loops/while_infinite_loop_1.yml true 8.28 5.07 None loops/while_infinite_loop_2.yml true 6.28 3.65 None loops/while_infinite_loop_3.yml true 7.11 4.60 None loops/while_infinite_loop_4.yml false(unreach-call) 5.98 3.34 None loop-acceleration/array_1-1.yml TIMEOUT 900.53 872.97 None loop-acceleration/array_1-2.yml true 10.49 7.80 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.39 883.88 None loop-acceleration/array_2-1.yml TIMEOUT 900.43 889.88 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.42 880.60 None loop-acceleration/array_2-2.yml TIMEOUT 900.39 894.12 None loop-acceleration/array_3-1.yml true 8.09 5.00 None loop-acceleration/array_3-2.yml TIMEOUT 900.56 864.07 None loop-acceleration/array_4.yml TIMEOUT 900.42 886.25 None loop-acceleration/const_1-1.yml true 7.54 6.78 None loop-acceleration/const_1-2.yml TIMEOUT 900.40 886.09 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.35 888.46 None loop-acceleration/diamond_1-2.yml TIMEOUT 900.52 851.74 None loop-acceleration/diamond_2-2.yml true 33.58 22.54 None loop-acceleration/functions_1-1.yml TIMEOUT 900.24 818.54 None loop-acceleration/functions_1-2.yml TIMEOUT 900.68 784.57 None loop-acceleration/multivar_1-1.yml true 8.08 4.52 None loop-acceleration/multivar_1-2.yml false(unreach-call) 6.74 4.32 None loop-acceleration/nested_1-1.yml true 43.76 27.39 None loop-acceleration/nested_1-2.yml TIMEOUT 900.44 833.07 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.46 865.98 None loop-acceleration/phases_1-1.yml TIMEOUT 900.51 856.79 None loop-acceleration/phases_1-2.yml TIMEOUT 900.78 833.36 None loop-acceleration/phases_2-1.yml false(unreach-call) 5.57 3.50 None loop-acceleration/phases_2-2.yml TIMEOUT 900.47 872.97 None loop-acceleration/simple_1-1.yml TIMEOUT 900.72 846.96 None loop-acceleration/simple_1-2.yml TIMEOUT 900.60 844.94 None loop-acceleration/simple_2-1.yml true 6.18 4.03 None loop-acceleration/simple_2-2.yml false(unreach-call) 5.29 3.16 None loop-acceleration/simple_3-1.yml false(unreach-call) 7.57 4.41 None loop-acceleration/simple_3-2.yml true 7.19 4.39 None loop-acceleration/simple_4-1.yml TIMEOUT 900.52 857.01 None loop-acceleration/simple_4-2.yml true 7.71 4.99 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 9.65 6.68 None loop-acceleration/underapprox_1-2.yml true 12.45 8.79 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 9.93 7.64 None loop-acceleration/underapprox_2-2.yml TIMEOUT 900.41 884.32 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.36 891.83 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 5.55 3.19 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.52 814.70 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.36 886.72 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 11.08 7.33 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 10.28 6.62 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 901.16 877.50 None loop-crafted/simple_vardep_1.yml true 7.85 4.36 None loop-crafted/simple_vardep_2.yml true 8.29 5.06 None loop-invgen/MADWiFi-encode_ie_ok.yml true 14.22 8.08 None loop-invgen/NetBSD_loop.yml true 11.48 7.08 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 20.02 11.19 None loop-invgen/SpamAssassin-loop.yml true 15.64 8.91 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 29.45 16.49 None loop-invgen/apache-escape-absolute.yml true 14.63 8.28 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 23.94 13.60 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 49.11 30.96 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 83.61 53.37 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 23.35 13.11 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 21.12 12.18 None loop-invgen/apache-get-tag.yml true 14.12 8.01 None loop-invgen/down.yml TIMEOUT 901.12 740.76 None loop-invgen/fragtest_simple.yml TIMEOUT 900.32 783.65 None loop-invgen/half_2.yml TIMEOUT 901.06 800.60 None loop-invgen/heapsort.yml TIMEOUT 900.51 866.49 None loop-invgen/id_build.i.p+nlh-reducer.yml true 12.64 7.56 None loop-invgen/id_build.i.p+sep-reducer.yml true 12.34 7.24 None loop-invgen/id_build.i.v+lhb-reducer.yml true 8.07 4.62 None loop-invgen/id_build.yml true 6.65 4.27 None loop-invgen/id_trans.yml false(unreach-call) 7.11 4.40 None loop-invgen/large_const.yml true 9.64 6.46 None loop-invgen/nest-if3.yml true 6.55 3.80 None loop-invgen/nested6.yml true 16.48 10.03 None loop-invgen/nested9.yml true 12.23 8.02 None loop-invgen/sendmail-close-angle.yml true 18.78 11.93 None loop-invgen/seq-3.yml TIMEOUT 900.11 807.91 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.72 779.74 None loop-invgen/up.yml TIMEOUT 900.15 791.29 None loop-lit/afnp2014.yml true 10.81 6.57 None loop-lit/bhmr2007.yml true 16.11 9.30 None loop-lit/cggmp2005.yml true 9.63 7.04 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.56 890.61 None loop-lit/cggmp2005b.yml true 7.90 5.19 None loop-lit/css2003.yml true 8.40 4.87 None loop-lit/ddlm2013.yml true 14.67 9.48 None loop-lit/gcnr2008.yml false(unreach-call) 7.81 4.62 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 368.62 282.92 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 639.08 529.74 None loop-lit/gj2007.yml true 232.16 212.60 None loop-lit/gj2007b.yml true 9.37 5.94 None loop-lit/gr2006.yml true 171.62 149.13 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 8.47 5.68 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 8.62 5.98 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.32 4.30 None loop-lit/gsv2008.yml true 9.00 5.87 None loop-lit/hhk2008.yml true 7.95 4.69 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 7.90 5.09 None loop-lit/jm2006.yml true 10.81 6.79 None loop-lit/jm2006_variant.yml true 11.50 7.74 None loop-lit/mcmillan2006.yml TIMEOUT 900.40 886.54 None loop-new/count_by_1.yml true 7.04 4.87 None loop-new/count_by_1_variant.yml true 9.63 6.63 None loop-new/count_by_2.yml TIMEOUT 900.36 881.84 None loop-new/count_by_k.yml TIMEOUT 901.09 801.85 None loop-new/count_by_nondet.yml TIMEOUT 900.36 882.81 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.33 890.92 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.72 842.06 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.78 865.33 None loop-new/gauss_sum.yml TIMEOUT 901.01 815.53 None loop-new/half.yml true 27.55 16.05 None loop-new/nested-1.yml true 356.73 291.65 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 5.52 3.06 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.15 3.53 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 5.85 3.57 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TIMEOUT 900.40 886.83 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 14.06 8.27 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 36.60 23.62 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 35.70 24.55 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 6.84 3.93 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 7.88 4.41 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 10.53 6.14 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 7.91 4.63 None loop-industry-pattern/mod3.yml true 7.85 4.78 None loop-industry-pattern/nested-3.yml TIMEOUT 901.07 840.77 None loop-industry-pattern/ofuf_1.yml true 13.44 8.03 None loop-industry-pattern/ofuf_2.yml true 15.55 8.70 None loop-industry-pattern/ofuf_3.yml true 11.33 6.41 None loop-industry-pattern/ofuf_4.yml true 18.79 10.38 None loop-industry-pattern/ofuf_5.yml true 12.28 7.18 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.84 830.61 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 901.02 845.13 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.61 831.27 None loops-crafted-1/Mono4_1.yml TIMEOUT 901.09 749.40 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.44 871.94 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.41 883.09 None loops-crafted-1/discover_list.yml true 219.19 181.24 None loops-crafted-1/iftelse.yml TIMEOUT 900.38 887.99 None loops-crafted-1/in-de20.yml TIMEOUT 900.41 883.39 None loops-crafted-1/in-de31.yml TIMEOUT 900.46 878.36 None loops-crafted-1/in-de32.yml TIMEOUT 900.86 810.06 None loops-crafted-1/in-de41.yml TIMEOUT 901.09 878.61 None loops-crafted-1/in-de42.yml TIMEOUT 900.98 860.81 None loops-crafted-1/in-de51.yml TIMEOUT 900.59 857.19 None loops-crafted-1/in-de52.yml TIMEOUT 900.72 858.31 None loops-crafted-1/in-de61.yml TIMEOUT 900.48 869.31 None loops-crafted-1/in-de62.yml TIMEOUT 900.51 859.31 None loops-crafted-1/loopv1.yml true 10.10 5.91 None loops-crafted-1/loopv2.yml TIMEOUT 901.10 791.18 None loops-crafted-1/loopv3.yml TIMEOUT 900.27 787.44 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.29 804.78 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.43 880.27 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.43 877.25 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 900.56 850.98 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.39 872.28 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.33 751.06 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.60 792.70 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 901.15 758.20 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.19 746.08 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.63 838.84 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 901.01 765.09 None loops-crafted-1/nested3-1.yml TIMEOUT 900.47 869.79 None loops-crafted-1/nested3-2.yml TIMEOUT 900.85 818.18 None loops-crafted-1/nested5-1.yml true 9.64 8.77 None loops-crafted-1/nested5-2.yml TIMEOUT 900.56 850.69 None loops-crafted-1/nested_delay_nd.yml true 114.07 88.46 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 154.59 115.52 None loops-crafted-1/net_reset.yml true 9.63 5.77 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.39 882.18 None loops-crafted-1/sum_natnum.yml TIMEOUT 901.07 869.13 None loops-crafted-1/sumt2.yml true 12.59 7.98 None loops-crafted-1/sumt3.yml TIMEOUT 900.36 894.57 None loops-crafted-1/sumt4.yml TIMEOUT 900.35 892.23 None loops-crafted-1/sumt5.yml TIMEOUT 900.46 875.10 None loops-crafted-1/sumt6.yml TIMEOUT 900.38 885.95 None loops-crafted-1/sumt7.yml TIMEOUT 900.42 887.74 None loops-crafted-1/sumt8.yml TIMEOUT 900.44 886.59 None loops-crafted-1/sumt9.yml TIMEOUT 900.47 882.12 None loops-crafted-1/theatreSquare.yml TIMEOUT 901.07 818.90 None loops-crafted-1/vnew1.yml TIMEOUT 900.63 872.15 None loops-crafted-1/vnew2.yml TIMEOUT 900.49 866.47 None loops-crafted-1/watermelon.yml TIMEOUT 900.19 802.68 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 5.74 3.62 None loop-invariants/const.yml true 6.41 4.02 None loop-invariants/eq1.yml true 6.52 3.98 None loop-invariants/eq2.yml true 6.50 3.95 None loop-invariants/even.yml true 7.54 4.43 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 901.28 875.05 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 6.39 4.57 None loop-invariants/mod4.yml true 6.70 4.74 None loop-invariants/odd.yml true 7.83 4.73 None loop-simple/deep-nested.yml TIMEOUT 901.48 853.49 None loop-simple/nested_1.yml true 8.79 5.11 None loop-simple/nested_1b.yml false(unreach-call) 11.07 7.32 None loop-simple/nested_2.yml true 16.77 10.72 None loop-simple/nested_3.yml true 18.75 11.76 None loop-simple/nested_4.yml true 103.01 78.30 None loop-simple/nested_5.yml true 84.73 68.60 None loop-simple/nested_6.yml OUT OF MEMORY 268.73 222.19 None loop-zilu/benchmark02_linear.yml true 7.79 4.32 None loop-zilu/benchmark04_conjunctive.yml true 9.58 6.27 None loop-zilu/benchmark05_conjunctive.yml true 10.89 6.65 None loop-zilu/benchmark09_conjunctive.yml true 9.91 5.94 None loop-zilu/benchmark10_conjunctive.yml true 10.76 6.38 None loop-zilu/benchmark11_linear.yml true 9.44 5.57 None loop-zilu/benchmark14_linear.yml true 7.55 4.79 None loop-zilu/benchmark17_conjunctive.yml true 6.34 4.40 None loop-zilu/benchmark18_conjunctive.yml true 9.71 5.78 None loop-zilu/benchmark19_conjunctive.yml true 8.93 5.45 None loop-zilu/benchmark20_conjunctive.yml true 7.41 6.12 None loop-zilu/benchmark23_conjunctive.yml true 612.90 494.61 None loop-zilu/benchmark25_linear.yml true 8.43 5.49 None loop-zilu/benchmark26_linear.yml true 7.00 4.66 None loop-zilu/benchmark32_linear.yml true 7.94 4.76 None loop-zilu/benchmark33_linear.yml true 6.53 4.11 None loop-zilu/benchmark34_conjunctive.yml true 7.61 5.69 None loop-zilu/benchmark35_linear.yml true 7.68 4.54 None loop-zilu/benchmark37_conjunctive.yml true 8.26 4.86 None loop-zilu/benchmark43_conjunctive.yml true 6.93 4.60 None loop-zilu/benchmark51_polynomial.yml true 6.30 4.67 None loop-zilu/benchmark52_polynomial.yml true 8.00 5.08 None verifythis/duplets.yml TIMEOUT 900.43 883.51 None verifythis/elimination_max.yml true 8.63 5.12 None verifythis/lcp.yml true 15.07 8.75 None verifythis/prefixsum_iter.yml TIMEOUT 900.63 882.12 None verifythis/tree_del_iter.yml false(unreach-call) 17.73 10.66 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 17.84 10.21 None nla-digbench/bresenham-ll.yml true 13.29 8.86 None nla-digbench/cohencu-ll.yml unknown 18.37 11.73 None nla-digbench/cohendiv-ll.yml unknown 15.09 9.84 None nla-digbench/dijkstra-u.yml TIMEOUT 900.46 874.04 None nla-digbench/divbin.yml TIMEOUT 900.39 888.14 None nla-digbench/divbin2.yml TIMEOUT 900.33 895.94 None nla-digbench/egcd-ll.yml TIMEOUT 900.64 892.29 None nla-digbench/egcd2-ll.yml TIMEOUT 900.39 887.88 None nla-digbench/egcd3-ll.yml unknown 48.98 28.61 None nla-digbench/fermat1-ll.yml unknown 19.83 14.20 None nla-digbench/fermat2-ll.yml unknown 21.16 15.64 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 9.93 5.79 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 10.89 6.37 None nla-digbench/geo1-ll.yml true 58.23 49.68 None nla-digbench/geo1-u.yml false(unreach-call) 6.67 4.51 None nla-digbench/geo2-ll.yml TIMEOUT 900.33 896.96 None nla-digbench/geo3-ll.yml true 250.08 241.66 None nla-digbench/hard-ll.yml TIMEOUT 900.44 875.98 None nla-digbench/hard-u.yml unknown 675.94 641.21 None nla-digbench/hard2.yml unknown 44.92 37.07 None nla-digbench/knuth.yml ERROR: EXCEPTION 3.86 2.20 None nla-digbench/lcm1.yml TIMEOUT 900.33 896.98 None nla-digbench/lcm2.yml unknown 8.32 4.86 None nla-digbench/mannadiv.yml true 9.50 5.64 None nla-digbench/prod4br-ll.yml unknown 10.53 6.73 None nla-digbench/prodbin-ll.yml unknown 8.48 5.65 None nla-digbench/ps2-ll.yml unknown 9.56 6.14 None nla-digbench/ps3-ll.yml TIMEOUT 900.34 895.33 None nla-digbench/ps4-ll.yml unknown 13.01 8.99 None nla-digbench/ps5-ll.yml TIMEOUT 900.37 892.97 None nla-digbench/ps6-ll.yml unknown 26.99 24.24 None nla-digbench/sqrt1-ll.yml true 11.57 8.37 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 8.73 6.32 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml true 11.05 8.40 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml true 12.74 9.50 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 11.78 8.65 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml true 15.10 11.35 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml true 12.29 9.07 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml true 13.98 10.39 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 13.08 9.63 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 15.67 13.74 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 15.92 11.88 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 17.44 12.30 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 12.99 9.24 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 13.44 10.14 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 14.11 10.19 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 11.19 8.53 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml TIMEOUT 900.35 894.71 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.34 895.54 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 15.98 12.30 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml TIMEOUT 900.33 895.93 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml TIMEOUT 900.38 891.98 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml TIMEOUT 900.37 894.41 None nla-digbench-scaling/cohencu-ll_valuebound1.yml unknown 18.71 12.30 None nla-digbench-scaling/cohencu-ll_valuebound10.yml unknown 20.30 14.55 None nla-digbench-scaling/cohencu-ll_valuebound100.yml unknown 24.60 15.31 None nla-digbench-scaling/cohencu-ll_valuebound2.yml unknown 17.69 12.26 None nla-digbench-scaling/cohencu-ll_valuebound20.yml unknown 18.80 12.86 None nla-digbench-scaling/cohencu-ll_valuebound5.yml unknown 17.51 12.20 None nla-digbench-scaling/cohencu-ll_valuebound50.yml unknown 24.77 15.54 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 9.51 6.69 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml unknown 13.49 9.84 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml unknown 13.71 9.87 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 62.27 54.52 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml unknown 13.27 9.97 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml unknown 13.52 9.53 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml unknown 13.04 9.93 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 11.71 7.45 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml unknown 11.73 7.74 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml unknown 11.37 7.81 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 14.20 9.42 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml unknown 11.16 7.59 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml unknown 13.34 9.12 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml unknown 12.41 8.55 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 22.75 19.12 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.41 882.46 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.48 870.30 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 43.59 39.11 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.42 882.65 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.43 882.29 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.42 879.42 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.44 873.94 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.41 880.12 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.45 873.28 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.45 875.42 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.38 884.73 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.37 885.27 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.38 883.91 None nla-digbench-scaling/divbin2_unwindbound1.yml true 10.16 6.59 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.35 891.60 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.32 896.28 None nla-digbench-scaling/divbin2_unwindbound2.yml true 12.07 7.89 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.37 891.50 None nla-digbench-scaling/divbin2_unwindbound5.yml true 17.05 12.95 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.34 894.59 None nla-digbench-scaling/divbin2_valuebound1.yml true 9.19 6.69 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.36 890.69 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 127.67 119.39 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.58 883.01 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.34 896.10 None nla-digbench-scaling/divbin2_valuebound5.yml true 27.35 21.37 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.35 895.33 None nla-digbench-scaling/divbin_unwindbound1.yml true 8.66 5.60 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.35 894.44 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.39 890.71 None nla-digbench-scaling/divbin_unwindbound2.yml true 12.04 8.25 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.38 890.40 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 901.43 776.00 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.34 895.10 None nla-digbench-scaling/divbin_valuebound1.yml true 12.66 9.08 None nla-digbench-scaling/divbin_valuebound10.yml unknown 263.18 242.99 None nla-digbench-scaling/divbin_valuebound100.yml unknown 257.54 220.87 None nla-digbench-scaling/divbin_valuebound2.yml OUT OF MEMORY 249.83 223.20 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.68 821.41 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.38 889.41 None nla-digbench-scaling/divbin_valuebound50.yml unknown 255.79 230.93 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 11.62 8.16 None nla-digbench-scaling/egcd-ll_unwindbound10.yml unknown 46.72 35.13 None nla-digbench-scaling/egcd-ll_unwindbound100.yml unknown 44.64 35.24 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 15.95 10.57 None nla-digbench-scaling/egcd-ll_unwindbound20.yml unknown 41.88 33.17 None nla-digbench-scaling/egcd-ll_unwindbound5.yml unknown 48.72 35.99 None nla-digbench-scaling/egcd-ll_unwindbound50.yml unknown 42.48 33.26 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 14.63 9.12 None nla-digbench-scaling/egcd-ll_valuebound10.yml unknown 20.01 13.09 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 19.89 13.56 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 16.41 11.55 None nla-digbench-scaling/egcd-ll_valuebound20.yml unknown 20.25 13.32 None nla-digbench-scaling/egcd-ll_valuebound5.yml unknown 15.82 11.03 None nla-digbench-scaling/egcd-ll_valuebound50.yml unknown 15.68 10.91 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 10.74 6.94 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml TIMEOUT 900.44 883.81 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.49 876.62 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 13.82 10.69 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 900.47 885.59 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 68.26 52.26 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 900.42 884.93 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 24.82 15.69 None nla-digbench-scaling/egcd2-ll_valuebound10.yml unknown 432.94 412.28 None nla-digbench-scaling/egcd2-ll_valuebound100.yml unknown 50.71 34.24 None nla-digbench-scaling/egcd2-ll_valuebound2.yml unknown 29.96 21.64 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 900.44 885.65 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 136.88 114.19 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 48.07 34.21 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 7.52 5.04 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml unknown 38.26 28.91 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml unknown 51.64 36.90 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 8.40 6.02 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml unknown 38.27 28.60 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 16.52 12.73 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml unknown 48.96 33.92 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 14.17 9.67 None nla-digbench-scaling/egcd3-ll_valuebound10.yml true 32.93 22.51 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 30.94 20.68 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 46.50 30.60 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 23.56 16.75 None nla-digbench-scaling/egcd3-ll_valuebound5.yml true 52.44 34.39 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 34.18 22.43 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml unknown 13.60 11.14 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml unknown 15.07 12.11 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml unknown 18.40 16.04 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml unknown 16.81 13.29 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml unknown 21.11 17.91 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml unknown 27.84 23.90 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml unknown 18.51 16.17 None nla-digbench-scaling/fermat1-ll_valuebound1.yml unknown 8.51 4.78 None nla-digbench-scaling/fermat1-ll_valuebound10.yml unknown 11.22 7.40 None nla-digbench-scaling/fermat1-ll_valuebound100.yml unknown 22.09 18.30 None nla-digbench-scaling/fermat1-ll_valuebound2.yml unknown 13.30 9.78 None nla-digbench-scaling/fermat1-ll_valuebound20.yml unknown 11.21 8.55 None nla-digbench-scaling/fermat1-ll_valuebound5.yml unknown 14.02 9.93 None nla-digbench-scaling/fermat1-ll_valuebound50.yml unknown 13.78 9.67 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml unknown 15.04 12.63 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml unknown 23.17 19.29 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml unknown 19.45 15.81 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml unknown 17.07 13.51 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml unknown 16.86 14.31 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml unknown 19.72 16.27 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml unknown 19.97 15.99 None nla-digbench-scaling/fermat2-ll_valuebound1.yml unknown 8.27 4.77 None nla-digbench-scaling/fermat2-ll_valuebound10.yml unknown 8.94 5.49 None nla-digbench-scaling/fermat2-ll_valuebound100.yml unknown 15.05 12.39 None nla-digbench-scaling/fermat2-ll_valuebound2.yml unknown 27.55 23.96 None nla-digbench-scaling/fermat2-ll_valuebound20.yml unknown 7.60 4.76 None nla-digbench-scaling/fermat2-ll_valuebound5.yml unknown 9.77 6.21 None nla-digbench-scaling/fermat2-ll_valuebound50.yml unknown 9.59 6.06 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 6.08 3.88 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 5.84 3.71 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 7.38 4.09 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 5.88 3.70 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 6.25 4.04 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 7.80 4.31 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 7.61 4.21 None nla-digbench-scaling/freire1_valuebound1.yml ERROR: EXCEPTION 5.11 3.31 None nla-digbench-scaling/freire1_valuebound10.yml ERROR: EXCEPTION 5.19 3.67 None nla-digbench-scaling/freire1_valuebound100.yml ERROR: EXCEPTION 6.88 3.87 None nla-digbench-scaling/freire1_valuebound2.yml ERROR: EXCEPTION 4.98 3.23 None nla-digbench-scaling/freire1_valuebound20.yml ERROR: EXCEPTION 6.97 4.09 None nla-digbench-scaling/freire1_valuebound5.yml ERROR: EXCEPTION 5.79 3.73 None nla-digbench-scaling/freire1_valuebound50.yml ERROR: EXCEPTION 7.65 4.34 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.03 3.95 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 7.95 5.29 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 7.05 4.87 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 8.04 5.19 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 8.51 6.08 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 6.47 3.93 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.57 4.94 None nla-digbench-scaling/freire2_valuebound1.yml ERROR: EXCEPTION 6.77 3.82 None nla-digbench-scaling/freire2_valuebound10.yml ERROR: EXCEPTION 6.67 4.51 None nla-digbench-scaling/freire2_valuebound100.yml ERROR: EXCEPTION 4.84 3.28 None nla-digbench-scaling/freire2_valuebound2.yml ERROR: EXCEPTION 7.73 4.70 None nla-digbench-scaling/freire2_valuebound20.yml ERROR: EXCEPTION 6.63 4.12 None nla-digbench-scaling/freire2_valuebound5.yml ERROR: EXCEPTION 5.83 3.74 None nla-digbench-scaling/freire2_valuebound50.yml ERROR: EXCEPTION 5.72 3.63 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 17.43 13.48 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 69.01 62.82 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 65.63 59.14 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 39.98 37.23 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 63.63 59.68 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 62.05 57.02 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 63.33 60.91 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 10.87 6.60 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 7.64 4.62 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 50.62 43.81 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 8.17 5.23 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 10.34 6.23 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 9.94 5.76 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 51.77 47.46 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 8.02 5.48 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 8.08 5.39 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.68 5.74 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 8.24 5.47 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 8.37 5.09 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 8.64 5.33 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 8.42 5.69 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 8.28 4.89 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 8.73 5.41 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 7.03 4.76 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 8.36 5.06 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 7.37 5.79 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 6.43 4.55 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 8.58 5.46 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 9.60 6.33 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 97.11 94.83 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 111.77 109.08 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 36.07 33.38 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 95.86 90.81 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 100.79 95.70 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 104.45 99.87 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 6.84 4.28 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 43.84 40.05 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 136.40 131.02 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.96 5.17 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 61.91 57.66 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 44.22 38.00 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 86.43 82.45 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 9.32 6.50 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 451.95 442.07 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 324.88 314.85 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 78.15 76.23 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 470.59 464.57 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 517.46 506.56 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 383.96 377.55 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 7.80 5.79 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 71.34 68.61 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 62.74 58.49 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 8.74 6.36 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 41.90 38.92 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 31.19 27.62 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 62.20 58.01 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 9.54 7.05 None nla-digbench-scaling/hard-ll_unwindbound10.yml unknown 17.83 13.74 None nla-digbench-scaling/hard-ll_unwindbound100.yml unknown 26.54 16.17 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 11.68 8.09 None nla-digbench-scaling/hard-ll_unwindbound20.yml unknown 19.86 13.35 None nla-digbench-scaling/hard-ll_unwindbound5.yml unknown 19.76 14.90 None nla-digbench-scaling/hard-ll_unwindbound50.yml unknown 25.19 15.64 None nla-digbench-scaling/hard-ll_valuebound1.yml true 16.59 12.53 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 18.62 12.72 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 25.22 14.69 None nla-digbench-scaling/hard-ll_valuebound2.yml TIMEOUT 900.88 822.69 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 18.92 12.14 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.37 884.02 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 25.46 14.77 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 10.50 7.54 None nla-digbench-scaling/hard-u_unwindbound10.yml unknown 631.31 614.00 None nla-digbench-scaling/hard-u_unwindbound100.yml unknown 646.26 615.49 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 17.05 10.14 None nla-digbench-scaling/hard-u_unwindbound20.yml unknown 624.52 601.51 None nla-digbench-scaling/hard-u_unwindbound5.yml unknown 607.14 579.18 None nla-digbench-scaling/hard-u_unwindbound50.yml unknown 609.80 587.47 None nla-digbench-scaling/hard-u_valuebound1.yml OUT OF MEMORY 673.66 582.44 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 117.94 100.72 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.45 883.64 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.41 877.94 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.39 885.72 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.73 853.29 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.37 886.15 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 11.13 6.59 None nla-digbench-scaling/hard2_unwindbound10.yml unknown 41.36 33.07 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 901.00 847.68 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 9.80 6.99 None nla-digbench-scaling/hard2_unwindbound20.yml unknown 45.25 32.12 None nla-digbench-scaling/hard2_unwindbound5.yml unknown 37.80 32.22 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 901.07 850.30 None nla-digbench-scaling/hard2_valuebound1.yml true 14.90 10.66 None nla-digbench-scaling/hard2_valuebound10.yml unknown 31.54 20.20 None nla-digbench-scaling/hard2_valuebound100.yml unknown 30.39 23.22 None nla-digbench-scaling/hard2_valuebound2.yml true 22.21 14.87 None nla-digbench-scaling/hard2_valuebound20.yml unknown 31.75 22.55 None nla-digbench-scaling/hard2_valuebound5.yml unknown 23.69 16.09 None nla-digbench-scaling/hard2_valuebound50.yml unknown 41.38 27.44 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 4.11 2.28 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 4.64 2.94 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 4.60 3.02 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.51 2.54 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 3.93 2.28 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 3.98 3.00 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 4.29 2.60 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 4.19 2.65 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 3.87 2.56 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 4.20 2.52 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 4.83 3.31 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.20 2.71 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 4.23 2.44 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 4.46 2.73 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.42 897.33 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.41 897.25 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.42 896.82 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.42 896.85 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.45 895.24 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.43 897.88 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.42 897.24 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.27 896.94 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.26 895.91 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.33 895.45 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.32 897.01 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.31 897.57 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.31 895.45 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.36 895.47 None nla-digbench-scaling/lcm2_unwindbound1.yml unknown 7.08 4.88 None nla-digbench-scaling/lcm2_unwindbound10.yml unknown 7.06 4.99 None nla-digbench-scaling/lcm2_unwindbound100.yml unknown 7.10 5.10 None nla-digbench-scaling/lcm2_unwindbound2.yml unknown 6.98 4.50 None nla-digbench-scaling/lcm2_unwindbound20.yml unknown 7.06 4.97 None nla-digbench-scaling/lcm2_unwindbound5.yml unknown 6.93 4.78 None nla-digbench-scaling/lcm2_unwindbound50.yml unknown 8.55 5.61 None nla-digbench-scaling/lcm2_valuebound1.yml unknown 6.85 4.17 None nla-digbench-scaling/lcm2_valuebound10.yml unknown 6.36 3.91 None nla-digbench-scaling/lcm2_valuebound100.yml unknown 6.85 4.94 None nla-digbench-scaling/lcm2_valuebound2.yml unknown 6.49 4.04 None nla-digbench-scaling/lcm2_valuebound20.yml unknown 6.79 4.36 None nla-digbench-scaling/lcm2_valuebound5.yml unknown 6.43 4.31 None nla-digbench-scaling/lcm2_valuebound50.yml unknown 7.97 4.83 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 7.48 5.57 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 14.42 10.26 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 552.03 474.62 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 7.77 6.10 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 33.63 24.04 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 10.10 7.54 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 96.95 85.85 None nla-digbench-scaling/mannadiv_valuebound1.yml true 7.71 5.11 None nla-digbench-scaling/mannadiv_valuebound10.yml true 7.50 5.03 None nla-digbench-scaling/mannadiv_valuebound100.yml true 7.78 4.91 None nla-digbench-scaling/mannadiv_valuebound2.yml true 7.28 4.62 None nla-digbench-scaling/mannadiv_valuebound20.yml true 7.39 4.53 None nla-digbench-scaling/mannadiv_valuebound5.yml true 7.05 4.47 None nla-digbench-scaling/mannadiv_valuebound50.yml true 7.40 4.95 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 10.95 6.41 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml unknown 8.77 6.63 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml unknown 9.34 6.56 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml unknown 11.69 7.37 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml unknown 8.76 6.17 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml unknown 9.61 6.48 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml unknown 11.27 7.07 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 12.99 9.58 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 900.40 884.75 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.43 878.97 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 900.36 889.43 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.37 889.07 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 900.37 887.84 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 900.39 885.54 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 8.34 7.85 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml unknown 10.82 8.35 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 11.17 7.02 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml unknown 8.31 7.68 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml unknown 10.17 6.66 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml unknown 10.20 6.93 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 8.41 6.38 None nla-digbench-scaling/prodbin-ll_valuebound1.yml unknown 10.72 6.68 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 10.12 6.58 None nla-digbench-scaling/prodbin-ll_valuebound100.yml unknown 8.64 5.86 None nla-digbench-scaling/prodbin-ll_valuebound2.yml unknown 10.14 6.05 None nla-digbench-scaling/prodbin-ll_valuebound20.yml unknown 9.55 6.10 None nla-digbench-scaling/prodbin-ll_valuebound5.yml unknown 7.83 6.05 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 10.73 6.75 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 10.13 7.42 None nla-digbench-scaling/ps2-ll_unwindbound10.yml unknown 9.56 9.14 None nla-digbench-scaling/ps2-ll_unwindbound100.yml unknown 10.48 7.70 None nla-digbench-scaling/ps2-ll_unwindbound2.yml unknown 11.29 7.36 None nla-digbench-scaling/ps2-ll_unwindbound20.yml unknown 11.20 9.93 None nla-digbench-scaling/ps2-ll_unwindbound5.yml unknown 9.87 9.89 None nla-digbench-scaling/ps2-ll_unwindbound50.yml unknown 10.77 7.51 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 10.41 6.34 None nla-digbench-scaling/ps2-ll_valuebound10.yml unknown 9.45 6.33 None nla-digbench-scaling/ps2-ll_valuebound100.yml unknown 10.42 8.83 None nla-digbench-scaling/ps2-ll_valuebound2.yml unknown 8.86 8.50 None nla-digbench-scaling/ps2-ll_valuebound20.yml unknown 10.46 6.54 None nla-digbench-scaling/ps2-ll_valuebound5.yml unknown 9.03 5.89 None nla-digbench-scaling/ps2-ll_valuebound50.yml unknown 10.07 8.28 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 10.31 6.70 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 900.29 900.62 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 900.36 895.41 None nla-digbench-scaling/ps3-ll_unwindbound2.yml TIMEOUT 900.35 895.82 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 900.33 898.32 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 900.33 897.88 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 900.33 897.36 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 10.75 6.75 None nla-digbench-scaling/ps3-ll_valuebound10.yml TIMEOUT 900.36 895.54 None nla-digbench-scaling/ps3-ll_valuebound100.yml TIMEOUT 900.35 895.09 None nla-digbench-scaling/ps3-ll_valuebound2.yml TIMEOUT 900.35 895.53 None nla-digbench-scaling/ps3-ll_valuebound20.yml TIMEOUT 900.32 897.01 None nla-digbench-scaling/ps3-ll_valuebound5.yml TIMEOUT 900.31 898.46 None nla-digbench-scaling/ps3-ll_valuebound50.yml TIMEOUT 900.33 897.48 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 7.12 5.55 None nla-digbench-scaling/ps4-ll_unwindbound10.yml unknown 202.84 200.67 None nla-digbench-scaling/ps4-ll_unwindbound100.yml unknown 11.63 8.95 None nla-digbench-scaling/ps4-ll_unwindbound2.yml unknown 240.29 237.65 None nla-digbench-scaling/ps4-ll_unwindbound20.yml unknown 202.63 200.64 None nla-digbench-scaling/ps4-ll_unwindbound5.yml unknown 14.49 11.53 None nla-digbench-scaling/ps4-ll_unwindbound50.yml unknown 14.65 11.83 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 13.18 9.64 None nla-digbench-scaling/ps4-ll_valuebound10.yml unknown 11.02 8.12 None nla-digbench-scaling/ps4-ll_valuebound100.yml unknown 11.88 8.80 None nla-digbench-scaling/ps4-ll_valuebound2.yml unknown 14.60 12.64 None nla-digbench-scaling/ps4-ll_valuebound20.yml unknown 10.88 6.76 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 13.42 11.38 None nla-digbench-scaling/ps4-ll_valuebound50.yml unknown 12.07 8.82 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 10.32 6.78 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.33 897.32 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.33 899.47 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 11.51 7.78 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.37 894.34 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.34 896.92 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.35 897.56 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 9.94 6.93 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.33 896.22 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.33 896.64 None nla-digbench-scaling/ps5-ll_valuebound2.yml TIMEOUT 900.32 897.66 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.37 894.60 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.37 893.62 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.36 894.62 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 10.50 7.93 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.32 896.41 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.33 896.63 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 20.76 18.38 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.31 897.53 None nla-digbench-scaling/ps6-ll_unwindbound5.yml TIMEOUT 900.32 897.34 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.36 894.92 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 10.48 8.17 None nla-digbench-scaling/ps6-ll_valuebound10.yml unknown 38.85 35.97 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 45.65 40.95 None nla-digbench-scaling/ps6-ll_valuebound2.yml unknown 233.03 229.98 None nla-digbench-scaling/ps6-ll_valuebound20.yml unknown 13.28 10.28 None nla-digbench-scaling/ps6-ll_valuebound5.yml unknown 13.95 10.86 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 14.71 12.09 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.11 6.16 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 12.14 8.25 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 14.31 9.29 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 12.06 8.35 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 10.80 7.50 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 10.91 7.61 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 10.59 7.56 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 13.97 8.69 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml unknown 18.85 11.63 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml unknown 13.90 10.01 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 11.76 7.80 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml unknown 13.21 9.15 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 13.35 9.09 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml unknown 17.14 11.51 None ---------------------------------------------------------------------------------------------------------------------------- Run set 1 done 105424.59 15069.56 - Automizer IcfgTranformation Jordan.reach-svcomp-all Run set 2 of 3 with options '--force-no-wrapper -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.50 874.46 None loops/array-2.yml false(unreach-call) 6.16 3.94 None loops/bubble_sort-1.yml true 5.43 3.42 None loops/bubble_sort-2.yml false(unreach-call) 13.79 7.67 None loops/compact.yml TIMEOUT 900.43 887.55 None loops/count_up_down-1.yml TIMEOUT 900.44 880.88 None loops/count_up_down-2.yml false(unreach-call) 8.61 6.41 None loops/eureka_01-1.yml TIMEOUT 900.63 868.09 None loops/eureka_01-2.yml TIMEOUT 900.38 892.39 None loops/eureka_05.yml TIMEOUT 900.16 835.88 None loops/for_bounded_loop1.yml false(unreach-call) 7.68 4.39 None loops/for_infinite_loop_1.yml true 6.66 4.30 None loops/for_infinite_loop_2.yml true 6.19 4.22 None loops/heavy-1.yml TIMEOUT 900.34 894.98 None loops/heavy-2.yml true 7.80 4.91 None loops/insertion_sort-1.yml TIMEOUT 900.59 869.26 None loops/insertion_sort-2.yml TIMEOUT 900.48 877.65 None loops/invert_string-1.yml false(unreach-call) 16.95 11.97 None loops/invert_string-3.yml TIMEOUT 900.42 882.40 None loops/linear_sea.ch.yml TIMEOUT 901.51 833.99 None loops/linear_search.yml TIMEOUT 900.43 694.78 None loops/lu.cmp.yml true 10.40 6.43 None loops/ludcmp.yml UNKNOWN: OverapproxCex 12.04 7.75 None loops/matrix-1.yml TIMEOUT 900.34 888.41 None loops/matrix-2.yml false(unreach-call) 7.01 5.03 None loops/n.c11.yml true 10.02 6.82 None loops/n.c24.yml ERROR: EXCEPTION 4.88 3.00 None loops/n.c40.yml true 6.32 3.95 None loops/nec11.yml false(unreach-call) 5.23 3.19 None loops/nec20.yml false(unreach-call) 6.72 3.89 None loops/nec40.yml true 6.41 3.75 None loops/s3.yml UNKNOWN: OverapproxCex 36.02 21.75 None loops/string-1.yml true 8.25 5.92 None loops/string-2.yml UNKNOWN: OverapproxCex 8.55 5.58 None loops/sum01-1.yml false(unreach-call) 14.14 9.92 None loops/sum01-2.yml true 10.12 6.87 None loops/sum01_bug02.yml false(unreach-call) 15.00 10.00 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 10.12 6.96 None loops/sum03-1.yml false(unreach-call) 19.20 12.35 None loops/sum03-2.yml true 6.11 3.98 None loops/sum04-1.yml false(unreach-call) 10.55 7.27 None loops/sum04-2.yml true 12.34 8.99 None loops/sum_array-1.yml false(unreach-call) 6.52 3.79 None loops/sum_array-2.yml TIMEOUT 900.38 883.76 None loops/terminator_01.yml false(unreach-call) 8.35 4.84 None loops/terminator_02-1.yml false(unreach-call) 7.55 4.54 None loops/terminator_02-2.yml true 8.24 5.27 None loops/terminator_03-1.yml false(unreach-call) 9.70 5.64 None loops/terminator_03-2.yml true 10.64 6.66 None loops/trex01-1.yml ERROR: EXCEPTION 7.21 4.09 None loops/trex01-2.yml ERROR: EXCEPTION 6.90 3.81 None loops/trex02-1.yml true 8.58 5.00 None loops/trex02-2.yml false(unreach-call) 8.11 4.42 None loops/trex03-1.yml false(unreach-call) 7.69 4.66 None loops/trex03-2.yml true 9.20 5.32 None loops/trex04.yml true 11.54 7.64 None loops/veris.c_NetBSD-libc_loop.yml true 13.33 8.04 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 13.32 8.43 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml ERROR: EXCEPTION 7.52 4.61 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 11.53 7.15 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 20.01 11.50 None loops/vogal-1.yml TIMEOUT 900.48 868.49 None loops/vogal-2.yml TIMEOUT 900.50 869.47 None loops/while_infinite_loop_1.yml true 13.42 7.80 None loops/while_infinite_loop_2.yml true 13.55 7.97 None loops/while_infinite_loop_3.yml true 14.47 8.78 None loops/while_infinite_loop_4.yml false(unreach-call) 9.75 5.97 None loop-acceleration/array_1-1.yml TIMEOUT 900.48 872.48 None loop-acceleration/array_1-2.yml true 13.85 9.70 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.42 881.53 None loop-acceleration/array_2-1.yml TIMEOUT 900.43 890.34 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.49 870.28 None loop-acceleration/array_2-2.yml TIMEOUT 900.39 896.05 None loop-acceleration/array_3-1.yml true 8.35 5.74 None loop-acceleration/array_3-2.yml TIMEOUT 900.53 874.12 None loop-acceleration/array_4.yml TIMEOUT 900.54 866.29 None loop-acceleration/const_1-1.yml true 7.31 4.83 None loop-acceleration/const_1-2.yml false(unreach-call) 6.05 3.84 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.42 882.23 None loop-acceleration/diamond_1-2.yml false(unreach-call) 544.85 535.35 None loop-acceleration/diamond_2-2.yml true 35.87 25.43 None loop-acceleration/functions_1-1.yml TIMEOUT 900.47 873.42 None loop-acceleration/functions_1-2.yml TIMEOUT 900.80 813.43 None loop-acceleration/multivar_1-1.yml true 8.05 27.66 None loop-acceleration/multivar_1-2.yml false(unreach-call) 6.77 4.16 None loop-acceleration/nested_1-1.yml true 19.80 16.66 None loop-acceleration/nested_1-2.yml TIMEOUT 900.50 860.34 None loop-acceleration/overflow_1-1.yml OUT OF MEMORY 637.97 645.18 None loop-acceleration/phases_1-1.yml TIMEOUT 900.66 837.36 None loop-acceleration/phases_1-2.yml TIMEOUT 900.64 848.58 None loop-acceleration/phases_2-1.yml false(unreach-call) 5.38 3.15 None loop-acceleration/phases_2-2.yml TIMEOUT 900.40 883.39 None loop-acceleration/simple_1-1.yml false(unreach-call) 8.74 4.82 None loop-acceleration/simple_1-2.yml true 9.85 5.90 None loop-acceleration/simple_2-1.yml true 8.74 5.06 None loop-acceleration/simple_2-2.yml false(unreach-call) 7.03 4.42 None loop-acceleration/simple_3-1.yml false(unreach-call) 8.78 5.12 None loop-acceleration/simple_3-2.yml TIMEOUT 900.40 886.40 None loop-acceleration/simple_4-1.yml false(unreach-call) 9.44 5.54 None loop-acceleration/simple_4-2.yml TIMEOUT 900.50 881.26 None loop-acceleration/underapprox_1-1.yml ERROR: EXCEPTION 6.45 4.13 None loop-acceleration/underapprox_1-2.yml ERROR: EXCEPTION 4.93 3.24 None loop-acceleration/underapprox_2-1.yml ERROR: EXCEPTION 6.36 4.09 None loop-acceleration/underapprox_2-2.yml ERROR: EXCEPTION 6.92 4.10 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.42 887.78 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 7.64 4.55 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.78 794.07 None loop-crafted/simple_array_index_value_3.yml ERROR: EXCEPTION 6.71 3.78 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 15.64 9.80 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 13.12 7.52 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 900.32 876.17 None loop-crafted/simple_vardep_1.yml true 5.75 3.67 None loop-crafted/simple_vardep_2.yml true 8.36 4.99 None loop-invgen/MADWiFi-encode_ie_ok.yml true 10.08 7.18 None loop-invgen/NetBSD_loop.yml true 10.62 7.03 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 13.54 8.13 None loop-invgen/SpamAssassin-loop.yml true 13.49 7.62 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 20.26 12.25 None loop-invgen/apache-escape-absolute.yml true 12.10 7.18 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 19.90 12.23 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 51.67 30.40 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 81.02 53.33 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 15.76 10.40 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 16.79 10.44 None loop-invgen/apache-get-tag.yml true 10.68 7.10 None loop-invgen/down.yml true 7.63 4.85 None loop-invgen/fragtest_simple.yml TIMEOUT 900.40 874.68 None loop-invgen/half_2.yml TIMEOUT 900.45 890.17 None loop-invgen/heapsort.yml TIMEOUT 901.53 721.41 None loop-invgen/id_build.i.p+nlh-reducer.yml true 14.19 8.50 None loop-invgen/id_build.i.p+sep-reducer.yml true 15.08 8.89 None loop-invgen/id_build.i.v+lhb-reducer.yml true 9.10 5.48 None loop-invgen/id_build.yml true 7.87 4.39 None loop-invgen/id_trans.yml false(unreach-call) 8.25 4.82 None loop-invgen/large_const.yml true 11.95 7.71 None loop-invgen/nest-if3.yml true 8.08 4.74 None loop-invgen/nested6.yml true 17.66 10.77 None loop-invgen/nested9.yml true 13.61 8.93 None loop-invgen/sendmail-close-angle.yml true 21.02 12.51 None loop-invgen/seq-3.yml true 18.95 12.52 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.07 738.43 None loop-invgen/up.yml true 9.20 5.92 None loop-lit/afnp2014.yml true 7.62 5.45 None loop-lit/bhmr2007.yml true 12.34 8.08 None loop-lit/cggmp2005.yml true 7.47 4.71 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.84 834.88 None loop-lit/cggmp2005b.yml true 7.69 6.22 None loop-lit/css2003.yml true 6.31 4.83 None loop-lit/ddlm2013.yml true 13.66 9.56 None loop-lit/gcnr2008.yml false(unreach-call) 5.66 3.65 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 297.55 279.82 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 474.94 452.78 None loop-lit/gj2007.yml true 261.01 201.92 None loop-lit/gj2007b.yml true 14.16 8.16 None loop-lit/gr2006.yml true 159.87 116.33 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml ERROR: EXCEPTION 100.67 97.14 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml ERROR: EXCEPTION 132.48 126.88 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.16 4.62 None loop-lit/gsv2008.yml ERROR: EXCEPTION 126.35 119.85 None loop-lit/hhk2008.yml true 10.39 6.23 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 9.51 5.96 None loop-lit/jm2006.yml true 11.32 6.79 None loop-lit/jm2006_variant.yml true 12.07 7.38 None loop-lit/mcmillan2006.yml TIMEOUT 900.64 871.59 None loop-new/count_by_1.yml true 8.96 5.99 None loop-new/count_by_1_variant.yml true 10.30 6.98 None loop-new/count_by_2.yml TIMEOUT 900.46 795.47 None loop-new/count_by_k.yml TIMEOUT 900.96 830.14 None loop-new/count_by_nondet.yml TIMEOUT 900.69 765.69 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.49 880.20 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.37 895.21 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.68 868.24 None loop-new/gauss_sum.yml TIMEOUT 900.22 892.77 None loop-new/half.yml true 21.34 13.72 None loop-new/nested-1.yml true 43.93 29.11 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 4.73 3.22 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 4.22 2.60 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 4.72 3.08 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TIMEOUT 900.40 887.75 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 12.07 8.48 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 30.52 21.36 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 39.47 25.85 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 4.68 3.12 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 6.89 4.31 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 6.69 4.07 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 6.48 4.31 None loop-industry-pattern/mod3.yml true 7.10 4.38 None loop-industry-pattern/nested-3.yml true 59.61 47.33 None loop-industry-pattern/ofuf_1.yml true 10.47 5.68 None loop-industry-pattern/ofuf_2.yml true 11.93 7.12 None loop-industry-pattern/ofuf_3.yml true 9.44 5.80 None loop-industry-pattern/ofuf_4.yml true 10.27 6.20 None loop-industry-pattern/ofuf_5.yml true 13.17 7.39 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.56 851.76 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.82 835.07 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.40 883.05 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.63 802.76 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.45 882.01 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.62 851.59 None loops-crafted-1/discover_list.yml ERROR: EXCEPTION 8.46 5.18 None loops-crafted-1/iftelse.yml TIMEOUT 900.48 882.97 None loops-crafted-1/in-de20.yml TIMEOUT 900.34 886.86 None loops-crafted-1/in-de31.yml TIMEOUT 901.09 738.90 None loops-crafted-1/in-de32.yml TIMEOUT 900.40 884.50 None loops-crafted-1/in-de41.yml TIMEOUT 901.42 704.86 None loops-crafted-1/in-de42.yml TIMEOUT 900.49 867.88 None loops-crafted-1/in-de51.yml TIMEOUT 900.58 756.09 None loops-crafted-1/in-de52.yml TIMEOUT 900.45 874.11 None loops-crafted-1/in-de61.yml TIMEOUT 902.26 700.28 None loops-crafted-1/in-de62.yml TIMEOUT 901.44 778.75 None loops-crafted-1/loopv1.yml true 7.04 4.43 None loops-crafted-1/loopv2.yml TIMEOUT 900.39 889.08 None loops-crafted-1/loopv3.yml TIMEOUT 900.37 884.76 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.33 890.73 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.58 855.14 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.63 849.83 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 900.59 851.33 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.94 753.35 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.44 875.80 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.45 880.65 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.74 787.62 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.66 785.35 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.52 859.13 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 901.18 754.07 None loops-crafted-1/nested3-1.yml ERROR: EXCEPTION 63.60 45.43 None loops-crafted-1/nested3-2.yml false(unreach-call) 6.87 4.28 None loops-crafted-1/nested5-1.yml true 11.60 7.62 None loops-crafted-1/nested5-2.yml TIMEOUT 900.55 850.29 None loops-crafted-1/nested_delay_nd.yml true 100.37 70.69 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 143.40 118.33 None loops-crafted-1/net_reset.yml true 9.75 5.59 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.44 841.12 None loops-crafted-1/sum_natnum.yml true 18.99 14.42 None loops-crafted-1/sumt2.yml true 15.92 9.50 None loops-crafted-1/sumt3.yml TIMEOUT 900.38 891.26 None loops-crafted-1/sumt4.yml TIMEOUT 900.38 890.65 None loops-crafted-1/sumt5.yml TIMEOUT 900.49 870.67 None loops-crafted-1/sumt6.yml TIMEOUT 900.47 873.90 None loops-crafted-1/sumt7.yml TIMEOUT 900.40 888.78 None loops-crafted-1/sumt8.yml TIMEOUT 900.44 882.21 None loops-crafted-1/sumt9.yml TIMEOUT 900.40 886.54 None loops-crafted-1/theatreSquare.yml TIMEOUT 900.78 877.96 None loops-crafted-1/vnew1.yml TIMEOUT 900.36 894.91 None loops-crafted-1/vnew2.yml OUT OF MEMORY 634.47 553.40 None loops-crafted-1/watermelon.yml TIMEOUT 900.34 884.15 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 5.69 3.76 None loop-invariants/const.yml true 6.47 3.74 None loop-invariants/eq1.yml true 6.36 4.13 None loop-invariants/eq2.yml true 6.66 3.89 None loop-invariants/even.yml true 7.45 4.81 None loop-invariants/linear-inequality-inv-a.yml ERROR: EXCEPTION 5.00 3.12 None loop-invariants/linear-inequality-inv-b.yml ERROR: EXCEPTION 4.71 2.85 None loop-invariants/mod4.yml true 6.88 4.45 None loop-invariants/odd.yml true 7.06 4.24 None loop-simple/deep-nested.yml TIMEOUT 901.12 838.29 None loop-simple/nested_1.yml true 6.82 4.10 None loop-simple/nested_1b.yml false(unreach-call) 9.18 6.30 None loop-simple/nested_2.yml true 11.95 8.63 None loop-simple/nested_3.yml true 13.18 10.03 None loop-simple/nested_4.yml true 40.45 28.40 None loop-simple/nested_5.yml true 46.41 33.09 None loop-simple/nested_6.yml OUT OF MEMORY 245.72 206.66 None loop-zilu/benchmark02_linear.yml true 5.63 3.40 None loop-zilu/benchmark04_conjunctive.yml true 7.52 5.06 None loop-zilu/benchmark05_conjunctive.yml true 7.93 5.20 None loop-zilu/benchmark09_conjunctive.yml true 7.09 4.24 None loop-zilu/benchmark10_conjunctive.yml true 7.46 4.78 None loop-zilu/benchmark11_linear.yml true 6.55 4.28 None loop-zilu/benchmark14_linear.yml true 6.12 3.76 None loop-zilu/benchmark17_conjunctive.yml true 6.06 4.01 None loop-zilu/benchmark18_conjunctive.yml true 7.14 4.53 None loop-zilu/benchmark19_conjunctive.yml true 7.60 5.23 None loop-zilu/benchmark20_conjunctive.yml OUT OF MEMORY 452.24 419.71 None loop-zilu/benchmark23_conjunctive.yml true 10.51 6.57 None loop-zilu/benchmark25_linear.yml true 8.97 5.59 None loop-zilu/benchmark26_linear.yml true 8.88 5.40 None loop-zilu/benchmark32_linear.yml true 8.40 5.01 None loop-zilu/benchmark33_linear.yml true 8.22 4.62 None loop-zilu/benchmark34_conjunctive.yml true 10.35 6.38 None loop-zilu/benchmark35_linear.yml true 8.53 5.14 None loop-zilu/benchmark37_conjunctive.yml true 8.91 5.39 None loop-zilu/benchmark43_conjunctive.yml true 9.65 5.90 None loop-zilu/benchmark51_polynomial.yml true 8.32 4.90 None loop-zilu/benchmark52_polynomial.yml true 68.40 63.02 None verifythis/duplets.yml TIMEOUT 900.42 880.84 None verifythis/elimination_max.yml true 10.54 6.01 None verifythis/lcp.yml true 16.57 9.24 None verifythis/prefixsum_iter.yml ERROR: EXCEPTION 5.30 3.68 None verifythis/tree_del_iter.yml ERROR: EXCEPTION 5.13 3.50 None verifythis/tree_del_iter_incorrect.yml ERROR: EXCEPTION 7.61 4.56 None nla-digbench/bresenham-ll.yml true 10.70 7.71 None nla-digbench/cohencu-ll.yml ERROR: EXCEPTION 23.48 16.33 None nla-digbench/cohendiv-ll.yml ERROR: EXCEPTION 11.33 8.52 None nla-digbench/dijkstra-u.yml TIMEOUT 900.39 884.51 None nla-digbench/divbin.yml TIMEOUT 900.42 882.84 None nla-digbench/divbin2.yml TIMEOUT 900.34 895.55 None nla-digbench/egcd-ll.yml TIMEOUT 900.67 894.77 None nla-digbench/egcd2-ll.yml TIMEOUT 900.49 879.95 None nla-digbench/egcd3-ll.yml ERROR: EXCEPTION 33.86 22.32 None nla-digbench/fermat1-ll.yml ERROR: EXCEPTION 13.45 10.90 None nla-digbench/fermat2-ll.yml ERROR: EXCEPTION 17.04 13.42 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 7.58 4.34 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 6.40 4.16 None nla-digbench/geo1-ll.yml true 214.06 208.39 None nla-digbench/geo1-u.yml false(unreach-call) 5.91 3.88 None nla-digbench/geo2-ll.yml TIMEOUT 900.37 895.68 None nla-digbench/geo3-ll.yml true 183.39 179.40 None nla-digbench/hard-ll.yml TIMEOUT 900.41 884.23 None nla-digbench/hard-u.yml ERROR: EXCEPTION 601.32 581.78 None nla-digbench/hard2.yml ERROR: EXCEPTION 46.01 36.87 None nla-digbench/knuth.yml ERROR: EXCEPTION 4.64 3.10 None nla-digbench/lcm1.yml TIMEOUT 900.31 897.55 None nla-digbench/lcm2.yml ERROR: EXCEPTION 8.25 6.77 None nla-digbench/mannadiv.yml true 9.59 6.03 None nla-digbench/prod4br-ll.yml ERROR: EXCEPTION 10.06 6.60 None nla-digbench/prodbin-ll.yml ERROR: EXCEPTION 9.17 5.80 None nla-digbench/ps2-ll.yml ERROR: EXCEPTION 9.14 6.35 None nla-digbench/ps3-ll.yml TIMEOUT 900.33 896.61 None nla-digbench/ps4-ll.yml ERROR: EXCEPTION 11.46 9.13 None nla-digbench/ps5-ll.yml TIMEOUT 900.34 896.26 None nla-digbench/ps6-ll.yml ERROR: EXCEPTION 88.57 85.74 None nla-digbench/sqrt1-ll.yml true 12.17 7.49 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 10.40 6.39 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml true 15.09 10.32 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml true 15.11 9.39 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 14.19 9.41 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml true 16.02 11.09 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml true 14.50 9.42 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml true 12.60 9.52 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 15.35 9.44 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 11.52 8.16 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 17.15 11.36 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 12.71 8.40 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 15.17 9.75 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 12.77 9.52 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 17.55 11.72 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 9.20 6.04 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml TIMEOUT 900.37 894.56 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.37 891.37 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 12.80 9.25 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml TIMEOUT 900.33 895.86 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml TIMEOUT 900.36 894.79 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml TIMEOUT 900.38 892.42 None nla-digbench-scaling/cohencu-ll_valuebound1.yml ERROR: EXCEPTION 17.74 12.65 None nla-digbench-scaling/cohencu-ll_valuebound10.yml ERROR: EXCEPTION 20.42 14.68 None nla-digbench-scaling/cohencu-ll_valuebound100.yml ERROR: EXCEPTION 20.49 14.92 None nla-digbench-scaling/cohencu-ll_valuebound2.yml ERROR: EXCEPTION 18.27 12.90 None nla-digbench-scaling/cohencu-ll_valuebound20.yml ERROR: EXCEPTION 20.36 15.06 None nla-digbench-scaling/cohencu-ll_valuebound5.yml ERROR: EXCEPTION 17.33 12.07 None nla-digbench-scaling/cohencu-ll_valuebound50.yml ERROR: EXCEPTION 19.97 14.26 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 8.72 5.91 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml ERROR: EXCEPTION 12.79 9.84 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml ERROR: EXCEPTION 13.10 9.67 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 12.56 9.49 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml ERROR: EXCEPTION 13.17 9.57 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml ERROR: EXCEPTION 12.53 10.32 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml ERROR: EXCEPTION 12.69 9.66 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 10.07 6.80 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml ERROR: EXCEPTION 11.03 7.63 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml ERROR: EXCEPTION 10.81 7.78 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 11.44 7.67 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml ERROR: EXCEPTION 11.60 8.36 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml ERROR: EXCEPTION 13.13 9.03 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml ERROR: EXCEPTION 10.97 8.22 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 22.62 19.68 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.39 885.26 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.43 881.40 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 38.76 33.45 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.43 881.55 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.47 872.86 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.44 877.95 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.40 881.99 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.42 885.53 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.46 874.58 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.45 881.51 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.45 875.49 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.45 882.32 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.36 888.15 None nla-digbench-scaling/divbin2_unwindbound1.yml true 10.21 7.03 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.32 897.66 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.34 893.01 None nla-digbench-scaling/divbin2_unwindbound2.yml true 8.40 6.43 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.32 896.60 None nla-digbench-scaling/divbin2_unwindbound5.yml true 15.81 12.40 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.34 894.95 None nla-digbench-scaling/divbin2_valuebound1.yml true 8.96 5.94 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.37 893.37 None nla-digbench-scaling/divbin2_valuebound100.yml ERROR: EXCEPTION 135.20 124.39 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.55 878.24 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.34 896.41 None nla-digbench-scaling/divbin2_valuebound5.yml true 29.04 21.62 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.37 893.64 None nla-digbench-scaling/divbin_unwindbound1.yml true 8.05 6.26 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 901.20 785.71 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 901.02 729.60 None nla-digbench-scaling/divbin_unwindbound2.yml true 9.35 6.80 None nla-digbench-scaling/divbin_unwindbound20.yml OUT OF MEMORY 321.67 275.84 None nla-digbench-scaling/divbin_unwindbound5.yml OUT OF MEMORY 627.94 510.30 None nla-digbench-scaling/divbin_unwindbound50.yml OUT OF MEMORY 291.23 257.59 None nla-digbench-scaling/divbin_valuebound1.yml true 11.25 7.18 None nla-digbench-scaling/divbin_valuebound10.yml ERROR: EXCEPTION 251.47 222.48 None nla-digbench-scaling/divbin_valuebound100.yml ERROR: EXCEPTION 250.37 226.04 None nla-digbench-scaling/divbin_valuebound2.yml OUT OF MEMORY 169.50 151.75 None nla-digbench-scaling/divbin_valuebound20.yml OUT OF MEMORY 117.81 99.93 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.37 893.06 None nla-digbench-scaling/divbin_valuebound50.yml ERROR: EXCEPTION 289.21 253.37 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 9.55 6.36 None nla-digbench-scaling/egcd-ll_unwindbound10.yml ERROR: EXCEPTION 36.84 28.75 None nla-digbench-scaling/egcd-ll_unwindbound100.yml ERROR: EXCEPTION 35.48 29.08 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 12.99 9.36 None nla-digbench-scaling/egcd-ll_unwindbound20.yml ERROR: EXCEPTION 45.54 38.40 None nla-digbench-scaling/egcd-ll_unwindbound5.yml ERROR: EXCEPTION 36.62 28.79 None nla-digbench-scaling/egcd-ll_unwindbound50.yml ERROR: EXCEPTION 36.60 28.77 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 10.82 7.91 None nla-digbench-scaling/egcd-ll_valuebound10.yml ERROR: EXCEPTION 15.30 11.44 None nla-digbench-scaling/egcd-ll_valuebound100.yml ERROR: EXCEPTION 15.58 11.07 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 13.19 9.98 None nla-digbench-scaling/egcd-ll_valuebound20.yml ERROR: EXCEPTION 16.05 12.42 None nla-digbench-scaling/egcd-ll_valuebound5.yml ERROR: EXCEPTION 14.70 11.75 None nla-digbench-scaling/egcd-ll_valuebound50.yml ERROR: EXCEPTION 16.33 11.97 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 8.05 6.23 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml TIMEOUT 900.45 890.53 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.45 888.39 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 13.88 10.99 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 900.43 886.79 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 51.34 41.82 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 900.40 888.84 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 22.65 14.58 None nla-digbench-scaling/egcd2-ll_valuebound10.yml ERROR: EXCEPTION 212.93 194.64 None nla-digbench-scaling/egcd2-ll_valuebound100.yml ERROR: EXCEPTION 44.76 34.72 None nla-digbench-scaling/egcd2-ll_valuebound2.yml ERROR: EXCEPTION 35.09 24.14 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 900.52 877.32 None nla-digbench-scaling/egcd2-ll_valuebound5.yml ERROR: EXCEPTION 108.33 94.08 None nla-digbench-scaling/egcd2-ll_valuebound50.yml ERROR: EXCEPTION 53.71 40.64 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 9.30 6.89 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml ERROR: EXCEPTION 45.32 32.56 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml ERROR: EXCEPTION 39.52 31.06 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 11.19 7.35 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml ERROR: EXCEPTION 49.51 33.54 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 21.54 15.59 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml ERROR: EXCEPTION 37.76 28.83 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 15.97 10.28 None nla-digbench-scaling/egcd3-ll_valuebound10.yml true 27.59 20.83 None nla-digbench-scaling/egcd3-ll_valuebound100.yml ERROR: EXCEPTION 32.10 21.49 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 36.09 25.34 None nla-digbench-scaling/egcd3-ll_valuebound20.yml ERROR: EXCEPTION 32.01 20.88 None nla-digbench-scaling/egcd3-ll_valuebound5.yml true 26.32 19.04 None nla-digbench-scaling/egcd3-ll_valuebound50.yml ERROR: EXCEPTION 26.05 19.58 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml ERROR: EXCEPTION 23.97 21.61 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml ERROR: EXCEPTION 26.43 22.92 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml ERROR: EXCEPTION 16.15 12.66 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml ERROR: EXCEPTION 18.26 14.33 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml ERROR: EXCEPTION 13.82 11.30 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml ERROR: EXCEPTION 24.99 23.78 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml ERROR: EXCEPTION 15.67 12.32 None nla-digbench-scaling/fermat1-ll_valuebound1.yml ERROR: EXCEPTION 6.68 4.04 None nla-digbench-scaling/fermat1-ll_valuebound10.yml ERROR: EXCEPTION 9.88 6.06 None nla-digbench-scaling/fermat1-ll_valuebound100.yml ERROR: EXCEPTION 11.23 7.78 None nla-digbench-scaling/fermat1-ll_valuebound2.yml ERROR: EXCEPTION 11.36 9.22 None nla-digbench-scaling/fermat1-ll_valuebound20.yml ERROR: EXCEPTION 11.35 9.10 None nla-digbench-scaling/fermat1-ll_valuebound5.yml ERROR: EXCEPTION 11.34 7.83 None nla-digbench-scaling/fermat1-ll_valuebound50.yml ERROR: EXCEPTION 13.19 10.12 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml ERROR: EXCEPTION 17.01 13.80 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml ERROR: EXCEPTION 11.50 8.24 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml ERROR: EXCEPTION 15.41 12.94 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml ERROR: EXCEPTION 9.53 7.23 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml ERROR: EXCEPTION 18.13 14.07 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml ERROR: EXCEPTION 10.17 8.16 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml ERROR: EXCEPTION 18.33 14.48 None nla-digbench-scaling/fermat2-ll_valuebound1.yml ERROR: EXCEPTION 8.40 5.35 None nla-digbench-scaling/fermat2-ll_valuebound10.yml ERROR: EXCEPTION 7.20 4.50 None nla-digbench-scaling/fermat2-ll_valuebound100.yml ERROR: EXCEPTION 9.66 5.96 None nla-digbench-scaling/fermat2-ll_valuebound2.yml ERROR: EXCEPTION 27.75 24.42 None nla-digbench-scaling/fermat2-ll_valuebound20.yml ERROR: EXCEPTION 7.03 4.50 None nla-digbench-scaling/fermat2-ll_valuebound5.yml ERROR: EXCEPTION 7.29 4.60 None nla-digbench-scaling/fermat2-ll_valuebound50.yml ERROR: EXCEPTION 7.86 5.26 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 7.57 4.24 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 6.01 3.50 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 5.86 3.74 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 7.78 4.79 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 6.05 4.32 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 8.51 4.99 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 8.04 4.37 None nla-digbench-scaling/freire1_valuebound1.yml ERROR: EXCEPTION 5.39 3.16 None nla-digbench-scaling/freire1_valuebound10.yml ERROR: EXCEPTION 5.56 3.47 None nla-digbench-scaling/freire1_valuebound100.yml ERROR: EXCEPTION 6.72 3.84 None nla-digbench-scaling/freire1_valuebound2.yml ERROR: EXCEPTION 6.00 4.17 None nla-digbench-scaling/freire1_valuebound20.yml ERROR: EXCEPTION 5.29 3.28 None nla-digbench-scaling/freire1_valuebound5.yml ERROR: EXCEPTION 7.32 4.11 None nla-digbench-scaling/freire1_valuebound50.yml ERROR: EXCEPTION 7.29 4.14 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.66 4.65 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 8.24 5.43 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 6.06 4.33 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.33 4.21 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 8.52 5.57 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 6.38 4.59 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 8.15 5.12 None nla-digbench-scaling/freire2_valuebound1.yml ERROR: EXCEPTION 5.36 3.53 None nla-digbench-scaling/freire2_valuebound10.yml ERROR: EXCEPTION 6.28 4.30 None nla-digbench-scaling/freire2_valuebound100.yml ERROR: EXCEPTION 5.35 3.42 None nla-digbench-scaling/freire2_valuebound2.yml ERROR: EXCEPTION 6.50 4.02 None nla-digbench-scaling/freire2_valuebound20.yml ERROR: EXCEPTION 5.23 3.15 None nla-digbench-scaling/freire2_valuebound5.yml ERROR: EXCEPTION 5.63 3.25 None nla-digbench-scaling/freire2_valuebound50.yml ERROR: EXCEPTION 7.23 4.49 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 13.83 9.18 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 58.99 55.48 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 60.97 57.60 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 41.79 37.17 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 62.07 56.73 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 63.36 59.90 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 57.05 53.50 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 10.31 6.40 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 9.19 5.51 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 9.66 6.00 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 10.50 6.55 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 10.72 7.19 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 9.59 6.04 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 49.97 44.66 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 8.12 5.34 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 8.58 5.61 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.61 5.83 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 8.76 5.82 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 8.55 5.70 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 8.60 5.57 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 8.51 5.12 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 8.14 5.25 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 7.06 4.46 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 8.74 5.65 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 8.72 5.52 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 6.74 4.76 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 8.70 5.55 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 8.22 5.85 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 8.01 5.61 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 67.22 64.10 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 51.48 46.87 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 34.78 32.23 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 53.34 48.60 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 85.83 81.31 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 57.58 54.10 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 7.00 4.45 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 42.23 36.73 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 137.91 133.33 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.33 5.11 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 42.30 38.53 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 41.97 37.20 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 48.00 43.12 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 9.42 6.55 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 289.70 280.21 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 355.34 348.76 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 32.12 29.72 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 376.51 369.47 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 408.75 397.79 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 266.23 257.43 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 8.41 5.45 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 19.94 16.85 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 43.15 37.95 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 7.50 5.02 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 30.44 26.84 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 20.65 15.76 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 41.95 37.79 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 9.86 6.44 None nla-digbench-scaling/hard-ll_unwindbound10.yml ERROR: EXCEPTION 19.92 13.55 None nla-digbench-scaling/hard-ll_unwindbound100.yml ERROR: EXCEPTION 24.02 15.55 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 12.08 8.28 None nla-digbench-scaling/hard-ll_unwindbound20.yml ERROR: EXCEPTION 25.89 16.24 None nla-digbench-scaling/hard-ll_unwindbound5.yml ERROR: EXCEPTION 20.25 13.71 None nla-digbench-scaling/hard-ll_unwindbound50.yml ERROR: EXCEPTION 19.87 13.44 None nla-digbench-scaling/hard-ll_valuebound1.yml true 21.10 12.60 None nla-digbench-scaling/hard-ll_valuebound10.yml ERROR: EXCEPTION 19.00 11.42 None nla-digbench-scaling/hard-ll_valuebound100.yml ERROR: EXCEPTION 19.75 12.34 None nla-digbench-scaling/hard-ll_valuebound2.yml OUT OF MEMORY 214.79 178.23 None nla-digbench-scaling/hard-ll_valuebound20.yml ERROR: EXCEPTION 18.02 11.78 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.40 881.26 None nla-digbench-scaling/hard-ll_valuebound50.yml ERROR: EXCEPTION 19.76 11.84 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 10.39 6.92 None nla-digbench-scaling/hard-u_unwindbound10.yml ERROR: EXCEPTION 624.42 602.67 None nla-digbench-scaling/hard-u_unwindbound100.yml ERROR: EXCEPTION 665.30 633.25 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 15.62 10.23 None nla-digbench-scaling/hard-u_unwindbound20.yml ERROR: EXCEPTION 627.27 599.00 None nla-digbench-scaling/hard-u_unwindbound5.yml ERROR: EXCEPTION 636.77 608.46 None nla-digbench-scaling/hard-u_unwindbound50.yml ERROR: EXCEPTION 647.47 625.94 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 900.64 823.62 None nla-digbench-scaling/hard-u_valuebound10.yml ERROR: EXCEPTION 107.43 94.00 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.50 875.93 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.41 884.70 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.38 887.27 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.68 877.71 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.42 883.96 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 8.96 5.58 None nla-digbench-scaling/hard2_unwindbound10.yml ERROR: EXCEPTION 35.57 30.03 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.85 872.60 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 13.44 8.64 None nla-digbench-scaling/hard2_unwindbound20.yml ERROR: EXCEPTION 45.68 32.79 None nla-digbench-scaling/hard2_unwindbound5.yml ERROR: EXCEPTION 40.78 32.61 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 901.05 846.42 None nla-digbench-scaling/hard2_valuebound1.yml true 12.76 8.44 None nla-digbench-scaling/hard2_valuebound10.yml ERROR: EXCEPTION 21.84 15.75 None nla-digbench-scaling/hard2_valuebound100.yml ERROR: EXCEPTION 32.22 22.95 None nla-digbench-scaling/hard2_valuebound2.yml true 19.30 13.48 None nla-digbench-scaling/hard2_valuebound20.yml ERROR: EXCEPTION 33.06 24.14 None nla-digbench-scaling/hard2_valuebound5.yml ERROR: EXCEPTION 22.06 15.91 None nla-digbench-scaling/hard2_valuebound50.yml ERROR: EXCEPTION 32.67 23.13 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 5.19 2.99 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 5.54 3.36 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 4.24 2.68 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 5.23 2.83 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 3.91 2.26 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 5.07 2.80 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 4.29 2.61 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 5.09 3.00 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 4.21 2.44 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 5.77 3.47 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 3.93 2.61 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 5.58 3.32 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 5.46 3.45 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 4.33 2.57 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.44 895.39 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.44 897.02 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.46 895.24 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.45 895.53 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.44 896.83 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.43 896.89 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.45 897.06 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.33 895.18 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.32 896.95 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.32 897.54 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.33 896.28 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.30 897.19 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.30 897.38 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.34 895.35 None nla-digbench-scaling/lcm2_unwindbound1.yml ERROR: EXCEPTION 8.23 5.05 None nla-digbench-scaling/lcm2_unwindbound10.yml ERROR: EXCEPTION 8.63 5.53 None nla-digbench-scaling/lcm2_unwindbound100.yml ERROR: EXCEPTION 6.65 4.58 None nla-digbench-scaling/lcm2_unwindbound2.yml ERROR: EXCEPTION 9.14 5.62 None nla-digbench-scaling/lcm2_unwindbound20.yml ERROR: EXCEPTION 8.54 5.42 None nla-digbench-scaling/lcm2_unwindbound5.yml ERROR: EXCEPTION 6.75 4.37 None nla-digbench-scaling/lcm2_unwindbound50.yml ERROR: EXCEPTION 8.90 5.77 None nla-digbench-scaling/lcm2_valuebound1.yml ERROR: EXCEPTION 8.32 5.56 None nla-digbench-scaling/lcm2_valuebound10.yml ERROR: EXCEPTION 6.23 3.84 None nla-digbench-scaling/lcm2_valuebound100.yml ERROR: EXCEPTION 7.96 4.68 None nla-digbench-scaling/lcm2_valuebound2.yml ERROR: EXCEPTION 7.93 4.98 None nla-digbench-scaling/lcm2_valuebound20.yml ERROR: EXCEPTION 6.82 4.16 None nla-digbench-scaling/lcm2_valuebound5.yml ERROR: EXCEPTION 8.16 4.81 None nla-digbench-scaling/lcm2_valuebound50.yml ERROR: EXCEPTION 8.48 4.90 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 8.47 5.69 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 18.66 12.68 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 694.86 580.41 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 10.41 6.54 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 26.65 20.80 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 12.92 8.82 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 129.37 99.77 None nla-digbench-scaling/mannadiv_valuebound1.yml true 6.87 5.06 None nla-digbench-scaling/mannadiv_valuebound10.yml true 8.93 5.55 None nla-digbench-scaling/mannadiv_valuebound100.yml true 6.57 4.29 None nla-digbench-scaling/mannadiv_valuebound2.yml true 8.59 5.18 None nla-digbench-scaling/mannadiv_valuebound20.yml true 6.77 4.49 None nla-digbench-scaling/mannadiv_valuebound5.yml true 7.65 5.36 None nla-digbench-scaling/mannadiv_valuebound50.yml true 8.57 5.16 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 8.00 5.72 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml ERROR: EXCEPTION 9.06 6.31 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml ERROR: EXCEPTION 11.34 7.14 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml ERROR: EXCEPTION 8.76 6.25 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml ERROR: EXCEPTION 8.95 6.59 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml ERROR: EXCEPTION 8.29 5.68 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml ERROR: EXCEPTION 11.52 7.67 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 13.88 10.29 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 900.42 883.85 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.43 879.16 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 900.39 884.87 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.37 886.10 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 900.43 880.31 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 900.37 886.99 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 8.97 5.54 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml ERROR: EXCEPTION 10.85 7.02 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml ERROR: EXCEPTION 11.19 7.17 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml ERROR: EXCEPTION 10.62 6.84 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml ERROR: EXCEPTION 11.13 7.14 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml ERROR: EXCEPTION 11.02 7.37 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml ERROR: EXCEPTION 11.15 7.25 None nla-digbench-scaling/prodbin-ll_valuebound1.yml ERROR: EXCEPTION 11.44 6.92 None nla-digbench-scaling/prodbin-ll_valuebound10.yml ERROR: EXCEPTION 11.51 7.08 None nla-digbench-scaling/prodbin-ll_valuebound100.yml ERROR: EXCEPTION 10.79 6.75 None nla-digbench-scaling/prodbin-ll_valuebound2.yml ERROR: EXCEPTION 7.84 5.28 None nla-digbench-scaling/prodbin-ll_valuebound20.yml ERROR: EXCEPTION 11.73 7.09 None nla-digbench-scaling/prodbin-ll_valuebound5.yml ERROR: EXCEPTION 7.68 4.95 None nla-digbench-scaling/prodbin-ll_valuebound50.yml ERROR: EXCEPTION 11.08 6.83 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 6.69 4.65 None nla-digbench-scaling/ps2-ll_unwindbound10.yml ERROR: EXCEPTION 12.33 8.36 None nla-digbench-scaling/ps2-ll_unwindbound100.yml ERROR: EXCEPTION 8.03 5.92 None nla-digbench-scaling/ps2-ll_unwindbound2.yml ERROR: EXCEPTION 8.09 5.60 None nla-digbench-scaling/ps2-ll_unwindbound20.yml ERROR: EXCEPTION 11.88 8.31 None nla-digbench-scaling/ps2-ll_unwindbound5.yml ERROR: EXCEPTION 8.13 5.97 None nla-digbench-scaling/ps2-ll_unwindbound50.yml ERROR: EXCEPTION 7.95 6.73 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 10.50 6.20 None nla-digbench-scaling/ps2-ll_valuebound10.yml ERROR: EXCEPTION 7.44 5.50 None nla-digbench-scaling/ps2-ll_valuebound100.yml ERROR: EXCEPTION 7.44 5.00 None nla-digbench-scaling/ps2-ll_valuebound2.yml ERROR: EXCEPTION 7.00 5.49 None nla-digbench-scaling/ps2-ll_valuebound20.yml ERROR: EXCEPTION 10.84 6.92 None nla-digbench-scaling/ps2-ll_valuebound5.yml ERROR: EXCEPTION 7.59 5.46 None nla-digbench-scaling/ps2-ll_valuebound50.yml ERROR: EXCEPTION 7.86 5.50 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 7.63 5.21 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 900.32 898.16 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 900.33 897.60 None nla-digbench-scaling/ps3-ll_unwindbound2.yml TIMEOUT 900.36 894.60 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 900.32 897.73 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 900.35 896.93 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 900.32 897.69 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 9.00 5.60 None nla-digbench-scaling/ps3-ll_valuebound10.yml TIMEOUT 900.37 895.10 None nla-digbench-scaling/ps3-ll_valuebound100.yml TIMEOUT 900.35 895.53 None nla-digbench-scaling/ps3-ll_valuebound2.yml TIMEOUT 900.34 895.43 None nla-digbench-scaling/ps3-ll_valuebound20.yml TIMEOUT 900.32 897.16 None nla-digbench-scaling/ps3-ll_valuebound5.yml TIMEOUT 900.30 897.48 None nla-digbench-scaling/ps3-ll_valuebound50.yml TIMEOUT 900.32 896.88 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 8.71 5.62 None nla-digbench-scaling/ps4-ll_unwindbound10.yml ERROR: EXCEPTION 14.92 11.41 None nla-digbench-scaling/ps4-ll_unwindbound100.yml ERROR: EXCEPTION 11.94 8.89 None nla-digbench-scaling/ps4-ll_unwindbound2.yml ERROR: EXCEPTION 15.05 11.32 None nla-digbench-scaling/ps4-ll_unwindbound20.yml ERROR: EXCEPTION 11.65 8.40 None nla-digbench-scaling/ps4-ll_unwindbound5.yml ERROR: EXCEPTION 15.03 11.90 None nla-digbench-scaling/ps4-ll_unwindbound50.yml ERROR: EXCEPTION 11.94 8.53 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 12.17 8.43 None nla-digbench-scaling/ps4-ll_valuebound10.yml ERROR: EXCEPTION 9.84 6.59 None nla-digbench-scaling/ps4-ll_valuebound100.yml ERROR: EXCEPTION 12.51 9.03 None nla-digbench-scaling/ps4-ll_valuebound2.yml ERROR: EXCEPTION 17.66 13.43 None nla-digbench-scaling/ps4-ll_valuebound20.yml ERROR: EXCEPTION 21.68 17.59 None nla-digbench-scaling/ps4-ll_valuebound5.yml ERROR: EXCEPTION 12.97 9.04 None nla-digbench-scaling/ps4-ll_valuebound50.yml ERROR: EXCEPTION 12.02 9.20 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 9.97 6.52 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.36 894.33 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.34 897.69 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 15.36 10.92 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.34 897.68 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.33 896.63 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.33 897.39 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 8.98 6.10 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.34 896.09 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.35 894.45 None nla-digbench-scaling/ps5-ll_valuebound2.yml TIMEOUT 900.34 897.23 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.35 894.48 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.35 895.25 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.36 895.18 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 9.58 7.21 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.35 896.56 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.34 897.03 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 508.72 505.28 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.35 895.15 None nla-digbench-scaling/ps6-ll_unwindbound5.yml TIMEOUT 900.35 896.88 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.33 897.43 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 10.40 7.52 None nla-digbench-scaling/ps6-ll_valuebound10.yml ERROR: EXCEPTION 45.93 43.53 None nla-digbench-scaling/ps6-ll_valuebound100.yml ERROR: EXCEPTION 15.11 10.56 None nla-digbench-scaling/ps6-ll_valuebound2.yml ERROR: EXCEPTION 11.26 8.60 None nla-digbench-scaling/ps6-ll_valuebound20.yml ERROR: EXCEPTION 20.14 17.07 None nla-digbench-scaling/ps6-ll_valuebound5.yml ERROR: EXCEPTION 18.16 15.47 None nla-digbench-scaling/ps6-ll_valuebound50.yml ERROR: EXCEPTION 14.26 9.93 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.06 5.81 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml ERROR: EXCEPTION 22.29 16.86 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 10.27 7.39 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 11.75 8.08 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 11.25 7.55 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml ERROR: EXCEPTION 18.97 15.77 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 11.05 7.82 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 10.07 7.17 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml ERROR: EXCEPTION 17.80 11.69 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml ERROR: EXCEPTION 13.64 10.38 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 9.55 6.77 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml ERROR: EXCEPTION 12.83 9.73 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 11.69 8.70 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml ERROR: EXCEPTION 12.92 9.18 None ---------------------------------------------------------------------------------------------------------------------------- Run set 2 done 101978.62 13946.57 - Automizer AcceleratedInterpolation Jordan.reach-svcomp-all Run set 3 of 3 with options '--force-no-wrapper -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.03 5.75 None loops/array-2.yml false(unreach-call) 6.20 3.69 None loops/bubble_sort-1.yml true 5.42 3.14 None loops/bubble_sort-2.yml false(unreach-call) 13.83 7.80 None loops/compact.yml TIMEOUT 900.42 721.53 None loops/count_up_down-1.yml TIMEOUT 900.45 878.50 None loops/count_up_down-2.yml false(unreach-call) 5.65 3.49 None loops/eureka_01-1.yml false(unreach-call) 40.93 22.76 None loops/eureka_01-2.yml TIMEOUT 900.42 839.29 None loops/eureka_05.yml TIMEOUT 901.56 827.55 None loops/for_bounded_loop1.yml true 11.15 6.68 None loops/for_infinite_loop_1.yml true 5.94 3.84 None loops/for_infinite_loop_2.yml true 6.84 4.35 None loops/heavy-1.yml TIMEOUT 900.38 889.87 None loops/heavy-2.yml TIMEOUT 900.40 889.14 None loops/insertion_sort-1.yml false(unreach-call) 110.60 76.95 None loops/insertion_sort-2.yml TIMEOUT 900.78 826.05 None loops/invert_string-1.yml false(unreach-call) 13.67 8.21 None loops/invert_string-3.yml true 39.39 28.58 None loops/linear_sea.ch.yml TIMEOUT 900.47 876.59 None loops/linear_search.yml TIMEOUT 900.42 883.18 None loops/lu.cmp.yml true 11.59 6.29 None loops/ludcmp.yml UNKNOWN: OverapproxCex 12.51 7.16 None loops/matrix-1.yml unknown 6.91 4.07 None loops/matrix-2.yml unknown 6.40 4.27 None loops/n.c11.yml true 11.09 6.38 None loops/n.c24.yml TIMEOUT 901.02 749.47 None loops/n.c40.yml true 8.93 5.04 None loops/nec11.yml false(unreach-call) 6.63 4.62 None loops/nec20.yml false(unreach-call) 8.72 5.37 None loops/nec40.yml true 8.37 5.35 None loops/s3.yml TIMEOUT 900.41 884.47 None loops/string-1.yml true 39.17 22.87 None loops/string-2.yml UNKNOWN: OverapproxCex 7.75 4.89 None loops/sum01-1.yml TIMEOUT 900.44 869.97 None loops/sum01-2.yml TIMEOUT 900.36 783.09 None loops/sum01_bug02.yml false(unreach-call) 10.96 6.34 None loops/sum01_bug02_sum01_bug02_base.case.yml TIMEOUT 900.20 796.89 None loops/sum03-1.yml TIMEOUT 900.57 874.16 None loops/sum03-2.yml true 12.43 6.86 None loops/sum04-1.yml true 27.70 14.88 None loops/sum04-2.yml true 30.68 17.07 None loops/sum_array-1.yml false(unreach-call) 11.45 6.67 None loops/sum_array-2.yml TIMEOUT 901.03 795.85 None loops/terminator_01.yml false(unreach-call) 6.83 4.49 None loops/terminator_02-1.yml false(unreach-call) 6.38 3.98 None loops/terminator_02-2.yml true 6.75 3.98 None loops/terminator_03-1.yml false(unreach-call) 6.83 4.36 None loops/terminator_03-2.yml true 6.54 4.14 None loops/trex01-1.yml false(unreach-call) 5.95 3.57 None loops/trex01-2.yml true 8.61 4.90 None loops/trex02-1.yml true 10.03 5.79 None loops/trex02-2.yml false(unreach-call) 6.71 3.73 None loops/trex03-1.yml false(unreach-call) 6.15 3.54 None loops/trex03-2.yml true 6.60 3.83 None loops/trex04.yml true 7.78 4.65 None loops/veris.c_NetBSD-libc_loop.yml true 11.95 6.74 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 8.55 5.16 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 8.02 4.88 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 7.36 4.44 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml unknown 11.57 6.57 None loops/vogal-1.yml TIMEOUT 900.87 823.93 None loops/vogal-2.yml false(unreach-call) 638.05 577.00 None loops/while_infinite_loop_1.yml true 6.48 3.70 None loops/while_infinite_loop_2.yml true 6.08 3.88 None loops/while_infinite_loop_3.yml true 6.50 3.76 None loops/while_infinite_loop_4.yml false(unreach-call) 5.78 3.33 None loop-acceleration/array_1-1.yml TIMEOUT 900.30 788.57 None loop-acceleration/array_1-2.yml TIMEOUT 900.52 759.38 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.74 736.50 None loop-acceleration/array_2-1.yml TIMEOUT 900.72 755.69 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.66 776.44 None loop-acceleration/array_2-2.yml TIMEOUT 900.46 870.35 None loop-acceleration/array_3-1.yml true 7.41 4.75 None loop-acceleration/array_3-2.yml TIMEOUT 900.32 792.63 None loop-acceleration/array_4.yml TIMEOUT 900.60 778.49 None loop-acceleration/const_1-1.yml true 8.38 5.41 None loop-acceleration/const_1-2.yml false(unreach-call) 7.52 4.86 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.51 865.64 None loop-acceleration/diamond_1-2.yml false(unreach-call) 7.98 5.12 None loop-acceleration/diamond_2-2.yml unknown 10.13 6.29 None loop-acceleration/functions_1-1.yml TIMEOUT 900.50 869.66 None loop-acceleration/functions_1-2.yml false(unreach-call) 7.80 4.64 None loop-acceleration/multivar_1-1.yml true 8.56 5.26 None loop-acceleration/multivar_1-2.yml false(unreach-call) 6.82 4.34 None loop-acceleration/nested_1-1.yml TIMEOUT 900.67 771.94 None loop-acceleration/nested_1-2.yml false(unreach-call) 37.15 19.68 None loop-acceleration/overflow_1-1.yml true 39.75 30.63 None loop-acceleration/phases_1-1.yml TIMEOUT 900.33 787.19 None loop-acceleration/phases_1-2.yml TIMEOUT 900.50 758.01 None loop-acceleration/phases_2-1.yml false(unreach-call) 5.90 3.64 None loop-acceleration/phases_2-2.yml TIMEOUT 900.64 876.84 None loop-acceleration/simple_1-1.yml false(unreach-call) 10.82 5.86 None loop-acceleration/simple_1-2.yml true 12.15 6.88 None loop-acceleration/simple_2-1.yml true 13.59 7.76 None loop-acceleration/simple_2-2.yml false(unreach-call) 5.52 3.18 None loop-acceleration/simple_3-1.yml false(unreach-call) 7.22 4.32 None loop-acceleration/simple_3-2.yml true 13.25 7.55 None loop-acceleration/simple_4-1.yml false(unreach-call) 7.73 4.77 None loop-acceleration/simple_4-2.yml true 30.90 25.27 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 8.87 4.97 None loop-acceleration/underapprox_1-2.yml true 16.43 10.05 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 12.08 7.06 None loop-acceleration/underapprox_2-2.yml true 9.73 5.61 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.86 737.23 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 6.05 3.53 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.83 759.89 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.98 810.01 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 14.41 8.93 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 17.29 10.06 None loop-crafted/simple_array_index_value_4.yml true 15.89 8.85 None loop-crafted/simple_vardep_1.yml true 7.30 4.15 None loop-crafted/simple_vardep_2.yml true 7.69 4.50 None loop-invgen/MADWiFi-encode_ie_ok.yml true 127.72 119.15 None loop-invgen/NetBSD_loop.yml true 10.15 5.99 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 23.92 14.38 None loop-invgen/SpamAssassin-loop.yml true 17.86 9.86 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 27.61 16.59 None loop-invgen/apache-escape-absolute.yml true 15.88 8.93 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 26.48 15.49 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 69.54 44.76 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 94.82 68.17 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 20.01 11.58 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 21.67 12.12 None loop-invgen/apache-get-tag.yml true 15.74 9.04 None loop-invgen/down.yml TIMEOUT 900.92 817.53 None loop-invgen/fragtest_simple.yml true 11.85 6.71 None loop-invgen/half_2.yml TIMEOUT 900.42 873.40 None loop-invgen/heapsort.yml true 131.74 99.67 None loop-invgen/id_build.i.p+nlh-reducer.yml true 21.47 13.10 None loop-invgen/id_build.i.p+sep-reducer.yml true 22.51 14.39 None loop-invgen/id_build.i.v+lhb-reducer.yml true 8.41 4.87 None loop-invgen/id_build.yml true 7.52 4.61 None loop-invgen/id_trans.yml false(unreach-call) 7.50 4.93 None loop-invgen/large_const.yml unknown 7.01 4.03 None loop-invgen/nest-if3.yml true 7.40 5.02 None loop-invgen/nested6.yml true 51.27 46.49 None loop-invgen/nested9.yml true 8.82 5.19 None loop-invgen/sendmail-close-angle.yml true 45.29 33.28 None loop-invgen/seq-3.yml TIMEOUT 900.56 865.48 None loop-invgen/string_concat-noarr.yml TIMEOUT 901.02 811.47 None loop-invgen/up.yml TIMEOUT 900.70 779.02 None loop-lit/afnp2014.yml unknown 23.46 19.78 None loop-lit/bhmr2007.yml true 15.73 8.83 None loop-lit/cggmp2005.yml true 10.12 6.71 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.75 845.99 None loop-lit/cggmp2005b.yml unknown 12.42 9.17 None loop-lit/css2003.yml true 7.63 5.08 None loop-lit/ddlm2013.yml unknown 8.54 5.22 None loop-lit/gcnr2008.yml false(unreach-call) 5.77 3.66 None loop-lit/gj2007.c.i.p+lhb-reducer.yml TIMEOUT 900.54 858.54 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TIMEOUT 900.32 782.45 None loop-lit/gj2007.yml TIMEOUT 900.65 752.96 None loop-lit/gj2007b.yml true 15.31 8.62 None loop-lit/gr2006.yml true 20.05 11.01 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml unknown 158.76 151.42 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml unknown 184.53 175.86 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 96.01 89.85 None loop-lit/gsv2008.yml unknown 127.85 123.33 None loop-lit/hhk2008.yml true 7.62 4.53 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 12.25 7.03 None loop-lit/jm2006.yml TIMEOUT 900.74 842.96 None loop-lit/jm2006_variant.yml TIMEOUT 900.73 846.60 None loop-lit/mcmillan2006.yml TIMEOUT 900.42 755.97 None loop-new/count_by_1.yml TIMEOUT 900.19 781.61 None loop-new/count_by_1_variant.yml true 13.95 7.76 None loop-new/count_by_2.yml TIMEOUT 900.63 746.71 None loop-new/count_by_k.yml unknown 9.49 6.26 None loop-new/count_by_nondet.yml true 13.54 7.54 None loop-new/gauss_sum.i.p+cfa-reducer.yml unknown 7.10 4.63 None loop-new/gauss_sum.i.p+lhb-reducer.yml unknown 6.66 4.09 None loop-new/gauss_sum.i.v+cfa-reducer.yml unknown 7.58 5.51 None loop-new/gauss_sum.yml unknown 7.35 4.35 None loop-new/half.yml TIMEOUT 900.86 838.49 None loop-new/nested-1.yml TIMEOUT 900.07 799.94 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.17 3.55 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.06 3.48 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 5.45 3.59 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 202.85 142.28 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TIMEOUT 900.39 882.84 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 232.24 195.46 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 45.53 29.24 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.79 3.52 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TIMEOUT 900.61 873.61 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 10.32 6.47 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 10.11 6.82 None loop-industry-pattern/mod3.yml TIMEOUT 900.44 883.02 None loop-industry-pattern/nested-3.yml TIMEOUT 900.60 773.20 None loop-industry-pattern/ofuf_1.yml true 22.95 12.86 None loop-industry-pattern/ofuf_2.yml unknown 14.07 8.01 None loop-industry-pattern/ofuf_3.yml unknown 14.27 8.43 None loop-industry-pattern/ofuf_4.yml true 23.25 13.40 None loop-industry-pattern/ofuf_5.yml true 24.42 13.95 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.61 851.60 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.64 777.85 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.92 740.55 None loops-crafted-1/Mono4_1.yml TIMEOUT 901.10 735.32 None loops-crafted-1/Mono5_1.yml false(unreach-call) 48.55 39.36 None loops-crafted-1/Mono6_1.yml false(unreach-call) 33.55 28.31 None loops-crafted-1/discover_list.yml TIMEOUT 900.79 779.80 None loops-crafted-1/iftelse.yml true 11.02 6.86 None loops-crafted-1/in-de20.yml TIMEOUT 900.42 881.09 None loops-crafted-1/in-de31.yml TIMEOUT 900.45 760.90 None loops-crafted-1/in-de32.yml TIMEOUT 900.43 881.27 None loops-crafted-1/in-de41.yml TIMEOUT 900.36 888.76 None loops-crafted-1/in-de42.yml TIMEOUT 901.43 779.99 None loops-crafted-1/in-de51.yml TIMEOUT 900.36 888.93 None loops-crafted-1/in-de52.yml TIMEOUT 900.43 881.58 None loops-crafted-1/in-de61.yml TIMEOUT 900.47 880.19 None loops-crafted-1/in-de62.yml TIMEOUT 900.51 884.64 None loops-crafted-1/loopv1.yml true 8.32 4.79 None loops-crafted-1/loopv2.yml true 10.37 5.92 None loops-crafted-1/loopv3.yml true 299.67 276.71 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.58 858.18 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.04 799.82 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 901.10 757.96 None loops-crafted-1/mono-crafted_12.yml true 47.38 42.78 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.98 864.41 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.53 774.26 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.79 803.25 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 901.00 750.63 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.35 783.29 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.05 806.94 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.88 796.45 None loops-crafted-1/nested3-1.yml TIMEOUT 900.51 867.49 None loops-crafted-1/nested3-2.yml false(unreach-call) 9.80 5.60 None loops-crafted-1/nested5-1.yml true 29.17 15.94 None loops-crafted-1/nested5-2.yml false(unreach-call) 9.15 5.42 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 901.05 789.61 None loops-crafted-1/nested_delay_notd2.yml TIMEOUT 900.54 771.76 None loops-crafted-1/net_reset.yml true 13.91 8.94 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.46 871.45 None loops-crafted-1/sum_natnum.yml unknown 9.66 5.52 None loops-crafted-1/sumt2.yml TIMEOUT 900.42 875.74 None loops-crafted-1/sumt3.yml TIMEOUT 900.53 863.76 None loops-crafted-1/sumt4.yml TIMEOUT 902.44 638.70 None loops-crafted-1/sumt5.yml TIMEOUT 900.39 888.16 None loops-crafted-1/sumt6.yml TIMEOUT 900.41 895.50 None loops-crafted-1/sumt7.yml TIMEOUT 900.39 891.08 None loops-crafted-1/sumt8.yml true 15.55 9.50 None loops-crafted-1/sumt9.yml TIMEOUT 900.44 888.59 None loops-crafted-1/theatreSquare.yml unknown 11.60 6.71 None loops-crafted-1/vnew1.yml TIMEOUT 900.46 881.32 None loops-crafted-1/vnew2.yml unknown 8.50 4.90 None loops-crafted-1/watermelon.yml TIMEOUT 900.53 875.44 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 6.69 5.50 None loop-invariants/const.yml true 8.14 6.19 None loop-invariants/eq1.yml true 7.87 4.79 None loop-invariants/eq2.yml true 8.52 5.97 None loop-invariants/even.yml true 8.73 5.30 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.62 862.07 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 8.75 6.87 None loop-invariants/mod4.yml true 10.23 8.47 None loop-invariants/odd.yml true 10.41 6.21 None loop-simple/deep-nested.yml TIMEOUT 900.85 845.94 None loop-simple/nested_1.yml true 13.47 7.79 None loop-simple/nested_1b.yml false(unreach-call) 5.33 3.56 None loop-simple/nested_2.yml true 89.42 75.18 None loop-simple/nested_3.yml TIMEOUT 901.24 722.54 None loop-simple/nested_4.yml TIMEOUT 900.55 870.43 None loop-simple/nested_5.yml TIMEOUT 900.71 854.69 None loop-simple/nested_6.yml TIMEOUT 900.89 740.55 None loop-zilu/benchmark02_linear.yml true 7.66 4.50 None loop-zilu/benchmark04_conjunctive.yml true 7.78 5.09 None loop-zilu/benchmark05_conjunctive.yml true 12.36 11.98 None loop-zilu/benchmark09_conjunctive.yml true 8.39 5.83 None loop-zilu/benchmark10_conjunctive.yml unknown 8.92 6.41 None loop-zilu/benchmark11_linear.yml true 8.95 5.41 None loop-zilu/benchmark14_linear.yml true 6.58 4.51 None loop-zilu/benchmark17_conjunctive.yml true 8.76 5.24 None loop-zilu/benchmark18_conjunctive.yml true 7.22 4.90 None loop-zilu/benchmark19_conjunctive.yml TIMEOUT 900.90 844.62 None loop-zilu/benchmark20_conjunctive.yml unknown 17.66 14.90 None loop-zilu/benchmark23_conjunctive.yml TIMEOUT 900.47 872.15 None loop-zilu/benchmark25_linear.yml true 16.43 9.99 None loop-zilu/benchmark26_linear.yml true 8.77 5.32 None loop-zilu/benchmark32_linear.yml true 8.25 5.11 None loop-zilu/benchmark33_linear.yml true 7.86 4.48 None loop-zilu/benchmark34_conjunctive.yml TIMEOUT 900.87 854.45 None loop-zilu/benchmark35_linear.yml true 9.08 5.40 None loop-zilu/benchmark37_conjunctive.yml true 8.56 5.24 None loop-zilu/benchmark43_conjunctive.yml true 12.35 10.88 None loop-zilu/benchmark51_polynomial.yml true 7.17 4.08 None loop-zilu/benchmark52_polynomial.yml unknown 5.81 3.38 None verifythis/duplets.yml true 74.61 64.36 None verifythis/elimination_max.yml true 10.70 5.93 None verifythis/lcp.yml ERROR: EXCEPTION 13.31 7.70 None verifythis/prefixsum_iter.yml OUT OF MEMORY 592.36 486.24 None verifythis/tree_del_iter.yml false(unreach-call) 15.96 9.44 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 16.59 9.68 None nla-digbench/bresenham-ll.yml unknown 6.28 3.70 None nla-digbench/cohencu-ll.yml unknown 9.48 5.59 None nla-digbench/cohendiv-ll.yml unknown 7.90 4.89 None nla-digbench/dijkstra-u.yml unknown 63.84 61.23 None nla-digbench/divbin.yml unknown 9.22 5.33 None nla-digbench/divbin2.yml unknown 8.27 5.07 None nla-digbench/egcd-ll.yml unknown 8.76 5.33 None nla-digbench/egcd2-ll.yml unknown 8.97 5.39 None nla-digbench/egcd3-ll.yml unknown 9.37 5.57 None nla-digbench/fermat1-ll.yml unknown 7.74 4.70 None nla-digbench/fermat2-ll.yml unknown 7.55 4.69 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 9.09 5.32 None nla-digbench/freire2.yml unknown 8.21 5.00 None nla-digbench/geo1-ll.yml unknown 9.65 5.64 None nla-digbench/geo1-u.yml unknown 7.20 4.95 None nla-digbench/geo2-ll.yml unknown 8.74 5.22 None nla-digbench/geo3-ll.yml unknown 6.79 3.80 None nla-digbench/hard-ll.yml unknown 9.44 5.67 None nla-digbench/hard-u.yml unknown 8.67 4.93 None nla-digbench/hard2.yml unknown 10.42 6.02 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.13 3.22 None nla-digbench/lcm1.yml unknown 8.32 4.90 None nla-digbench/lcm2.yml unknown 11.47 6.46 None nla-digbench/mannadiv.yml unknown 8.31 5.09 None nla-digbench/prod4br-ll.yml unknown 8.63 5.11 None nla-digbench/prodbin-ll.yml unknown 8.74 5.20 None nla-digbench/ps2-ll.yml unknown 8.93 5.16 None nla-digbench/ps3-ll.yml unknown 6.94 3.93 None nla-digbench/ps4-ll.yml unknown 8.38 5.81 None nla-digbench/ps5-ll.yml unknown 8.04 5.11 None nla-digbench/ps6-ll.yml unknown 18.61 14.16 None nla-digbench/sqrt1-ll.yml unknown 9.14 5.51 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml unknown 7.95 4.90 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml unknown 8.50 7.34 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml unknown 7.21 4.10 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml unknown 7.70 4.87 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml unknown 9.67 5.55 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml unknown 8.44 5.01 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml unknown 7.43 4.58 None nla-digbench-scaling/bresenham-ll_valuebound1.yml unknown 8.70 5.67 None nla-digbench-scaling/bresenham-ll_valuebound10.yml unknown 6.76 3.95 None nla-digbench-scaling/bresenham-ll_valuebound100.yml unknown 8.46 5.33 None nla-digbench-scaling/bresenham-ll_valuebound2.yml unknown 7.34 4.48 None nla-digbench-scaling/bresenham-ll_valuebound20.yml unknown 7.86 4.85 None nla-digbench-scaling/bresenham-ll_valuebound5.yml unknown 7.51 4.58 None nla-digbench-scaling/bresenham-ll_valuebound50.yml unknown 6.81 4.11 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml unknown 8.47 5.28 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml unknown 11.71 6.71 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml unknown 10.30 5.88 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml unknown 10.01 6.10 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml unknown 8.87 5.80 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml unknown 10.82 6.36 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml unknown 8.67 4.92 None nla-digbench-scaling/cohencu-ll_valuebound1.yml unknown 10.19 5.82 None nla-digbench-scaling/cohencu-ll_valuebound10.yml unknown 13.35 7.28 None nla-digbench-scaling/cohencu-ll_valuebound100.yml unknown 9.93 6.31 None nla-digbench-scaling/cohencu-ll_valuebound2.yml unknown 7.89 4.93 None nla-digbench-scaling/cohencu-ll_valuebound20.yml unknown 10.46 6.10 None nla-digbench-scaling/cohencu-ll_valuebound5.yml unknown 8.18 5.07 None nla-digbench-scaling/cohencu-ll_valuebound50.yml unknown 9.92 5.65 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml unknown 6.88 4.35 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml unknown 8.82 5.44 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml unknown 11.12 6.37 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml unknown 7.41 4.25 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml unknown 8.55 5.09 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml unknown 8.32 5.09 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml unknown 6.59 4.11 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml unknown 8.42 5.96 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml unknown 7.67 4.72 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml unknown 10.79 6.32 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml unknown 8.86 5.37 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml unknown 6.82 5.37 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml unknown 8.89 5.32 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml unknown 8.03 4.91 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml unknown 13.76 12.53 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml unknown 13.69 9.76 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml unknown 17.42 12.30 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml unknown 12.17 11.07 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml unknown 13.42 10.09 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml unknown 10.33 7.01 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml unknown 16.19 12.00 None nla-digbench-scaling/dijkstra-u_valuebound1.yml unknown 67.71 62.20 None nla-digbench-scaling/dijkstra-u_valuebound10.yml unknown 58.93 55.00 None nla-digbench-scaling/dijkstra-u_valuebound100.yml unknown 56.56 49.83 None nla-digbench-scaling/dijkstra-u_valuebound2.yml unknown 44.05 39.78 None nla-digbench-scaling/dijkstra-u_valuebound20.yml unknown 89.14 80.14 None nla-digbench-scaling/dijkstra-u_valuebound5.yml unknown 72.62 65.79 None nla-digbench-scaling/dijkstra-u_valuebound50.yml unknown 53.57 48.89 None nla-digbench-scaling/divbin2_unwindbound1.yml unknown 8.48 4.77 None nla-digbench-scaling/divbin2_unwindbound10.yml unknown 8.39 7.76 None nla-digbench-scaling/divbin2_unwindbound100.yml unknown 9.42 5.11 None nla-digbench-scaling/divbin2_unwindbound2.yml unknown 7.89 4.73 None nla-digbench-scaling/divbin2_unwindbound20.yml unknown 8.65 5.11 None nla-digbench-scaling/divbin2_unwindbound5.yml unknown 8.56 5.26 None nla-digbench-scaling/divbin2_unwindbound50.yml unknown 6.83 3.93 None nla-digbench-scaling/divbin2_valuebound1.yml unknown 8.11 4.93 None nla-digbench-scaling/divbin2_valuebound10.yml unknown 7.98 4.75 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 6.18 3.83 None nla-digbench-scaling/divbin2_valuebound2.yml unknown 7.23 4.23 None nla-digbench-scaling/divbin2_valuebound20.yml unknown 6.19 4.50 None nla-digbench-scaling/divbin2_valuebound5.yml unknown 6.54 3.84 None nla-digbench-scaling/divbin2_valuebound50.yml unknown 7.62 5.43 None nla-digbench-scaling/divbin_unwindbound1.yml unknown 8.67 4.96 None nla-digbench-scaling/divbin_unwindbound10.yml unknown 9.01 5.26 None nla-digbench-scaling/divbin_unwindbound100.yml unknown 7.34 4.25 None nla-digbench-scaling/divbin_unwindbound2.yml unknown 6.54 5.94 None nla-digbench-scaling/divbin_unwindbound20.yml unknown 8.14 5.89 None nla-digbench-scaling/divbin_unwindbound5.yml unknown 8.41 4.96 None nla-digbench-scaling/divbin_unwindbound50.yml unknown 9.58 5.24 None nla-digbench-scaling/divbin_valuebound1.yml unknown 7.60 4.36 None nla-digbench-scaling/divbin_valuebound10.yml unknown 7.22 4.68 None nla-digbench-scaling/divbin_valuebound100.yml unknown 6.47 4.03 None nla-digbench-scaling/divbin_valuebound2.yml unknown 7.96 5.59 None nla-digbench-scaling/divbin_valuebound20.yml unknown 8.16 5.01 None nla-digbench-scaling/divbin_valuebound5.yml unknown 8.04 4.87 None nla-digbench-scaling/divbin_valuebound50.yml unknown 10.12 6.19 None nla-digbench-scaling/egcd-ll_unwindbound1.yml unknown 7.35 4.21 None nla-digbench-scaling/egcd-ll_unwindbound10.yml unknown 7.02 4.93 None nla-digbench-scaling/egcd-ll_unwindbound100.yml unknown 6.71 4.89 None nla-digbench-scaling/egcd-ll_unwindbound2.yml unknown 8.88 5.17 None nla-digbench-scaling/egcd-ll_unwindbound20.yml unknown 8.78 5.41 None nla-digbench-scaling/egcd-ll_unwindbound5.yml unknown 8.56 5.25 None nla-digbench-scaling/egcd-ll_unwindbound50.yml unknown 9.71 7.07 None nla-digbench-scaling/egcd-ll_valuebound1.yml unknown 10.53 6.12 None nla-digbench-scaling/egcd-ll_valuebound10.yml unknown 7.00 6.72 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 7.03 6.17 None nla-digbench-scaling/egcd-ll_valuebound2.yml unknown 8.98 5.29 None nla-digbench-scaling/egcd-ll_valuebound20.yml unknown 8.74 5.20 None nla-digbench-scaling/egcd-ll_valuebound5.yml unknown 8.15 4.59 None nla-digbench-scaling/egcd-ll_valuebound50.yml unknown 8.14 5.97 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml unknown 10.38 5.93 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml unknown 6.56 4.98 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml unknown 7.21 4.32 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml unknown 7.05 4.11 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml unknown 9.01 5.38 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml unknown 8.52 5.09 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml unknown 8.66 5.05 None nla-digbench-scaling/egcd2-ll_valuebound1.yml unknown 11.98 6.70 None nla-digbench-scaling/egcd2-ll_valuebound10.yml unknown 7.02 4.13 None nla-digbench-scaling/egcd2-ll_valuebound100.yml unknown 6.94 3.95 None nla-digbench-scaling/egcd2-ll_valuebound2.yml unknown 7.05 4.06 None nla-digbench-scaling/egcd2-ll_valuebound20.yml unknown 9.02 5.59 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 9.31 5.52 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 6.90 4.10 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml unknown 6.82 4.47 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml unknown 8.44 5.40 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml unknown 6.97 4.14 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml unknown 11.69 6.89 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml unknown 8.76 5.09 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml unknown 9.44 5.62 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml unknown 7.00 5.18 None nla-digbench-scaling/egcd3-ll_valuebound1.yml unknown 6.68 5.35 None nla-digbench-scaling/egcd3-ll_valuebound10.yml unknown 8.37 4.98 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 8.94 6.20 None nla-digbench-scaling/egcd3-ll_valuebound2.yml unknown 8.74 4.86 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 9.38 5.55 None nla-digbench-scaling/egcd3-ll_valuebound5.yml unknown 11.37 6.54 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 7.65 6.43 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml unknown 7.33 4.36 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml unknown 6.31 5.29 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml unknown 7.69 5.92 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml unknown 7.69 4.26 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml unknown 6.74 3.89 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml unknown 7.82 4.79 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml unknown 6.27 4.62 None nla-digbench-scaling/fermat1-ll_valuebound1.yml unknown 10.04 5.75 None nla-digbench-scaling/fermat1-ll_valuebound10.yml unknown 6.96 4.63 None nla-digbench-scaling/fermat1-ll_valuebound100.yml unknown 8.55 5.25 None nla-digbench-scaling/fermat1-ll_valuebound2.yml unknown 8.03 4.74 None nla-digbench-scaling/fermat1-ll_valuebound20.yml unknown 7.26 4.86 None nla-digbench-scaling/fermat1-ll_valuebound5.yml unknown 6.70 4.01 None nla-digbench-scaling/fermat1-ll_valuebound50.yml unknown 6.60 4.19 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml unknown 5.59 3.82 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml unknown 7.36 4.38 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml unknown 7.58 4.80 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml unknown 5.85 3.79 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml unknown 7.58 4.54 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml unknown 5.53 3.63 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml unknown 5.88 3.73 None nla-digbench-scaling/fermat2-ll_valuebound1.yml unknown 6.38 4.11 None nla-digbench-scaling/fermat2-ll_valuebound10.yml unknown 8.27 4.82 None nla-digbench-scaling/fermat2-ll_valuebound100.yml unknown 6.79 3.96 None nla-digbench-scaling/fermat2-ll_valuebound2.yml unknown 6.48 3.74 None nla-digbench-scaling/fermat2-ll_valuebound20.yml unknown 8.42 5.70 None nla-digbench-scaling/fermat2-ll_valuebound5.yml unknown 8.33 5.15 None nla-digbench-scaling/fermat2-ll_valuebound50.yml unknown 6.69 5.79 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 7.04 5.30 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 8.06 4.83 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 9.13 5.33 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 6.55 3.79 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 9.44 5.51 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 8.48 5.95 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 7.09 5.95 None nla-digbench-scaling/freire1_valuebound1.yml ERROR: EXCEPTION 6.32 5.09 None nla-digbench-scaling/freire1_valuebound10.yml ERROR: EXCEPTION 6.76 4.35 None nla-digbench-scaling/freire1_valuebound100.yml ERROR: EXCEPTION 6.69 4.16 None nla-digbench-scaling/freire1_valuebound2.yml ERROR: EXCEPTION 10.81 6.17 None nla-digbench-scaling/freire1_valuebound20.yml ERROR: EXCEPTION 10.27 5.85 None nla-digbench-scaling/freire1_valuebound5.yml ERROR: EXCEPTION 8.15 4.67 None nla-digbench-scaling/freire1_valuebound50.yml ERROR: EXCEPTION 6.26 4.46 None nla-digbench-scaling/freire2_unwindbound1.yml unknown 8.01 5.00 None nla-digbench-scaling/freire2_unwindbound10.yml unknown 8.63 5.17 None nla-digbench-scaling/freire2_unwindbound100.yml unknown 6.55 5.17 None nla-digbench-scaling/freire2_unwindbound2.yml unknown 7.32 4.40 None nla-digbench-scaling/freire2_unwindbound20.yml unknown 11.30 6.39 None nla-digbench-scaling/freire2_unwindbound5.yml unknown 12.16 6.99 None nla-digbench-scaling/freire2_unwindbound50.yml unknown 8.56 5.05 None nla-digbench-scaling/freire2_valuebound1.yml ERROR: EXCEPTION 6.41 4.81 None nla-digbench-scaling/freire2_valuebound10.yml ERROR: EXCEPTION 7.63 5.48 None nla-digbench-scaling/freire2_valuebound100.yml ERROR: EXCEPTION 5.88 3.62 None nla-digbench-scaling/freire2_valuebound2.yml ERROR: EXCEPTION 7.69 4.77 None nla-digbench-scaling/freire2_valuebound20.yml ERROR: EXCEPTION 5.85 4.40 None nla-digbench-scaling/freire2_valuebound5.yml ERROR: EXCEPTION 7.55 4.62 None nla-digbench-scaling/freire2_valuebound50.yml ERROR: EXCEPTION 5.96 3.73 None nla-digbench-scaling/geo1-ll_unwindbound1.yml unknown 5.99 3.49 None nla-digbench-scaling/geo1-ll_unwindbound10.yml unknown 9.72 5.57 None nla-digbench-scaling/geo1-ll_unwindbound100.yml unknown 12.22 6.95 None nla-digbench-scaling/geo1-ll_unwindbound2.yml unknown 6.38 4.08 None nla-digbench-scaling/geo1-ll_unwindbound20.yml unknown 8.38 4.99 None nla-digbench-scaling/geo1-ll_unwindbound5.yml unknown 7.73 4.68 None nla-digbench-scaling/geo1-ll_unwindbound50.yml unknown 6.65 4.04 None nla-digbench-scaling/geo1-ll_valuebound1.yml unknown 6.84 4.12 None nla-digbench-scaling/geo1-ll_valuebound10.yml unknown 8.03 4.61 None nla-digbench-scaling/geo1-ll_valuebound100.yml unknown 6.23 3.65 None nla-digbench-scaling/geo1-ll_valuebound2.yml unknown 9.25 5.39 None nla-digbench-scaling/geo1-ll_valuebound20.yml unknown 7.71 4.65 None nla-digbench-scaling/geo1-ll_valuebound5.yml unknown 7.65 4.31 None nla-digbench-scaling/geo1-ll_valuebound50.yml unknown 6.18 3.59 None nla-digbench-scaling/geo1-u_unwindbound1.yml unknown 11.35 6.30 None nla-digbench-scaling/geo1-u_unwindbound10.yml unknown 6.15 3.84 None nla-digbench-scaling/geo1-u_unwindbound100.yml unknown 6.03 3.63 None nla-digbench-scaling/geo1-u_unwindbound2.yml unknown 7.74 4.74 None nla-digbench-scaling/geo1-u_unwindbound20.yml unknown 6.25 3.54 None nla-digbench-scaling/geo1-u_unwindbound5.yml unknown 7.32 4.13 None nla-digbench-scaling/geo1-u_unwindbound50.yml unknown 8.06 4.75 None nla-digbench-scaling/geo1-u_valuebound1.yml unknown 5.73 3.60 None nla-digbench-scaling/geo1-u_valuebound10.yml unknown 6.15 3.61 None nla-digbench-scaling/geo1-u_valuebound100.yml unknown 6.24 3.54 None nla-digbench-scaling/geo1-u_valuebound2.yml unknown 7.76 4.85 None nla-digbench-scaling/geo1-u_valuebound20.yml unknown 13.07 7.22 None nla-digbench-scaling/geo1-u_valuebound5.yml unknown 6.56 4.02 None nla-digbench-scaling/geo1-u_valuebound50.yml unknown 6.48 4.09 None nla-digbench-scaling/geo2-ll_unwindbound1.yml unknown 7.58 4.70 None nla-digbench-scaling/geo2-ll_unwindbound10.yml unknown 6.68 3.82 None nla-digbench-scaling/geo2-ll_unwindbound100.yml unknown 8.13 4.61 None nla-digbench-scaling/geo2-ll_unwindbound2.yml unknown 5.89 3.50 None nla-digbench-scaling/geo2-ll_unwindbound20.yml unknown 6.71 3.87 None nla-digbench-scaling/geo2-ll_unwindbound5.yml unknown 7.68 4.58 None nla-digbench-scaling/geo2-ll_unwindbound50.yml unknown 6.58 4.05 None nla-digbench-scaling/geo2-ll_valuebound1.yml unknown 5.78 4.13 None nla-digbench-scaling/geo2-ll_valuebound10.yml unknown 5.98 3.37 None nla-digbench-scaling/geo2-ll_valuebound100.yml unknown 7.39 4.42 None nla-digbench-scaling/geo2-ll_valuebound2.yml unknown 6.69 3.89 None nla-digbench-scaling/geo2-ll_valuebound20.yml unknown 10.16 5.89 None nla-digbench-scaling/geo2-ll_valuebound5.yml unknown 10.03 5.81 None nla-digbench-scaling/geo2-ll_valuebound50.yml unknown 7.74 4.73 None nla-digbench-scaling/geo3-ll_unwindbound1.yml unknown 5.71 3.68 None nla-digbench-scaling/geo3-ll_unwindbound10.yml unknown 6.11 3.70 None nla-digbench-scaling/geo3-ll_unwindbound100.yml unknown 7.19 4.51 None nla-digbench-scaling/geo3-ll_unwindbound2.yml unknown 5.83 3.64 None nla-digbench-scaling/geo3-ll_unwindbound20.yml unknown 6.27 4.50 None nla-digbench-scaling/geo3-ll_unwindbound5.yml unknown 7.17 5.30 None nla-digbench-scaling/geo3-ll_unwindbound50.yml unknown 9.07 5.20 None nla-digbench-scaling/geo3-ll_valuebound1.yml unknown 7.80 4.39 None nla-digbench-scaling/geo3-ll_valuebound10.yml unknown 6.10 3.61 None nla-digbench-scaling/geo3-ll_valuebound100.yml unknown 5.99 3.95 None nla-digbench-scaling/geo3-ll_valuebound2.yml unknown 9.80 5.55 None nla-digbench-scaling/geo3-ll_valuebound20.yml unknown 6.41 4.14 None nla-digbench-scaling/geo3-ll_valuebound5.yml unknown 7.72 4.36 None nla-digbench-scaling/geo3-ll_valuebound50.yml unknown 6.50 4.70 None nla-digbench-scaling/hard-ll_unwindbound1.yml unknown 8.67 5.22 None nla-digbench-scaling/hard-ll_unwindbound10.yml unknown 7.52 4.58 None nla-digbench-scaling/hard-ll_unwindbound100.yml unknown 7.27 4.14 None nla-digbench-scaling/hard-ll_unwindbound2.yml unknown 8.72 4.75 None nla-digbench-scaling/hard-ll_unwindbound20.yml unknown 6.90 4.93 None nla-digbench-scaling/hard-ll_unwindbound5.yml unknown 11.24 6.42 None nla-digbench-scaling/hard-ll_unwindbound50.yml unknown 9.03 5.33 None nla-digbench-scaling/hard-ll_valuebound1.yml unknown 13.42 7.49 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 8.70 5.59 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 9.81 5.94 None nla-digbench-scaling/hard-ll_valuebound2.yml unknown 8.20 4.87 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 8.20 4.69 None nla-digbench-scaling/hard-ll_valuebound5.yml unknown 9.22 5.60 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 8.18 4.53 None nla-digbench-scaling/hard-u_unwindbound1.yml unknown 8.88 5.24 None nla-digbench-scaling/hard-u_unwindbound10.yml unknown 10.89 6.50 None nla-digbench-scaling/hard-u_unwindbound100.yml unknown 7.31 4.61 None nla-digbench-scaling/hard-u_unwindbound2.yml unknown 12.34 6.97 None nla-digbench-scaling/hard-u_unwindbound20.yml unknown 6.79 4.28 None nla-digbench-scaling/hard-u_unwindbound5.yml unknown 7.04 4.50 None nla-digbench-scaling/hard-u_unwindbound50.yml unknown 9.02 5.12 None nla-digbench-scaling/hard-u_valuebound1.yml unknown 8.10 4.73 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 9.11 5.49 None nla-digbench-scaling/hard-u_valuebound100.yml unknown 10.48 6.18 None nla-digbench-scaling/hard-u_valuebound2.yml unknown 8.79 5.93 None nla-digbench-scaling/hard-u_valuebound20.yml unknown 8.35 5.03 None nla-digbench-scaling/hard-u_valuebound5.yml unknown 8.83 5.20 None nla-digbench-scaling/hard-u_valuebound50.yml unknown 12.30 6.98 None nla-digbench-scaling/hard2_unwindbound1.yml unknown 8.31 5.03 None nla-digbench-scaling/hard2_unwindbound10.yml unknown 10.39 6.14 None nla-digbench-scaling/hard2_unwindbound100.yml unknown 15.55 8.61 None nla-digbench-scaling/hard2_unwindbound2.yml unknown 10.48 6.09 None nla-digbench-scaling/hard2_unwindbound20.yml unknown 10.21 5.80 None nla-digbench-scaling/hard2_unwindbound5.yml unknown 7.83 4.82 None nla-digbench-scaling/hard2_unwindbound50.yml unknown 7.79 5.04 None nla-digbench-scaling/hard2_valuebound1.yml unknown 7.84 4.45 None nla-digbench-scaling/hard2_valuebound10.yml unknown 7.46 4.34 None nla-digbench-scaling/hard2_valuebound100.yml unknown 11.95 6.90 None nla-digbench-scaling/hard2_valuebound2.yml unknown 9.80 5.37 None nla-digbench-scaling/hard2_valuebound20.yml unknown 8.20 4.83 None nla-digbench-scaling/hard2_valuebound5.yml unknown 7.74 4.40 None nla-digbench-scaling/hard2_valuebound50.yml unknown 7.89 4.46 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 4.60 3.10 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 5.50 3.40 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 8.88 4.93 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.62 2.84 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 5.48 3.33 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 5.28 3.31 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 5.21 3.05 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 4.52 2.92 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 5.56 3.70 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 6.19 3.63 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 4.72 3.23 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.65 3.15 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 8.23 4.70 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 5.30 3.22 None nla-digbench-scaling/lcm1_unwindbound1.yml unknown 6.80 4.35 None nla-digbench-scaling/lcm1_unwindbound10.yml unknown 7.92 4.73 None nla-digbench-scaling/lcm1_unwindbound100.yml unknown 6.66 4.07 None nla-digbench-scaling/lcm1_unwindbound2.yml unknown 6.81 4.19 None nla-digbench-scaling/lcm1_unwindbound20.yml unknown 6.99 4.28 None nla-digbench-scaling/lcm1_unwindbound5.yml unknown 8.88 5.34 None nla-digbench-scaling/lcm1_unwindbound50.yml unknown 9.92 5.71 None nla-digbench-scaling/lcm1_valuebound1.yml unknown 8.19 4.94 None nla-digbench-scaling/lcm1_valuebound10.yml unknown 10.99 6.79 None nla-digbench-scaling/lcm1_valuebound100.yml unknown 6.44 4.08 None nla-digbench-scaling/lcm1_valuebound2.yml unknown 7.07 4.57 None nla-digbench-scaling/lcm1_valuebound20.yml unknown 7.26 4.35 None nla-digbench-scaling/lcm1_valuebound5.yml unknown 6.49 3.67 None nla-digbench-scaling/lcm1_valuebound50.yml unknown 6.14 3.64 None nla-digbench-scaling/lcm2_unwindbound1.yml unknown 7.67 4.43 None nla-digbench-scaling/lcm2_unwindbound10.yml unknown 10.07 5.97 None nla-digbench-scaling/lcm2_unwindbound100.yml unknown 7.30 5.19 None nla-digbench-scaling/lcm2_unwindbound2.yml unknown 7.66 4.76 None nla-digbench-scaling/lcm2_unwindbound20.yml unknown 6.32 4.10 None nla-digbench-scaling/lcm2_unwindbound5.yml unknown 5.96 3.64 None nla-digbench-scaling/lcm2_unwindbound50.yml unknown 6.31 3.78 None nla-digbench-scaling/lcm2_valuebound1.yml unknown 7.02 4.48 None nla-digbench-scaling/lcm2_valuebound10.yml unknown 8.14 4.79 None nla-digbench-scaling/lcm2_valuebound100.yml unknown 10.35 7.55 None nla-digbench-scaling/lcm2_valuebound2.yml unknown 8.09 4.56 None nla-digbench-scaling/lcm2_valuebound20.yml unknown 6.31 3.74 None nla-digbench-scaling/lcm2_valuebound5.yml unknown 6.74 4.21 None nla-digbench-scaling/lcm2_valuebound50.yml unknown 6.65 4.42 None nla-digbench-scaling/mannadiv_unwindbound1.yml unknown 9.78 5.67 None nla-digbench-scaling/mannadiv_unwindbound10.yml unknown 7.70 4.77 None nla-digbench-scaling/mannadiv_unwindbound100.yml unknown 7.20 4.78 None nla-digbench-scaling/mannadiv_unwindbound2.yml unknown 6.69 4.78 None nla-digbench-scaling/mannadiv_unwindbound20.yml unknown 7.77 4.69 None nla-digbench-scaling/mannadiv_unwindbound5.yml unknown 7.78 4.60 None nla-digbench-scaling/mannadiv_unwindbound50.yml unknown 6.34 3.87 None nla-digbench-scaling/mannadiv_valuebound1.yml unknown 5.72 3.36 None nla-digbench-scaling/mannadiv_valuebound10.yml unknown 6.21 4.03 None nla-digbench-scaling/mannadiv_valuebound100.yml unknown 7.79 4.75 None nla-digbench-scaling/mannadiv_valuebound2.yml unknown 6.77 4.43 None nla-digbench-scaling/mannadiv_valuebound20.yml unknown 6.84 3.96 None nla-digbench-scaling/mannadiv_valuebound5.yml unknown 10.56 6.02 None nla-digbench-scaling/mannadiv_valuebound50.yml unknown 9.07 5.42 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml unknown 7.55 4.78 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml unknown 7.71 4.75 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml unknown 6.16 4.16 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml unknown 6.36 3.88 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml unknown 6.39 3.69 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml unknown 6.69 4.59 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml unknown 8.51 5.57 None nla-digbench-scaling/prod4br-ll_valuebound1.yml unknown 8.06 4.71 None nla-digbench-scaling/prod4br-ll_valuebound10.yml unknown 6.54 3.96 None nla-digbench-scaling/prod4br-ll_valuebound100.yml unknown 7.78 4.34 None nla-digbench-scaling/prod4br-ll_valuebound2.yml unknown 11.64 6.62 None nla-digbench-scaling/prod4br-ll_valuebound20.yml unknown 6.14 4.10 None nla-digbench-scaling/prod4br-ll_valuebound5.yml unknown 6.52 3.98 None nla-digbench-scaling/prod4br-ll_valuebound50.yml unknown 8.20 4.85 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml unknown 6.22 3.94 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml unknown 6.19 3.74 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 7.28 4.61 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml unknown 5.93 3.41 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml unknown 9.50 5.99 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml unknown 8.32 4.83 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 5.95 4.08 None nla-digbench-scaling/prodbin-ll_valuebound1.yml unknown 6.49 3.77 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 6.05 3.58 None nla-digbench-scaling/prodbin-ll_valuebound100.yml unknown 8.43 5.07 None nla-digbench-scaling/prodbin-ll_valuebound2.yml unknown 6.40 4.16 None nla-digbench-scaling/prodbin-ll_valuebound20.yml unknown 12.31 6.78 None nla-digbench-scaling/prodbin-ll_valuebound5.yml unknown 6.52 4.05 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 7.72 4.65 None nla-digbench-scaling/ps2-ll_unwindbound1.yml unknown 6.74 4.25 None nla-digbench-scaling/ps2-ll_unwindbound10.yml unknown 6.41 3.86 None nla-digbench-scaling/ps2-ll_unwindbound100.yml unknown 6.06 3.56 None nla-digbench-scaling/ps2-ll_unwindbound2.yml unknown 7.65 4.51 None nla-digbench-scaling/ps2-ll_unwindbound20.yml unknown 7.51 5.09 None nla-digbench-scaling/ps2-ll_unwindbound5.yml unknown 6.99 3.98 None nla-digbench-scaling/ps2-ll_unwindbound50.yml unknown 6.30 4.76 None nla-digbench-scaling/ps2-ll_valuebound1.yml unknown 6.35 4.15 None nla-digbench-scaling/ps2-ll_valuebound10.yml unknown 6.40 4.00 None nla-digbench-scaling/ps2-ll_valuebound100.yml unknown 5.97 3.54 None nla-digbench-scaling/ps2-ll_valuebound2.yml unknown 7.71 4.98 None nla-digbench-scaling/ps2-ll_valuebound20.yml unknown 6.87 4.31 None nla-digbench-scaling/ps2-ll_valuebound5.yml unknown 11.75 6.35 None nla-digbench-scaling/ps2-ll_valuebound50.yml unknown 7.82 4.70 None nla-digbench-scaling/ps3-ll_unwindbound1.yml unknown 7.60 4.59 None nla-digbench-scaling/ps3-ll_unwindbound10.yml unknown 9.21 5.71 None nla-digbench-scaling/ps3-ll_unwindbound100.yml unknown 6.10 3.58 None nla-digbench-scaling/ps3-ll_unwindbound2.yml unknown 6.71 4.63 None nla-digbench-scaling/ps3-ll_unwindbound20.yml unknown 6.28 4.18 None nla-digbench-scaling/ps3-ll_unwindbound5.yml unknown 6.53 3.82 None nla-digbench-scaling/ps3-ll_unwindbound50.yml unknown 7.25 4.50 None nla-digbench-scaling/ps3-ll_valuebound1.yml unknown 7.58 4.69 None nla-digbench-scaling/ps3-ll_valuebound10.yml unknown 7.63 4.74 None nla-digbench-scaling/ps3-ll_valuebound100.yml unknown 6.00 3.75 None nla-digbench-scaling/ps3-ll_valuebound2.yml unknown 7.95 4.68 None nla-digbench-scaling/ps3-ll_valuebound20.yml unknown 11.14 6.33 None nla-digbench-scaling/ps3-ll_valuebound5.yml unknown 5.71 3.91 None nla-digbench-scaling/ps3-ll_valuebound50.yml unknown 6.57 4.31 None nla-digbench-scaling/ps4-ll_unwindbound1.yml unknown 7.32 5.01 None nla-digbench-scaling/ps4-ll_unwindbound10.yml unknown 8.04 5.06 None nla-digbench-scaling/ps4-ll_unwindbound100.yml unknown 6.44 3.78 None nla-digbench-scaling/ps4-ll_unwindbound2.yml unknown 7.30 4.59 None nla-digbench-scaling/ps4-ll_unwindbound20.yml unknown 7.38 4.58 None nla-digbench-scaling/ps4-ll_unwindbound5.yml unknown 9.86 5.61 None nla-digbench-scaling/ps4-ll_unwindbound50.yml unknown 6.12 3.55 None nla-digbench-scaling/ps4-ll_valuebound1.yml unknown 10.11 6.69 None nla-digbench-scaling/ps4-ll_valuebound10.yml unknown 6.36 3.93 None nla-digbench-scaling/ps4-ll_valuebound100.yml unknown 6.94 4.46 None nla-digbench-scaling/ps4-ll_valuebound2.yml unknown 8.76 6.09 None nla-digbench-scaling/ps4-ll_valuebound20.yml unknown 7.68 6.26 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 9.35 5.12 None nla-digbench-scaling/ps4-ll_valuebound50.yml unknown 7.78 4.67 None nla-digbench-scaling/ps5-ll_unwindbound1.yml unknown 7.69 4.66 None nla-digbench-scaling/ps5-ll_unwindbound10.yml unknown 6.30 4.00 None nla-digbench-scaling/ps5-ll_unwindbound100.yml unknown 6.51 3.91 None nla-digbench-scaling/ps5-ll_unwindbound2.yml unknown 9.57 5.52 None nla-digbench-scaling/ps5-ll_unwindbound20.yml unknown 6.77 4.69 None nla-digbench-scaling/ps5-ll_unwindbound5.yml unknown 8.36 5.20 None nla-digbench-scaling/ps5-ll_unwindbound50.yml unknown 10.38 9.95 None nla-digbench-scaling/ps5-ll_valuebound1.yml unknown 7.12 4.38 None nla-digbench-scaling/ps5-ll_valuebound10.yml unknown 6.46 4.29 None nla-digbench-scaling/ps5-ll_valuebound100.yml unknown 7.93 5.02 None nla-digbench-scaling/ps5-ll_valuebound2.yml unknown 7.65 4.95 None nla-digbench-scaling/ps5-ll_valuebound20.yml unknown 6.57 4.72 None nla-digbench-scaling/ps5-ll_valuebound5.yml unknown 7.13 4.89 None nla-digbench-scaling/ps5-ll_valuebound50.yml unknown 9.46 5.59 None nla-digbench-scaling/ps6-ll_unwindbound1.yml unknown 8.35 6.73 None nla-digbench-scaling/ps6-ll_unwindbound10.yml unknown 6.43 4.06 None nla-digbench-scaling/ps6-ll_unwindbound100.yml unknown 8.13 6.11 None nla-digbench-scaling/ps6-ll_unwindbound2.yml unknown 7.73 4.36 None nla-digbench-scaling/ps6-ll_unwindbound20.yml unknown 11.21 8.52 None nla-digbench-scaling/ps6-ll_unwindbound5.yml unknown 6.38 3.77 None nla-digbench-scaling/ps6-ll_unwindbound50.yml unknown 10.36 7.51 None nla-digbench-scaling/ps6-ll_valuebound1.yml unknown 10.28 6.83 None nla-digbench-scaling/ps6-ll_valuebound10.yml unknown 9.68 5.74 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 8.76 6.06 None nla-digbench-scaling/ps6-ll_valuebound2.yml unknown 10.12 6.70 None nla-digbench-scaling/ps6-ll_valuebound20.yml unknown 6.34 4.06 None nla-digbench-scaling/ps6-ll_valuebound5.yml unknown 9.08 6.21 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 12.76 8.01 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml unknown 6.48 4.20 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml unknown 6.90 3.92 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml unknown 11.00 6.61 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml unknown 7.16 4.43 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml unknown 9.63 5.54 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml unknown 8.89 4.92 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml unknown 7.59 4.44 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml unknown 7.47 4.37 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml unknown 9.43 5.46 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml unknown 7.20 5.27 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml unknown 6.87 3.84 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml unknown 12.15 6.92 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml unknown 6.72 4.28 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml unknown 7.13 4.11 None ---------------------------------------------------------------------------------------------------------------------------- Run set 3 done 51807.12 6690.31 - Statistics: 2310 Files correct: 792 correct true: 583 correct false: 209 incorrect: 12 incorrect true: 12 incorrect false: 0 unknown: 1506 Score: 991 (max: 3909)