BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-reach-eca-taipan-nowrapper.xml name: svcomp19-reach-eca-taipan-nowrapper run sets: Automizer.Loops, Taipan.Loops, Taipan-EXP.Loops date: Wed, 2018-10-24 11:44:57 CEST tool: ULTIMATE Automizer 0.1.23-d3804244 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 3 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 12.72 7.26 None loops/bubble_sort_false-unreach-call.i FALSE 14.28 7.90 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 8.02 4.36 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.30 254.89 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 11.67 6.77 None loops/insertion_sort_false-unreach-call_true-termination.i FALSE 174.38 133.77 None loops/invert_string_false-unreach-call_true-termination.i FALSE 28.04 17.84 None loops/linear_search_false-unreach-call.i TIMEOUT (ERROR (143)) 301.45 278.57 None loops/ludcmp_false-unreach-call.i TIMEOUT (ERROR (143)) 306.20 239.49 None loops/matrix_false-unreach-call_true-termination.i FALSE 10.54 5.87 None loops/n.c24_false-unreach-call.i TIMEOUT (ERROR (143)) 300.14 246.16 None loops/nec11_false-unreach-call_false-termination.i FALSE 7.77 4.33 None loops/nec20_false-unreach-call_true-termination.i FALSE 8.32 4.63 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 91.44 55.48 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 14.68 8.21 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 17.39 10.38 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 13.78 7.92 None loops/sum01_false-unreach-call_true-termination.i FALSE 17.03 10.19 None loops/sum03_false-unreach-call_true-termination.i FALSE 197.44 186.88 None loops/sum04_false-unreach-call_true-termination.i FALSE 10.75 6.09 None loops/sum_array_false-unreach-call.i FALSE 10.18 5.67 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 8.39 4.65 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 7.34 4.09 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 8.07 4.46 None loops/trex01_false-unreach-call_true-termination.i FALSE 7.86 4.41 None loops/trex02_false-unreach-call_true-termination.i FALSE 8.17 4.50 None loops/trex03_false-unreach-call_true-termination.i FALSE 7.50 4.21 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 9.75 5.45 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 22.25 13.08 None loops/vogal_false-unreach-call.i TIMEOUT (ERROR (143)) 301.16 257.45 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 7.90 4.37 None loops/array_true-unreach-call_true-termination.i TRUE 21.78 15.10 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 7.93 4.46 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 11.14 6.24 None loops/eureka_01_true-unreach-call.i TIMEOUT (ERROR (143)) 300.38 268.48 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.12 267.79 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.21 4.58 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 7.78 4.42 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.94 237.82 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 302.62 281.26 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT (ERROR (143)) 300.62 279.53 None loops/lu.cmp_true-unreach-call.i TIMEOUT (ERROR (143)) 309.74 242.61 None loops/matrix_true-unreach-call_true-termination.i TRUE 13.03 7.45 None loops/n.c11_true-unreach-call_false-termination.i TRUE 12.19 6.88 None loops/n.c40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.22 241.20 None loops/nec40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.22 240.56 None loops/string_true-unreach-call_true-termination.i TRUE 11.79 6.58 None loops/sum01_true-unreach-call_true-termination.i TRUE 13.11 7.59 None loops/sum03_true-unreach-call_false-termination.i TRUE 8.25 4.54 None loops/sum04_true-unreach-call_true-termination.i TRUE 14.75 8.38 None loops/sum_array_true-unreach-call.i TIMEOUT (ERROR (143)) 301.03 268.53 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 9.19 5.09 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 7.57 4.34 None loops/trex01_true-unreach-call_true-termination.i TRUE 8.31 4.65 None loops/trex02_true-unreach-call_true-termination.i TRUE 8.04 4.53 None loops/trex03_true-unreach-call_true-termination.i TRUE 7.95 4.49 None loops/trex04_true-unreach-call_false-termination.i TRUE 8.27 4.63 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 9.19 5.15 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 9.68 5.43 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 8.23 4.52 None loops/vogal_true-unreach-call.i TIMEOUT (ERROR (143)) 305.79 261.29 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.14 4.55 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.08 4.52 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 8.43 4.68 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.61 271.47 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.70 274.98 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 305.83 268.45 None loop-acceleration/const_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.56 288.88 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.79 276.59 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.58 291.08 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 7.28 4.10 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.38 287.83 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.92 291.11 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 7.59 4.25 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.28 297.20 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 7.19 4.02 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 7.78 4.34 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT (ERROR (143)) 306.35 296.03 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 11.64 6.50 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 12.44 6.94 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 12.77 7.13 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.59 276.08 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 13.59 7.63 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT (ERROR (143)) 305.76 267.32 None loop-acceleration/const_true-unreach-call1.i TRUE 10.46 5.91 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.83 285.45 None loop-acceleration/diamond_true-unreach-call2.i TRUE 158.42 145.26 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.49 289.54 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 8.61 4.76 None loop-acceleration/nested_true-unreach-call1.i TRUE 19.69 13.61 None loop-acceleration/overflow_true-unreach-call1.i TIMEOUT (ERROR (143)) 306.30 295.46 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT (ERROR (143)) 306.29 295.32 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 10.32 5.88 None loop-acceleration/simple_true-unreach-call1.i TIMEOUT (ERROR (143)) 306.33 296.09 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 7.95 4.42 None loop-acceleration/simple_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 306.30 296.73 None loop-acceleration/simple_true-unreach-call4.i TRUE 9.47 5.28 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 84.83 78.20 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 9.63 5.39 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 7.82 4.33 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.65 291.18 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 306.41 290.49 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 306.37 291.78 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TRUE 87.03 79.86 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 8.19 4.53 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 14.58 10.07 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 9.96 5.54 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 12.33 7.01 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 10.74 6.04 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 18.19 11.07 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 15.64 9.22 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 14.64 8.64 None loop-invgen/down_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.59 235.33 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.51 240.64 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.36 245.54 None loop-invgen/heapsort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.41 272.15 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 9.49 5.23 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 13.27 7.62 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 8.49 4.72 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 15.70 9.07 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 17.13 9.95 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 29.19 18.03 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.93 250.73 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.94 257.01 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.72 236.68 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 9.62 5.41 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 14.22 8.29 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 11.63 6.59 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 12.43 7.03 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 10.08 5.51 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 8.82 4.93 None loop-lit/ddlm2013_true-unreach-call.i TRUE 17.19 9.85 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 132.44 87.03 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 11.58 6.58 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TRUE 202.01 151.84 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 8.85 4.95 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 11.25 6.32 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 11.03 6.15 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 10.89 6.10 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (143)) 300.24 249.31 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 8.05 4.44 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 10.21 5.70 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 10.34 5.81 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.76 234.02 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.62 253.33 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.86 233.85 None loop-new/gauss_sum_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.36 250.30 None loop-new/half_true-unreach-call_true-termination.i TRUE 18.48 11.48 None loop-new/nested_true-unreach-call_true-termination.i TRUE 203.14 161.01 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 6.19 3.30 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 5.99 3.19 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.04 3.28 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.32 3.32 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 16.54 12.37 None loop-industry-pattern/nested_true-unreach-call.c TIMEOUT (ERROR (143)) 300.83 259.47 None loop-industry-pattern/ofuf_1_true-unreach-call.c ERROR: EXCEPTION 6.58 3.46 None loop-industry-pattern/ofuf_2_true-unreach-call.c ERROR: EXCEPTION 6.57 3.49 None loop-industry-pattern/ofuf_3_true-unreach-call.c ERROR: EXCEPTION 6.36 3.38 None loop-industry-pattern/ofuf_4_true-unreach-call.c ERROR: EXCEPTION 6.40 3.40 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 161.88 106.41 None loops/compact_false-unreach-call.c TIMEOUT (ERROR (143)) 310.77 244.69 None loops/heavy_false-unreach-call.c OUT OF MEMORY 169.38 105.27 None --------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 15090.17 1189.37 - Taipan.Loops Run set 2 of 3 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 8.93 4.96 None loops/bubble_sort_false-unreach-call.i FALSE 15.40 8.46 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 7.86 4.33 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 311.42 273.57 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 12.00 6.72 None loops/insertion_sort_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.67 248.01 None loops/invert_string_false-unreach-call_true-termination.i FALSE 59.73 37.24 None loops/linear_search_false-unreach-call.i TIMEOUT (ERROR (143)) 301.07 259.71 None loops/ludcmp_false-unreach-call.i TIMEOUT (ERROR (143)) 305.68 255.97 None loops/matrix_false-unreach-call_true-termination.i FALSE 14.26 8.02 None loops/n.c24_false-unreach-call.i TIMEOUT (ERROR (143)) 300.66 233.75 None loops/nec11_false-unreach-call_false-termination.i FALSE 7.67 4.76 None loops/nec20_false-unreach-call_true-termination.i FALSE 8.45 5.07 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 48.13 26.14 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 18.07 10.04 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 22.58 13.37 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 17.12 10.09 None loops/sum01_false-unreach-call_true-termination.i FALSE 20.91 12.62 None loops/sum03_false-unreach-call_true-termination.i FALSE 35.02 23.84 None loops/sum04_false-unreach-call_true-termination.i FALSE 13.53 7.55 None loops/sum_array_false-unreach-call.i FALSE 10.32 5.60 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 8.31 4.66 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 7.91 4.35 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 8.46 4.69 None loops/trex01_false-unreach-call_true-termination.i FALSE 7.85 4.43 None loops/trex02_false-unreach-call_true-termination.i FALSE 7.97 4.40 None loops/trex03_false-unreach-call_true-termination.i FALSE 7.61 4.34 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 14.59 8.31 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 80.23 48.34 None loops/vogal_false-unreach-call.i TIMEOUT (ERROR (143)) 301.22 244.83 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 7.70 4.29 None loops/array_true-unreach-call_true-termination.i TRUE 15.07 8.50 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 8.54 4.71 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 12.60 7.08 None loops/eureka_01_true-unreach-call.i TIMEOUT (ERROR (143)) 300.84 259.43 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.86 260.15 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 7.64 4.38 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.28 4.66 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.07 263.81 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 302.41 261.88 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT (ERROR (143)) 300.90 268.49 None loops/lu.cmp_true-unreach-call.i TIMEOUT (ERROR (143)) 305.80 248.95 None loops/matrix_true-unreach-call_true-termination.i TRUE 21.00 12.23 None loops/n.c11_true-unreach-call_false-termination.i TRUE 14.63 8.42 None loops/n.c40_true-unreach-call_true-termination.i TRUE 60.76 34.53 None loops/nec40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 305.65 279.21 None loops/string_true-unreach-call_true-termination.i TRUE 36.75 19.82 None loops/sum01_true-unreach-call_true-termination.i TRUE 17.17 10.00 None loops/sum03_true-unreach-call_false-termination.i TRUE 9.74 5.29 None loops/sum04_true-unreach-call_true-termination.i TRUE 17.37 10.23 None loops/sum_array_true-unreach-call.i TIMEOUT (ERROR: EXCEPTION) 300.58 258.72 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 9.33 5.20 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 8.52 4.76 None loops/trex01_true-unreach-call_true-termination.i TRUE 8.49 4.63 None loops/trex02_true-unreach-call_true-termination.i TRUE 8.30 4.70 None loops/trex03_true-unreach-call_true-termination.i TRUE 8.82 4.87 None loops/trex04_true-unreach-call_false-termination.i TRUE 9.38 5.21 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 15.35 9.02 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 10.36 5.79 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 9.36 5.19 None loops/vogal_true-unreach-call.i TIMEOUT (ERROR (143)) 300.80 244.21 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.33 4.59 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.07 4.47 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 8.84 4.97 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.20 258.76 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.80 273.93 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 300.22 242.90 None loop-acceleration/const_false-unreach-call1.i TIMEOUT (ERROR (143)) 301.54 284.72 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.73 277.49 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 301.19 281.79 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 7.68 4.26 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT (ERROR (143)) 306.02 290.46 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.61 277.75 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 7.74 4.32 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.59 287.74 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 7.75 4.31 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 7.50 4.21 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT (ERROR (143)) 305.42 282.34 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 13.57 7.74 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 14.44 8.27 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 13.51 7.51 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.67 273.86 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 13.34 7.27 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT (ERROR (143)) 306.24 260.20 None loop-acceleration/const_true-unreach-call1.i TRUE 10.30 5.84 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 300.37 277.46 None loop-acceleration/diamond_true-unreach-call2.i TRUE 270.91 252.26 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.60 279.34 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 8.35 4.63 None loop-acceleration/nested_true-unreach-call1.i TRUE 35.55 28.53 None loop-acceleration/overflow_true-unreach-call1.i TRUE 9.32 5.14 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT (ERROR (143)) 301.18 273.18 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 95.02 75.81 None loop-acceleration/simple_true-unreach-call1.i TRUE 9.61 5.39 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 7.59 4.28 None loop-acceleration/simple_true-unreach-call3_true-termination.i TRUE 10.96 6.06 None loop-acceleration/simple_true-unreach-call4.i TRUE 10.27 5.62 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 75.89 68.06 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 11.35 6.34 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 8.40 4.64 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 306.21 281.51 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 306.41 288.07 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 306.15 288.99 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TIMEOUT (ERROR: EXCEPTION) 301.08 292.64 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 8.19 4.55 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 8.23 4.53 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 11.96 6.63 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 14.45 8.29 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 14.29 8.02 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 143.59 88.86 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 77.22 45.58 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 17.58 10.04 None loop-invgen/down_true-unreach-call_true-termination.i TRUE 13.90 7.71 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.78 229.13 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.23 241.49 None loop-invgen/heapsort_true-unreach-call_true-termination.i TRUE 206.12 152.77 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 14.09 7.81 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 27.83 16.11 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 8.52 4.81 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 61.45 39.86 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 19.76 11.34 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 61.67 34.83 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.60 238.40 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TRUE 14.37 8.01 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.78 235.19 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 14.76 8.55 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 17.37 10.10 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 11.97 6.94 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 13.26 7.69 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 10.86 6.06 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 8.83 4.95 None loop-lit/ddlm2013_true-unreach-call.i TRUE 24.93 17.68 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 210.52 150.74 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 16.46 9.32 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TRUE 208.62 151.13 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 10.11 5.68 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 12.47 7.01 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 15.83 9.33 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 16.50 9.88 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (143)) 300.28 278.21 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 8.06 4.41 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 9.38 5.30 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 9.49 5.31 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.96 235.52 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.55 248.89 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.87 237.28 None loop-new/gauss_sum_true-unreach-call_true-termination.i TRUE 23.18 16.56 None loop-new/half_true-unreach-call_true-termination.i TRUE 27.59 18.95 None loop-new/nested_true-unreach-call_true-termination.i TRUE 286.15 233.06 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 5.98 3.20 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 6.10 3.24 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.07 3.25 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 6.19 3.31 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 31.70 26.52 None loop-industry-pattern/nested_true-unreach-call.c TRUE 37.73 20.99 None loop-industry-pattern/ofuf_1_true-unreach-call.c ERROR: EXCEPTION 6.01 3.25 None loop-industry-pattern/ofuf_2_true-unreach-call.c ERROR: EXCEPTION 6.19 3.27 None loop-industry-pattern/ofuf_3_true-unreach-call.c ERROR: EXCEPTION 6.45 3.46 None loop-industry-pattern/ofuf_4_true-unreach-call.c ERROR: EXCEPTION 6.12 3.32 None loop-industry-pattern/ofuf_5_true-unreach-call.c ERROR: EXCEPTION 6.09 3.28 None loops/heavy_true-unreach-call.c OUT OF MEMORY 175.17 116.61 None loops/compact_false-unreach-call.c TIMEOUT (ERROR (143)) 305.57 264.08 None loops/heavy_false-unreach-call.c OUT OF MEMORY 162.99 105.88 None --------------------------------------------------------------------------------------------------------------------------------------------------- Run set 2 done 13942.78 1140.27 - Taipan-EXP.Loops Run set 3 of 3 with options '-tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default-EXP.epf' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------- loops/array_false-unreach-call_true-termination.i FALSE 8.90 4.96 None loops/bubble_sort_false-unreach-call.i FALSE 15.55 8.57 None loops/count_up_down_false-unreach-call_true-termination.i FALSE 7.57 4.27 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 313.26 265.10 None loops/for_bounded_loop1_false-unreach-call_true-termination.i FALSE 11.03 6.25 None loops/insertion_sort_false-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 302.12 276.60 None loops/invert_string_false-unreach-call_true-termination.i FALSE 35.03 23.00 None loops/linear_search_false-unreach-call.i TIMEOUT (ERROR (143)) 305.71 271.13 None loops/ludcmp_false-unreach-call.i TIMEOUT (ERROR (143)) 305.68 256.15 None loops/matrix_false-unreach-call_true-termination.i FALSE 12.44 6.89 None loops/n.c24_false-unreach-call.i TIMEOUT (ERROR (143)) 300.64 235.48 None loops/nec11_false-unreach-call_false-termination.i FALSE 7.82 4.32 None loops/nec20_false-unreach-call_true-termination.i FALSE 8.70 4.88 None loops/s3_false-unreach-call.i UNKNOWN: OverapproxCex 44.92 24.93 None loops/string_false-unreach-call_true-termination.i UNKNOWN: OverapproxCex 16.27 9.05 None loops/sum01_bug02_false-unreach-call_true-termination.i FALSE 19.85 12.09 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i FALSE 16.08 9.44 None loops/sum01_false-unreach-call_true-termination.i FALSE 19.91 12.04 None loops/sum03_false-unreach-call_true-termination.i FALSE 32.04 22.32 None loops/sum04_false-unreach-call_true-termination.i FALSE 12.23 6.95 None loops/sum_array_false-unreach-call.i FALSE 10.18 5.68 None loops/terminator_01_false-unreach-call_true-termination.i FALSE 8.48 4.63 None loops/terminator_02_false-unreach-call_true-termination.i FALSE 8.17 4.50 None loops/terminator_03_false-unreach-call_true-termination.i FALSE 8.75 4.81 None loops/trex01_false-unreach-call_true-termination.i FALSE 8.32 4.62 None loops/trex02_false-unreach-call_true-termination.i FALSE 7.80 4.34 None loops/trex03_false-unreach-call_true-termination.i FALSE 7.44 4.25 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i FALSE 13.96 7.88 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i FALSE 27.85 16.12 None loops/vogal_false-unreach-call.i TIMEOUT (ERROR (143)) 300.59 253.46 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i FALSE 7.58 4.27 None loops/array_true-unreach-call_true-termination.i TRUE 13.90 7.90 None loops/bubble_sort_true-unreach-call_true-termination.i TRUE 7.93 4.51 None loops/count_up_down_true-unreach-call_true-termination.i TRUE 12.12 6.83 None loops/eureka_01_true-unreach-call.i TIMEOUT (ERROR (143)) 300.47 258.49 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.76 262.88 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.46 4.75 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.49 4.73 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.01 270.91 None loops/invert_string_true-unreach-call_true-termination.i TRUE 268.91 226.28 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT (ERROR (143)) 301.74 277.23 None loops/lu.cmp_true-unreach-call.i TIMEOUT (ERROR (143)) 305.61 259.38 None loops/matrix_true-unreach-call_true-termination.i TRUE 18.22 10.80 None loops/n.c11_true-unreach-call_false-termination.i TRUE 14.92 8.68 None loops/n.c40_true-unreach-call_true-termination.i TRUE 28.50 16.50 None loops/nec40_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 306.16 290.79 None loops/string_true-unreach-call_true-termination.i TRUE 17.65 9.71 None loops/sum01_true-unreach-call_true-termination.i TRUE 15.68 9.23 None loops/sum03_true-unreach-call_false-termination.i TRUE 8.78 4.85 None loops/sum04_true-unreach-call_true-termination.i TRUE 16.07 9.49 None loops/sum_array_true-unreach-call.i TIMEOUT (ERROR: EXCEPTION) 300.40 269.85 None loops/terminator_02_true-unreach-call_true-termination.i TRUE 10.11 5.64 None loops/terminator_03_true-unreach-call_true-termination.i TRUE 9.25 5.14 None loops/trex01_true-unreach-call_true-termination.i TRUE 8.80 4.95 None loops/trex02_true-unreach-call_true-termination.i TRUE 8.18 4.63 None loops/trex03_true-unreach-call_true-termination.i TRUE 8.23 4.65 None loops/trex04_true-unreach-call_false-termination.i TRUE 8.63 4.82 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i TRUE 15.53 9.16 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TRUE 10.66 5.92 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i TRUE 8.80 4.93 None loops/vogal_true-unreach-call.i TIMEOUT (ERROR (143)) 300.49 240.13 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i TRUE 8.35 4.73 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i TRUE 8.30 4.69 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i TRUE 8.33 4.69 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.96 262.79 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.76 272.94 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 306.29 254.65 None loop-acceleration/const_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.59 288.54 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.95 277.37 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 302.16 287.48 None loop-acceleration/multivar_false-unreach-call1_true-termination.i FALSE 7.57 4.24 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT (ERROR (143)) 300.35 284.61 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.75 277.18 None loop-acceleration/phases_false-unreach-call2_false-termination.i FALSE 7.67 4.29 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT (ERROR (143)) 305.60 287.28 None loop-acceleration/simple_false-unreach-call2_true-termination.i FALSE 7.40 4.14 None loop-acceleration/simple_false-unreach-call3_true-termination.i FALSE 7.07 4.04 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT (ERROR (143)) 306.41 286.26 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i FALSE 12.59 7.20 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i FALSE 13.13 7.57 None loop-acceleration/array_true-unreach-call1_true-termination.i TRUE 12.73 7.09 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 305.61 274.90 None loop-acceleration/array_true-unreach-call3_true-termination.i TRUE 13.77 7.71 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT (ERROR (143)) 306.23 263.54 None loop-acceleration/const_true-unreach-call1.i TRUE 10.06 5.72 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.52 284.92 None loop-acceleration/diamond_true-unreach-call2.i TRUE 263.49 245.82 None loop-acceleration/functions_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 305.61 278.86 None loop-acceleration/multivar_true-unreach-call1_true-termination.i TRUE 7.93 4.60 None loop-acceleration/nested_true-unreach-call1.i TRUE 43.16 37.40 None loop-acceleration/overflow_true-unreach-call1.i TRUE 9.54 5.24 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT (ERROR (143)) 300.69 270.45 None loop-acceleration/phases_true-unreach-call2_false-termination.i TRUE 98.57 77.01 None loop-acceleration/simple_true-unreach-call1.i TRUE 9.01 5.05 None loop-acceleration/simple_true-unreach-call2_true-termination.i TRUE 7.44 4.33 None loop-acceleration/simple_true-unreach-call3_true-termination.i TRUE 10.83 5.88 None loop-acceleration/simple_true-unreach-call4.i TRUE 8.98 5.07 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i TRUE 63.80 56.33 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i TRUE 11.02 6.16 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i FALSE 8.13 4.48 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT (ERROR (143)) 300.35 279.57 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT (ERROR (143)) 306.39 291.07 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT (ERROR (143)) 305.59 283.90 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TIMEOUT (ERROR: EXCEPTION) 301.10 292.39 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i TRUE 7.96 4.49 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i TRUE 8.03 4.54 None loop-invgen/id_trans_false-unreach-call_true-termination.i FALSE 10.06 5.68 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i TRUE 14.65 8.29 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i TRUE 13.09 7.52 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TRUE 18.74 11.21 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i TRUE 16.43 9.60 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i TRUE 15.00 8.90 None loop-invgen/down_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.81 234.21 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.79 232.12 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.92 243.24 None loop-invgen/heapsort_true-unreach-call_true-termination.i TRUE 89.01 62.56 None loop-invgen/id_build_true-unreach-call_true-termination.i TRUE 9.70 5.49 None loop-invgen/large_const_true-unreach-call_true-termination.i TRUE 16.32 9.30 None loop-invgen/nest-if3_true-unreach-call_true-termination.i TRUE 8.56 4.85 None loop-invgen/nested6_true-unreach-call_true-termination.i TRUE 17.10 9.82 None loop-invgen/nested9_true-unreach-call_true-termination.i TRUE 17.46 10.36 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i TRUE 34.09 20.54 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.17 240.05 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.11 247.68 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.83 234.15 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i TRUE 15.08 8.73 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i TRUE 15.84 9.35 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i TRUE 12.69 7.25 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i TRUE 13.58 7.81 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i TRUE 10.74 6.06 None loop-lit/css2003_true-unreach-call_true-termination.c.i TRUE 8.88 5.02 None loop-lit/ddlm2013_true-unreach-call.i TRUE 24.89 17.76 None loop-lit/gj2007_true-unreach-call_true-termination.c.i TRUE 202.13 145.84 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i TRUE 13.42 7.62 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TRUE 207.58 150.69 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i TRUE 9.76 5.53 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i TRUE 11.80 6.77 None loop-lit/jm2006_true-unreach-call_true-termination.c.i TRUE 15.03 9.01 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i TRUE 16.61 9.94 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (143)) 302.78 283.26 None loop-lit/gcnr2008_false-unreach-call_false-termination.i FALSE 7.88 4.45 None loop-new/count_by_1_true-unreach-call_true-termination.i TRUE 9.84 5.64 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i TRUE 11.61 6.61 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 301.11 225.90 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.46 251.58 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT (ERROR (143)) 300.96 233.60 None loop-new/gauss_sum_true-unreach-call_true-termination.i TRUE 22.43 16.17 None loop-new/half_true-unreach-call_true-termination.i TRUE 26.61 18.38 None loop-new/nested_true-unreach-call_true-termination.i TRUE 276.79 222.17 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR: EXCEPTION 6.13 3.24 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR: EXCEPTION 6.05 3.21 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR: EXCEPTION 6.33 3.37 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR: EXCEPTION 5.93 3.18 None loop-industry-pattern/mod3_true-unreach-call.c TRUE 30.77 26.06 None loop-industry-pattern/nested_true-unreach-call.c TRUE 53.48 32.61 None loop-industry-pattern/ofuf_1_true-unreach-call.c ERROR: EXCEPTION 6.29 3.36 None loop-industry-pattern/ofuf_2_true-unreach-call.c ERROR: EXCEPTION 6.31 3.39 None loop-industry-pattern/ofuf_3_true-unreach-call.c ERROR: EXCEPTION 6.41 3.41 None loop-industry-pattern/ofuf_4_true-unreach-call.c ERROR: EXCEPTION 6.35 3.37 None loop-industry-pattern/ofuf_5_true-unreach-call.c ERROR: EXCEPTION 6.40 3.40 None loops/heavy_true-unreach-call.c OUT OF MEMORY 166.05 98.70 None loops/compact_false-unreach-call.c TIMEOUT (ERROR (143)) 305.48 266.92 None loops/heavy_false-unreach-call.c OUT OF MEMORY 148.73 100.54 None --------------------------------------------------------------------------------------------------------------------------------------------------- Run set 3 done 13155.01 1153.06 - Statistics: 489 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 489