BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-reach-loops-taipan-nowrapper.xml name: svcomp19-reach-loops-taipan-nowrapper run sets: Automizer.Loops, Taipan.Loops date: Mon, 2018-10-22 15:35:56 CEST tool: ULTIMATE Automizer 0.1.23-8c3fbe1c 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.08 7.35 None loops/bubble_sort_false-unreach-call.i FALSE 14.23 7.86 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 7.55 4.32 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.26 256.53 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 11.37 6.55 None loops/insertion_sort_false-unreach-call_true-termination.i FALSE 173.57 132.77 None loops/invert_string_false-unreach-call_true-termination.i FALSE 29.50 18.31 None loops/linear_search_false-unreach-call.i TIMEOUT (ERROR (143)) 300.86 280.05 None loops/ludcmp_false-unreach-call.i TIMEOUT (ERROR (143)) 306.16 239.98 None loops/matrix_false-unreach-call_true-termination.i FALSE 10.26 5.85 None loops/n.c24_false-unreach-call.i TIMEOUT (ERROR (143)) 300.29 241.98 None loops/nec11_false-unreach-call_false-termination.i FALSE 7.65 4.28 None loops/nec20_false-unreach-call_true-termination.i FALSE 8.58 4.81 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 82.46 51.47 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 14.68 8.15 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 17.95 10.61 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 13.41 7.79 None loops/sum01_false-unreach-call_true-termination.i FALSE 17.75 10.48 None loops/sum03_false-unreach-call_true-termination.i FALSE 196.88 186.11 None loops/sum04_false-unreach-call_true-termination.i FALSE 10.46 5.95 None loops/sum_array_false-unreach-call.i FALSE 10.20 5.65 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 8.28 4.52 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 7.70 4.23 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 8.23 4.49 None loops/trex01_false-unreach-call_true-termination.i FALSE 8.14 4.47 None loops/trex02_false-unreach-call_true-termination.i FALSE 7.66 4.32 None loops/trex03_false-unreach-call_true-termination.i FALSE 7.91 4.37 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 10.46 5.79 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 23.67 13.85 None loops/vogal_false-unreach-call.i TIMEOUT (ERROR (143)) 301.21 256.24 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 7.53 4.23 None loops/array_true-unreach-call_true-termination.i TRUE 19.51 13.00 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 7.84 4.44 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 10.93 6.22 None loops/eureka_01_true-unreach-call.i TIMEOUT (ERROR (143)) 302.26 265.59 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.14 277.67 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.06 4.55 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.38 4.68 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.25 239.77 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.37 281.47 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT (ERROR (143)) 300.48 281.58 None loops/lu.cmp_true-unreach-call.i TIMEOUT (ERROR (143)) 310.95 240.55 None loops/matrix_true-unreach-call_true-termination.i TRUE 12.72 7.38 None loops/n.c11_true-unreach-call_false-termination.i TRUE 12.43 7.04 None loops/n.c40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.18 241.24 None loops/nec40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.17 242.29 None loops/string_true-unreach-call_true-termination.i TRUE 11.07 6.35 None loops/sum01_true-unreach-call_true-termination.i TRUE 13.10 7.63 None loops/sum03_true-unreach-call_false-termination.i TRUE 7.47 4.26 None loops/sum04_true-unreach-call_true-termination.i TRUE 13.69 7.92 None loops/sum_array_true-unreach-call.i TIMEOUT (ERROR (143)) 300.53 270.70 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 10.83 6.05 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 8.72 4.90 None loops/trex01_true-unreach-call_true-termination.i TRUE 9.61 5.34 None loops/trex02_true-unreach-call_true-termination.i TRUE 8.29 4.63 None loops/trex03_true-unreach-call_true-termination.i TRUE 8.98 4.97 None loops/trex04_true-unreach-call_false-termination.i TRUE 10.04 5.54 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 8.53 4.80 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 10.02 5.56 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 8.65 4.68 None loops/vogal_true-unreach-call.i TIMEOUT (ERROR (143)) 300.35 255.69 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.07 4.56 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.94 5.02 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 8.38 4.69 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.61 263.07 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.72 273.82 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 305.48 268.65 None loop-acceleration/const_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.55 288.02 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT (ERROR (143)) 301.33 274.62 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 300.74 286.40 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 7.36 4.14 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.37 288.86 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.38 290.67 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 7.47 4.13 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.27 297.44 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 7.19 4.01 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 7.21 4.05 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT (ERROR (143)) 306.28 296.62 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 11.52 6.40 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 11.72 6.48 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 12.12 6.75 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.59 276.20 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 13.15 7.47 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT (ERROR (143)) 305.78 266.66 None loop-acceleration/const_true-unreach-call1.i TRUE 10.01 5.68 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.64 283.33 None loop-acceleration/diamond_true-unreach-call2.i TRUE 177.67 163.84 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 306.45 290.52 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 8.55 4.76 None loop-acceleration/nested_true-unreach-call1.i TRUE 17.01 11.45 None loop-acceleration/overflow_true-unreach-call1.i TIMEOUT (ERROR (143)) 305.43 291.35 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT (ERROR (143)) 300.85 288.88 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 10.14 5.70 None loop-acceleration/simple_true-unreach-call1.i TIMEOUT (ERROR (143)) 306.35 295.38 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 7.82 4.36 None loop-acceleration/simple_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 306.29 296.66 None loop-acceleration/simple_true-unreach-call4.i TRUE 10.19 5.66 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 56.32 49.55 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 10.03 5.69 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 7.72 4.25 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 302.50 292.18 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.55 287.80 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 300.11 285.13 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TRUE 45.80 38.93 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 7.54 4.26 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 14.40 9.88 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 9.83 5.49 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 13.15 7.50 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 11.61 6.46 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 19.29 11.58 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 17.45 10.15 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 14.85 8.76 None loop-invgen/down_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.90 236.37 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.51 241.58 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.46 243.71 None loop-invgen/heapsort_true-unreach-call_true-termination.i TRUE 271.85 239.84 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 9.57 5.34 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 14.04 7.89 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 8.38 4.61 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 15.00 8.65 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 16.63 9.64 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 26.39 16.68 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.00 247.04 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.06 256.37 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.67 237.61 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 9.82 5.56 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 13.95 8.17 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 11.61 6.61 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 12.54 7.06 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 9.79 5.46 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 8.50 4.69 None loop-lit/ddlm2013_true-unreach-call.i TRUE 16.94 9.78 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 137.66 90.58 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 12.07 6.87 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TRUE 207.36 153.86 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 9.00 5.06 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 11.70 6.39 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 11.27 6.37 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 11.43 6.31 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (143)) 301.54 252.85 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 7.81 4.36 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 9.55 5.40 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 10.37 5.86 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.87 233.65 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.06 252.32 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.84 234.24 None loop-new/gauss_sum_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.34 249.92 None loop-new/half_true-unreach-call_true-termination.i TRUE 19.80 11.97 None loop-new/nested_true-unreach-call_true-termination.i TRUE 206.00 161.74 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 6.27 3.29 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 5.97 3.23 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.03 3.23 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.23 3.34 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 16.99 12.55 None loop-industry-pattern/nested_true-unreach-call.c TIMEOUT (ERROR (143)) 300.60 264.34 None loop-industry-pattern/ofuf_1_true-unreach-call.c ERROR: EXCEPTION 6.38 3.39 None loop-industry-pattern/ofuf_2_true-unreach-call.c ERROR: EXCEPTION 5.63 3.09 None loop-industry-pattern/ofuf_3_true-unreach-call.c ERROR: EXCEPTION 6.15 3.26 None loop-industry-pattern/ofuf_4_true-unreach-call.c ERROR: EXCEPTION 6.25 3.30 None loop-industry-pattern/ofuf_5_true-unreach-call.c ERROR: EXCEPTION 6.17 3.26 None loops/heavy_true-unreach-call.c OUT OF MEMORY 159.91 89.09 None loops/compact_false-unreach-call.c TIMEOUT (ERROR (143)) 308.20 237.59 None loops/heavy_false-unreach-call.c OUT OF MEMORY 168.37 100.37 None --------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 15136.05 1168.79 - 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.26 5.13 None loops/bubble_sort_false-unreach-call.i FALSE 16.39 8.84 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 7.53 4.29 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.26 281.24 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 11.93 6.70 None loops/insertion_sort_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.80 268.51 None loops/invert_string_false-unreach-call_true-termination.i FALSE 57.08 37.25 None loops/linear_search_false-unreach-call.i TIMEOUT (ERROR (143)) 300.69 255.77 None loops/ludcmp_false-unreach-call.i TIMEOUT (ERROR (143)) 305.78 247.73 None loops/matrix_false-unreach-call_true-termination.i FALSE 15.05 8.23 None loops/n.c24_false-unreach-call.i TIMEOUT (ERROR (143)) 300.35 238.98 None loops/nec11_false-unreach-call_false-termination.i FALSE 7.62 4.30 None loops/nec20_false-unreach-call_true-termination.i FALSE 8.89 4.93 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 47.10 25.68 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 19.08 10.65 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 24.63 14.72 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 17.82 10.49 None loops/sum01_false-unreach-call_true-termination.i FALSE 27.30 15.94 None loops/sum03_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.87 291.01 None loops/sum04_false-unreach-call_true-termination.i FALSE 15.16 8.61 None loops/sum_array_false-unreach-call.i FALSE 10.66 5.78 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 8.03 4.52 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 7.91 4.46 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 8.41 4.68 None loops/trex01_false-unreach-call_true-termination.i FALSE 8.13 4.46 None loops/trex02_false-unreach-call_true-termination.i FALSE 7.91 4.41 None loops/trex03_false-unreach-call_true-termination.i FALSE 7.66 4.32 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 15.35 8.78 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 80.98 49.24 None loops/vogal_false-unreach-call.i TIMEOUT (ERROR (143)) 301.08 253.13 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 8.12 4.47 None loops/array_true-unreach-call_true-termination.i TRUE 18.22 11.38 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 8.14 4.78 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 22.41 15.74 None loops/eureka_01_true-unreach-call.i TIMEOUT (ERROR (143)) 300.85 254.02 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.69 266.75 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.62 4.74 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.59 4.79 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.46 265.46 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.01 268.29 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT (ERROR (143)) 300.40 269.60 None loops/lu.cmp_true-unreach-call.i TIMEOUT (ERROR (143)) 305.75 249.40 None loops/matrix_true-unreach-call_true-termination.i TRUE 24.29 13.93 None loops/n.c11_true-unreach-call_false-termination.i TRUE 14.51 8.53 None loops/n.c40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 305.06 280.17 None loops/nec40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 305.53 285.32 None loops/string_true-unreach-call_true-termination.i TRUE 37.46 19.82 None loops/sum01_true-unreach-call_true-termination.i TRUE 16.34 9.63 None loops/sum03_true-unreach-call_false-termination.i TRUE 8.42 4.62 None loops/sum04_true-unreach-call_true-termination.i TRUE 17.90 10.62 None loops/sum_array_true-unreach-call.i ERROR: EXCEPTION 165.54 131.55 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 9.11 5.12 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 9.30 5.10 None loops/trex01_true-unreach-call_true-termination.i TRUE 8.68 4.87 None loops/trex02_true-unreach-call_true-termination.i TRUE 8.23 4.65 None loops/trex03_true-unreach-call_true-termination.i TRUE 9.15 5.11 None loops/trex04_true-unreach-call_false-termination.i TRUE 8.44 4.73 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 16.38 9.59 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 10.69 5.90 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 8.66 4.86 None loops/vogal_true-unreach-call.i TIMEOUT (ERROR (143)) 301.12 248.93 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.26 4.67 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.50 4.78 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 8.24 4.66 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 300.89 261.38 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.38 276.75 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 305.84 268.87 None loop-acceleration/const_false-unreach-call1.i TIMEOUT (ERROR (143)) 303.16 286.91 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT (ERROR (143)) 300.82 274.25 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.55 279.51 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 7.93 4.40 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.41 284.37 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.50 284.33 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 7.86 4.34 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.55 291.63 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 7.35 4.16 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 7.74 4.30 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT (ERROR (143)) 301.22 288.45 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 16.09 9.65 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 15.30 8.96 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 14.25 8.04 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.58 276.84 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 13.39 7.26 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT (ERROR (143)) 306.10 268.25 None loop-acceleration/const_true-unreach-call1.i TRUE 9.98 5.56 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.47 280.91 None loop-acceleration/diamond_true-unreach-call2.i TRUE 255.70 235.35 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.59 281.08 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 8.13 4.62 None loop-acceleration/nested_true-unreach-call1.i TRUE 32.09 24.15 None loop-acceleration/overflow_true-unreach-call1.i TRUE 9.46 5.24 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT (ERROR (143)) 305.66 285.86 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 93.94 73.79 None loop-acceleration/simple_true-unreach-call1.i TRUE 9.59 5.35 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 8.29 4.67 None loop-acceleration/simple_true-unreach-call3_true-termination.i TRUE 11.15 6.15 None loop-acceleration/simple_true-unreach-call4.i TRUE 10.45 5.78 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 100.65 92.19 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 13.16 7.49 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 8.01 4.55 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.99 288.38 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i ERROR: EXCEPTION 264.13 248.54 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 305.50 280.95 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TIMEOUT (ERROR: EXCEPTION) 301.17 291.26 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 7.50 4.26 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 8.42 4.69 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 11.92 6.63 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 15.13 8.59 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 14.79 8.28 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 134.50 85.36 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 75.26 45.48 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 18.89 10.80 None loop-invgen/down_true-unreach-call_true-termination.i TRUE 14.22 7.90 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.92 232.17 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.54 234.82 None loop-invgen/heapsort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.90 239.43 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 14.95 8.34 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 29.74 17.13 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 8.74 4.92 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 68.67 44.26 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 20.00 11.63 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 53.86 32.13 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.83 240.60 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TRUE 14.84 8.31 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.58 234.34 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 12.81 7.12 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 18.44 10.70 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 13.16 7.59 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 14.03 8.08 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 11.63 6.55 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 8.89 4.96 None loop-lit/ddlm2013_true-unreach-call.i TRUE 22.12 14.48 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 216.67 162.72 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 16.77 9.55 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (143)) 300.58 233.85 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 10.50 5.84 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 12.55 7.16 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 16.66 9.90 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 16.88 10.17 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (143)) 300.82 278.86 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 7.84 4.34 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 10.03 5.52 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 9.59 5.42 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.92 238.43 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.46 248.32 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.81 237.32 None loop-new/gauss_sum_true-unreach-call_true-termination.i TRUE 41.13 32.32 None loop-new/half_true-unreach-call_true-termination.i TRUE 38.41 26.55 None loop-new/nested_true-unreach-call_true-termination.i TRUE 245.28 196.19 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 5.81 3.18 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 6.21 3.28 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.26 3.31 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.43 3.44 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 29.60 25.22 None loop-industry-pattern/nested_true-unreach-call.c TRUE 42.07 22.98 None loop-industry-pattern/ofuf_1_true-unreach-call.c ERROR: EXCEPTION 6.34 3.40 None loop-industry-pattern/ofuf_2_true-unreach-call.c ERROR: EXCEPTION 6.49 3.46 None loop-industry-pattern/ofuf_3_true-unreach-call.c ERROR: EXCEPTION 6.44 3.44 None loop-industry-pattern/ofuf_4_true-unreach-call.c ERROR: EXCEPTION 6.35 3.38 None loop-industry-pattern/ofuf_5_true-unreach-call.c ERROR: EXCEPTION 6.34 3.38 None loops/heavy_true-unreach-call.c OUT OF MEMORY 202.34 120.11 None loops/compact_false-unreach-call.c TIMEOUT (ERROR (143)) 305.54 264.68 None loops/heavy_false-unreach-call.c OUT OF MEMORY 198.72 123.68 None --------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 15745.98 1181.80 - Statistics: 326 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 326