BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-reach-loops-taipan.xml name: svcomp19-reach-loops-taipan run sets: sv-comp19-reach-loops.Loops date: Mon, 2018-10-22 09:40:07 CEST tool: ULTIMATE Taipan 0.1.23-0210da8c tool executable: ./Ultimate.py options: --full-output --rcfgbuilder.size.of.a.code.block SingleStatement 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 ------------------------------------------------------------ sv-comp19-reach-loops.Loops Run set 1 of 1 with options '--full-output --rcfgbuilder.size.of.a.code.block SingleStatement' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------- loops/array_false-unreach-call_true-termination.i false(unreach-call) 26.45 16.62 None loops/bubble_sort_false-unreach-call.i false(unreach-call) 19.09 10.57 None loops/count_up_down_false-unreach-call_true-termination.i false(unreach-call) 7.48 4.35 None loops/eureka_01_false-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.86 254.82 None loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 14.23 8.06 None loops/insertion_sort_false-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.43 258.82 None loops/invert_string_false-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.81 265.33 None loops/linear_search_false-unreach-call.i TIMEOUT (ERROR (8)) 301.20 270.92 None loops/ludcmp_false-unreach-call.i TIMEOUT (ERROR (8)) 301.31 209.07 None loops/matrix_false-unreach-call_true-termination.i false(unreach-call) 17.26 9.33 None loops/n.c24_false-unreach-call.i TIMEOUT (ERROR (8)) 300.35 239.99 None loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 8.48 4.72 None loops/nec20_false-unreach-call_true-termination.i false(unreach-call) 12.26 7.05 None loops/s3_false-unreach-call.i TIMEOUT (ERROR (8)) 300.76 223.09 None loops/string_false-unreach-call_true-termination.i false(unreach-call) 63.90 37.24 None loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 29.35 18.32 None loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 21.65 12.93 None loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 30.06 18.40 None loops/sum03_false-unreach-call_true-termination.i false(unreach-call) 139.30 124.58 None loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 17.73 10.22 None loops/sum_array_false-unreach-call.i false(unreach-call) 11.98 6.66 None loops/terminator_01_false-unreach-call_true-termination.i false(unreach-call) 8.66 4.81 None loops/terminator_02_false-unreach-call_true-termination.i false(unreach-call) 8.24 4.62 None loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 8.31 4.72 None loops/trex01_false-unreach-call_true-termination.i false(unreach-call) 8.26 4.63 None loops/trex02_false-unreach-call_true-termination.i false(unreach-call) 8.00 4.52 None loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 8.45 4.74 None loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false(unreach-call) 17.10 9.90 None loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false(unreach-call) 125.90 85.79 None loops/vogal_false-unreach-call.i TIMEOUT (ERROR (8)) 301.09 247.85 None loops/while_infinite_loop_4_false-unreach-call_true-termination.i false(unreach-call) 8.01 4.45 None loops/array_true-unreach-call_true-termination.i true 36.44 24.02 None loops/bubble_sort_true-unreach-call_true-termination.i true 9.09 5.09 None loops/count_up_down_true-unreach-call_true-termination.i true 85.50 76.83 None loops/eureka_01_true-unreach-call.i TIMEOUT (ERROR (8)) 300.77 255.67 None loops/eureka_05_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.66 234.98 None loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 8.58 4.82 None loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 8.25 4.79 None loops/insertion_sort_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.44 259.34 None loops/invert_string_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.61 268.54 None loops/linear_sea.ch_true-unreach-call.i TIMEOUT (ERROR (8)) 300.29 274.63 None loops/lu.cmp_true-unreach-call.i TIMEOUT (ERROR (8)) 301.23 214.83 None loops/matrix_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.06 281.87 None loops/n.c11_true-unreach-call_false-termination.i true 20.38 12.00 None loops/n.c40_true-unreach-call_true-termination.i true 83.87 54.28 None loops/nec40_true-unreach-call_true-termination.i true 79.35 51.25 None loops/string_true-unreach-call_true-termination.i true 66.20 39.78 None loops/sum01_true-unreach-call_true-termination.i true 19.24 11.49 None loops/sum03_true-unreach-call_false-termination.i true 9.92 5.56 None loops/sum04_true-unreach-call_true-termination.i true 21.96 13.49 None loops/sum_array_true-unreach-call.i TIMEOUT (ERROR (8)) 300.08 276.94 None loops/terminator_02_true-unreach-call_true-termination.i true 10.17 5.68 None loops/terminator_03_true-unreach-call_true-termination.i true 9.46 5.31 None loops/trex01_true-unreach-call_true-termination.i true 8.74 4.88 None loops/trex02_true-unreach-call_true-termination.i true 8.77 4.89 None loops/trex03_true-unreach-call_true-termination.i true 9.12 5.18 None loops/trex04_true-unreach-call_false-termination.i true 8.78 5.05 None loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 20.67 12.48 None loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 301.15 248.70 None loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 9.70 5.37 None loops/vogal_true-unreach-call.i TIMEOUT (ERROR (8)) 300.99 245.56 None loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 8.79 4.84 None loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 8.23 4.66 None loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 9.10 5.08 None loop-acceleration/array_false-unreach-call1_true-termination.i TIMEOUT (ERROR (8)) 300.95 245.42 None loop-acceleration/array_false-unreach-call2_true-termination.i TIMEOUT (ERROR (8)) 300.59 251.58 None loop-acceleration/array_false-unreach-call3_true-termination.i TIMEOUT (ERROR (8)) 300.30 232.66 None loop-acceleration/const_false-unreach-call1.i TIMEOUT (ERROR (8)) 300.08 281.64 None loop-acceleration/diamond_false-unreach-call1.i TIMEOUT (ERROR (8)) 300.27 271.90 None loop-acceleration/functions_false-unreach-call1_true-termination.i TIMEOUT (ERROR (8)) 300.12 273.19 None loop-acceleration/multivar_false-unreach-call1_true-termination.i false(unreach-call) 7.64 4.34 None loop-acceleration/nested_false-unreach-call1.i TIMEOUT (ERROR (8)) 300.09 273.80 None loop-acceleration/phases_false-unreach-call1.i TIMEOUT (ERROR (8)) 300.99 282.83 None loop-acceleration/phases_false-unreach-call2_false-termination.i false(unreach-call) 7.89 4.42 None loop-acceleration/simple_false-unreach-call1.i TIMEOUT (ERROR (8)) 300.99 287.39 None loop-acceleration/simple_false-unreach-call2_true-termination.i false(unreach-call) 7.47 4.12 None loop-acceleration/simple_false-unreach-call3_true-termination.i false(unreach-call) 7.23 4.16 None loop-acceleration/simple_false-unreach-call4.i TIMEOUT (ERROR (8)) 301.00 287.24 None loop-acceleration/underapprox_false-unreach-call1_true-termination.i false(unreach-call) 19.17 12.03 None loop-acceleration/underapprox_false-unreach-call2_true-termination.i false(unreach-call) 18.34 11.13 None loop-acceleration/array_true-unreach-call1_true-termination.i true 18.48 10.51 None loop-acceleration/array_true-unreach-call2_true-termination.i TIMEOUT (ERROR (8)) 300.49 259.09 None loop-acceleration/array_true-unreach-call3_true-termination.i true 28.65 16.18 None loop-acceleration/array_true-unreach-call4_true-termination.i TIMEOUT (ERROR (8)) 301.22 240.57 None loop-acceleration/const_true-unreach-call1.i true 9.83 5.54 None loop-acceleration/diamond_true-unreach-call1_true-termination.i TIMEOUT (ERROR (8)) 300.11 279.02 None loop-acceleration/diamond_true-unreach-call2.i true 296.32 274.44 None loop-acceleration/functions_true-unreach-call1_true-termination.i true 13.22 7.37 None loop-acceleration/multivar_true-unreach-call1_true-termination.i true 9.82 5.52 None loop-acceleration/nested_true-unreach-call1.i true 71.96 63.73 None loop-acceleration/overflow_true-unreach-call1.i true 10.04 5.55 None loop-acceleration/phases_true-unreach-call1.i TIMEOUT (ERROR (8)) 301.02 277.50 None loop-acceleration/phases_true-unreach-call2_false-termination.i true 133.23 115.37 None loop-acceleration/simple_true-unreach-call1.i true 10.17 5.67 None loop-acceleration/simple_true-unreach-call2_true-termination.i true 7.98 4.51 None loop-acceleration/simple_true-unreach-call3_true-termination.i true 11.55 6.34 None loop-acceleration/simple_true-unreach-call4.i true 11.02 5.97 None loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 192.17 181.39 None loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 13.70 7.92 None loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false(unreach-call) 8.87 4.96 None loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i TIMEOUT (ERROR (8)) 300.16 276.33 None loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i TIMEOUT (ERROR (8)) 300.11 276.21 None loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i TIMEOUT (ERROR (8)) 300.99 285.49 None loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i TIMEOUT (ERROR (8)) 300.98 286.57 None loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 9.68 5.38 None loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 9.81 5.49 None loop-invgen/id_trans_false-unreach-call_true-termination.i false(unreach-call) 14.68 8.18 None loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 17.97 10.47 None loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 21.23 12.36 None loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i TIMEOUT (ERROR (8)) 301.06 241.60 None loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 82.41 54.52 None loop-invgen/apache-get-tag_true-unreach-call_true-termination.i true 102.21 61.95 None loop-invgen/down_true-unreach-call_true-termination.i true 22.16 12.84 None loop-invgen/fragtest_simple_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.55 234.66 None loop-invgen/half_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 301.72 247.89 None loop-invgen/heapsort_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.87 235.94 None loop-invgen/id_build_true-unreach-call_true-termination.i true 19.52 11.18 None loop-invgen/large_const_true-unreach-call_true-termination.i true 65.62 39.56 None loop-invgen/nest-if3_true-unreach-call_true-termination.i true 50.40 31.47 None loop-invgen/nested6_true-unreach-call_true-termination.i true 27.21 16.00 None loop-invgen/nested9_true-unreach-call_true-termination.i true 16.46 9.70 None loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 89.76 56.28 None loop-invgen/seq_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.59 229.27 None loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i true 21.04 12.17 None loop-invgen/up_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.90 229.16 None loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 15.71 8.93 None loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 35.30 21.82 None loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 15.06 9.02 None loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 18.15 10.87 None loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 12.45 7.04 None loop-lit/css2003_true-unreach-call_true-termination.c.i true 9.57 5.41 None loop-lit/ddlm2013_true-unreach-call.i true 45.50 36.92 None loop-lit/gj2007_true-unreach-call_true-termination.c.i true 192.79 136.41 None loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 21.43 12.40 None loop-lit/gr2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (8)) 300.71 239.17 None loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 12.41 7.02 None loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 16.52 9.83 None loop-lit/jm2006_true-unreach-call_true-termination.c.i true 15.37 9.03 None loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 18.25 10.96 None loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i TIMEOUT (ERROR (8)) 300.16 276.43 None loop-lit/gcnr2008_false-unreach-call_false-termination.i false(unreach-call) 7.73 4.38 None loop-new/count_by_1_true-unreach-call_true-termination.i true 10.65 5.99 None loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 11.13 6.31 None loop-new/count_by_2_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 301.02 230.28 None loop-new/count_by_k_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.55 246.86 None loop-new/count_by_nondet_true-unreach-call_true-termination.i TIMEOUT (ERROR (8)) 300.75 238.77 None loop-new/gauss_sum_true-unreach-call_true-termination.i true 68.32 61.07 None loop-new/half_true-unreach-call_true-termination.i true 46.07 34.85 None loop-new/nested_true-unreach-call_true-termination.i true 250.71 197.95 None loop-industry-pattern/aiob_1_true-unreach-call.c ERROR (7) 12.11 6.50 None loop-industry-pattern/aiob_2_true-unreach-call.c ERROR (7) 11.89 6.44 None loop-industry-pattern/aiob_3_true-unreach-call.c ERROR (7) 12.31 6.63 None loop-industry-pattern/aiob_4_true-unreach-call.c ERROR (7) 12.30 6.63 None loop-industry-pattern/mod3_true-unreach-call.c true 25.02 19.92 None loop-industry-pattern/nested_true-unreach-call.c true 85.00 50.79 None loop-industry-pattern/ofuf_1_true-unreach-call.c ERROR (7) 12.64 6.76 None loop-industry-pattern/ofuf_2_true-unreach-call.c ERROR (7) 12.25 6.60 None loop-industry-pattern/ofuf_3_true-unreach-call.c ERROR (7) 12.59 6.73 None loop-industry-pattern/ofuf_4_true-unreach-call.c ERROR (7) 12.22 6.54 None loop-industry-pattern/ofuf_5_true-unreach-call.c ERROR (7) 13.03 6.93 None loops/heavy_true-unreach-call.c OUT OF MEMORY 112.21 71.01 None loops/compact_false-unreach-call.c TIMEOUT (ERROR (8)) 300.95 217.12 None loops/heavy_false-unreach-call.c OUT OF MEMORY 121.71 66.92 None --------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 3746.75 1192.26 - Statistics: 163 Files correct: 104 correct true: 72 correct false: 32 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 59 Score: 176 (max: 274)