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: Thu, 2019-09-05 11:14:04 CEST tool: ULTIMATE Automizer 0.1.24-0883e752 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 unknown 8.24 4.89 None loops/array-2.yml unknown 8.02 5.03 None loops/bubble_sort-1.yml TRUE 7.12 4.34 None loops/bubble_sort-2.yml ERROR: EXCEPTION 55.05 36.98 None loops/compact.yml unknown 7.23 4.46 None loops/count_up_down-1.yml unknown 6.89 4.43 None loops/count_up_down-2.yml unknown 6.62 4.25 None loops/eureka_01-1.yml TIMEOUT 900.29 893.14 None loops/eureka_01-2.yml TIMEOUT 900.28 894.10 None loops/eureka_05.yml unknown 8.01 4.88 None loops/for_bounded_loop1.yml unknown 7.01 4.53 None loops/for_infinite_loop_1.yml TRUE 6.30 4.04 None loops/for_infinite_loop_2.yml TRUE 7.00 4.38 None loops/heavy-1.yml unknown 12.46 6.97 None loops/heavy-2.yml unknown 11.32 6.53 None loops/insertion_sort-1.yml unknown 7.93 4.76 None loops/insertion_sort-2.yml unknown 8.19 4.97 None loops/invert_string-1.yml unknown 12.25 7.71 None loops/invert_string-3.yml unknown 8.08 4.76 None loops/linear_sea.ch.yml unknown 7.48 4.56 None loops/linear_search.yml unknown 7.12 4.31 None loops/lu.cmp.yml unknown 7.95 4.75 None loops/ludcmp.yml unknown 8.37 5.15 None loops/matrix-1.yml unknown 9.24 5.52 None loops/matrix-2.yml unknown 9.83 5.78 None loops/n.c11.yml unknown 6.89 4.29 None loops/n.c24.yml unknown 11.40 6.38 None loops/n.c40.yml unknown 7.69 4.63 None loops/nec11.yml unknown 7.21 4.40 None loops/nec20.yml unknown 7.29 4.46 None loops/nec40.yml unknown 7.39 4.45 None loops/s3.yml ERROR: EXCEPTION 7.57 4.02 None loops/string-1.yml TRUE 9.77 5.73 None loops/string-2.yml unknown 7.85 4.75 None loops/sum01-1.yml unknown 6.97 4.32 None loops/sum01-2.yml unknown 6.95 4.25 None loops/sum01_bug02.yml unknown 6.93 4.14 None loops/sum01_bug02_sum01_bug02_base.case.yml unknown 6.95 4.21 None loops/sum03-1.yml unknown 7.08 4.33 None loops/sum03-2.yml unknown 6.95 4.24 None loops/sum04-1.yml unknown 6.84 4.23 None loops/sum04-2.yml unknown 6.90 4.30 None loops/sum_array-1.yml unknown 8.58 5.06 None loops/sum_array-2.yml unknown 9.30 5.44 None loops/terminator_01.yml unknown 6.91 4.25 None loops/terminator_02-1.yml unknown 6.70 4.23 None loops/terminator_02-2.yml unknown 6.73 4.17 None loops/terminator_03-1.yml unknown 6.96 4.17 None loops/terminator_03-2.yml TRUE 6.64 4.17 None loops/trex01-1.yml unknown 6.86 4.23 None loops/trex01-2.yml unknown 7.06 4.39 None loops/trex02-1.yml TRUE 7.14 4.39 None loops/trex02-2.yml unknown 7.60 4.52 None loops/trex03-1.yml unknown 6.70 4.15 None loops/trex03-2.yml unknown 7.19 4.42 None loops/trex04.yml TRUE 7.13 4.40 None loops/veris.c_NetBSD-libc_loop.yml unknown 7.07 4.36 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TRUE 9.22 5.30 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TRUE 6.91 4.20 None loops/verisec_NetBSD-libc_loop.yml unknown 7.17 4.44 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml unknown 8.89 5.21 None loops/vogal-1.yml unknown 8.65 5.13 None loops/vogal-2.yml unknown 8.03 4.50 None loops/while_infinite_loop_1.yml TRUE 6.85 4.21 None loops/while_infinite_loop_2.yml TRUE 6.42 4.01 None loops/while_infinite_loop_3.yml TRUE 7.15 4.33 None loops/while_infinite_loop_4.yml unknown 6.96 4.23 None loop-acceleration/array_1-1.yml unknown 7.03 4.28 None loop-acceleration/array_1-2.yml unknown 6.89 4.18 None loop-acceleration/array_2-1.yml unknown 7.16 4.35 None loop-acceleration/array_2-2.yml unknown 7.27 4.47 None loop-acceleration/array_3-1.yml unknown 7.08 4.34 None loop-acceleration/array_3-2.yml unknown 7.56 4.43 None loop-acceleration/array_4.yml unknown 7.13 4.23 None loop-acceleration/const_1-1.yml unknown 6.61 4.14 None loop-acceleration/const_1-2.yml unknown 6.83 4.14 None loop-acceleration/diamond_1-1.yml unknown 7.28 4.46 None loop-acceleration/diamond_1-2.yml unknown 7.29 4.49 None loop-acceleration/diamond_2-2.yml unknown 8.01 4.74 None loop-acceleration/functions_1-1.yml unknown 6.97 4.21 None loop-acceleration/functions_1-2.yml unknown 7.09 4.22 None loop-acceleration/multivar_1-1.yml unknown 6.64 4.14 None loop-acceleration/multivar_1-2.yml unknown 6.71 4.10 None loop-acceleration/nested_1-1.yml unknown 7.03 4.31 None loop-acceleration/nested_1-2.yml unknown 6.89 4.23 None loop-acceleration/overflow_1-1.yml unknown 6.82 4.14 None loop-acceleration/phases_1-1.yml unknown 6.16 3.90 None loop-acceleration/phases_1-2.yml unknown 6.72 4.12 None loop-acceleration/phases_2-1.yml unknown 7.39 4.57 None loop-acceleration/phases_2-2.yml unknown 7.03 4.29 None loop-acceleration/simple_1-1.yml unknown 7.20 4.41 None loop-acceleration/simple_1-2.yml unknown 7.16 4.28 None loop-acceleration/simple_2-1.yml unknown 6.57 4.08 None loop-acceleration/simple_2-2.yml unknown 6.95 4.19 None loop-acceleration/simple_3-1.yml unknown 6.95 4.51 None loop-acceleration/simple_3-2.yml unknown 6.62 4.09 None loop-acceleration/simple_4-1.yml unknown 6.98 4.28 None loop-acceleration/simple_4-2.yml unknown 6.58 4.10 None loop-acceleration/underapprox_1-1.yml unknown 6.57 4.02 None loop-acceleration/underapprox_1-2.yml unknown 6.99 4.17 None loop-acceleration/underapprox_2-1.yml unknown 6.52 4.05 None loop-acceleration/underapprox_2-2.yml unknown 6.59 4.06 None loop-crafted/simple_array_index_value_1-1.yml unknown 11.70 7.59 None loop-crafted/simple_array_index_value_1-2.yml unknown 7.76 4.69 None loop-crafted/simple_array_index_value_2.yml unknown 7.39 4.50 None loop-crafted/simple_array_index_value_3.yml unknown 7.29 4.45 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml unknown 8.98 5.50 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml unknown 11.67 7.83 None loop-crafted/simple_array_index_value_4.yml unknown 7.86 4.96 None loop-crafted/simple_vardep_1.yml unknown 6.99 4.31 None loop-crafted/simple_vardep_2.yml unknown 6.34 3.98 None loop-invgen/MADWiFi-encode_ie_ok.yml unknown 7.58 4.62 None loop-invgen/NetBSD_loop.yml unknown 7.19 4.36 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml unknown 36.03 19.81 None loop-invgen/SpamAssassin-loop.yml unknown 10.16 5.95 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml unknown 12.42 7.01 None loop-invgen/apache-escape-absolute.yml unknown 9.56 5.59 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml unknown 19.06 10.21 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml unknown 35.97 21.85 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml unknown 35.08 19.83 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml unknown 10.65 6.09 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml unknown 13.97 7.79 None loop-invgen/apache-get-tag.yml unknown 8.52 4.99 None loop-invgen/down.yml unknown 6.99 4.33 None loop-invgen/fragtest_simple.yml unknown 6.94 4.23 None loop-invgen/half_2.yml unknown 7.71 4.66 None loop-invgen/heapsort.yml unknown 45.07 28.41 None loop-invgen/id_build.i.p+nlh-reducer.yml unknown 20.18 10.89 None loop-invgen/id_build.i.p+sep-reducer.yml unknown 27.41 14.50 None loop-invgen/id_build.i.v+lhb-reducer.yml unknown 7.21 4.37 None loop-invgen/id_build.yml unknown 7.61 4.56 None loop-invgen/id_trans.yml unknown 10.06 5.84 None loop-invgen/large_const.yml unknown 7.82 4.67 None loop-invgen/nest-if3.yml unknown 7.90 4.77 None loop-invgen/nested6.yml unknown 7.24 4.40 None loop-invgen/nested9.yml unknown 7.75 4.63 None loop-invgen/sendmail-close-angle.yml unknown 8.27 4.89 None loop-invgen/seq-3.yml unknown 7.10 4.36 None loop-invgen/string_concat-noarr.yml unknown 6.94 4.27 None loop-invgen/up.yml unknown 6.63 4.03 None loop-lit/afnp2014.yml unknown 7.09 4.32 None loop-lit/bhmr2007.yml unknown 6.84 4.31 None loop-lit/cggmp2005.yml unknown 6.88 4.24 None loop-lit/cggmp2005_variant.yml unknown 7.49 4.52 None loop-lit/cggmp2005b.yml TRUE 6.56 4.00 None loop-lit/css2003.yml unknown 6.76 4.17 None loop-lit/ddlm2013.yml unknown 6.81 4.22 None loop-lit/gcnr2008.yml unknown 6.71 4.19 None loop-lit/gj2007.c.i.p+lhb-reducer.yml unknown 7.67 4.46 None loop-lit/gj2007.c.i.p+nlh-reducer.yml unknown 10.44 5.98 None loop-lit/gj2007.yml unknown 6.70 4.13 None loop-lit/gj2007b.yml unknown 7.28 4.32 None loop-lit/gr2006.yml unknown 7.16 4.24 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml unknown 6.52 4.08 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml unknown 6.93 4.12 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 7.01 4.38 None loop-lit/gsv2008.yml unknown 6.45 4.10 None loop-lit/hhk2008.yml unknown 6.78 4.26 None loop-lit/jm2006.c.i.v+cfa-reducer.yml unknown 6.75 4.10 None loop-lit/jm2006.yml unknown 6.98 4.32 None loop-lit/jm2006_variant.yml unknown 6.84 4.27 None loop-lit/mcmillan2006.yml unknown 7.59 4.47 None loop-new/count_by_1.yml unknown 6.46 3.99 None loop-new/count_by_1_variant.yml unknown 6.66 4.06 None loop-new/count_by_2.yml unknown 7.40 4.39 None loop-new/count_by_k.yml unknown 7.00 4.28 None loop-new/count_by_nondet.yml unknown 7.00 4.29 None loop-new/gauss_sum.i.p+cfa-reducer.yml unknown 6.45 4.12 None loop-new/gauss_sum.i.p+lhb-reducer.yml unknown 6.80 4.15 None loop-new/gauss_sum.i.v+cfa-reducer.yml unknown 6.50 4.21 None loop-new/gauss_sum.yml unknown 7.51 4.46 None loop-new/half.yml unknown 7.00 4.31 None loop-new/nested-1.yml unknown 6.98 4.36 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.25 3.64 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 5.93 3.44 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.38 3.62 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml unknown 91.77 81.99 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml unknown 97.36 84.75 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 50.73 40.23 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 58.21 44.52 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 5.66 3.35 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml unknown 7.51 4.54 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml unknown 9.39 5.52 None loop-industry-pattern/mod3.c.v+sep-reducer.yml unknown 8.62 5.21 None loop-industry-pattern/mod3.yml unknown 6.93 4.24 None loop-industry-pattern/nested-3.yml unknown 8.18 4.90 None loop-industry-pattern/ofuf_1.yml ERROR: EXCEPTION 8.85 5.08 None loop-industry-pattern/ofuf_2.yml ERROR: EXCEPTION 8.72 5.12 None loop-industry-pattern/ofuf_3.yml ERROR: EXCEPTION 8.33 4.84 None loop-industry-pattern/ofuf_4.yml ERROR: EXCEPTION 9.04 5.12 None loop-industry-pattern/ofuf_5.yml ERROR: EXCEPTION 8.50 4.81 None loops-crafted-1/Mono1_1-1.yml unknown 6.61 4.14 None loops-crafted-1/Mono1_1-2.yml unknown 6.60 4.13 None loops-crafted-1/Mono3_1.yml unknown 6.27 4.04 None loops-crafted-1/Mono4_1.yml unknown 6.91 4.30 None loops-crafted-1/Mono5_1.yml unknown 6.65 4.17 None loops-crafted-1/Mono6_1.yml unknown 6.45 3.99 None loops-crafted-1/nested3-1.yml unknown 9.46 5.60 None loops-crafted-1/nested3-2.yml unknown 8.70 5.11 None loops-crafted-1/nested5-1.yml unknown 9.21 5.24 None loops-crafted-1/nested5-2.yml unknown 9.05 5.37 None loop-invariants/bin-suffix-5.yml unknown 6.59 4.11 None loop-invariants/const.yml unknown 6.83 4.28 None loop-invariants/eq1.yml unknown 6.91 4.17 None loop-invariants/eq2.yml unknown 6.58 4.01 None loop-invariants/even.yml unknown 6.96 4.19 None loop-invariants/mod4.yml unknown 6.83 4.12 None loop-invariants/odd.yml unknown 6.51 4.05 None nla-digbench/bresenham.yml unknown 7.39 4.35 None nla-digbench/cohencu.yml unknown 34.07 29.28 None nla-digbench/cohendiv.yml unknown 8.66 5.18 None nla-digbench/dijkstra.yml unknown 29.85 25.46 None nla-digbench/divbin.yml unknown 7.12 4.36 None nla-digbench/egcd.yml unknown 8.24 4.91 None nla-digbench/egcd2.yml unknown 8.96 5.33 None nla-digbench/egcd3.yml unknown 8.45 5.03 None nla-digbench/fermat1.yml unknown 8.72 5.06 None nla-digbench/fermat2.yml unknown 7.22 4.37 None nla-digbench/freire1.yml unknown 6.81 4.13 None nla-digbench/freire2.yml unknown 7.59 4.58 None nla-digbench/geo1.yml unknown 6.71 4.19 None nla-digbench/geo2.yml unknown 7.24 4.31 None nla-digbench/geo3.yml unknown 7.14 4.36 None nla-digbench/hard.yml unknown 8.11 4.91 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.51 3.31 None nla-digbench/lcm1.yml unknown 8.10 4.91 None nla-digbench/lcm2.yml unknown 8.82 5.91 None nla-digbench/mannadiv.yml unknown 6.88 4.25 None nla-digbench/prod4br.yml unknown 8.79 5.17 None nla-digbench/prodbin.yml unknown 7.08 4.46 None nla-digbench/ps2.yml unknown 6.79 4.22 None nla-digbench/ps3.yml unknown 6.84 4.23 None nla-digbench/ps4.yml unknown 7.33 4.34 None nla-digbench/ps5.yml unknown 7.61 4.61 None nla-digbench/ps6.yml unknown 7.52 4.70 None nla-digbench/sqrt1.yml unknown 7.34 4.53 None ------------------------------------------------------------------------------------------------------------------------- Run set 1 done 4097.79 894.88 - 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.67 6.51 None loops/array-2.yml FALSE 8.69 5.15 None loops/bubble_sort-1.yml TRUE 7.76 4.77 None loops/bubble_sort-2.yml FALSE 12.53 6.95 None loops/compact.yml TIMEOUT 900.37 882.34 None loops/count_up_down-1.yml TIMEOUT 900.43 879.07 None loops/count_up_down-2.yml FALSE 6.80 4.31 None loops/eureka_01-1.yml FALSE 270.38 240.64 None loops/eureka_01-2.yml TIMEOUT 900.51 862.82 None loops/eureka_05.yml TIMEOUT 900.50 866.22 None loops/for_bounded_loop1.yml FALSE 8.36 4.93 None loops/for_infinite_loop_1.yml TRUE 7.27 4.45 None loops/for_infinite_loop_2.yml TRUE 7.39 4.51 None loops/heavy-1.yml TIMEOUT 900.61 869.92 None loops/heavy-2.yml TRUE 10.73 6.25 None loops/insertion_sort-1.yml FALSE 461.38 417.16 None loops/insertion_sort-2.yml TIMEOUT 901.01 836.42 None loops/invert_string-1.yml FALSE 26.99 17.20 None loops/invert_string-3.yml TRUE 251.13 225.51 None loops/linear_sea.ch.yml ERROR: EXCEPTION 166.16 153.33 None loops/linear_search.yml ERROR: EXCEPTION 75.38 61.33 None loops/lu.cmp.yml TRUE 8.51 5.11 None loops/ludcmp.yml UNKNOWN: OverapproxCex 15.64 8.84 None loops/matrix-1.yml TRUE 14.39 8.68 None loops/matrix-2.yml FALSE 8.63 5.19 None loops/n.c11.yml TRUE 11.14 6.46 None loops/n.c24.yml TIMEOUT 901.17 789.42 None loops/n.c40.yml ERROR: EXCEPTION 8.09 4.90 None loops/nec11.yml FALSE 7.48 4.49 None loops/nec20.yml FALSE 7.82 4.66 None loops/nec40.yml ERROR: EXCEPTION 7.52 4.58 None loops/s3.yml ERROR: EXCEPTION 7.19 4.01 None loops/string-1.yml TRUE 10.94 6.38 None loops/string-2.yml UNKNOWN: OverapproxCex 10.42 6.16 None loops/sum01-1.yml FALSE 13.62 7.81 None loops/sum01-2.yml TRUE 10.56 6.24 None loops/sum01_bug02.yml FALSE 14.03 8.08 None loops/sum01_bug02_sum01_bug02_base.case.yml FALSE 11.02 6.29 None loops/sum03-1.yml FALSE 245.70 238.11 None loops/sum03-2.yml TRUE 7.58 4.69 None loops/sum04-1.yml FALSE 9.37 5.49 None loops/sum04-2.yml TRUE 11.33 6.49 None loops/sum_array-1.yml FALSE 9.31 5.31 None loops/sum_array-2.yml TIMEOUT 900.60 855.84 None loops/terminator_01.yml FALSE 7.42 4.43 None loops/terminator_02-1.yml FALSE 7.16 4.26 None loops/terminator_02-2.yml TRUE 7.77 4.82 None loops/terminator_03-1.yml FALSE 7.10 4.43 None loops/terminator_03-2.yml TRUE 7.96 4.85 None loops/trex01-1.yml FALSE 6.92 4.35 None loops/trex01-2.yml TRUE 8.13 4.86 None loops/trex02-1.yml TRUE 7.45 4.57 None loops/trex02-2.yml FALSE 7.63 4.23 None loops/trex03-1.yml FALSE 7.19 4.44 None loops/trex03-2.yml TRUE 7.43 4.56 None loops/trex04.yml TRUE 7.55 4.49 None loops/veris.c_NetBSD-libc_loop.yml TRUE 8.11 4.87 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TRUE 8.52 5.01 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TRUE 7.57 4.56 None loops/verisec_NetBSD-libc_loop.yml FALSE 9.72 5.70 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml FALSE 15.57 8.91 None loops/vogal-1.yml ERROR: EXCEPTION 643.53 603.95 None loops/vogal-2.yml TIMEOUT 900.92 841.86 None loops/while_infinite_loop_1.yml TRUE 6.98 4.26 None loops/while_infinite_loop_2.yml TRUE 7.05 4.39 None loops/while_infinite_loop_3.yml TRUE 7.31 4.45 None loops/while_infinite_loop_4.yml FALSE 6.87 4.23 None loop-acceleration/array_1-1.yml TIMEOUT 900.62 864.36 None loop-acceleration/array_1-2.yml TRUE 11.73 7.71 None loop-acceleration/array_2-1.yml TIMEOUT 900.49 872.10 None loop-acceleration/array_2-2.yml TIMEOUT 900.41 873.52 None loop-acceleration/array_3-1.yml TRUE 8.38 4.94 None loop-acceleration/array_3-2.yml TIMEOUT 900.53 860.79 None loop-acceleration/array_4.yml TIMEOUT 900.62 867.29 None loop-acceleration/const_1-1.yml TRUE 8.37 4.93 None loop-acceleration/const_1-2.yml TIMEOUT 900.42 876.03 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.38 880.19 None loop-acceleration/diamond_1-2.yml TIMEOUT 900.45 870.80 None loop-acceleration/diamond_2-2.yml TRUE 181.77 169.56 None loop-acceleration/functions_1-1.yml TIMEOUT 900.50 874.52 None loop-acceleration/functions_1-2.yml TIMEOUT 900.40 875.20 None loop-acceleration/multivar_1-1.yml TRUE 7.79 4.64 None loop-acceleration/multivar_1-2.yml FALSE 7.00 4.27 None loop-acceleration/nested_1-1.yml TRUE 134.33 123.80 None loop-acceleration/nested_1-2.yml TIMEOUT 900.33 888.00 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.50 883.41 None loop-acceleration/phases_1-1.yml TIMEOUT 900.34 887.56 None loop-acceleration/phases_1-2.yml TIMEOUT 900.34 889.43 None loop-acceleration/phases_2-1.yml FALSE 7.17 4.32 None loop-acceleration/phases_2-2.yml TRUE 15.05 11.42 None loop-acceleration/simple_1-1.yml TIMEOUT 900.37 882.35 None loop-acceleration/simple_1-2.yml TIMEOUT 900.37 884.32 None loop-acceleration/simple_2-1.yml TRUE 7.41 4.52 None loop-acceleration/simple_2-2.yml FALSE 6.15 3.87 None loop-acceleration/simple_3-1.yml FALSE 6.39 4.01 None loop-acceleration/simple_3-2.yml TRUE 7.56 4.52 None loop-acceleration/simple_4-1.yml TIMEOUT 900.35 885.68 None loop-acceleration/simple_4-2.yml TRUE 7.87 4.83 None loop-acceleration/underapprox_1-1.yml FALSE 10.81 6.38 None loop-acceleration/underapprox_1-2.yml TRUE 155.90 148.75 None loop-acceleration/underapprox_2-1.yml FALSE 9.57 5.65 None loop-acceleration/underapprox_2-2.yml TRUE 8.28 5.05 None loop-crafted/simple_array_index_value_1-1.yml TIMEOUT 901.17 882.67 None loop-crafted/simple_array_index_value_1-2.yml FALSE 6.99 4.23 None loop-crafted/simple_array_index_value_2.yml TIMEOUT 900.51 877.51 None loop-crafted/simple_array_index_value_3.yml TIMEOUT 900.45 878.69 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TRUE 66.90 59.85 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TRUE 25.94 19.89 None loop-crafted/simple_array_index_value_4.yml TRUE 63.97 57.38 None loop-crafted/simple_vardep_1.yml TRUE 7.36 4.45 None loop-crafted/simple_vardep_2.yml TRUE 7.95 4.79 None loop-invgen/MADWiFi-encode_ie_ok.yml TRUE 9.14 5.42 None loop-invgen/NetBSD_loop.yml TRUE 9.37 5.58 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml TRUE 15.09 8.37 None loop-invgen/SpamAssassin-loop.yml TRUE 11.38 6.63 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml TRUE 18.28 10.33 None loop-invgen/apache-escape-absolute.yml TRUE 12.22 7.00 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml TRUE 17.33 9.91 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml TRUE 38.71 22.48 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml TRUE 62.55 37.68 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml TRUE 14.35 8.07 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml TRUE 14.00 7.96 None loop-invgen/apache-get-tag.yml TRUE 9.66 5.76 None loop-invgen/down.yml TIMEOUT 900.13 738.34 None loop-invgen/fragtest_simple.yml TIMEOUT 901.14 751.69 None loop-invgen/half_2.yml TIMEOUT 901.06 762.74 None loop-invgen/heapsort.yml TRUE 51.25 31.43 None loop-invgen/id_build.i.p+nlh-reducer.yml TRUE 14.95 8.36 None loop-invgen/id_build.i.p+sep-reducer.yml TRUE 15.65 8.62 None loop-invgen/id_build.i.v+lhb-reducer.yml TRUE 8.19 4.94 None loop-invgen/id_build.yml TRUE 7.51 4.53 None loop-invgen/id_trans.yml FALSE 8.08 4.87 None loop-invgen/large_const.yml TRUE 11.07 6.50 None loop-invgen/nest-if3.yml TRUE 7.69 4.83 None loop-invgen/nested6.yml TRUE 10.47 6.08 None loop-invgen/nested9.yml TRUE 11.35 6.52 None loop-invgen/sendmail-close-angle.yml TRUE 21.32 12.58 None loop-invgen/seq-3.yml TIMEOUT 900.30 789.46 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.15 796.58 None loop-invgen/up.yml TIMEOUT 900.15 745.03 None loop-lit/afnp2014.yml TRUE 9.28 5.53 None loop-lit/bhmr2007.yml TRUE 11.94 6.80 None loop-lit/cggmp2005.yml TRUE 9.81 5.38 None loop-lit/cggmp2005_variant.yml TRUE 10.22 6.00 None loop-lit/cggmp2005b.yml TRUE 8.75 5.12 None loop-lit/css2003.yml TRUE 7.62 4.68 None loop-lit/ddlm2013.yml TRUE 16.23 9.99 None loop-lit/gcnr2008.yml FALSE 7.57 4.49 None loop-lit/gj2007.c.i.p+lhb-reducer.yml TRUE 163.43 111.14 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TRUE 300.37 230.74 None loop-lit/gj2007.yml TRUE 103.75 67.56 None loop-lit/gj2007b.yml TRUE 10.00 5.87 None loop-lit/gr2006.yml TRUE 177.40 128.24 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml TRUE 8.21 4.91 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml TRUE 8.00 4.93 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml TRUE 8.84 5.25 None loop-lit/gsv2008.yml TRUE 8.25 4.91 None loop-lit/hhk2008.yml TRUE 9.17 5.51 None loop-lit/jm2006.c.i.v+cfa-reducer.yml TRUE 10.93 6.21 None loop-lit/jm2006.yml TRUE 11.78 6.82 None loop-lit/jm2006_variant.yml TRUE 11.40 6.68 None loop-lit/mcmillan2006.yml TIMEOUT 900.46 873.11 None loop-new/count_by_1.yml TRUE 7.96 4.72 None loop-new/count_by_1_variant.yml TRUE 8.92 4.95 None loop-new/count_by_2.yml TIMEOUT 900.20 742.75 None loop-new/count_by_k.yml TIMEOUT 900.91 788.86 None loop-new/count_by_nondet.yml TIMEOUT 900.19 747.97 None loop-new/gauss_sum.i.p+cfa-reducer.yml TIMEOUT 900.78 819.73 None loop-new/gauss_sum.i.p+lhb-reducer.yml TIMEOUT 900.19 800.42 None loop-new/gauss_sum.i.v+cfa-reducer.yml TIMEOUT 900.76 821.61 None loop-new/gauss_sum.yml TIMEOUT 900.91 780.88 None loop-new/half.yml TRUE 15.08 8.71 None loop-new/nested-1.yml TRUE 220.37 173.47 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.23 3.62 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.06 3.52 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 6.13 3.48 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TRUE 15.16 8.65 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TRUE 14.39 8.25 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TRUE 55.63 41.11 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml TRUE 66.51 53.35 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 6.00 3.48 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TRUE 8.05 4.83 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml TRUE 8.75 5.13 None loop-industry-pattern/mod3.c.v+sep-reducer.yml TRUE 8.34 5.03 None loop-industry-pattern/mod3.yml TRUE 7.98 4.87 None loop-industry-pattern/nested-3.yml TIMEOUT 900.92 831.05 None loop-industry-pattern/ofuf_1.yml TRUE 10.45 5.96 None loop-industry-pattern/ofuf_2.yml TRUE 10.45 5.91 None loop-industry-pattern/ofuf_3.yml TRUE 10.39 5.99 None loop-industry-pattern/ofuf_4.yml TRUE 10.66 6.07 None loop-industry-pattern/ofuf_5.yml TRUE 10.59 6.16 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.42 885.35 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.36 885.43 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.36 882.53 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.54 811.09 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.38 884.83 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.33 886.18 None loops-crafted-1/nested3-1.yml TIMEOUT 900.37 884.52 None loops-crafted-1/nested3-2.yml TIMEOUT 900.40 883.26 None loops-crafted-1/nested5-1.yml TRUE 26.80 22.23 None loops-crafted-1/nested5-2.yml TIMEOUT 900.34 888.36 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 6.66 4.21 None loop-invariants/const.yml TRUE 7.40 4.62 None loop-invariants/eq1.yml TRUE 7.25 4.46 None loop-invariants/eq2.yml TRUE 7.24 4.41 None loop-invariants/even.yml TRUE 7.09 4.44 None loop-invariants/mod4.yml TRUE 7.68 4.61 None loop-invariants/odd.yml TRUE 13.84 10.63 None nla-digbench/bresenham.yml TIMEOUT 900.34 890.55 None nla-digbench/cohencu.yml TIMEOUT 900.31 891.84 None nla-digbench/cohendiv.yml TRUE 15.29 8.39 None nla-digbench/dijkstra.yml TIMEOUT 900.33 890.64 None nla-digbench/divbin.yml ERROR: EXCEPTION 37.12 33.36 None nla-digbench/egcd.yml TRUE 65.28 58.34 None nla-digbench/egcd2.yml TRUE 641.12 610.95 None nla-digbench/egcd3.yml TIMEOUT 900.92 842.61 None nla-digbench/fermat1.yml TRUE 25.23 21.83 None nla-digbench/fermat2.yml TRUE 83.18 79.26 None nla-digbench/freire1.yml UNKNOWN: OverapproxCex 7.00 4.29 None nla-digbench/freire2.yml UNKNOWN: OverapproxCex 7.05 4.29 None nla-digbench/geo1.yml TRUE 7.94 4.79 None nla-digbench/geo2.yml TRUE 15.72 11.71 None nla-digbench/geo3.yml TRUE 25.00 20.99 None nla-digbench/hard.yml TIMEOUT 900.40 883.75 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.67 3.34 None nla-digbench/lcm1.yml TRUE 29.81 23.58 None nla-digbench/lcm2.yml TRUE 791.44 783.67 None nla-digbench/mannadiv.yml TRUE 9.52 5.55 None nla-digbench/prod4br.yml TRUE 115.02 102.73 None nla-digbench/prodbin.yml ERROR: EXCEPTION 505.94 493.07 None nla-digbench/ps2.yml TRUE 9.42 5.61 None nla-digbench/ps3.yml TRUE 9.37 5.73 None nla-digbench/ps4.yml TIMEOUT 900.38 876.34 None nla-digbench/ps5.yml TIMEOUT 900.32 891.56 None nla-digbench/ps6.yml TIMEOUT 900.38 878.34 None nla-digbench/sqrt1.yml TRUE 11.78 6.72 None ------------------------------------------------------------------------------------------------------------------------- Run set 2 done 39307.45 4596.59 - 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 9.26 5.53 None loops/array-2.yml FALSE 8.62 5.08 None loops/bubble_sort-1.yml TRUE 7.21 4.36 None loops/bubble_sort-2.yml FALSE 12.85 7.17 None loops/compact.yml TIMEOUT 900.38 883.55 None loops/count_up_down-1.yml TIMEOUT 900.57 866.74 None loops/count_up_down-2.yml FALSE 7.19 4.26 None loops/eureka_01-1.yml TRUE 9.86 5.73 None loops/eureka_01-2.yml TRUE 10.45 5.99 None loops/eureka_05.yml TRUE 8.52 5.17 None loops/for_bounded_loop1.yml FALSE 8.40 5.20 None loops/for_infinite_loop_1.yml TRUE 6.76 4.44 None loops/for_infinite_loop_2.yml TRUE 7.49 4.53 None loops/heavy-1.yml TIMEOUT 900.85 789.61 None loops/heavy-2.yml TIMEOUT 900.86 788.35 None loops/insertion_sort-1.yml TRUE 9.78 5.88 None loops/insertion_sort-2.yml TRUE 9.37 5.49 None loops/invert_string-1.yml TRUE 10.07 5.90 None loops/invert_string-3.yml TRUE 9.55 5.67 None loops/linear_sea.ch.yml TRUE 9.97 5.78 None loops/linear_search.yml TRUE 9.44 5.58 None loops/lu.cmp.yml TRUE 15.83 8.73 None loops/ludcmp.yml TRUE 16.62 8.99 None loops/matrix-1.yml TRUE 8.50 5.13 None loops/matrix-2.yml TRUE 8.87 5.18 None loops/n.c11.yml TRUE 10.63 6.42 None loops/n.c24.yml TRUE 9.13 5.30 None loops/n.c40.yml TRUE 9.41 5.57 None loops/nec11.yml FALSE 7.59 4.45 None loops/nec20.yml FALSE 7.34 4.51 None loops/nec40.yml TRUE 9.32 5.42 None loops/s3.yml UNKNOWN: OverapproxCex 41.69 22.37 None loops/string-1.yml TRUE 8.15 4.90 None loops/string-2.yml TRUE 9.09 5.24 None loops/sum01-1.yml FALSE 15.35 8.88 None loops/sum01-2.yml TRUE 11.91 6.85 None loops/sum01_bug02.yml FALSE 14.66 8.32 None loops/sum01_bug02_sum01_bug02_base.case.yml FALSE 12.54 7.31 None loops/sum03-1.yml FALSE 172.39 162.85 None loops/sum03-2.yml TRUE 7.55 4.55 None loops/sum04-1.yml FALSE 9.30 5.64 None loops/sum04-2.yml TRUE 12.43 7.27 None loops/sum_array-1.yml FALSE 10.11 5.80 None loops/sum_array-2.yml TRUE 11.91 6.85 None loops/terminator_01.yml FALSE 7.19 4.39 None loops/terminator_02-1.yml FALSE 6.83 4.18 None loops/terminator_02-2.yml TRUE 7.52 4.61 None loops/terminator_03-1.yml FALSE 7.33 4.51 None loops/terminator_03-2.yml TRUE 7.32 4.45 None loops/trex01-1.yml FALSE 7.58 4.61 None loops/trex01-2.yml TRUE 7.85 4.88 None loops/trex02-1.yml TRUE 7.06 4.36 None loops/trex02-2.yml FALSE 7.21 4.40 None loops/trex03-1.yml FALSE 7.28 4.43 None loops/trex03-2.yml TRUE 8.04 4.85 None loops/trex04.yml TRUE 7.34 4.57 None loops/veris.c_NetBSD-libc_loop.yml TRUE 7.95 4.76 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TRUE 8.60 5.13 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TRUE 8.17 4.92 None loops/verisec_NetBSD-libc_loop.yml TRUE 8.52 5.15 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml TRUE 11.93 6.81 None loops/vogal-1.yml TRUE 8.84 5.28 None loops/vogal-2.yml TRUE 8.55 5.12 None loops/while_infinite_loop_1.yml TRUE 7.36 4.35 None loops/while_infinite_loop_2.yml TRUE 6.70 3.88 None loops/while_infinite_loop_3.yml TRUE 7.44 4.56 None loops/while_infinite_loop_4.yml FALSE 6.78 4.28 None loop-acceleration/array_1-1.yml TRUE 8.59 5.14 None loop-acceleration/array_1-2.yml TRUE 7.55 4.62 None loop-acceleration/array_2-1.yml TRUE 7.72 4.67 None loop-acceleration/array_2-2.yml TRUE 8.18 4.90 None loop-acceleration/array_3-1.yml TRUE 8.22 4.88 None loop-acceleration/array_3-2.yml TRUE 8.29 4.97 None loop-acceleration/array_4.yml TRUE 8.07 4.92 None loop-acceleration/const_1-1.yml TRUE 7.99 4.81 None loop-acceleration/const_1-2.yml TIMEOUT 900.36 884.20 None loop-acceleration/diamond_1-1.yml TIMEOUT 900.45 867.58 None loop-acceleration/diamond_1-2.yml TIMEOUT 900.67 856.26 None loop-acceleration/diamond_2-2.yml TRUE 234.84 218.15 None loop-acceleration/functions_1-1.yml TIMEOUT 900.43 867.68 None loop-acceleration/functions_1-2.yml TIMEOUT 900.65 872.66 None loop-acceleration/multivar_1-1.yml TRUE 6.75 4.26 None loop-acceleration/multivar_1-2.yml FALSE 6.69 4.08 None loop-acceleration/nested_1-1.yml TRUE 59.89 47.54 None loop-acceleration/nested_1-2.yml TIMEOUT 900.54 882.42 None loop-acceleration/overflow_1-1.yml TIMEOUT 900.44 875.98 None loop-acceleration/phases_1-1.yml TIMEOUT 900.38 879.00 None loop-acceleration/phases_1-2.yml TIMEOUT 900.36 884.89 None loop-acceleration/phases_2-1.yml FALSE 7.12 4.37 None loop-acceleration/phases_2-2.yml TRUE 18.91 13.56 None loop-acceleration/simple_1-1.yml TIMEOUT 900.37 880.13 None loop-acceleration/simple_1-2.yml TIMEOUT 901.12 878.17 None loop-acceleration/simple_2-1.yml TRUE 6.97 4.37 None loop-acceleration/simple_2-2.yml FALSE 6.66 4.13 None loop-acceleration/simple_3-1.yml FALSE 6.81 4.16 None loop-acceleration/simple_3-2.yml TRUE 7.20 4.43 None loop-acceleration/simple_4-1.yml TIMEOUT 900.53 864.23 None loop-acceleration/simple_4-2.yml TRUE 9.46 5.53 None loop-acceleration/underapprox_1-1.yml FALSE 12.08 6.92 None loop-acceleration/underapprox_1-2.yml TRUE 113.65 106.67 None loop-acceleration/underapprox_2-1.yml FALSE 11.10 6.50 None loop-acceleration/underapprox_2-2.yml TRUE 10.60 6.31 None loop-crafted/simple_array_index_value_1-1.yml TRUE 9.88 6.80 None loop-crafted/simple_array_index_value_1-2.yml FALSE 7.05 4.33 None loop-crafted/simple_array_index_value_2.yml TRUE 7.76 4.69 None loop-crafted/simple_array_index_value_3.yml TRUE 7.94 4.79 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TRUE 14.14 8.81 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TRUE 14.00 7.80 None loop-crafted/simple_array_index_value_4.yml TRUE 11.50 6.65 None loop-crafted/simple_vardep_1.yml TRUE 7.50 4.55 None loop-crafted/simple_vardep_2.yml TRUE 7.50 4.55 None loop-invgen/MADWiFi-encode_ie_ok.yml TRUE 10.16 6.09 None loop-invgen/NetBSD_loop.yml TRUE 9.51 5.56 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml TRUE 11.87 6.81 None loop-invgen/SpamAssassin-loop.yml TRUE 10.89 6.43 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml TRUE 16.88 9.49 None loop-invgen/apache-escape-absolute.yml TRUE 12.03 6.94 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml TRUE 16.98 9.78 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml TRUE 34.20 20.59 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml TRUE 65.91 39.65 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml TRUE 12.85 7.28 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml TRUE 12.80 7.38 None loop-invgen/apache-get-tag.yml TRUE 10.68 6.19 None loop-invgen/down.yml TIMEOUT 900.38 734.09 None loop-invgen/fragtest_simple.yml TIMEOUT 900.17 746.05 None loop-invgen/half_2.yml TIMEOUT 900.99 764.60 None loop-invgen/heapsort.yml TRUE 35.25 21.20 None loop-invgen/id_build.i.p+nlh-reducer.yml TRUE 15.50 8.61 None loop-invgen/id_build.i.p+sep-reducer.yml TRUE 14.73 8.16 None loop-invgen/id_build.i.v+lhb-reducer.yml TRUE 8.30 4.90 None loop-invgen/id_build.yml TRUE 7.00 4.41 None loop-invgen/id_trans.yml FALSE 7.60 4.63 None loop-invgen/large_const.yml TRUE 11.85 6.83 None loop-invgen/nest-if3.yml TRUE 7.13 4.40 None loop-invgen/nested6.yml TRUE 11.56 6.70 None loop-invgen/nested9.yml TRUE 11.25 6.70 None loop-invgen/sendmail-close-angle.yml TRUE 24.63 15.22 None loop-invgen/seq-3.yml TIMEOUT 900.15 746.38 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.46 736.11 None loop-invgen/up.yml TIMEOUT 900.61 741.04 None loop-lit/afnp2014.yml TRUE 9.09 5.32 None loop-lit/bhmr2007.yml TRUE 12.32 7.20 None loop-lit/cggmp2005.yml TRUE 9.91 5.78 None loop-lit/cggmp2005_variant.yml TRUE 10.67 6.10 None loop-lit/cggmp2005b.yml TRUE 8.41 5.11 None loop-lit/css2003.yml TRUE 7.39 4.46 None loop-lit/ddlm2013.yml TIMEOUT 902.12 770.08 None loop-lit/gcnr2008.yml FALSE 7.17 4.31 None loop-lit/gj2007.c.i.p+lhb-reducer.yml TRUE 328.69 255.80 None loop-lit/gj2007.c.i.p+nlh-reducer.yml TRUE 441.37 347.65 None loop-lit/gj2007.yml TRUE 356.12 273.09 None loop-lit/gj2007b.yml TRUE 10.09 5.86 None loop-lit/gr2006.yml TRUE 134.29 93.90 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml TRUE 7.58 4.60 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml TRUE 7.78 4.65 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml TRUE 8.49 5.07 None loop-lit/gsv2008.yml TRUE 8.09 4.84 None loop-lit/hhk2008.yml TRUE 9.48 5.69 None loop-lit/jm2006.c.i.v+cfa-reducer.yml TRUE 11.21 6.54 None loop-lit/jm2006.yml TRUE 12.27 7.12 None loop-lit/jm2006_variant.yml TRUE 11.95 7.10 None loop-lit/mcmillan2006.yml TRUE 8.68 5.23 None loop-new/count_by_1.yml TRUE 7.55 4.76 None loop-new/count_by_1_variant.yml TRUE 11.43 6.73 None loop-new/count_by_2.yml TIMEOUT 900.43 737.41 None loop-new/count_by_k.yml TIMEOUT 900.89 779.14 None loop-new/count_by_nondet.yml TIMEOUT 900.48 738.31 None loop-new/gauss_sum.i.p+cfa-reducer.yml TRUE 14.96 10.57 None loop-new/gauss_sum.i.p+lhb-reducer.yml TRUE 16.05 11.40 None loop-new/gauss_sum.i.v+cfa-reducer.yml TRUE 17.19 12.54 None loop-new/gauss_sum.yml TRUE 18.43 12.98 None loop-new/half.yml TRUE 16.85 9.47 None loop-new/nested-1.yml TRUE 33.07 19.73 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.12 3.49 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 6.07 3.58 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 5.90 3.40 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TRUE 10.74 6.08 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TRUE 10.39 5.92 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TRUE 15.84 8.69 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml TRUE 70.89 57.94 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 6.20 3.65 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml TRUE 7.94 4.79 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml TRUE 8.42 4.91 None loop-industry-pattern/mod3.c.v+sep-reducer.yml TRUE 8.41 4.92 None loop-industry-pattern/mod3.yml TRUE 8.33 5.05 None loop-industry-pattern/nested-3.yml TRUE 36.14 22.20 None loop-industry-pattern/ofuf_1.yml TRUE 10.69 6.11 None loop-industry-pattern/ofuf_2.yml TRUE 10.76 6.09 None loop-industry-pattern/ofuf_3.yml TRUE 10.52 6.08 None loop-industry-pattern/ofuf_4.yml TRUE 10.74 6.10 None loop-industry-pattern/ofuf_5.yml TRUE 10.35 5.85 None loops-crafted-1/Mono1_1-1.yml TIMEOUT 900.41 874.82 None loops-crafted-1/Mono1_1-2.yml TIMEOUT 900.41 877.80 None loops-crafted-1/Mono3_1.yml TIMEOUT 900.48 871.25 None loops-crafted-1/Mono4_1.yml TIMEOUT 900.08 750.86 None loops-crafted-1/Mono5_1.yml TIMEOUT 900.63 845.14 None loops-crafted-1/Mono6_1.yml TIMEOUT 900.58 823.43 None loops-crafted-1/nested3-1.yml TIMEOUT 900.66 861.61 None loops-crafted-1/nested3-2.yml TIMEOUT 900.54 880.04 None loops-crafted-1/nested5-1.yml TRUE 24.09 18.09 None loops-crafted-1/nested5-2.yml TIMEOUT 900.40 881.26 None loop-invariants/bin-suffix-5.yml UNKNOWN: OverapproxCex 6.98 4.35 None loop-invariants/const.yml TRUE 7.59 4.66 None loop-invariants/eq1.yml TRUE 6.83 4.33 None loop-invariants/eq2.yml TRUE 7.62 4.67 None loop-invariants/even.yml TRUE 7.93 4.75 None loop-invariants/mod4.yml TRUE 7.10 4.39 None loop-invariants/odd.yml TRUE 11.46 8.46 None nla-digbench/bresenham.yml TRUE 101.51 92.07 None nla-digbench/cohencu.yml TRUE 101.07 91.09 None nla-digbench/cohendiv.yml TRUE 12.13 7.14 None nla-digbench/dijkstra.yml OUT OF MEMORY 406.81 283.29 None nla-digbench/divbin.yml ERROR: EXCEPTION 85.13 77.13 None nla-digbench/egcd.yml TRUE 14.27 7.91 None nla-digbench/egcd2.yml TRUE 879.98 844.76 None nla-digbench/egcd3.yml TIMEOUT 900.47 878.30 None nla-digbench/fermat1.yml TRUE 84.92 79.59 None nla-digbench/fermat2.yml TRUE 27.05 20.24 None nla-digbench/freire1.yml ERROR: EXCEPTION 7.91 4.74 None nla-digbench/freire2.yml ERROR: EXCEPTION 8.17 4.93 None nla-digbench/geo1.yml TRUE 8.97 5.33 None nla-digbench/geo2.yml TRUE 9.31 5.63 None nla-digbench/geo3.yml TRUE 9.27 5.63 None nla-digbench/hard.yml TIMEOUT 900.35 887.58 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.65 3.25 None nla-digbench/lcm1.yml TRUE 14.50 9.15 None nla-digbench/lcm2.yml TRUE 8.92 5.27 None nla-digbench/mannadiv.yml TRUE 10.35 6.05 None nla-digbench/prod4br.yml TRUE 19.53 11.14 None nla-digbench/prodbin.yml TRUE 122.86 114.08 None nla-digbench/ps2.yml TRUE 8.85 5.33 None nla-digbench/ps3.yml TRUE 9.24 5.51 None nla-digbench/ps4.yml TRUE 94.70 89.01 None nla-digbench/ps5.yml TRUE 171.53 165.34 None nla-digbench/ps6.yml TRUE 102.47 96.53 None nla-digbench/sqrt1.yml TRUE 10.56 6.14 None ------------------------------------------------------------------------------------------------------------------------- Run set 3 done 23815.29 2911.10 - 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 7.05 4.31 None loops/array-2.yml TRUE 7.05 4.29 None loops/bubble_sort-1.yml TRUE 7.63 4.77 None loops/bubble_sort-2.yml TRUE 9.12 5.24 None loops/compact.yml TIMEOUT 900.38 884.73 None loops/count_up_down-1.yml unknown 7.02 4.33 None loops/count_up_down-2.yml unknown 7.03 4.27 None loops/eureka_01-1.yml TRUE 7.10 4.34 None loops/eureka_01-2.yml TRUE 7.64 4.56 None loops/eureka_05.yml TRUE 7.19 4.27 None loops/for_bounded_loop1.yml unknown 6.89 4.45 None loops/for_infinite_loop_1.yml unknown 6.72 4.16 None loops/for_infinite_loop_2.yml unknown 7.03 4.43 None loops/heavy-1.yml TIMEOUT 900.83 794.91 None loops/heavy-2.yml TIMEOUT 900.90 781.30 None loops/insertion_sort-1.yml TRUE 7.24 4.54 None loops/insertion_sort-2.yml TRUE 6.63 4.18 None loops/invert_string-1.yml TRUE 7.17 4.35 None loops/invert_string-3.yml TRUE 7.27 4.48 None loops/linear_sea.ch.yml TRUE 7.64 4.65 None loops/linear_search.yml TRUE 7.17 4.33 None loops/lu.cmp.yml TRUE 11.39 6.47 None loops/ludcmp.yml TRUE 13.15 7.25 None loops/matrix-1.yml TRUE 6.87 4.24 None loops/matrix-2.yml TRUE 7.06 4.33 None loops/n.c11.yml unknown 7.38 4.35 None loops/n.c24.yml TRUE 7.13 4.30 None loops/n.c40.yml TRUE 7.60 4.62 None loops/nec11.yml unknown 6.67 4.12 None loops/nec20.yml unknown 7.33 4.47 None loops/nec40.yml TRUE 7.75 4.68 None loops/s3.yml TRUE 11.50 6.22 None loops/string-1.yml TRUE 7.53 4.48 None loops/string-2.yml TRUE 7.08 4.26 None loops/sum01-1.yml unknown 7.41 4.53 None loops/sum01-2.yml unknown 7.08 3.90 None loops/sum01_bug02.yml unknown 8.55 4.96 None loops/sum01_bug02_sum01_bug02_base.case.yml unknown 6.88 4.28 None loops/sum03-1.yml unknown 7.91 4.75 None loops/sum03-2.yml unknown 7.28 4.37 None loops/sum04-1.yml unknown 6.65 4.11 None loops/sum04-2.yml unknown 6.66 4.19 None loops/sum_array-1.yml TRUE 6.94 4.24 None loops/sum_array-2.yml TRUE 7.19 4.39 None loops/terminator_01.yml TRUE 6.61 4.14 None loops/terminator_02-1.yml unknown 6.78 4.18 None loops/terminator_02-2.yml unknown 7.67 4.55 None loops/terminator_03-1.yml unknown 7.54 4.57 None loops/terminator_03-2.yml unknown 6.96 4.17 None loops/trex01-1.yml TIMEOUT 900.58 711.18 None loops/trex01-2.yml unknown 7.58 4.64 None loops/trex02-1.yml unknown 7.29 4.45 None loops/trex02-2.yml unknown 7.25 4.39 None loops/trex03-1.yml unknown 7.68 4.53 None loops/trex03-2.yml unknown 7.54 4.35 None loops/trex04.yml OUT OF MEMORY 644.14 474.64 None loops/veris.c_NetBSD-libc_loop.yml TRUE 6.62 4.11 None loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml TRUE 7.42 4.50 None loops/veris.c_sendmail_tTflag_arr_one_loop.yml TRUE 7.39 4.57 None loops/verisec_NetBSD-libc_loop.yml TRUE 6.80 4.04 None loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml TRUE 7.74 4.64 None loops/vogal-1.yml TRUE 6.91 4.27 None loops/vogal-2.yml TRUE 7.15 4.34 None loops/while_infinite_loop_1.yml unknown 6.70 4.11 None loops/while_infinite_loop_2.yml unknown 6.71 4.14 None loops/while_infinite_loop_3.yml unknown 6.45 4.02 None loops/while_infinite_loop_4.yml unknown 6.87 4.15 None loop-acceleration/array_1-1.yml TRUE 6.34 3.93 None loop-acceleration/array_1-2.yml TRUE 7.46 4.44 None loop-acceleration/array_2-1.yml TRUE 6.84 4.17 None loop-acceleration/array_2-2.yml TRUE 6.94 4.23 None loop-acceleration/array_3-1.yml TRUE 6.77 4.11 None loop-acceleration/array_3-2.yml TRUE 6.83 4.20 None loop-acceleration/array_4.yml TRUE 6.82 4.19 None loop-acceleration/const_1-1.yml unknown 6.56 4.16 None loop-acceleration/const_1-2.yml unknown 7.20 4.37 None loop-acceleration/diamond_1-1.yml unknown 9.84 5.59 None loop-acceleration/diamond_1-2.yml unknown 9.83 5.65 None loop-acceleration/diamond_2-2.yml unknown 15.77 9.36 None loop-acceleration/functions_1-1.yml unknown 10.12 5.63 None loop-acceleration/functions_1-2.yml unknown 9.84 5.67 None loop-acceleration/multivar_1-1.yml unknown 6.60 4.12 None loop-acceleration/multivar_1-2.yml unknown 6.58 4.07 None loop-acceleration/nested_1-1.yml unknown 9.84 5.64 None loop-acceleration/nested_1-2.yml unknown 12.67 6.84 None loop-acceleration/overflow_1-1.yml unknown 10.57 5.96 None loop-acceleration/phases_1-1.yml unknown 10.73 6.08 None loop-acceleration/phases_1-2.yml unknown 10.68 6.00 None loop-acceleration/phases_2-1.yml unknown 8.13 4.68 None loop-acceleration/phases_2-2.yml unknown 7.25 4.49 None loop-acceleration/simple_1-1.yml unknown 9.20 5.32 None loop-acceleration/simple_1-2.yml unknown 9.30 5.24 None loop-acceleration/simple_2-1.yml unknown 7.18 4.40 None loop-acceleration/simple_2-2.yml unknown 6.43 4.01 None loop-acceleration/simple_3-1.yml unknown 10.26 5.88 None loop-acceleration/simple_3-2.yml unknown 9.79 5.57 None loop-acceleration/simple_4-1.yml unknown 9.63 5.53 None loop-acceleration/simple_4-2.yml unknown 10.19 5.84 None loop-acceleration/underapprox_1-1.yml unknown 6.77 4.22 None loop-acceleration/underapprox_1-2.yml unknown 9.90 5.64 None loop-acceleration/underapprox_2-1.yml unknown 6.54 4.02 None loop-acceleration/underapprox_2-2.yml unknown 6.45 4.01 None loop-crafted/simple_array_index_value_1-1.yml TRUE 9.48 6.53 None loop-crafted/simple_array_index_value_1-2.yml TRUE 6.92 4.21 None loop-crafted/simple_array_index_value_2.yml TRUE 6.85 4.24 None loop-crafted/simple_array_index_value_3.yml TRUE 6.77 4.12 None loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml TRUE 7.01 4.30 None loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml TRUE 7.27 4.46 None loop-crafted/simple_array_index_value_4.yml TRUE 6.98 4.21 None loop-crafted/simple_vardep_1.yml unknown 7.00 4.35 None loop-crafted/simple_vardep_2.yml unknown 7.44 4.47 None loop-invgen/MADWiFi-encode_ie_ok.yml unknown 7.14 4.39 None loop-invgen/NetBSD_loop.yml unknown 7.34 4.42 None loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml unknown 8.08 4.83 None loop-invgen/SpamAssassin-loop.yml unknown 8.03 4.74 None loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml unknown 8.55 5.07 None loop-invgen/apache-escape-absolute.yml unknown 8.41 5.06 None loop-invgen/apache-get-tag.i.p+lhb-reducer.yml unknown 11.36 6.43 None loop-invgen/apache-get-tag.i.p+nlh-reducer.yml unknown 19.30 10.48 None loop-invgen/apache-get-tag.i.p+sep-reducer.yml unknown 29.48 17.91 None loop-invgen/apache-get-tag.i.v+lhb-reducer.yml unknown 9.27 5.39 None loop-invgen/apache-get-tag.i.v+nlh-reducer.yml unknown 9.00 5.24 None loop-invgen/apache-get-tag.yml unknown 8.20 4.85 None loop-invgen/down.yml unknown 6.59 4.05 None loop-invgen/fragtest_simple.yml unknown 7.22 4.37 None loop-invgen/half_2.yml unknown 7.98 4.73 None loop-invgen/heapsort.yml unknown 7.38 4.48 None loop-invgen/id_build.i.p+nlh-reducer.yml unknown 13.38 7.33 None loop-invgen/id_build.i.p+sep-reducer.yml unknown 12.46 6.82 None loop-invgen/id_build.i.v+lhb-reducer.yml unknown 8.08 4.71 None loop-invgen/id_build.yml unknown 6.81 4.20 None loop-invgen/id_trans.yml unknown 9.68 5.52 None loop-invgen/large_const.yml unknown 7.59 4.58 None loop-invgen/nest-if3.yml unknown 7.04 4.37 None loop-invgen/nested6.yml unknown 7.77 4.65 None loop-invgen/nested9.yml unknown 7.12 4.27 None loop-invgen/sendmail-close-angle.yml unknown 8.55 4.90 None loop-invgen/seq-3.yml unknown 7.86 4.63 None loop-invgen/string_concat-noarr.yml TIMEOUT 900.27 772.41 None loop-invgen/up.yml unknown 6.69 4.16 None loop-lit/afnp2014.yml unknown 6.94 4.24 None loop-lit/bhmr2007.yml unknown 7.42 4.32 None loop-lit/cggmp2005.yml unknown 6.91 4.32 None loop-lit/cggmp2005_variant.yml unknown 6.50 4.06 None loop-lit/cggmp2005b.yml unknown 6.94 4.25 None loop-lit/css2003.yml unknown 7.62 4.68 None loop-lit/ddlm2013.yml TIMEOUT 900.67 862.91 None loop-lit/gcnr2008.yml unknown 7.36 4.48 None loop-lit/gj2007.c.i.p+lhb-reducer.yml unknown 7.41 4.37 None loop-lit/gj2007.c.i.p+nlh-reducer.yml unknown 9.67 5.55 None loop-lit/gj2007.yml unknown 6.70 4.17 None loop-lit/gj2007b.yml unknown 6.71 4.16 None loop-lit/gr2006.yml unknown 7.18 4.39 None loop-lit/gsv2008.c.i.p+cfa-reducer.yml unknown 7.30 4.52 None loop-lit/gsv2008.c.i.v+cfa-reducer.yml unknown 6.50 4.05 None loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 6.85 4.21 None loop-lit/gsv2008.yml unknown 7.06 4.30 None loop-lit/hhk2008.yml unknown 6.87 4.24 None loop-lit/jm2006.c.i.v+cfa-reducer.yml unknown 6.61 4.10 None loop-lit/jm2006.yml unknown 7.79 4.53 None loop-lit/jm2006_variant.yml unknown 7.16 4.35 None loop-lit/mcmillan2006.yml TRUE 6.66 4.16 None loop-new/count_by_1.yml unknown 6.67 4.12 None loop-new/count_by_1_variant.yml unknown 7.19 4.24 None loop-new/count_by_2.yml unknown 6.85 4.24 None loop-new/count_by_k.yml unknown 6.60 4.15 None loop-new/count_by_nondet.yml unknown 7.14 4.34 None loop-new/gauss_sum.i.p+cfa-reducer.yml unknown 7.01 4.31 None loop-new/gauss_sum.i.p+lhb-reducer.yml unknown 7.25 4.37 None loop-new/gauss_sum.i.v+cfa-reducer.yml unknown 7.25 4.41 None loop-new/gauss_sum.yml unknown 8.11 4.68 None loop-new/half.yml unknown 8.19 4.81 None loop-new/nested-1.yml unknown 7.04 4.27 None loop-industry-pattern/aiob_1.yml ERROR: EXCEPTION 6.55 3.82 None loop-industry-pattern/aiob_2.yml ERROR: EXCEPTION 5.93 3.49 None loop-industry-pattern/aiob_3.yml ERROR: EXCEPTION 5.93 3.57 None loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml TRUE 9.01 5.19 None loop-industry-pattern/aiob_4.c.v+lh-reducer.yml TRUE 8.62 5.03 None loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml TRUE 9.11 5.20 None loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml TRUE 12.64 6.84 None loop-industry-pattern/aiob_4.yml ERROR: EXCEPTION 6.51 3.72 None loop-industry-pattern/mod3.c.v+cfa-reducer.yml unknown 7.27 4.39 None loop-industry-pattern/mod3.c.v+lhb-reducer.yml unknown 10.68 5.89 None loop-industry-pattern/mod3.c.v+sep-reducer.yml unknown 10.78 6.04 None loop-industry-pattern/mod3.yml unknown 8.42 4.93 None loop-industry-pattern/nested-3.yml unknown 7.90 4.68 None loop-industry-pattern/ofuf_1.yml TRUE 9.74 5.45 None loop-industry-pattern/ofuf_2.yml TRUE 8.90 5.16 None loop-industry-pattern/ofuf_3.yml TRUE 8.75 5.05 None loop-industry-pattern/ofuf_4.yml TRUE 9.12 5.31 None loop-industry-pattern/ofuf_5.yml TRUE 9.13 5.17 None loops-crafted-1/Mono1_1-1.yml unknown 7.15 4.29 None loops-crafted-1/Mono1_1-2.yml unknown 6.68 4.10 None loops-crafted-1/Mono3_1.yml unknown 7.45 4.63 None loops-crafted-1/Mono4_1.yml unknown 6.98 4.30 None loops-crafted-1/Mono5_1.yml unknown 7.29 4.40 None loops-crafted-1/Mono6_1.yml unknown 7.32 4.40 None loops-crafted-1/nested3-1.yml unknown 13.02 7.14 None loops-crafted-1/nested3-2.yml unknown 12.48 7.16 None loops-crafted-1/nested5-1.yml unknown 12.60 7.13 None loops-crafted-1/nested5-2.yml unknown 13.76 7.68 None loop-invariants/bin-suffix-5.yml ERROR: EXCEPTION 6.51 3.94 None loop-invariants/const.yml unknown 6.86 4.26 None loop-invariants/eq1.yml unknown 6.57 4.09 None loop-invariants/eq2.yml unknown 6.47 4.06 None loop-invariants/even.yml unknown 11.52 6.47 None loop-invariants/mod4.yml unknown 11.64 6.55 None loop-invariants/odd.yml unknown 9.12 5.34 None nla-digbench/bresenham.yml unknown 7.01 4.36 None nla-digbench/cohencu.yml unknown 6.62 4.16 None nla-digbench/cohendiv.yml unknown 7.12 4.42 None nla-digbench/dijkstra.yml unknown 7.03 4.34 None nla-digbench/divbin.yml unknown 6.98 4.29 None nla-digbench/egcd.yml unknown 6.96 4.33 None nla-digbench/egcd2.yml unknown 6.53 4.12 None nla-digbench/egcd3.yml unknown 7.71 4.62 None nla-digbench/fermat1.yml unknown 11.19 6.29 None nla-digbench/fermat2.yml unknown 9.88 5.69 None nla-digbench/freire1.yml ERROR: EXCEPTION 6.56 4.02 None nla-digbench/freire2.yml ERROR: EXCEPTION 7.06 4.31 None nla-digbench/geo1.yml unknown 7.54 4.58 None nla-digbench/geo2.yml unknown 7.29 4.30 None nla-digbench/geo3.yml unknown 7.58 4.52 None nla-digbench/hard.yml unknown 7.54 4.55 None nla-digbench/knuth.yml ERROR: EXCEPTION 5.97 3.44 None nla-digbench/lcm1.yml unknown 6.99 4.31 None nla-digbench/lcm2.yml unknown 9.03 5.10 None nla-digbench/mannadiv.yml unknown 7.13 4.34 None nla-digbench/prod4br.yml unknown 12.52 7.05 None nla-digbench/prodbin.yml unknown 7.83 4.56 None nla-digbench/ps2.yml unknown 6.59 4.06 None nla-digbench/ps3.yml unknown 7.21 4.41 None nla-digbench/ps4.yml unknown 7.22 4.37 None nla-digbench/ps5.yml unknown 6.93 4.21 None nla-digbench/ps6.yml unknown 8.14 4.80 None nla-digbench/sqrt1.yml unknown 8.01 4.69 None ------------------------------------------------------------------------------------------------------------------------- Run set 4 done 7895.75 935.49 - 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)