Tool ULTIMATE Taipan 0.1.23-0210da8c
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-10-22 09:40:07 CEST
Run set sv-comp19-reach-loops.Loops
Options --full-output --rcfgbuilder.size.of.a.code.block SingleStatement
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage
loops/array_false-unreach-call_true-termination.i false(unreach-call) 26.5  16.6  617234432
loops/bubble_sort_false-unreach-call.i false(unreach-call) 19.1  10.6  525889536
loops/count_up_down_false-unreach-call_true-termination.i false(unreach-call) 7.48 4.35 247480320
loops/eureka_01_false-unreach-call_true-termination.i timeout (error (8)) 301    255    4365537280
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 14.2  8.06 389251072
loops/insertion_sort_false-unreach-call_true-termination.i timeout (error (8)) 300    259    2231545856
loops/invert_string_false-unreach-call_true-termination.i timeout (error (8)) 301    265    3061837824
loops/linear_search_false-unreach-call.i timeout (error (8)) 301    271    1590329344
loops/ludcmp_false-unreach-call.i timeout (error (8)) 301    209    7320440832
loops/matrix_false-unreach-call_true-termination.i false(unreach-call) 17.3  9.33 524976128
loops/n.c24_false-unreach-call.i timeout (error (8)) 300    240    4553691136
loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 8.48 4.72 247726080
loops/nec20_false-unreach-call_true-termination.i false(unreach-call) 12.3  7.05 357298176
loops/s3_false-unreach-call.i timeout (error (8)) 301    223    5333884928
loops/string_false-unreach-call_true-termination.i false(unreach-call) 63.9  37.2  804397056
loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 29.4  18.3  679890944
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 21.6  12.9  528957440
loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 30.1  18.4  665452544
loops/sum03_false-unreach-call_true-termination.i false(unreach-call) 139    125    750964736
loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 17.7  10.2  510660608
loops/sum_array_false-unreach-call.i false(unreach-call) 12.0  6.66 348876800
loops/terminator_01_false-unreach-call_true-termination.i false(unreach-call) 8.66 4.81 252145664
loops/terminator_02_false-unreach-call_true-termination.i false(unreach-call) 8.24 4.62 247226368
loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 8.31 4.72 253894656
loops/trex01_false-unreach-call_true-termination.i false(unreach-call) 8.26 4.63 248950784
loops/trex02_false-unreach-call_true-termination.i false(unreach-call) 8.00 4.52 248164352
loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 8.45 4.74 249446400
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false(unreach-call) 17.1  9.90 539439104
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false(unreach-call) 126    85.8  4546023424
loops/vogal_false-unreach-call.i timeout (error (8)) 301    248    4897447936
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false(unreach-call) 8.01 4.45 252518400
loops/array_true-unreach-call_true-termination.i true 36.4  24.0  673067008
loops/bubble_sort_true-unreach-call_true-termination.i true 9.09 5.09 252604416
loops/count_up_down_true-unreach-call_true-termination.i true 85.5  76.8  553193472
loops/eureka_01_true-unreach-call.i timeout (error (8)) 301    256    3370172416
loops/eureka_05_true-unreach-call_true-termination.i timeout (error (8)) 301    235    1612537856
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 8.58 4.82 246734848
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 8.25 4.79 253521920
loops/insertion_sort_true-unreach-call_true-termination.i timeout (error (8)) 300    259    2434154496
loops/invert_string_true-unreach-call_true-termination.i timeout (error (8)) 301    269    1928101888
loops/linear_sea.ch_true-unreach-call.i timeout (error (8)) 300    275    1415929856
loops/lu.cmp_true-unreach-call.i timeout (error (8)) 301    215    6745550848
loops/matrix_true-unreach-call_true-termination.i timeout (error (8)) 300    282    836513792
loops/n.c11_true-unreach-call_false-termination.i true 20.4  12.0  521895936
loops/n.c40_true-unreach-call_true-termination.i true 83.9  54.3  2766233600
loops/nec40_true-unreach-call_true-termination.i true 79.3  51.3  2860838912
loops/string_true-unreach-call_true-termination.i true 66.2  39.8  1274101760
loops/sum01_true-unreach-call_true-termination.i true 19.2  11.5  519995392
loops/sum03_true-unreach-call_false-termination.i true 9.92 5.56 248627200
loops/sum04_true-unreach-call_true-termination.i true 22.0  13.5  583913472
loops/sum_array_true-unreach-call.i timeout (error (8)) 300    277    1924956160
loops/terminator_02_true-unreach-call_true-termination.i true 10.2  5.68 267505664
loops/terminator_03_true-unreach-call_true-termination.i true 9.46 5.31 249966592
loops/trex01_true-unreach-call_true-termination.i true 8.74 4.88 250667008
loops/trex02_true-unreach-call_true-termination.i true 8.77 4.89 252178432
loops/trex03_true-unreach-call_true-termination.i true 9.12 5.18 248070144
loops/trex04_true-unreach-call_false-termination.i true 8.78 5.05 251039744
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 20.7  12.5  578056192
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i timeout (error (8)) 301    249    4616306688
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 9.70 5.37 256712704
loops/vogal_true-unreach-call.i timeout (error (8)) 301    246    5085675520
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 8.79 4.84 257294336
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 8.23 4.66 249757696
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 9.10 5.08 249778176
loop-acceleration/array_false-unreach-call1_true-termination.i timeout (error (8)) 301    245    1314222080
loop-acceleration/array_false-unreach-call2_true-termination.i timeout (error (8)) 301    252    1506648064
loop-acceleration/array_false-unreach-call3_true-termination.i timeout (error (8)) 300    233    1979060224
loop-acceleration/const_false-unreach-call1.i timeout (error (8)) 300    282    726630400
loop-acceleration/diamond_false-unreach-call1.i timeout (error (8)) 300    272    747143168
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout (error (8)) 300    273    832266240
loop-acceleration/multivar_false-unreach-call1_true-termination.i false(unreach-call) 7.64 4.34 243613696
loop-acceleration/nested_false-unreach-call1.i timeout (error (8)) 300    274    1184309248
loop-acceleration/phases_false-unreach-call1.i timeout (error (8)) 301    283    665264128
loop-acceleration/phases_false-unreach-call2_false-termination.i false(unreach-call) 7.89 4.42 248459264
loop-acceleration/simple_false-unreach-call1.i timeout (error (8)) 301    287    686804992
loop-acceleration/simple_false-unreach-call2_true-termination.i false(unreach-call) 7.47 4.12 236642304
loop-acceleration/simple_false-unreach-call3_true-termination.i false(unreach-call) 7.23 4.16 235511808
loop-acceleration/simple_false-unreach-call4.i timeout (error (8)) 301    287    699916288
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false(unreach-call) 19.2  12.0  566931456
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false(unreach-call) 18.3  11.1  503312384
loop-acceleration/array_true-unreach-call1_true-termination.i true 18.5  10.5  514412544
loop-acceleration/array_true-unreach-call2_true-termination.i timeout (error (8)) 300    259    1464696832
loop-acceleration/array_true-unreach-call3_true-termination.i true 28.6  16.2  684724224
loop-acceleration/array_true-unreach-call4_true-termination.i timeout (error (8)) 301    241    2360254464
loop-acceleration/const_true-unreach-call1.i true 9.83 5.54 284221440
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout (error (8)) 300    279    745377792
loop-acceleration/diamond_true-unreach-call2.i true 296    274    688451584
loop-acceleration/functions_true-unreach-call1_true-termination.i true 13.2  7.37 331264000
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 9.82 5.52 265805824
loop-acceleration/nested_true-unreach-call1.i true 72.0  63.7  559095808
loop-acceleration/overflow_true-unreach-call1.i true 10.0  5.55 271757312
loop-acceleration/phases_true-unreach-call1.i timeout (error (8)) 301    277    745476096
loop-acceleration/phases_true-unreach-call2_false-termination.i true 133    115    4084178944
loop-acceleration/simple_true-unreach-call1.i true 10.2  5.67 278519808
loop-acceleration/simple_true-unreach-call2_true-termination.i true 7.98 4.51 245116928
loop-acceleration/simple_true-unreach-call3_true-termination.i true 11.6  6.34 302436352
loop-acceleration/simple_true-unreach-call4.i true 11.0  5.97 277565440
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 192    181    593158144
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 13.7  7.92 438177792
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false(unreach-call) 8.87 4.96 253206528
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout (error (8)) 300    276    965627904
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout (error (8)) 300    276    1292693504
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout (error (8)) 301    285    972308480
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i timeout (error (8)) 301    287    735014912
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 9.68 5.38 254115840
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 9.81 5.49 254111744
loop-invgen/id_trans_false-unreach-call_true-termination.i false(unreach-call) 14.7  8.18 394690560
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 18.0  10.5  536408064
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 21.2  12.4  515993600
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i timeout (error (8)) 301    242    1288880128
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 82.4  54.5  976363520
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i true 102    61.9  879783936
loop-invgen/down_true-unreach-call_true-termination.i true 22.2  12.8  532975616
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout (error (8)) 301    235    1729204224
loop-invgen/half_2_true-unreach-call_true-termination.i timeout (error (8)) 302    248    1226878976
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (8)) 301    236    1004060672
loop-invgen/id_build_true-unreach-call_true-termination.i true 19.5  11.2  527073280
loop-invgen/large_const_true-unreach-call_true-termination.i true 65.6  39.6  770592768
loop-invgen/nest-if3_true-unreach-call_true-termination.i true 50.4  31.5  719630336
loop-invgen/nested6_true-unreach-call_true-termination.i true 27.2  16.0  591704064
loop-invgen/nested9_true-unreach-call_true-termination.i true 16.5  9.70 507789312
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 89.8  56.3  847974400
loop-invgen/seq_true-unreach-call_true-termination.i timeout (error (8)) 301    229    1242324992
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i true 21.0  12.2  533856256
loop-invgen/up_true-unreach-call_true-termination.i timeout (error (8)) 301    229    1295802368
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 15.7  8.93 469569536
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 35.3  21.8  685961216
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 15.1  9.02 498434048
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 18.2  10.9  506359808
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 12.4  7.04 374398976
loop-lit/css2003_true-unreach-call_true-termination.c.i true 9.57 5.41 251060224
loop-lit/ddlm2013_true-unreach-call.i true 45.5  36.9  606150656
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 193    136    1060470784
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 21.4  12.4  527929344
loop-lit/gr2006_true-unreach-call_true-termination.c.i timeout (error (8)) 301    239    2024026112
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 12.4  7.02 341168128
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 16.5  9.83 499761152
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 15.4  9.03 500629504
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 18.2  11.0  522579968
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout (error (8)) 300    276    959135744
loop-lit/gcnr2008_false-unreach-call_false-termination.i false(unreach-call) 7.73 4.38 245436416
loop-new/count_by_1_true-unreach-call_true-termination.i true 10.7  5.99 276897792
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 11.1  6.31 294596608
loop-new/count_by_2_true-unreach-call_true-termination.i timeout (error (8)) 301    230    1023221760
loop-new/count_by_k_true-unreach-call_true-termination.i timeout (error (8)) 301    247    1022103552
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout (error (8)) 301    239    1487515648
loop-new/gauss_sum_true-unreach-call_true-termination.i true 68.3  61.1  510488576
loop-new/half_true-unreach-call_true-termination.i true 46.1  34.9  685486080
loop-new/nested_true-unreach-call_true-termination.i true 251    198    3481227264
loop-industry-pattern/aiob_1_true-unreach-call.c error (7) 12.1  6.50 197378048
loop-industry-pattern/aiob_2_true-unreach-call.c error (7) 11.9  6.44 196579328
loop-industry-pattern/aiob_3_true-unreach-call.c error (7) 12.3  6.63 199770112
loop-industry-pattern/aiob_4_true-unreach-call.c error (7) 12.3  6.63 196530176
loop-industry-pattern/mod3_true-unreach-call.c true 25.0  19.9  302116864
loop-industry-pattern/nested_true-unreach-call.c true 85.0  50.8  806834176
loop-industry-pattern/ofuf_1_true-unreach-call.c error (7) 12.6  6.76 200323072
loop-industry-pattern/ofuf_2_true-unreach-call.c error (7) 12.3  6.60 198451200
loop-industry-pattern/ofuf_3_true-unreach-call.c error (7) 12.6  6.73 199577600
loop-industry-pattern/ofuf_4_true-unreach-call.c error (7) 12.2  6.54 196870144
loop-industry-pattern/ofuf_5_true-unreach-call.c error (7) 13.0  6.93 196624384
loops/heavy_true-unreach-call.c out of memory 112    71.0  8000000000
loops/compact_false-unreach-call.c timeout (error (8)) 301    217    6408593408
loops/heavy_false-unreach-call.c out of memory 122    66.9  8000000000
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage
total 163 18400 15000 183741984768
local summary 3750 1190
    correct results 104 3600 2560 62299803648
        correct true 72 2880 2080 45335134208
        correct false 32 719 475 16964669440
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (163 tasks, max score: 274) 176
Run set sv-comp19-reach-loops.Loops