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: Thu, 2021-04-15 22:53:33 CEST tool: ULTIMATE Automizer 0.2.1-a47f07a2 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.45 875.61 None loops/array-2.yml false(unreach-call) 6.39 4.01 None loops/bubble_sort-1.yml true 5.45 3.55 None loops/bubble_sort-2.yml false(unreach-call) 13.58 8.07 None loops/compact.yml TIMEOUT 900.40 885.78 None loops/count_up_down-1.yml true 12.53 7.19 None loops/count_up_down-2.yml false(unreach-call) 5.30 3.55 None loops/eureka_01-1.yml TIMEOUT 900.70 862.47 None loops/eureka_01-2.yml TIMEOUT 900.37 894.65 None loops/eureka_05.yml TIMEOUT 901.06 865.56 None loops/for_bounded_loop1.yml false(unreach-call) 7.55 4.59 None loops/for_infinite_loop_1.yml true 6.27 4.81 None loops/for_infinite_loop_2.yml true 6.57 4.09 None loops/heavy-1.yml TIMEOUT 900.32 894.92 None loops/heavy-2.yml true 8.39 5.22 None loops/insertion_sort-1.yml TIMEOUT 900.65 859.72 None loops/insertion_sort-2.yml TIMEOUT 900.88 864.03 None loops/invert_string-1.yml false(unreach-call) 18.22 12.09 None loops/invert_string-3.yml TIMEOUT 900.40 883.28 None loops/linear_sea.ch.yml TIMEOUT 901.34 808.29 None loops/linear_search.yml TIMEOUT 901.55 746.93 None loops/lu.cmp.yml true 13.05 8.19 None loops/ludcmp.yml UNKNOWN: OverapproxCex 11.80 7.67 None loops/matrix-1.yml TIMEOUT 900.35 885.56 None loops/matrix-2.yml false(unreach-call) 8.54 5.85 None loops/n.c11.yml true 10.36 7.05 None loops/n.c24.yml TIMEOUT 900.71 769.43 None loops/n.c40.yml true 6.75 3.84 None loops/nec11.yml false(unreach-call) 5.57 3.60 None loops/nec20.yml false(unreach-call) 6.67 4.16 None loops/nec40.yml true 6.27 3.63 None loops/s3.yml UNKNOWN: OverapproxCex 37.02 22.52 None loops/string-1.yml true 8.33 5.45 None loops/string-2.yml UNKNOWN: OverapproxCex 8.11 5.73 None loops/sum01-1.yml false(unreach-call) 14.75 10.53 None loops/sum01-2.yml true 10.84 6.99 None loops/sum01_bug02.yml false(unreach-call) 14.90 10.69 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 9.16 6.14 None loops/sum03-1.yml false(unreach-call) 18.02 12.29 None loops/sum03-2.yml true 5.90 3.96 None loops/sum04-1.yml false(unreach-call) 10.05 6.86 None loops/sum04-2.yml true 12.08 8.61 None loops/sum_array-1.yml false(unreach-call) 6.36 3.64 None loops/sum_array-2.yml TIMEOUT 900.37 884.97 None loops/terminator_01.yml false(unreach-call) 8.71 5.71 None loops/terminator_02-1.yml false(unreach-call) 8.70 5.16 None loops/terminator_02-2.yml true 9.44 5.37 None loops/terminator_03-1.yml false(unreach-call) 9.02 5.19 None loops/terminator_03-2.yml true 8.90 4.95 None loops/trex01-1.yml false(unreach-call) 9.09 5.17 None loops/trex01-2.yml true 9.51 5.66 None loops/trex02-1.yml true 8.84 5.18 None loops/trex02-2.yml false(unreach-call) 8.13 5.08 None loops/trex03-1.yml false(unreach-call) 8.25 4.72 None loops/trex03-2.yml true 9.79 5.78 None loops/trex04.yml true 8.68 5.27 None loops/veris.c_NetBSD-libc_loop.yml true 13.67 8.06 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 12.25 7.53 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 8.76 6.47 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 9.97 6.46 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 17.70 10.30 None loops/vogal-1.yml TIMEOUT 900.49 866.83 None loops/vogal-2.yml TIMEOUT 900.44 879.15 None loops/while_infinite_loop_1.yml true 8.38 5.06 None loops/while_infinite_loop_2.yml true 8.23 5.03 None loops/while_infinite_loop_3.yml true 8.67 4.89 None loops/while_infinite_loop_4.yml false(unreach-call) 7.80 4.72 None loop-acceleration/array_1-1.yml TIMEOUT 900.45 877.48 None loop-acceleration/array_1-2.yml true 13.13 8.79 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.40 880.44 None loop-acceleration/array_2-1.yml TIMEOUT 900.39 893.64 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.39 884.48 None loop-acceleration/array_2-2.yml TIMEOUT 900.41 890.21 None loop-acceleration/array_3-1.yml true 10.01 6.14 None loop-acceleration/array_3-2.yml TIMEOUT 900.51 868.15 None loop-acceleration/array_4.yml TIMEOUT 900.50 869.68 None loop-acceleration/const_1-1.yml true 7.87 4.97 None loop-acceleration/const_1-2.yml TIMEOUT 900.63 844.29 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.38 884.36 None loop-acceleration/diamond_1-2.yml TIMEOUT 900.37 889.66 None loop-acceleration/diamond_2-2.yml true 32.01 23.37 None loop-acceleration/functions_1-1.yml TIMEOUT 900.46 873.06 None loop-acceleration/functions_1-2.yml TIMEOUT 900.75 825.13 None loop-acceleration/multivar_1-1.yml true 9.55 5.62 None loop-acceleration/multivar_1-2.yml false(unreach-call) 7.07 4.29 None loop-acceleration/nested_1-1.yml true 47.18 28.42 None loop-acceleration/nested_1-2.yml TIMEOUT 900.48 878.26 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.46 864.13 None loop-acceleration/phases_1-1.yml TIMEOUT 900.65 835.35 None loop-acceleration/phases_1-2.yml TIMEOUT 900.69 848.43 None loop-acceleration/phases_2-1.yml false(unreach-call) 5.44 3.18 None loop-acceleration/phases_2-2.yml TIMEOUT 900.41 880.94 None loop-acceleration/simple_1-1.yml TIMEOUT 900.83 825.72 None loop-acceleration/simple_1-2.yml TIMEOUT 900.54 855.74 None loop-acceleration/simple_2-1.yml true 7.55 4.72 None loop-acceleration/simple_2-2.yml false(unreach-call) 4.94 3.34 None loop-acceleration/simple_3-1.yml false(unreach-call) 6.54 4.45 None loop-acceleration/simple_3-2.yml true 9.13 5.24 None loop-acceleration/simple_4-1.yml TIMEOUT 900.05 867.34 None loop-acceleration/simple_4-2.yml true 9.85 6.06 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 12.20 8.05 None loop-acceleration/underapprox_1-2.yml true 15.27 9.64 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 12.65 8.25 None loop-acceleration/underapprox_2-2.yml TIMEOUT 900.39 882.61 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.41 881.00 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 7.26 4.51 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.33 889.81 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.43 879.48 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 11.93 7.03 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 12.38 8.30 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 900.39 876.66 None loop-crafted/simple_vardep_1.yml true 6.09 3.86 None loop-crafted/simple_vardep_2.yml true 6.76 3.94 None loop-invgen/MADWiFi-encode_ie_ok.yml true 10.35 7.09 None loop-invgen/NetBSD_loop.yml true 8.65 5.79 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 15.96 9.08 None loop-invgen/SpamAssassin-loop.yml true 11.25 6.62 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 20.79 12.73 None loop-invgen/apache-escape-absolute.yml true 11.56 7.15 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 19.18 11.60 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 38.00 24.85 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 64.99 45.39 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 17.90 10.49 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 16.67 9.63 None loop-invgen/apache-get-tag.yml true 10.98 6.60 None loop-invgen/down.yml TIMEOUT 900.28 791.17 None loop-invgen/fragtest_simple.yml TIMEOUT 900.39 766.50 None loop-invgen/half_2.yml TIMEOUT 900.33 795.23 None loop-invgen/heapsort.yml TIMEOUT 900.47 878.38 None loop-invgen/id_build.i.p+nlh-reducer.yml true 12.78 7.69 None loop-invgen/id_build.i.p+sep-reducer.yml true 17.11 9.91 None loop-invgen/id_build.i.v+lhb-reducer.yml true 7.00 4.03 None loop-invgen/id_build.yml true 6.94 3.98 None loop-invgen/id_trans.yml false(unreach-call) 9.02 4.98 None loop-invgen/large_const.yml true 10.23 6.74 None loop-invgen/nest-if3.yml true 8.87 5.10 None loop-invgen/nested6.yml true 15.86 10.18 None loop-invgen/nested9.yml true 13.25 8.90 None loop-invgen/sendmail-close-angle.yml true 27.11 15.56 None loop-invgen/seq-3.yml TIMEOUT 900.10 806.12 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.53 801.78 None loop-invgen/up.yml TIMEOUT 900.36 764.15 None loop-lit/afnp2014.yml true 7.37 4.59 None loop-lit/bhmr2007.yml true 12.33 8.04 None loop-lit/cggmp2005.yml true 9.27 6.25 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.85 888.51 None loop-lit/cggmp2005b.yml true 8.19 5.24 None loop-lit/css2003.yml true 6.14 3.57 None loop-lit/ddlm2013.yml true 13.73 9.18 None loop-lit/gcnr2008.yml false(unreach-call) 5.97 3.39 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 319.05 259.16 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 702.12 577.40 None loop-lit/gj2007.yml true 270.02 205.16 None loop-lit/gj2007b.yml true 12.15 7.12 None loop-lit/gr2006.yml true 214.50 162.21 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 7.97 4.93 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 7.15 4.98 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.44 4.85 None loop-lit/gsv2008.yml true 7.34 5.01 None loop-lit/hhk2008.yml true 7.67 4.93 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 7.42 5.03 None loop-lit/jm2006.yml true 10.25 6.77 None loop-lit/jm2006_variant.yml true 9.87 7.14 None loop-lit/mcmillan2006.yml TIMEOUT 900.53 880.32 None loop-new/count_by_1.yml true 6.31 4.03 None loop-new/count_by_1_variant.yml true 8.76 6.34 None loop-new/count_by_2.yml TIMEOUT 900.26 892.06 None loop-new/count_by_k.yml TIMEOUT 900.85 837.37 None loop-new/count_by_nondet.yml TIMEOUT 900.83 754.16 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.71 844.33 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.63 861.99 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.78 853.54 None loop-new/gauss_sum.yml TIMEOUT 900.30 792.98 None loop-new/half.yml true 24.82 15.01 None loop-new/nested-1.yml true 321.20 261.69 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 7.37 4.46 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 7.12 4.14 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 7.59 4.34 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 32.84 19.68 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 13.05 7.80 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 54.79 31.88 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 55.72 44.31 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.15 3.17 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 7.13 4.15 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 7.72 4.59 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 7.48 4.96 None loop-industry-pattern/mod3.yml true 7.12 4.51 None loop-industry-pattern/nested-3.yml TIMEOUT 900.46 851.57 None loop-industry-pattern/ofuf_1.yml true 20.17 11.01 None loop-industry-pattern/ofuf_2.yml true 12.69 8.05 None loop-industry-pattern/ofuf_3.yml true 13.03 8.33 None loop-industry-pattern/ofuf_4.yml true 20.00 10.90 None loop-industry-pattern/ofuf_5.yml true 13.31 7.63 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.42 878.19 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 901.09 841.01 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.60 833.53 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.71 773.33 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.57 855.78 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.42 882.65 None loops-crafted-1/discover_list.yml true 199.18 183.74 None loops-crafted-1/iftelse.yml TIMEOUT 900.51 879.37 None loops-crafted-1/in-de20.yml TIMEOUT 900.43 876.11 None loops-crafted-1/in-de31.yml OUT OF MEMORY 491.82 460.54 None loops-crafted-1/in-de32.yml TIMEOUT 900.89 842.70 None loops-crafted-1/in-de41.yml TIMEOUT 900.35 889.06 None loops-crafted-1/in-de42.yml TIMEOUT 900.45 883.24 None loops-crafted-1/in-de51.yml TIMEOUT 900.76 832.42 None loops-crafted-1/in-de52.yml TIMEOUT 900.84 836.21 None loops-crafted-1/in-de61.yml TIMEOUT 900.45 878.06 None loops-crafted-1/in-de62.yml TIMEOUT 900.52 861.09 None loops-crafted-1/loopv1.yml true 9.74 5.77 None loops-crafted-1/loopv2.yml TIMEOUT 900.37 785.65 None loops-crafted-1/loopv3.yml TIMEOUT 900.27 795.26 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.44 874.18 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.62 850.76 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.42 876.97 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 900.66 841.90 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.38 803.39 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.53 782.73 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.35 886.59 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.32 725.95 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.85 774.93 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.62 843.16 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.21 737.16 None loops-crafted-1/nested3-1.yml TIMEOUT 900.48 869.44 None loops-crafted-1/nested3-2.yml TIMEOUT 900.63 851.16 None loops-crafted-1/nested5-1.yml true 10.67 6.66 None loops-crafted-1/nested5-2.yml TIMEOUT 900.55 852.61 None loops-crafted-1/nested_delay_nd.yml true 108.49 89.49 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 197.03 135.74 None loops-crafted-1/net_reset.yml true 9.39 5.54 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.39 885.18 None loops-crafted-1/sum_natnum.yml TIMEOUT 900.73 882.49 None loops-crafted-1/sumt2.yml true 13.26 8.40 None loops-crafted-1/sumt3.yml TIMEOUT 900.34 894.35 None loops-crafted-1/sumt4.yml TIMEOUT 900.40 887.45 None loops-crafted-1/sumt5.yml TIMEOUT 900.40 882.54 None loops-crafted-1/sumt6.yml TIMEOUT 900.46 872.55 None loops-crafted-1/sumt7.yml TIMEOUT 900.39 890.80 None loops-crafted-1/sumt8.yml TIMEOUT 900.46 881.19 None loops-crafted-1/sumt9.yml TIMEOUT 900.39 885.78 None loops-crafted-1/theatreSquare.yml TIMEOUT 901.05 794.30 None loops-crafted-1/vnew1.yml TIMEOUT 900.62 875.02 None loops-crafted-1/vnew2.yml TIMEOUT 900.43 876.17 None loops-crafted-1/watermelon.yml TIMEOUT 901.01 817.70 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 5.48 3.70 None loop-invariants/const.yml true 6.46 3.87 None loop-invariants/eq1.yml true 6.55 3.83 None loop-invariants/eq2.yml true 6.65 4.06 None loop-invariants/even.yml true 7.65 4.64 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.97 871.73 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 6.94 4.74 None loop-invariants/mod4.yml true 7.51 4.89 None loop-invariants/odd.yml true 8.20 5.08 None loop-simple/deep-nested.yml TIMEOUT 901.36 853.44 None loop-simple/nested_1.yml true 7.86 4.66 None loop-simple/nested_1b.yml false(unreach-call) 10.75 7.08 None loop-simple/nested_2.yml true 14.74 9.97 None loop-simple/nested_3.yml true 16.98 11.24 None loop-simple/nested_4.yml true 88.79 74.61 None loop-simple/nested_5.yml true 94.85 73.22 None loop-simple/nested_6.yml OUT OF MEMORY 366.37 280.76 None loop-zilu/benchmark02_linear.yml true 5.46 3.24 None loop-zilu/benchmark04_conjunctive.yml true 7.03 4.40 None loop-zilu/benchmark05_conjunctive.yml true 7.54 4.64 None loop-zilu/benchmark09_conjunctive.yml true 7.17 4.32 None loop-zilu/benchmark10_conjunctive.yml true 10.04 6.26 None loop-zilu/benchmark11_linear.yml true 6.89 4.39 None loop-zilu/benchmark14_linear.yml true 7.70 4.47 None loop-zilu/benchmark17_conjunctive.yml true 6.09 3.71 None loop-zilu/benchmark18_conjunctive.yml true 6.37 3.86 None loop-zilu/benchmark19_conjunctive.yml true 9.66 5.82 None loop-zilu/benchmark20_conjunctive.yml true 6.24 3.87 None loop-zilu/benchmark23_conjunctive.yml true 611.13 493.21 None loop-zilu/benchmark25_linear.yml true 7.00 4.22 None loop-zilu/benchmark26_linear.yml true 8.91 5.48 None loop-zilu/benchmark32_linear.yml true 6.31 4.27 None loop-zilu/benchmark33_linear.yml true 5.77 3.70 None loop-zilu/benchmark34_conjunctive.yml true 8.36 5.40 None loop-zilu/benchmark35_linear.yml true 7.29 4.41 None loop-zilu/benchmark37_conjunctive.yml true 5.77 3.31 None loop-zilu/benchmark43_conjunctive.yml true 6.27 3.82 None loop-zilu/benchmark51_polynomial.yml true 8.01 4.74 None loop-zilu/benchmark52_polynomial.yml true 5.80 3.89 None verifythis/duplets.yml TIMEOUT 900.71 881.24 None verifythis/elimination_max.yml true 9.70 5.76 None verifythis/lcp.yml true 12.43 7.82 None verifythis/prefixsum_iter.yml TIMEOUT 900.47 876.21 None verifythis/tree_del_iter.yml false(unreach-call) 13.78 8.20 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 13.62 8.29 None nla-digbench/bresenham-ll.yml true 10.62 7.54 None nla-digbench/cohencu-ll.yml unknown 13.67 9.68 None nla-digbench/cohendiv-ll.yml unknown 10.85 8.71 None nla-digbench/dijkstra-u.yml TIMEOUT 900.36 884.62 None nla-digbench/divbin.yml TIMEOUT 900.37 890.35 None nla-digbench/divbin2.yml TIMEOUT 900.36 890.63 None nla-digbench/egcd-ll.yml TIMEOUT 900.66 890.21 None nla-digbench/egcd2-ll.yml TIMEOUT 900.43 879.36 None nla-digbench/egcd3-ll.yml unknown 30.14 20.65 None nla-digbench/fermat1-ll.yml unknown 14.43 11.60 None nla-digbench/fermat2-ll.yml unknown 15.59 12.68 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 6.74 4.23 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 6.85 4.37 None nla-digbench/geo1-ll.yml true 51.17 46.66 None nla-digbench/geo1-u.yml false(unreach-call) 8.17 4.82 None nla-digbench/geo2-ll.yml TIMEOUT 900.38 895.21 None nla-digbench/geo3-ll.yml true 246.27 240.57 None nla-digbench/hard-ll.yml TIMEOUT 900.41 878.84 None nla-digbench/hard-u.yml unknown 614.59 592.76 None nla-digbench/hard2.yml unknown 38.59 33.52 None nla-digbench/knuth.yml ERROR: EXCEPTION 4.36 2.45 None nla-digbench/lcm1.yml TIMEOUT 900.31 896.51 None nla-digbench/lcm2.yml unknown 6.67 3.99 None nla-digbench/mannadiv.yml true 7.58 5.17 None nla-digbench/prod4br-ll.yml unknown 8.38 5.57 None nla-digbench/prodbin-ll.yml unknown 6.76 4.64 None nla-digbench/ps2-ll.yml unknown 7.28 4.93 None nla-digbench/ps3-ll.yml TIMEOUT 900.32 897.71 None nla-digbench/ps4-ll.yml unknown 9.51 7.07 None nla-digbench/ps5-ll.yml TIMEOUT 900.32 896.48 None nla-digbench/ps6-ll.yml unknown 21.56 19.37 None nla-digbench/sqrt1-ll.yml true 10.72 7.94 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 7.72 5.80 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml true 11.40 8.94 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml true 12.03 8.85 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 11.39 9.39 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml true 14.26 10.58 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml true 10.84 8.02 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml true 13.32 9.99 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 12.66 8.98 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 15.40 11.63 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 15.56 12.30 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 15.64 10.75 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 12.56 8.59 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 13.01 9.34 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 13.23 9.16 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 11.09 8.11 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml TIMEOUT 900.35 895.25 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.34 895.88 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 14.73 10.85 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml TIMEOUT 900.34 894.73 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml TIMEOUT 900.32 895.68 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml TIMEOUT 900.33 895.89 None nla-digbench-scaling/cohencu-ll_valuebound1.yml unknown 17.21 11.91 None nla-digbench-scaling/cohencu-ll_valuebound10.yml unknown 28.65 19.48 None nla-digbench-scaling/cohencu-ll_valuebound100.yml unknown 17.16 11.93 None nla-digbench-scaling/cohencu-ll_valuebound2.yml unknown 23.66 15.09 None nla-digbench-scaling/cohencu-ll_valuebound20.yml unknown 18.09 12.64 None nla-digbench-scaling/cohencu-ll_valuebound5.yml unknown 21.58 14.33 None nla-digbench-scaling/cohencu-ll_valuebound50.yml unknown 17.93 11.93 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 11.95 7.90 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml unknown 15.49 11.03 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml unknown 16.38 11.14 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 55.01 50.79 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml unknown 16.71 11.13 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml unknown 16.61 11.38 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml unknown 15.48 11.10 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 13.70 8.30 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml unknown 13.25 8.36 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml unknown 13.62 8.53 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 17.49 10.78 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml unknown 14.78 9.31 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml unknown 16.76 10.09 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml unknown 13.84 8.52 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 21.78 17.77 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.45 875.95 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.40 883.46 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 29.32 23.43 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.45 874.51 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.47 872.83 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.44 876.33 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.47 875.18 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.42 878.42 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.45 880.57 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.41 880.84 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.41 882.28 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.42 884.27 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.42 878.53 None nla-digbench-scaling/divbin2_unwindbound1.yml true 7.94 5.85 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.32 895.77 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.32 896.21 None nla-digbench-scaling/divbin2_unwindbound2.yml true 11.50 7.18 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.37 891.64 None nla-digbench-scaling/divbin2_unwindbound5.yml true 16.33 12.41 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.35 893.20 None nla-digbench-scaling/divbin2_valuebound1.yml true 9.51 6.74 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.43 888.30 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 119.50 112.44 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.25 882.18 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.35 896.05 None nla-digbench-scaling/divbin2_valuebound5.yml true 30.68 22.57 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.36 893.65 None nla-digbench-scaling/divbin_unwindbound1.yml true 9.50 6.27 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.37 892.68 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.36 893.43 None nla-digbench-scaling/divbin_unwindbound2.yml true 9.62 6.80 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.35 893.77 None nla-digbench-scaling/divbin_unwindbound5.yml OUT OF MEMORY 220.63 198.59 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.33 894.39 None nla-digbench-scaling/divbin_valuebound1.yml true 11.58 7.38 None nla-digbench-scaling/divbin_valuebound10.yml unknown 240.79 215.47 None nla-digbench-scaling/divbin_valuebound100.yml unknown 259.34 235.38 None nla-digbench-scaling/divbin_valuebound2.yml OUT OF MEMORY 137.78 126.90 None nla-digbench-scaling/divbin_valuebound20.yml OUT OF MEMORY 98.21 81.70 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.35 893.54 None nla-digbench-scaling/divbin_valuebound50.yml unknown 265.27 244.65 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 8.36 5.70 None nla-digbench-scaling/egcd-ll_unwindbound10.yml unknown 39.88 32.97 None nla-digbench-scaling/egcd-ll_unwindbound100.yml unknown 47.53 36.20 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 15.84 10.80 None nla-digbench-scaling/egcd-ll_unwindbound20.yml unknown 48.75 35.97 None nla-digbench-scaling/egcd-ll_unwindbound5.yml unknown 43.06 34.39 None nla-digbench-scaling/egcd-ll_unwindbound50.yml unknown 48.48 36.05 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 11.23 7.82 None nla-digbench-scaling/egcd-ll_valuebound10.yml unknown 15.58 11.32 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 20.27 12.76 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 15.68 11.16 None nla-digbench-scaling/egcd-ll_valuebound20.yml unknown 16.21 12.18 None nla-digbench-scaling/egcd-ll_valuebound5.yml unknown 20.95 13.60 None nla-digbench-scaling/egcd-ll_valuebound50.yml unknown 19.59 13.34 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 9.96 6.48 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml TIMEOUT 900.47 885.65 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.40 886.84 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 16.89 11.52 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 900.49 878.02 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 65.75 51.23 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 900.44 880.14 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 26.68 16.90 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 900.43 876.03 None nla-digbench-scaling/egcd2-ll_valuebound100.yml unknown 51.13 37.08 None nla-digbench-scaling/egcd2-ll_valuebound2.yml unknown 31.10 22.21 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 900.45 877.09 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 108.33 92.67 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 48.81 33.30 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 7.01 4.89 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml unknown 51.99 35.71 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml unknown 42.17 32.78 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 8.24 6.06 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml unknown 37.02 30.33 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 24.02 16.39 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml unknown 40.17 29.18 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 14.89 9.87 None nla-digbench-scaling/egcd3-ll_valuebound10.yml true 43.99 27.93 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 26.16 17.83 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 34.53 25.55 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 25.30 17.51 None nla-digbench-scaling/egcd3-ll_valuebound5.yml true 34.16 23.72 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 33.76 22.77 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml unknown 13.69 10.83 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml unknown 13.51 11.68 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml unknown 19.14 16.38 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml unknown 14.88 12.52 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml unknown 18.78 16.80 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml unknown 16.53 15.01 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml unknown 18.96 16.45 None nla-digbench-scaling/fermat1-ll_valuebound1.yml unknown 6.63 4.31 None nla-digbench-scaling/fermat1-ll_valuebound10.yml unknown 8.89 6.44 None nla-digbench-scaling/fermat1-ll_valuebound100.yml unknown 15.22 12.51 None nla-digbench-scaling/fermat1-ll_valuebound2.yml unknown 14.20 10.28 None nla-digbench-scaling/fermat1-ll_valuebound20.yml unknown 12.06 9.16 None nla-digbench-scaling/fermat1-ll_valuebound5.yml unknown 10.34 8.17 None nla-digbench-scaling/fermat1-ll_valuebound50.yml unknown 11.62 9.24 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml unknown 14.84 13.11 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml unknown 19.59 16.94 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml unknown 17.87 15.29 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml unknown 18.11 13.83 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml unknown 16.88 14.42 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml unknown 17.31 14.87 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml unknown 19.82 17.06 None nla-digbench-scaling/fermat2-ll_valuebound1.yml unknown 8.90 5.29 None nla-digbench-scaling/fermat2-ll_valuebound10.yml unknown 7.16 4.50 None nla-digbench-scaling/fermat2-ll_valuebound100.yml unknown 9.36 6.65 None nla-digbench-scaling/fermat2-ll_valuebound2.yml unknown 25.94 23.83 None nla-digbench-scaling/fermat2-ll_valuebound20.yml unknown 8.62 5.19 None nla-digbench-scaling/fermat2-ll_valuebound5.yml unknown 9.51 5.92 None nla-digbench-scaling/fermat2-ll_valuebound50.yml unknown 7.92 4.92 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 6.20 3.51 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 7.40 4.53 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 5.92 3.97 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 6.22 3.65 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 6.46 4.04 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 7.86 4.67 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 5.83 3.45 None nla-digbench-scaling/freire1_valuebound1.yml ERROR: EXCEPTION 5.66 4.45 None nla-digbench-scaling/freire1_valuebound10.yml ERROR: EXCEPTION 5.35 3.61 None nla-digbench-scaling/freire1_valuebound100.yml ERROR: EXCEPTION 5.60 3.16 None nla-digbench-scaling/freire1_valuebound2.yml ERROR: EXCEPTION 5.72 3.52 None nla-digbench-scaling/freire1_valuebound20.yml ERROR: EXCEPTION 7.13 4.41 None nla-digbench-scaling/freire1_valuebound5.yml ERROR: EXCEPTION 5.27 3.41 None nla-digbench-scaling/freire1_valuebound50.yml ERROR: EXCEPTION 5.27 3.84 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.66 4.46 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 6.62 4.51 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 6.60 4.38 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.55 4.41 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 8.05 4.89 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 6.73 4.31 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.41 3.98 None nla-digbench-scaling/freire2_valuebound1.yml ERROR: EXCEPTION 5.35 3.15 None nla-digbench-scaling/freire2_valuebound10.yml ERROR: EXCEPTION 5.83 4.01 None nla-digbench-scaling/freire2_valuebound100.yml ERROR: EXCEPTION 5.27 3.39 None nla-digbench-scaling/freire2_valuebound2.yml ERROR: EXCEPTION 7.22 4.42 None nla-digbench-scaling/freire2_valuebound20.yml ERROR: EXCEPTION 5.44 3.86 None nla-digbench-scaling/freire2_valuebound5.yml ERROR: EXCEPTION 5.36 3.42 None nla-digbench-scaling/freire2_valuebound50.yml ERROR: EXCEPTION 6.16 3.60 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 11.46 8.59 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 59.21 56.35 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 76.86 73.40 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 52.79 49.91 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 70.17 64.40 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 53.40 49.40 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 53.37 49.44 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 9.16 5.93 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 8.43 5.36 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 47.91 43.80 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 7.50 5.23 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 7.90 4.86 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 7.87 4.78 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 46.96 43.63 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 7.23 4.92 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 6.46 5.03 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.03 5.00 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 6.45 4.23 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 6.72 4.45 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 8.12 5.10 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 6.40 4.30 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 6.47 4.14 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 6.42 4.03 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 6.36 4.16 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 7.90 4.77 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 6.32 3.89 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 6.52 4.40 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 6.63 4.49 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 9.55 5.98 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 93.20 89.58 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 85.81 82.89 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 34.98 32.64 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 76.94 72.57 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 87.24 84.24 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 93.31 90.96 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 7.27 4.52 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 41.76 38.06 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 134.15 127.40 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.81 5.09 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 61.48 57.56 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 39.82 35.56 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 93.77 89.24 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 7.49 5.15 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 367.28 362.11 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 389.73 384.97 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 72.59 69.47 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 466.88 461.50 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 473.27 467.04 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 356.85 351.47 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 8.11 5.84 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 69.05 64.39 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 71.58 65.20 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 8.79 5.92 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 46.13 41.84 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 32.42 27.04 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 62.95 57.26 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 10.63 6.76 None nla-digbench-scaling/hard-ll_unwindbound10.yml unknown 19.87 13.04 None nla-digbench-scaling/hard-ll_unwindbound100.yml unknown 21.50 14.00 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 12.44 8.45 None nla-digbench-scaling/hard-ll_unwindbound20.yml unknown 20.05 13.26 None nla-digbench-scaling/hard-ll_unwindbound5.yml unknown 21.13 13.98 None nla-digbench-scaling/hard-ll_unwindbound50.yml unknown 26.57 16.11 None nla-digbench-scaling/hard-ll_valuebound1.yml true 18.93 11.62 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 18.56 11.37 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 24.51 14.64 None nla-digbench-scaling/hard-ll_valuebound2.yml OUT OF MEMORY 392.71 326.64 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 18.35 11.97 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.46 871.10 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 19.05 11.98 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 11.07 7.43 None nla-digbench-scaling/hard-u_unwindbound10.yml unknown 688.50 665.86 None nla-digbench-scaling/hard-u_unwindbound100.yml unknown 618.12 599.50 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 15.94 10.16 None nla-digbench-scaling/hard-u_unwindbound20.yml unknown 598.24 584.40 None nla-digbench-scaling/hard-u_unwindbound5.yml unknown 652.85 622.06 None nla-digbench-scaling/hard-u_unwindbound50.yml unknown 651.31 628.91 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 901.26 677.68 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 125.13 105.94 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.46 886.26 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.27 886.26 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.37 879.66 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.67 871.25 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.40 882.44 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 8.99 5.68 None nla-digbench-scaling/hard2_unwindbound10.yml unknown 36.33 30.10 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 901.00 855.92 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 10.65 6.99 None nla-digbench-scaling/hard2_unwindbound20.yml unknown 37.59 31.67 None nla-digbench-scaling/hard2_unwindbound5.yml unknown 37.66 32.44 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 901.00 856.91 None nla-digbench-scaling/hard2_valuebound1.yml true 14.68 10.45 None nla-digbench-scaling/hard2_valuebound10.yml unknown 22.88 16.54 None nla-digbench-scaling/hard2_valuebound100.yml unknown 37.59 28.46 None nla-digbench-scaling/hard2_valuebound2.yml true 22.09 15.36 None nla-digbench-scaling/hard2_valuebound20.yml unknown 34.43 24.59 None nla-digbench-scaling/hard2_valuebound5.yml unknown 23.38 16.93 None nla-digbench-scaling/hard2_valuebound50.yml unknown 32.15 24.59 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 5.16 3.13 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 5.37 3.17 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 5.21 3.24 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.16 2.30 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 4.69 3.02 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 5.36 3.16 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 4.05 2.30 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 4.30 2.48 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 4.04 2.34 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 5.53 2.98 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 4.78 3.02 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.45 2.88 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 4.35 2.49 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 5.31 2.87 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.43 898.21 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.44 895.82 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.44 896.94 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.46 895.36 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.46 898.58 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.49 896.02 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.47 895.67 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.32 898.38 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.32 900.64 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.37 897.53 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.33 896.92 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.34 895.70 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.31 897.07 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.33 897.21 None nla-digbench-scaling/lcm2_unwindbound1.yml unknown 7.95 5.58 None nla-digbench-scaling/lcm2_unwindbound10.yml unknown 7.58 4.63 None nla-digbench-scaling/lcm2_unwindbound100.yml unknown 8.59 5.51 None nla-digbench-scaling/lcm2_unwindbound2.yml unknown 7.54 5.33 None nla-digbench-scaling/lcm2_unwindbound20.yml unknown 7.41 5.04 None nla-digbench-scaling/lcm2_unwindbound5.yml unknown 6.67 4.36 None nla-digbench-scaling/lcm2_unwindbound50.yml unknown 9.28 5.78 None nla-digbench-scaling/lcm2_valuebound1.yml unknown 7.13 5.84 None nla-digbench-scaling/lcm2_valuebound10.yml unknown 6.87 4.77 None nla-digbench-scaling/lcm2_valuebound100.yml unknown 6.82 4.65 None nla-digbench-scaling/lcm2_valuebound2.yml unknown 7.71 4.67 None nla-digbench-scaling/lcm2_valuebound20.yml unknown 6.59 4.25 None nla-digbench-scaling/lcm2_valuebound5.yml unknown 8.12 5.15 None nla-digbench-scaling/lcm2_valuebound50.yml unknown 7.07 6.97 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 8.10 5.21 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 16.60 12.08 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 465.86 453.75 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 10.63 7.20 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 28.41 28.29 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 10.16 7.17 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 132.06 100.42 None nla-digbench-scaling/mannadiv_valuebound1.yml true 7.52 4.60 None nla-digbench-scaling/mannadiv_valuebound10.yml true 8.64 5.45 None nla-digbench-scaling/mannadiv_valuebound100.yml true 7.69 4.62 None nla-digbench-scaling/mannadiv_valuebound2.yml true 8.82 5.72 None nla-digbench-scaling/mannadiv_valuebound20.yml true 7.59 5.09 None nla-digbench-scaling/mannadiv_valuebound5.yml true 9.12 5.80 None nla-digbench-scaling/mannadiv_valuebound50.yml true 7.93 4.87 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 8.29 5.41 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml unknown 9.51 6.75 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml unknown 11.64 7.25 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml unknown 9.44 6.60 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml unknown 9.02 6.70 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml unknown 10.19 7.30 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml unknown 11.37 7.51 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 15.37 11.07 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 900.36 893.89 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.43 882.37 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 900.46 876.96 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.40 884.99 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 900.45 876.52 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 900.45 876.78 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 6.87 5.51 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml unknown 7.04 5.65 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 7.35 5.36 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml unknown 7.10 5.16 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml unknown 7.51 6.66 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml unknown 7.71 6.53 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 7.97 7.28 None nla-digbench-scaling/prodbin-ll_valuebound1.yml unknown 7.72 5.49 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 10.53 8.74 None nla-digbench-scaling/prodbin-ll_valuebound100.yml unknown 8.14 7.73 None nla-digbench-scaling/prodbin-ll_valuebound2.yml unknown 8.04 6.24 None nla-digbench-scaling/prodbin-ll_valuebound20.yml unknown 7.73 7.32 None nla-digbench-scaling/prodbin-ll_valuebound5.yml unknown 7.24 5.44 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 9.83 8.57 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 7.47 5.60 None nla-digbench-scaling/ps2-ll_unwindbound10.yml unknown 9.33 7.25 None nla-digbench-scaling/ps2-ll_unwindbound100.yml unknown 10.62 7.91 None nla-digbench-scaling/ps2-ll_unwindbound2.yml unknown 8.18 6.82 None nla-digbench-scaling/ps2-ll_unwindbound20.yml unknown 8.18 6.71 None nla-digbench-scaling/ps2-ll_unwindbound5.yml unknown 10.83 9.09 None nla-digbench-scaling/ps2-ll_unwindbound50.yml unknown 7.81 6.51 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 7.82 5.82 None nla-digbench-scaling/ps2-ll_valuebound10.yml unknown 8.56 6.45 None nla-digbench-scaling/ps2-ll_valuebound100.yml unknown 7.76 5.97 None nla-digbench-scaling/ps2-ll_valuebound2.yml unknown 9.78 8.43 None nla-digbench-scaling/ps2-ll_valuebound20.yml unknown 8.07 7.88 None nla-digbench-scaling/ps2-ll_valuebound5.yml unknown 9.52 6.82 None nla-digbench-scaling/ps2-ll_valuebound50.yml unknown 7.88 5.75 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 9.87 8.17 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 900.30 896.70 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 900.32 900.01 None nla-digbench-scaling/ps3-ll_unwindbound2.yml TIMEOUT 900.33 897.70 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 900.33 898.72 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 900.39 895.47 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 900.34 896.90 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 7.31 5.33 None nla-digbench-scaling/ps3-ll_valuebound10.yml TIMEOUT 900.32 897.96 None nla-digbench-scaling/ps3-ll_valuebound100.yml TIMEOUT 900.32 896.77 None nla-digbench-scaling/ps3-ll_valuebound2.yml TIMEOUT 900.35 895.47 None nla-digbench-scaling/ps3-ll_valuebound20.yml TIMEOUT 900.31 896.55 None nla-digbench-scaling/ps3-ll_valuebound5.yml TIMEOUT 900.30 897.56 None nla-digbench-scaling/ps3-ll_valuebound50.yml TIMEOUT 900.34 896.89 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 8.39 5.56 None nla-digbench-scaling/ps4-ll_unwindbound10.yml unknown 203.15 199.33 None nla-digbench-scaling/ps4-ll_unwindbound100.yml unknown 11.81 8.61 None nla-digbench-scaling/ps4-ll_unwindbound2.yml unknown 203.60 200.04 None nla-digbench-scaling/ps4-ll_unwindbound20.yml unknown 205.43 201.83 None nla-digbench-scaling/ps4-ll_unwindbound5.yml unknown 203.52 199.79 None nla-digbench-scaling/ps4-ll_unwindbound50.yml unknown 207.79 205.80 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 10.34 8.01 None nla-digbench-scaling/ps4-ll_valuebound10.yml unknown 11.12 8.31 None nla-digbench-scaling/ps4-ll_valuebound100.yml unknown 12.49 9.22 None nla-digbench-scaling/ps4-ll_valuebound2.yml unknown 14.48 13.80 None nla-digbench-scaling/ps4-ll_valuebound20.yml unknown 8.09 6.26 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 11.13 8.04 None nla-digbench-scaling/ps4-ll_valuebound50.yml unknown 10.06 8.06 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 9.36 6.08 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.33 896.51 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.36 895.32 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 11.33 7.50 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.33 897.98 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.33 896.97 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.36 895.53 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 8.13 6.06 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.32 897.37 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.36 895.53 None nla-digbench-scaling/ps5-ll_valuebound2.yml TIMEOUT 900.33 897.00 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.35 894.46 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.34 897.91 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.36 894.80 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 9.72 7.73 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.34 895.83 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.32 897.04 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 27.61 24.16 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.35 896.43 None nla-digbench-scaling/ps6-ll_unwindbound5.yml TIMEOUT 900.36 896.41 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.39 894.11 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 12.76 10.43 None nla-digbench-scaling/ps6-ll_valuebound10.yml unknown 38.39 35.91 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 20.95 17.03 None nla-digbench-scaling/ps6-ll_valuebound2.yml unknown 118.72 116.44 None nla-digbench-scaling/ps6-ll_valuebound20.yml unknown 14.66 10.70 None nla-digbench-scaling/ps6-ll_valuebound5.yml unknown 12.59 8.69 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 34.56 31.85 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 11.12 6.80 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 13.56 8.74 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 12.92 8.52 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 14.89 9.50 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 10.19 6.99 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 13.90 9.26 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 10.21 7.04 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 9.92 6.90 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml unknown 16.60 11.22 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml unknown 12.06 8.59 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 11.43 7.94 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml unknown 16.35 10.58 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 12.71 8.74 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml unknown 14.40 9.90 None ---------------------------------------------------------------------------------------------------------------------------- Run set 1 done 101711.69 14874.60 - 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.48 874.53 None loops/array-2.yml false(unreach-call) 6.27 3.91 None loops/bubble_sort-1.yml true 5.95 4.11 None loops/bubble_sort-2.yml false(unreach-call) 14.21 8.12 None loops/compact.yml TIMEOUT 900.45 886.22 None loops/count_up_down-1.yml TIMEOUT 900.44 877.68 None loops/count_up_down-2.yml false(unreach-call) 8.42 5.70 None loops/eureka_01-1.yml TIMEOUT 900.56 868.82 None loops/eureka_01-2.yml TIMEOUT 900.38 892.06 None loops/eureka_05.yml TIMEOUT 900.26 833.17 None loops/for_bounded_loop1.yml false(unreach-call) 7.69 4.80 None loops/for_infinite_loop_1.yml true 5.89 3.70 None loops/for_infinite_loop_2.yml true 6.05 4.93 None loops/heavy-1.yml TIMEOUT 900.34 896.21 None loops/heavy-2.yml true 8.17 5.52 None loops/insertion_sort-1.yml TIMEOUT 900.57 867.65 None loops/insertion_sort-2.yml TIMEOUT 900.57 865.18 None loops/invert_string-1.yml false(unreach-call) 18.33 11.65 None loops/invert_string-3.yml TIMEOUT 900.37 884.28 None loops/linear_sea.ch.yml TIMEOUT 900.38 804.87 None loops/linear_search.yml TIMEOUT 901.38 771.96 None loops/lu.cmp.yml true 10.62 7.40 None loops/ludcmp.yml UNKNOWN: OverapproxCex 11.92 8.19 None loops/matrix-1.yml TIMEOUT 900.36 886.98 None loops/matrix-2.yml false(unreach-call) 7.27 4.96 None loops/n.c11.yml true 9.12 5.99 None loops/n.c24.yml ERROR: EXCEPTION 5.45 3.54 None loops/n.c40.yml true 6.22 3.58 None loops/nec11.yml false(unreach-call) 5.52 3.33 None loops/nec20.yml false(unreach-call) 6.51 4.18 None loops/nec40.yml true 6.61 4.20 None loops/s3.yml UNKNOWN: OverapproxCex 37.89 22.94 None loops/string-1.yml true 9.11 5.88 None loops/string-2.yml UNKNOWN: OverapproxCex 10.03 6.73 None loops/sum01-1.yml false(unreach-call) 14.14 9.61 None loops/sum01-2.yml true 10.92 6.80 None loops/sum01_bug02.yml false(unreach-call) 15.41 10.22 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 9.84 6.30 None loops/sum03-1.yml false(unreach-call) 18.23 12.17 None loops/sum03-2.yml true 5.80 3.33 None loops/sum04-1.yml false(unreach-call) 10.89 7.21 None loops/sum04-2.yml true 11.89 8.42 None loops/sum_array-1.yml false(unreach-call) 6.51 3.64 None loops/sum_array-2.yml TIMEOUT 900.40 881.79 None loops/terminator_01.yml false(unreach-call) 10.80 6.19 None loops/terminator_02-1.yml false(unreach-call) 10.51 6.04 None loops/terminator_02-2.yml true 11.29 6.55 None loops/terminator_03-1.yml false(unreach-call) 12.48 7.05 None loops/terminator_03-2.yml true 22.50 17.20 None loops/trex01-1.yml ERROR: EXCEPTION 8.08 4.75 None loops/trex01-2.yml ERROR: EXCEPTION 8.11 4.65 None loops/trex02-1.yml true 8.69 5.22 None loops/trex02-2.yml false(unreach-call) 10.71 6.15 None loops/trex03-1.yml false(unreach-call) 9.12 5.41 None loops/trex03-2.yml true 11.41 6.67 None loops/trex04.yml true 11.82 7.72 None loops/veris.c_NetBSD-libc_loop.yml true 9.83 6.26 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 16.53 9.47 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml ERROR: EXCEPTION 7.23 4.52 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 8.83 5.19 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml false(unreach-call) 19.87 11.56 None loops/vogal-1.yml TIMEOUT 900.46 875.13 None loops/vogal-2.yml TIMEOUT 900.53 859.17 None loops/while_infinite_loop_1.yml true 8.49 4.73 None loops/while_infinite_loop_2.yml true 8.43 5.03 None loops/while_infinite_loop_3.yml true 7.31 4.57 None loops/while_infinite_loop_4.yml false(unreach-call) 7.51 4.30 None loop-acceleration/array_1-1.yml TIMEOUT 900.40 886.56 None loop-acceleration/array_1-2.yml true 9.70 7.26 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.40 881.70 None loop-acceleration/array_2-1.yml TIMEOUT 900.43 890.29 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.47 872.45 None loop-acceleration/array_2-2.yml TIMEOUT 900.42 890.43 None loop-acceleration/array_3-1.yml true 8.12 4.75 None loop-acceleration/array_3-2.yml TIMEOUT 900.45 878.08 None loop-acceleration/array_4.yml TIMEOUT 900.62 867.89 None loop-acceleration/const_1-1.yml true 7.07 4.41 None loop-acceleration/const_1-2.yml false(unreach-call) 5.84 3.31 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.34 885.33 None loop-acceleration/diamond_1-2.yml false(unreach-call) 564.88 513.40 None loop-acceleration/diamond_2-2.yml true 30.71 24.13 None loop-acceleration/functions_1-1.yml TIMEOUT 900.50 869.39 None loop-acceleration/functions_1-2.yml TIMEOUT 900.39 878.90 None loop-acceleration/multivar_1-1.yml true 6.21 3.71 None loop-acceleration/multivar_1-2.yml false(unreach-call) 5.96 3.85 None loop-acceleration/nested_1-1.yml true 15.40 12.23 None loop-acceleration/nested_1-2.yml TIMEOUT 900.52 858.73 None loop-acceleration/overflow_1-1.yml ERROR: EXCEPTION 619.34 595.77 None loop-acceleration/phases_1-1.yml TIMEOUT 900.67 836.05 None loop-acceleration/phases_1-2.yml TIMEOUT 900.74 848.72 None loop-acceleration/phases_2-1.yml false(unreach-call) 7.53 4.40 None loop-acceleration/phases_2-2.yml TIMEOUT 900.45 876.92 None loop-acceleration/simple_1-1.yml false(unreach-call) 6.62 4.00 None loop-acceleration/simple_1-2.yml true 9.96 5.96 None loop-acceleration/simple_2-1.yml true 6.19 3.47 None loop-acceleration/simple_2-2.yml false(unreach-call) 5.78 3.41 None loop-acceleration/simple_3-1.yml false(unreach-call) 6.10 3.79 None loop-acceleration/simple_3-2.yml TIMEOUT 900.48 880.68 None loop-acceleration/simple_4-1.yml false(unreach-call) 6.70 4.14 None loop-acceleration/simple_4-2.yml TIMEOUT 900.64 852.60 None loop-acceleration/underapprox_1-1.yml ERROR: EXCEPTION 6.44 4.00 None loop-acceleration/underapprox_1-2.yml ERROR: EXCEPTION 4.92 3.00 None loop-acceleration/underapprox_2-1.yml ERROR: EXCEPTION 4.47 4.80 None loop-acceleration/underapprox_2-2.yml ERROR: EXCEPTION 4.48 3.16 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.44 882.13 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 7.54 4.14 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.30 829.40 None loop-crafted/simple_array_index_value_3.yml ERROR: EXCEPTION 5.05 3.14 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 13.14 7.68 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 9.11 6.29 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 900.65 858.70 None loop-crafted/simple_vardep_1.yml true 6.14 3.66 None loop-crafted/simple_vardep_2.yml true 6.51 3.92 None loop-invgen/MADWiFi-encode_ie_ok.yml true 13.61 8.03 None loop-invgen/NetBSD_loop.yml true 9.45 6.65 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 13.37 7.92 None loop-invgen/SpamAssassin-loop.yml true 14.25 8.15 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 18.79 11.72 None loop-invgen/apache-escape-absolute.yml true 10.66 6.99 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 24.00 14.06 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 39.31 26.63 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 60.64 46.97 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 15.25 9.70 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 22.14 12.67 None loop-invgen/apache-get-tag.yml true 10.28 6.07 None loop-invgen/down.yml true 6.98 4.36 None loop-invgen/fragtest_simple.yml TIMEOUT 900.43 875.30 None loop-invgen/half_2.yml TIMEOUT 900.52 880.94 None loop-invgen/heapsort.yml TIMEOUT 901.15 819.07 None loop-invgen/id_build.i.p+nlh-reducer.yml true 11.34 7.25 None loop-invgen/id_build.i.p+sep-reducer.yml true 11.30 7.18 None loop-invgen/id_build.i.v+lhb-reducer.yml true 5.68 3.87 None loop-invgen/id_build.yml true 6.21 4.31 None loop-invgen/id_trans.yml false(unreach-call) 6.05 3.90 None loop-invgen/large_const.yml true 8.72 6.71 None loop-invgen/nest-if3.yml true 5.70 4.04 None loop-invgen/nested6.yml true 12.74 9.13 None loop-invgen/nested9.yml true 10.67 7.74 None loop-invgen/sendmail-close-angle.yml true 16.23 10.35 None loop-invgen/seq-3.yml true 13.54 9.52 None loop-invgen/string_concat-noarr.yml TIMEOUT 901.02 765.23 None loop-invgen/up.yml true 8.64 5.79 None loop-lit/afnp2014.yml true 7.26 5.49 None loop-lit/bhmr2007.yml true 11.49 7.58 None loop-lit/cggmp2005.yml true 7.47 4.79 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.95 854.37 None loop-lit/cggmp2005b.yml true 6.98 4.50 None loop-lit/css2003.yml true 5.55 3.49 None loop-lit/ddlm2013.yml true 12.88 8.23 None loop-lit/gcnr2008.yml false(unreach-call) 5.16 3.42 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 302.69 247.71 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 482.60 396.09 None loop-lit/gj2007.yml true 254.48 197.40 None loop-lit/gj2007b.yml true 8.98 5.75 None loop-lit/gr2006.yml true 131.32 100.88 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml ERROR: EXCEPTION 94.57 90.60 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml ERROR: EXCEPTION 96.60 91.86 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 8.97 5.08 None loop-lit/gsv2008.yml ERROR: EXCEPTION 95.18 90.75 None loop-lit/hhk2008.yml true 7.65 4.49 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 10.01 5.90 None loop-lit/jm2006.yml true 8.58 5.20 None loop-lit/jm2006_variant.yml true 9.32 6.56 None loop-lit/mcmillan2006.yml TIMEOUT 900.59 869.09 None loop-new/count_by_1.yml true 6.86 4.13 None loop-new/count_by_1_variant.yml true 13.91 8.44 None loop-new/count_by_2.yml TIMEOUT 900.42 882.34 None loop-new/count_by_k.yml TIMEOUT 900.73 837.50 None loop-new/count_by_nondet.yml TIMEOUT 900.80 754.45 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.43 882.41 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 891.03 884.47 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.47 879.59 None loop-new/gauss_sum.yml TIMEOUT 900.38 887.25 None loop-new/half.yml true 16.37 11.54 None loop-new/nested-1.yml true 45.02 28.65 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 4.26 2.35 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 4.25 2.64 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 4.35 2.73 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml true 18.02 11.79 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml true 11.69 7.15 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 30.66 20.17 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 51.66 41.97 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.66 3.29 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml true 8.43 5.05 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 8.89 5.30 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 8.46 5.13 None loop-industry-pattern/mod3.yml true 9.82 5.64 None loop-industry-pattern/nested-3.yml true 76.01 52.61 None loop-industry-pattern/ofuf_1.yml true 12.68 7.10 None loop-industry-pattern/ofuf_2.yml true 8.87 5.10 None loop-industry-pattern/ofuf_3.yml true 11.91 7.14 None loop-industry-pattern/ofuf_4.yml true 10.28 5.74 None loop-industry-pattern/ofuf_5.yml true 14.03 7.89 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.19 827.42 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.80 846.89 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.58 841.01 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.28 797.80 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.60 850.78 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.40 884.77 None loops-crafted-1/discover_list.yml ERROR: EXCEPTION 16.13 8.70 None loops-crafted-1/iftelse.yml TIMEOUT 900.53 855.34 None loops-crafted-1/in-de20.yml TIMEOUT 900.38 887.10 None loops-crafted-1/in-de31.yml TIMEOUT 900.61 698.16 None loops-crafted-1/in-de32.yml TIMEOUT 900.39 882.48 None loops-crafted-1/in-de41.yml TIMEOUT 900.88 736.88 None loops-crafted-1/in-de42.yml TIMEOUT 900.41 880.83 None loops-crafted-1/in-de51.yml TIMEOUT 901.01 749.36 None loops-crafted-1/in-de52.yml TIMEOUT 900.41 882.41 None loops-crafted-1/in-de61.yml TIMEOUT 901.67 708.37 None loops-crafted-1/in-de62.yml TIMEOUT 901.16 820.50 None loops-crafted-1/loopv1.yml true 9.17 5.54 None loops-crafted-1/loopv2.yml TIMEOUT 900.39 887.25 None loops-crafted-1/loopv3.yml TIMEOUT 900.52 773.75 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.20 739.35 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.34 889.82 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.72 831.35 None loops-crafted-1/mono-crafted_12.yml TIMEOUT 900.53 855.40 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.80 770.89 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.48 870.23 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.60 786.60 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.07 748.26 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.80 788.93 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.61 846.11 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.50 882.61 None loops-crafted-1/nested3-1.yml ERROR: EXCEPTION 56.17 44.82 None loops-crafted-1/nested3-2.yml false(unreach-call) 7.36 4.37 None loops-crafted-1/nested5-1.yml true 9.27 6.23 None loops-crafted-1/nested5-2.yml TIMEOUT 900.56 851.02 None loops-crafted-1/nested_delay_nd.yml true 82.25 60.85 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 130.60 108.98 None loops-crafted-1/net_reset.yml true 7.74 4.51 None loops-crafted-1/sum_by_3.yml OUT OF MEMORY 227.15 189.35 None loops-crafted-1/sum_natnum.yml true 14.75 11.28 None loops-crafted-1/sumt2.yml true 11.15 7.20 None loops-crafted-1/sumt3.yml TIMEOUT 900.34 893.51 None loops-crafted-1/sumt4.yml TIMEOUT 900.37 889.89 None loops-crafted-1/sumt5.yml TIMEOUT 900.36 884.58 None loops-crafted-1/sumt6.yml TIMEOUT 900.41 880.20 None loops-crafted-1/sumt7.yml TIMEOUT 900.44 884.78 None loops-crafted-1/sumt8.yml TIMEOUT 900.42 886.26 None loops-crafted-1/sumt9.yml TIMEOUT 900.40 884.55 None loops-crafted-1/theatreSquare.yml OUT OF MEMORY 535.44 517.50 None loops-crafted-1/vnew1.yml TIMEOUT 900.34 894.69 None loops-crafted-1/vnew2.yml OUT OF MEMORY 615.02 538.03 None loops-crafted-1/watermelon.yml TIMEOUT 900.12 818.53 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 6.97 4.16 None loop-invariants/const.yml true 7.48 4.50 None loop-invariants/eq1.yml true 7.75 4.69 None loop-invariants/eq2.yml true 7.47 4.12 None loop-invariants/even.yml true 8.98 5.45 None loop-invariants/linear-inequality-inv-a.yml false(unreach-call) 27.01 23.27 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 8.31 4.64 None loop-invariants/mod4.yml true 8.24 4.74 None loop-invariants/odd.yml true 8.51 4.89 None loop-simple/deep-nested.yml TIMEOUT 901.16 856.54 None loop-simple/nested_1.yml true 8.53 4.89 None loop-simple/nested_1b.yml false(unreach-call) 11.09 7.30 None loop-simple/nested_2.yml true 13.42 9.55 None loop-simple/nested_3.yml true 17.29 11.55 None loop-simple/nested_4.yml true 43.77 30.28 None loop-simple/nested_5.yml true 57.17 38.57 None loop-simple/nested_6.yml OUT OF MEMORY 264.11 199.25 None loop-zilu/benchmark02_linear.yml true 7.83 4.75 None loop-zilu/benchmark04_conjunctive.yml true 10.84 6.45 None loop-zilu/benchmark05_conjunctive.yml true 9.71 5.72 None loop-zilu/benchmark09_conjunctive.yml true 9.24 5.64 None loop-zilu/benchmark10_conjunctive.yml true 10.08 6.16 None loop-zilu/benchmark11_linear.yml true 8.97 5.43 None loop-zilu/benchmark14_linear.yml true 8.03 4.44 None loop-zilu/benchmark17_conjunctive.yml true 8.14 4.91 None loop-zilu/benchmark18_conjunctive.yml true 9.53 6.04 None loop-zilu/benchmark19_conjunctive.yml true 11.12 6.68 None loop-zilu/benchmark20_conjunctive.yml true 18.14 13.60 None loop-zilu/benchmark23_conjunctive.yml true 7.69 5.09 None loop-zilu/benchmark25_linear.yml true 9.58 5.77 None loop-zilu/benchmark26_linear.yml true 6.86 4.41 None loop-zilu/benchmark32_linear.yml true 7.47 4.23 None loop-zilu/benchmark33_linear.yml true 5.99 3.54 None loop-zilu/benchmark34_conjunctive.yml true 10.30 6.43 None loop-zilu/benchmark35_linear.yml true 6.58 3.91 None loop-zilu/benchmark37_conjunctive.yml true 6.34 3.52 None loop-zilu/benchmark43_conjunctive.yml true 9.93 5.86 None loop-zilu/benchmark51_polynomial.yml true 5.72 3.46 None loop-zilu/benchmark52_polynomial.yml true 13.36 10.62 None verifythis/duplets.yml TIMEOUT 900.52 865.57 None verifythis/elimination_max.yml true 7.25 4.67 None verifythis/lcp.yml true 11.23 7.11 None verifythis/prefixsum_iter.yml ERROR: EXCEPTION 5.37 3.13 None verifythis/tree_del_iter.yml ERROR: EXCEPTION 5.14 3.03 None verifythis/tree_del_iter_incorrect.yml ERROR: EXCEPTION 5.70 3.73 None nla-digbench/bresenham-ll.yml true 10.43 7.27 None nla-digbench/cohencu-ll.yml ERROR: EXCEPTION 19.27 14.80 None nla-digbench/cohendiv-ll.yml ERROR: EXCEPTION 11.27 8.17 None nla-digbench/dijkstra-u.yml TIMEOUT 900.41 881.97 None nla-digbench/divbin.yml TIMEOUT 900.35 889.70 None nla-digbench/divbin2.yml TIMEOUT 900.31 897.01 None nla-digbench/egcd-ll.yml TIMEOUT 900.63 893.45 None nla-digbench/egcd2-ll.yml TIMEOUT 900.36 891.07 None nla-digbench/egcd3-ll.yml ERROR: EXCEPTION 32.57 22.23 None nla-digbench/fermat1-ll.yml ERROR: EXCEPTION 15.06 11.98 None nla-digbench/fermat2-ll.yml ERROR: EXCEPTION 20.06 16.26 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 7.24 4.14 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 8.24 5.11 None nla-digbench/geo1-ll.yml true 59.66 54.45 None nla-digbench/geo1-u.yml false(unreach-call) 8.01 5.05 None nla-digbench/geo2-ll.yml TIMEOUT 900.38 895.07 None nla-digbench/geo3-ll.yml true 193.35 187.46 None nla-digbench/hard-ll.yml TIMEOUT 900.46 878.58 None nla-digbench/hard-u.yml ERROR: EXCEPTION 624.75 595.91 None nla-digbench/hard2.yml ERROR: EXCEPTION 37.08 32.30 None nla-digbench/knuth.yml ERROR: EXCEPTION 4.20 2.58 None nla-digbench/lcm1.yml TIMEOUT 900.32 896.92 None nla-digbench/lcm2.yml ERROR: EXCEPTION 6.10 4.12 None nla-digbench/mannadiv.yml true 7.18 4.28 None nla-digbench/prod4br-ll.yml ERROR: EXCEPTION 8.37 5.65 None nla-digbench/prodbin-ll.yml ERROR: EXCEPTION 7.33 4.52 None nla-digbench/ps2-ll.yml ERROR: EXCEPTION 6.95 5.20 None nla-digbench/ps3-ll.yml TIMEOUT 900.31 897.41 None nla-digbench/ps4-ll.yml ERROR: EXCEPTION 12.04 9.47 None nla-digbench/ps5-ll.yml TIMEOUT 900.31 896.38 None nla-digbench/ps6-ll.yml ERROR: EXCEPTION 89.42 85.66 None nla-digbench/sqrt1-ll.yml true 11.93 7.72 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 9.56 6.36 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml true 13.67 8.99 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml true 13.14 8.66 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 12.95 8.47 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml true 12.36 9.20 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml true 13.73 8.69 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml true 11.72 9.56 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 14.56 9.18 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 10.87 7.70 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 15.41 10.25 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 12.77 8.06 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 10.87 7.51 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 16.99 10.77 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 13.31 9.70 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 11.54 7.35 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml TIMEOUT 900.37 895.37 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml TIMEOUT 900.37 892.20 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 15.71 10.67 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml TIMEOUT 900.35 892.67 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml TIMEOUT 900.34 895.81 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml TIMEOUT 900.32 896.06 None nla-digbench-scaling/cohencu-ll_valuebound1.yml ERROR: EXCEPTION 17.14 13.76 None nla-digbench-scaling/cohencu-ll_valuebound10.yml ERROR: EXCEPTION 18.60 14.71 None nla-digbench-scaling/cohencu-ll_valuebound100.yml ERROR: EXCEPTION 25.22 21.47 None nla-digbench-scaling/cohencu-ll_valuebound2.yml ERROR: EXCEPTION 17.13 13.56 None nla-digbench-scaling/cohencu-ll_valuebound20.yml ERROR: EXCEPTION 19.46 14.22 None nla-digbench-scaling/cohencu-ll_valuebound5.yml ERROR: EXCEPTION 17.08 13.01 None nla-digbench-scaling/cohencu-ll_valuebound50.yml ERROR: EXCEPTION 29.53 24.06 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 8.46 6.27 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml ERROR: EXCEPTION 13.00 10.46 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml ERROR: EXCEPTION 12.68 9.64 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 13.65 10.62 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml ERROR: EXCEPTION 12.14 9.26 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml ERROR: EXCEPTION 12.03 9.19 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml ERROR: EXCEPTION 12.77 9.64 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 9.44 7.14 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml ERROR: EXCEPTION 10.64 7.20 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml ERROR: EXCEPTION 10.70 7.92 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 11.52 7.62 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml ERROR: EXCEPTION 10.62 7.17 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml ERROR: EXCEPTION 14.45 11.11 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml ERROR: EXCEPTION 11.60 7.95 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 25.19 21.91 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.42 882.06 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.40 885.13 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 34.82 30.82 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.44 877.03 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.43 881.60 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.47 874.69 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.46 875.40 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.40 882.38 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.39 884.29 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.42 883.18 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.46 874.80 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.37 884.22 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.46 873.67 None nla-digbench-scaling/divbin2_unwindbound1.yml true 7.71 4.89 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.32 894.74 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.31 897.44 None nla-digbench-scaling/divbin2_unwindbound2.yml true 8.78 6.55 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.33 896.62 None nla-digbench-scaling/divbin2_unwindbound5.yml true 15.62 11.84 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.33 894.67 None nla-digbench-scaling/divbin2_valuebound1.yml true 11.40 7.61 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.42 888.64 None nla-digbench-scaling/divbin2_valuebound100.yml ERROR: EXCEPTION 124.18 117.33 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.55 880.20 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.35 895.29 None nla-digbench-scaling/divbin2_valuebound5.yml true 29.37 21.72 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.36 892.93 None nla-digbench-scaling/divbin_unwindbound1.yml true 8.19 5.22 None nla-digbench-scaling/divbin_unwindbound10.yml OUT OF MEMORY 757.42 645.12 None nla-digbench-scaling/divbin_unwindbound100.yml OUT OF MEMORY 307.32 262.99 None nla-digbench-scaling/divbin_unwindbound2.yml true 8.96 6.24 None nla-digbench-scaling/divbin_unwindbound20.yml OUT OF MEMORY 263.73 232.55 None nla-digbench-scaling/divbin_unwindbound5.yml OUT OF MEMORY 207.70 175.81 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 901.33 775.42 None nla-digbench-scaling/divbin_valuebound1.yml true 10.99 7.33 None nla-digbench-scaling/divbin_valuebound10.yml ERROR: EXCEPTION 245.06 217.53 None nla-digbench-scaling/divbin_valuebound100.yml ERROR: EXCEPTION 249.17 220.69 None nla-digbench-scaling/divbin_valuebound2.yml OUT OF MEMORY 227.47 193.20 None nla-digbench-scaling/divbin_valuebound20.yml OUT OF MEMORY 122.52 97.05 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.35 892.31 None nla-digbench-scaling/divbin_valuebound50.yml ERROR: EXCEPTION 264.37 245.80 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 11.96 7.39 None nla-digbench-scaling/egcd-ll_unwindbound10.yml ERROR: EXCEPTION 41.78 31.57 None nla-digbench-scaling/egcd-ll_unwindbound100.yml ERROR: EXCEPTION 34.88 28.34 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 12.02 8.62 None nla-digbench-scaling/egcd-ll_unwindbound20.yml ERROR: EXCEPTION 34.07 28.17 None nla-digbench-scaling/egcd-ll_unwindbound5.yml ERROR: EXCEPTION 42.33 31.36 None nla-digbench-scaling/egcd-ll_unwindbound50.yml ERROR: EXCEPTION 35.36 28.40 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 13.19 8.71 None nla-digbench-scaling/egcd-ll_valuebound10.yml ERROR: EXCEPTION 16.21 12.84 None nla-digbench-scaling/egcd-ll_valuebound100.yml ERROR: EXCEPTION 20.01 13.42 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 13.82 10.37 None nla-digbench-scaling/egcd-ll_valuebound20.yml ERROR: EXCEPTION 16.04 11.14 None nla-digbench-scaling/egcd-ll_valuebound5.yml ERROR: EXCEPTION 16.20 12.57 None nla-digbench-scaling/egcd-ll_valuebound50.yml ERROR: EXCEPTION 15.50 11.57 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 10.10 8.18 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml TIMEOUT 900.49 881.17 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.40 888.79 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 13.26 10.20 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml TIMEOUT 900.46 881.17 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 49.28 39.87 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml TIMEOUT 900.48 878.78 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 16.98 12.24 None nla-digbench-scaling/egcd2-ll_valuebound10.yml ERROR: EXCEPTION 238.63 221.93 None nla-digbench-scaling/egcd2-ll_valuebound100.yml ERROR: EXCEPTION 39.72 31.08 None nla-digbench-scaling/egcd2-ll_valuebound2.yml ERROR: EXCEPTION 26.62 20.48 None nla-digbench-scaling/egcd2-ll_valuebound20.yml TIMEOUT 900.47 877.39 None nla-digbench-scaling/egcd2-ll_valuebound5.yml ERROR: EXCEPTION 102.55 87.81 None nla-digbench-scaling/egcd2-ll_valuebound50.yml ERROR: EXCEPTION 40.80 31.92 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 7.81 5.39 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml ERROR: EXCEPTION 36.16 29.24 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml ERROR: EXCEPTION 34.41 28.06 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 8.52 6.57 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml ERROR: EXCEPTION 36.82 30.11 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 16.27 13.68 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml ERROR: EXCEPTION 35.88 28.58 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 13.01 8.77 None nla-digbench-scaling/egcd3-ll_valuebound10.yml true 26.97 20.31 None nla-digbench-scaling/egcd3-ll_valuebound100.yml ERROR: EXCEPTION 22.89 17.79 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 29.94 21.20 None nla-digbench-scaling/egcd3-ll_valuebound20.yml ERROR: EXCEPTION 24.00 17.15 None nla-digbench-scaling/egcd3-ll_valuebound5.yml true 25.82 19.43 None nla-digbench-scaling/egcd3-ll_valuebound50.yml ERROR: EXCEPTION 24.32 18.06 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml ERROR: EXCEPTION 24.82 22.67 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml ERROR: EXCEPTION 26.90 24.59 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml ERROR: EXCEPTION 13.64 11.32 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml ERROR: EXCEPTION 25.39 22.48 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml ERROR: EXCEPTION 16.55 14.68 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml ERROR: EXCEPTION 23.90 21.41 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml ERROR: EXCEPTION 13.82 12.15 None nla-digbench-scaling/fermat1-ll_valuebound1.yml ERROR: EXCEPTION 6.28 4.27 None nla-digbench-scaling/fermat1-ll_valuebound10.yml ERROR: EXCEPTION 7.60 4.79 None nla-digbench-scaling/fermat1-ll_valuebound100.yml ERROR: EXCEPTION 15.20 13.34 None nla-digbench-scaling/fermat1-ll_valuebound2.yml ERROR: EXCEPTION 11.91 9.22 None nla-digbench-scaling/fermat1-ll_valuebound20.yml ERROR: EXCEPTION 11.76 8.70 None nla-digbench-scaling/fermat1-ll_valuebound5.yml ERROR: EXCEPTION 9.10 6.84 None nla-digbench-scaling/fermat1-ll_valuebound50.yml ERROR: EXCEPTION 14.59 11.97 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml ERROR: EXCEPTION 18.41 15.84 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml ERROR: EXCEPTION 9.47 7.00 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml ERROR: EXCEPTION 14.96 13.61 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml ERROR: EXCEPTION 18.16 16.52 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml ERROR: EXCEPTION 14.58 12.52 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml ERROR: EXCEPTION 9.64 7.06 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml ERROR: EXCEPTION 15.17 13.71 None nla-digbench-scaling/fermat2-ll_valuebound1.yml ERROR: EXCEPTION 6.37 4.22 None nla-digbench-scaling/fermat2-ll_valuebound10.yml ERROR: EXCEPTION 6.99 5.24 None nla-digbench-scaling/fermat2-ll_valuebound100.yml ERROR: EXCEPTION 7.16 5.08 None nla-digbench-scaling/fermat2-ll_valuebound2.yml ERROR: EXCEPTION 24.74 22.30 None nla-digbench-scaling/fermat2-ll_valuebound20.yml ERROR: EXCEPTION 7.70 4.99 None nla-digbench-scaling/fermat2-ll_valuebound5.yml ERROR: EXCEPTION 7.17 4.68 None nla-digbench-scaling/fermat2-ll_valuebound50.yml ERROR: EXCEPTION 7.01 4.99 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 6.41 4.11 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 5.73 3.76 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 5.69 3.83 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 6.14 3.74 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 6.02 3.86 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 5.92 4.02 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 5.98 3.37 None nla-digbench-scaling/freire1_valuebound1.yml ERROR: EXCEPTION 5.14 3.25 None nla-digbench-scaling/freire1_valuebound10.yml ERROR: EXCEPTION 5.31 3.74 None nla-digbench-scaling/freire1_valuebound100.yml ERROR: EXCEPTION 5.31 3.49 None nla-digbench-scaling/freire1_valuebound2.yml ERROR: EXCEPTION 5.63 3.54 None nla-digbench-scaling/freire1_valuebound20.yml ERROR: EXCEPTION 5.64 3.44 None nla-digbench-scaling/freire1_valuebound5.yml ERROR: EXCEPTION 4.88 3.77 None nla-digbench-scaling/freire1_valuebound50.yml ERROR: EXCEPTION 5.67 3.92 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.31 3.98 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 6.12 3.90 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 6.38 4.57 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.45 4.81 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 7.70 5.53 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 6.37 4.07 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.61 4.11 None nla-digbench-scaling/freire2_valuebound1.yml ERROR: EXCEPTION 5.54 3.24 None nla-digbench-scaling/freire2_valuebound10.yml ERROR: EXCEPTION 5.53 3.16 None nla-digbench-scaling/freire2_valuebound100.yml ERROR: EXCEPTION 5.38 3.95 None nla-digbench-scaling/freire2_valuebound2.yml ERROR: EXCEPTION 5.10 3.18 None nla-digbench-scaling/freire2_valuebound20.yml ERROR: EXCEPTION 6.22 3.79 None nla-digbench-scaling/freire2_valuebound5.yml ERROR: EXCEPTION 5.39 3.46 None nla-digbench-scaling/freire2_valuebound50.yml ERROR: EXCEPTION 5.49 3.28 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 11.48 9.97 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 63.22 59.16 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 59.78 56.93 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 34.49 31.27 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 55.93 52.23 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 56.35 52.73 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 54.21 51.12 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 8.33 5.50 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 9.66 5.98 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 7.33 4.53 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 7.75 4.70 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 10.48 6.99 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 7.45 4.63 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 49.95 44.45 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 6.64 4.38 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 7.06 5.23 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 6.33 4.13 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 6.85 4.70 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 6.62 4.69 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 6.36 4.23 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 7.01 4.89 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 7.39 5.27 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 6.47 4.13 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 6.88 4.56 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 6.03 5.90 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 6.42 4.35 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 6.90 4.78 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 6.84 4.48 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 8.14 6.36 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 67.60 64.30 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 48.66 45.80 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 33.01 30.49 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 45.56 43.11 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 66.21 62.76 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 49.15 46.60 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 8.51 5.32 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 49.12 45.74 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 147.50 140.82 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.43 5.87 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 39.70 36.35 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 43.28 41.04 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 49.18 46.01 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 7.43 5.24 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 298.93 291.31 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 227.24 221.06 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 47.31 44.59 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 355.86 349.40 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 338.43 333.21 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 403.04 398.55 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 7.15 4.67 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 21.24 18.25 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 43.86 40.53 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 8.06 5.68 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 31.88 28.54 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 19.78 16.43 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 49.05 43.22 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 10.74 7.80 None nla-digbench-scaling/hard-ll_unwindbound10.yml ERROR: EXCEPTION 20.53 13.91 None nla-digbench-scaling/hard-ll_unwindbound100.yml ERROR: EXCEPTION 20.08 13.72 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 12.69 8.80 None nla-digbench-scaling/hard-ll_unwindbound20.yml ERROR: EXCEPTION 19.22 13.29 None nla-digbench-scaling/hard-ll_unwindbound5.yml ERROR: EXCEPTION 19.67 12.94 None nla-digbench-scaling/hard-ll_unwindbound50.yml ERROR: EXCEPTION 17.95 13.07 None nla-digbench-scaling/hard-ll_valuebound1.yml true 20.88 12.44 None nla-digbench-scaling/hard-ll_valuebound10.yml ERROR: EXCEPTION 18.62 11.91 None nla-digbench-scaling/hard-ll_valuebound100.yml ERROR: EXCEPTION 17.01 11.40 None nla-digbench-scaling/hard-ll_valuebound2.yml OUT OF MEMORY 250.99 214.96 None nla-digbench-scaling/hard-ll_valuebound20.yml ERROR: EXCEPTION 18.24 11.23 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.37 882.95 None nla-digbench-scaling/hard-ll_valuebound50.yml ERROR: EXCEPTION 17.93 11.40 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 10.24 6.98 None nla-digbench-scaling/hard-u_unwindbound10.yml ERROR: EXCEPTION 697.13 673.92 None nla-digbench-scaling/hard-u_unwindbound100.yml ERROR: EXCEPTION 597.48 574.13 None nla-digbench-scaling/hard-u_unwindbound2.yml false(unreach-call) 12.05 8.54 None nla-digbench-scaling/hard-u_unwindbound20.yml ERROR: EXCEPTION 608.02 585.57 None nla-digbench-scaling/hard-u_unwindbound5.yml ERROR: EXCEPTION 591.23 567.93 None nla-digbench-scaling/hard-u_unwindbound50.yml ERROR: EXCEPTION 660.79 645.02 None nla-digbench-scaling/hard-u_valuebound1.yml OUT OF MEMORY 594.53 499.29 None nla-digbench-scaling/hard-u_valuebound10.yml ERROR: EXCEPTION 119.85 100.68 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.49 640.04 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.44 878.61 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.43 880.65 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.72 854.23 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.43 878.03 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 9.36 5.82 None nla-digbench-scaling/hard2_unwindbound10.yml ERROR: EXCEPTION 38.10 33.05 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 901.08 847.81 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 11.14 7.43 None nla-digbench-scaling/hard2_unwindbound20.yml ERROR: EXCEPTION 37.49 30.37 None nla-digbench-scaling/hard2_unwindbound5.yml ERROR: EXCEPTION 38.21 32.43 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 900.92 862.24 None nla-digbench-scaling/hard2_valuebound1.yml true 12.38 8.02 None nla-digbench-scaling/hard2_valuebound10.yml ERROR: EXCEPTION 23.00 15.82 None nla-digbench-scaling/hard2_valuebound100.yml ERROR: EXCEPTION 32.46 22.40 None nla-digbench-scaling/hard2_valuebound2.yml true 19.25 13.08 None nla-digbench-scaling/hard2_valuebound20.yml ERROR: EXCEPTION 33.12 22.98 None nla-digbench-scaling/hard2_valuebound5.yml ERROR: EXCEPTION 22.40 15.89 None nla-digbench-scaling/hard2_valuebound50.yml ERROR: EXCEPTION 32.41 23.23 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 4.34 2.60 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 3.84 2.24 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 4.46 2.73 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 3.99 2.42 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 3.91 2.34 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 3.94 2.53 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 3.92 2.23 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 4.18 2.53 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 4.12 2.29 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 4.28 2.76 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 3.94 2.21 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.00 2.67 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 3.97 2.35 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 4.18 2.26 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.42 896.45 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.45 897.40 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.42 896.75 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.44 897.05 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.45 897.07 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.42 897.98 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.42 897.38 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.31 898.01 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.33 895.59 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.34 895.24 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.34 895.33 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.33 895.53 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.34 894.68 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.31 897.33 None nla-digbench-scaling/lcm2_unwindbound1.yml ERROR: EXCEPTION 7.16 4.76 None nla-digbench-scaling/lcm2_unwindbound10.yml ERROR: EXCEPTION 6.63 4.55 None nla-digbench-scaling/lcm2_unwindbound100.yml ERROR: EXCEPTION 7.00 5.16 None nla-digbench-scaling/lcm2_unwindbound2.yml ERROR: EXCEPTION 7.03 4.21 None nla-digbench-scaling/lcm2_unwindbound20.yml ERROR: EXCEPTION 7.14 4.54 None nla-digbench-scaling/lcm2_unwindbound5.yml ERROR: EXCEPTION 6.65 4.55 None nla-digbench-scaling/lcm2_unwindbound50.yml ERROR: EXCEPTION 7.01 4.66 None nla-digbench-scaling/lcm2_valuebound1.yml ERROR: EXCEPTION 6.46 3.89 None nla-digbench-scaling/lcm2_valuebound10.yml ERROR: EXCEPTION 6.65 4.02 None nla-digbench-scaling/lcm2_valuebound100.yml ERROR: EXCEPTION 6.39 3.88 None nla-digbench-scaling/lcm2_valuebound2.yml ERROR: EXCEPTION 6.24 3.85 None nla-digbench-scaling/lcm2_valuebound20.yml ERROR: EXCEPTION 6.73 4.11 None nla-digbench-scaling/lcm2_valuebound5.yml ERROR: EXCEPTION 6.98 4.46 None nla-digbench-scaling/lcm2_valuebound50.yml ERROR: EXCEPTION 6.49 4.22 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 7.52 5.00 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 13.96 10.38 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 592.34 513.69 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 9.21 6.55 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 25.20 20.23 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 9.84 6.89 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 110.44 89.54 None nla-digbench-scaling/mannadiv_valuebound1.yml true 7.44 4.83 None nla-digbench-scaling/mannadiv_valuebound10.yml true 6.75 4.25 None nla-digbench-scaling/mannadiv_valuebound100.yml true 7.08 4.75 None nla-digbench-scaling/mannadiv_valuebound2.yml true 7.46 4.81 None nla-digbench-scaling/mannadiv_valuebound20.yml true 6.88 4.14 None nla-digbench-scaling/mannadiv_valuebound5.yml true 6.73 4.31 None nla-digbench-scaling/mannadiv_valuebound50.yml true 6.87 4.72 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 8.33 5.38 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml ERROR: EXCEPTION 8.54 5.74 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml ERROR: EXCEPTION 8.26 5.76 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml ERROR: EXCEPTION 8.56 6.29 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml ERROR: EXCEPTION 8.52 5.70 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml ERROR: EXCEPTION 8.56 5.75 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml ERROR: EXCEPTION 8.69 6.25 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 11.66 8.06 None nla-digbench-scaling/prod4br-ll_valuebound10.yml TIMEOUT 900.41 887.40 None nla-digbench-scaling/prod4br-ll_valuebound100.yml TIMEOUT 900.40 885.38 None nla-digbench-scaling/prod4br-ll_valuebound2.yml TIMEOUT 900.40 885.01 None nla-digbench-scaling/prod4br-ll_valuebound20.yml TIMEOUT 900.38 886.59 None nla-digbench-scaling/prod4br-ll_valuebound5.yml TIMEOUT 900.43 882.73 None nla-digbench-scaling/prod4br-ll_valuebound50.yml TIMEOUT 900.38 887.47 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 6.78 5.40 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml ERROR: EXCEPTION 7.05 5.39 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml ERROR: EXCEPTION 7.02 4.97 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml ERROR: EXCEPTION 6.85 5.19 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml ERROR: EXCEPTION 7.19 5.59 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml ERROR: EXCEPTION 7.58 5.76 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml ERROR: EXCEPTION 7.97 7.46 None nla-digbench-scaling/prodbin-ll_valuebound1.yml ERROR: EXCEPTION 7.32 5.69 None nla-digbench-scaling/prodbin-ll_valuebound10.yml ERROR: EXCEPTION 7.66 5.82 None nla-digbench-scaling/prodbin-ll_valuebound100.yml ERROR: EXCEPTION 7.52 6.26 None nla-digbench-scaling/prodbin-ll_valuebound2.yml ERROR: EXCEPTION 7.82 6.67 None nla-digbench-scaling/prodbin-ll_valuebound20.yml ERROR: EXCEPTION 6.93 5.24 None nla-digbench-scaling/prodbin-ll_valuebound5.yml ERROR: EXCEPTION 7.51 5.76 None nla-digbench-scaling/prodbin-ll_valuebound50.yml ERROR: EXCEPTION 7.27 5.61 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 7.02 5.53 None nla-digbench-scaling/ps2-ll_unwindbound10.yml ERROR: EXCEPTION 8.54 7.18 None nla-digbench-scaling/ps2-ll_unwindbound100.yml ERROR: EXCEPTION 7.64 6.38 None nla-digbench-scaling/ps2-ll_unwindbound2.yml ERROR: EXCEPTION 7.63 6.06 None nla-digbench-scaling/ps2-ll_unwindbound20.yml ERROR: EXCEPTION 8.20 6.71 None nla-digbench-scaling/ps2-ll_unwindbound5.yml ERROR: EXCEPTION 7.80 6.57 None nla-digbench-scaling/ps2-ll_unwindbound50.yml ERROR: EXCEPTION 7.98 6.60 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 7.33 4.92 None nla-digbench-scaling/ps2-ll_valuebound10.yml ERROR: EXCEPTION 7.46 5.76 None nla-digbench-scaling/ps2-ll_valuebound100.yml ERROR: EXCEPTION 7.31 5.54 None nla-digbench-scaling/ps2-ll_valuebound2.yml ERROR: EXCEPTION 7.37 5.97 None nla-digbench-scaling/ps2-ll_valuebound20.yml ERROR: EXCEPTION 6.95 5.54 None nla-digbench-scaling/ps2-ll_valuebound5.yml ERROR: EXCEPTION 7.02 7.37 None nla-digbench-scaling/ps2-ll_valuebound50.yml ERROR: EXCEPTION 6.66 5.47 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 6.59 5.37 None nla-digbench-scaling/ps3-ll_unwindbound10.yml TIMEOUT 900.30 898.38 None nla-digbench-scaling/ps3-ll_unwindbound100.yml TIMEOUT 900.37 895.02 None nla-digbench-scaling/ps3-ll_unwindbound2.yml TIMEOUT 900.36 895.48 None nla-digbench-scaling/ps3-ll_unwindbound20.yml TIMEOUT 900.34 895.61 None nla-digbench-scaling/ps3-ll_unwindbound5.yml TIMEOUT 900.36 895.26 None nla-digbench-scaling/ps3-ll_unwindbound50.yml TIMEOUT 900.34 899.56 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 6.76 4.47 None nla-digbench-scaling/ps3-ll_valuebound10.yml TIMEOUT 900.32 897.02 None nla-digbench-scaling/ps3-ll_valuebound100.yml TIMEOUT 900.37 897.35 None nla-digbench-scaling/ps3-ll_valuebound2.yml TIMEOUT 900.36 897.15 None nla-digbench-scaling/ps3-ll_valuebound20.yml TIMEOUT 900.31 897.47 None nla-digbench-scaling/ps3-ll_valuebound5.yml TIMEOUT 900.30 897.60 None nla-digbench-scaling/ps3-ll_valuebound50.yml TIMEOUT 900.33 898.00 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 6.30 4.30 None nla-digbench-scaling/ps4-ll_unwindbound10.yml ERROR: EXCEPTION 12.95 10.62 None nla-digbench-scaling/ps4-ll_unwindbound100.yml ERROR: EXCEPTION 9.27 7.34 None nla-digbench-scaling/ps4-ll_unwindbound2.yml ERROR: EXCEPTION 12.48 10.54 None nla-digbench-scaling/ps4-ll_unwindbound20.yml ERROR: EXCEPTION 11.86 9.60 None nla-digbench-scaling/ps4-ll_unwindbound5.yml ERROR: EXCEPTION 12.44 10.13 None nla-digbench-scaling/ps4-ll_unwindbound50.yml ERROR: EXCEPTION 9.61 8.43 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 10.10 7.52 None nla-digbench-scaling/ps4-ll_valuebound10.yml ERROR: EXCEPTION 8.56 6.74 None nla-digbench-scaling/ps4-ll_valuebound100.yml ERROR: EXCEPTION 10.72 8.23 None nla-digbench-scaling/ps4-ll_valuebound2.yml ERROR: EXCEPTION 13.19 10.82 None nla-digbench-scaling/ps4-ll_valuebound20.yml ERROR: EXCEPTION 18.74 16.30 None nla-digbench-scaling/ps4-ll_valuebound5.yml ERROR: EXCEPTION 11.22 8.71 None nla-digbench-scaling/ps4-ll_valuebound50.yml ERROR: EXCEPTION 10.43 8.04 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 8.15 5.46 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.36 897.67 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.35 896.42 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 11.02 10.01 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.32 898.05 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.36 895.08 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.36 894.98 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 10.46 6.42 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.36 894.48 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.37 894.52 None nla-digbench-scaling/ps5-ll_valuebound2.yml TIMEOUT 900.36 894.72 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.34 896.94 None nla-digbench-scaling/ps5-ll_valuebound5.yml TIMEOUT 900.33 896.55 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.35 896.87 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 8.98 7.18 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.35 896.49 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.35 896.54 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 17.74 14.94 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.35 897.25 None nla-digbench-scaling/ps6-ll_unwindbound5.yml TIMEOUT 900.37 896.79 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.36 896.60 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 10.78 8.73 None nla-digbench-scaling/ps6-ll_valuebound10.yml ERROR: EXCEPTION 45.88 44.16 None nla-digbench-scaling/ps6-ll_valuebound100.yml ERROR: EXCEPTION 188.83 186.37 None nla-digbench-scaling/ps6-ll_valuebound2.yml ERROR: EXCEPTION 19.70 15.53 None nla-digbench-scaling/ps6-ll_valuebound20.yml ERROR: EXCEPTION 17.00 12.04 None nla-digbench-scaling/ps6-ll_valuebound5.yml ERROR: EXCEPTION 15.91 11.25 None nla-digbench-scaling/ps6-ll_valuebound50.yml ERROR: EXCEPTION 16.66 11.99 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 11.88 7.49 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml ERROR: EXCEPTION 21.42 16.42 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 13.66 9.13 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 15.10 9.79 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 14.04 9.11 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml ERROR: EXCEPTION 21.90 16.73 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 14.85 9.70 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 12.17 7.78 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml ERROR: EXCEPTION 17.31 11.07 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml ERROR: EXCEPTION 16.23 11.04 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 12.07 7.52 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml ERROR: EXCEPTION 16.16 10.48 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 14.54 9.84 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml ERROR: EXCEPTION 16.09 10.77 None ---------------------------------------------------------------------------------------------------------------------------- Run set 2 done 99483.63 13384.16 - 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 9.84 5.99 None loops/array-2.yml false(unreach-call) 6.32 4.07 None loops/bubble_sort-1.yml true 5.03 3.30 None loops/bubble_sort-2.yml false(unreach-call) 13.89 8.14 None loops/compact.yml TIMEOUT 900.74 716.92 None loops/count_up_down-1.yml TIMEOUT 900.61 877.33 None loops/count_up_down-2.yml false(unreach-call) 5.39 3.09 None loops/eureka_01-1.yml false(unreach-call) 39.64 22.08 None loops/eureka_01-2.yml TIMEOUT 900.77 845.34 None loops/eureka_05.yml TIMEOUT 901.08 826.99 None loops/for_bounded_loop1.yml false(unreach-call) 8.23 4.85 None loops/for_infinite_loop_1.yml true 7.10 5.10 None loops/for_infinite_loop_2.yml true 7.04 4.48 None loops/heavy-1.yml TIMEOUT 900.37 891.12 None loops/heavy-2.yml TIMEOUT 900.45 888.06 None loops/insertion_sort-1.yml false(unreach-call) 102.46 75.11 None loops/insertion_sort-2.yml TIMEOUT 900.79 823.13 None loops/invert_string-1.yml false(unreach-call) 13.82 8.57 None loops/invert_string-3.yml true 40.98 28.25 None loops/linear_sea.ch.yml TIMEOUT 900.37 888.78 None loops/linear_search.yml TIMEOUT 900.45 876.57 None loops/lu.cmp.yml true 12.53 6.94 None loops/ludcmp.yml UNKNOWN: OverapproxCex 10.12 5.81 None loops/matrix-1.yml unknown 6.40 4.04 None loops/matrix-2.yml unknown 5.20 3.36 None loops/n.c11.yml true 12.08 7.20 None loops/n.c24.yml TIMEOUT 900.85 750.74 None loops/n.c40.yml true 7.18 4.50 None loops/nec11.yml false(unreach-call) 7.04 4.40 None loops/nec20.yml false(unreach-call) 7.25 4.42 None loops/nec40.yml true 8.86 5.53 None loops/s3.yml TIMEOUT 900.37 885.15 None loops/string-1.yml true 32.80 20.07 None loops/string-2.yml UNKNOWN: OverapproxCex 10.15 5.92 None loops/sum01-1.yml false(unreach-call) 7.92 4.89 None loops/sum01-2.yml false(unreach-call) 8.12 4.80 None loops/sum01_bug02.yml false(unreach-call) 8.35 5.01 None loops/sum01_bug02_sum01_bug02_base.case.yml ERROR: EXCEPTION 6.23 3.61 None loops/sum03-1.yml false(unreach-call) 109.08 103.36 None loops/sum03-2.yml true 7.86 4.35 None loops/sum04-1.yml true 18.38 10.30 None loops/sum04-2.yml true 19.45 11.53 None loops/sum_array-1.yml false(unreach-call) 6.86 4.02 None loops/sum_array-2.yml TIMEOUT 900.64 837.58 None loops/terminator_01.yml false(unreach-call) 7.53 4.42 None loops/terminator_02-1.yml false(unreach-call) 7.01 4.41 None loops/terminator_02-2.yml true 8.11 4.47 None loops/terminator_03-1.yml false(unreach-call) 7.46 4.56 None loops/terminator_03-2.yml true 7.31 4.16 None loops/trex01-1.yml false(unreach-call) 7.56 4.45 None loops/trex01-2.yml true 8.50 4.69 None loops/trex02-1.yml true 8.14 4.49 None loops/trex02-2.yml false(unreach-call) 7.12 4.31 None loops/trex03-1.yml false(unreach-call) 7.32 4.58 None loops/trex03-2.yml true 8.52 4.92 None loops/trex04.yml true 8.61 4.70 None loops/veris.c_NetBSD-libc_loop.yml true 11.01 6.32 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 10.92 6.15 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 8.71 5.19 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 10.07 6.07 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml unknown 12.42 7.05 None loops/vogal-1.yml TIMEOUT 900.82 817.96 None loops/vogal-2.yml TIMEOUT 901.04 826.78 None loops/while_infinite_loop_1.yml true 8.47 4.89 None loops/while_infinite_loop_2.yml true 9.02 5.25 None loops/while_infinite_loop_3.yml true 8.97 5.36 None loops/while_infinite_loop_4.yml false(unreach-call) 8.12 4.80 None loop-acceleration/array_1-1.yml TIMEOUT 900.65 740.63 None loop-acceleration/array_1-2.yml TIMEOUT 901.03 713.41 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.75 754.51 None loop-acceleration/array_2-1.yml TIMEOUT 901.02 790.89 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.69 764.80 None loop-acceleration/array_2-2.yml TIMEOUT 900.90 757.96 None loop-acceleration/array_3-1.yml true 10.54 6.03 None loop-acceleration/array_3-2.yml TIMEOUT 900.98 757.71 None loop-acceleration/array_4.yml TIMEOUT 900.50 869.08 None loop-acceleration/const_1-1.yml true 7.93 4.86 None loop-acceleration/const_1-2.yml false(unreach-call) 5.45 3.34 None loop-acceleration/diamond_1-1.yml false(unreach-call) 7.31 4.39 None loop-acceleration/diamond_1-2.yml false(unreach-call) 7.29 4.60 None loop-acceleration/diamond_2-2.yml TIMEOUT 900.55 878.59 None loop-acceleration/functions_1-1.yml TIMEOUT 900.49 869.55 None loop-acceleration/functions_1-2.yml false(unreach-call) 7.18 4.70 None loop-acceleration/multivar_1-1.yml true 6.52 4.29 None loop-acceleration/multivar_1-2.yml false(unreach-call) 5.89 3.69 None loop-acceleration/nested_1-1.yml TIMEOUT 900.23 797.20 None loop-acceleration/nested_1-2.yml false(unreach-call) 15.49 9.25 None loop-acceleration/overflow_1-1.yml true 77.57 74.57 None loop-acceleration/phases_1-1.yml TIMEOUT 901.02 771.33 None loop-acceleration/phases_1-2.yml TIMEOUT 900.85 772.17 None loop-acceleration/phases_2-1.yml false(unreach-call) 5.62 3.73 None loop-acceleration/phases_2-2.yml TIMEOUT 900.47 882.19 None loop-acceleration/simple_1-1.yml false(unreach-call) 16.32 8.63 None loop-acceleration/simple_1-2.yml true 10.67 6.08 None loop-acceleration/simple_2-1.yml true 13.56 7.35 None loop-acceleration/simple_2-2.yml false(unreach-call) 7.06 4.34 None loop-acceleration/simple_3-1.yml false(unreach-call) 11.98 6.48 None loop-acceleration/simple_3-2.yml true 12.46 7.12 None loop-acceleration/simple_4-1.yml false(unreach-call) 17.00 9.46 None loop-acceleration/simple_4-2.yml true 36.07 29.76 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 18.66 10.14 None loop-acceleration/underapprox_1-2.yml true 30.68 18.29 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 12.28 7.00 None loop-acceleration/underapprox_2-2.yml true 15.56 8.69 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 901.00 728.85 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 12.89 7.16 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 901.15 711.07 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 901.02 810.97 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml true 10.59 5.99 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml true 12.14 7.74 None loop-crafted/simple_array_index_value_4.yml true 11.76 6.66 None loop-crafted/simple_vardep_1.yml true 8.32 4.83 None loop-crafted/simple_vardep_2.yml true 8.79 5.22 None loop-invgen/MADWiFi-encode_ie_ok.yml false(unreach-call) 9.68 5.64 None loop-invgen/NetBSD_loop.yml false(unreach-call) 9.53 5.64 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 34.93 19.69 None loop-invgen/SpamAssassin-loop.yml true 16.04 9.95 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 27.91 16.56 None loop-invgen/apache-escape-absolute.yml true 14.72 8.01 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 34.04 19.33 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 58.30 38.49 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 98.19 68.97 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 33.92 18.22 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml ERROR: EXCEPTION 401.73 389.20 None loop-invgen/apache-get-tag.yml ERROR: EXCEPTION 11.29 6.17 None loop-invgen/down.yml true 13.32 7.61 None loop-invgen/fragtest_simple.yml true 13.75 7.69 None loop-invgen/half_2.yml false(unreach-call) 6.70 4.10 None loop-invgen/heapsort.yml false(unreach-call) 30.79 16.53 None loop-invgen/id_build.i.p+nlh-reducer.yml true 21.18 13.21 None loop-invgen/id_build.i.p+sep-reducer.yml true 20.40 12.65 None loop-invgen/id_build.i.v+lhb-reducer.yml true 10.98 5.94 None loop-invgen/id_build.yml true 9.47 5.55 None loop-invgen/id_trans.yml false(unreach-call) 7.34 4.74 None loop-invgen/large_const.yml unknown 6.49 4.12 None loop-invgen/nest-if3.yml true 6.84 3.87 None loop-invgen/nested6.yml false(unreach-call) 10.54 5.92 None loop-invgen/nested9.yml true 8.79 5.39 None loop-invgen/sendmail-close-angle.yml false(unreach-call) 11.42 6.76 None loop-invgen/seq-3.yml true 15.41 9.06 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.48 767.87 None loop-invgen/up.yml true 9.25 5.45 None loop-lit/afnp2014.yml ERROR: EXCEPTION 8.32 5.86 None loop-lit/bhmr2007.yml false(unreach-call) 8.19 4.60 None loop-lit/cggmp2005.yml true 9.20 5.21 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.57 861.24 None loop-lit/cggmp2005b.yml TIMEOUT 901.03 805.66 None loop-lit/css2003.yml true 6.66 3.84 None loop-lit/ddlm2013.yml ERROR: EXCEPTION 6.68 4.15 None loop-lit/gcnr2008.yml false(unreach-call) 5.59 3.65 None loop-lit/gj2007.c.i.p+lhb-reducer.yml TIMEOUT 900.21 792.04 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 144.01 101.50 None loop-lit/gj2007.yml TIMEOUT 900.65 873.29 None loop-lit/gj2007b.yml true 11.89 6.64 None loop-lit/gr2006.yml true 14.54 8.92 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml unknown 136.49 132.30 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml unknown 138.91 134.96 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 104.48 100.25 None loop-lit/gsv2008.yml unknown 139.81 133.94 None loop-lit/hhk2008.yml true 8.20 5.30 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 8.67 5.64 None loop-lit/jm2006.yml TIMEOUT 900.38 882.43 None loop-lit/jm2006_variant.yml TIMEOUT 900.41 877.67 None loop-lit/mcmillan2006.yml TIMEOUT 900.17 785.75 None loop-new/count_by_1.yml TIMEOUT 900.80 764.99 None loop-new/count_by_1_variant.yml true 9.94 5.80 None loop-new/count_by_2.yml TIMEOUT 901.04 736.43 None loop-new/count_by_k.yml unknown 11.99 7.64 None loop-new/count_by_nondet.yml unknown 13.58 9.41 None loop-new/gauss_sum.i.p+cfa-reducer.yml unknown 8.10 4.73 None loop-new/gauss_sum.i.p+lhb-reducer.yml unknown 7.72 4.56 None loop-new/gauss_sum.i.v+cfa-reducer.yml unknown 8.03 4.70 None loop-new/gauss_sum.yml unknown 8.23 4.86 None loop-new/half.yml ERROR: EXCEPTION 10.69 6.04 None loop-new/nested-1.yml false(unreach-call) 10.01 5.70 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.54 3.74 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 7.17 3.99 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.88 4.03 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 60.96 48.39 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TIMEOUT 900.47 871.72 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 370.74 271.05 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 111.96 87.46 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 8.72 4.90 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TIMEOUT 900.51 875.39 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 7.49 4.38 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 8.08 5.26 None loop-industry-pattern/mod3.yml TIMEOUT 900.43 884.20 None loop-industry-pattern/nested-3.yml ERROR: EXCEPTION 14.29 7.99 None loop-industry-pattern/ofuf_1.yml true 32.78 17.39 None loop-industry-pattern/ofuf_2.yml unknown 23.59 12.54 None loop-industry-pattern/ofuf_3.yml unknown 19.94 10.70 None loop-industry-pattern/ofuf_4.yml true 33.53 17.98 None loop-industry-pattern/ofuf_5.yml true 19.18 11.19 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.56 785.47 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.74 766.68 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.97 751.54 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.81 761.11 None loops-crafted-1/Mono5_1.yml false(unreach-call) 21.72 17.59 None loops-crafted-1/Mono6_1.yml false(unreach-call) 19.65 16.53 None loops-crafted-1/discover_list.yml TIMEOUT 900.62 870.94 None loops-crafted-1/iftelse.yml ERROR: EXCEPTION 8.65 4.82 None loops-crafted-1/in-de20.yml TIMEOUT 900.40 883.60 None loops-crafted-1/in-de31.yml TIMEOUT 900.43 880.61 None loops-crafted-1/in-de32.yml TIMEOUT 900.41 884.61 None loops-crafted-1/in-de41.yml TIMEOUT 900.41 882.75 None loops-crafted-1/in-de42.yml TIMEOUT 900.42 845.68 None loops-crafted-1/in-de51.yml TIMEOUT 900.37 885.48 None loops-crafted-1/in-de52.yml TIMEOUT 900.45 873.49 None loops-crafted-1/in-de61.yml TIMEOUT 900.49 880.93 None loops-crafted-1/in-de62.yml TIMEOUT 900.41 883.01 None loops-crafted-1/loopv1.yml true 12.72 7.21 None loops-crafted-1/loopv2.yml true 23.55 16.61 None loops-crafted-1/loopv3.yml true 17.31 10.14 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.33 782.75 None loops-crafted-1/mono-crafted_10.yml false(unreach-call) 17.94 13.86 None loops-crafted-1/mono-crafted_11.yml TIMEOUT 900.90 760.82 None loops-crafted-1/mono-crafted_12.yml true 35.64 30.93 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.88 851.38 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.53 773.67 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.57 872.53 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.78 760.24 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.94 765.24 None loops-crafted-1/mono-crafted_8.yml false(unreach-call) 17.38 14.40 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 901.12 746.88 None loops-crafted-1/nested3-1.yml TIMEOUT 901.00 749.30 None loops-crafted-1/nested3-2.yml false(unreach-call) 6.95 4.35 None loops-crafted-1/nested5-1.yml true 20.04 11.90 None loops-crafted-1/nested5-2.yml false(unreach-call) 6.64 4.46 None loops-crafted-1/nested_delay_nd.yml false(unreach-call) 8.55 5.11 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 9.43 5.58 None loops-crafted-1/net_reset.yml true 9.43 5.54 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.40 885.02 None loops-crafted-1/sum_natnum.yml unknown 6.31 3.76 None loops-crafted-1/sumt2.yml ERROR: EXCEPTION 17.97 15.26 None loops-crafted-1/sumt3.yml TIMEOUT 900.39 884.02 None loops-crafted-1/sumt4.yml ERROR: EXCEPTION 20.67 16.01 None loops-crafted-1/sumt5.yml TIMEOUT 900.40 882.37 None loops-crafted-1/sumt6.yml TIMEOUT 900.61 879.12 None loops-crafted-1/sumt7.yml TIMEOUT 900.33 891.81 None loops-crafted-1/sumt8.yml ERROR: EXCEPTION 16.00 9.59 None loops-crafted-1/sumt9.yml TIMEOUT 900.47 882.39 None loops-crafted-1/theatreSquare.yml unknown 7.82 4.44 None loops-crafted-1/vnew1.yml TIMEOUT 900.39 891.28 None loops-crafted-1/vnew2.yml unknown 6.54 3.72 None loops-crafted-1/watermelon.yml false(unreach-call) 13.69 7.91 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 7.01 4.32 None loop-invariants/const.yml true 7.89 4.88 None loop-invariants/eq1.yml true 7.62 4.26 None loop-invariants/eq2.yml true 9.97 5.67 None loop-invariants/even.yml ERROR: EXCEPTION 7.78 4.68 None loop-invariants/linear-inequality-inv-a.yml false(unreach-call) 9.52 5.62 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 6.66 3.92 None loop-invariants/mod4.yml ERROR: EXCEPTION 8.36 4.94 None loop-invariants/odd.yml ERROR: EXCEPTION 6.42 3.90 None loop-simple/deep-nested.yml false(unreach-call) 15.48 11.31 None loop-simple/nested_1.yml true 13.23 7.55 None loop-simple/nested_1b.yml false(unreach-call) 10.36 5.88 None loop-simple/nested_2.yml true 107.77 76.87 None loop-simple/nested_3.yml TIMEOUT 900.49 714.28 None loop-simple/nested_4.yml TIMEOUT 900.83 763.15 None loop-simple/nested_5.yml TIMEOUT 901.08 757.67 None loop-simple/nested_6.yml TIMEOUT 900.93 760.18 None loop-zilu/benchmark02_linear.yml true 6.54 3.85 None loop-zilu/benchmark04_conjunctive.yml TIMEOUT 900.41 889.18 None loop-zilu/benchmark05_conjunctive.yml false(unreach-call) 7.54 4.52 None loop-zilu/benchmark09_conjunctive.yml true 9.74 5.37 None loop-zilu/benchmark10_conjunctive.yml unknown 7.76 5.22 None loop-zilu/benchmark11_linear.yml false(unreach-call) 7.25 4.45 None loop-zilu/benchmark14_linear.yml true 7.80 4.72 None loop-zilu/benchmark17_conjunctive.yml true 6.34 5.01 None loop-zilu/benchmark18_conjunctive.yml false(unreach-call) 7.56 4.45 None loop-zilu/benchmark19_conjunctive.yml false(unreach-call) 5.94 4.17 None loop-zilu/benchmark20_conjunctive.yml unknown 14.71 10.94 None loop-zilu/benchmark23_conjunctive.yml TIMEOUT 900.44 878.59 None loop-zilu/benchmark25_linear.yml true 16.99 9.34 None loop-zilu/benchmark26_linear.yml false(unreach-call) 7.21 4.07 None loop-zilu/benchmark32_linear.yml true 8.04 4.46 None loop-zilu/benchmark33_linear.yml true 7.77 4.63 None loop-zilu/benchmark34_conjunctive.yml false(unreach-call) 7.66 4.19 None loop-zilu/benchmark35_linear.yml true 7.88 4.38 None loop-zilu/benchmark37_conjunctive.yml true 7.55 4.23 None loop-zilu/benchmark43_conjunctive.yml true 10.74 6.80 None loop-zilu/benchmark51_polynomial.yml true 7.99 4.90 None loop-zilu/benchmark52_polynomial.yml unknown 6.45 3.94 None verifythis/duplets.yml true 70.27 47.40 None verifythis/elimination_max.yml true 11.00 6.26 None verifythis/lcp.yml ERROR: EXCEPTION 14.04 8.45 None verifythis/prefixsum_iter.yml ERROR: EXCEPTION 39.64 28.46 None verifythis/tree_del_iter.yml false(unreach-call) 14.23 9.65 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 17.65 11.18 None nla-digbench/bresenham-ll.yml unknown 6.44 4.18 None nla-digbench/cohencu-ll.yml unknown 7.85 5.08 None nla-digbench/cohendiv-ll.yml unknown 8.07 6.07 None nla-digbench/dijkstra-u.yml unknown 53.19 47.69 None nla-digbench/divbin.yml unknown 6.42 4.89 None nla-digbench/divbin2.yml unknown 7.81 6.13 None nla-digbench/egcd-ll.yml unknown 6.43 3.98 None nla-digbench/egcd2-ll.yml unknown 7.96 6.21 None nla-digbench/egcd3-ll.yml unknown 6.83 4.29 None nla-digbench/fermat1-ll.yml unknown 6.52 4.26 None nla-digbench/fermat2-ll.yml unknown 7.38 5.03 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 6.34 3.90 None nla-digbench/freire2.yml unknown 7.60 6.35 None nla-digbench/geo1-ll.yml unknown 7.07 4.79 None nla-digbench/geo1-u.yml unknown 7.38 5.09 None nla-digbench/geo2-ll.yml unknown 6.32 4.02 None nla-digbench/geo3-ll.yml unknown 6.50 5.81 None nla-digbench/hard-ll.yml unknown 8.74 5.69 None nla-digbench/hard-u.yml unknown 8.28 5.05 None nla-digbench/hard2.yml unknown 8.98 6.11 None nla-digbench/knuth.yml ERROR: EXCEPTION 4.63 3.26 None nla-digbench/lcm1.yml unknown 7.71 4.36 None nla-digbench/lcm2.yml unknown 6.15 3.90 None nla-digbench/mannadiv.yml unknown 6.60 4.23 None nla-digbench/prod4br-ll.yml unknown 7.05 4.37 None nla-digbench/prodbin-ll.yml unknown 6.01 4.18 None nla-digbench/ps2-ll.yml unknown 7.57 5.05 None nla-digbench/ps3-ll.yml unknown 7.02 3.99 None nla-digbench/ps4-ll.yml unknown 6.66 4.19 None nla-digbench/ps5-ll.yml unknown 7.67 5.17 None nla-digbench/ps6-ll.yml unknown 18.66 15.76 None nla-digbench/sqrt1-ll.yml unknown 7.76 5.08 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml unknown 7.75 5.97 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml unknown 6.67 4.55 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml unknown 7.72 6.12 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml unknown 7.06 4.62 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml unknown 7.94 5.64 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml unknown 6.36 4.43 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml unknown 7.82 5.52 None nla-digbench-scaling/bresenham-ll_valuebound1.yml unknown 6.29 4.54 None nla-digbench-scaling/bresenham-ll_valuebound10.yml unknown 8.55 5.55 None nla-digbench-scaling/bresenham-ll_valuebound100.yml unknown 7.71 6.36 None nla-digbench-scaling/bresenham-ll_valuebound2.yml unknown 7.30 4.83 None nla-digbench-scaling/bresenham-ll_valuebound20.yml unknown 8.64 5.26 None nla-digbench-scaling/bresenham-ll_valuebound5.yml unknown 7.70 7.07 None nla-digbench-scaling/bresenham-ll_valuebound50.yml unknown 7.41 4.95 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml unknown 9.51 6.04 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml unknown 8.16 4.96 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml unknown 9.30 7.44 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml unknown 10.01 5.95 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml unknown 8.27 4.95 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml unknown 9.48 6.93 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml unknown 9.44 6.17 None nla-digbench-scaling/cohencu-ll_valuebound1.yml unknown 7.82 6.60 None nla-digbench-scaling/cohencu-ll_valuebound10.yml unknown 8.86 5.64 None nla-digbench-scaling/cohencu-ll_valuebound100.yml unknown 9.67 7.62 None nla-digbench-scaling/cohencu-ll_valuebound2.yml unknown 7.65 4.82 None nla-digbench-scaling/cohencu-ll_valuebound20.yml unknown 9.56 5.90 None nla-digbench-scaling/cohencu-ll_valuebound5.yml unknown 8.04 4.75 None nla-digbench-scaling/cohencu-ll_valuebound50.yml unknown 9.71 8.04 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml unknown 7.18 4.71 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml unknown 8.41 5.76 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml unknown 7.45 5.51 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml unknown 6.80 4.46 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml unknown 7.49 4.47 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml unknown 7.00 4.09 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml unknown 7.99 4.45 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml unknown 7.80 5.36 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml unknown 7.21 4.44 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml unknown 7.76 4.47 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml unknown 6.97 4.34 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml unknown 6.73 4.34 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml unknown 8.02 6.26 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml unknown 8.83 5.57 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml unknown 11.56 9.33 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml unknown 12.19 9.41 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml unknown 9.21 7.04 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml unknown 11.44 10.33 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml unknown 15.13 12.27 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml unknown 12.52 10.37 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml unknown 15.01 12.54 None nla-digbench-scaling/dijkstra-u_valuebound1.yml unknown 50.42 45.79 None nla-digbench-scaling/dijkstra-u_valuebound10.yml unknown 47.31 42.06 None nla-digbench-scaling/dijkstra-u_valuebound100.yml unknown 46.93 42.22 None nla-digbench-scaling/dijkstra-u_valuebound2.yml unknown 49.82 44.54 None nla-digbench-scaling/dijkstra-u_valuebound20.yml unknown 45.69 41.50 None nla-digbench-scaling/dijkstra-u_valuebound5.yml unknown 45.54 41.95 None nla-digbench-scaling/dijkstra-u_valuebound50.yml unknown 54.45 48.03 None nla-digbench-scaling/divbin2_unwindbound1.yml unknown 8.57 4.97 None nla-digbench-scaling/divbin2_unwindbound10.yml unknown 8.36 5.77 None nla-digbench-scaling/divbin2_unwindbound100.yml unknown 7.93 4.62 None nla-digbench-scaling/divbin2_unwindbound2.yml unknown 8.79 5.26 None nla-digbench-scaling/divbin2_unwindbound20.yml unknown 7.61 4.47 None nla-digbench-scaling/divbin2_unwindbound5.yml unknown 7.55 4.81 None nla-digbench-scaling/divbin2_unwindbound50.yml unknown 7.60 4.88 None nla-digbench-scaling/divbin2_valuebound1.yml unknown 7.41 4.50 None nla-digbench-scaling/divbin2_valuebound10.yml unknown 8.59 5.59 None nla-digbench-scaling/divbin2_valuebound100.yml unknown 7.46 4.58 None nla-digbench-scaling/divbin2_valuebound2.yml unknown 8.25 5.01 None nla-digbench-scaling/divbin2_valuebound20.yml unknown 7.55 4.72 None nla-digbench-scaling/divbin2_valuebound5.yml unknown 6.59 4.02 None nla-digbench-scaling/divbin2_valuebound50.yml unknown 7.45 4.18 None nla-digbench-scaling/divbin_unwindbound1.yml unknown 8.19 5.30 None nla-digbench-scaling/divbin_unwindbound10.yml unknown 8.47 5.26 None nla-digbench-scaling/divbin_unwindbound100.yml unknown 8.41 5.34 None nla-digbench-scaling/divbin_unwindbound2.yml unknown 8.20 4.98 None nla-digbench-scaling/divbin_unwindbound20.yml unknown 9.26 5.85 None nla-digbench-scaling/divbin_unwindbound5.yml unknown 8.69 6.47 None nla-digbench-scaling/divbin_unwindbound50.yml unknown 8.13 5.50 None nla-digbench-scaling/divbin_valuebound1.yml unknown 7.73 5.43 None nla-digbench-scaling/divbin_valuebound10.yml unknown 8.35 6.98 None nla-digbench-scaling/divbin_valuebound100.yml unknown 7.89 4.53 None nla-digbench-scaling/divbin_valuebound2.yml unknown 7.17 4.98 None nla-digbench-scaling/divbin_valuebound20.yml unknown 9.08 5.40 None nla-digbench-scaling/divbin_valuebound5.yml unknown 7.86 4.71 None nla-digbench-scaling/divbin_valuebound50.yml unknown 8.05 6.73 None nla-digbench-scaling/egcd-ll_unwindbound1.yml unknown 8.33 4.79 None nla-digbench-scaling/egcd-ll_unwindbound10.yml unknown 9.78 6.54 None nla-digbench-scaling/egcd-ll_unwindbound100.yml unknown 9.03 5.32 None nla-digbench-scaling/egcd-ll_unwindbound2.yml unknown 8.07 4.80 None nla-digbench-scaling/egcd-ll_unwindbound20.yml unknown 8.41 6.75 None nla-digbench-scaling/egcd-ll_unwindbound5.yml unknown 9.46 5.41 None nla-digbench-scaling/egcd-ll_unwindbound50.yml unknown 8.99 5.10 None nla-digbench-scaling/egcd-ll_valuebound1.yml unknown 7.79 5.15 None nla-digbench-scaling/egcd-ll_valuebound10.yml unknown 8.33 7.06 None nla-digbench-scaling/egcd-ll_valuebound100.yml unknown 8.75 5.31 None nla-digbench-scaling/egcd-ll_valuebound2.yml unknown 9.75 6.12 None nla-digbench-scaling/egcd-ll_valuebound20.yml unknown 8.11 4.81 None nla-digbench-scaling/egcd-ll_valuebound5.yml unknown 8.70 5.24 None nla-digbench-scaling/egcd-ll_valuebound50.yml unknown 10.01 6.63 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml unknown 8.72 6.49 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml unknown 8.51 5.31 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml unknown 8.72 4.82 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml unknown 7.56 5.08 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml unknown 9.46 6.09 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml unknown 8.81 7.47 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml unknown 8.87 5.25 None nla-digbench-scaling/egcd2-ll_valuebound1.yml unknown 7.68 5.27 None nla-digbench-scaling/egcd2-ll_valuebound10.yml unknown 9.95 6.13 None nla-digbench-scaling/egcd2-ll_valuebound100.yml unknown 8.72 6.76 None nla-digbench-scaling/egcd2-ll_valuebound2.yml unknown 8.93 5.20 None nla-digbench-scaling/egcd2-ll_valuebound20.yml unknown 7.96 5.66 None nla-digbench-scaling/egcd2-ll_valuebound5.yml unknown 9.46 5.73 None nla-digbench-scaling/egcd2-ll_valuebound50.yml unknown 8.20 5.03 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml unknown 8.45 6.68 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml unknown 7.54 5.15 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml unknown 9.10 5.92 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml unknown 8.40 4.90 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml unknown 8.18 4.96 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml unknown 8.45 6.63 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml unknown 8.18 4.91 None nla-digbench-scaling/egcd3-ll_valuebound1.yml unknown 9.55 5.89 None nla-digbench-scaling/egcd3-ll_valuebound10.yml unknown 7.84 5.58 None nla-digbench-scaling/egcd3-ll_valuebound100.yml unknown 8.25 6.44 None nla-digbench-scaling/egcd3-ll_valuebound2.yml unknown 8.37 5.06 None nla-digbench-scaling/egcd3-ll_valuebound20.yml unknown 8.60 5.34 None nla-digbench-scaling/egcd3-ll_valuebound5.yml unknown 8.12 5.41 None nla-digbench-scaling/egcd3-ll_valuebound50.yml unknown 8.58 5.18 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml unknown 7.29 5.46 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml unknown 8.42 5.14 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml unknown 7.81 4.92 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml unknown 7.50 4.56 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml unknown 7.61 5.21 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml unknown 8.11 4.86 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml unknown 6.88 5.12 None nla-digbench-scaling/fermat1-ll_valuebound1.yml unknown 8.55 4.95 None nla-digbench-scaling/fermat1-ll_valuebound10.yml unknown 8.92 5.30 None nla-digbench-scaling/fermat1-ll_valuebound100.yml unknown 8.75 6.26 None nla-digbench-scaling/fermat1-ll_valuebound2.yml unknown 8.20 5.42 None nla-digbench-scaling/fermat1-ll_valuebound20.yml unknown 7.60 4.90 None nla-digbench-scaling/fermat1-ll_valuebound5.yml unknown 8.08 4.89 None nla-digbench-scaling/fermat1-ll_valuebound50.yml unknown 8.94 5.27 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml unknown 6.97 4.73 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml unknown 7.38 5.53 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml unknown 7.18 4.45 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml unknown 7.19 4.42 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml unknown 7.59 4.65 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml unknown 6.44 3.98 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml unknown 6.52 4.59 None nla-digbench-scaling/fermat2-ll_valuebound1.yml unknown 8.26 4.78 None nla-digbench-scaling/fermat2-ll_valuebound10.yml unknown 7.32 4.46 None nla-digbench-scaling/fermat2-ll_valuebound100.yml unknown 6.92 4.15 None nla-digbench-scaling/fermat2-ll_valuebound2.yml unknown 8.52 4.99 None nla-digbench-scaling/fermat2-ll_valuebound20.yml unknown 7.08 4.75 None nla-digbench-scaling/fermat2-ll_valuebound5.yml unknown 8.55 5.17 None nla-digbench-scaling/fermat2-ll_valuebound50.yml unknown 8.24 4.91 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 7.53 4.95 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 9.13 5.26 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 7.23 4.23 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 8.25 4.50 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 7.88 4.36 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 7.18 4.96 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 7.42 4.81 None nla-digbench-scaling/freire1_valuebound1.yml ERROR: EXCEPTION 7.62 4.61 None nla-digbench-scaling/freire1_valuebound10.yml ERROR: EXCEPTION 7.23 4.48 None nla-digbench-scaling/freire1_valuebound100.yml ERROR: EXCEPTION 7.40 4.12 None nla-digbench-scaling/freire1_valuebound2.yml ERROR: EXCEPTION 6.63 4.78 None nla-digbench-scaling/freire1_valuebound20.yml ERROR: EXCEPTION 7.33 4.15 None nla-digbench-scaling/freire1_valuebound5.yml ERROR: EXCEPTION 6.47 3.96 None nla-digbench-scaling/freire1_valuebound50.yml ERROR: EXCEPTION 7.10 3.98 None nla-digbench-scaling/freire2_unwindbound1.yml unknown 7.56 4.11 None nla-digbench-scaling/freire2_unwindbound10.yml unknown 8.54 5.08 None nla-digbench-scaling/freire2_unwindbound100.yml unknown 6.92 4.27 None nla-digbench-scaling/freire2_unwindbound2.yml unknown 7.09 4.84 None nla-digbench-scaling/freire2_unwindbound20.yml unknown 8.52 4.97 None nla-digbench-scaling/freire2_unwindbound5.yml unknown 7.42 4.49 None nla-digbench-scaling/freire2_unwindbound50.yml unknown 7.75 4.63 None nla-digbench-scaling/freire2_valuebound1.yml ERROR: EXCEPTION 7.84 4.86 None nla-digbench-scaling/freire2_valuebound10.yml ERROR: EXCEPTION 7.32 4.57 None nla-digbench-scaling/freire2_valuebound100.yml ERROR: EXCEPTION 7.08 4.86 None nla-digbench-scaling/freire2_valuebound2.yml ERROR: EXCEPTION 8.23 4.79 None nla-digbench-scaling/freire2_valuebound20.yml ERROR: EXCEPTION 7.22 4.52 None nla-digbench-scaling/freire2_valuebound5.yml ERROR: EXCEPTION 7.62 4.56 None nla-digbench-scaling/freire2_valuebound50.yml ERROR: EXCEPTION 8.34 4.81 None nla-digbench-scaling/geo1-ll_unwindbound1.yml unknown 7.32 4.78 None nla-digbench-scaling/geo1-ll_unwindbound10.yml unknown 6.68 4.27 None nla-digbench-scaling/geo1-ll_unwindbound100.yml unknown 8.26 4.84 None nla-digbench-scaling/geo1-ll_unwindbound2.yml unknown 7.70 4.67 None nla-digbench-scaling/geo1-ll_unwindbound20.yml unknown 8.03 4.40 None nla-digbench-scaling/geo1-ll_unwindbound5.yml unknown 8.15 4.86 None nla-digbench-scaling/geo1-ll_unwindbound50.yml unknown 7.14 4.66 None nla-digbench-scaling/geo1-ll_valuebound1.yml unknown 7.37 4.72 None nla-digbench-scaling/geo1-ll_valuebound10.yml unknown 8.09 4.85 None nla-digbench-scaling/geo1-ll_valuebound100.yml unknown 7.69 4.70 None nla-digbench-scaling/geo1-ll_valuebound2.yml unknown 7.74 4.29 None nla-digbench-scaling/geo1-ll_valuebound20.yml unknown 8.68 5.01 None nla-digbench-scaling/geo1-ll_valuebound5.yml unknown 7.48 4.67 None nla-digbench-scaling/geo1-ll_valuebound50.yml unknown 7.61 4.81 None nla-digbench-scaling/geo1-u_unwindbound1.yml unknown 7.54 4.65 None nla-digbench-scaling/geo1-u_unwindbound10.yml unknown 7.88 4.84 None nla-digbench-scaling/geo1-u_unwindbound100.yml unknown 8.42 4.90 None nla-digbench-scaling/geo1-u_unwindbound2.yml unknown 6.73 4.18 None nla-digbench-scaling/geo1-u_unwindbound20.yml unknown 6.97 4.60 None nla-digbench-scaling/geo1-u_unwindbound5.yml unknown 8.29 4.85 None nla-digbench-scaling/geo1-u_unwindbound50.yml unknown 7.58 4.87 None nla-digbench-scaling/geo1-u_valuebound1.yml unknown 7.94 4.90 None nla-digbench-scaling/geo1-u_valuebound10.yml unknown 7.52 4.33 None nla-digbench-scaling/geo1-u_valuebound100.yml unknown 8.25 4.92 None nla-digbench-scaling/geo1-u_valuebound2.yml unknown 6.76 4.05 None nla-digbench-scaling/geo1-u_valuebound20.yml unknown 6.49 4.23 None nla-digbench-scaling/geo1-u_valuebound5.yml unknown 8.38 4.87 None nla-digbench-scaling/geo1-u_valuebound50.yml unknown 7.19 4.75 None nla-digbench-scaling/geo2-ll_unwindbound1.yml unknown 7.94 4.73 None nla-digbench-scaling/geo2-ll_unwindbound10.yml unknown 7.54 4.25 None nla-digbench-scaling/geo2-ll_unwindbound100.yml unknown 6.44 4.02 None nla-digbench-scaling/geo2-ll_unwindbound2.yml unknown 8.54 5.13 None nla-digbench-scaling/geo2-ll_unwindbound20.yml unknown 8.56 5.04 None nla-digbench-scaling/geo2-ll_unwindbound5.yml unknown 7.80 4.75 None nla-digbench-scaling/geo2-ll_unwindbound50.yml unknown 8.44 4.96 None nla-digbench-scaling/geo2-ll_valuebound1.yml unknown 6.37 5.97 None nla-digbench-scaling/geo2-ll_valuebound10.yml unknown 7.42 5.13 None nla-digbench-scaling/geo2-ll_valuebound100.yml unknown 8.41 6.10 None nla-digbench-scaling/geo2-ll_valuebound2.yml unknown 8.19 4.93 None nla-digbench-scaling/geo2-ll_valuebound20.yml unknown 8.14 5.34 None nla-digbench-scaling/geo2-ll_valuebound5.yml unknown 9.23 5.36 None nla-digbench-scaling/geo2-ll_valuebound50.yml unknown 8.25 4.61 None nla-digbench-scaling/geo3-ll_unwindbound1.yml unknown 6.75 4.24 None nla-digbench-scaling/geo3-ll_unwindbound10.yml unknown 6.97 4.04 None nla-digbench-scaling/geo3-ll_unwindbound100.yml unknown 5.81 5.55 None nla-digbench-scaling/geo3-ll_unwindbound2.yml unknown 7.87 4.70 None nla-digbench-scaling/geo3-ll_unwindbound20.yml unknown 7.60 6.02 None nla-digbench-scaling/geo3-ll_unwindbound5.yml unknown 7.40 4.55 None nla-digbench-scaling/geo3-ll_unwindbound50.yml unknown 7.83 4.62 None nla-digbench-scaling/geo3-ll_valuebound1.yml unknown 8.50 5.73 None nla-digbench-scaling/geo3-ll_valuebound10.yml unknown 7.73 5.33 None nla-digbench-scaling/geo3-ll_valuebound100.yml unknown 9.52 5.82 None nla-digbench-scaling/geo3-ll_valuebound2.yml unknown 8.97 5.26 None nla-digbench-scaling/geo3-ll_valuebound20.yml unknown 6.55 6.47 None nla-digbench-scaling/geo3-ll_valuebound5.yml unknown 7.96 6.66 None nla-digbench-scaling/geo3-ll_valuebound50.yml unknown 8.11 4.83 None nla-digbench-scaling/hard-ll_unwindbound1.yml unknown 9.81 5.70 None nla-digbench-scaling/hard-ll_unwindbound10.yml unknown 7.70 6.93 None nla-digbench-scaling/hard-ll_unwindbound100.yml unknown 9.84 6.01 None nla-digbench-scaling/hard-ll_unwindbound2.yml unknown 11.37 6.42 None nla-digbench-scaling/hard-ll_unwindbound20.yml unknown 10.26 5.85 None nla-digbench-scaling/hard-ll_unwindbound5.yml unknown 7.06 7.13 None nla-digbench-scaling/hard-ll_unwindbound50.yml unknown 9.14 5.51 None nla-digbench-scaling/hard-ll_valuebound1.yml unknown 10.62 8.12 None nla-digbench-scaling/hard-ll_valuebound10.yml unknown 11.02 6.21 None nla-digbench-scaling/hard-ll_valuebound100.yml unknown 10.47 6.21 None nla-digbench-scaling/hard-ll_valuebound2.yml unknown 9.32 5.80 None nla-digbench-scaling/hard-ll_valuebound20.yml unknown 12.64 7.04 None nla-digbench-scaling/hard-ll_valuebound5.yml unknown 11.39 6.46 None nla-digbench-scaling/hard-ll_valuebound50.yml unknown 10.88 6.28 None nla-digbench-scaling/hard-u_unwindbound1.yml unknown 7.20 6.39 None nla-digbench-scaling/hard-u_unwindbound10.yml unknown 7.23 6.24 None nla-digbench-scaling/hard-u_unwindbound100.yml unknown 10.21 5.84 None nla-digbench-scaling/hard-u_unwindbound2.yml unknown 9.85 8.25 None nla-digbench-scaling/hard-u_unwindbound20.yml unknown 8.28 5.33 None nla-digbench-scaling/hard-u_unwindbound5.yml unknown 9.39 6.21 None nla-digbench-scaling/hard-u_unwindbound50.yml unknown 10.36 5.96 None nla-digbench-scaling/hard-u_valuebound1.yml unknown 12.88 7.14 None nla-digbench-scaling/hard-u_valuebound10.yml unknown 12.56 7.08 None nla-digbench-scaling/hard-u_valuebound100.yml unknown 8.02 7.94 None nla-digbench-scaling/hard-u_valuebound2.yml unknown 11.85 6.77 None nla-digbench-scaling/hard-u_valuebound20.yml unknown 8.79 8.01 None nla-digbench-scaling/hard-u_valuebound5.yml unknown 9.71 5.91 None nla-digbench-scaling/hard-u_valuebound50.yml unknown 11.56 6.80 None nla-digbench-scaling/hard2_unwindbound1.yml unknown 10.76 6.21 None nla-digbench-scaling/hard2_unwindbound10.yml unknown 10.37 8.64 None nla-digbench-scaling/hard2_unwindbound100.yml unknown 12.06 6.96 None nla-digbench-scaling/hard2_unwindbound2.yml unknown 10.56 6.30 None nla-digbench-scaling/hard2_unwindbound20.yml unknown 10.61 6.25 None nla-digbench-scaling/hard2_unwindbound5.yml unknown 9.01 6.29 None nla-digbench-scaling/hard2_unwindbound50.yml unknown 10.71 6.15 None nla-digbench-scaling/hard2_valuebound1.yml unknown 7.53 7.52 None nla-digbench-scaling/hard2_valuebound10.yml unknown 8.36 7.27 None nla-digbench-scaling/hard2_valuebound100.yml unknown 10.17 7.01 None nla-digbench-scaling/hard2_valuebound2.yml unknown 10.95 6.21 None nla-digbench-scaling/hard2_valuebound20.yml unknown 11.61 6.57 None nla-digbench-scaling/hard2_valuebound5.yml unknown 9.36 7.91 None nla-digbench-scaling/hard2_valuebound50.yml unknown 10.24 5.94 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 5.82 3.56 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 4.87 3.12 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 5.72 3.35 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.54 2.50 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 4.46 4.61 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 5.97 3.53 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 4.99 4.37 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 5.72 3.80 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 4.75 3.04 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 6.11 3.56 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 4.30 2.67 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 5.61 3.41 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 6.43 3.84 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 5.84 3.47 None nla-digbench-scaling/lcm1_unwindbound1.yml unknown 8.65 5.05 None nla-digbench-scaling/lcm1_unwindbound10.yml unknown 7.45 4.85 None nla-digbench-scaling/lcm1_unwindbound100.yml unknown 8.34 5.50 None nla-digbench-scaling/lcm1_unwindbound2.yml unknown 6.27 6.08 None nla-digbench-scaling/lcm1_unwindbound20.yml unknown 6.00 3.54 None nla-digbench-scaling/lcm1_unwindbound5.yml unknown 6.45 6.07 None nla-digbench-scaling/lcm1_unwindbound50.yml unknown 8.22 7.07 None nla-digbench-scaling/lcm1_valuebound1.yml unknown 8.30 4.98 None nla-digbench-scaling/lcm1_valuebound10.yml unknown 8.29 5.11 None nla-digbench-scaling/lcm1_valuebound100.yml unknown 8.19 4.97 None nla-digbench-scaling/lcm1_valuebound2.yml unknown 9.60 5.51 None nla-digbench-scaling/lcm1_valuebound20.yml unknown 7.18 4.27 None nla-digbench-scaling/lcm1_valuebound5.yml unknown 8.50 5.03 None nla-digbench-scaling/lcm1_valuebound50.yml unknown 7.84 5.17 None nla-digbench-scaling/lcm2_unwindbound1.yml unknown 7.83 5.10 None nla-digbench-scaling/lcm2_unwindbound10.yml unknown 8.89 5.22 None nla-digbench-scaling/lcm2_unwindbound100.yml unknown 6.64 6.25 None nla-digbench-scaling/lcm2_unwindbound2.yml unknown 6.49 4.01 None nla-digbench-scaling/lcm2_unwindbound20.yml unknown 6.51 5.63 None nla-digbench-scaling/lcm2_unwindbound5.yml unknown 8.02 4.84 None nla-digbench-scaling/lcm2_unwindbound50.yml unknown 7.47 6.43 None nla-digbench-scaling/lcm2_valuebound1.yml unknown 9.37 5.54 None nla-digbench-scaling/lcm2_valuebound10.yml unknown 7.84 4.84 None nla-digbench-scaling/lcm2_valuebound100.yml unknown 8.31 5.02 None nla-digbench-scaling/lcm2_valuebound2.yml unknown 7.83 4.71 None nla-digbench-scaling/lcm2_valuebound20.yml unknown 6.57 4.01 None nla-digbench-scaling/lcm2_valuebound5.yml unknown 8.07 4.99 None nla-digbench-scaling/lcm2_valuebound50.yml unknown 8.50 5.15 None nla-digbench-scaling/mannadiv_unwindbound1.yml unknown 5.99 4.84 None nla-digbench-scaling/mannadiv_unwindbound10.yml unknown 8.44 4.98 None nla-digbench-scaling/mannadiv_unwindbound100.yml unknown 6.10 6.15 None nla-digbench-scaling/mannadiv_unwindbound2.yml unknown 7.22 4.24 None nla-digbench-scaling/mannadiv_unwindbound20.yml unknown 9.52 5.40 None nla-digbench-scaling/mannadiv_unwindbound5.yml unknown 7.99 6.51 None nla-digbench-scaling/mannadiv_unwindbound50.yml unknown 5.55 3.30 None nla-digbench-scaling/mannadiv_valuebound1.yml unknown 8.25 4.79 None nla-digbench-scaling/mannadiv_valuebound10.yml unknown 6.44 4.09 None nla-digbench-scaling/mannadiv_valuebound100.yml unknown 8.42 5.86 None nla-digbench-scaling/mannadiv_valuebound2.yml unknown 8.62 5.03 None nla-digbench-scaling/mannadiv_valuebound20.yml unknown 6.99 6.09 None nla-digbench-scaling/mannadiv_valuebound5.yml unknown 7.78 4.98 None nla-digbench-scaling/mannadiv_valuebound50.yml unknown 7.62 4.65 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml unknown 6.05 3.50 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml unknown 6.04 5.93 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml unknown 7.01 4.64 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml unknown 9.55 5.47 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml unknown 8.76 4.74 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml unknown 8.41 6.40 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml unknown 6.12 3.79 None nla-digbench-scaling/prod4br-ll_valuebound1.yml unknown 8.27 5.04 None nla-digbench-scaling/prod4br-ll_valuebound10.yml unknown 7.66 5.14 None nla-digbench-scaling/prod4br-ll_valuebound100.yml unknown 8.47 4.98 None nla-digbench-scaling/prod4br-ll_valuebound2.yml unknown 8.25 4.86 None nla-digbench-scaling/prod4br-ll_valuebound20.yml unknown 6.27 5.52 None nla-digbench-scaling/prod4br-ll_valuebound5.yml unknown 6.40 4.21 None nla-digbench-scaling/prod4br-ll_valuebound50.yml unknown 8.70 4.91 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml unknown 7.67 4.63 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml unknown 6.21 6.25 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml unknown 6.26 3.65 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml unknown 6.03 3.81 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml unknown 8.00 4.92 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml unknown 7.96 5.25 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml unknown 8.18 4.90 None nla-digbench-scaling/prodbin-ll_valuebound1.yml unknown 7.49 5.57 None nla-digbench-scaling/prodbin-ll_valuebound10.yml unknown 7.31 4.47 None nla-digbench-scaling/prodbin-ll_valuebound100.yml unknown 6.44 4.30 None nla-digbench-scaling/prodbin-ll_valuebound2.yml unknown 6.27 3.99 None nla-digbench-scaling/prodbin-ll_valuebound20.yml unknown 6.39 5.82 None nla-digbench-scaling/prodbin-ll_valuebound5.yml unknown 8.36 5.10 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 6.90 4.61 None nla-digbench-scaling/ps2-ll_unwindbound1.yml unknown 7.85 4.44 None nla-digbench-scaling/ps2-ll_unwindbound10.yml unknown 6.43 6.29 None nla-digbench-scaling/ps2-ll_unwindbound100.yml unknown 7.93 4.80 None nla-digbench-scaling/ps2-ll_unwindbound2.yml unknown 7.59 4.68 None nla-digbench-scaling/ps2-ll_unwindbound20.yml unknown 7.94 4.82 None nla-digbench-scaling/ps2-ll_unwindbound5.yml unknown 7.82 4.53 None nla-digbench-scaling/ps2-ll_unwindbound50.yml unknown 6.29 4.06 None nla-digbench-scaling/ps2-ll_valuebound1.yml unknown 6.45 4.13 None nla-digbench-scaling/ps2-ll_valuebound10.yml unknown 8.00 7.20 None nla-digbench-scaling/ps2-ll_valuebound100.yml unknown 8.63 5.04 None nla-digbench-scaling/ps2-ll_valuebound2.yml unknown 6.26 4.13 None nla-digbench-scaling/ps2-ll_valuebound20.yml unknown 7.45 4.65 None nla-digbench-scaling/ps2-ll_valuebound5.yml unknown 6.57 5.59 None nla-digbench-scaling/ps2-ll_valuebound50.yml unknown 6.89 4.50 None nla-digbench-scaling/ps3-ll_unwindbound1.yml unknown 8.08 4.83 None nla-digbench-scaling/ps3-ll_unwindbound10.yml unknown 6.66 4.39 None nla-digbench-scaling/ps3-ll_unwindbound100.yml unknown 5.93 3.48 None nla-digbench-scaling/ps3-ll_unwindbound2.yml unknown 7.73 4.99 None nla-digbench-scaling/ps3-ll_unwindbound20.yml unknown 7.96 4.40 None nla-digbench-scaling/ps3-ll_unwindbound5.yml unknown 6.13 4.87 None nla-digbench-scaling/ps3-ll_unwindbound50.yml unknown 7.03 4.39 None nla-digbench-scaling/ps3-ll_valuebound1.yml unknown 8.41 5.09 None nla-digbench-scaling/ps3-ll_valuebound10.yml unknown 7.89 5.01 None nla-digbench-scaling/ps3-ll_valuebound100.yml unknown 7.59 5.41 None nla-digbench-scaling/ps3-ll_valuebound2.yml unknown 6.10 3.79 None nla-digbench-scaling/ps3-ll_valuebound20.yml unknown 6.28 3.61 None nla-digbench-scaling/ps3-ll_valuebound5.yml unknown 7.37 4.59 None nla-digbench-scaling/ps3-ll_valuebound50.yml unknown 6.33 3.99 None nla-digbench-scaling/ps4-ll_unwindbound1.yml unknown 7.48 4.29 None nla-digbench-scaling/ps4-ll_unwindbound10.yml unknown 7.77 4.31 None nla-digbench-scaling/ps4-ll_unwindbound100.yml unknown 6.84 4.47 None nla-digbench-scaling/ps4-ll_unwindbound2.yml unknown 6.45 4.07 None nla-digbench-scaling/ps4-ll_unwindbound20.yml unknown 5.75 3.34 None nla-digbench-scaling/ps4-ll_unwindbound5.yml unknown 7.79 4.70 None nla-digbench-scaling/ps4-ll_unwindbound50.yml unknown 6.41 3.86 None nla-digbench-scaling/ps4-ll_valuebound1.yml unknown 8.58 5.73 None nla-digbench-scaling/ps4-ll_valuebound10.yml unknown 7.69 4.73 None nla-digbench-scaling/ps4-ll_valuebound100.yml unknown 6.13 4.08 None nla-digbench-scaling/ps4-ll_valuebound2.yml unknown 9.55 6.66 None nla-digbench-scaling/ps4-ll_valuebound20.yml unknown 7.74 4.68 None nla-digbench-scaling/ps4-ll_valuebound5.yml unknown 7.62 4.64 None nla-digbench-scaling/ps4-ll_valuebound50.yml unknown 7.71 4.31 None nla-digbench-scaling/ps5-ll_unwindbound1.yml unknown 5.79 3.68 None nla-digbench-scaling/ps5-ll_unwindbound10.yml unknown 6.01 4.28 None nla-digbench-scaling/ps5-ll_unwindbound100.yml unknown 6.71 4.47 None nla-digbench-scaling/ps5-ll_unwindbound2.yml unknown 6.17 3.53 None nla-digbench-scaling/ps5-ll_unwindbound20.yml unknown 8.14 4.79 None nla-digbench-scaling/ps5-ll_unwindbound5.yml unknown 7.88 4.79 None nla-digbench-scaling/ps5-ll_unwindbound50.yml unknown 6.56 4.43 None nla-digbench-scaling/ps5-ll_valuebound1.yml unknown 7.85 4.74 None nla-digbench-scaling/ps5-ll_valuebound10.yml unknown 6.40 3.70 None nla-digbench-scaling/ps5-ll_valuebound100.yml unknown 8.15 4.91 None nla-digbench-scaling/ps5-ll_valuebound2.yml unknown 6.09 3.53 None nla-digbench-scaling/ps5-ll_valuebound20.yml unknown 8.13 4.71 None nla-digbench-scaling/ps5-ll_valuebound5.yml unknown 6.40 4.10 None nla-digbench-scaling/ps5-ll_valuebound50.yml unknown 7.59 5.18 None nla-digbench-scaling/ps6-ll_unwindbound1.yml unknown 8.35 6.15 None nla-digbench-scaling/ps6-ll_unwindbound10.yml unknown 8.10 5.81 None nla-digbench-scaling/ps6-ll_unwindbound100.yml unknown 8.55 5.89 None nla-digbench-scaling/ps6-ll_unwindbound2.yml unknown 8.48 4.89 None nla-digbench-scaling/ps6-ll_unwindbound20.yml unknown 11.17 8.20 None nla-digbench-scaling/ps6-ll_unwindbound5.yml unknown 6.79 4.37 None nla-digbench-scaling/ps6-ll_unwindbound50.yml unknown 9.68 6.74 None nla-digbench-scaling/ps6-ll_valuebound1.yml unknown 8.45 6.47 None nla-digbench-scaling/ps6-ll_valuebound10.yml unknown 6.86 4.62 None nla-digbench-scaling/ps6-ll_valuebound100.yml unknown 10.28 6.99 None nla-digbench-scaling/ps6-ll_valuebound2.yml unknown 10.44 7.02 None nla-digbench-scaling/ps6-ll_valuebound20.yml unknown 7.90 5.00 None nla-digbench-scaling/ps6-ll_valuebound5.yml unknown 9.91 7.20 None nla-digbench-scaling/ps6-ll_valuebound50.yml unknown 8.17 5.52 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml unknown 7.25 4.42 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml unknown 9.66 5.74 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml unknown 7.08 4.30 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml unknown 7.81 5.06 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml unknown 8.96 5.62 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml unknown 6.62 4.36 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml unknown 8.83 5.77 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml unknown 9.08 5.46 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml unknown 9.65 5.67 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml unknown 8.67 5.32 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml unknown 7.08 4.06 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml unknown 7.14 4.07 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml unknown 6.87 4.07 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml unknown 9.02 5.31 None ---------------------------------------------------------------------------------------------------------------------------- Run set 3 done 45893.27 5274.40 - Statistics: 2310 Files correct: 785 correct true: 571 correct false: 214 incorrect: 33 incorrect true: 11 incorrect false: 22 unknown: 1492 Score: 652 (max: 3909)