BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-reach-loops-taipan-nowrapper.xml name: svcomp19-reach-loops-taipan-nowrapper run sets: Automizer.Loops, Taipan.Loops date: Tue, 2018-10-23 09:24:52 CEST tool: ULTIMATE Automizer 0.1.23-b6335f6b tool executable: /storage/repos/ultimate/releaseScripts/default/UTaipan-linux/Ultimate.py options: -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz ram: 135158.484992 MB ------------------------------------------------------------ Automizer.Loops Run set 1 of 2 with options '-tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- loops/array_false-unreach-call_true-termination.i FALSE 13.03 7.55 None loops/bubble_sort_false-unreach-call.i FALSE 14.53 8.05 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 7.56 4.29 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.24 257.72 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 11.28 6.33 None loops/insertion_sort_false-unreach-call_true-termination.i FALSE 169.15 130.79 None loops/invert_string_false-unreach-call_true-termination.i FALSE 28.65 18.24 None loops/linear_search_false-unreach-call.i TIMEOUT (ERROR (143)) 300.24 278.41 None loops/ludcmp_false-unreach-call.i TIMEOUT (ERROR (143)) 310.84 246.25 None loops/matrix_false-unreach-call_true-termination.i FALSE 10.72 5.98 None loops/n.c24_false-unreach-call.i TIMEOUT (ERROR (143)) 300.19 242.75 None loops/nec11_false-unreach-call_false-termination.i FALSE 7.82 4.53 None loops/nec20_false-unreach-call_true-termination.i FALSE 8.38 4.81 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 87.26 53.60 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 14.43 7.99 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 16.82 10.17 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 13.39 7.77 None loops/sum01_false-unreach-call_true-termination.i FALSE 17.18 10.23 None loops/sum03_false-unreach-call_true-termination.i FALSE 211.20 200.96 None loops/sum04_false-unreach-call_true-termination.i FALSE 11.10 6.20 None loops/sum_array_false-unreach-call.i FALSE 10.85 6.00 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 8.82 4.82 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 7.58 4.22 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 7.97 4.53 None loops/trex01_false-unreach-call_true-termination.i FALSE 8.21 4.54 None loops/trex02_false-unreach-call_true-termination.i FALSE 7.60 4.22 None loops/trex03_false-unreach-call_true-termination.i FALSE 7.88 4.35 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 10.31 5.72 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 22.54 13.36 None loops/vogal_false-unreach-call.i TIMEOUT (ERROR (143)) 301.08 259.01 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 7.68 4.33 None loops/array_true-unreach-call_true-termination.i TRUE 21.41 14.97 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 8.35 4.64 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 10.67 6.01 None loops/eureka_01_true-unreach-call.i TIMEOUT (ERROR (143)) 303.36 267.03 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.18 264.18 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 7.88 4.50 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.55 4.73 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.85 240.25 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 302.74 281.53 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT (ERROR (143)) 301.36 279.90 None loops/lu.cmp_true-unreach-call.i TIMEOUT (ERROR (143)) 309.80 245.06 None loops/matrix_true-unreach-call_true-termination.i TRUE 13.16 7.55 None loops/n.c11_true-unreach-call_false-termination.i TRUE 12.29 6.99 None loops/n.c40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.23 240.37 None loops/nec40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.21 242.12 None loops/string_true-unreach-call_true-termination.i TRUE 11.66 6.54 None loops/sum01_true-unreach-call_true-termination.i TRUE 13.06 7.59 None loops/sum03_true-unreach-call_false-termination.i TRUE 7.81 4.39 None loops/sum04_true-unreach-call_true-termination.i TRUE 14.52 8.34 None loops/sum_array_true-unreach-call.i TIMEOUT (ERROR (143)) 301.05 264.21 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 9.55 5.36 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 8.27 4.65 None loops/trex01_true-unreach-call_true-termination.i TRUE 8.09 4.55 None loops/trex02_true-unreach-call_true-termination.i TRUE 7.84 4.43 None loops/trex03_true-unreach-call_true-termination.i TRUE 8.24 4.60 None loops/trex04_true-unreach-call_false-termination.i TRUE 8.73 4.81 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 9.19 5.14 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 10.35 5.69 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 8.18 4.57 None loops/vogal_true-unreach-call.i ERROR: EXCEPTION 53.03 33.90 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.17 4.57 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.25 4.61 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 8.28 4.64 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.71 272.32 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.76 274.71 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 305.81 268.15 None loop-acceleration/const_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.51 288.55 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.53 279.18 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 306.39 291.69 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 6.99 3.99 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.39 288.31 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.40 290.35 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 7.32 4.07 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.27 296.71 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 7.60 4.16 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 7.27 4.08 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT (ERROR (143)) 306.37 295.79 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 11.12 6.25 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 12.09 6.73 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 11.93 6.72 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.57 276.41 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 13.44 7.59 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT (ERROR (143)) 305.77 266.51 None loop-acceleration/const_true-unreach-call1.i TRUE 10.11 5.66 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.66 285.48 None loop-acceleration/diamond_true-unreach-call2.i TRUE 157.60 144.80 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 306.40 290.98 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 8.53 4.70 None loop-acceleration/nested_true-unreach-call1.i TRUE 19.99 13.93 None loop-acceleration/overflow_true-unreach-call1.i TIMEOUT (ERROR (143)) 306.27 295.84 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT (ERROR (143)) 301.74 283.89 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 10.64 6.01 None loop-acceleration/simple_true-unreach-call1.i TIMEOUT (ERROR (143)) 306.31 296.16 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 7.91 4.35 None loop-acceleration/simple_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 306.29 297.37 None loop-acceleration/simple_true-unreach-call4.i TRUE 9.16 5.14 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 56.09 49.27 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 10.17 5.76 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 8.35 4.57 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.59 290.79 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 300.82 284.56 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 306.36 291.31 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TRUE 84.12 77.17 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 7.91 4.36 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 14.79 10.11 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c TIMEOUT (ERROR (143)) 303.68 297.13 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c TIMEOUT (ERROR (143)) 302.60 293.93 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 9.90 5.53 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 12.74 7.28 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 10.85 6.13 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 18.40 11.16 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 17.52 10.23 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 13.90 8.27 None loop-invgen/down_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.55 236.58 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.54 239.07 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.66 244.22 None loop-invgen/heapsort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.68 271.48 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 8.94 5.06 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 13.62 7.81 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 8.34 4.61 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 15.10 8.77 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 17.14 9.98 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 26.59 16.82 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.03 246.60 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.45 255.73 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.62 240.32 None loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c TRUE 25.93 15.23 None loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c TRUE 29.08 17.27 None loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c TRUE 27.89 16.78 None loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c TRUE 48.41 31.09 None loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c TRUE 62.61 38.76 None loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c TRUE 26.71 15.77 None loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c TRUE 24.55 14.48 None loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c TRUE 20.26 11.35 None loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c TRUE 19.06 11.04 None loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c TRUE 10.50 5.88 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 10.21 5.67 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 14.43 8.44 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 11.27 6.48 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 12.99 7.37 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 10.52 5.83 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 9.02 5.00 None loop-lit/ddlm2013_true-unreach-call.i TRUE 18.06 10.34 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 135.58 89.21 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 12.66 7.15 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TRUE 199.36 149.96 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 9.47 5.31 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 11.10 6.27 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 11.54 6.43 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 11.76 6.60 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (143)) 300.80 251.87 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 7.82 4.36 None loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c TRUE 139.81 95.94 None loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c TRUE 168.47 122.01 None loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c TRUE 8.89 4.96 None loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c TRUE 9.31 5.18 None loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c TRUE 10.26 5.74 None loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c TRUE 11.41 6.35 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 9.99 5.66 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 10.22 5.84 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.71 234.25 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.68 252.13 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.72 234.64 None loop-new/gauss_sum_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.41 250.13 None loop-new/half_true-unreach-call_true-termination.i TRUE 18.84 11.55 None loop-new/nested_true-unreach-call_true-termination.i TRUE 202.92 160.92 None loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c TIMEOUT (ERROR (143)) 301.17 258.04 None loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c TIMEOUT (ERROR (143)) 300.58 257.37 None loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c TIMEOUT (ERROR (143)) 301.15 258.07 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 6.06 3.24 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 6.32 3.33 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.12 3.25 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 5.88 3.19 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c TRUE 64.68 52.54 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c TRUE 148.25 134.59 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c TIMEOUT (ERROR (143)) 301.07 271.60 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c TRUE 52.61 35.81 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 16.13 12.03 None loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c TRUE 29.51 24.72 None loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c TRUE 38.07 32.57 None loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c TRUE 22.57 18.33 None loop-industry-pattern/nested_true-unreach-call.c TIMEOUT (ERROR (143)) 300.53 261.69 None loop-industry-pattern/ofuf_1_true-unreach-call.c ERROR: EXCEPTION 6.22 3.29 None loop-industry-pattern/ofuf_2_true-unreach-call.c ERROR: EXCEPTION 6.24 3.34 None loop-industry-pattern/ofuf_3_true-unreach-call.c ERROR: EXCEPTION 5.91 3.22 None loop-industry-pattern/ofuf_4_true-unreach-call.c ERROR: EXCEPTION 6.11 3.25 None loop-industry-pattern/ofuf_5_true-unreach-call.c ERROR: EXCEPTION 6.39 3.37 None loops/heavy_true-unreach-call.c OUT OF MEMORY 179.16 107.77 None loops/compact_false-unreach-call.c TIMEOUT (ERROR (143)) 309.45 243.28 None loops/heavy_false-unreach-call.c OUT OF MEMORY 173.09 101.51 None loops-crafted-1/Mono1_false-unreach-call1.c TIMEOUT (ERROR (143)) 306.33 293.96 None loops-crafted-1/Mono3_false-unreach-call1.c TIMEOUT (ERROR (143)) 306.35 291.61 None loops-crafted-1/Mono4_false-unreach-call1.c TIMEOUT (ERROR (143)) 300.72 237.17 None loops-crafted-1/Mono5_false-unreach-call1.c TIMEOUT (ERROR (143)) 306.30 294.98 None loops-crafted-1/Mono6_false-unreach-call1.c TIMEOUT (ERROR (143)) 306.32 294.37 None loops-crafted-1/nested3_false-unreach-call.c TIMEOUT (ERROR (143)) 306.31 294.81 None loops-crafted-1/nested5_false-unreach-call.c TIMEOUT (ERROR (143)) 306.31 293.94 None loops-crafted-1/Mono1_true-unreach-call1.c TIMEOUT (ERROR (143)) 301.12 288.31 None loops-crafted-1/nested3_true-unreach-call.c TRUE 95.93 80.92 None loops-crafted-1/nested5_true-unreach-call.c TRUE 45.72 39.88 None loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c UNKNOWN: OverapproxCex 8.01 4.41 None loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 8.07 4.48 None loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 8.75 4.89 None loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 8.51 4.72 None loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TIMEOUT (ERROR (143)) 300.72 234.43 None loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TIMEOUT (ERROR (143)) 300.64 236.02 None loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TIMEOUT (ERROR (143)) 300.69 234.77 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 20225.08 1568.45 - Taipan.Loops Run set 2 of 2 with options '-tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- loops/array_false-unreach-call_true-termination.i FALSE 9.00 5.02 None loops/bubble_sort_false-unreach-call.i FALSE 16.28 8.78 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 7.94 4.58 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 321.44 268.86 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 12.28 6.97 None loops/insertion_sort_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 303.00 265.31 None loops/invert_string_false-unreach-call_true-termination.i ERROR: EXCEPTION 150.38 120.48 None loops/linear_search_false-unreach-call.i TIMEOUT (ERROR (143)) 300.73 249.87 None loops/ludcmp_false-unreach-call.i TIMEOUT (ERROR (143)) 305.70 254.81 None loops/matrix_false-unreach-call_true-termination.i FALSE 14.70 8.08 None loops/n.c24_false-unreach-call.i TIMEOUT (ERROR (143)) 300.84 231.37 None loops/nec11_false-unreach-call_false-termination.i FALSE 8.02 4.48 None loops/nec20_false-unreach-call_true-termination.i FALSE 8.44 4.75 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 44.71 24.59 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 19.32 10.87 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 22.52 13.50 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 16.71 9.84 None loops/sum01_false-unreach-call_true-termination.i FALSE 21.53 12.87 None loops/sum03_false-unreach-call_true-termination.i FALSE 27.92 16.15 None loops/sum04_false-unreach-call_true-termination.i FALSE 14.40 8.16 None loops/sum_array_false-unreach-call.i FALSE 10.89 5.89 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 8.45 4.65 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 7.72 4.30 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 8.48 4.68 None loops/trex01_false-unreach-call_true-termination.i FALSE 8.27 4.62 None loops/trex02_false-unreach-call_true-termination.i FALSE 7.67 4.39 None loops/trex03_false-unreach-call_true-termination.i FALSE 7.57 4.33 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 14.56 8.28 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 82.65 49.27 None loops/vogal_false-unreach-call.i TIMEOUT (ERROR (143)) 300.98 256.05 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 7.67 4.30 None loops/array_true-unreach-call_true-termination.i TRUE 15.69 8.88 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 8.08 4.54 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 13.84 7.76 None loops/eureka_01_true-unreach-call.i TIMEOUT (ERROR (143)) 302.17 228.09 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 302.54 259.27 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.36 4.65 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.52 4.75 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 302.49 251.03 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 302.38 266.66 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT (ERROR (143)) 301.82 275.55 None loops/lu.cmp_true-unreach-call.i TIMEOUT (ERROR (143)) 305.62 260.45 None loops/matrix_true-unreach-call_true-termination.i TRUE 22.82 13.17 None loops/n.c11_true-unreach-call_false-termination.i TRUE 14.40 8.39 None loops/n.c40_true-unreach-call_true-termination.i TRUE 56.82 32.19 None loops/nec40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 305.22 280.01 None loops/string_true-unreach-call_true-termination.i TRUE 37.00 19.64 None loops/sum01_true-unreach-call_true-termination.i TRUE 15.95 9.38 None loops/sum03_true-unreach-call_false-termination.i TRUE 8.46 4.76 None loops/sum04_true-unreach-call_true-termination.i TRUE 16.22 9.58 None loops/sum_array_true-unreach-call.i TIMEOUT (ERROR: EXCEPTION) 300.42 265.34 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 9.39 5.23 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 8.58 4.88 None loops/trex01_true-unreach-call_true-termination.i TRUE 8.53 4.82 None loops/trex02_true-unreach-call_true-termination.i TRUE 8.18 4.61 None loops/trex03_true-unreach-call_true-termination.i TRUE 9.01 4.99 None loops/trex04_true-unreach-call_false-termination.i TRUE 8.50 4.76 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 16.68 9.83 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 10.40 5.81 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 8.74 4.87 None loops/vogal_true-unreach-call.i TIMEOUT (ERROR (143)) 301.29 249.24 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 7.91 4.49 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.37 4.67 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 9.18 5.13 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.14 235.78 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 300.89 233.40 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 301.00 246.59 None loop-acceleration/const_false-unreach-call1.i TIMEOUT (ERROR (143)) 300.89 283.12 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT (ERROR (143)) 300.70 271.07 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 300.23 257.55 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 7.68 4.29 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT (ERROR (143)) 301.14 249.59 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT (ERROR (143)) 300.55 249.25 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 7.19 3.99 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT (ERROR (143)) 300.19 253.60 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 7.76 4.32 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 7.97 4.39 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT (ERROR (143)) 300.36 250.56 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 13.73 7.77 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 14.08 8.18 None loop-acceleration/array_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 300.94 233.67 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 300.77 235.32 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 12.89 7.10 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT (ERROR (143)) 300.32 239.43 None loop-acceleration/const_true-unreach-call1.i TIMEOUT (ERROR (143)) 300.30 282.88 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 300.66 272.99 None loop-acceleration/diamond_true-unreach-call2.i TRUE 253.77 237.25 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.03 258.22 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 8.37 4.65 None loop-acceleration/nested_true-unreach-call1.i TIMEOUT (ERROR (143)) 302.09 248.93 None loop-acceleration/overflow_true-unreach-call1.i TRUE 9.15 5.18 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT (ERROR (143)) 300.37 251.52 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 20.35 14.07 None loop-acceleration/simple_true-unreach-call1.i TRUE 10.11 5.60 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 8.01 4.43 None loop-acceleration/simple_true-unreach-call3_true-termination.i TRUE 11.86 6.42 None loop-acceleration/simple_true-unreach-call4.i TRUE 9.99 5.56 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 113.98 106.42 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 15.02 8.70 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 8.17 4.52 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 300.44 276.36 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 300.42 281.66 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 300.43 245.69 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TIMEOUT (ERROR: EXCEPTION) 301.07 291.58 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 8.11 4.54 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 8.54 4.73 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c TIMEOUT (ERROR (143)) 303.15 289.86 None loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c TIMEOUT (ERROR (143)) 303.36 286.82 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 11.77 6.61 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 14.31 8.17 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 13.65 7.80 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 159.50 96.59 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 80.09 46.96 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 17.51 10.05 None loop-invgen/down_true-unreach-call_true-termination.i TRUE 13.91 7.66 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.73 232.94 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.61 241.40 None loop-invgen/heapsort_true-unreach-call_true-termination.i TRUE 241.53 182.09 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 14.29 7.91 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 29.86 17.06 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 8.41 4.75 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 64.45 39.91 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 20.74 11.96 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 57.18 33.87 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.63 239.73 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TRUE 14.35 8.08 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.77 231.41 None loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c TRUE 27.56 15.85 None loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c TRUE 97.56 60.07 None loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c TRUE 26.79 16.47 None loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c TRUE 47.09 30.49 None loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c TRUE 61.26 37.04 None loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c TRUE 26.48 15.73 None loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c TRUE 22.16 13.26 None loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c TRUE 19.82 11.19 None loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c TRUE 19.68 11.15 None loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c TRUE 10.16 5.81 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 11.15 6.42 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 17.72 10.28 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 12.57 7.26 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 14.30 8.21 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 12.09 6.77 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 8.79 4.98 None loop-lit/ddlm2013_true-unreach-call.i TRUE 26.27 18.37 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 240.54 173.91 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 17.16 9.63 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TRUE 178.79 127.48 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 10.34 5.79 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 12.69 7.23 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 15.60 9.24 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 16.97 10.09 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (143)) 302.32 282.47 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 7.91 4.42 None loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c TRUE 217.97 163.77 None loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c TRUE 164.76 117.45 None loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c TRUE 10.40 5.72 None loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c TRUE 10.24 5.73 None loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c TRUE 11.23 6.26 None loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c TRUE 14.80 8.46 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 9.68 5.43 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 10.27 5.69 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.90 237.60 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.52 251.44 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.79 237.61 None loop-new/gauss_sum_true-unreach-call_true-termination.i TRUE 23.33 16.67 None loop-new/half_true-unreach-call_true-termination.i TRUE 32.80 23.65 None loop-new/nested_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.21 242.41 None loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c TRUE 17.79 12.09 None loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c TRUE 33.44 27.22 None loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c TRUE 17.41 11.86 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 6.55 3.46 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 6.39 3.38 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.18 3.31 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.19 3.27 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c TIMEOUT (ERROR (143)) 301.37 259.30 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c TIMEOUT (ERROR (143)) 300.72 254.38 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c ERROR: EXCEPTION 27.81 16.53 None loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c TRUE 65.96 48.33 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 33.85 29.14 None loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c TRUE 18.63 13.92 None loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c TRUE 18.31 12.99 None loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c TRUE 54.36 48.70 None loop-industry-pattern/nested_true-unreach-call.c TRUE 38.06 21.30 None loop-industry-pattern/ofuf_1_true-unreach-call.c ERROR: EXCEPTION 6.34 3.36 None loop-industry-pattern/ofuf_2_true-unreach-call.c ERROR: EXCEPTION 6.32 3.34 None loop-industry-pattern/ofuf_3_true-unreach-call.c ERROR: EXCEPTION 6.64 3.53 None loop-industry-pattern/ofuf_4_true-unreach-call.c ERROR: EXCEPTION 6.24 3.31 None loop-industry-pattern/ofuf_5_true-unreach-call.c ERROR: EXCEPTION 6.67 3.51 None loops/heavy_true-unreach-call.c OUT OF MEMORY 162.90 97.83 None loops/compact_false-unreach-call.c TIMEOUT (ERROR (143)) 305.59 261.40 None loops/heavy_false-unreach-call.c OUT OF MEMORY 168.70 101.66 None loops-crafted-1/Mono1_false-unreach-call1.c TIMEOUT (ERROR (143)) 300.19 248.41 None loops-crafted-1/Mono3_false-unreach-call1.c TIMEOUT (ERROR (143)) 300.45 258.78 None loops-crafted-1/Mono4_false-unreach-call1.c TIMEOUT (ERROR (143)) 301.02 229.08 None loops-crafted-1/Mono5_false-unreach-call1.c TIMEOUT (ERROR (143)) 300.61 247.53 None loops-crafted-1/Mono6_false-unreach-call1.c TIMEOUT (ERROR (143)) 300.39 247.37 None loops-crafted-1/nested3_false-unreach-call.c TIMEOUT (ERROR (143)) 300.73 246.56 None loops-crafted-1/nested5_false-unreach-call.c TIMEOUT (ERROR (143)) 301.27 248.29 None loops-crafted-1/Mono1_true-unreach-call1.c TIMEOUT (ERROR (143)) 301.24 253.72 None loops-crafted-1/nested3_true-unreach-call.c TIMEOUT (ERROR (143)) 301.20 251.76 None loops-crafted-1/nested5_true-unreach-call.c TRUE 26.47 15.63 None loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c FALSE 7.59 4.27 None loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 8.72 4.88 None loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 8.19 4.59 None loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 8.23 4.62 None loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.92 6.02 None loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 10.89 6.03 None loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c TRUE 12.61 7.02 None ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 21309.66 1395.08 - Statistics: 416 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 416