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 10:04:14 CEST
Run set sv-comp19-reach-loops.Loops
Options --full-output --rcfgbuilder.size.of.a.code.block LoopFreeBlock
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage
loops/array_false-unreach-call_true-termination.i false(unreach-call) 9.48 5.23 241414144
loops/bubble_sort_false-unreach-call.i false(unreach-call) 19.2  10.3  437272576
loops/count_up_down_false-unreach-call_true-termination.i false(unreach-call) 7.70 4.54 239366144
loops/eureka_01_false-unreach-call_true-termination.i timeout (error (8)) 301    271    4074139648
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(unreach-call) 12.4  6.97 315437056
loops/insertion_sort_false-unreach-call_true-termination.i timeout (error (8)) 301    263    2006585344
loops/invert_string_false-unreach-call_true-termination.i timeout (error (8)) 301    266    1900691456
loops/linear_search_false-unreach-call.i timeout (error (8)) 300    272    1392926720
loops/ludcmp_false-unreach-call.i timeout (error (8)) 301    244    6861250560
loops/matrix_false-unreach-call_true-termination.i false(unreach-call) 14.8  8.14 513728512
loops/n.c24_false-unreach-call.i timeout (error (8)) 300    239    2610999296
loops/nec11_false-unreach-call_false-termination.i false(unreach-call) 7.99 4.54 246988800
loops/nec20_false-unreach-call_true-termination.i false(unreach-call) 8.27 4.73 246665216
loops/s3_false-unreach-call.i timeout (error (8)) 301    224    4562935808
loops/string_false-unreach-call_true-termination.i false(unreach-call) 36.2  21.0  569200640
loops/sum01_bug02_false-unreach-call_true-termination.i false(unreach-call) 29.4  18.0  635568128
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(unreach-call) 19.0  10.9  503476224
loops/sum01_false-unreach-call_true-termination.i false(unreach-call) 57.9  38.6  759496704
loops/sum03_false-unreach-call_true-termination.i timeout (error (8)) 301    285    715407360
loops/sum04_false-unreach-call_true-termination.i false(unreach-call) 16.2  9.33 470220800
loops/sum_array_false-unreach-call.i false(unreach-call) 10.5  5.87 273522688
loops/terminator_01_false-unreach-call_true-termination.i false(unreach-call) 8.01 4.55 250941440
loops/terminator_02_false-unreach-call_true-termination.i false(unreach-call) 8.18 4.59 250912768
loops/terminator_03_false-unreach-call_true-termination.i false(unreach-call) 8.31 4.64 246022144
loops/trex01_false-unreach-call_true-termination.i false(unreach-call) 8.47 4.73 247574528
loops/trex02_false-unreach-call_true-termination.i false(unreach-call) 8.53 4.69 248860672
loops/trex03_false-unreach-call_true-termination.i false(unreach-call) 8.58 4.79 243015680
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false(unreach-call) 15.2  8.57 532578304
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false(unreach-call) 65.2  37.8  2888699904
loops/vogal_false-unreach-call.i timeout (error (8)) 301    261    4656721920
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false(unreach-call) 8.06 4.55 245010432
loops/array_true-unreach-call_true-termination.i true 24.4  13.7  818909184
loops/bubble_sort_true-unreach-call_true-termination.i true 9.88 5.42 246607872
loops/count_up_down_true-unreach-call_true-termination.i true 19.1  12.0  451932160
loops/eureka_01_true-unreach-call.i timeout (error (8)) 300    274    2468204544
loops/eureka_05_true-unreach-call_true-termination.i timeout (error (8)) 301    275    927645696
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 8.91 5.01 251957248
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 9.21 5.20 256114688
loops/insertion_sort_true-unreach-call_true-termination.i timeout (error (8)) 301    264    2029154304
loops/invert_string_true-unreach-call_true-termination.i timeout (error (8)) 301    264    1921187840
loops/linear_sea.ch_true-unreach-call.i timeout (error (8)) 300    272    1475026944
loops/lu.cmp_true-unreach-call.i timeout (error (8)) 301    243    6651146240
loops/matrix_true-unreach-call_true-termination.i timeout (error (8)) 301    250    4598431744
loops/n.c11_true-unreach-call_false-termination.i true 11.2  6.29 291631104
loops/n.c40_true-unreach-call_true-termination.i timeout (error (8)) 300    277    2619203584
loops/nec40_true-unreach-call_true-termination.i timeout (error (8)) 300    276    2868801536
loops/string_true-unreach-call_true-termination.i true 31.6  17.2  873308160
loops/sum01_true-unreach-call_true-termination.i true 13.1  7.48 368984064
loops/sum03_true-unreach-call_false-termination.i true 8.36 4.75 248602624
loops/sum04_true-unreach-call_true-termination.i true 18.5  10.8  484208640
loops/sum_array_true-unreach-call.i timeout (error (8)) 301    263    2042134528
loops/terminator_02_true-unreach-call_true-termination.i true 9.26 5.21 248078336
loops/terminator_03_true-unreach-call_true-termination.i true 9.65 5.38 244310016
loops/trex01_true-unreach-call_true-termination.i true 9.24 5.06 250101760
loops/trex02_true-unreach-call_true-termination.i true 8.92 4.98 246194176
loops/trex03_true-unreach-call_true-termination.i true 9.29 5.20 249839616
loops/trex04_true-unreach-call_false-termination.i true 9.20 5.13 245288960
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 17.0  10.0  505778176
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 11.0  6.09 287629312
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 8.90 5.02 247554048
loops/vogal_true-unreach-call.i timeout (error (8)) 301    254    4726587392
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 8.48 4.83 251772928
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 8.45 4.82 253173760
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 9.28 5.24 251777024
loop-acceleration/array_false-unreach-call1_true-termination.i timeout (error (8)) 300    262    941252608
loop-acceleration/array_false-unreach-call2_true-termination.i timeout (error (8)) 300    272    911261696
loop-acceleration/array_false-unreach-call3_true-termination.i timeout (error (8)) 300    267    910979072
loop-acceleration/const_false-unreach-call1.i timeout (error (8)) 300    285    709824512
loop-acceleration/diamond_false-unreach-call1.i timeout (error (8)) 300    271    1320165376
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout (error (8)) 300    276    774844416
loop-acceleration/multivar_false-unreach-call1_true-termination.i false(unreach-call) 7.61 4.24 233762816
loop-acceleration/nested_false-unreach-call1.i timeout (error (8)) 300    276    924184576
loop-acceleration/phases_false-unreach-call1.i timeout (error (8)) 300    274    862797824
loop-acceleration/phases_false-unreach-call2_false-termination.i false(unreach-call) 7.76 4.34 250830848
loop-acceleration/simple_false-unreach-call1.i timeout (error (8)) 301    289    667668480
loop-acceleration/simple_false-unreach-call2_true-termination.i false(unreach-call) 7.07 4.10 237674496
loop-acceleration/simple_false-unreach-call3_true-termination.i false(unreach-call) 7.83 4.36 242913280
loop-acceleration/simple_false-unreach-call4.i timeout (error (8)) 301    289    687362048
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false(unreach-call) 15.8  9.52 485261312
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false(unreach-call) 15.0  8.73 447946752
loop-acceleration/array_true-unreach-call1_true-termination.i true 14.9  8.20 449069056
loop-acceleration/array_true-unreach-call2_true-termination.i timeout (error (8)) 300    274    902684672
loop-acceleration/array_true-unreach-call3_true-termination.i true 12.1  6.59 446464000
loop-acceleration/array_true-unreach-call4_true-termination.i timeout (error (8)) 300    267    1330155520
loop-acceleration/const_true-unreach-call1.i true 10.6  5.97 277504000
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout (error (8)) 300    278    946049024
loop-acceleration/diamond_true-unreach-call2.i timeout (error (8)) 301    291    722731008
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout (error (8)) 300    277    744386560
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 8.60 4.79 249450496
loop-acceleration/nested_true-unreach-call1.i true 39.5  31.8  527704064
loop-acceleration/overflow_true-unreach-call1.i true 9.55 5.36 273473536
loop-acceleration/phases_true-unreach-call1.i timeout (error (8)) 300    282    700964864
loop-acceleration/phases_true-unreach-call2_false-termination.i true 9.29 5.29 251432960
loop-acceleration/simple_true-unreach-call1.i true 10.1  5.64 278130688
loop-acceleration/simple_true-unreach-call2_true-termination.i true 8.50 4.77 253628416
loop-acceleration/simple_true-unreach-call3_true-termination.i true 11.4  6.30 289443840
loop-acceleration/simple_true-unreach-call4.i true 10.9  5.96 278917120
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 151    142    512073728
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 13.2  7.48 367271936
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false(unreach-call) 8.46 4.62 252567552
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout (error (8)) 301    285    806862848
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout (error (8)) 301    282    1009651712
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout (error (8)) 301    285    1011740672
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 119    109    590700544
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 8.31 4.74 248000512
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 9.14 5.10 250642432
loop-invgen/id_trans_false-unreach-call_true-termination.i false(unreach-call) 12.6  6.96 324857856
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 14.9  8.58 465428480
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 15.2  8.80 457342976
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i true 142    89.0  1242783744
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 79.3  46.7  804061184
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i true 17.9  10.2  527458304
loop-invgen/down_true-unreach-call_true-termination.i true 13.8  7.72 401203200
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout (error (8)) 301    234    1338908672
loop-invgen/half_2_true-unreach-call_true-termination.i timeout (error (8)) 301    239    1020596224
loop-invgen/heapsort_true-unreach-call_true-termination.i true 148    115    831860736
loop-invgen/id_build_true-unreach-call_true-termination.i true 15.1  8.36 418029568
loop-invgen/large_const_true-unreach-call_true-termination.i true 21.6  12.3  601554944
loop-invgen/nest-if3_true-unreach-call_true-termination.i true 8.70 4.93 245661696
loop-invgen/nested6_true-unreach-call_true-termination.i true 69.5  47.2  777900032
loop-invgen/nested9_true-unreach-call_true-termination.i true 21.3  12.3  583602176
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 47.1  27.4  714256384
loop-invgen/seq_true-unreach-call_true-termination.i timeout (error (8)) 300    230    1036804096
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i true 14.7  8.26 428122112
loop-invgen/up_true-unreach-call_true-termination.i timeout (error (8)) 301    233    1258672128
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 12.7  7.03 349286400
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 14.9  8.41 449400832
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 13.4  7.67 397422592
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 14.2  8.25 425570304
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 12.6  7.08 363520000
loop-lit/css2003_true-unreach-call_true-termination.c.i true 9.15 5.12 249143296
loop-lit/ddlm2013_true-unreach-call.i timeout (error (8)) 301    289    679055360
loop-lit/gj2007_true-unreach-call_true-termination.c.i timeout (error (8)) 301    235    969859072
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 17.4  9.78 520151040
loop-lit/gr2006_true-unreach-call_true-termination.c.i timeout (error (8)) 301    253    963936256
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 10.4  5.89 282619904
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 12.8  7.21 354775040
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 17.5  10.4  491757568
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 18.1  10.7  507768832
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout (error (8)) 300    281    769388544
loop-lit/gcnr2008_false-unreach-call_false-termination.i false(unreach-call) 9.05 5.03 250445824
loop-new/count_by_1_true-unreach-call_true-termination.i true 9.37 5.30 257703936
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 11.0  6.10 271781888
loop-new/count_by_2_true-unreach-call_true-termination.i timeout (error (8)) 301    235    1015652352
loop-new/count_by_k_true-unreach-call_true-termination.i timeout (error (8)) 301    251    981831680
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout (error (8)) 301    235    1068220416
loop-new/gauss_sum_true-unreach-call_true-termination.i true 19.1  13.2  391077888
loop-new/half_true-unreach-call_true-termination.i timeout (error (8)) 300    283    753373184
loop-new/nested_true-unreach-call_true-termination.i true 281    225    4742098944
loop-industry-pattern/aiob_1_true-unreach-call.c error (7) 12.8  6.89 203255808
loop-industry-pattern/aiob_2_true-unreach-call.c error (7) 12.1  6.54 195575808
loop-industry-pattern/aiob_3_true-unreach-call.c error (7) 12.9  6.84 200282112
loop-industry-pattern/aiob_4_true-unreach-call.c error (7) 12.1  6.45 197570560
loop-industry-pattern/mod3_true-unreach-call.c true 21.5  17.0  264994816
loop-industry-pattern/nested_true-unreach-call.c timeout (error (8)) 301    233    1088720896
loop-industry-pattern/ofuf_1_true-unreach-call.c error (7) 12.4  6.70 200998912
loop-industry-pattern/ofuf_2_true-unreach-call.c error (7) 12.8  6.84 199458816
loop-industry-pattern/ofuf_3_true-unreach-call.c error (7) 11.9  6.47 193458176
loop-industry-pattern/ofuf_4_true-unreach-call.c error (7) 12.7  6.85 197513216
loop-industry-pattern/ofuf_5_true-unreach-call.c error (7) 12.7  6.75 195956736
loops/heavy_true-unreach-call.c out of memory 114    67.4  8000000000
loops/compact_false-unreach-call.c timeout (error (8)) 301    253    6206164992
loops/heavy_false-unreach-call.c out of memory 108    71.8  8000000000
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage
total 163 18600 15800 160198238208
local summary 2680 1260
    correct results 99 2320 1550 45268234240
        correct true 68 1840 1270 31936000000
        correct false 31 479 279 13332234240
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (163 tasks, max score: 274) 167
Run set sv-comp19-reach-loops.Loops