BENCHMARK INFORMATION benchmark definition: ../benchexec/student-acceleration-qvasars.xml name: student-acceleration-qvasars run sets: DEFAULT.reach-svcomp-all, Automizer IcfgTranformation Jordan.reach-svcomp-all, Automizer IcfgTranformation QVasar.reach-svcomp-all, Automizer AcceleratedInterpolation Jordan.reach-svcomp-all, Automizer AcceleratedInterpolation QVasar.reach-svcomp-all date: Mon, 2022-04-04 18:52:15 CEST tool: ULTIMATE Automizer 0.2.2-7390193c tool executable: ./Ultimate.py options: --force-no-wrapper --core.log.level.for.class de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=WARN 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: bench-02 os: Linux-5.11.22-4-pve-x86_64-with-glibc2.31 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 4549.121 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ DEFAULT.reach-svcomp-all Run set 1 of 5 with options '--force-no-wrapper --core.log.level.for.class de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=WARN -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 12.78 6.97 None loops/array-2.yml false(unreach-call) 8.99 4.94 None loops/bubble_sort-1.yml true 5.95 3.88 None loops/bubble_sort-2.yml false(unreach-call) 10.28 6.05 None loops/compact.yml TIMEOUT 900.39 890.52 None loops/count_up_down-1.yml TIMEOUT 900.62 877.13 None loops/count_up_down-2.yml false(unreach-call) 7.69 4.32 None loops/eureka_01-1.yml false(unreach-call) 265.49 231.40 None loops/eureka_01-2.yml TIMEOUT 901.11 836.66 None loops/eureka_05.yml true 803.78 768.23 None loops/for_bounded_loop1.yml false(unreach-call) 7.83 4.71 None loops/for_infinite_loop_1.yml true 6.86 4.17 None loops/for_infinite_loop_2.yml true 6.57 4.74 None loops/heavy-1.yml TIMEOUT 900.41 885.39 None loops/heavy-2.yml true 9.02 6.08 None loops/insertion_sort-1.yml TIMEOUT 900.91 868.09 None loops/insertion_sort-2.yml TIMEOUT 900.57 806.53 None loops/invert_string-1.yml false(unreach-call) 21.39 14.07 None loops/invert_string-3.yml TIMEOUT 900.48 871.31 None loops/linear_sea.ch.yml TIMEOUT 900.37 893.47 None loops/linear_search.yml TIMEOUT 900.35 892.65 None loops/lu.cmp.yml true 14.62 8.19 None loops/ludcmp.yml UNKNOWN: OverapproxCex 9.85 6.29 None loops/matrix-1.yml TIMEOUT 900.37 888.53 None loops/matrix-2.yml false(unreach-call) 7.08 4.92 None loops/n.c11.yml true 7.92 5.23 None loops/n.c24.yml TIMEOUT 900.72 857.25 None loops/n.c40.yml true 7.92 4.54 None loops/nec11.yml false(unreach-call) 7.22 4.38 None loops/nec20.yml false(unreach-call) 7.76 4.76 None loops/nec40.yml true 7.48 4.64 None loops/s3.yml UNKNOWN: OverapproxCex 91.63 71.50 None loops/string-1.yml true 10.74 6.65 None loops/string-2.yml UNKNOWN: OverapproxCex 9.19 5.61 None loops/sum01-1.yml false(unreach-call) 12.15 7.71 None loops/sum01-2.yml true 10.92 6.91 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 11.35 6.99 None loops/sum03-1.yml false(unreach-call) 13.88 8.62 None loops/sum03-2.yml true 10.12 6.02 None loops/sum04-1.yml false(unreach-call) 8.45 5.17 None loops/sum04-2.yml true 10.33 6.72 None loops/sum_array-1.yml false(unreach-call) 7.76 4.61 None loops/sum_array-2.yml TIMEOUT 901.09 846.59 None loops/terminator_01.yml false(unreach-call) 7.94 4.44 None loops/terminator_02-1.yml false(unreach-call) 8.13 4.57 None loops/terminator_02-2.yml true 8.28 4.64 None loops/terminator_03-1.yml false(unreach-call) 8.00 4.97 None loops/terminator_03-2.yml true 8.59 4.98 None loops/trex01-1.yml false(unreach-call) 7.74 4.82 None loops/trex01-2.yml true 8.18 4.57 None loops/trex02-1.yml true 8.16 4.55 None loops/trex02-2.yml false(unreach-call) 7.90 4.46 None loops/trex03-1.yml false(unreach-call) 7.89 4.44 None loops/trex03-2.yml true 8.11 4.63 None loops/trex04.yml true 8.53 5.11 None loops/veris.c_NetBSD-libc_loop.yml true 12.36 7.66 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 11.35 6.58 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 7.98 4.91 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 10.57 6.15 None loops/vogal-1.yml ERROR: EXCEPTION 46.60 30.68 None loops/vogal-2.yml ERROR: EXCEPTION 310.24 258.36 None loops/while_infinite_loop_1.yml true 7.54 4.71 None loops/while_infinite_loop_2.yml true 7.84 4.78 None loops/while_infinite_loop_3.yml true 8.06 4.54 None loops/while_infinite_loop_4.yml false(unreach-call) 7.54 4.31 None loop-acceleration/array_1-1.yml TIMEOUT 900.41 887.71 None loop-acceleration/array_1-2.yml true 9.21 5.86 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.39 890.39 None loop-acceleration/array_2-1.yml TIMEOUT 900.43 889.50 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.39 889.89 None loop-acceleration/array_2-2.yml TIMEOUT 900.40 891.74 None loop-acceleration/array_3-1.yml true 9.22 5.79 None loop-acceleration/array_3-2.yml TIMEOUT 901.12 796.03 None loop-acceleration/array_4.yml TIMEOUT 900.37 893.30 None loop-acceleration/const_1-1.yml true 8.04 5.91 None loop-acceleration/const_1-2.yml TIMEOUT 900.36 889.83 None loop-acceleration/diamond_1-1.yml true 9.54 6.14 None loop-acceleration/diamond_1-2.yml false(unreach-call) 800.83 785.08 None loop-acceleration/diamond_2-2.yml true 8.92 5.85 None loop-acceleration/functions_1-1.yml true 9.18 5.26 None loop-acceleration/functions_1-2.yml TIMEOUT 900.37 887.31 None loop-acceleration/multivar_1-1.yml true 6.20 4.55 None loop-acceleration/multivar_1-2.yml false(unreach-call) 7.90 4.62 None loop-acceleration/nested_1-1.yml true 38.11 25.49 None loop-acceleration/nested_1-2.yml TIMEOUT 900.37 886.40 None loop-acceleration/overflow_1-1.yml true 9.15 5.27 None loop-acceleration/phases_1-1.yml true 169.39 153.45 None loop-acceleration/phases_1-2.yml TIMEOUT 900.41 881.32 None loop-acceleration/phases_2-1.yml false(unreach-call) 5.96 3.56 None loop-acceleration/phases_2-2.yml true 12.37 9.02 None loop-acceleration/simple_1-1.yml TIMEOUT 900.35 889.62 None loop-acceleration/simple_1-2.yml true 8.60 5.44 None loop-acceleration/simple_2-1.yml true 8.12 4.52 None loop-acceleration/simple_2-2.yml false(unreach-call) 7.27 4.11 None loop-acceleration/simple_3-1.yml false(unreach-call) 7.00 4.36 None loop-acceleration/simple_3-2.yml true 8.94 5.16 None loop-acceleration/simple_4-1.yml TIMEOUT 900.47 885.76 None loop-acceleration/simple_4-2.yml true 9.91 6.12 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 11.32 6.92 None loop-acceleration/underapprox_1-2.yml TIMEOUT 900.38 894.53 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 9.30 6.07 None loop-acceleration/underapprox_2-2.yml true 7.60 5.15 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.45 878.62 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 6.46 4.10 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.40 883.23 None loop-crafted/simple_array_index_value_3.yml OUT OF MEMORY 504.10 416.32 None loop-crafted/simple_vardep_1.yml true 8.38 4.71 None loop-crafted/simple_vardep_2.yml true 9.29 5.56 None loop-invgen/MADWiFi-encode_ie_ok.yml true 13.89 8.25 None loop-invgen/NetBSD_loop.yml true 10.85 6.46 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml TIMEOUT 900.37 889.92 None loop-invgen/SpamAssassin-loop.yml true 10.81 6.10 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 46.05 37.70 None loop-invgen/apache-escape-absolute.yml true 10.87 6.12 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 16.98 9.48 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 35.45 20.27 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 43.52 30.55 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 271.42 261.57 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 173.12 163.88 None loop-invgen/apache-get-tag.yml true 10.23 6.10 None loop-invgen/down.yml TIMEOUT 901.23 713.74 None loop-invgen/fragtest_simple.yml TIMEOUT 900.52 872.59 None loop-invgen/half_2.yml TIMEOUT 900.83 853.43 None loop-invgen/heapsort.yml TIMEOUT 900.34 886.53 None loop-invgen/id_build.i.p+nlh-reducer.yml true 15.58 8.85 None loop-invgen/id_build.i.p+sep-reducer.yml true 15.76 8.67 None loop-invgen/id_build.i.v+lhb-reducer.yml true 9.46 5.21 None loop-invgen/id_build.yml true 8.55 5.19 None loop-invgen/id_trans.yml false(unreach-call) 9.16 5.34 None loop-invgen/large_const.yml true 13.53 8.31 None loop-invgen/nest-if3.yml true 8.58 4.74 None loop-invgen/nested6.yml true 20.45 11.95 None loop-invgen/nested9.yml true 14.92 8.60 None loop-invgen/sendmail-close-angle.yml true 23.79 13.73 None loop-invgen/seq-3.yml TIMEOUT 900.73 763.65 None loop-invgen/string_concat-noarr.yml true 155.04 119.82 None loop-invgen/up.yml TIMEOUT 901.28 702.78 None loop-lit/afnp2014.yml true 10.30 6.45 None loop-lit/bhmr2007.yml true 13.43 7.94 None loop-lit/cggmp2005.yml true 10.46 6.57 None loop-lit/cggmp2005_variant.yml true 11.65 6.77 None loop-lit/cggmp2005b.yml true 10.07 6.23 None loop-lit/css2003.yml true 8.17 4.60 None loop-lit/ddlm2013.yml true 14.96 9.10 None loop-lit/gcnr2008.yml false(unreach-call) 8.22 4.59 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 69.21 44.48 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 85.97 57.88 None loop-lit/gj2007.yml true 51.72 36.74 None loop-lit/gj2007b.yml true 11.19 6.38 None loop-lit/gr2006.yml true 73.13 46.30 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 7.31 4.61 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 7.31 4.60 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.01 4.79 None loop-lit/gsv2008.yml true 7.61 4.83 None loop-lit/hhk2008.yml true 8.22 4.98 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 7.65 5.01 None loop-lit/jm2006.yml true 10.08 6.01 None loop-lit/jm2006_variant.yml true 10.98 6.76 None loop-lit/mcmillan2006.yml TIMEOUT 900.48 879.84 None loop-new/count_by_1.yml true 7.02 4.33 None loop-new/count_by_1_variant.yml true 7.60 4.91 None loop-new/count_by_2.yml TIMEOUT 900.26 694.99 None loop-new/count_by_k.yml TIMEOUT 900.94 745.47 None loop-new/count_by_nondet.yml TIMEOUT 900.64 668.14 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 20.03 15.86 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 23.67 18.92 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 19.86 15.94 None loop-new/gauss_sum.yml true 16.77 12.72 None loop-new/half.yml true 18.77 11.32 None loop-new/nested-1.yml TIMEOUT 900.46 880.47 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 5.16 3.41 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 5.26 2.97 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 5.10 2.96 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TIMEOUT 901.08 773.85 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TIMEOUT 900.09 762.75 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TIMEOUT 901.02 772.55 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 26.08 15.18 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 6.87 3.72 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TIMEOUT 900.39 894.13 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 146.36 141.83 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 85.19 80.90 None loop-industry-pattern/mod3.yml TIMEOUT 900.39 894.22 None loop-industry-pattern/nested-3.yml TIMEOUT 900.49 881.16 None loop-industry-pattern/ofuf_1.yml true 10.06 6.21 None loop-industry-pattern/ofuf_2.yml true 9.34 5.92 None loop-industry-pattern/ofuf_3.yml true 9.27 5.96 None loop-industry-pattern/ofuf_4.yml true 9.77 5.71 None loop-industry-pattern/ofuf_5.yml true 10.35 6.10 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.30 891.55 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.52 880.87 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.32 891.73 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.91 665.38 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.40 886.85 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.37 885.97 None loops-crafted-1/discover_list.yml TIMEOUT 900.40 891.07 None loops-crafted-1/iftelse.yml TIMEOUT 900.36 896.17 None loops-crafted-1/in-de20.yml TIMEOUT 900.48 873.03 None loops-crafted-1/in-de31.yml TIMEOUT 900.70 875.61 None loops-crafted-1/in-de32.yml TIMEOUT 900.46 877.04 None loops-crafted-1/in-de41.yml TIMEOUT 900.48 867.97 None loops-crafted-1/in-de42.yml TIMEOUT 900.74 865.68 None loops-crafted-1/in-de51.yml TIMEOUT 900.39 886.49 None loops-crafted-1/in-de52.yml TIMEOUT 900.68 851.78 None loops-crafted-1/in-de61.yml TIMEOUT 900.67 871.75 None loops-crafted-1/in-de62.yml TIMEOUT 900.35 889.42 None loops-crafted-1/loopv1.yml true 7.45 4.56 None loops-crafted-1/loopv2.yml true 7.74 5.36 None loops-crafted-1/loopv3.yml true 13.28 8.67 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 901.31 697.47 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.34 888.35 None loops-crafted-1/mono-crafted_11.yml true 134.37 124.71 None loops-crafted-1/mono-crafted_12.yml true 7.40 4.60 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 901.34 699.75 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 901.36 693.22 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 901.16 702.21 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 900.75 708.09 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 901.38 693.61 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.40 882.47 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.99 664.86 None loops-crafted-1/nested3-1.yml TIMEOUT 900.43 886.94 None loops-crafted-1/nested3-2.yml TIMEOUT 900.39 885.60 None loops-crafted-1/nested5-1.yml true 13.09 7.74 None loops-crafted-1/nested5-2.yml TIMEOUT 900.42 883.02 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 900.68 869.82 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 48.17 30.29 None loops-crafted-1/net_reset.yml true 8.38 5.39 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.32 896.10 None loops-crafted-1/sum_natnum.yml TIMEOUT 900.45 876.99 None loops-crafted-1/sumt2.yml true 8.38 5.02 None loops-crafted-1/sumt3.yml true 24.09 19.48 None loops-crafted-1/sumt4.yml true 35.15 30.18 None loops-crafted-1/sumt5.yml true 65.92 59.19 None loops-crafted-1/sumt6.yml true 176.58 165.95 None loops-crafted-1/sumt7.yml true 362.96 350.77 None loops-crafted-1/sumt8.yml TIMEOUT 900.36 891.09 None loops-crafted-1/sumt9.yml TIMEOUT 900.41 885.71 None loops-crafted-1/theatreSquare.yml TIMEOUT 900.23 760.11 None loops-crafted-1/vnew1.yml TIMEOUT 900.37 895.24 None loops-crafted-1/vnew2.yml TIMEOUT 900.38 892.59 None loops-crafted-1/watermelon.yml TIMEOUT 900.97 722.58 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 7.88 4.47 None loop-invariants/const.yml true 8.34 4.65 None loop-invariants/eq1.yml true 8.50 5.11 None loop-invariants/eq2.yml true 8.03 4.51 None loop-invariants/even.yml true 9.34 5.27 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.41 883.39 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 8.79 5.12 None loop-invariants/mod4.yml true 9.29 5.50 None loop-invariants/odd.yml true 8.90 5.36 None loop-simple/deep-nested.yml TIMEOUT 900.86 823.93 None loop-simple/nested_1.yml true 6.75 4.52 None loop-simple/nested_1b.yml false(unreach-call) 10.08 6.36 None loop-simple/nested_2.yml true 8.31 5.33 None loop-simple/nested_3.yml true 32.02 19.66 None loop-simple/nested_4.yml true 168.41 149.83 None loop-simple/nested_5.yml OUT OF MEMORY 288.93 214.17 None loop-simple/nested_6.yml OUT OF MEMORY 160.09 117.92 None loop-zilu/benchmark02_linear.yml true 8.21 5.03 None loop-zilu/benchmark04_conjunctive.yml true 10.11 6.39 None loop-zilu/benchmark05_conjunctive.yml true 11.28 6.60 None loop-zilu/benchmark09_conjunctive.yml true 9.60 5.49 None loop-zilu/benchmark10_conjunctive.yml true 10.76 6.68 None loop-zilu/benchmark11_linear.yml true 9.37 5.49 None loop-zilu/benchmark14_linear.yml true 8.63 5.11 None loop-zilu/benchmark17_conjunctive.yml true 8.39 4.63 None loop-zilu/benchmark18_conjunctive.yml true 9.95 6.07 None loop-zilu/benchmark19_conjunctive.yml true 11.75 6.76 None loop-zilu/benchmark20_conjunctive.yml true 9.42 5.60 None loop-zilu/benchmark23_conjunctive.yml true 70.46 46.35 None loop-zilu/benchmark25_linear.yml true 7.44 4.44 None loop-zilu/benchmark26_linear.yml true 7.63 4.62 None loop-zilu/benchmark32_linear.yml true 6.62 4.00 None loop-zilu/benchmark33_linear.yml true 6.63 3.94 None loop-zilu/benchmark34_conjunctive.yml true 8.95 6.05 None loop-zilu/benchmark35_linear.yml true 6.76 4.28 None loop-zilu/benchmark37_conjunctive.yml true 7.34 5.30 None loop-zilu/benchmark43_conjunctive.yml true 7.84 5.20 None loop-zilu/benchmark51_polynomial.yml true 6.69 4.14 None loop-zilu/benchmark52_polynomial.yml true 6.93 4.62 None verifythis/duplets.yml true 675.56 659.89 None verifythis/elimination_max.yml true 9.01 5.42 None verifythis/lcp.yml true 16.90 9.44 None verifythis/prefixsum_iter.yml ERROR: EXCEPTION 10.64 6.43 None verifythis/tree_del_iter.yml false(unreach-call) 14.77 9.07 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 14.86 8.82 None nla-digbench/bresenham-ll.yml TIMEOUT 900.38 887.79 None nla-digbench/cohencu-ll.yml true 89.37 77.63 None nla-digbench/cohendiv-ll.yml true 13.92 9.05 None nla-digbench/dijkstra-u.yml TIMEOUT 900.39 893.53 None nla-digbench/divbin.yml TIMEOUT 900.37 895.41 None nla-digbench/divbin2.yml TIMEOUT 900.39 894.29 None nla-digbench/egcd-ll.yml true 16.73 13.19 None nla-digbench/egcd2-ll.yml TIMEOUT 900.38 885.97 None nla-digbench/egcd3-ll.yml TIMEOUT 900.34 892.87 None nla-digbench/fermat1-ll.yml true 12.54 9.65 None nla-digbench/fermat2-ll.yml true 11.75 8.80 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 6.03 4.04 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 6.43 4.06 None nla-digbench/geo1-ll.yml true 8.22 5.01 None nla-digbench/geo1-u.yml false(unreach-call) 6.62 4.30 None nla-digbench/geo2-ll.yml true 7.17 4.67 None nla-digbench/geo3-ll.yml true 8.43 6.10 None nla-digbench/hard-ll.yml TIMEOUT 900.40 883.55 None nla-digbench/hard-u.yml TIMEOUT 900.39 894.62 None nla-digbench/hard2.yml true 84.06 72.01 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.42 3.54 None nla-digbench/lcm1.yml TIMEOUT 900.34 896.63 None nla-digbench/lcm2.yml TIMEOUT 900.36 895.04 None nla-digbench/mannadiv.yml true 8.87 5.60 None nla-digbench/prod4br-ll.yml true 17.24 12.00 None nla-digbench/prodbin-ll.yml TIMEOUT 900.49 876.62 None nla-digbench/ps2-ll.yml true 9.32 5.61 None nla-digbench/ps3-ll.yml true 9.64 5.77 None nla-digbench/ps4-ll.yml TIMEOUT 900.80 864.40 None nla-digbench/ps5-ll.yml TIMEOUT 900.39 890.42 None nla-digbench/ps6-ll.yml TIMEOUT 900.22 901.40 None nla-digbench/sqrt1-ll.yml true 11.63 7.52 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 11.03 6.79 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml TIMEOUT 900.36 890.10 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml TIMEOUT 900.42 885.80 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 20.05 14.02 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml TIMEOUT 900.38 887.75 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml TIMEOUT 900.41 886.91 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml TIMEOUT 900.34 892.12 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 61.19 53.53 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 130.03 122.29 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 190.99 182.33 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 74.46 64.31 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 141.58 134.25 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 118.79 109.72 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 197.94 188.05 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 11.07 6.84 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml false(unreach-call) 36.87 26.50 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml false(unreach-call) 342.13 306.61 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 15.65 10.33 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml false(unreach-call) 417.13 405.52 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml false(unreach-call) 31.10 22.98 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml false(unreach-call) 148.05 135.15 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 51.34 41.76 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 55.21 46.09 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 128.49 113.17 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 37.01 28.21 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 109.99 99.62 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 37.94 28.96 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 103.84 94.39 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 8.73 6.33 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 14.99 10.33 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 14.98 10.12 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 17.17 10.83 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 14.72 10.52 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 14.48 10.54 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 18.96 12.64 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 12.23 7.80 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 11.28 8.07 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 11.58 7.74 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 14.48 8.98 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 14.28 9.03 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 11.89 8.69 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 11.67 7.91 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 13.43 9.62 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.32 896.24 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.43 886.47 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml TIMEOUT 900.31 897.32 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.37 892.45 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.33 895.41 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.37 893.62 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.31 898.24 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.41 892.23 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.40 894.09 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.40 890.92 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.37 894.68 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.38 894.42 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.43 891.34 None nla-digbench-scaling/divbin2_unwindbound1.yml true 9.11 6.44 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.36 895.22 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.41 889.92 None nla-digbench-scaling/divbin2_unwindbound2.yml true 10.56 7.61 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.40 893.65 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 900.35 896.92 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.39 892.00 None nla-digbench-scaling/divbin2_valuebound1.yml TIMEOUT 900.35 896.07 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.37 895.40 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 900.25 899.93 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.41 892.56 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.36 893.52 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 900.40 890.43 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.38 895.57 None nla-digbench-scaling/divbin_unwindbound1.yml true 8.50 5.58 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.40 894.98 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.42 892.52 None nla-digbench-scaling/divbin_unwindbound2.yml true 21.97 17.74 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.34 896.71 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 900.40 892.18 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.37 895.16 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 900.40 893.75 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 900.34 896.76 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 900.36 895.64 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 900.38 894.67 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.34 896.75 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.40 892.37 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 900.36 894.50 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 12.48 8.16 None nla-digbench-scaling/egcd-ll_unwindbound10.yml false(unreach-call) 21.10 13.55 None nla-digbench-scaling/egcd-ll_unwindbound100.yml TIMEOUT 900.41 885.88 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 16.82 11.07 None nla-digbench-scaling/egcd-ll_unwindbound20.yml false(unreach-call) 24.73 15.41 None nla-digbench-scaling/egcd-ll_unwindbound5.yml false(unreach-call) 14.76 10.39 None nla-digbench-scaling/egcd-ll_unwindbound50.yml TIMEOUT 900.42 884.83 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 12.32 8.28 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 17.56 12.76 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 15.31 10.75 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 26.15 16.65 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 14.79 10.25 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 19.79 12.99 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 15.07 10.37 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 9.58 6.22 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml false(unreach-call) 335.49 307.37 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 901.09 878.49 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 12.62 8.96 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml false(unreach-call) 432.25 419.34 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 42.29 27.53 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml false(unreach-call) 513.45 476.13 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 24.63 17.36 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 900.39 886.77 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 900.58 874.66 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 56.48 43.46 None nla-digbench-scaling/egcd2-ll_valuebound20.yml ERROR: EXCEPTION 124.84 106.93 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 900.42 885.33 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 900.42 881.87 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 7.74 5.53 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 148.61 132.48 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml TIMEOUT 901.17 851.49 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 8.76 6.37 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml false(unreach-call) 210.36 179.33 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 27.56 21.93 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml TIMEOUT 900.82 851.22 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 36.50 28.79 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 900.61 883.87 None nla-digbench-scaling/egcd3-ll_valuebound100.yml true 503.20 488.79 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 353.39 333.45 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 900.49 867.30 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 900.42 878.14 None nla-digbench-scaling/egcd3-ll_valuebound50.yml true 421.52 400.72 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 19.63 15.18 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml false(unreach-call) 29.42 22.77 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 900.58 873.14 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 16.89 13.86 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml false(unreach-call) 69.59 56.75 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 20.48 16.51 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.49 880.28 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 8.64 5.77 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 13.90 11.09 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 13.76 10.97 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 15.62 12.35 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 15.38 12.29 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 19.72 16.87 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 14.70 11.56 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 10.59 7.96 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml false(unreach-call) 16.55 13.00 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.37 890.80 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 13.63 11.00 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml false(unreach-call) 17.95 14.18 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml false(unreach-call) 16.13 12.94 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml false(unreach-call) 417.62 408.38 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 11.63 6.70 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 16.57 12.45 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 13.79 9.66 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 17.02 12.67 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 16.67 11.97 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 14.60 9.60 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 16.54 12.06 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 8.83 4.93 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 9.05 5.06 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 8.61 4.91 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 8.88 5.14 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 8.83 5.28 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 8.77 5.21 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 8.86 4.94 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 8.27 4.98 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 8.54 5.19 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 8.56 5.20 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 8.54 5.19 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 8.52 4.77 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 9.04 5.35 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 8.54 5.12 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.53 4.61 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 9.10 5.49 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 9.14 5.56 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.66 4.86 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 9.39 6.00 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 6.88 4.79 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 9.27 5.93 None nla-digbench-scaling/freire2_valuebound1.yml UNKNOWN: OverapproxCex 6.53 4.65 None nla-digbench-scaling/freire2_valuebound10.yml UNKNOWN: OverapproxCex 8.76 5.08 None nla-digbench-scaling/freire2_valuebound100.yml UNKNOWN: OverapproxCex 9.03 5.17 None nla-digbench-scaling/freire2_valuebound2.yml UNKNOWN: OverapproxCex 6.16 4.09 None nla-digbench-scaling/freire2_valuebound20.yml UNKNOWN: OverapproxCex 9.59 5.35 None nla-digbench-scaling/freire2_valuebound5.yml UNKNOWN: OverapproxCex 9.68 5.59 None nla-digbench-scaling/freire2_valuebound50.yml UNKNOWN: OverapproxCex 6.36 4.40 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 11.20 6.69 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 8.22 5.73 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 8.30 5.74 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 11.23 7.09 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 8.45 6.15 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 8.44 5.40 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 8.66 5.78 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 8.38 5.79 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 10.46 6.11 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 10.78 6.79 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 8.55 5.76 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 8.28 5.16 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 7.98 5.47 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 8.08 5.95 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 10.17 6.48 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 7.42 5.46 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 7.47 4.76 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 10.09 6.46 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 6.97 4.74 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 7.55 5.62 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 10.10 6.05 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 7.59 5.34 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 7.06 4.77 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 9.53 5.95 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 7.61 4.91 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 6.89 5.13 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 7.26 4.66 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 7.42 4.73 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 11.07 6.69 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 8.54 5.94 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 11.11 7.43 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 8.57 6.44 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 8.51 6.04 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 8.45 5.68 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 11.28 7.34 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 7.10 4.45 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 10.56 6.35 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 7.45 5.12 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.13 4.74 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 7.79 5.09 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 17.41 14.38 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 9.72 6.19 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 9.34 6.14 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 9.00 6.50 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 9.42 6.70 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 12.59 7.94 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 12.50 7.93 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 9.66 6.36 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 9.41 6.89 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 7.73 5.31 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 11.86 7.36 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 8.69 5.97 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 8.81 6.41 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 9.36 6.28 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 11.99 7.40 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 9.28 6.22 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 12.60 7.60 None nla-digbench-scaling/hard-ll_unwindbound10.yml TIMEOUT 900.75 882.84 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 900.77 882.09 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 11.32 8.24 None nla-digbench-scaling/hard-ll_unwindbound20.yml TIMEOUT 900.41 887.58 None nla-digbench-scaling/hard-ll_unwindbound5.yml false(unreach-call) 514.68 488.58 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 900.58 866.35 None nla-digbench-scaling/hard-ll_valuebound1.yml true 43.02 33.69 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 900.46 877.40 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 900.48 888.03 None nla-digbench-scaling/hard-ll_valuebound2.yml TIMEOUT 900.39 887.29 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 900.50 881.20 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.53 881.07 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 900.48 884.77 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 13.65 8.99 None nla-digbench-scaling/hard-u_unwindbound10.yml TIMEOUT 900.44 892.32 None nla-digbench-scaling/hard-u_unwindbound100.yml TIMEOUT 900.41 892.85 None nla-digbench-scaling/hard-u_unwindbound2.yml TIMEOUT 900.41 892.55 None nla-digbench-scaling/hard-u_unwindbound20.yml TIMEOUT 900.37 893.62 None nla-digbench-scaling/hard-u_unwindbound5.yml TIMEOUT 900.42 891.79 None nla-digbench-scaling/hard-u_unwindbound50.yml TIMEOUT 900.37 894.03 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 900.39 892.62 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.47 891.46 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.35 895.27 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.36 894.88 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.32 894.81 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.39 893.32 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.44 891.12 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 8.85 5.38 None nla-digbench-scaling/hard2_unwindbound10.yml false(unreach-call) 397.57 378.11 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.52 871.96 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 10.95 7.27 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.49 871.10 None nla-digbench-scaling/hard2_unwindbound5.yml false(unreach-call) 82.61 68.08 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 900.55 865.73 None nla-digbench-scaling/hard2_valuebound1.yml true 20.16 13.59 None nla-digbench-scaling/hard2_valuebound10.yml true 101.03 86.45 None nla-digbench-scaling/hard2_valuebound100.yml true 90.56 79.41 None nla-digbench-scaling/hard2_valuebound2.yml true 34.40 24.82 None nla-digbench-scaling/hard2_valuebound20.yml true 89.85 77.67 None nla-digbench-scaling/hard2_valuebound5.yml true 91.87 80.61 None nla-digbench-scaling/hard2_valuebound50.yml true 94.57 81.23 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 4.86 3.16 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 4.77 2.73 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 4.89 2.87 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.99 2.84 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 4.49 3.09 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 4.65 2.71 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 4.72 3.10 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 4.77 2.78 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 4.84 2.76 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 4.84 2.85 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 5.04 3.02 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.65 3.20 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 4.84 2.82 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 4.56 3.15 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.33 896.31 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.33 896.42 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.35 895.20 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.34 895.71 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.33 897.01 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.35 894.89 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.33 897.38 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.33 897.89 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.26 899.96 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.33 896.47 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.35 894.88 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.35 894.81 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.34 896.10 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.34 894.98 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.31 896.86 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.32 897.15 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.34 895.37 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.33 896.03 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.33 896.75 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.34 895.08 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.32 897.04 None nla-digbench-scaling/lcm2_valuebound1.yml true 9.91 6.12 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.32 898.01 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.32 897.89 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.34 896.29 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.36 894.68 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.35 894.82 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.34 896.31 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 10.51 6.83 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 11.87 7.99 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 51.33 33.49 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 11.42 7.29 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 14.79 9.66 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 11.79 7.63 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 29.06 17.63 None nla-digbench-scaling/mannadiv_valuebound1.yml true 9.72 5.85 None nla-digbench-scaling/mannadiv_valuebound10.yml true 9.42 5.62 None nla-digbench-scaling/mannadiv_valuebound100.yml true 9.58 5.55 None nla-digbench-scaling/mannadiv_valuebound2.yml true 9.60 5.65 None nla-digbench-scaling/mannadiv_valuebound20.yml true 9.32 5.99 None nla-digbench-scaling/mannadiv_valuebound5.yml true 9.51 6.06 None nla-digbench-scaling/mannadiv_valuebound50.yml true 9.67 5.94 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 11.22 6.87 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml false(unreach-call) 20.96 14.16 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.36 892.05 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml false(unreach-call) 15.32 10.82 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml TIMEOUT 900.37 894.19 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml false(unreach-call) 18.65 14.16 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.40 887.93 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 16.85 12.05 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 16.28 12.11 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 23.32 17.28 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 26.89 22.73 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 16.25 11.83 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 56.78 52.31 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 30.54 25.88 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 7.96 5.29 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml TIMEOUT 900.56 871.01 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.45 882.11 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml false(unreach-call) 14.66 10.73 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml TIMEOUT 900.48 877.42 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml false(unreach-call) 239.75 227.08 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.38 885.56 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 12.92 9.41 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 91.40 82.86 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 166.06 157.48 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 20.53 15.21 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 202.57 191.61 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 44.02 37.50 None nla-digbench-scaling/prodbin-ll_valuebound50.yml ERROR: EXCEPTION 311.96 291.75 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 7.30 4.99 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 7.82 5.58 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 7.42 5.47 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 7.80 5.62 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 7.87 5.67 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 7.69 5.58 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 8.12 5.66 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 7.56 5.65 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 7.34 5.01 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 7.19 4.84 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 7.41 4.87 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 7.34 4.88 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 7.39 4.99 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 7.20 5.03 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 7.41 5.23 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 8.12 5.67 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 8.04 6.10 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 8.01 5.84 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 7.87 6.10 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 7.96 6.05 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 7.80 5.32 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 7.13 4.91 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 7.50 5.00 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 7.22 4.68 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 7.43 5.06 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 7.36 5.33 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 7.33 4.62 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 7.14 4.80 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 7.05 4.61 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 35.01 29.60 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.36 894.01 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 16.39 13.05 None nla-digbench-scaling/ps4-ll_unwindbound20.yml TIMEOUT 900.38 886.73 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 25.48 20.62 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.31 894.91 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 24.21 20.52 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 25.12 18.55 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.49 876.44 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 9.81 6.63 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 91.38 81.09 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 14.21 9.60 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.40 884.34 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 8.25 5.59 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.35 892.70 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.39 890.50 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 18.69 13.82 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.40 890.91 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.36 895.73 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.41 889.01 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 14.40 9.86 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.39 891.14 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.37 893.90 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 12.75 9.07 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.37 893.77 None nla-digbench-scaling/ps5-ll_valuebound5.yml true 35.86 32.26 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.35 894.68 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 8.28 6.28 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.42 886.46 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.35 894.99 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 9.58 6.93 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.29 897.08 None nla-digbench-scaling/ps6-ll_unwindbound5.yml false(unreach-call) 14.38 9.78 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.39 891.48 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 33.72 29.72 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 900.41 892.26 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.39 892.14 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 13.82 8.94 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 900.40 888.50 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 46.01 37.42 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.41 887.33 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.42 6.04 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 13.91 8.53 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 9.90 6.69 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 13.66 8.28 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 10.30 7.07 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 13.66 8.52 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 10.26 7.05 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 9.08 6.29 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 12.97 8.15 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 11.04 7.33 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 9.28 6.01 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 10.06 6.80 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 12.50 7.47 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 11.34 7.37 None ntdrivers-simplified/cdaudio_simpl1.cil-1.yml false(unreach-call) 192.09 138.04 None ntdrivers-simplified/cdaudio_simpl1.cil-2.yml TIMEOUT 900.59 837.17 None ntdrivers-simplified/diskperf_simpl1.cil.yml TIMEOUT 900.54 852.08 None ntdrivers-simplified/floppy_simpl3.cil-1.yml false(unreach-call) 86.48 51.90 None ntdrivers-simplified/floppy_simpl3.cil-2.yml TIMEOUT 900.45 868.02 None ntdrivers-simplified/floppy_simpl4.cil-1.yml false(unreach-call) 130.58 80.88 None ntdrivers-simplified/floppy_simpl4.cil-2.yml TIMEOUT 900.44 869.04 None ntdrivers-simplified/kbfiltr_simpl1.cil.yml true 28.51 15.86 None ntdrivers-simplified/kbfiltr_simpl2.cil-1.yml true 28.49 16.60 None ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml false(unreach-call) 40.24 22.70 None openssl-simplified/s3_clnt_1.cil-1.yml true 36.19 21.27 None openssl-simplified/s3_clnt_1.cil-2.yml false(unreach-call) 14.44 7.74 None openssl-simplified/s3_clnt_2.cil-1.yml false(unreach-call) 11.81 6.92 None openssl-simplified/s3_clnt_2.cil-2.yml true 39.10 23.32 None openssl-simplified/s3_clnt_3.cil-1.yml true 190.16 165.46 None openssl-simplified/s3_clnt_3.cil-2.yml false(unreach-call) 12.22 6.84 None openssl-simplified/s3_clnt_3.cil-3.yml true 40.03 24.57 None openssl-simplified/s3_clnt_4.cil-1.yml true 36.76 22.37 None openssl-simplified/s3_clnt_4.cil-2.yml false(unreach-call) 11.60 6.85 None openssl-simplified/s3_srvr_1.cil-1.yml false(unreach-call) 10.32 6.29 None openssl-simplified/s3_srvr_1.cil-2.yml true 46.45 25.47 None openssl-simplified/s3_srvr_10.cil.yml false(unreach-call) 8.64 4.96 None openssl-simplified/s3_srvr_11.cil.yml false(unreach-call) 21.74 11.81 None openssl-simplified/s3_srvr_12.cil.yml false(unreach-call) 36.14 21.78 None openssl-simplified/s3_srvr_13.cil.yml false(unreach-call) 15.19 8.47 None openssl-simplified/s3_srvr_14.cil.yml false(unreach-call) 18.86 10.42 None openssl-simplified/s3_srvr_1a.cil.yml true 9.54 5.69 None openssl-simplified/s3_srvr_1b.cil.yml true 7.66 4.48 None openssl-simplified/s3_srvr_2.cil-1.yml true 62.78 36.32 None openssl-simplified/s3_srvr_2.cil-2.yml false(unreach-call) 10.04 5.95 None openssl-simplified/s3_srvr_3.cil.yml true 29.34 16.90 None openssl-simplified/s3_srvr_4.cil.yml true 38.36 24.41 None openssl-simplified/s3_srvr_6.cil-1.yml false(unreach-call) 9.28 5.82 None openssl-simplified/s3_srvr_6.cil-2.yml true 162.88 141.91 None openssl-simplified/s3_srvr_7.cil.yml true 53.86 35.62 None openssl-simplified/s3_srvr_8.cil.yml true 38.84 23.17 None locks/test_locks_10.yml true 132.33 122.83 None locks/test_locks_11.yml true 619.86 599.10 None locks/test_locks_12.yml TIMEOUT 900.66 872.52 None locks/test_locks_13.yml TIMEOUT 900.77 870.13 None locks/test_locks_14-1.yml OUT OF MEMORY 133.22 94.88 None locks/test_locks_14-2.yml false(unreach-call) 7.82 4.63 None locks/test_locks_15-1.yml false(unreach-call) 8.13 5.15 None locks/test_locks_15-2.yml OUT OF MEMORY 166.40 112.28 None locks/test_locks_5.yml true 9.79 5.97 None locks/test_locks_6.yml true 11.92 6.59 None locks/test_locks_7.yml true 17.81 9.87 None locks/test_locks_8.yml true 23.55 15.60 None locks/test_locks_9.yml true 49.46 41.66 None ntdrivers/cdaudio.i.cil-1.yml TIMEOUT 900.81 872.10 None ntdrivers/cdaudio.i.cil-2.yml TIMEOUT 900.70 849.43 None ntdrivers/diskperf.i.cil-1.yml TIMEOUT 900.63 866.68 None ntdrivers/diskperf.i.cil-2.yml false(unreach-call) 700.20 572.87 None ntdrivers/floppy.i.cil-1.yml TIMEOUT 900.75 842.45 None ntdrivers/floppy.i.cil-3.yml TIMEOUT 900.30 804.78 None ntdrivers/kbfiltr.i.cil-2.yml TIMEOUT 900.70 840.55 None ntdrivers/parport.i.cil-1.yml UNKNOWN: OverapproxCex 342.86 299.58 None ntdrivers/parport.i.cil-2.yml TIMEOUT 900.23 798.13 None openssl/s3_clnt.blast.01.i.cil-1.yml TIMEOUT 900.59 804.71 None openssl/s3_clnt.blast.01.i.cil-2.yml UNKNOWN: OverapproxCex 59.51 46.60 None openssl/s3_clnt.blast.02.i.cil-1.yml UNKNOWN: OverapproxCex 54.42 38.42 None openssl/s3_clnt.blast.02.i.cil-2.yml TIMEOUT 900.36 744.18 None openssl/s3_clnt.blast.03.i.cil-1.yml UNKNOWN: OverapproxCex 47.12 34.95 None openssl/s3_clnt.blast.03.i.cil-2.yml TIMEOUT 900.41 871.15 None openssl/s3_clnt.blast.04.i.cil-1.yml UNKNOWN: OverapproxCex 55.03 40.87 None openssl/s3_clnt.blast.04.i.cil-2.yml OUT OF MEMORY 513.68 343.23 None openssl/s3_srvr.blast.01.i.cil-1.yml TIMEOUT 901.14 819.52 None openssl/s3_srvr.blast.01.i.cil-2.yml UNKNOWN: OverapproxCex 104.89 82.26 None openssl/s3_srvr.blast.02.i.cil-1.yml UNKNOWN: OverapproxCex 107.10 88.27 None openssl/s3_srvr.blast.02.i.cil-2.yml TIMEOUT 900.64 847.37 None openssl/s3_srvr.blast.03.i.cil.yml UNKNOWN: OverapproxCex 108.47 92.50 None openssl/s3_srvr.blast.04.i.cil.yml UNKNOWN: OverapproxCex 140.49 115.36 None openssl/s3_srvr.blast.06.i.cil-1.yml OUT OF MEMORY 540.32 344.61 None openssl/s3_srvr.blast.06.i.cil-2.yml ERROR: EXCEPTION 251.96 221.44 None openssl/s3_srvr.blast.07.i.cil-1.yml TIMEOUT 900.76 833.13 None openssl/s3_srvr.blast.07.i.cil-2.yml TIMEOUT 900.50 868.91 None openssl/s3_srvr.blast.08.i.cil-1.yml ERROR: EXCEPTION 808.98 763.69 None openssl/s3_srvr.blast.08.i.cil-2.yml TIMEOUT 900.59 859.49 None openssl/s3_srvr.blast.09.i.cil-1.yml ERROR: EXCEPTION 281.98 238.78 None openssl/s3_srvr.blast.09.i.cil-2.yml OUT OF MEMORY 815.90 538.99 None openssl/s3_srvr.blast.10.i.cil-1.yml OUT OF MEMORY 853.97 741.61 None openssl/s3_srvr.blast.10.i.cil-2.yml TIMEOUT 900.69 852.19 None openssl/s3_srvr.blast.11.i.cil-1.yml UNKNOWN: OverapproxCex 205.28 184.66 None openssl/s3_srvr.blast.11.i.cil-2.yml TIMEOUT 901.53 847.61 None openssl/s3_srvr.blast.12.i.cil-1.yml TIMEOUT 900.51 875.29 None openssl/s3_srvr.blast.12.i.cil-2.yml OUT OF MEMORY 367.35 265.81 None openssl/s3_srvr.blast.13.i.cil-1.yml TIMEOUT 900.99 861.88 None openssl/s3_srvr.blast.13.i.cil-2.yml TIMEOUT 900.62 874.60 None openssl/s3_srvr.blast.14.i.cil-1.yml OUT OF MEMORY 548.86 462.13 None openssl/s3_srvr.blast.14.i.cil-2.yml TIMEOUT 900.56 864.52 None openssl/s3_srvr.blast.15.i.cil-1.yml TIMEOUT 900.49 870.59 None openssl/s3_srvr.blast.15.i.cil-2.yml TIMEOUT 900.71 833.03 None openssl/s3_srvr.blast.16.i.cil-1.yml TIMEOUT 900.63 869.03 None openssl/s3_srvr.blast.16.i.cil-2.yml TIMEOUT 901.41 779.90 None ----------------------------------------------------------------------------------------------------------------------- Run set 1 done 273110.28 18963.88 - Automizer IcfgTranformation Jordan.reach-svcomp-all Run set 2 of 5 with options '--force-no-wrapper --core.log.level.for.class de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=WARN -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/automizer/LoopAccelerationJordanC.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------- loops/array-1.yml true 12.70 7.52 None loops/array-2.yml false(unreach-call) 9.22 5.18 None loops/bubble_sort-1.yml true 5.94 4.53 None loops/bubble_sort-2.yml false(unreach-call) 10.50 6.35 None loops/compact.yml TIMEOUT 900.41 888.85 None loops/count_up_down-1.yml TIMEOUT 900.75 823.02 None loops/count_up_down-2.yml false(unreach-call) 8.54 5.42 None loops/eureka_01-1.yml false(unreach-call) 521.15 497.28 None loops/eureka_01-2.yml TIMEOUT 900.78 867.33 None loops/eureka_05.yml true 72.38 54.78 None loops/for_bounded_loop1.yml false(unreach-call) 8.35 4.83 None loops/for_infinite_loop_1.yml true 6.63 3.94 None loops/for_infinite_loop_2.yml true 6.56 4.95 None loops/heavy-1.yml TIMEOUT 900.43 885.47 None loops/heavy-2.yml true 9.11 5.57 None loops/insertion_sort-1.yml TIMEOUT 900.92 928.47 None loops/insertion_sort-2.yml TIMEOUT 900.56 875.88 None loops/invert_string-1.yml false(unreach-call) 19.74 14.07 None loops/invert_string-3.yml TIMEOUT 900.61 832.02 None loops/linear_sea.ch.yml TIMEOUT 900.42 893.64 None loops/linear_search.yml TIMEOUT 900.39 892.76 None loops/lu.cmp.yml true 14.68 8.27 None loops/ludcmp.yml UNKNOWN: OverapproxCex 10.85 6.44 None loops/matrix-1.yml TIMEOUT 900.43 888.68 None loops/matrix-2.yml false(unreach-call) 7.74 5.09 None loops/n.c11.yml true 7.73 5.25 None loops/n.c24.yml ERROR: EXCEPTION 6.09 3.56 None loops/n.c40.yml true 7.41 4.48 None loops/nec11.yml false(unreach-call) 6.82 3.99 None loops/nec20.yml false(unreach-call) 7.33 4.63 None loops/nec40.yml true 7.04 4.15 None loops/s3.yml UNKNOWN: OverapproxCex 123.86 106.17 None loops/string-1.yml true 9.52 6.30 None loops/string-2.yml UNKNOWN: OverapproxCex 9.25 5.81 None loops/sum01-1.yml false(unreach-call) 11.11 7.53 None loops/sum01-2.yml true 10.34 6.24 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 10.41 7.09 None loops/sum03-1.yml false(unreach-call) 13.60 8.13 None loops/sum03-2.yml true 8.84 5.53 None loops/sum04-1.yml false(unreach-call) 7.87 5.18 None loops/sum04-2.yml true 10.11 6.96 None loops/sum_array-1.yml false(unreach-call) 7.37 4.46 None loops/sum_array-2.yml TIMEOUT 900.99 849.63 None loops/terminator_01.yml false(unreach-call) 6.37 4.02 None loops/terminator_02-1.yml false(unreach-call) 6.00 4.29 None loops/terminator_02-2.yml true 6.90 4.19 None loops/terminator_03-1.yml false(unreach-call) 6.69 4.61 None loops/terminator_03-2.yml true 7.00 4.85 None loops/trex01-1.yml ERROR: EXCEPTION 5.72 3.46 None loops/trex01-2.yml ERROR: EXCEPTION 5.53 4.03 None loops/trex02-1.yml true 6.92 7.27 None loops/trex02-2.yml false(unreach-call) 7.07 7.32 None loops/trex03-1.yml false(unreach-call) 7.42 7.62 None loops/trex03-2.yml true 7.29 6.69 None loops/trex04.yml true 7.26 4.81 None loops/veris.c_NetBSD-libc_loop.yml true 9.73 5.98 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 9.35 8.97 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml ERROR: EXCEPTION 6.43 3.73 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 9.41 5.56 None loops/vogal-1.yml ERROR: EXCEPTION 33.90 36.18 None loops/vogal-2.yml ERROR: EXCEPTION 120.91 96.52 None loops/while_infinite_loop_1.yml true 6.50 4.95 None loops/while_infinite_loop_2.yml true 6.58 4.81 None loops/while_infinite_loop_3.yml true 6.71 5.09 None loops/while_infinite_loop_4.yml false(unreach-call) 6.54 4.87 None loop-acceleration/array_1-1.yml TIMEOUT 900.38 894.30 None loop-acceleration/array_1-2.yml true 9.71 6.01 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.40 889.48 None loop-acceleration/array_2-1.yml TIMEOUT 900.43 891.90 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.44 886.53 None loop-acceleration/array_2-2.yml TIMEOUT 900.43 895.27 None loop-acceleration/array_3-1.yml true 8.98 5.56 None loop-acceleration/array_3-2.yml TIMEOUT 900.75 805.94 None loop-acceleration/array_4.yml TIMEOUT 900.47 882.80 None loop-acceleration/const_1-1.yml true 8.23 5.18 None loop-acceleration/const_1-2.yml false(unreach-call) 6.87 3.95 None loop-acceleration/diamond_1-1.yml true 15.35 10.19 None loop-acceleration/diamond_1-2.yml false(unreach-call) 317.44 305.42 None loop-acceleration/diamond_2-2.yml true 27.18 21.87 None loop-acceleration/functions_1-1.yml true 9.74 5.97 None loop-acceleration/functions_1-2.yml TIMEOUT 900.39 881.94 None loop-acceleration/multivar_1-1.yml true 9.76 5.74 None loop-acceleration/multivar_1-2.yml false(unreach-call) 8.90 5.25 None loop-acceleration/nested_1-1.yml true 16.67 11.06 None loop-acceleration/nested_1-2.yml TIMEOUT 900.47 878.54 None loop-acceleration/overflow_1-1.yml true 11.15 7.61 None loop-acceleration/phases_1-1.yml true 149.36 134.05 None loop-acceleration/phases_1-2.yml TIMEOUT 900.39 885.39 None loop-acceleration/phases_2-1.yml false(unreach-call) 6.74 4.13 None loop-acceleration/phases_2-2.yml true 13.08 10.69 None loop-acceleration/simple_1-1.yml false(unreach-call) 7.30 4.48 None loop-acceleration/simple_1-2.yml true 7.70 4.86 None loop-acceleration/simple_2-1.yml true 6.31 4.23 None loop-acceleration/simple_2-2.yml false(unreach-call) 6.28 4.05 None loop-acceleration/simple_3-1.yml false(unreach-call) 6.78 4.58 None loop-acceleration/simple_3-2.yml true 8.60 6.22 None loop-acceleration/simple_4-1.yml false(unreach-call) 7.19 4.66 None loop-acceleration/simple_4-2.yml true 7.87 5.64 None loop-acceleration/underapprox_1-1.yml ERROR: EXCEPTION 5.71 3.98 None loop-acceleration/underapprox_1-2.yml ERROR: EXCEPTION 5.83 4.55 None loop-acceleration/underapprox_2-1.yml ERROR: EXCEPTION 5.78 4.20 None loop-acceleration/underapprox_2-2.yml ERROR: EXCEPTION 5.51 3.82 None loop-crafted/simple_array_index_value_1-1.yml ERROR: EXCEPTION 512.26 498.33 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 6.33 4.66 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.32 893.92 None loop-crafted/simple_array_index_value_3.yml ERROR: EXCEPTION 7.50 4.71 None loop-crafted/simple_vardep_1.yml true 9.03 5.09 None loop-crafted/simple_vardep_2.yml true 9.69 5.37 None loop-invgen/MADWiFi-encode_ie_ok.yml true 15.76 8.87 None loop-invgen/NetBSD_loop.yml true 12.02 7.44 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml true 15.99 8.61 None loop-invgen/SpamAssassin-loop.yml true 13.70 7.89 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 15.11 9.54 None loop-invgen/apache-escape-absolute.yml true 13.19 7.61 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 22.61 12.26 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 32.48 21.06 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 64.64 38.96 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 15.94 9.75 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 15.44 9.72 None loop-invgen/apache-get-tag.yml true 10.29 6.16 None loop-invgen/down.yml true 8.83 5.62 None loop-invgen/fragtest_simple.yml TIMEOUT 900.58 878.17 None loop-invgen/half_2.yml true 25.63 17.41 None loop-invgen/heapsort.yml true 65.46 39.76 None loop-invgen/id_build.i.p+nlh-reducer.yml true 12.56 7.26 None loop-invgen/id_build.i.p+sep-reducer.yml true 12.10 7.16 None loop-invgen/id_build.i.v+lhb-reducer.yml true 7.74 4.91 None loop-invgen/id_build.yml true 6.86 4.38 None loop-invgen/id_trans.yml false(unreach-call) 7.10 4.26 None loop-invgen/large_const.yml true 10.38 6.89 None loop-invgen/nest-if3.yml true 7.07 4.15 None loop-invgen/nested6.yml true 19.10 11.62 None loop-invgen/nested9.yml true 11.33 7.33 None loop-invgen/sendmail-close-angle.yml true 17.16 10.06 None loop-invgen/seq-3.yml true 19.32 12.09 None loop-invgen/string_concat-noarr.yml true 184.47 135.72 None loop-invgen/up.yml true 10.73 6.52 None loop-lit/afnp2014.yml true 8.33 5.47 None loop-lit/bhmr2007.yml true 11.31 6.90 None loop-lit/cggmp2005.yml true 85.44 76.38 None loop-lit/cggmp2005_variant.yml true 8.63 5.56 None loop-lit/cggmp2005b.yml true 8.44 5.44 None loop-lit/css2003.yml true 6.72 3.96 None loop-lit/ddlm2013.yml true 12.59 8.11 None loop-lit/gcnr2008.yml false(unreach-call) 6.23 3.78 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 57.32 39.58 None loop-lit/gj2007.c.i.p+nlh-reducer.yml true 90.54 62.82 None loop-lit/gj2007.yml true 42.83 30.55 None loop-lit/gj2007b.yml true 8.30 5.19 None loop-lit/gr2006.yml true 49.28 34.26 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 101.03 84.30 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 92.88 82.16 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.29 4.77 None loop-lit/gsv2008.yml true 23.25 18.00 None loop-lit/hhk2008.yml true 10.74 6.40 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 10.55 5.94 None loop-lit/jm2006.yml true 10.28 5.83 None loop-lit/jm2006_variant.yml true 8.73 5.24 None loop-lit/mcmillan2006.yml TIMEOUT 900.54 870.62 None loop-new/count_by_1.yml true 7.05 4.29 None loop-new/count_by_1_variant.yml true 7.11 4.81 None loop-new/count_by_2.yml TIMEOUT 900.22 698.15 None loop-new/count_by_k.yml TIMEOUT 900.68 712.61 None loop-new/count_by_nondet.yml TIMEOUT 900.80 699.66 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.38 891.50 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 124.51 117.64 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.42 887.27 None loop-new/gauss_sum.yml true 12.13 7.30 None loop-new/half.yml true 20.25 11.93 None loop-new/nested-1.yml true 27.21 15.89 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.07 3.51 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 5.73 3.36 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.80 4.12 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TIMEOUT 900.21 763.64 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TIMEOUT 900.11 767.31 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TIMEOUT 900.50 753.49 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 26.83 15.46 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.10 2.91 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TIMEOUT 900.40 895.98 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 132.09 124.98 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 119.10 114.21 None loop-industry-pattern/mod3.yml TIMEOUT 900.30 900.14 None loop-industry-pattern/nested-3.yml true 149.42 113.09 None loop-industry-pattern/ofuf_1.yml true 12.01 6.59 None loop-industry-pattern/ofuf_2.yml true 11.09 6.30 None loop-industry-pattern/ofuf_3.yml true 11.24 6.66 None loop-industry-pattern/ofuf_4.yml true 12.60 7.18 None loop-industry-pattern/ofuf_5.yml true 12.43 6.87 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.52 875.62 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.44 888.85 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.37 888.14 None loops-crafted-1/Mono4_1.yml TIMEOUT 901.27 698.72 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.44 882.60 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.44 878.16 None loops-crafted-1/discover_list.yml ERROR: EXCEPTION 9.14 5.38 None loops-crafted-1/iftelse.yml TIMEOUT 900.39 894.12 None loops-crafted-1/in-de20.yml TIMEOUT 900.50 894.35 None loops-crafted-1/in-de31.yml TIMEOUT 900.50 889.52 None loops-crafted-1/in-de32.yml TIMEOUT 900.49 892.56 None loops-crafted-1/in-de41.yml OUT OF MEMORY 309.13 276.77 None loops-crafted-1/in-de42.yml TIMEOUT 900.56 882.25 None loops-crafted-1/in-de51.yml ERROR: EXCEPTION 136.58 121.41 None loops-crafted-1/in-de52.yml TIMEOUT 901.08 900.16 None loops-crafted-1/in-de61.yml TIMEOUT 900.89 860.88 None loops-crafted-1/in-de62.yml TIMEOUT 900.93 851.87 None loops-crafted-1/loopv1.yml true 7.30 4.46 None loops-crafted-1/loopv2.yml true 7.83 5.24 None loops-crafted-1/loopv3.yml true 13.22 8.50 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 901.14 706.38 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.51 868.91 None loops-crafted-1/mono-crafted_11.yml true 143.51 134.39 None loops-crafted-1/mono-crafted_12.yml true 7.55 4.54 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 901.40 698.31 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.94 666.30 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 900.31 687.54 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 901.04 871.35 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 900.87 668.88 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.37 890.44 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.11 693.66 None loops-crafted-1/nested3-1.yml TIMEOUT 900.49 880.87 None loops-crafted-1/nested3-2.yml false(unreach-call) 9.26 5.16 None loops-crafted-1/nested5-1.yml true 12.69 7.81 None loops-crafted-1/nested5-2.yml TIMEOUT 900.41 884.73 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 900.21 776.44 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 46.76 29.45 None loops-crafted-1/net_reset.yml true 7.95 4.69 None loops-crafted-1/sum_by_3.yml true 730.80 716.93 None loops-crafted-1/sum_natnum.yml TIMEOUT 900.28 898.74 None loops-crafted-1/sumt2.yml true 10.94 6.99 None loops-crafted-1/sumt3.yml true 24.16 18.43 None loops-crafted-1/sumt4.yml true 30.48 25.81 None loops-crafted-1/sumt5.yml true 69.80 60.44 None loops-crafted-1/sumt6.yml true 173.98 162.35 None loops-crafted-1/sumt7.yml true 380.74 370.08 None loops-crafted-1/sumt8.yml TIMEOUT 900.43 883.39 None loops-crafted-1/sumt9.yml TIMEOUT 900.41 885.71 None loops-crafted-1/theatreSquare.yml TIMEOUT 900.73 865.51 None loops-crafted-1/vnew1.yml TIMEOUT 900.34 895.27 None loops-crafted-1/vnew2.yml TIMEOUT 900.61 885.55 None loops-crafted-1/watermelon.yml TIMEOUT 900.43 885.84 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 6.28 3.93 None loop-invariants/const.yml true 6.42 4.18 None loop-invariants/eq1.yml true 6.85 4.27 None loop-invariants/eq2.yml true 6.73 3.94 None loop-invariants/even.yml true 6.96 4.28 None loop-invariants/linear-inequality-inv-a.yml ERROR: EXCEPTION 5.25 3.20 None loop-invariants/linear-inequality-inv-b.yml ERROR: EXCEPTION 5.43 3.29 None loop-invariants/mod4.yml true 6.98 4.30 None loop-invariants/odd.yml true 6.97 4.27 None loop-simple/deep-nested.yml TIMEOUT 900.83 841.59 None loop-simple/nested_1.yml true 7.58 4.66 None loop-simple/nested_1b.yml false(unreach-call) 7.98 5.46 None loop-simple/nested_2.yml true 9.23 6.23 None loop-simple/nested_3.yml true 17.57 11.11 None loop-simple/nested_4.yml true 24.45 16.93 None loop-simple/nested_5.yml OUT OF MEMORY 318.76 245.38 None loop-simple/nested_6.yml OUT OF MEMORY 152.59 113.30 None loop-zilu/benchmark02_linear.yml true 7.00 4.62 None loop-zilu/benchmark04_conjunctive.yml true 7.31 4.66 None loop-zilu/benchmark05_conjunctive.yml true 8.54 5.43 None loop-zilu/benchmark09_conjunctive.yml true 7.60 5.34 None loop-zilu/benchmark10_conjunctive.yml true 8.35 5.82 None loop-zilu/benchmark11_linear.yml true 7.40 4.89 None loop-zilu/benchmark14_linear.yml true 7.01 4.40 None loop-zilu/benchmark17_conjunctive.yml true 6.96 4.66 None loop-zilu/benchmark18_conjunctive.yml true 8.09 4.92 None loop-zilu/benchmark19_conjunctive.yml true 8.52 5.28 None loop-zilu/benchmark20_conjunctive.yml TIMEOUT 900.52 884.71 None loop-zilu/benchmark23_conjunctive.yml true 7.72 5.02 None loop-zilu/benchmark25_linear.yml true 7.15 4.42 None loop-zilu/benchmark26_linear.yml true 6.96 4.26 None loop-zilu/benchmark32_linear.yml true 6.46 3.88 None loop-zilu/benchmark33_linear.yml true 6.76 4.16 None loop-zilu/benchmark34_conjunctive.yml true 8.08 5.37 None loop-zilu/benchmark35_linear.yml true 6.87 4.29 None loop-zilu/benchmark37_conjunctive.yml true 7.32 4.80 None loop-zilu/benchmark43_conjunctive.yml true 7.72 4.85 None loop-zilu/benchmark51_polynomial.yml true 6.45 3.92 None loop-zilu/benchmark52_polynomial.yml unknown 7.66 5.72 None verifythis/duplets.yml true 528.53 500.87 None verifythis/elimination_max.yml true 8.34 5.31 None verifythis/lcp.yml true 12.34 7.26 None verifythis/prefixsum_iter.yml ERROR: EXCEPTION 5.98 3.62 None verifythis/tree_del_iter.yml ERROR: EXCEPTION 6.25 3.74 None verifythis/tree_del_iter_incorrect.yml ERROR: EXCEPTION 5.75 3.59 None nla-digbench/bresenham-ll.yml TIMEOUT 900.41 892.79 None nla-digbench/cohencu-ll.yml true 72.45 59.88 None nla-digbench/cohendiv-ll.yml true 12.35 8.37 None nla-digbench/dijkstra-u.yml TIMEOUT 900.39 893.27 None nla-digbench/divbin.yml TIMEOUT 900.38 894.97 None nla-digbench/divbin2.yml TIMEOUT 900.37 894.55 None nla-digbench/egcd-ll.yml true 11.85 9.39 None nla-digbench/egcd2-ll.yml TIMEOUT 900.31 891.33 None nla-digbench/egcd3-ll.yml TIMEOUT 900.41 886.19 None nla-digbench/fermat1-ll.yml true 13.84 10.90 None nla-digbench/fermat2-ll.yml true 11.67 8.43 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 8.47 4.76 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 6.90 4.71 None nla-digbench/geo1-ll.yml true 10.68 6.38 None nla-digbench/geo1-u.yml false(unreach-call) 7.34 4.79 None nla-digbench/geo2-ll.yml true 10.38 6.78 None nla-digbench/geo3-ll.yml true 8.67 5.98 None nla-digbench/hard-ll.yml TIMEOUT 900.50 873.61 None nla-digbench/hard-u.yml TIMEOUT 900.37 894.94 None nla-digbench/hard2.yml true 81.25 64.93 None nla-digbench/knuth.yml ERROR: EXCEPTION 6.92 4.11 None nla-digbench/lcm1.yml TIMEOUT 900.38 894.42 None nla-digbench/lcm2.yml TIMEOUT 900.38 894.74 None nla-digbench/mannadiv.yml true 8.57 5.62 None nla-digbench/prod4br-ll.yml true 13.74 9.98 None nla-digbench/prodbin-ll.yml ERROR: EXCEPTION 304.45 292.17 None nla-digbench/ps2-ll.yml true 7.73 4.64 None nla-digbench/ps3-ll.yml true 7.18 5.09 None nla-digbench/ps4-ll.yml TIMEOUT 900.48 876.48 None nla-digbench/ps5-ll.yml TIMEOUT 900.35 893.95 None nla-digbench/ps6-ll.yml TIMEOUT 900.34 896.54 None nla-digbench/sqrt1-ll.yml true 9.56 6.69 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 9.10 6.37 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml TIMEOUT 900.37 889.16 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml TIMEOUT 900.36 891.86 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 19.83 14.38 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml TIMEOUT 900.38 888.67 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml TIMEOUT 900.36 889.04 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml TIMEOUT 900.41 887.02 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 81.96 75.84 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 77.70 62.65 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 137.41 123.62 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 50.45 39.98 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 86.22 73.23 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 71.94 65.09 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 119.25 109.17 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 9.07 7.08 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml false(unreach-call) 42.74 30.22 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml false(unreach-call) 207.52 197.36 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 19.06 12.92 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml false(unreach-call) 196.49 178.48 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml false(unreach-call) 40.80 29.70 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml false(unreach-call) 180.92 158.06 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 48.07 35.26 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 78.47 68.62 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 115.51 102.64 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 40.23 29.53 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 91.01 82.07 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 41.31 29.85 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 100.37 90.61 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 11.14 7.28 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 16.83 11.45 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 17.07 11.24 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 15.95 10.24 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 17.62 12.06 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 17.51 11.96 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 17.24 11.82 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 11.78 7.72 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 10.89 9.33 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 13.49 8.56 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 14.52 9.49 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 10.64 7.17 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 14.20 8.96 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 10.89 8.31 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 13.36 9.39 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.46 890.38 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.42 892.57 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 34.52 29.22 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.42 889.19 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.23 899.47 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.48 890.09 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.39 892.34 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.37 894.63 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.42 893.07 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.36 895.15 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.38 895.33 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.35 895.71 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.38 893.80 None nla-digbench-scaling/divbin2_unwindbound1.yml true 10.19 6.75 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.38 893.53 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.41 890.75 None nla-digbench-scaling/divbin2_unwindbound2.yml true 11.79 8.28 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.41 892.08 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 900.41 893.36 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.42 892.22 None nla-digbench-scaling/divbin2_valuebound1.yml TIMEOUT 900.38 894.22 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.30 901.28 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 900.37 894.93 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.37 894.90 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.40 893.40 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 900.38 895.30 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.39 896.29 None nla-digbench-scaling/divbin_unwindbound1.yml true 7.90 5.39 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.36 896.58 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.41 894.76 None nla-digbench-scaling/divbin_unwindbound2.yml true 13.31 10.14 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.40 894.40 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 900.40 893.27 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.41 892.43 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 900.39 893.82 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 900.39 893.47 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 900.41 893.69 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 900.39 895.11 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.27 900.74 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.38 894.53 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 900.41 892.42 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 10.47 7.01 None nla-digbench-scaling/egcd-ll_unwindbound10.yml false(unreach-call) 15.16 11.18 None nla-digbench-scaling/egcd-ll_unwindbound100.yml TIMEOUT 900.37 890.30 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 14.84 10.19 None nla-digbench-scaling/egcd-ll_unwindbound20.yml false(unreach-call) 20.96 14.07 None nla-digbench-scaling/egcd-ll_unwindbound5.yml false(unreach-call) 16.77 11.39 None nla-digbench-scaling/egcd-ll_unwindbound50.yml TIMEOUT 900.38 890.67 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 12.26 8.93 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 14.06 9.81 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 12.49 9.07 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 19.39 12.59 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 11.82 9.12 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 12.28 9.23 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 14.24 9.54 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 8.75 6.35 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml false(unreach-call) 261.43 241.97 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 900.67 862.47 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 11.85 8.98 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml false(unreach-call) 462.67 436.76 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 31.25 24.35 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml false(unreach-call) 664.09 645.42 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 24.18 15.83 None nla-digbench-scaling/egcd2-ll_valuebound10.yml true 758.55 739.66 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 900.48 877.89 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 48.57 29.56 None nla-digbench-scaling/egcd2-ll_valuebound20.yml ERROR: EXCEPTION 115.95 101.06 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 900.70 873.38 None nla-digbench-scaling/egcd2-ll_valuebound50.yml true 362.98 337.01 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 7.97 5.22 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 144.79 131.16 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml TIMEOUT 900.57 862.47 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 11.48 7.21 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml false(unreach-call) 376.09 367.32 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 33.25 23.80 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml false(unreach-call) 276.89 236.28 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 41.81 30.11 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 900.54 863.19 None nla-digbench-scaling/egcd3-ll_valuebound100.yml true 88.74 76.54 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 86.73 70.59 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 900.39 885.43 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 900.43 877.46 None nla-digbench-scaling/egcd3-ll_valuebound50.yml true 93.34 83.39 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 16.27 13.19 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml false(unreach-call) 22.62 18.22 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 900.43 881.92 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 18.09 14.43 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml false(unreach-call) 65.47 49.22 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 18.54 16.34 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.42 885.10 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 9.48 5.91 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 14.50 11.33 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 14.56 11.40 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 18.35 13.55 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 15.27 11.46 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 15.44 12.40 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 17.39 12.83 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 10.71 7.93 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml false(unreach-call) 19.00 14.13 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.37 889.98 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 14.89 11.84 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml false(unreach-call) 23.74 17.82 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml false(unreach-call) 18.97 14.75 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml false(unreach-call) 502.45 492.72 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 11.13 6.95 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 18.98 14.67 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 13.87 9.24 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 14.45 12.39 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 15.72 11.28 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 12.04 7.72 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 13.30 10.81 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 8.02 5.02 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 8.58 5.04 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 8.45 4.62 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 8.43 5.18 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 8.32 4.64 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 6.31 5.18 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 8.89 4.93 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 7.59 4.77 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 6.23 5.36 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 8.28 4.65 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 8.00 4.38 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 8.77 4.81 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 6.35 4.47 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 8.51 4.88 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.99 5.32 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 9.27 5.50 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 8.41 5.49 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.57 5.26 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 9.19 5.53 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 8.41 5.14 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.69 5.51 None nla-digbench-scaling/freire2_valuebound1.yml UNKNOWN: OverapproxCex 8.98 5.42 None nla-digbench-scaling/freire2_valuebound10.yml UNKNOWN: OverapproxCex 8.27 4.84 None nla-digbench-scaling/freire2_valuebound100.yml UNKNOWN: OverapproxCex 6.52 4.80 None nla-digbench-scaling/freire2_valuebound2.yml UNKNOWN: OverapproxCex 9.18 5.46 None nla-digbench-scaling/freire2_valuebound20.yml UNKNOWN: OverapproxCex 8.51 5.07 None nla-digbench-scaling/freire2_valuebound5.yml UNKNOWN: OverapproxCex 6.63 4.71 None nla-digbench-scaling/freire2_valuebound50.yml UNKNOWN: OverapproxCex 9.03 5.26 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 10.18 6.11 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 8.13 7.69 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 11.14 6.86 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 10.04 6.35 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 7.52 5.83 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 10.76 6.79 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 10.02 6.47 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 8.01 7.09 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 10.60 6.65 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 10.30 6.40 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 8.23 6.71 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 10.70 6.22 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 7.83 5.02 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 10.04 6.06 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 7.27 4.88 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 7.06 5.99 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 9.66 5.90 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 8.81 5.85 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 7.85 5.12 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 7.40 5.82 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 9.32 6.21 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 9.27 5.62 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 7.47 4.72 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 7.26 5.22 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 10.11 6.39 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 8.56 5.59 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 7.21 4.69 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 7.07 5.83 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 8.02 5.28 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 11.06 7.13 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 10.44 6.89 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 7.71 6.18 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 8.39 6.05 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 10.21 6.39 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 10.60 7.10 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 6.51 4.77 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 7.98 5.17 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 9.27 5.32 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 9.92 5.91 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 7.24 4.88 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 18.05 14.96 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 9.25 5.59 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 8.50 6.63 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 11.92 8.09 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 11.50 7.64 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 8.66 7.21 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 11.95 7.87 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 9.14 6.35 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 11.20 7.08 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 8.02 7.04 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 11.63 7.27 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 8.82 6.18 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 10.45 6.32 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 8.20 5.72 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 10.93 6.92 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 8.82 5.60 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 10.87 6.70 None nla-digbench-scaling/hard-ll_unwindbound10.yml TIMEOUT 900.34 897.06 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 900.40 884.33 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 15.18 9.60 None nla-digbench-scaling/hard-ll_unwindbound20.yml TIMEOUT 900.37 875.66 None nla-digbench-scaling/hard-ll_unwindbound5.yml false(unreach-call) 510.79 482.75 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 900.57 865.39 None nla-digbench-scaling/hard-ll_valuebound1.yml true 46.18 33.50 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 900.47 874.32 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 900.48 881.65 None nla-digbench-scaling/hard-ll_valuebound2.yml TIMEOUT 900.43 884.38 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 900.52 877.71 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.45 880.72 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 900.48 883.69 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 11.68 9.01 None nla-digbench-scaling/hard-u_unwindbound10.yml TIMEOUT 900.38 895.74 None nla-digbench-scaling/hard-u_unwindbound100.yml TIMEOUT 900.40 894.01 None nla-digbench-scaling/hard-u_unwindbound2.yml TIMEOUT 900.36 895.80 None nla-digbench-scaling/hard-u_unwindbound20.yml TIMEOUT 900.39 893.84 None nla-digbench-scaling/hard-u_unwindbound5.yml TIMEOUT 900.43 892.34 None nla-digbench-scaling/hard-u_unwindbound50.yml TIMEOUT 900.41 893.86 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 900.20 900.25 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.40 891.95 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.40 891.72 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.39 893.56 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.39 892.74 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.40 891.59 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.43 890.21 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 9.61 5.97 None nla-digbench-scaling/hard2_unwindbound10.yml false(unreach-call) 407.85 387.25 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.40 885.48 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 10.53 6.89 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.46 875.43 None nla-digbench-scaling/hard2_unwindbound5.yml false(unreach-call) 79.88 72.57 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 900.46 880.08 None nla-digbench-scaling/hard2_valuebound1.yml true 16.64 11.35 None nla-digbench-scaling/hard2_valuebound10.yml true 76.77 66.48 None nla-digbench-scaling/hard2_valuebound100.yml true 78.62 68.42 None nla-digbench-scaling/hard2_valuebound2.yml true 32.66 24.94 None nla-digbench-scaling/hard2_valuebound20.yml true 77.71 60.68 None nla-digbench-scaling/hard2_valuebound5.yml true 82.02 68.48 None nla-digbench-scaling/hard2_valuebound50.yml true 81.87 69.56 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 5.58 3.91 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 5.57 3.55 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 5.45 3.28 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 5.33 3.19 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 5.50 3.65 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 5.33 3.81 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 5.27 3.13 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 5.18 4.47 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 5.36 3.06 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 5.17 4.52 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 5.27 3.51 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 5.71 3.55 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 5.51 3.41 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 5.23 3.55 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.34 899.68 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.33 897.31 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.36 894.95 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.36 896.12 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.34 895.67 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.35 894.76 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.35 894.93 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.35 896.16 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.34 895.71 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.35 894.95 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.35 894.93 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.31 897.84 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.33 896.96 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.32 896.63 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.32 900.12 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.30 897.76 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.34 895.48 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.33 896.16 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.32 896.48 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.32 895.62 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.33 895.14 None nla-digbench-scaling/lcm2_valuebound1.yml true 11.11 6.84 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.36 896.08 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.35 895.75 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.41 895.23 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.35 894.55 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.32 897.14 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.33 896.52 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 8.56 5.74 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 10.16 6.79 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 41.82 29.52 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 8.60 5.99 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 11.72 8.27 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 9.17 6.49 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 23.35 15.07 None nla-digbench-scaling/mannadiv_valuebound1.yml true 7.39 4.79 None nla-digbench-scaling/mannadiv_valuebound10.yml true 7.33 4.76 None nla-digbench-scaling/mannadiv_valuebound100.yml true 7.31 4.68 None nla-digbench-scaling/mannadiv_valuebound2.yml true 7.49 4.80 None nla-digbench-scaling/mannadiv_valuebound20.yml true 7.51 4.83 None nla-digbench-scaling/mannadiv_valuebound5.yml true 7.51 4.84 None nla-digbench-scaling/mannadiv_valuebound50.yml true 7.63 5.30 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 9.11 5.85 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml false(unreach-call) 16.67 11.76 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.37 893.92 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml false(unreach-call) 15.42 11.58 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml TIMEOUT 900.34 899.63 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml false(unreach-call) 21.87 15.57 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.35 893.90 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 15.57 11.23 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 19.13 13.69 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 17.06 12.41 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 16.83 12.34 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 19.60 14.24 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 18.10 13.73 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 16.11 11.89 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 9.71 6.17 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml TIMEOUT 900.60 876.99 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.57 877.30 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml false(unreach-call) 42.47 35.04 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml TIMEOUT 900.61 872.33 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml false(unreach-call) 402.76 385.55 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.66 871.87 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 12.32 8.10 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 95.80 83.49 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 171.51 160.25 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 25.23 17.56 None nla-digbench-scaling/prodbin-ll_valuebound20.yml true 214.80 199.10 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 41.69 33.88 None nla-digbench-scaling/prodbin-ll_valuebound50.yml ERROR: EXCEPTION 347.83 332.43 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 9.31 6.16 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 9.97 6.62 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 10.17 6.33 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 8.40 5.60 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 10.18 6.79 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 8.36 5.78 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 10.20 6.33 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 7.09 5.26 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 7.68 4.81 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 9.51 5.96 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 7.42 5.13 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 7.75 4.87 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 7.62 5.01 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 7.61 5.34 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 9.76 6.32 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 8.20 5.86 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 8.55 6.10 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 10.06 6.29 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 8.02 5.73 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 8.45 5.63 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 9.98 6.27 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 7.25 5.05 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 7.79 4.96 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 9.80 5.64 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 7.34 5.20 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 7.71 5.46 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 9.11 5.52 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 7.36 5.42 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 7.09 4.74 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 47.72 37.61 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.33 892.82 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 15.74 12.68 None nla-digbench-scaling/ps4-ll_unwindbound20.yml TIMEOUT 900.36 890.10 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 27.74 23.69 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.40 884.60 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 18.03 13.35 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 20.73 14.69 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.54 867.20 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 12.40 8.12 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 193.61 180.64 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 19.04 13.16 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.43 879.41 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 7.97 5.83 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.36 892.87 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.36 893.73 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 15.39 12.04 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.35 893.96 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.31 901.06 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.36 894.50 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 12.53 9.22 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.36 893.80 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.38 893.11 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 15.93 10.91 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.41 890.94 None nla-digbench-scaling/ps5-ll_valuebound5.yml true 33.61 27.21 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.42 889.80 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 9.19 6.37 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.37 893.83 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.37 891.88 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 17.41 12.49 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.41 886.58 None nla-digbench-scaling/ps6-ll_unwindbound5.yml false(unreach-call) 18.51 12.44 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.41 886.81 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 19.83 14.73 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 900.41 890.00 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.39 892.44 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 16.67 13.04 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 900.41 892.25 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 59.96 53.61 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.39 891.42 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.87 6.76 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 9.77 7.29 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 10.75 7.61 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 10.21 7.64 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 10.31 7.13 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 10.09 7.36 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 10.06 7.07 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 9.53 7.70 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 9.62 6.89 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 9.69 6.32 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 9.46 6.99 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 9.68 6.42 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 9.65 7.20 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 9.90 6.83 None ntdrivers-simplified/cdaudio_simpl1.cil-1.yml false(unreach-call) 157.04 130.39 None ntdrivers-simplified/cdaudio_simpl1.cil-2.yml true 206.92 145.04 None ntdrivers-simplified/diskperf_simpl1.cil.yml true 70.99 48.02 None ntdrivers-simplified/floppy_simpl3.cil-1.yml false(unreach-call) 64.82 41.01 None ntdrivers-simplified/floppy_simpl3.cil-2.yml ERROR: EXCEPTION 8.82 5.05 None ntdrivers-simplified/floppy_simpl4.cil-1.yml false(unreach-call) 117.63 74.90 None ntdrivers-simplified/floppy_simpl4.cil-2.yml true 115.01 75.64 None ntdrivers-simplified/kbfiltr_simpl1.cil.yml true 19.76 12.29 None ntdrivers-simplified/kbfiltr_simpl2.cil-1.yml true 25.88 15.20 None ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml false(unreach-call) 33.65 21.22 None openssl-simplified/s3_clnt_1.cil-1.yml true 31.95 18.72 None openssl-simplified/s3_clnt_1.cil-2.yml false(unreach-call) 14.55 7.87 None openssl-simplified/s3_clnt_2.cil-1.yml false(unreach-call) 14.98 8.10 None openssl-simplified/s3_clnt_2.cil-2.yml true 29.82 19.48 None openssl-simplified/s3_clnt_3.cil-1.yml true 33.24 18.76 None openssl-simplified/s3_clnt_3.cil-2.yml false(unreach-call) 15.12 8.52 None openssl-simplified/s3_clnt_3.cil-3.yml true 32.93 22.00 None openssl-simplified/s3_clnt_4.cil-1.yml true 37.43 21.00 None openssl-simplified/s3_clnt_4.cil-2.yml false(unreach-call) 12.47 6.89 None openssl-simplified/s3_srvr_1.cil-1.yml false(unreach-call) 10.83 6.18 None openssl-simplified/s3_srvr_1.cil-2.yml true 27.32 17.13 None openssl-simplified/s3_srvr_10.cil.yml false(unreach-call) 9.07 5.58 None openssl-simplified/s3_srvr_11.cil.yml false(unreach-call) 19.21 10.61 None openssl-simplified/s3_srvr_12.cil.yml false(unreach-call) 30.93 21.52 None openssl-simplified/s3_srvr_13.cil.yml false(unreach-call) 15.46 9.03 None openssl-simplified/s3_srvr_14.cil.yml false(unreach-call) 15.22 8.58 None openssl-simplified/s3_srvr_1a.cil.yml true 10.69 6.02 None openssl-simplified/s3_srvr_1b.cil.yml true 8.06 4.65 None openssl-simplified/s3_srvr_2.cil-1.yml true 37.21 22.94 None openssl-simplified/s3_srvr_2.cil-2.yml false(unreach-call) 13.35 7.25 None openssl-simplified/s3_srvr_3.cil.yml true 25.04 14.55 None openssl-simplified/s3_srvr_4.cil.yml true 31.21 18.21 None openssl-simplified/s3_srvr_6.cil-1.yml false(unreach-call) 9.01 5.32 None openssl-simplified/s3_srvr_6.cil-2.yml true 42.34 29.42 None openssl-simplified/s3_srvr_7.cil.yml true 36.30 20.59 None openssl-simplified/s3_srvr_8.cil.yml true 33.57 19.49 None locks/test_locks_10.yml true 16.78 9.22 None locks/test_locks_11.yml true 21.49 12.36 None locks/test_locks_12.yml true 29.62 17.03 None locks/test_locks_13.yml true 53.73 31.34 None locks/test_locks_14-1.yml true 85.09 55.63 None locks/test_locks_14-2.yml false(unreach-call) 8.48 4.97 None locks/test_locks_15-1.yml false(unreach-call) 8.48 5.56 None locks/test_locks_15-2.yml true 177.33 107.67 None locks/test_locks_5.yml true 9.24 5.70 None locks/test_locks_6.yml true 12.59 7.26 None locks/test_locks_7.yml true 10.78 5.93 None locks/test_locks_8.yml true 11.23 7.61 None locks/test_locks_9.yml true 17.36 9.27 None ntdrivers/cdaudio.i.cil-1.yml ERROR: EXCEPTION 48.57 38.65 None ntdrivers/cdaudio.i.cil-2.yml ERROR: EXCEPTION 46.94 38.79 None ntdrivers/diskperf.i.cil-1.yml ERROR: EXCEPTION 65.34 50.83 None ntdrivers/diskperf.i.cil-2.yml ERROR: EXCEPTION 30.76 19.49 None ntdrivers/floppy.i.cil-1.yml ERROR: EXCEPTION 42.98 31.10 None ntdrivers/floppy.i.cil-3.yml ERROR: EXCEPTION 45.82 36.85 None ntdrivers/kbfiltr.i.cil-2.yml ERROR: EXCEPTION 11.50 7.14 None ntdrivers/parport.i.cil-1.yml ERROR: EXCEPTION 28.68 21.31 None ntdrivers/parport.i.cil-2.yml ERROR: EXCEPTION 26.30 17.18 None openssl/s3_clnt.blast.01.i.cil-1.yml TIMEOUT 901.21 763.54 None openssl/s3_clnt.blast.01.i.cil-2.yml TIMEOUT 901.04 718.96 None openssl/s3_clnt.blast.02.i.cil-1.yml UNKNOWN: OverapproxCex 53.40 39.02 None openssl/s3_clnt.blast.02.i.cil-2.yml ERROR: EXCEPTION 245.24 224.89 None openssl/s3_clnt.blast.03.i.cil-1.yml UNKNOWN: OverapproxCex 50.16 38.78 None openssl/s3_clnt.blast.03.i.cil-2.yml TIMEOUT 900.96 791.26 None openssl/s3_clnt.blast.04.i.cil-1.yml UNKNOWN: OverapproxCex 50.43 38.02 None openssl/s3_clnt.blast.04.i.cil-2.yml TIMEOUT 900.52 873.08 None openssl/s3_srvr.blast.01.i.cil-1.yml TIMEOUT 900.61 848.02 None openssl/s3_srvr.blast.01.i.cil-2.yml UNKNOWN: OverapproxCex 107.58 93.61 None openssl/s3_srvr.blast.02.i.cil-1.yml UNKNOWN: OverapproxCex 110.74 93.68 None openssl/s3_srvr.blast.02.i.cil-2.yml OUT OF MEMORY 345.36 276.04 None openssl/s3_srvr.blast.03.i.cil.yml UNKNOWN: OverapproxCex 104.42 82.38 None openssl/s3_srvr.blast.04.i.cil.yml UNKNOWN: OverapproxCex 79.22 70.08 None openssl/s3_srvr.blast.06.i.cil-1.yml TIMEOUT 900.56 869.02 None openssl/s3_srvr.blast.06.i.cil-2.yml OUT OF MEMORY 868.32 780.86 None openssl/s3_srvr.blast.07.i.cil-1.yml OUT OF MEMORY 473.36 421.66 None openssl/s3_srvr.blast.07.i.cil-2.yml TIMEOUT 900.97 875.96 None openssl/s3_srvr.blast.08.i.cil-1.yml TIMEOUT 901.23 810.43 None openssl/s3_srvr.blast.08.i.cil-2.yml OUT OF MEMORY 484.11 404.75 None openssl/s3_srvr.blast.09.i.cil-1.yml ERROR: EXCEPTION 745.97 715.59 None openssl/s3_srvr.blast.09.i.cil-2.yml TIMEOUT 900.57 860.00 None openssl/s3_srvr.blast.10.i.cil-1.yml OUT OF MEMORY 853.90 723.35 None openssl/s3_srvr.blast.10.i.cil-2.yml TIMEOUT 900.48 868.99 None openssl/s3_srvr.blast.11.i.cil-1.yml UNKNOWN: OverapproxCex 179.99 158.32 None openssl/s3_srvr.blast.11.i.cil-2.yml TIMEOUT 900.11 806.43 None openssl/s3_srvr.blast.12.i.cil-1.yml TIMEOUT 900.48 872.91 None openssl/s3_srvr.blast.12.i.cil-2.yml TIMEOUT 900.56 868.00 None openssl/s3_srvr.blast.13.i.cil-1.yml TIMEOUT 900.58 863.25 None openssl/s3_srvr.blast.13.i.cil-2.yml OUT OF MEMORY 345.70 312.20 None openssl/s3_srvr.blast.14.i.cil-1.yml OUT OF MEMORY 600.58 527.17 None openssl/s3_srvr.blast.14.i.cil-2.yml TIMEOUT 900.48 879.26 None openssl/s3_srvr.blast.15.i.cil-1.yml TIMEOUT 900.56 862.00 None openssl/s3_srvr.blast.15.i.cil-2.yml TIMEOUT 901.18 783.56 None openssl/s3_srvr.blast.16.i.cil-1.yml TIMEOUT 900.51 873.90 None openssl/s3_srvr.blast.16.i.cil-2.yml OUT OF MEMORY 500.93 419.88 None ----------------------------------------------------------------------------------------------------------------------- Run set 2 done 240935.64 16839.96 - Automizer IcfgTranformation QVasar.reach-svcomp-all Run set 3 of 5 with options '--force-no-wrapper --core.log.level.for.class de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=WARN -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/loopacceleration/qvasr/qvasr_64.epf' and propertyfile 'None' inputfile status cpu time wall time host ----------------------------------------------------------------------------------------------------------------------- loops/for_infinite_loop_1.yml true 7.01 4.15 None loops/bubble_sort-1.yml true 5.89 4.54 None loops/count_up_down-2.yml false(unreach-call) 8.30 4.74 None loops/for_infinite_loop_2.yml true 7.07 4.87 None loops/array-2.yml false(unreach-call) 9.29 5.67 None loops/for_bounded_loop1.yml false(unreach-call) 9.29 5.74 None loops/array-1.yml true 11.91 7.33 None loops/heavy-2.yml true 9.59 5.81 None loops/lu.cmp.yml true 12.13 7.43 None loops/invert_string-1.yml false(unreach-call) 19.16 12.76 None loops/ludcmp.yml UNKNOWN: OverapproxCex 10.62 6.54 None loops/matrix-1.yml true 13.87 9.45 None loops/matrix-2.yml false(unreach-call) 9.05 6.04 None loops/n.c11.yml true 7.74 5.37 None loops/n.c40.yml true 7.36 5.17 None loops/nec11.yml false(unreach-call) 6.24 4.98 None loops/nec20.yml false(unreach-call) 7.96 5.17 None loops/nec40.yml true 7.24 4.54 None loops/s3.yml UNKNOWN: OverapproxCex 67.45 54.72 None loops/string-1.yml true 10.27 7.04 None loops/string-2.yml UNKNOWN: OverapproxCex 9.55 6.49 None loops/sum01-1.yml false(unreach-call) 11.42 7.70 None loops/sum01-2.yml true 10.54 7.42 None loops/sum01_bug02_sum01_bug02_base.case.yml false(unreach-call) 11.35 7.46 None loops/sum03-1.yml false(unreach-call) 14.46 9.56 None loops/sum03-2.yml true 9.13 6.06 None loops/sum04-1.yml false(unreach-call) 8.63 5.62 None loops/sum04-2.yml true 9.73 6.58 None loops/sum_array-1.yml false(unreach-call) 7.50 5.27 None loops/eureka_05.yml true 206.31 186.64 None loops/terminator_01.yml false(unreach-call) 7.51 4.63 None loops/terminator_02-1.yml false(unreach-call) 6.60 3.98 None loops/terminator_02-2.yml true 7.26 4.25 None loops/terminator_03-1.yml false(unreach-call) 6.65 4.06 None loops/terminator_03-2.yml true 6.82 4.46 None loops/trex01-1.yml false(unreach-call) 7.07 4.23 None loops/trex01-2.yml true 7.97 5.02 None loops/trex02-1.yml true 6.93 4.10 None loops/trex02-2.yml false(unreach-call) 6.78 4.13 None loops/trex03-1.yml false(unreach-call) 6.68 4.00 None loops/trex03-2.yml true 6.81 4.08 None loops/trex04.yml true 7.14 4.20 None loops/veris.c_NetBSD-libc_loop.yml true 10.02 6.45 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml true 10.55 6.88 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml true 7.16 4.40 None loops/verisec_NetBSD-libc_loop.yml false(unreach-call) 8.61 5.22 None loops/eureka_01-1.yml false(unreach-call) 307.31 272.06 None loops/vogal-2.yml OUT OF MEMORY 455.10 378.14 None loops/while_infinite_loop_1.yml true 8.58 5.10 None loops/while_infinite_loop_2.yml true 8.27 4.83 None loops/while_infinite_loop_3.yml true 8.86 5.01 None loops/while_infinite_loop_4.yml false(unreach-call) 8.10 5.07 None loops/invert_string-3.yml TIMEOUT 900.90 781.09 None loop-acceleration/array_1-2.yml true 13.16 7.68 None loops/n.c24.yml TIMEOUT 900.67 788.14 None loops/insertion_sort-2.yml TIMEOUT 900.41 828.30 None loops/eureka_01-2.yml TIMEOUT 900.11 835.10 None loops/count_up_down-1.yml TIMEOUT 900.74 877.28 None loop-acceleration/array_3-1.yml true 11.17 6.57 None loops/heavy-1.yml TIMEOUT 900.38 889.60 None loops/compact.yml TIMEOUT 900.38 890.61 None loops/insertion_sort-1.yml TIMEOUT 900.37 890.69 None loop-acceleration/const_1-1.yml true 7.84 5.11 None loops/linear_search.yml TIMEOUT 900.43 889.30 None loops/linear_sea.ch.yml TIMEOUT 900.37 894.18 None loop-acceleration/diamond_1-1.yml true 16.74 10.86 None loop-acceleration/functions_1-1.yml true 7.24 4.86 None loop-acceleration/diamond_2-2.yml true 33.04 25.47 None loop-acceleration/multivar_1-1.yml true 7.31 4.36 None loop-acceleration/multivar_1-2.yml false(unreach-call) 6.61 3.98 None loop-acceleration/nested_1-1.yml true 35.65 25.06 None loops/sum_array-2.yml TIMEOUT 900.54 872.00 None loop-acceleration/overflow_1-1.yml true 7.08 4.66 None loops/vogal-1.yml TIMEOUT 900.74 855.49 None loop-acceleration/diamond_1-2.yml false(unreach-call) 311.52 293.66 None loop-acceleration/phases_1-1.yml true 144.73 135.07 None loop-acceleration/phases_2-1.yml false(unreach-call) 8.71 5.26 None loop-acceleration/phases_2-2.yml true 28.12 25.49 None loop-acceleration/simple_1-2.yml true 7.33 4.63 None loop-acceleration/simple_2-1.yml true 6.65 4.07 None loop-acceleration/simple_2-2.yml false(unreach-call) 6.43 4.61 None loop-acceleration/simple_3-1.yml false(unreach-call) 6.25 4.10 None loop-acceleration/simple_3-2.yml true 7.17 5.14 None loop-acceleration/array_1-1.yml TIMEOUT 900.44 887.54 None loop-acceleration/simple_4-2.yml true 9.81 6.23 None loop-acceleration/underapprox_1-1.yml false(unreach-call) 12.16 7.57 None loop-acceleration/array_2-1-simple.yml TIMEOUT 900.44 885.77 None loop-acceleration/array_3-2.yml TIMEOUT 901.09 800.39 None loop-acceleration/underapprox_2-1.yml false(unreach-call) 11.64 6.90 None loop-acceleration/underapprox_2-2.yml true 9.82 5.66 None loop-crafted/simple_array_index_value_1-2.yml false(unreach-call) 8.75 5.33 None loop-acceleration/array_2-1.yml TIMEOUT 900.41 892.24 None loop-acceleration/array_2-2-simple.yml TIMEOUT 900.44 886.21 None loop-crafted/simple_vardep_1.yml true 8.72 5.28 None loop-acceleration/array_2-2.yml TIMEOUT 900.41 891.93 None loop-crafted/simple_vardep_2.yml true 9.31 5.18 None loop-invgen/MADWiFi-encode_ie_ok.yml true 11.22 6.73 None loop-invgen/NetBSD_loop.yml true 11.61 6.67 None loop-invgen/SpamAssassin-loop.yml true 13.97 7.96 None loop-acceleration/array_4.yml TIMEOUT 900.48 885.16 None loop-invgen/apache-escape-absolute.yml true 10.37 5.98 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml true 51.77 39.68 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml true 17.12 10.04 None loop-acceleration/const_1-2.yml TIMEOUT 900.29 899.46 None loop-acceleration/functions_1-2.yml TIMEOUT 900.37 882.85 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml true 44.08 25.57 None loop-invgen/apache-get-tag.yml true 13.58 7.53 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml true 51.01 32.61 None loop-acceleration/nested_1-2.yml TIMEOUT 900.43 877.97 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml true 184.20 181.04 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml true 199.47 189.80 None loop-invgen/id_build.i.p+nlh-reducer.yml true 12.17 6.69 None loop-invgen/id_build.i.p+sep-reducer.yml true 12.38 6.95 None loop-acceleration/phases_1-2.yml TIMEOUT 900.40 882.51 None loop-invgen/id_build.i.v+lhb-reducer.yml true 7.36 4.36 None loop-invgen/id_build.yml true 7.14 4.56 None loop-invgen/id_trans.yml false(unreach-call) 7.68 4.71 None loop-invgen/nest-if3.yml true 7.03 3.99 None loop-invgen/large_const.yml true 11.55 7.44 None loop-invgen/nested6.yml true 15.95 9.59 None loop-invgen/nested9.yml true 11.48 7.22 None loop-invgen/sendmail-close-angle.yml true 18.69 11.58 None loop-acceleration/simple_1-1.yml TIMEOUT 900.41 883.96 None loop-acceleration/simple_4-1.yml TIMEOUT 900.39 892.10 None loop-lit/afnp2014.yml true 8.03 5.37 None loop-lit/bhmr2007.yml true 10.52 7.35 None loop-lit/cggmp2005.yml true 8.19 5.92 None loop-invgen/string_concat-noarr.yml true 161.84 125.07 None loop-lit/cggmp2005_variant.yml true 9.76 6.12 None loop-lit/css2003.yml true 6.76 4.26 None loop-lit/cggmp2005b.yml true 8.26 5.24 None loop-lit/gcnr2008.yml false(unreach-call) 6.57 3.99 None loop-lit/ddlm2013.yml true 11.45 7.78 None loop-lit/gj2007.c.i.p+lhb-reducer.yml true 64.67 45.85 None loop-lit/gj2007.yml true 51.62 36.60 None loop-lit/gj2007b.yml true 8.64 5.27 None loop-lit/gr2006.yml true 57.79 39.68 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml true 7.27 4.43 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml true 7.15 4.92 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml true 7.46 4.61 None loop-lit/gsv2008.yml true 7.06 4.31 None loop-lit/hhk2008.yml true 8.18 4.79 None loop-lit/jm2006.c.i.v+cfa-reducer.yml true 8.09 4.85 None loop-lit/jm2006.yml true 9.94 6.36 None loop-lit/jm2006_variant.yml true 10.64 6.38 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 901.20 708.72 None loop-new/count_by_1.yml true 9.62 5.50 None loop-new/count_by_1_variant.yml true 9.40 5.80 None loop-acceleration/underapprox_1-2.yml TIMEOUT 900.40 894.07 None loop-invgen/down.yml TIMEOUT 900.68 675.33 None loop-invgen/fragtest_simple.yml TIMEOUT 901.22 708.28 None loop-new/gauss_sum.i.p+cfa-reducer.yml true 19.38 16.32 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.50 876.33 None loop-new/gauss_sum.i.p+lhb-reducer.yml true 23.18 19.21 None loop-invgen/half_2.yml TIMEOUT 900.53 736.77 None loop-new/gauss_sum.yml true 11.06 7.97 None loop-new/gauss_sum.i.v+cfa-reducer.yml true 20.23 16.12 None loop-new/half.yml true 15.87 9.61 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 7.11 3.86 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 5.40 3.24 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.90 3.83 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.42 889.65 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml TIMEOUT 900.36 892.22 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml true 20.76 12.76 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.53 3.12 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml true 107.06 87.90 None loop-invgen/up.yml TIMEOUT 900.57 674.66 None loop-invgen/seq-3.yml TIMEOUT 900.52 791.87 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml true 136.78 131.12 None loop-invgen/heapsort.yml TIMEOUT 900.35 888.66 None loop-industry-pattern/mod3.c.v+sep-reducer.yml true 120.50 113.49 None loop-industry-pattern/ofuf_1.yml true 9.70 6.02 None loop-industry-pattern/ofuf_2.yml true 12.80 7.14 None loop-industry-pattern/ofuf_3.yml true 9.54 5.60 None loop-industry-pattern/ofuf_5.yml true 10.07 6.38 None loop-industry-pattern/ofuf_4.yml true 13.90 7.60 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TIMEOUT 900.35 884.90 None loop-new/count_by_2.yml TIMEOUT 900.91 670.80 None loop-new/count_by_nondet.yml TIMEOUT 900.34 669.62 None loop-new/count_by_k.yml TIMEOUT 900.60 715.99 None loop-lit/mcmillan2006.yml TIMEOUT 900.47 883.13 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TIMEOUT 900.61 745.18 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TIMEOUT 900.15 767.13 None loop-new/nested-1.yml TIMEOUT 900.47 883.00 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TIMEOUT 900.39 895.48 None loop-industry-pattern/nested-3.yml TIMEOUT 900.59 858.72 None loop-industry-pattern/mod3.yml TIMEOUT 900.39 895.37 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.85 670.82 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.41 884.08 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.31 891.06 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.35 890.57 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.43 879.84 None loops-crafted-1/loopv1.yml true 9.18 5.70 None loops-crafted-1/loopv2.yml true 9.76 5.83 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.40 881.49 None loops-crafted-1/loopv3.yml true 17.52 10.68 None loops-crafted-1/discover_list.yml TIMEOUT 900.40 890.44 None loops-crafted-1/mono-crafted_11.yml true 122.83 111.61 None loops-crafted-1/iftelse.yml TIMEOUT 900.39 894.40 None loops-crafted-1/mono-crafted_12.yml true 7.47 4.52 None loops-crafted-1/in-de20.yml TIMEOUT 900.45 879.91 None loops-crafted-1/in-de31.yml TIMEOUT 900.42 880.73 None loops-crafted-1/in-de32.yml TIMEOUT 900.42 883.82 None loops-crafted-1/in-de41.yml TIMEOUT 900.45 875.94 None loops-crafted-1/in-de42.yml TIMEOUT 900.81 871.57 None loops-crafted-1/in-de52.yml TIMEOUT 900.64 858.89 None loops-crafted-1/in-de51.yml TIMEOUT 900.69 868.52 None loops-crafted-1/in-de61.yml TIMEOUT 900.33 890.38 None loops-crafted-1/nested5-1.yml true 9.88 6.74 None loops-crafted-1/mono-crafted_1.yml TIMEOUT 900.84 723.55 None loops-crafted-1/in-de62.yml TIMEOUT 900.36 894.75 None loops-crafted-1/nested_delay_notd2.yml false(unreach-call) 43.99 30.47 None loops-crafted-1/net_reset.yml true 8.57 5.48 None loops-crafted-1/mono-crafted_13.yml TIMEOUT 900.98 666.01 None loops-crafted-1/mono-crafted_14.yml TIMEOUT 900.35 688.21 None loops-crafted-1/sumt2.yml true 9.29 5.58 None loops-crafted-1/mono-crafted_3.yml TIMEOUT 901.40 696.79 None loops-crafted-1/mono-crafted_10.yml TIMEOUT 900.52 872.15 None loops-crafted-1/sumt3.yml true 20.00 15.68 None loops-crafted-1/sumt4.yml true 26.98 21.31 None loops-crafted-1/sumt5.yml true 57.31 51.53 None loops-crafted-1/mono-crafted_6.yml TIMEOUT 901.18 735.43 None loops-crafted-1/sumt6.yml true 164.83 156.10 None loops-crafted-1/mono-crafted_7.yml TIMEOUT 901.26 770.79 None loops-crafted-1/mono-crafted_9.yml TIMEOUT 900.39 690.88 None loops-crafted-1/sumt7.yml true 389.87 374.14 None loops-crafted-1/mono-crafted_8.yml TIMEOUT 900.42 886.30 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 6.75 4.45 None loop-invariants/const.yml true 7.12 4.61 None loop-invariants/eq1.yml true 7.05 4.11 None loop-invariants/eq2.yml true 7.50 4.38 None loop-invariants/even.yml true 7.90 4.74 None loops-crafted-1/nested3-1.yml TIMEOUT 900.42 883.01 None loops-crafted-1/nested3-2.yml TIMEOUT 900.39 886.58 None loop-invariants/linear-inequality-inv-b.yml false(unreach-call) 9.83 5.97 None loop-invariants/mod4.yml true 9.73 5.62 None loop-invariants/odd.yml true 9.22 5.47 None loop-simple/nested_1.yml true 9.54 5.88 None loop-simple/nested_1b.yml false(unreach-call) 9.99 5.92 None loop-simple/nested_2.yml true 11.74 7.03 None loop-simple/nested_3.yml true 32.74 20.37 None loops-crafted-1/nested5-2.yml TIMEOUT 900.35 894.36 None loops-crafted-1/nested_delay_nd.yml TIMEOUT 901.20 815.23 None loop-simple/nested_4.yml true 185.55 160.00 None loop-zilu/benchmark02_linear.yml true 8.79 5.35 None loop-simple/nested_6.yml OUT OF MEMORY 177.88 126.74 None loop-zilu/benchmark04_conjunctive.yml true 10.53 6.19 None loop-zilu/benchmark05_conjunctive.yml true 10.82 6.34 None loop-zilu/benchmark09_conjunctive.yml true 10.45 6.40 None loop-zilu/benchmark10_conjunctive.yml true 10.74 6.78 None loop-zilu/benchmark11_linear.yml true 9.73 5.93 None loop-zilu/benchmark14_linear.yml true 8.02 4.96 None loop-zilu/benchmark17_conjunctive.yml true 8.71 5.33 None loop-zilu/benchmark18_conjunctive.yml true 9.65 5.92 None loop-zilu/benchmark19_conjunctive.yml true 11.98 7.09 None loop-zilu/benchmark20_conjunctive.yml true 9.13 5.34 None loops-crafted-1/sum_natnum.yml TIMEOUT 900.49 871.40 None loop-zilu/benchmark25_linear.yml true 8.86 5.57 None loop-zilu/benchmark32_linear.yml true 8.17 4.53 None loop-simple/nested_5.yml OUT OF MEMORY 248.31 205.38 None loop-zilu/benchmark26_linear.yml true 9.46 5.41 None loops-crafted-1/sum_by_3.yml TIMEOUT 900.38 896.13 None loop-zilu/benchmark33_linear.yml true 8.65 4.84 None loop-zilu/benchmark35_linear.yml true 8.48 4.73 None loop-zilu/benchmark34_conjunctive.yml true 9.79 6.62 None loop-zilu/benchmark37_conjunctive.yml true 7.59 5.46 None loop-zilu/benchmark51_polynomial.yml true 8.60 4.88 None loop-zilu/benchmark43_conjunctive.yml true 9.51 5.83 None loop-zilu/benchmark52_polynomial.yml true 7.31 5.46 None verifythis/elimination_max.yml true 10.84 6.32 None verifythis/prefixsum_iter.yml ERROR: EXCEPTION 9.58 6.30 None verifythis/lcp.yml true 16.09 8.73 None verifythis/tree_del_iter.yml false(unreach-call) 17.53 9.84 None verifythis/tree_del_iter_incorrect.yml false(unreach-call) 12.96 7.69 None loop-zilu/benchmark23_conjunctive.yml true 68.62 45.61 None nla-digbench/cohendiv-ll.yml true 13.75 9.72 None loops-crafted-1/theatreSquare.yml TIMEOUT 900.33 755.01 None nla-digbench/cohencu-ll.yml true 83.47 67.87 None loops-crafted-1/sumt8.yml TIMEOUT 900.40 889.31 None nla-digbench/egcd-ll.yml true 20.20 14.23 None loops-crafted-1/sumt9.yml TIMEOUT 900.41 883.19 None nla-digbench/fermat1-ll.yml true 12.87 10.16 None nla-digbench/fermat2-ll.yml true 11.20 8.38 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 6.55 4.32 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 6.57 4.56 None nla-digbench/geo1-ll.yml true 7.90 5.03 None nla-digbench/geo1-u.yml false(unreach-call) 6.58 4.45 None nla-digbench/geo2-ll.yml true 7.46 4.85 None nla-digbench/geo3-ll.yml true 8.59 5.99 None loops-crafted-1/watermelon.yml TIMEOUT 900.99 723.13 None loops-crafted-1/vnew1.yml TIMEOUT 900.36 895.85 None loops-crafted-1/vnew2.yml TIMEOUT 900.40 889.88 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.18 2.98 None nla-digbench/hard2.yml true 100.14 88.00 None loop-simple/deep-nested.yml TIMEOUT 901.02 815.89 None nla-digbench/mannadiv.yml true 9.76 5.82 None loop-invariants/linear-inequality-inv-a.yml TIMEOUT 900.41 885.65 None nla-digbench/prod4br-ll.yml true 31.00 23.61 None nla-digbench/ps2-ll.yml true 8.82 5.71 None nla-digbench/ps3-ll.yml true 8.82 5.69 None verifythis/duplets.yml true 644.40 624.45 None nla-digbench/bresenham-ll.yml TIMEOUT 900.42 887.78 None nla-digbench/dijkstra-u.yml TIMEOUT 900.46 890.43 None nla-digbench/sqrt1-ll.yml true 12.62 7.62 None nla-digbench/divbin.yml TIMEOUT 900.35 898.06 None nla-digbench-scaling/bresenham-ll_unwindbound1.yml false(unreach-call) 11.72 7.42 None nla-digbench/divbin2.yml TIMEOUT 900.38 896.18 None nla-digbench/egcd2-ll.yml TIMEOUT 900.48 873.70 None nla-digbench-scaling/bresenham-ll_unwindbound2.yml false(unreach-call) 16.91 12.14 None nla-digbench/egcd3-ll.yml TIMEOUT 900.43 884.49 None nla-digbench/hard-ll.yml TIMEOUT 900.42 882.16 None nla-digbench-scaling/bresenham-ll_valuebound1.yml true 63.14 53.46 None nla-digbench/hard-u.yml TIMEOUT 900.38 894.69 None nla-digbench-scaling/bresenham-ll_valuebound10.yml true 121.96 112.11 None nla-digbench/lcm1.yml TIMEOUT 900.35 895.97 None nla-digbench/lcm2.yml TIMEOUT 900.36 895.80 None nla-digbench-scaling/bresenham-ll_valuebound100.yml true 169.99 160.27 None nla-digbench-scaling/bresenham-ll_valuebound2.yml true 73.37 63.14 None nla-digbench-scaling/cohencu-ll_unwindbound1.yml false(unreach-call) 9.45 6.10 None nla-digbench-scaling/cohencu-ll_unwindbound10.yml false(unreach-call) 39.03 29.08 None nla-digbench-scaling/bresenham-ll_valuebound5.yml true 103.63 93.92 None nla-digbench-scaling/bresenham-ll_valuebound20.yml true 124.75 114.33 None nla-digbench-scaling/cohencu-ll_unwindbound2.yml false(unreach-call) 15.06 10.05 None nla-digbench-scaling/cohencu-ll_unwindbound5.yml false(unreach-call) 35.44 25.77 None nla-digbench/prodbin-ll.yml unknown 891.59 872.59 None nla-digbench/ps4-ll.yml TIMEOUT 900.65 865.86 None nla-digbench-scaling/cohencu-ll_unwindbound20.yml false(unreach-call) 87.12 75.97 None nla-digbench-scaling/cohencu-ll_valuebound1.yml true 46.64 37.38 None nla-digbench-scaling/bresenham-ll_valuebound50.yml true 183.73 174.35 None nla-digbench-scaling/cohencu-ll_valuebound2.yml true 39.53 30.58 None nla-digbench-scaling/cohencu-ll_valuebound10.yml true 62.89 50.29 None nla-digbench/ps5-ll.yml TIMEOUT 900.34 895.43 None nla-digbench-scaling/cohendiv-ll_unwindbound1.yml true 9.10 6.53 None nla-digbench-scaling/cohendiv-ll_unwindbound10.yml true 14.72 11.35 None nla-digbench-scaling/cohencu-ll_valuebound5.yml true 39.61 30.06 None nla-digbench-scaling/cohendiv-ll_unwindbound100.yml true 15.00 11.22 None nla-digbench-scaling/cohendiv-ll_unwindbound2.yml true 13.95 9.49 None nla-digbench-scaling/cohendiv-ll_unwindbound20.yml true 14.86 11.34 None nla-digbench-scaling/cohendiv-ll_unwindbound5.yml true 15.52 10.68 None nla-digbench-scaling/cohendiv-ll_valuebound1.yml true 12.86 8.72 None nla-digbench-scaling/cohendiv-ll_unwindbound50.yml true 15.64 11.41 None nla-digbench-scaling/cohencu-ll_valuebound100.yml true 116.85 105.81 None nla-digbench-scaling/cohendiv-ll_valuebound10.yml true 12.44 8.39 None nla-digbench-scaling/cohencu-ll_unwindbound50.yml false(unreach-call) 174.93 156.97 None nla-digbench-scaling/cohendiv-ll_valuebound100.yml true 12.70 9.01 None nla-digbench-scaling/cohendiv-ll_valuebound2.yml true 12.12 8.04 None nla-digbench-scaling/cohendiv-ll_valuebound20.yml true 12.26 8.52 None nla-digbench-scaling/cohendiv-ll_valuebound5.yml true 12.73 8.91 None nla-digbench-scaling/cohencu-ll_valuebound20.yml true 99.84 90.01 None nla-digbench-scaling/cohendiv-ll_valuebound50.yml true 11.76 8.48 None nla-digbench-scaling/dijkstra-u_unwindbound1.yml true 15.64 12.28 None nla-digbench-scaling/cohencu-ll_valuebound50.yml true 113.51 100.36 None nla-digbench-scaling/dijkstra-u_unwindbound2.yml true 30.86 26.74 None nla-digbench-scaling/cohencu-ll_unwindbound100.yml false(unreach-call) 320.00 294.37 None nla-digbench/ps6-ll.yml TIMEOUT 900.40 893.28 None nla-digbench-scaling/bresenham-ll_unwindbound100.yml TIMEOUT 900.43 886.14 None nla-digbench-scaling/bresenham-ll_unwindbound10.yml TIMEOUT 900.31 891.93 None nla-digbench-scaling/bresenham-ll_unwindbound20.yml TIMEOUT 900.42 883.81 None nla-digbench-scaling/bresenham-ll_unwindbound5.yml TIMEOUT 900.37 889.76 None nla-digbench-scaling/bresenham-ll_unwindbound50.yml TIMEOUT 900.41 886.02 None nla-digbench-scaling/divbin2_unwindbound1.yml true 13.58 8.54 None nla-digbench-scaling/dijkstra-u_unwindbound10.yml TIMEOUT 900.41 889.73 None nla-digbench-scaling/dijkstra-u_unwindbound100.yml TIMEOUT 900.40 891.55 None nla-digbench-scaling/dijkstra-u_unwindbound20.yml TIMEOUT 900.38 893.36 None nla-digbench-scaling/divbin2_unwindbound2.yml true 10.72 7.17 None nla-digbench-scaling/dijkstra-u_unwindbound5.yml TIMEOUT 900.39 890.82 None nla-digbench-scaling/dijkstra-u_unwindbound50.yml TIMEOUT 900.45 887.91 None nla-digbench-scaling/dijkstra-u_valuebound1.yml TIMEOUT 900.42 892.80 None nla-digbench-scaling/dijkstra-u_valuebound10.yml TIMEOUT 900.37 894.34 None nla-digbench-scaling/dijkstra-u_valuebound100.yml TIMEOUT 900.42 892.54 None nla-digbench-scaling/dijkstra-u_valuebound2.yml TIMEOUT 900.41 890.21 None nla-digbench-scaling/dijkstra-u_valuebound20.yml TIMEOUT 900.35 896.47 None nla-digbench-scaling/dijkstra-u_valuebound5.yml TIMEOUT 900.39 892.26 None nla-digbench-scaling/dijkstra-u_valuebound50.yml TIMEOUT 900.36 894.71 None nla-digbench-scaling/divbin2_unwindbound10.yml TIMEOUT 900.40 889.43 None nla-digbench-scaling/divbin_unwindbound1.yml true 7.93 5.07 None nla-digbench-scaling/divbin2_unwindbound100.yml TIMEOUT 900.38 893.59 None nla-digbench-scaling/divbin2_unwindbound20.yml TIMEOUT 900.36 896.05 None nla-digbench-scaling/divbin2_unwindbound5.yml TIMEOUT 900.38 893.89 None nla-digbench-scaling/divbin2_unwindbound50.yml TIMEOUT 900.38 894.15 None nla-digbench-scaling/divbin_unwindbound2.yml true 25.77 21.02 None nla-digbench-scaling/divbin2_valuebound1.yml TIMEOUT 900.40 894.21 None nla-digbench-scaling/divbin2_valuebound10.yml TIMEOUT 900.37 895.75 None nla-digbench-scaling/divbin2_valuebound100.yml TIMEOUT 900.37 894.82 None nla-digbench-scaling/divbin2_valuebound2.yml TIMEOUT 900.39 892.48 None nla-digbench-scaling/divbin2_valuebound20.yml TIMEOUT 900.41 892.35 None nla-digbench-scaling/divbin2_valuebound5.yml TIMEOUT 900.36 894.67 None nla-digbench-scaling/divbin2_valuebound50.yml TIMEOUT 900.43 891.84 None nla-digbench-scaling/egcd-ll_unwindbound1.yml false(unreach-call) 13.17 8.22 None nla-digbench-scaling/divbin_unwindbound10.yml TIMEOUT 900.41 891.71 None nla-digbench-scaling/egcd-ll_unwindbound10.yml false(unreach-call) 20.94 13.54 None nla-digbench-scaling/divbin_unwindbound100.yml TIMEOUT 900.38 895.43 None nla-digbench-scaling/egcd-ll_unwindbound2.yml false(unreach-call) 16.95 11.33 None nla-digbench-scaling/egcd-ll_unwindbound20.yml false(unreach-call) 18.74 13.09 None nla-digbench-scaling/egcd-ll_unwindbound5.yml false(unreach-call) 20.35 12.85 None nla-digbench-scaling/egcd-ll_valuebound1.yml true 16.60 11.02 None nla-digbench-scaling/egcd-ll_valuebound10.yml true 20.09 13.08 None nla-digbench-scaling/egcd-ll_valuebound100.yml true 19.00 12.36 None nla-digbench-scaling/egcd-ll_valuebound2.yml true 24.55 16.16 None nla-digbench-scaling/egcd-ll_valuebound20.yml true 20.39 13.48 None nla-digbench-scaling/egcd-ll_valuebound5.yml true 19.40 12.43 None nla-digbench-scaling/egcd-ll_valuebound50.yml true 22.87 15.89 None nla-digbench-scaling/egcd2-ll_unwindbound1.yml false(unreach-call) 11.74 7.71 None nla-digbench-scaling/egcd2-ll_unwindbound10.yml false(unreach-call) 456.69 430.63 None nla-digbench-scaling/divbin_unwindbound5.yml TIMEOUT 900.38 894.64 None nla-digbench-scaling/divbin_unwindbound20.yml TIMEOUT 900.39 897.16 None nla-digbench-scaling/divbin_unwindbound50.yml TIMEOUT 900.37 894.82 None nla-digbench-scaling/egcd2-ll_unwindbound2.yml false(unreach-call) 11.76 8.29 None nla-digbench-scaling/divbin_valuebound1.yml TIMEOUT 900.38 895.48 None nla-digbench-scaling/divbin_valuebound10.yml TIMEOUT 900.41 893.25 None nla-digbench-scaling/egcd2-ll_unwindbound5.yml false(unreach-call) 29.39 21.27 None nla-digbench-scaling/divbin_valuebound100.yml TIMEOUT 900.38 894.62 None nla-digbench-scaling/egcd2-ll_valuebound1.yml true 23.85 15.69 None nla-digbench-scaling/egcd2-ll_valuebound2.yml true 54.09 39.90 None nla-digbench-scaling/divbin_valuebound2.yml TIMEOUT 900.35 895.54 None nla-digbench-scaling/egcd2-ll_valuebound20.yml unknown 115.12 102.06 None nla-digbench-scaling/egcd3-ll_unwindbound1.yml false(unreach-call) 8.01 5.64 None nla-digbench-scaling/divbin_valuebound20.yml TIMEOUT 900.39 893.72 None nla-digbench-scaling/divbin_valuebound5.yml TIMEOUT 900.39 891.95 None nla-digbench-scaling/egcd3-ll_unwindbound2.yml false(unreach-call) 10.80 6.85 None nla-digbench-scaling/divbin_valuebound50.yml TIMEOUT 900.34 898.12 None nla-digbench-scaling/egcd3-ll_unwindbound5.yml false(unreach-call) 32.02 25.14 None nla-digbench-scaling/egcd-ll_unwindbound100.yml TIMEOUT 900.53 877.21 None nla-digbench-scaling/egcd2-ll_unwindbound20.yml false(unreach-call) 298.04 284.10 None nla-digbench-scaling/egcd-ll_unwindbound50.yml TIMEOUT 900.39 890.61 None nla-digbench-scaling/egcd3-ll_valuebound1.yml true 43.87 32.79 None nla-digbench-scaling/egcd3-ll_unwindbound10.yml false(unreach-call) 181.15 166.35 None nla-digbench-scaling/egcd3-ll_valuebound2.yml true 160.24 132.81 None nla-digbench-scaling/egcd3-ll_valuebound100.yml true 484.62 468.18 None nla-digbench-scaling/egcd2-ll_unwindbound100.yml TIMEOUT 901.11 855.53 None nla-digbench-scaling/egcd3-ll_unwindbound20.yml false(unreach-call) 635.28 592.19 None nla-digbench-scaling/fermat1-ll_unwindbound1.yml false(unreach-call) 18.23 14.50 None nla-digbench-scaling/egcd2-ll_unwindbound50.yml false(unreach-call) 833.99 810.58 None nla-digbench-scaling/fermat1-ll_unwindbound2.yml false(unreach-call) 17.69 14.65 None nla-digbench-scaling/fermat1-ll_unwindbound10.yml false(unreach-call) 28.56 21.38 None nla-digbench-scaling/fermat1-ll_unwindbound5.yml false(unreach-call) 23.54 17.78 None nla-digbench-scaling/fermat1-ll_unwindbound20.yml false(unreach-call) 51.31 39.78 None nla-digbench-scaling/fermat1-ll_valuebound1.yml true 8.61 5.37 None nla-digbench-scaling/egcd2-ll_valuebound10.yml TIMEOUT 900.44 876.58 None nla-digbench-scaling/fermat1-ll_valuebound10.yml true 14.23 10.90 None nla-digbench-scaling/fermat1-ll_valuebound100.yml true 17.01 12.78 None nla-digbench-scaling/fermat1-ll_valuebound2.yml true 15.31 12.29 None nla-digbench-scaling/egcd2-ll_valuebound100.yml TIMEOUT 900.73 884.14 None nla-digbench-scaling/fermat1-ll_valuebound5.yml true 14.71 11.43 None nla-digbench-scaling/fermat1-ll_valuebound20.yml true 19.56 15.34 None nla-digbench-scaling/fermat1-ll_valuebound50.yml true 15.27 11.97 None nla-digbench-scaling/fermat2-ll_unwindbound1.yml false(unreach-call) 11.03 8.48 None nla-digbench-scaling/fermat2-ll_unwindbound10.yml false(unreach-call) 20.94 15.90 None nla-digbench-scaling/fermat2-ll_unwindbound2.yml false(unreach-call) 13.88 11.40 None nla-digbench-scaling/egcd2-ll_valuebound5.yml TIMEOUT 900.88 877.95 None nla-digbench-scaling/fermat2-ll_unwindbound5.yml false(unreach-call) 16.95 13.59 None nla-digbench-scaling/fermat2-ll_unwindbound20.yml false(unreach-call) 23.47 17.61 None nla-digbench-scaling/fermat2-ll_valuebound1.yml true 8.96 5.50 None nla-digbench-scaling/egcd2-ll_valuebound50.yml TIMEOUT 900.43 879.99 None nla-digbench-scaling/fermat2-ll_valuebound100.yml true 11.31 8.14 None nla-digbench-scaling/fermat2-ll_valuebound10.yml true 16.06 11.80 None nla-digbench-scaling/fermat2-ll_valuebound2.yml true 16.87 13.37 None nla-digbench-scaling/fermat2-ll_valuebound5.yml true 13.48 9.53 None nla-digbench-scaling/fermat2-ll_valuebound20.yml true 13.69 10.20 None nla-digbench-scaling/freire1_unwindbound10.yml UNKNOWN: OverapproxCex 6.64 4.33 None nla-digbench-scaling/freire1_unwindbound1.yml UNKNOWN: OverapproxCex 8.36 5.14 None nla-digbench-scaling/freire1_unwindbound100.yml UNKNOWN: OverapproxCex 7.24 4.19 None nla-digbench-scaling/fermat2-ll_valuebound50.yml true 12.93 9.95 None nla-digbench-scaling/freire1_unwindbound2.yml UNKNOWN: OverapproxCex 8.31 4.65 None nla-digbench-scaling/freire1_unwindbound20.yml UNKNOWN: OverapproxCex 6.88 4.20 None nla-digbench-scaling/freire1_unwindbound5.yml UNKNOWN: OverapproxCex 6.42 3.74 None nla-digbench-scaling/freire1_unwindbound50.yml UNKNOWN: OverapproxCex 8.89 4.93 None nla-digbench-scaling/freire1_valuebound1.yml UNKNOWN: OverapproxCex 6.61 3.86 None nla-digbench-scaling/freire1_valuebound10.yml UNKNOWN: OverapproxCex 6.06 4.00 None nla-digbench-scaling/freire1_valuebound100.yml UNKNOWN: OverapproxCex 7.90 4.50 None nla-digbench-scaling/freire1_valuebound2.yml UNKNOWN: OverapproxCex 7.08 4.34 None nla-digbench-scaling/freire1_valuebound20.yml UNKNOWN: OverapproxCex 6.24 4.08 None nla-digbench-scaling/freire1_valuebound5.yml UNKNOWN: OverapproxCex 7.74 4.69 None nla-digbench-scaling/freire1_valuebound50.yml UNKNOWN: OverapproxCex 6.80 4.04 None nla-digbench-scaling/freire2_unwindbound1.yml UNKNOWN: OverapproxCex 6.61 4.70 None nla-digbench-scaling/freire2_unwindbound10.yml UNKNOWN: OverapproxCex 8.77 5.33 None nla-digbench-scaling/freire2_unwindbound100.yml UNKNOWN: OverapproxCex 7.59 4.76 None nla-digbench-scaling/freire2_unwindbound2.yml UNKNOWN: OverapproxCex 6.41 4.19 None nla-digbench-scaling/freire2_unwindbound20.yml UNKNOWN: OverapproxCex 8.59 5.25 None nla-digbench-scaling/freire2_unwindbound50.yml UNKNOWN: OverapproxCex 6.68 4.42 None nla-digbench-scaling/freire2_unwindbound5.yml UNKNOWN: OverapproxCex 7.32 4.70 None nla-digbench-scaling/freire2_valuebound10.yml UNKNOWN: OverapproxCex 6.45 4.08 None nla-digbench-scaling/freire2_valuebound100.yml UNKNOWN: OverapproxCex 6.95 4.20 None nla-digbench-scaling/freire2_valuebound1.yml UNKNOWN: OverapproxCex 8.31 5.15 None nla-digbench-scaling/freire2_valuebound2.yml UNKNOWN: OverapproxCex 6.16 4.38 None nla-digbench-scaling/freire2_valuebound20.yml UNKNOWN: OverapproxCex 6.80 4.44 None nla-digbench-scaling/freire2_valuebound5.yml UNKNOWN: OverapproxCex 7.88 5.02 None nla-digbench-scaling/freire2_valuebound50.yml UNKNOWN: OverapproxCex 6.50 4.42 None nla-digbench-scaling/geo1-ll_unwindbound1.yml true 8.49 6.06 None nla-digbench-scaling/geo1-ll_unwindbound10.yml true 10.13 6.27 None nla-digbench-scaling/geo1-ll_unwindbound100.yml true 8.09 5.30 None nla-digbench-scaling/geo1-ll_unwindbound2.yml true 8.76 5.46 None nla-digbench-scaling/geo1-ll_unwindbound20.yml true 10.20 6.68 None nla-digbench-scaling/geo1-ll_unwindbound5.yml true 8.01 5.27 None nla-digbench-scaling/geo1-ll_unwindbound50.yml true 8.34 5.57 None nla-digbench-scaling/geo1-ll_valuebound10.yml true 7.45 5.04 None nla-digbench-scaling/geo1-ll_valuebound1.yml true 11.04 6.85 None nla-digbench-scaling/geo1-ll_valuebound100.yml true 8.36 5.12 None nla-digbench-scaling/geo1-ll_valuebound2.yml true 8.17 5.11 None nla-digbench-scaling/egcd3-ll_unwindbound100.yml TIMEOUT 900.91 850.30 None nla-digbench-scaling/geo1-ll_valuebound20.yml true 10.17 6.42 None nla-digbench-scaling/geo1-ll_valuebound5.yml true 8.86 5.95 None nla-digbench-scaling/geo1-ll_valuebound50.yml true 7.66 5.23 None nla-digbench-scaling/geo1-u_unwindbound1.yml false(unreach-call) 8.67 5.69 None nla-digbench-scaling/geo1-u_unwindbound10.yml false(unreach-call) 9.19 6.05 None nla-digbench-scaling/geo1-u_unwindbound100.yml false(unreach-call) 8.46 6.04 None nla-digbench-scaling/geo1-u_unwindbound2.yml false(unreach-call) 6.76 4.50 None nla-digbench-scaling/geo1-u_unwindbound20.yml false(unreach-call) 9.06 5.71 None nla-digbench-scaling/geo1-u_unwindbound5.yml false(unreach-call) 9.10 5.52 None nla-digbench-scaling/geo1-u_unwindbound50.yml false(unreach-call) 8.42 5.54 None nla-digbench-scaling/geo1-u_valuebound1.yml false(unreach-call) 7.47 5.32 None nla-digbench-scaling/geo1-u_valuebound10.yml false(unreach-call) 8.70 5.74 None nla-digbench-scaling/geo1-u_valuebound100.yml false(unreach-call) 8.84 5.74 None nla-digbench-scaling/geo1-u_valuebound20.yml false(unreach-call) 6.56 4.38 None nla-digbench-scaling/geo1-u_valuebound2.yml false(unreach-call) 9.50 6.20 None nla-digbench-scaling/geo1-u_valuebound5.yml false(unreach-call) 8.78 5.30 None nla-digbench-scaling/geo1-u_valuebound50.yml false(unreach-call) 8.78 5.27 None nla-digbench-scaling/geo2-ll_unwindbound1.yml true 7.73 5.73 None nla-digbench-scaling/geo2-ll_unwindbound10.yml true 9.47 6.64 None nla-digbench-scaling/geo2-ll_unwindbound100.yml true 10.09 6.80 None nla-digbench-scaling/egcd3-ll_unwindbound50.yml false(unreach-call) 850.38 820.58 None nla-digbench-scaling/geo2-ll_unwindbound20.yml true 7.92 5.36 None nla-digbench-scaling/geo2-ll_unwindbound2.yml true 10.56 6.98 None nla-digbench-scaling/geo2-ll_unwindbound5.yml true 9.15 6.40 None nla-digbench-scaling/geo2-ll_valuebound1.yml true 6.97 4.60 None nla-digbench-scaling/geo2-ll_valuebound10.yml true 7.07 4.45 None nla-digbench-scaling/geo2-ll_unwindbound50.yml true 10.40 6.54 None nla-digbench-scaling/geo2-ll_valuebound100.yml true 9.38 5.67 None nla-digbench-scaling/geo2-ll_valuebound2.yml true 7.54 4.56 None nla-digbench-scaling/geo2-ll_valuebound20.yml true 7.16 4.67 None nla-digbench-scaling/geo2-ll_valuebound50.yml true 9.53 5.86 None nla-digbench-scaling/geo3-ll_unwindbound1.yml true 10.56 6.71 None nla-digbench-scaling/geo3-ll_unwindbound10.yml true 9.59 6.50 None nla-digbench-scaling/geo3-ll_unwindbound100.yml true 8.92 6.89 None nla-digbench-scaling/geo2-ll_valuebound5.yml true 16.97 14.07 None nla-digbench-scaling/geo3-ll_unwindbound2.yml true 10.93 7.41 None nla-digbench-scaling/geo3-ll_unwindbound20.yml true 12.01 7.76 None nla-digbench-scaling/geo3-ll_unwindbound5.yml true 9.88 6.99 None nla-digbench-scaling/geo3-ll_unwindbound50.yml true 8.63 6.92 None nla-digbench-scaling/geo3-ll_valuebound1.yml true 7.66 5.49 None nla-digbench-scaling/geo3-ll_valuebound10.yml true 11.48 7.18 None nla-digbench-scaling/geo3-ll_valuebound2.yml true 9.24 6.31 None nla-digbench-scaling/geo3-ll_valuebound100.yml true 10.85 6.93 None nla-digbench-scaling/geo3-ll_valuebound5.yml true 8.53 5.52 None nla-digbench-scaling/geo3-ll_valuebound20.yml true 9.70 6.81 None nla-digbench-scaling/geo3-ll_valuebound50.yml true 11.08 6.64 None nla-digbench-scaling/hard-ll_unwindbound1.yml false(unreach-call) 9.63 6.23 None nla-digbench-scaling/hard-ll_unwindbound2.yml false(unreach-call) 10.85 8.01 None nla-digbench-scaling/egcd3-ll_valuebound10.yml TIMEOUT 900.41 884.25 None nla-digbench-scaling/egcd3-ll_valuebound50.yml true 428.55 413.29 None nla-digbench-scaling/egcd3-ll_valuebound20.yml TIMEOUT 900.47 875.02 None nla-digbench-scaling/hard-ll_valuebound1.yml true 35.92 26.52 None nla-digbench-scaling/egcd3-ll_valuebound5.yml TIMEOUT 900.50 867.42 None nla-digbench-scaling/fermat2-ll_unwindbound50.yml false(unreach-call) 431.93 423.88 None nla-digbench-scaling/hard-ll_unwindbound5.yml false(unreach-call) 454.02 435.49 None nla-digbench-scaling/fermat1-ll_unwindbound100.yml TIMEOUT 900.61 873.24 None nla-digbench-scaling/hard-u_unwindbound1.yml false(unreach-call) 13.89 9.16 None nla-digbench-scaling/fermat1-ll_unwindbound50.yml TIMEOUT 900.62 871.84 None nla-digbench-scaling/fermat2-ll_unwindbound100.yml TIMEOUT 900.38 888.73 None nla-digbench-scaling/hard-ll_unwindbound10.yml TIMEOUT 900.45 880.36 None nla-digbench-scaling/hard-ll_unwindbound100.yml TIMEOUT 900.43 885.48 None nla-digbench-scaling/hard-ll_unwindbound20.yml TIMEOUT 900.42 882.44 None nla-digbench-scaling/hard-ll_unwindbound50.yml TIMEOUT 900.33 888.00 None nla-digbench-scaling/hard-ll_valuebound10.yml TIMEOUT 900.39 885.39 None nla-digbench-scaling/hard-ll_valuebound100.yml TIMEOUT 900.49 883.98 None nla-digbench-scaling/hard-ll_valuebound2.yml TIMEOUT 900.41 887.26 None nla-digbench-scaling/hard-ll_valuebound20.yml TIMEOUT 900.70 874.14 None nla-digbench-scaling/hard-ll_valuebound5.yml TIMEOUT 900.40 886.16 None nla-digbench-scaling/hard-ll_valuebound50.yml TIMEOUT 900.40 885.41 None nla-digbench-scaling/hard-u_unwindbound10.yml TIMEOUT 900.44 891.71 None nla-digbench-scaling/hard2_unwindbound1.yml false(unreach-call) 11.16 6.66 None nla-digbench-scaling/hard-u_unwindbound100.yml TIMEOUT 900.41 893.10 None nla-digbench-scaling/hard-u_unwindbound2.yml TIMEOUT 900.44 894.46 None nla-digbench-scaling/hard2_unwindbound2.yml false(unreach-call) 13.92 9.07 None nla-digbench-scaling/hard-u_unwindbound20.yml TIMEOUT 900.47 890.90 None nla-digbench-scaling/hard-u_unwindbound50.yml TIMEOUT 900.41 892.14 None nla-digbench-scaling/hard-u_unwindbound5.yml TIMEOUT 900.40 895.04 None nla-digbench-scaling/hard2_valuebound1.yml true 19.57 13.61 None nla-digbench-scaling/hard-u_valuebound1.yml TIMEOUT 900.30 898.61 None nla-digbench-scaling/hard-u_valuebound10.yml TIMEOUT 900.41 893.64 None nla-digbench-scaling/hard-u_valuebound100.yml TIMEOUT 900.39 893.16 None nla-digbench-scaling/hard2_unwindbound5.yml false(unreach-call) 95.44 81.50 None nla-digbench-scaling/hard-u_valuebound2.yml TIMEOUT 900.39 894.27 None nla-digbench-scaling/hard2_valuebound2.yml true 33.37 24.62 None nla-digbench-scaling/knuth_unwindbound1.yml ERROR: EXCEPTION 4.95 2.86 None nla-digbench-scaling/hard2_valuebound100.yml true 91.25 80.75 None nla-digbench-scaling/knuth_unwindbound10.yml ERROR: EXCEPTION 4.84 2.83 None nla-digbench-scaling/hard2_valuebound10.yml true 95.46 84.57 None nla-digbench-scaling/knuth_unwindbound100.yml ERROR: EXCEPTION 5.20 3.09 None nla-digbench-scaling/knuth_unwindbound2.yml ERROR: EXCEPTION 4.69 3.12 None nla-digbench-scaling/knuth_unwindbound20.yml ERROR: EXCEPTION 4.84 2.85 None nla-digbench-scaling/knuth_unwindbound5.yml ERROR: EXCEPTION 4.84 3.08 None nla-digbench-scaling/knuth_unwindbound50.yml ERROR: EXCEPTION 4.84 2.82 None nla-digbench-scaling/knuth_valuebound1.yml ERROR: EXCEPTION 5.10 3.32 None nla-digbench-scaling/knuth_valuebound10.yml ERROR: EXCEPTION 5.08 3.13 None nla-digbench-scaling/hard2_unwindbound10.yml false(unreach-call) 422.20 394.60 None nla-digbench-scaling/knuth_valuebound100.yml ERROR: EXCEPTION 4.85 2.75 None nla-digbench-scaling/knuth_valuebound2.yml ERROR: EXCEPTION 4.83 2.78 None nla-digbench-scaling/knuth_valuebound20.yml ERROR: EXCEPTION 4.95 3.09 None nla-digbench-scaling/knuth_valuebound5.yml ERROR: EXCEPTION 6.30 3.81 None nla-digbench-scaling/knuth_valuebound50.yml ERROR: EXCEPTION 5.12 3.21 None nla-digbench-scaling/hard2_valuebound20.yml true 83.94 71.09 None nla-digbench-scaling/hard2_valuebound5.yml true 114.49 98.39 None nla-digbench-scaling/hard-u_valuebound20.yml TIMEOUT 900.45 889.38 None nla-digbench-scaling/hard2_valuebound50.yml true 92.84 82.71 None nla-digbench-scaling/hard-u_valuebound5.yml TIMEOUT 900.38 893.37 None nla-digbench-scaling/hard-u_valuebound50.yml TIMEOUT 900.41 893.05 None nla-digbench-scaling/hard2_unwindbound100.yml TIMEOUT 900.54 868.70 None nla-digbench-scaling/hard2_unwindbound20.yml TIMEOUT 900.50 868.93 None nla-digbench-scaling/hard2_unwindbound50.yml TIMEOUT 900.52 870.69 None nla-digbench-scaling/lcm1_unwindbound1.yml TIMEOUT 900.33 896.82 None nla-digbench-scaling/lcm1_unwindbound100.yml TIMEOUT 900.36 895.44 None nla-digbench-scaling/lcm1_unwindbound2.yml TIMEOUT 900.35 896.29 None nla-digbench-scaling/lcm1_unwindbound10.yml TIMEOUT 900.30 898.67 None nla-digbench-scaling/lcm1_unwindbound20.yml TIMEOUT 900.34 896.53 None nla-digbench-scaling/lcm1_unwindbound5.yml TIMEOUT 900.36 894.70 None nla-digbench-scaling/lcm1_unwindbound50.yml TIMEOUT 900.35 894.46 None nla-digbench-scaling/lcm1_valuebound1.yml TIMEOUT 900.33 897.73 None nla-digbench-scaling/lcm1_valuebound10.yml TIMEOUT 900.33 896.46 None nla-digbench-scaling/lcm2_valuebound1.yml true 10.70 6.47 None nla-digbench-scaling/lcm1_valuebound100.yml TIMEOUT 900.32 897.11 None nla-digbench-scaling/lcm1_valuebound2.yml TIMEOUT 900.35 895.35 None nla-digbench-scaling/lcm1_valuebound20.yml TIMEOUT 900.33 896.71 None nla-digbench-scaling/lcm1_valuebound5.yml TIMEOUT 900.36 894.93 None nla-digbench-scaling/lcm2_unwindbound1.yml TIMEOUT 900.33 895.70 None nla-digbench-scaling/lcm1_valuebound50.yml TIMEOUT 900.33 896.78 None nla-digbench-scaling/lcm2_unwindbound10.yml TIMEOUT 900.32 896.82 None nla-digbench-scaling/lcm2_unwindbound100.yml TIMEOUT 900.30 899.06 None nla-digbench-scaling/mannadiv_unwindbound1.yml false(unreach-call) 8.27 5.92 None nla-digbench-scaling/mannadiv_unwindbound10.yml false(unreach-call) 9.94 6.85 None nla-digbench-scaling/mannadiv_unwindbound2.yml false(unreach-call) 8.85 6.23 None nla-digbench-scaling/mannadiv_unwindbound20.yml false(unreach-call) 11.99 8.43 None nla-digbench-scaling/mannadiv_unwindbound5.yml false(unreach-call) 9.56 6.57 None nla-digbench-scaling/mannadiv_valuebound1.yml true 7.52 4.75 None nla-digbench-scaling/lcm2_unwindbound2.yml TIMEOUT 900.33 896.38 None nla-digbench-scaling/mannadiv_valuebound10.yml true 7.70 5.27 None nla-digbench-scaling/mannadiv_unwindbound100.yml false(unreach-call) 36.55 27.92 None nla-digbench-scaling/mannadiv_unwindbound50.yml false(unreach-call) 23.56 15.73 None nla-digbench-scaling/mannadiv_valuebound100.yml true 7.96 5.37 None nla-digbench-scaling/mannadiv_valuebound2.yml true 7.67 4.87 None nla-digbench-scaling/mannadiv_valuebound5.yml true 7.73 4.97 None nla-digbench-scaling/mannadiv_valuebound20.yml true 8.08 5.52 None nla-digbench-scaling/mannadiv_valuebound50.yml true 8.49 5.24 None nla-digbench-scaling/prod4br-ll_unwindbound1.yml false(unreach-call) 8.80 6.18 None nla-digbench-scaling/prod4br-ll_unwindbound2.yml false(unreach-call) 16.79 11.67 None nla-digbench-scaling/prod4br-ll_unwindbound10.yml false(unreach-call) 20.16 14.74 None nla-digbench-scaling/lcm2_unwindbound5.yml TIMEOUT 900.35 894.62 None nla-digbench-scaling/lcm2_unwindbound20.yml TIMEOUT 900.33 895.62 None nla-digbench-scaling/lcm2_unwindbound50.yml TIMEOUT 900.31 897.38 None nla-digbench-scaling/prod4br-ll_unwindbound5.yml false(unreach-call) 21.38 14.92 None nla-digbench-scaling/prod4br-ll_valuebound1.yml true 19.89 13.21 None nla-digbench-scaling/prod4br-ll_valuebound10.yml true 19.65 13.24 None nla-digbench-scaling/prod4br-ll_valuebound100.yml true 20.24 16.51 None nla-digbench-scaling/prod4br-ll_valuebound20.yml true 20.06 13.45 None nla-digbench-scaling/prodbin-ll_unwindbound1.yml false(unreach-call) 9.89 6.26 None nla-digbench-scaling/prod4br-ll_valuebound2.yml true 35.77 31.09 None nla-digbench-scaling/prod4br-ll_valuebound50.yml true 25.49 22.17 None nla-digbench-scaling/prod4br-ll_valuebound5.yml true 57.59 51.78 None nla-digbench-scaling/prodbin-ll_unwindbound2.yml false(unreach-call) 44.53 39.55 None nla-digbench-scaling/lcm2_valuebound10.yml TIMEOUT 900.33 896.78 None nla-digbench-scaling/prodbin-ll_unwindbound20.yml false(unreach-call) 158.25 139.78 None nla-digbench-scaling/prodbin-ll_valuebound1.yml true 15.60 10.84 None nla-digbench-scaling/lcm2_valuebound100.yml TIMEOUT 900.34 896.02 None nla-digbench-scaling/prodbin-ll_valuebound10.yml true 103.80 91.77 None nla-digbench-scaling/prodbin-ll_valuebound2.yml true 26.48 19.12 None nla-digbench-scaling/lcm2_valuebound2.yml TIMEOUT 900.35 894.80 None nla-digbench-scaling/prodbin-ll_unwindbound5.yml false(unreach-call) 389.59 379.53 None nla-digbench-scaling/prodbin-ll_valuebound100.yml true 213.79 202.08 None nla-digbench-scaling/ps2-ll_unwindbound1.yml true 7.46 4.83 None nla-digbench-scaling/ps2-ll_unwindbound10.yml true 7.76 5.65 None nla-digbench-scaling/prodbin-ll_valuebound5.yml true 65.77 54.44 None nla-digbench-scaling/ps2-ll_unwindbound100.yml true 7.98 5.87 None nla-digbench-scaling/ps2-ll_unwindbound2.yml true 9.88 6.67 None nla-digbench-scaling/ps2-ll_unwindbound20.yml true 7.76 5.63 None nla-digbench-scaling/ps2-ll_unwindbound5.yml true 10.10 6.25 None nla-digbench-scaling/ps2-ll_unwindbound50.yml true 8.08 5.38 None nla-digbench-scaling/ps2-ll_valuebound1.yml true 9.68 5.97 None nla-digbench-scaling/ps2-ll_valuebound10.yml true 7.55 4.65 None nla-digbench-scaling/ps2-ll_valuebound100.yml true 9.86 5.84 None nla-digbench-scaling/ps2-ll_valuebound2.yml true 7.41 4.66 None nla-digbench-scaling/ps2-ll_valuebound20.yml true 9.82 6.10 None nla-digbench-scaling/ps2-ll_valuebound5.yml true 7.45 4.97 None nla-digbench-scaling/ps3-ll_unwindbound1.yml true 7.64 4.97 None nla-digbench-scaling/ps2-ll_valuebound50.yml true 9.18 5.87 None nla-digbench-scaling/lcm2_valuebound20.yml TIMEOUT 900.33 896.75 None nla-digbench-scaling/ps3-ll_unwindbound10.yml true 8.02 5.79 None nla-digbench-scaling/ps3-ll_unwindbound100.yml true 10.98 7.09 None nla-digbench-scaling/ps3-ll_unwindbound2.yml true 8.33 5.59 None nla-digbench-scaling/ps3-ll_unwindbound20.yml true 8.34 5.64 None nla-digbench-scaling/ps3-ll_unwindbound5.yml true 10.74 7.05 None nla-digbench-scaling/ps3-ll_unwindbound50.yml true 8.53 5.90 None nla-digbench-scaling/ps3-ll_valuebound1.yml true 7.50 4.81 None nla-digbench-scaling/ps3-ll_valuebound10.yml true 9.55 5.75 None nla-digbench-scaling/ps3-ll_valuebound100.yml true 7.64 5.20 None nla-digbench-scaling/ps3-ll_valuebound2.yml true 7.36 4.72 None nla-digbench-scaling/ps3-ll_valuebound5.yml true 7.48 4.74 None nla-digbench-scaling/ps3-ll_valuebound50.yml true 7.72 5.13 None nla-digbench-scaling/ps3-ll_valuebound20.yml true 10.13 6.03 None nla-digbench-scaling/ps4-ll_unwindbound1.yml false(unreach-call) 7.37 4.84 None nla-digbench-scaling/ps4-ll_unwindbound2.yml false(unreach-call) 15.76 13.41 None nla-digbench-scaling/ps4-ll_unwindbound10.yml false(unreach-call) 37.12 30.53 None nla-digbench-scaling/ps4-ll_unwindbound5.yml false(unreach-call) 25.58 21.51 None nla-digbench-scaling/lcm2_valuebound5.yml TIMEOUT 900.35 895.11 None nla-digbench-scaling/ps4-ll_valuebound1.yml true 28.28 23.15 None nla-digbench-scaling/ps4-ll_valuebound10.yml true 29.40 20.67 None nla-digbench-scaling/lcm2_valuebound50.yml TIMEOUT 900.35 895.50 None nla-digbench-scaling/ps4-ll_valuebound2.yml true 12.44 7.79 None nla-digbench-scaling/prod4br-ll_unwindbound100.yml TIMEOUT 900.26 897.23 None nla-digbench-scaling/prod4br-ll_unwindbound20.yml TIMEOUT 900.34 894.73 None nla-digbench-scaling/prod4br-ll_unwindbound50.yml TIMEOUT 900.38 890.93 None nla-digbench-scaling/ps4-ll_valuebound5.yml true 13.95 10.48 None nla-digbench-scaling/ps5-ll_unwindbound1.yml false(unreach-call) 8.33 5.88 None nla-digbench-scaling/prodbin-ll_unwindbound10.yml TIMEOUT 900.66 866.93 None nla-digbench-scaling/ps5-ll_unwindbound2.yml false(unreach-call) 17.75 13.52 None nla-digbench-scaling/prodbin-ll_unwindbound100.yml TIMEOUT 900.60 878.11 None nla-digbench-scaling/ps4-ll_valuebound20.yml true 114.55 95.87 None nla-digbench-scaling/prodbin-ll_valuebound50.yml unknown 487.26 474.78 None nla-digbench-scaling/ps5-ll_valuebound1.yml true 11.16 8.10 None nla-digbench-scaling/prodbin-ll_unwindbound50.yml TIMEOUT 900.56 878.73 None nla-digbench-scaling/prodbin-ll_valuebound20.yml TIMEOUT 900.53 868.75 None nla-digbench-scaling/ps5-ll_valuebound2.yml true 18.48 12.81 None nla-digbench-scaling/ps4-ll_unwindbound100.yml TIMEOUT 900.43 885.97 None nla-digbench-scaling/ps4-ll_unwindbound20.yml TIMEOUT 900.34 889.90 None nla-digbench-scaling/ps5-ll_valuebound5.yml true 42.56 34.56 None nla-digbench-scaling/ps6-ll_unwindbound1.yml false(unreach-call) 10.84 6.73 None nla-digbench-scaling/ps4-ll_unwindbound50.yml TIMEOUT 900.34 890.43 None nla-digbench-scaling/ps4-ll_valuebound100.yml TIMEOUT 900.54 864.68 None nla-digbench-scaling/ps6-ll_unwindbound2.yml false(unreach-call) 11.70 7.80 None nla-digbench-scaling/ps4-ll_valuebound50.yml TIMEOUT 900.57 884.21 None nla-digbench-scaling/ps6-ll_unwindbound5.yml false(unreach-call) 13.94 9.83 None nla-digbench-scaling/ps5-ll_unwindbound10.yml TIMEOUT 900.29 896.70 None nla-digbench-scaling/ps5-ll_unwindbound100.yml TIMEOUT 900.35 893.96 None nla-digbench-scaling/ps5-ll_unwindbound20.yml TIMEOUT 900.39 890.30 None nla-digbench-scaling/ps5-ll_unwindbound5.yml TIMEOUT 900.35 895.31 None nla-digbench-scaling/ps6-ll_valuebound2.yml true 10.97 7.59 None nla-digbench-scaling/ps6-ll_valuebound1.yml true 44.56 41.47 None nla-digbench-scaling/ps5-ll_unwindbound50.yml TIMEOUT 900.40 890.23 None nla-digbench-scaling/ps5-ll_valuebound10.yml TIMEOUT 900.35 894.73 None nla-digbench-scaling/sqrt1-ll_unwindbound1.yml true 9.39 6.30 None nla-digbench-scaling/sqrt1-ll_unwindbound10.yml true 10.01 7.17 None nla-digbench-scaling/sqrt1-ll_unwindbound100.yml true 10.19 7.41 None nla-digbench-scaling/ps5-ll_valuebound100.yml TIMEOUT 900.38 893.90 None nla-digbench-scaling/ps6-ll_valuebound5.yml true 51.78 46.53 None nla-digbench-scaling/sqrt1-ll_unwindbound2.yml true 10.01 7.67 None nla-digbench-scaling/sqrt1-ll_unwindbound20.yml true 11.07 7.21 None nla-digbench-scaling/sqrt1-ll_unwindbound5.yml true 10.37 7.39 None nla-digbench-scaling/sqrt1-ll_unwindbound50.yml true 10.49 7.71 None nla-digbench-scaling/sqrt1-ll_valuebound1.yml true 10.39 6.74 None nla-digbench-scaling/sqrt1-ll_valuebound10.yml true 10.02 6.92 None nla-digbench-scaling/sqrt1-ll_valuebound100.yml true 9.72 7.16 None nla-digbench-scaling/sqrt1-ll_valuebound2.yml true 10.51 7.04 None nla-digbench-scaling/sqrt1-ll_valuebound20.yml true 9.02 6.44 None nla-digbench-scaling/sqrt1-ll_valuebound5.yml true 9.08 6.18 None nla-digbench-scaling/sqrt1-ll_valuebound50.yml true 10.11 6.64 None ntdrivers-simplified/cdaudio_simpl1.cil-1.yml false(unreach-call) 153.25 121.48 None ntdrivers-simplified/floppy_simpl3.cil-1.yml false(unreach-call) 61.49 41.37 None ntdrivers-simplified/floppy_simpl3.cil-2.yml ERROR: EXCEPTION 6.89 4.56 None nla-digbench-scaling/ps5-ll_valuebound20.yml TIMEOUT 900.39 891.43 None ntdrivers-simplified/floppy_simpl4.cil-1.yml false(unreach-call) 90.30 64.10 None ntdrivers-simplified/kbfiltr_simpl1.cil.yml true 24.05 13.76 None ntdrivers-simplified/kbfiltr_simpl2.cil-1.yml true 28.40 17.02 None ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml false(unreach-call) 32.53 19.82 None openssl-simplified/s3_clnt_1.cil-1.yml true 34.92 21.20 None openssl-simplified/s3_clnt_1.cil-2.yml false(unreach-call) 11.70 7.07 None openssl-simplified/s3_clnt_2.cil-1.yml false(unreach-call) 11.97 7.02 None openssl-simplified/s3_clnt_2.cil-2.yml true 38.08 23.54 None nla-digbench-scaling/ps5-ll_valuebound50.yml TIMEOUT 900.39 892.83 None openssl-simplified/s3_clnt_3.cil-2.yml false(unreach-call) 12.73 7.57 None nla-digbench-scaling/ps6-ll_unwindbound10.yml TIMEOUT 900.41 886.85 None openssl-simplified/s3_clnt_3.cil-3.yml true 44.60 25.47 None nla-digbench-scaling/ps6-ll_unwindbound100.yml TIMEOUT 900.37 892.81 None openssl-simplified/s3_srvr_1.cil-1.yml false(unreach-call) 10.44 5.91 None openssl-simplified/s3_clnt_4.cil-2.yml false(unreach-call) 11.99 7.14 None openssl-simplified/s3_clnt_4.cil-1.yml true 49.47 27.58 None openssl-simplified/s3_srvr_10.cil.yml false(unreach-call) 8.81 5.49 None openssl-simplified/s3_clnt_3.cil-1.yml true 180.75 165.30 None openssl-simplified/s3_srvr_11.cil.yml false(unreach-call) 26.32 14.14 None openssl-simplified/s3_srvr_1.cil-2.yml true 33.44 19.31 None openssl-simplified/s3_srvr_13.cil.yml false(unreach-call) 14.13 8.14 None openssl-simplified/s3_srvr_1a.cil.yml true 9.42 5.30 None openssl-simplified/s3_srvr_14.cil.yml false(unreach-call) 19.71 10.84 None openssl-simplified/s3_srvr_1b.cil.yml true 7.69 4.73 None openssl-simplified/s3_srvr_12.cil.yml false(unreach-call) 36.38 21.49 None openssl-simplified/s3_srvr_2.cil-2.yml false(unreach-call) 13.48 7.81 None openssl-simplified/s3_srvr_6.cil-1.yml false(unreach-call) 9.01 4.92 None openssl-simplified/s3_srvr_3.cil.yml true 26.20 15.92 None openssl-simplified/s3_srvr_4.cil.yml true 37.83 22.68 None openssl-simplified/s3_srvr_2.cil-1.yml true 47.27 29.28 None openssl-simplified/s3_srvr_8.cil.yml true 37.40 21.99 None openssl-simplified/s3_srvr_7.cil.yml true 44.59 31.80 None nla-digbench-scaling/ps6-ll_unwindbound20.yml TIMEOUT 900.43 888.36 None locks/test_locks_13.yml OUT OF MEMORY 87.84 58.80 None openssl-simplified/s3_srvr_6.cil-2.yml true 220.55 182.48 None locks/test_locks_14-2.yml false(unreach-call) 10.51 6.17 None locks/test_locks_10.yml true 187.00 175.70 None locks/test_locks_15-1.yml false(unreach-call) 10.37 6.11 None locks/test_locks_5.yml true 12.89 7.03 None locks/test_locks_6.yml true 15.36 8.33 None locks/test_locks_7.yml true 18.01 10.44 None locks/test_locks_14-1.yml OUT OF MEMORY 152.31 100.78 None nla-digbench-scaling/ps6-ll_unwindbound50.yml TIMEOUT 900.39 891.92 None locks/test_locks_8.yml true 28.39 19.40 None nla-digbench-scaling/ps6-ll_valuebound10.yml TIMEOUT 900.38 892.52 None nla-digbench-scaling/ps6-ll_valuebound100.yml TIMEOUT 900.41 889.06 None ntdrivers/cdaudio.i.cil-1.yml ERROR: EXCEPTION 51.52 42.54 None locks/test_locks_9.yml true 61.08 47.20 None nla-digbench-scaling/ps6-ll_valuebound20.yml TIMEOUT 900.42 891.41 None ntdrivers/diskperf.i.cil-2.yml ERROR: EXCEPTION 30.79 19.81 None locks/test_locks_15-2.yml OUT OF MEMORY 134.70 91.15 None ntdrivers/cdaudio.i.cil-2.yml ERROR: EXCEPTION 56.30 40.94 None nla-digbench-scaling/ps6-ll_valuebound50.yml TIMEOUT 900.43 887.65 None ntdrivers/diskperf.i.cil-1.yml ERROR: EXCEPTION 57.22 47.21 None ntdrivers/parport.i.cil-2.yml ERROR: EXCEPTION 26.33 17.30 None ntdrivers/parport.i.cil-1.yml ERROR: EXCEPTION 33.39 20.46 None ntdrivers/floppy.i.cil-1.yml ERROR: EXCEPTION 40.33 31.20 None ntdrivers/floppy.i.cil-3.yml ERROR: EXCEPTION 43.93 32.57 None ntdrivers-simplified/cdaudio_simpl1.cil-2.yml TIMEOUT 900.47 864.27 None ntdrivers-simplified/diskperf_simpl1.cil.yml TIMEOUT 900.48 863.37 None openssl/s3_clnt.blast.02.i.cil-1.yml UNKNOWN: OverapproxCex 56.80 43.29 None openssl/s3_clnt.blast.01.i.cil-2.yml UNKNOWN: OverapproxCex 80.70 58.16 None openssl/s3_clnt.blast.03.i.cil-1.yml UNKNOWN: OverapproxCex 65.38 46.60 None openssl/s3_clnt.blast.04.i.cil-1.yml UNKNOWN: OverapproxCex 58.64 41.56 None openssl/s3_srvr.blast.02.i.cil-1.yml UNKNOWN: OverapproxCex 108.81 88.59 None openssl/s3_clnt.blast.03.i.cil-2.yml ERROR: EXCEPTION 187.33 158.69 None openssl/s3_srvr.blast.03.i.cil.yml UNKNOWN: OverapproxCex 141.97 118.65 None openssl/s3_srvr.blast.01.i.cil-2.yml UNKNOWN: OverapproxCex 154.26 136.81 None openssl/s3_clnt.blast.02.i.cil-2.yml ERROR: EXCEPTION 211.48 182.59 None ntdrivers-simplified/floppy_simpl4.cil-2.yml TIMEOUT 900.57 840.83 None openssl/s3_srvr.blast.04.i.cil.yml UNKNOWN: OverapproxCex 120.31 98.89 None openssl/s3_srvr.blast.02.i.cil-2.yml ERROR: EXCEPTION 296.14 247.51 None openssl/s3_clnt.blast.04.i.cil-2.yml OUT OF MEMORY 383.98 325.68 None locks/test_locks_11.yml true 671.82 656.05 None openssl/s3_srvr.blast.07.i.cil-2.yml OUT OF MEMORY 472.71 364.97 None openssl/s3_srvr.blast.09.i.cil-2.yml ERROR: EXCEPTION 280.23 257.74 None openssl/s3_srvr.blast.06.i.cil-2.yml ERROR: EXCEPTION 497.48 438.67 None locks/test_locks_12.yml TIMEOUT 900.57 883.64 None openssl/s3_srvr.blast.01.i.cil-1.yml OUT OF MEMORY 783.72 625.45 None openssl/s3_clnt.blast.01.i.cil-1.yml TIMEOUT 901.03 777.55 None openssl/s3_srvr.blast.11.i.cil-1.yml UNKNOWN: OverapproxCex 204.84 187.17 None ntdrivers/kbfiltr.i.cil-2.yml TIMEOUT 900.64 848.70 None openssl/s3_srvr.blast.08.i.cil-1.yml TIMEOUT 900.77 831.01 None openssl/s3_srvr.blast.07.i.cil-1.yml TIMEOUT 900.54 867.31 None openssl/s3_srvr.blast.06.i.cil-1.yml TIMEOUT 900.48 876.88 None openssl/s3_srvr.blast.10.i.cil-2.yml OUT OF MEMORY 603.40 495.86 None openssl/s3_srvr.blast.08.i.cil-2.yml TIMEOUT 900.54 863.45 None openssl/s3_srvr.blast.09.i.cil-1.yml TIMEOUT 900.94 821.42 None openssl/s3_srvr.blast.12.i.cil-2.yml OUT OF MEMORY 551.76 471.73 None openssl/s3_srvr.blast.10.i.cil-1.yml TIMEOUT 900.75 819.01 None openssl/s3_srvr.blast.11.i.cil-2.yml OUT OF MEMORY 818.13 728.23 None openssl/s3_srvr.blast.15.i.cil-1.yml ERROR: EXCEPTION 480.68 440.21 None openssl/s3_srvr.blast.12.i.cil-1.yml TIMEOUT 900.45 881.77 None openssl/s3_srvr.blast.15.i.cil-2.yml OUT OF MEMORY 618.27 552.49 None openssl/s3_srvr.blast.14.i.cil-1.yml OUT OF MEMORY 868.31 775.69 None openssl/s3_srvr.blast.13.i.cil-1.yml TIMEOUT 900.54 864.47 None openssl/s3_srvr.blast.13.i.cil-2.yml TIMEOUT 900.53 878.35 None openssl/s3_srvr.blast.14.i.cil-2.yml TIMEOUT 900.56 862.99 None openssl/s3_srvr.blast.16.i.cil-2.yml TIMEOUT 901.31 811.22 None openssl/s3_srvr.blast.16.i.cil-1.yml TIMEOUT 900.54 870.51 None