BENCHMARK INFORMATION benchmark definition: ../benchexec/student-sifa-svcomp-reachsafety-seed-comparison.xml name: student-sifa-svcomp-reachsafety-seed-comparison run sets: Sifa INT.Loops, Automizer.Loops, Taipan INT.Loops, AbsInt INT.Loops date: Tue, 2019-09-03 16:09:44 CEST tool: ULTIMATE Automizer 0.1.24-c6af20d0 tool executable: ./Ultimate.py options: property file: ../../../trunk/examples/svcomp/properties/unreach-call.prp parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-5.1.5-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135153.516544 MB ------------------------------------------------------------ Sifa INT.Loops Run set 1 of 4 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/SifaC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --sifa.abstract.domain IntervalDomain' and propertyfile '../../../trunk/examples/svcomp/properties/unreach-call.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml TIMEOUT 900.95 832.26 None loops/array-2.yml TIMEOUT 900.90 831.48 None loops/bubble_sort-1.yml TRUE 7.37 4.38 None loops/bubble_sort-2.yml ERROR: EXCEPTION 64.00 42.93 None loops/compact.yml TIMEOUT 900.99 824.11 None loops/count_up_down-1.yml TIMEOUT 900.71 796.23 None loops/count_up_down-2.yml TIMEOUT 900.71 794.65 None loops/eureka_01-1.yml TIMEOUT 900.18 814.11 None loops/eureka_01-2.yml TIMEOUT 900.22 808.26 None loops/eureka_05.yml TIMEOUT 900.94 778.74 None loops/for_bounded_loop1.yml TIMEOUT 900.68 800.29 None loops/for_infinite_loop_1.yml TIMEOUT 900.63 803.36 None loops/for_infinite_loop_2.yml TIMEOUT 900.49 805.27 None loops/heavy-1.yml TIMEOUT 900.59 815.79 None loops/heavy-2.yml TIMEOUT 900.42 814.70 None loops/insertion_sort-1.yml TIMEOUT 900.22 817.10 None loops/insertion_sort-2.yml TIMEOUT 900.17 813.28 None loops/invert_string-1.yml TIMEOUT 901.02 773.46 None loops/invert_string-3.yml TIMEOUT 900.99 775.35 None loops/linear_sea.ch.yml TIMEOUT 900.23 828.49 None loops/linear_search.yml TIMEOUT 900.48 811.65 None loops/lu.cmp.yml unknown 7.98 4.79 None loops/ludcmp.yml unknown 8.53 5.01 None loops/matrix-1.yml TIMEOUT 900.77 851.38 None loops/matrix-2.yml TIMEOUT 900.35 819.40 None loops/n.c11.yml TIMEOUT 900.09 809.40 None loops/n.c24.yml TIMEOUT 900.60 799.39 None loops/n.c40.yml TIMEOUT 901.01 774.25 None loops/nec11.yml TIMEOUT 900.48 799.83 None loops/nec20.yml TIMEOUT 900.81 807.59 None loops/nec40.yml TIMEOUT 900.89 779.95 None loops/s3.yml ERROR: EXCEPTION 7.73 4.23 None loops/string-1.yml TIMEOUT 900.18 813.00 None loops/string-2.yml TIMEOUT 900.27 810.05 None loops/sum01-1.yml unknown 7.28 4.32 None loops/sum01-2.yml TIMEOUT 900.74 823.77 None loops/sum01_bug02.yml unknown 6.71 4.18 None loops/sum01_bug02_sum01_bug02_base.case.yml unknown 6.72 4.13 None loops/sum03-1.yml TIMEOUT 900.54 807.36 None loops/sum03-2.yml TIMEOUT 900.57 805.98 None loops/sum04-1.yml TIMEOUT 900.59 808.26 None loops/sum04-2.yml TIMEOUT 900.49 818.97 None loops/sum_array-1.yml TIMEOUT 901.00 832.73 None loops/sum_array-2.yml TIMEOUT 900.95 829.03 None loops/terminator_01.yml unknown 7.47 4.46 None loops/terminator_02-1.yml unknown 6.80 4.16 None loops/terminator_02-2.yml unknown 7.07 4.21 None loops/terminator_03-1.yml TIMEOUT 900.51 810.21 None loops/terminator_03-2.yml TRUE 6.51 4.08 None loops/trex01-1.yml TIMEOUT 900.27 822.53 None loops/trex01-2.yml TIMEOUT 900.34 823.41 None loops/trex02-1.yml TRUE 7.38 4.50 None loops/trex02-2.yml unknown 7.28 4.51 None loops/trex03-1.yml unknown 7.22 4.37 None loops/trex03-2.yml unknown 6.89 4.24 None loops/trex04.yml TIMEOUT 900.69 802.31 None loops/veris.c_NetBSD-libc_loop.yml TIMEOUT 901.08 824.31 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TIMEOUT 901.16 835.94 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TIMEOUT 900.62 809.07 None loops/verisec_NetBSD-libc_loop.yml TIMEOUT 900.10 823.01 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml TIMEOUT 900.10 831.20 None loops/vogal-1.yml TIMEOUT 900.80 801.46 None loops/vogal-2.yml TIMEOUT 900.28 819.88 None loops/while_infinite_loop_1.yml TRUE 6.43 3.91 None loops/while_infinite_loop_2.yml TRUE 6.45 4.00 None loops/while_infinite_loop_3.yml TRUE 6.37 4.05 None loops/while_infinite_loop_4.yml unknown 7.35 4.48 None loop-acceleration/array_1-1.yml TIMEOUT 900.37 795.25 None loop-acceleration/array_1-2.yml TIMEOUT 900.21 800.04 None loop-acceleration/array_2-1.yml TIMEOUT 900.65 787.93 None loop-acceleration/array_2-2.yml TIMEOUT 900.57 791.05 None loop-acceleration/array_3-1.yml TIMEOUT 900.39 800.77 None loop-acceleration/array_3-2.yml TIMEOUT 900.47 815.42 None loop-acceleration/array_4.yml TIMEOUT 900.54 808.85 None loop-acceleration/const_1-1.yml TIMEOUT 900.60 805.30 None loop-acceleration/const_1-2.yml TIMEOUT 900.66 804.35 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.46 818.01 None loop-acceleration/diamond_1-2.yml TIMEOUT 900.41 817.54 None loop-acceleration/diamond_2-2.yml TIMEOUT 900.42 813.65 None loop-acceleration/functions_1-1.yml TIMEOUT 900.75 792.70 None loop-acceleration/functions_1-2.yml TIMEOUT 900.78 791.84 None loop-acceleration/multivar_1-1.yml unknown 6.77 4.29 None loop-acceleration/multivar_1-2.yml unknown 6.32 3.86 None loop-acceleration/nested_1-1.yml TIMEOUT 900.43 821.10 None loop-acceleration/nested_1-2.yml TIMEOUT 900.30 822.28 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.73 797.40 None loop-acceleration/phases_1-1.yml TIMEOUT 900.57 807.03 None loop-acceleration/phases_1-2.yml TIMEOUT 900.67 806.46 None loop-acceleration/phases_2-1.yml TIMEOUT 901.14 831.44 None loop-acceleration/phases_2-2.yml TIMEOUT 901.09 831.70 None loop-acceleration/simple_1-1.yml TIMEOUT 900.74 799.83 None loop-acceleration/simple_1-2.yml TIMEOUT 900.78 798.67 None loop-acceleration/simple_2-1.yml unknown 6.52 4.08 None loop-acceleration/simple_2-2.yml unknown 6.76 4.13 None loop-acceleration/simple_3-1.yml TIMEOUT 900.75 797.50 None loop-acceleration/simple_3-2.yml TIMEOUT 900.72 799.16 None loop-acceleration/simple_4-1.yml unknown 6.95 4.21 None loop-acceleration/simple_4-2.yml unknown 7.18 4.45 None loop-acceleration/underapprox_1-1.yml TIMEOUT 900.52 809.34 None loop-acceleration/underapprox_1-2.yml TIMEOUT 900.43 809.52 None loop-acceleration/underapprox_2-1.yml TIMEOUT 900.53 812.43 None loop-acceleration/underapprox_2-2.yml TIMEOUT 900.41 812.90 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 900.78 841.05 None loop-crafted/simple_array_index_value_1-2.yml TIMEOUT 901.03 829.05 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.87 836.84 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.89 833.61 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TIMEOUT 900.35 883.23 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TIMEOUT 900.33 886.52 None loop-crafted/simple_array_index_value_4.yml TIMEOUT 900.25 822.72 None loop-crafted/simple_vardep_1.yml TIMEOUT 900.61 801.31 None loop-crafted/simple_vardep_2.yml TIMEOUT 900.52 809.38 None loop-invgen/MADWiFi-encode_ie_ok.yml TIMEOUT 900.79 798.83 None loop-invgen/NetBSD_loop.yml TIMEOUT 901.08 794.21 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml unknown 22.83 12.23 None loop-invgen/SpamAssassin-loop.yml TIMEOUT 900.63 800.44 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml TIMEOUT 900.90 850.02 None loop-invgen/apache-escape-absolute.yml TIMEOUT 900.67 799.11 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml TIMEOUT 900.67 862.69 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml TIMEOUT 900.54 873.42 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml TIMEOUT 900.60 871.17 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml TIMEOUT 900.90 850.24 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml TIMEOUT 900.86 851.19 None loop-invgen/apache-get-tag.yml TIMEOUT 900.63 796.11 None loop-invgen/down.yml TIMEOUT 900.45 814.73 None loop-invgen/fragtest_simple.yml TIMEOUT 900.44 817.71 None loop-invgen/half_2.yml TIMEOUT 900.73 807.07 None loop-invgen/heapsort.yml unknown 29.89 16.06 None loop-invgen/id_build.i.p+nlh-reducer.yml TIMEOUT 900.62 870.04 None loop-invgen/id_build.i.p+sep-reducer.yml unknown 21.63 11.54 None loop-invgen/id_build.i.v+lhb-reducer.yml TIMEOUT 901.01 841.40 None loop-invgen/id_build.yml TIMEOUT 900.72 796.36 None loop-invgen/id_trans.yml TIMEOUT 901.00 777.58 None loop-invgen/large_const.yml TIMEOUT 901.08 833.23 None loop-invgen/nest-if3.yml unknown 7.59 4.56 None loop-invgen/nested6.yml TIMEOUT 900.54 801.72 None loop-invgen/nested9.yml TIMEOUT 900.39 822.50 None loop-invgen/sendmail-close-angle.yml TIMEOUT 900.87 793.92 None loop-invgen/seq-3.yml TIMEOUT 900.37 819.84 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.56 808.41 None loop-invgen/up.yml TIMEOUT 900.53 813.93 None loop-lit/afnp2014.yml TIMEOUT 900.34 822.88 None loop-lit/bhmr2007.yml TIMEOUT 901.12 830.68 None loop-lit/cggmp2005.yml TIMEOUT 900.67 801.63 None loop-lit/cggmp2005_variant.yml TIMEOUT 900.62 800.93 None loop-lit/cggmp2005b.yml TIMEOUT 900.60 808.26 None loop-lit/css2003.yml TIMEOUT 900.58 804.67 None loop-lit/ddlm2013.yml TIMEOUT 900.54 833.45 None loop-lit/gcnr2008.yml TIMEOUT 901.23 830.11 None loop-lit/gj2007.c.i.p+lhb-reducer.yml TIMEOUT 900.26 826.05 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TIMEOUT 900.79 823.27 None loop-lit/gj2007.yml TIMEOUT 900.53 807.07 None loop-lit/gj2007b.yml TIMEOUT 900.48 822.64 None loop-lit/gr2006.yml TIMEOUT 900.42 816.20 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml TIMEOUT 900.13 827.56 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml TIMEOUT 900.17 825.76 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 6.35 4.06 None loop-lit/gsv2008.yml TIMEOUT 900.36 819.39 None loop-lit/hhk2008.yml TIMEOUT 900.50 811.54 None loop-lit/jm2006.c.i.v+cfa-reducer.yml unknown 7.01 4.18 None loop-lit/jm2006.yml unknown 7.24 4.39 None loop-lit/jm2006_variant.yml TIMEOUT 900.60 804.99 None loop-lit/mcmillan2006.yml TIMEOUT 900.06 807.98 None loop-new/count_by_1.yml TIMEOUT 900.76 800.84 None loop-new/count_by_1_variant.yml TIMEOUT 900.78 801.13 None loop-new/count_by_2.yml TIMEOUT 900.71 801.29 None loop-new/count_by_k.yml TIMEOUT 900.55 810.03 None loop-new/count_by_nondet.yml TIMEOUT 900.21 825.45 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.17 828.97 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.22 829.76 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.17 829.23 None loop-new/gauss_sum.yml TIMEOUT 900.27 821.95 None loop-new/half.yml TIMEOUT 900.30 821.71 None loop-new/nested-1.yml TIMEOUT 900.49 812.98 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.16 3.59 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.46 3.69 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.33 3.57 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TIMEOUT 900.38 816.02 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TIMEOUT 900.31 820.12 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 50.01 39.44 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 53.04 41.72 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 6.43 3.69 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml unknown 7.55 4.58 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml TIMEOUT 900.85 855.40 None loop-industry-pattern/mod3.c.v+sep-reducer.yml TIMEOUT 900.94 848.00 None loop-industry-pattern/mod3.yml unknown 7.17 4.43 None loop-industry-pattern/nested-3.yml TIMEOUT 900.29 826.95 None loop-industry-pattern/ofuf_1.yml ERROR: EXCEPTION 9.03 5.24 None loop-industry-pattern/ofuf_2.yml ERROR: EXCEPTION 8.59 5.07 None loop-industry-pattern/ofuf_3.yml ERROR: EXCEPTION 8.59 5.00 None loop-industry-pattern/ofuf_4.yml ERROR: EXCEPTION 8.52 5.01 None loop-industry-pattern/ofuf_5.yml ERROR: EXCEPTION 9.12 5.22 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.52 809.44 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.53 809.57 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.52 814.00 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.57 808.78 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.53 813.28 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.25 825.67 None loops-crafted-1/nested3-1.yml TIMEOUT 901.10 835.18 None loops-crafted-1/nested3-2.yml TIMEOUT 900.85 802.82 None loops-crafted-1/nested5-1.yml TIMEOUT 900.63 812.27 None loops-crafted-1/nested5-2.yml TIMEOUT 900.62 809.75 None loop-invariants/bin-suffix-5.yml TIMEOUT 900.57 808.45 None loop-invariants/const.yml TIMEOUT 900.94 787.96 None loop-invariants/eq1.yml unknown 6.93 4.17 None loop-invariants/eq2.yml unknown 7.14 4.18 None loop-invariants/even.yml TIMEOUT 900.62 807.98 None loop-invariants/mod4.yml TIMEOUT 900.57 806.20 None loop-invariants/odd.yml TIMEOUT 900.57 807.59 None nla-digbench/bresenham.yml TIMEOUT 900.28 820.36 None nla-digbench/cohencu.yml TIMEOUT 901.08 778.91 None nla-digbench/cohendiv.yml TIMEOUT 900.64 799.78 None nla-digbench/dijkstra.yml TIMEOUT 900.25 825.05 None nla-digbench/divbin.yml TIMEOUT 900.31 824.35 None nla-digbench/egcd.yml unknown 8.44 5.08 None nla-digbench/egcd2.yml TIMEOUT 900.56 802.78 None nla-digbench/egcd3.yml TIMEOUT 900.71 793.10 None nla-digbench/fermat1.yml TIMEOUT 900.72 801.27 None nla-digbench/fermat2.yml TIMEOUT 900.65 804.03 None nla-digbench/freire1.yml TIMEOUT 900.68 803.08 None nla-digbench/freire2.yml unknown 7.41 4.54 None nla-digbench/geo1.yml TIMEOUT 900.36 884.15 None nla-digbench/geo2.yml TIMEOUT 900.61 799.68 None nla-digbench/geo3.yml TIMEOUT 900.82 797.59 None nla-digbench/hard.yml TIMEOUT 900.72 792.28 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.78 3.46 None nla-digbench/lcm1.yml TIMEOUT 900.68 804.43 None nla-digbench/lcm2.yml TIMEOUT 900.38 879.44 None nla-digbench/mannadiv.yml TIMEOUT 900.48 809.97 None nla-digbench/prod4br.yml TIMEOUT 900.98 845.03 None nla-digbench/prodbin.yml TIMEOUT 900.27 816.35 None nla-digbench/ps2.yml TIMEOUT 900.44 808.74 None nla-digbench/ps3.yml TIMEOUT 900.86 852.78 None nla-digbench/ps4.yml TIMEOUT 900.48 811.26 None nla-digbench/ps5.yml TIMEOUT 900.57 868.01 None nla-digbench/ps6.yml TIMEOUT 901.13 824.90 None nla-digbench/sqrt1.yml TIMEOUT 900.66 799.17 None ------------------------------------------------------------------------------------------------------------------------- Run set 1 done 107304.27 11392.04 - Automizer.Loops Run set 2 of 4 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf' and propertyfile '../../../trunk/examples/svcomp/properties/unreach-call.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml TRUE 11.11 6.47 None loops/array-2.yml FALSE 8.48 5.06 None loops/bubble_sort-1.yml TRUE 7.61 4.71 None loops/bubble_sort-2.yml FALSE 13.12 7.12 None loops/compact.yml TIMEOUT 900.38 883.27 None loops/count_up_down-1.yml TIMEOUT 900.42 880.08 None loops/count_up_down-2.yml FALSE 6.92 4.42 None loops/eureka_01-1.yml FALSE 280.69 252.70 None loops/eureka_01-2.yml TIMEOUT 900.50 864.24 None loops/eureka_05.yml TIMEOUT 900.50 866.70 None loops/for_bounded_loop1.yml FALSE 8.09 4.90 None loops/for_infinite_loop_1.yml TRUE 6.98 4.39 None loops/for_infinite_loop_2.yml TRUE 7.73 4.63 None loops/heavy-1.yml TIMEOUT 900.59 870.62 None loops/heavy-2.yml TRUE 10.74 5.90 None loops/insertion_sort-1.yml FALSE 460.72 417.08 None loops/insertion_sort-2.yml TIMEOUT 900.89 832.78 None loops/invert_string-1.yml FALSE 27.65 17.32 None loops/invert_string-3.yml TRUE 278.72 256.77 None loops/linear_sea.ch.yml ERROR: EXCEPTION 169.32 157.02 None loops/linear_search.yml ERROR: EXCEPTION 80.50 65.90 None loops/lu.cmp.yml TRUE 8.78 5.22 None loops/ludcmp.yml UNKNOWN: OverapproxCex 15.20 8.74 None loops/matrix-1.yml TRUE 17.30 10.79 None loops/matrix-2.yml FALSE 8.51 5.12 None loops/n.c11.yml TRUE 10.93 6.28 None loops/n.c24.yml TIMEOUT 901.18 788.36 None loops/n.c40.yml ERROR: EXCEPTION 7.34 4.55 None loops/nec11.yml FALSE 7.54 4.49 None loops/nec20.yml FALSE 7.36 4.59 None loops/nec40.yml ERROR: EXCEPTION 8.08 4.85 None loops/s3.yml ERROR: EXCEPTION 7.65 4.12 None loops/string-1.yml TRUE 11.00 6.46 None loops/string-2.yml UNKNOWN: OverapproxCex 10.61 6.19 None loops/sum01-1.yml FALSE 13.36 7.74 None loops/sum01-2.yml TRUE 11.12 6.53 None loops/sum01_bug02.yml FALSE 13.84 7.87 None loops/sum01_bug02_sum01_bug02_base.case.yml FALSE 10.61 6.21 None loops/sum03-1.yml FALSE 245.74 238.08 None loops/sum03-2.yml TRUE 7.81 4.68 None loops/sum04-1.yml FALSE 9.19 5.54 None loops/sum04-2.yml TRUE 11.01 6.55 None loops/sum_array-1.yml FALSE 8.99 5.26 None loops/sum_array-2.yml TIMEOUT 900.74 860.23 None loops/terminator_01.yml FALSE 7.16 4.39 None loops/terminator_02-1.yml FALSE 7.14 4.43 None loops/terminator_02-2.yml TRUE 8.03 4.80 None loops/terminator_03-1.yml FALSE 7.42 4.56 None loops/terminator_03-2.yml TRUE 7.30 4.49 None loops/trex01-1.yml FALSE 7.72 4.58 None loops/trex01-2.yml TRUE 7.60 4.64 None loops/trex02-1.yml TRUE 7.35 4.47 None loops/trex02-2.yml FALSE 6.90 4.32 None loops/trex03-1.yml FALSE 7.16 4.31 None loops/trex03-2.yml TRUE 7.58 4.59 None loops/trex04.yml TRUE 7.27 4.48 None loops/veris.c_NetBSD-libc_loop.yml TRUE 8.49 5.00 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TRUE 8.92 5.30 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TRUE 7.72 4.55 None loops/verisec_NetBSD-libc_loop.yml FALSE 9.42 5.64 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml FALSE 16.63 9.12 None loops/vogal-1.yml ERROR: EXCEPTION 636.77 596.83 None loops/vogal-2.yml TIMEOUT 901.13 843.65 None loops/while_infinite_loop_1.yml TRUE 6.80 4.24 None loops/while_infinite_loop_2.yml TRUE 7.25 4.45 None loops/while_infinite_loop_3.yml TRUE 7.29 4.48 None loops/while_infinite_loop_4.yml FALSE 6.71 4.12 None loop-acceleration/array_1-1.yml TIMEOUT 900.65 866.15 None loop-acceleration/array_1-2.yml TRUE 11.43 7.52 None loop-acceleration/array_2-1.yml TIMEOUT 900.49 872.26 None loop-acceleration/array_2-2.yml TIMEOUT 900.43 873.73 None loop-acceleration/array_3-1.yml TRUE 7.72 4.72 None loop-acceleration/array_3-2.yml TIMEOUT 900.54 862.15 None loop-acceleration/array_4.yml TIMEOUT 900.63 865.18 None loop-acceleration/const_1-1.yml TRUE 8.74 5.28 None loop-acceleration/const_1-2.yml TIMEOUT 900.42 875.99 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.39 878.65 None loop-acceleration/diamond_1-2.yml TIMEOUT 900.39 876.80 None loop-acceleration/diamond_2-2.yml TRUE 199.54 187.25 None loop-acceleration/functions_1-1.yml TIMEOUT 900.48 873.24 None loop-acceleration/functions_1-2.yml TIMEOUT 900.40 874.94 None loop-acceleration/multivar_1-1.yml TRUE 7.87 4.66 None loop-acceleration/multivar_1-2.yml FALSE 6.65 4.09 None loop-acceleration/nested_1-1.yml TRUE 158.31 148.28 None loop-acceleration/nested_1-2.yml TIMEOUT 900.33 887.76 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.41 885.85 None loop-acceleration/phases_1-1.yml TIMEOUT 900.37 887.91 None loop-acceleration/phases_1-2.yml TIMEOUT 900.41 888.49 None loop-acceleration/phases_2-1.yml FALSE 7.07 4.30 None loop-acceleration/phases_2-2.yml TRUE 15.12 11.36 None loop-acceleration/simple_1-1.yml TIMEOUT 900.40 884.98 None loop-acceleration/simple_1-2.yml TIMEOUT 900.40 883.80 None loop-acceleration/simple_2-1.yml TRUE 6.75 4.19 None loop-acceleration/simple_2-2.yml FALSE 6.58 4.13 None loop-acceleration/simple_3-1.yml FALSE 6.42 3.99 None loop-acceleration/simple_3-2.yml TRUE 7.16 4.40 None loop-acceleration/simple_4-1.yml TIMEOUT 900.36 884.86 None loop-acceleration/simple_4-2.yml TRUE 8.03 4.83 None loop-acceleration/underapprox_1-1.yml FALSE 10.95 6.43 None loop-acceleration/underapprox_1-2.yml TRUE 164.79 157.06 None loop-acceleration/underapprox_2-1.yml FALSE 9.71 5.84 None loop-acceleration/underapprox_2-2.yml TRUE 8.63 5.20 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 901.10 876.31 None loop-crafted/simple_array_index_value_1-2.yml FALSE 7.26 4.42 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.44 877.56 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.76 876.52 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TRUE 61.62 55.19 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TRUE 33.32 26.89 None loop-crafted/simple_array_index_value_4.yml TRUE 83.69 77.71 None loop-crafted/simple_vardep_1.yml TRUE 7.64 4.62 None loop-crafted/simple_vardep_2.yml TRUE 7.74 4.67 None loop-invgen/MADWiFi-encode_ie_ok.yml TRUE 9.33 5.57 None loop-invgen/NetBSD_loop.yml TRUE 8.66 5.19 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml TRUE 15.21 8.53 None loop-invgen/SpamAssassin-loop.yml TRUE 11.52 6.72 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml TRUE 18.65 10.47 None loop-invgen/apache-escape-absolute.yml TRUE 12.38 7.07 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml TRUE 16.81 9.74 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml TRUE 34.46 20.02 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml TRUE 68.38 43.40 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml TRUE 13.88 7.83 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml TRUE 13.29 7.68 None loop-invgen/apache-get-tag.yml TRUE 9.78 5.85 None loop-invgen/down.yml TIMEOUT 901.38 740.65 None loop-invgen/fragtest_simple.yml TIMEOUT 901.11 749.04 None loop-invgen/half_2.yml TIMEOUT 901.04 765.08 None loop-invgen/heapsort.yml TRUE 54.78 32.86 None loop-invgen/id_build.i.p+nlh-reducer.yml TRUE 15.01 8.26 None loop-invgen/id_build.i.p+sep-reducer.yml TRUE 14.90 8.23 None loop-invgen/id_build.i.v+lhb-reducer.yml TRUE 8.42 5.00 None loop-invgen/id_build.yml TRUE 7.19 4.45 None loop-invgen/id_trans.yml FALSE 8.36 5.07 None loop-invgen/large_const.yml TRUE 11.70 6.80 None loop-invgen/nest-if3.yml TRUE 7.12 4.44 None loop-invgen/nested6.yml TRUE 10.84 6.28 None loop-invgen/nested9.yml TRUE 11.02 6.43 None loop-invgen/sendmail-close-angle.yml TRUE 21.65 12.87 None loop-invgen/seq-3.yml TIMEOUT 900.23 792.56 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.23 801.37 None loop-invgen/up.yml TIMEOUT 900.44 741.96 None loop-lit/afnp2014.yml TRUE 8.98 5.24 None loop-lit/bhmr2007.yml TRUE 11.46 6.63 None loop-lit/cggmp2005.yml TRUE 9.74 5.66 None loop-lit/cggmp2005_variant.yml TRUE 10.10 5.86 None loop-lit/cggmp2005b.yml TRUE 8.34 5.04 None loop-lit/css2003.yml TRUE 8.02 4.80 None loop-lit/ddlm2013.yml TRUE 18.45 12.05 None loop-lit/gcnr2008.yml FALSE 7.26 4.41 None loop-lit/gj2007.c.i.p+lhb-reducer.yml TRUE 161.81 110.54 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TRUE 299.36 232.37 None loop-lit/gj2007.yml TRUE 104.10 68.44 None loop-lit/gj2007b.yml TRUE 9.39 5.54 None loop-lit/gr2006.yml TRUE 179.54 128.06 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml TRUE 7.73 4.73 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml TRUE 7.96 4.83 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml TRUE 8.81 5.25 None loop-lit/gsv2008.yml TRUE 8.12 4.86 None loop-lit/hhk2008.yml TRUE 9.03 5.40 None loop-lit/jm2006.c.i.v+cfa-reducer.yml TRUE 11.26 6.50 None loop-lit/jm2006.yml TRUE 11.51 6.69 None loop-lit/jm2006_variant.yml TRUE 12.21 7.02 None loop-lit/mcmillan2006.yml TIMEOUT 900.44 871.49 None loop-new/count_by_1.yml TRUE 7.57 4.66 None loop-new/count_by_1_variant.yml TRUE 9.36 5.59 None loop-new/count_by_2.yml TIMEOUT 900.39 742.39 None loop-new/count_by_k.yml TIMEOUT 900.55 785.03 None loop-new/count_by_nondet.yml TIMEOUT 900.33 743.11 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.79 817.01 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.08 799.08 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.75 820.95 None loop-new/gauss_sum.yml TIMEOUT 900.92 781.41 None loop-new/half.yml TRUE 15.29 8.89 None loop-new/nested-1.yml TRUE 214.00 172.12 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.40 3.51 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.37 3.62 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.25 3.53 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TRUE 15.30 8.41 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TRUE 14.54 8.16 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TRUE 57.06 42.22 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml TRUE 66.78 53.59 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.95 3.51 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TRUE 8.01 4.80 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml TRUE 8.40 5.00 None loop-industry-pattern/mod3.c.v+sep-reducer.yml TRUE 8.76 5.10 None loop-industry-pattern/mod3.yml TRUE 7.92 4.79 None loop-industry-pattern/nested-3.yml TIMEOUT 900.86 838.33 None loop-industry-pattern/ofuf_1.yml TRUE 10.51 6.02 None loop-industry-pattern/ofuf_2.yml TRUE 10.94 6.26 None loop-industry-pattern/ofuf_3.yml TRUE 10.80 6.10 None loop-industry-pattern/ofuf_4.yml TRUE 10.47 5.92 None loop-industry-pattern/ofuf_5.yml TRUE 10.83 6.11 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.34 888.98 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.45 884.24 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.35 884.29 None loops-crafted-1/Mono4_1.yml TIMEOUT 901.06 811.13 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.35 885.96 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.32 886.22 None loops-crafted-1/nested3-1.yml TIMEOUT 900.38 883.47 None loops-crafted-1/nested3-2.yml TIMEOUT 900.41 884.20 None loops-crafted-1/nested5-1.yml TRUE 21.61 16.43 None loops-crafted-1/nested5-2.yml TIMEOUT 900.33 887.91 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 7.24 4.29 None loop-invariants/const.yml TRUE 7.78 4.64 None loop-invariants/eq1.yml TRUE 7.30 4.47 None loop-invariants/eq2.yml TRUE 7.84 4.63 None loop-invariants/even.yml TRUE 7.84 4.70 None loop-invariants/mod4.yml TRUE 7.33 4.62 None loop-invariants/odd.yml TRUE 16.54 12.96 None nla-digbench/bresenham.yml TIMEOUT 900.33 888.52 None nla-digbench/cohencu.yml TIMEOUT 900.32 890.94 None nla-digbench/cohendiv.yml TRUE 16.24 9.21 None nla-digbench/dijkstra.yml TIMEOUT 900.34 887.89 None nla-digbench/divbin.yml ERROR: EXCEPTION 40.15 36.25 None nla-digbench/egcd.yml TRUE 59.54 51.79 None nla-digbench/egcd2.yml TRUE 597.18 565.03 None nla-digbench/egcd3.yml TIMEOUT 901.00 836.72 None nla-digbench/fermat1.yml TRUE 54.45 50.84 None nla-digbench/fermat2.yml TRUE 17.82 14.20 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 6.52 4.11 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 7.04 4.29 None nla-digbench/geo1.yml TRUE 7.56 4.64 None nla-digbench/geo2.yml TRUE 15.60 11.52 None nla-digbench/geo3.yml TRUE 24.85 20.87 None nla-digbench/hard.yml ERROR: EXCEPTION 470.20 455.51 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.44 3.23 None nla-digbench/lcm1.yml TRUE 29.38 23.49 None nla-digbench/lcm2.yml TRUE 405.17 396.20 None nla-digbench/mannadiv.yml TRUE 9.29 5.58 None nla-digbench/prod4br.yml TRUE 106.78 89.43 None nla-digbench/prodbin.yml ERROR: EXCEPTION 410.02 396.22 None nla-digbench/ps2.yml TRUE 9.01 5.43 None nla-digbench/ps3.yml TRUE 10.11 5.88 None nla-digbench/ps4.yml TIMEOUT 900.40 874.51 None nla-digbench/ps5.yml TIMEOUT 900.31 891.71 None nla-digbench/ps6.yml TIMEOUT 900.38 877.11 None nla-digbench/sqrt1.yml TRUE 11.86 6.83 None ------------------------------------------------------------------------------------------------------------------------- Run set 2 done 39967.38 4610.60 - Taipan INT.Loops Run set 3 of 4 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/svcomp-Reach-32bit-Automizer_Default+AIv2_INT.epf' and propertyfile '../../../trunk/examples/svcomp/properties/unreach-call.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml TRUE 8.96 5.34 None loops/array-2.yml FALSE 8.36 5.02 None loops/bubble_sort-1.yml TRUE 7.54 4.71 None loops/bubble_sort-2.yml FALSE 12.41 6.88 None loops/compact.yml TIMEOUT 900.37 884.90 None loops/count_up_down-1.yml TIMEOUT 900.54 864.11 None loops/count_up_down-2.yml FALSE 7.18 4.61 None loops/eureka_01-1.yml TRUE 9.77 5.67 None loops/eureka_01-2.yml TRUE 9.52 5.69 None loops/eureka_05.yml TRUE 8.42 5.06 None loops/for_bounded_loop1.yml FALSE 8.40 5.04 None loops/for_infinite_loop_1.yml TRUE 7.27 4.55 None loops/for_infinite_loop_2.yml TRUE 7.59 4.56 None loops/heavy-1.yml TIMEOUT 900.83 799.46 None loops/heavy-2.yml TIMEOUT 900.82 797.58 None loops/insertion_sort-1.yml TRUE 8.94 5.33 None loops/insertion_sort-2.yml TRUE 9.55 5.72 None loops/invert_string-1.yml TRUE 9.93 5.91 None loops/invert_string-3.yml TRUE 9.66 5.71 None loops/linear_sea.ch.yml TRUE 9.86 5.88 None loops/linear_search.yml TRUE 9.42 5.51 None loops/lu.cmp.yml TRUE 14.73 8.05 None loops/ludcmp.yml TRUE 16.05 8.81 None loops/matrix-1.yml TRUE 8.63 5.08 None loops/matrix-2.yml TRUE 8.65 5.20 None loops/n.c11.yml TRUE 11.09 6.41 None loops/n.c24.yml TRUE 9.32 5.37 None loops/n.c40.yml TRUE 9.05 5.42 None loops/nec11.yml FALSE 6.97 4.22 None loops/nec20.yml FALSE 7.83 4.67 None loops/nec40.yml TRUE 9.65 5.55 None loops/s3.yml UNKNOWN: OverapproxCex 36.36 20.93 None loops/string-1.yml TRUE 8.67 5.06 None loops/string-2.yml TRUE 8.67 5.12 None loops/sum01-1.yml FALSE 15.35 8.89 None loops/sum01-2.yml TRUE 11.84 6.77 None loops/sum01_bug02.yml FALSE 15.55 8.81 None loops/sum01_bug02_sum01_bug02_base.case.yml FALSE 12.62 7.36 None loops/sum03-1.yml FALSE 172.60 163.56 None loops/sum03-2.yml TRUE 8.22 4.92 None loops/sum04-1.yml FALSE 9.25 5.73 None loops/sum04-2.yml TRUE 12.17 7.11 None loops/sum_array-1.yml FALSE 9.78 5.61 None loops/sum_array-2.yml TRUE 12.45 7.14 None loops/terminator_01.yml FALSE 7.31 4.37 None loops/terminator_02-1.yml FALSE 6.83 4.21 None loops/terminator_02-2.yml TRUE 8.32 4.94 None loops/terminator_03-1.yml FALSE 7.17 4.42 None loops/terminator_03-2.yml TRUE 8.05 4.84 None loops/trex01-1.yml FALSE 7.49 4.49 None loops/trex01-2.yml TRUE 7.67 4.60 None loops/trex02-1.yml TRUE 7.36 4.46 None loops/trex02-2.yml FALSE 6.51 4.16 None loops/trex03-1.yml FALSE 7.55 4.49 None loops/trex03-2.yml TRUE 7.77 4.66 None loops/trex04.yml TRUE 7.47 4.67 None loops/veris.c_NetBSD-libc_loop.yml TRUE 7.86 4.76 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TRUE 8.58 5.05 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TRUE 7.96 4.86 None loops/verisec_NetBSD-libc_loop.yml TRUE 8.43 5.08 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml TRUE 11.91 6.74 None loops/vogal-1.yml TRUE 8.66 5.12 None loops/vogal-2.yml TRUE 8.65 5.16 None loops/while_infinite_loop_1.yml TRUE 7.31 4.48 None loops/while_infinite_loop_2.yml TRUE 7.56 4.57 None loops/while_infinite_loop_3.yml TRUE 6.82 4.19 None loops/while_infinite_loop_4.yml FALSE 7.43 4.55 None loop-acceleration/array_1-1.yml TRUE 7.79 4.72 None loop-acceleration/array_1-2.yml TRUE 7.48 4.66 None loop-acceleration/array_2-1.yml TRUE 7.70 4.72 None loop-acceleration/array_2-2.yml TRUE 8.25 4.91 None loop-acceleration/array_3-1.yml TRUE 7.74 4.72 None loop-acceleration/array_3-2.yml TRUE 8.14 4.91 None loop-acceleration/array_4.yml TRUE 8.17 4.99 None loop-acceleration/const_1-1.yml TRUE 8.44 5.22 None loop-acceleration/const_1-2.yml TIMEOUT 900.49 883.20 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.50 863.04 None loop-acceleration/diamond_1-2.yml TIMEOUT 900.71 855.72 None loop-acceleration/diamond_2-2.yml TRUE 262.95 243.33 None loop-acceleration/functions_1-1.yml TIMEOUT 900.46 865.43 None loop-acceleration/functions_1-2.yml TIMEOUT 900.60 869.37 None loop-acceleration/multivar_1-1.yml TRUE 7.47 4.62 None loop-acceleration/multivar_1-2.yml FALSE 7.02 4.26 None loop-acceleration/nested_1-1.yml TRUE 76.00 63.33 None loop-acceleration/nested_1-2.yml TIMEOUT 900.35 884.70 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.67 876.12 None loop-acceleration/phases_1-1.yml TIMEOUT 900.45 879.79 None loop-acceleration/phases_1-2.yml TIMEOUT 900.33 885.36 None loop-acceleration/phases_2-1.yml FALSE 7.49 4.59 None loop-acceleration/phases_2-2.yml TRUE 20.06 14.35 None loop-acceleration/simple_1-1.yml TIMEOUT 900.51 877.08 None loop-acceleration/simple_1-2.yml TIMEOUT 900.38 875.94 None loop-acceleration/simple_2-1.yml TRUE 7.05 4.21 None loop-acceleration/simple_2-2.yml FALSE 6.17 3.92 None loop-acceleration/simple_3-1.yml FALSE 6.68 4.07 None loop-acceleration/simple_3-2.yml TRUE 7.14 4.38 None loop-acceleration/simple_4-1.yml TIMEOUT 900.44 868.80 None loop-acceleration/simple_4-2.yml TRUE 9.52 5.56 None loop-acceleration/underapprox_1-1.yml FALSE 11.67 6.75 None loop-acceleration/underapprox_1-2.yml TRUE 85.52 77.30 None loop-acceleration/underapprox_2-1.yml FALSE 10.64 6.37 None loop-acceleration/underapprox_2-2.yml TRUE 11.05 6.49 None loop-crafted/simple_array_index_value_1-1.yml TRUE 9.77 6.70 None loop-crafted/simple_array_index_value_1-2.yml FALSE 7.53 4.57 None loop-crafted/simple_array_index_value_2.yml TRUE 7.41 4.61 None loop-crafted/simple_array_index_value_3.yml TRUE 8.30 4.99 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TRUE 13.97 8.78 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TRUE 12.82 7.28 None loop-crafted/simple_array_index_value_4.yml TRUE 11.18 6.39 None loop-crafted/simple_vardep_1.yml TRUE 7.06 4.25 None loop-crafted/simple_vardep_2.yml TRUE 7.74 4.65 None loop-invgen/MADWiFi-encode_ie_ok.yml TRUE 9.49 5.61 None loop-invgen/NetBSD_loop.yml TRUE 9.39 5.58 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml TRUE 12.34 7.09 None loop-invgen/SpamAssassin-loop.yml TRUE 10.69 6.22 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml TRUE 17.81 9.93 None loop-invgen/apache-escape-absolute.yml TRUE 11.96 6.84 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml TRUE 15.96 9.29 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml TRUE 36.00 21.35 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml TRUE 63.68 38.42 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml TRUE 13.77 7.76 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml TRUE 13.52 7.71 None loop-invgen/apache-get-tag.yml TRUE 10.28 6.04 None loop-invgen/down.yml TIMEOUT 900.26 736.36 None loop-invgen/fragtest_simple.yml TIMEOUT 900.13 744.11 None loop-invgen/half_2.yml TIMEOUT 901.04 761.43 None loop-invgen/heapsort.yml TRUE 32.08 20.38 None loop-invgen/id_build.i.p+nlh-reducer.yml TRUE 14.89 8.21 None loop-invgen/id_build.i.p+sep-reducer.yml TRUE 14.13 7.92 None loop-invgen/id_build.i.v+lhb-reducer.yml TRUE 7.92 4.81 None loop-invgen/id_build.yml TRUE 7.29 4.48 None loop-invgen/id_trans.yml FALSE 8.02 4.78 None loop-invgen/large_const.yml TRUE 11.30 6.58 None loop-invgen/nest-if3.yml TRUE 6.98 4.43 None loop-invgen/nested6.yml TRUE 12.58 7.22 None loop-invgen/nested9.yml TRUE 11.90 6.82 None loop-invgen/sendmail-close-angle.yml TRUE 24.23 14.97 None loop-invgen/seq-3.yml TIMEOUT 900.13 745.24 None loop-invgen/string_concat-noarr.yml TIMEOUT 901.37 733.40 None loop-invgen/up.yml TIMEOUT 900.41 741.70 None loop-lit/afnp2014.yml TRUE 9.47 5.54 None loop-lit/bhmr2007.yml TRUE 12.33 7.15 None loop-lit/cggmp2005.yml TRUE 9.65 5.67 None loop-lit/cggmp2005_variant.yml TRUE 10.72 6.20 None loop-lit/cggmp2005b.yml TRUE 8.19 5.01 None loop-lit/css2003.yml TRUE 7.22 4.48 None loop-lit/ddlm2013.yml TIMEOUT 901.15 778.80 None loop-lit/gcnr2008.yml FALSE 6.87 4.22 None loop-lit/gj2007.c.i.p+lhb-reducer.yml TRUE 333.04 256.31 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TRUE 453.48 353.33 None loop-lit/gj2007.yml TRUE 348.15 269.49 None loop-lit/gj2007b.yml TRUE 9.49 5.67 None loop-lit/gr2006.yml TRUE 135.92 94.26 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml TRUE 7.81 4.68 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml TRUE 7.41 4.56 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml TRUE 8.44 5.02 None loop-lit/gsv2008.yml TRUE 7.75 4.75 None loop-lit/hhk2008.yml TRUE 8.62 5.15 None loop-lit/jm2006.c.i.v+cfa-reducer.yml TRUE 11.39 6.53 None loop-lit/jm2006.yml TRUE 12.26 7.28 None loop-lit/jm2006_variant.yml TRUE 12.16 7.10 None loop-lit/mcmillan2006.yml TRUE 8.26 4.91 None loop-new/count_by_1.yml TRUE 7.85 4.74 None loop-new/count_by_1_variant.yml TRUE 11.07 6.50 None loop-new/count_by_2.yml TIMEOUT 900.49 736.90 None loop-new/count_by_k.yml TIMEOUT 900.94 780.45 None loop-new/count_by_nondet.yml TIMEOUT 900.42 741.10 None loop-new/gauss_sum.i.p+cfa-reducer.yml TRUE 17.53 12.84 None loop-new/gauss_sum.i.p+lhb-reducer.yml TRUE 40.75 35.57 None loop-new/gauss_sum.i.v+cfa-reducer.yml TRUE 23.26 18.85 None loop-new/gauss_sum.yml TRUE 18.55 13.03 None loop-new/half.yml TRUE 16.44 9.53 None loop-new/nested-1.yml TRUE 33.81 19.95 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 5.93 3.49 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.08 3.52 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.17 3.64 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TRUE 10.32 5.89 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TRUE 10.51 5.97 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TRUE 16.08 8.80 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml TRUE 73.46 58.77 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 6.59 3.84 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TRUE 7.80 4.67 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml TRUE 8.32 4.91 None loop-industry-pattern/mod3.c.v+sep-reducer.yml TRUE 8.52 4.98 None loop-industry-pattern/mod3.yml TRUE 8.72 5.23 None loop-industry-pattern/nested-3.yml TRUE 37.53 22.29 None loop-industry-pattern/ofuf_1.yml TRUE 11.23 6.39 None loop-industry-pattern/ofuf_2.yml TRUE 10.88 6.11 None loop-industry-pattern/ofuf_3.yml TRUE 10.16 5.90 None loop-industry-pattern/ofuf_4.yml TRUE 10.70 6.10 None loop-industry-pattern/ofuf_5.yml TRUE 10.09 5.84 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 901.00 873.16 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.41 878.05 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.46 871.19 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.18 749.80 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.58 846.63 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.77 826.29 None loops-crafted-1/nested3-1.yml TIMEOUT 900.76 859.02 None loops-crafted-1/nested3-2.yml TIMEOUT 900.47 876.80 None loops-crafted-1/nested5-1.yml TRUE 24.16 17.97 None loops-crafted-1/nested5-2.yml TIMEOUT 900.40 881.56 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 7.01 4.28 None loop-invariants/const.yml TRUE 7.14 4.42 None loop-invariants/eq1.yml TRUE 7.30 4.52 None loop-invariants/eq2.yml TRUE 7.58 4.59 None loop-invariants/even.yml TRUE 7.58 4.59 None loop-invariants/mod4.yml TRUE 7.24 4.43 None loop-invariants/odd.yml TRUE 11.74 8.60 None nla-digbench/bresenham.yml TRUE 145.64 135.34 None nla-digbench/cohencu.yml TRUE 105.48 95.84 None nla-digbench/cohendiv.yml TRUE 11.60 7.05 None nla-digbench/dijkstra.yml OUT OF MEMORY 412.35 297.57 None nla-digbench/divbin.yml TIMEOUT 900.36 884.78 None nla-digbench/egcd.yml TRUE 14.07 8.15 None nla-digbench/egcd2.yml TIMEOUT 900.32 889.72 None nla-digbench/egcd3.yml TIMEOUT 900.43 874.62 None nla-digbench/fermat1.yml TRUE 23.96 17.08 None nla-digbench/fermat2.yml TRUE 23.63 18.43 None nla-digbench/freire1.yml ERROR: EXCEPTION 7.94 4.75 None nla-digbench/freire2.yml ERROR: EXCEPTION 8.08 4.92 None nla-digbench/geo1.yml TRUE 8.21 5.02 None nla-digbench/geo2.yml TRUE 9.08 5.41 None nla-digbench/geo3.yml TRUE 9.86 5.84 None nla-digbench/hard.yml TIMEOUT 900.37 886.98 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.70 3.24 None nla-digbench/lcm1.yml TRUE 14.40 9.09 None nla-digbench/lcm2.yml TRUE 9.76 5.68 None nla-digbench/mannadiv.yml TRUE 9.95 5.97 None nla-digbench/prod4br.yml TRUE 20.37 11.49 None nla-digbench/prodbin.yml TRUE 125.22 116.44 None nla-digbench/ps2.yml TRUE 8.29 5.15 None nla-digbench/ps3.yml TRUE 8.96 5.37 None nla-digbench/ps4.yml TRUE 97.05 91.28 None nla-digbench/ps5.yml TRUE 160.55 154.86 None nla-digbench/ps6.yml TRUE 120.99 115.78 None nla-digbench/sqrt1.yml TRUE 10.87 6.35 None ------------------------------------------------------------------------------------------------------------------------- Run set 3 done 22764.99 2938.42 - AbsInt INT.Loops Run set 4 of 4 with options '--force-no-wrapper -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/svcomp-Reach-32bit-Automizer_Default+AIv2_INT.epf' and propertyfile '../../../trunk/examples/svcomp/properties/unreach-call.prp' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------- loops/array-1.yml TRUE 6.93 4.20 None loops/array-2.yml TRUE 6.95 4.43 None loops/bubble_sort-1.yml TRUE 7.44 4.66 None loops/bubble_sort-2.yml TRUE 8.99 5.23 None loops/compact.yml TIMEOUT 900.37 885.07 None loops/count_up_down-1.yml unknown 7.09 4.30 None loops/count_up_down-2.yml unknown 6.89 4.21 None loops/eureka_01-1.yml TRUE 7.58 4.60 None loops/eureka_01-2.yml TRUE 7.60 4.56 None loops/eureka_05.yml TRUE 6.89 4.39 None loops/for_bounded_loop1.yml unknown 7.03 4.34 None loops/for_infinite_loop_1.yml unknown 7.06 4.24 None loops/for_infinite_loop_2.yml unknown 7.28 4.46 None loops/heavy-1.yml TIMEOUT 900.82 803.19 None loops/heavy-2.yml TIMEOUT 900.84 795.34 None loops/insertion_sort-1.yml TRUE 6.94 4.31 None loops/insertion_sort-2.yml TRUE 6.88 4.21 None loops/invert_string-1.yml TRUE 6.65 4.15 None loops/invert_string-3.yml TRUE 7.26 4.31 None loops/linear_sea.ch.yml TRUE 7.02 4.20 None loops/linear_search.yml TRUE 7.15 4.36 None loops/lu.cmp.yml TRUE 12.89 7.21 None loops/ludcmp.yml TRUE 12.19 6.87 None loops/matrix-1.yml TRUE 6.93 4.26 None loops/matrix-2.yml TRUE 7.21 4.38 None loops/n.c11.yml unknown 7.12 4.31 None loops/n.c24.yml TRUE 7.38 4.50 None loops/n.c40.yml TRUE 8.42 5.04 None loops/nec11.yml unknown 6.76 4.17 None loops/nec20.yml unknown 6.95 4.26 None loops/nec40.yml TRUE 7.62 4.55 None loops/s3.yml TRUE 10.96 6.12 None loops/string-1.yml TRUE 6.84 4.20 None loops/string-2.yml TRUE 7.04 4.26 None loops/sum01-1.yml unknown 7.66 4.64 None loops/sum01-2.yml unknown 7.78 4.63 None loops/sum01_bug02.yml unknown 7.66 4.66 None loops/sum01_bug02_sum01_bug02_base.case.yml unknown 7.29 4.55 None loops/sum03-1.yml unknown 8.07 4.68 None loops/sum03-2.yml unknown 7.38 4.31 None loops/sum04-1.yml unknown 6.74 4.30 None loops/sum04-2.yml unknown 6.55 4.07 None loops/sum_array-1.yml TRUE 6.91 4.27 None loops/sum_array-2.yml TRUE 7.03 4.24 None loops/terminator_01.yml TRUE 6.61 4.08 None loops/terminator_02-1.yml unknown 7.17 4.24 None loops/terminator_02-2.yml unknown 7.70 4.64 None loops/terminator_03-1.yml unknown 7.43 4.52 None loops/terminator_03-2.yml unknown 6.83 4.21 None loops/trex01-1.yml OUT OF MEMORY 885.09 732.86 None loops/trex01-2.yml unknown 7.69 4.69 None loops/trex02-1.yml unknown 7.02 4.32 None loops/trex02-2.yml unknown 7.12 4.50 None loops/trex03-1.yml unknown 7.25 4.27 None loops/trex03-2.yml unknown 7.28 4.43 None loops/trex04.yml OUT OF MEMORY 620.73 455.46 None loops/veris.c_NetBSD-libc_loop.yml TRUE 6.74 4.22 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TRUE 7.81 4.66 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TRUE 7.50 4.42 None loops/verisec_NetBSD-libc_loop.yml TRUE 6.94 4.24 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml TRUE 7.35 4.52 None loops/vogal-1.yml TRUE 6.85 4.18 None loops/vogal-2.yml TRUE 7.65 4.56 None loops/while_infinite_loop_1.yml unknown 6.96 4.40 None loops/while_infinite_loop_2.yml unknown 6.74 4.29 None loops/while_infinite_loop_3.yml unknown 6.50 3.98 None loops/while_infinite_loop_4.yml unknown 6.87 4.21 None loop-acceleration/array_1-1.yml TRUE 7.13 4.34 None loop-acceleration/array_1-2.yml TRUE 6.56 4.08 None loop-acceleration/array_2-1.yml TRUE 6.46 4.01 None loop-acceleration/array_2-2.yml TRUE 6.63 4.13 None loop-acceleration/array_3-1.yml TRUE 7.09 4.28 None loop-acceleration/array_3-2.yml TRUE 7.26 4.51 None loop-acceleration/array_4.yml TRUE 6.94 4.25 None loop-acceleration/const_1-1.yml unknown 6.77 4.24 None loop-acceleration/const_1-2.yml unknown 7.02 4.37 None loop-acceleration/diamond_1-1.yml unknown 10.47 5.95 None loop-acceleration/diamond_1-2.yml unknown 9.05 5.07 None loop-acceleration/diamond_2-2.yml unknown 15.72 9.24 None loop-acceleration/functions_1-1.yml unknown 10.57 5.98 None loop-acceleration/functions_1-2.yml unknown 9.77 5.56 None loop-acceleration/multivar_1-1.yml unknown 6.85 4.18 None loop-acceleration/multivar_1-2.yml unknown 6.37 4.09 None loop-acceleration/nested_1-1.yml unknown 10.46 5.96 None loop-acceleration/nested_1-2.yml unknown 11.69 6.49 None loop-acceleration/overflow_1-1.yml unknown 10.18 5.83 None loop-acceleration/phases_1-1.yml unknown 9.78 5.55 None loop-acceleration/phases_1-2.yml unknown 10.43 5.96 None loop-acceleration/phases_2-1.yml unknown 7.86 4.69 None loop-acceleration/phases_2-2.yml unknown 7.13 4.36 None loop-acceleration/simple_1-1.yml unknown 10.05 5.72 None loop-acceleration/simple_1-2.yml unknown 10.92 6.14 None loop-acceleration/simple_2-1.yml unknown 6.40 3.98 None loop-acceleration/simple_2-2.yml unknown 7.43 4.44 None loop-acceleration/simple_3-1.yml unknown 9.57 5.46 None loop-acceleration/simple_3-2.yml unknown 10.00 5.81 None loop-acceleration/simple_4-1.yml unknown 10.12 5.69 None loop-acceleration/simple_4-2.yml unknown 9.52 5.43 None loop-acceleration/underapprox_1-1.yml unknown 7.12 4.45 None loop-acceleration/underapprox_1-2.yml unknown 8.67 5.15 None loop-acceleration/underapprox_2-1.yml unknown 6.66 4.18 None loop-acceleration/underapprox_2-2.yml unknown 6.74 4.19 None loop-crafted/simple_array_index_value_1-1.yml TRUE 8.92 6.25 None loop-crafted/simple_array_index_value_1-2.yml TRUE 7.23 4.40 None loop-crafted/simple_array_index_value_2.yml TRUE 7.30 4.44 None loop-crafted/simple_array_index_value_3.yml TRUE 6.81 4.23 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TRUE 6.99 4.27 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TRUE 7.22 4.41 None loop-crafted/simple_array_index_value_4.yml TRUE 6.84 4.24 None loop-crafted/simple_vardep_1.yml unknown 6.66 4.19 None loop-crafted/simple_vardep_2.yml unknown 7.88 4.60 None loop-invgen/MADWiFi-encode_ie_ok.yml unknown 7.98 4.66 None loop-invgen/NetBSD_loop.yml unknown 7.63 4.48 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml unknown 8.46 4.99 None loop-invgen/SpamAssassin-loop.yml unknown 7.50 4.58 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml unknown 8.95 5.26 None loop-invgen/apache-escape-absolute.yml unknown 8.96 5.23 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml unknown 11.96 6.58 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml unknown 17.84 9.62 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml unknown 31.77 19.24 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml unknown 9.18 5.36 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml unknown 9.80 5.65 None loop-invgen/apache-get-tag.yml unknown 8.61 5.11 None loop-invgen/down.yml unknown 6.96 4.33 None loop-invgen/fragtest_simple.yml unknown 7.25 4.45 None loop-invgen/half_2.yml unknown 7.82 4.68 None loop-invgen/heapsort.yml unknown 7.95 4.69 None loop-invgen/id_build.i.p+nlh-reducer.yml unknown 13.21 7.30 None loop-invgen/id_build.i.p+sep-reducer.yml unknown 14.28 7.77 None loop-invgen/id_build.i.v+lhb-reducer.yml unknown 7.09 4.31 None loop-invgen/id_build.yml unknown 7.55 4.59 None loop-invgen/id_trans.yml unknown 9.42 5.45 None loop-invgen/large_const.yml unknown 7.45 4.53 None loop-invgen/nest-if3.yml unknown 7.05 4.22 None loop-invgen/nested6.yml unknown 7.91 4.69 None loop-invgen/nested9.yml unknown 7.05 4.25 None loop-invgen/sendmail-close-angle.yml unknown 8.28 4.98 None loop-invgen/seq-3.yml unknown 7.04 4.28 None loop-invgen/string_concat-noarr.yml TIMEOUT 901.28 780.30 None loop-invgen/up.yml unknown 7.10 4.34 None loop-lit/afnp2014.yml unknown 6.75 4.14 None loop-lit/bhmr2007.yml unknown 6.89 4.29 None loop-lit/cggmp2005.yml unknown 6.66 4.18 None loop-lit/cggmp2005_variant.yml unknown 6.78 4.23 None loop-lit/cggmp2005b.yml unknown 6.95 4.19 None loop-lit/css2003.yml unknown 7.72 4.73 None loop-lit/ddlm2013.yml TIMEOUT 900.71 860.87 None loop-lit/gcnr2008.yml unknown 7.63 4.62 None loop-lit/gj2007.c.i.p+lhb-reducer.yml unknown 7.21 4.39 None loop-lit/gj2007.c.i.p+nlh-reducer.yml unknown 9.51 5.45 None loop-lit/gj2007.yml unknown 6.74 4.18 None loop-lit/gj2007b.yml unknown 7.15 4.37 None loop-lit/gr2006.yml unknown 6.52 4.04 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml unknown 7.00 4.30 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml unknown 7.16 4.34 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 7.29 4.31 None loop-lit/gsv2008.yml unknown 7.38 4.38 None loop-lit/hhk2008.yml unknown 7.09 4.23 None loop-lit/jm2006.c.i.v+cfa-reducer.yml unknown 6.79 4.14 None loop-lit/jm2006.yml unknown 6.54 4.14 None loop-lit/jm2006_variant.yml unknown 7.21 4.36 None loop-lit/mcmillan2006.yml TRUE 7.08 4.29 None loop-new/count_by_1.yml unknown 6.55 4.18 None loop-new/count_by_1_variant.yml unknown 7.12 4.32 None loop-new/count_by_2.yml unknown 6.80 4.15 None loop-new/count_by_k.yml unknown 6.73 4.26 None loop-new/count_by_nondet.yml unknown 6.72 4.15 None loop-new/gauss_sum.i.p+cfa-reducer.yml unknown 7.18 4.39 None loop-new/gauss_sum.i.p+lhb-reducer.yml unknown 7.08 4.29 None loop-new/gauss_sum.i.v+cfa-reducer.yml unknown 7.37 4.41 None loop-new/gauss_sum.yml unknown 7.51 4.45 None loop-new/half.yml unknown 7.76 4.57 None loop-new/nested-1.yml unknown 6.75 4.22 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 5.81 3.45 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.39 3.62 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 5.98 3.40 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TRUE 8.74 5.05 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TRUE 8.74 5.02 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TRUE 8.98 5.22 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml TRUE 12.32 6.77 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 6.17 3.58 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml unknown 8.23 4.91 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml unknown 10.30 5.86 None loop-industry-pattern/mod3.c.v+sep-reducer.yml unknown 9.96 5.65 None loop-industry-pattern/mod3.yml unknown 8.43 4.90 None loop-industry-pattern/nested-3.yml unknown 7.85 4.61 None loop-industry-pattern/ofuf_1.yml TRUE 8.11 4.84 None loop-industry-pattern/ofuf_2.yml TRUE 9.36 5.30 None loop-industry-pattern/ofuf_3.yml TRUE 9.58 5.39 None loop-industry-pattern/ofuf_4.yml TRUE 9.24 5.40 None loop-industry-pattern/ofuf_5.yml TRUE 9.13 5.38 None loops-crafted-1/Mono1_1-1.yml unknown 6.74 4.19 None loops-crafted-1/Mono1_1-2.yml unknown 6.94 4.30 None loops-crafted-1/Mono3_1.yml unknown 6.71 4.16 None loops-crafted-1/Mono4_1.yml unknown 6.92 4.25 None loops-crafted-1/Mono5_1.yml unknown 6.98 4.30 None loops-crafted-1/Mono6_1.yml unknown 7.40 4.49 None loops-crafted-1/nested3-1.yml unknown 14.65 8.15 None loops-crafted-1/nested3-2.yml unknown 13.13 7.44 None loops-crafted-1/nested5-1.yml unknown 10.20 5.93 None loops-crafted-1/nested5-2.yml unknown 12.31 6.90 None loop-invariants/bin-suffix-5.yml ERROR: EXCEPTION 6.78 4.23 None loop-invariants/const.yml unknown 7.13 4.38 None loop-invariants/eq1.yml unknown 7.29 4.33 None loop-invariants/eq2.yml unknown 6.95 4.26 None loop-invariants/even.yml unknown 11.71 6.60 None loop-invariants/mod4.yml unknown 10.52 6.02 None loop-invariants/odd.yml unknown 10.82 6.14 None nla-digbench/bresenham.yml unknown 6.51 4.13 None nla-digbench/cohencu.yml unknown 6.91 4.34 None nla-digbench/cohendiv.yml unknown 7.13 4.39 None nla-digbench/dijkstra.yml unknown 7.68 4.62 None nla-digbench/divbin.yml unknown 6.95 4.26 None nla-digbench/egcd.yml unknown 7.30 4.42 None nla-digbench/egcd2.yml unknown 7.39 4.48 None nla-digbench/egcd3.yml unknown 7.33 4.46 None nla-digbench/fermat1.yml unknown 10.75 6.08 None nla-digbench/fermat2.yml unknown 11.20 6.30 None nla-digbench/freire1.yml ERROR: EXCEPTION 6.77 4.06 None nla-digbench/freire2.yml ERROR: EXCEPTION 6.71 4.11 None nla-digbench/geo1.yml unknown 7.23 4.43 None nla-digbench/geo2.yml unknown 7.51 4.60 None nla-digbench/geo3.yml unknown 7.71 4.62 None nla-digbench/hard.yml unknown 7.26 4.42 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.63 3.36 None nla-digbench/lcm1.yml unknown 7.97 4.80 None nla-digbench/lcm2.yml unknown 7.74 4.54 None nla-digbench/mannadiv.yml unknown 6.80 4.24 None nla-digbench/prod4br.yml unknown 13.35 7.38 None nla-digbench/prodbin.yml unknown 7.49 4.51 None nla-digbench/ps2.yml unknown 7.09 4.30 None nla-digbench/ps3.yml unknown 6.49 4.07 None nla-digbench/ps4.yml unknown 8.02 4.73 None nla-digbench/ps5.yml unknown 6.99 4.20 None nla-digbench/ps6.yml unknown 6.53 4.08 None nla-digbench/sqrt1.yml unknown 9.23 5.28 None ------------------------------------------------------------------------------------------------------------------------- Run set 4 done 7860.69 933.81 - Statistics: 944 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 944 Score: 0 (max: 1652)