Tool ULTIMATE Automizer 0.1.23-61f43111
Limits timelimit: 240 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-11-23 09:54:49 CET
Run set Bitvector.ReachSafety32 Default.ReachSafety32
Options -tc ../../../trunk/examples/toolchains/AutomizerCInline_WitnessPrinter.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline_WitnessPrinter.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-examples/standard_sentinel_true-unreach-call_true-termination.i timeout 241    229    1314914304 true 24.5  16.0  824090624
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c timeout 241    228    1361563648 true 30.7  20.8  891600896
reducercommutativity/rangesum10_false-unreach-call_true-termination.i timeout 240    229    1440403456 false 75.0  54.5  1172152320
reducercommutativity/avg05_true-unreach-call_true-termination.i timeout 240    231    1788526592 error: exception 52.5  30.8  1127600128
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 240    231    2737135616 error: exception 97.8  62.8  1629511680
reducercommutativity/max05_true-unreach-call_true-termination.i timeout 240    228    1148411904 error: exception 35.8  21.7  991830016
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 241    226    1228939264 error: exception 71.8  44.9  1279885312
reducercommutativity/max_true-unreach-call_true-termination.i timeout 240    230    1443840000 error: exception 19.3  11.5  698609664
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout 241    223    1344045056 error: exception 42.4  26.9  999698432
reducercommutativity/sep10_true-unreach-call.i timeout 241    216    1441730560 error: exception 92.3  59.2  1303044096
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 241    224    1389051904 error: exception 27.0  16.6  817209344
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout 240    232    2228178944 error: exception 75.6  46.5  1214050304
array-tiling/mbpr2_true-unreach-call.i timeout 241    222    1264259072 error: exception 28.9  19.0  834904064
array-tiling/nr4_true-unreach-call.i timeout 241    226    1372909568 error: exception 44.0  31.2  1097236480
array-tiling/nr5_true-unreach-call.i timeout 240    227    1451749376 error: exception 44.3  32.0  1159417856
array-tiling/poly1_true-unreach-call.i error: exception 26.5  20.8  815702016 timeout 241    210    1223434240
array-tiling/poly2_true-unreach-call.i true 17.4  11.7  454590464 timeout 240    231    1010507776
array-tiling/revcpyswp2_true-unreach-call.i timeout 240    229    1511985152 error: exception 76.4  60.2  1202003968
array-tiling/rewrev_true-unreach-call.i timeout 240    223    1380007936 error: exception 25.3  17.6  822771712
array-crafted/bAnd5_true-unreach-call.i timeout 240    228    1265610752 unknown: overapproxcex 14.9  8.81 439980032
array-crafted/bor5_true-unreach-call.i timeout 240    226    1220440064 unknown: overapproxcex 14.2  8.50 444416000
array-crafted/xor5_true-unreach-call.i timeout 241    225    1191608320 unknown: overapproxcex 15.6  9.31 496259072
array-crafted/zero_sum_const3_true-unreach-call.c timeout 241    222    1145180160 error: exception 178    141    1503367168
array-crafted/zero_sum_const_m3_true-unreach-call.c timeout 240    227    1166729216 error: exception 222    184    1499942912
array-multidimensional/add-2-n-u_true-unreach-call.i timeout 241    219    1362231296 error: exception 20.8  13.3  773439488
array-multidimensional/copy-2-u_true-unreach-call.i timeout 241    218    1436409856 error: exception 19.0  12.1  767799296
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i timeout 241    216    1200054272 error: exception 26.6  17.3  839098368
array-multidimensional/init-4-n-u_true-unreach-call.i timeout 240    228    1220169728 error: exception 22.3  13.9  776810496
array-multidimensional/max-3-n-u_true-unreach-call.i timeout 241    221    1130209280 error: exception 25.0  16.1  805900288
array-multidimensional/min-3-n-u_true-unreach-call.i timeout 241    223    1209876480 error: exception 26.1  16.9  798498816
array-multidimensional/rev-2-n-u_true-unreach-call.i timeout 241    220    1346662400 error: exception 19.7  12.6  808001536
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c false 158    126    1607819264 timeout 241    196    1610792960
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c true 186    152    1568194560 timeout 240    199    1553616896
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 202    168    1564360704 timeout 240    201    1488121856
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c true 195    160    1622806528 timeout 240    200    1551753216
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c true 201    166    1606467584 timeout 241    200    1605095424
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c true 229    189    1537708032 timeout 241    192    1648091136
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c true 196    156    1573834752 timeout 241    192    1636143104
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c true 231    190    1602088960 timeout 241    190    1641594880
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c true 178    140    1494949888 timeout 241    195    1569755136
ntdrivers/diskperf_false-unreach-call.i.cil.c error: type error 10.7  5.68 312504320 timeout 240    206    2165248000
ntdrivers/parport_false-unreach-call.i.cil.c error: type error 13.8  7.58 501239808 timeout 240    196    1872777216
ntdrivers/diskperf_true-unreach-call.i.cil.c error: type error 11.0  6.20 334819328 timeout 242    199    2410598400
ntdrivers/parport_true-unreach-call.i.cil.c error: type error 14.1  7.60 504324096 timeout 240    197    1922420736
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c timeout 241    216    1421873152 unknown: overapproxcex 144    107    1531232256
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c false 217    191    1418166272 unknown: overapproxcex 117    81.7  1441234944
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c false 227    200    1458479104 unknown: overapproxcex 121    84.5  1463730176
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c false 227    201    1464225792 unknown: overapproxcex 126    86.7  1449271296
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false 71.6  54.1  1078910976 unknown: overapproxcex 144    104    1601036288
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false 58.2  43.8  966807552 unknown: overapproxcex 134    98.3  1519931392
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false 59.8  45.0  960950272 unknown: overapproxcex 134    97.7  1488007168
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false 53.2  39.8  934592512 unknown: overapproxcex 138    100    1512665088
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c error: exception 133    108    1246031872 timeout 240    195    1687527424
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c error: exception 145    117    1251430400 timeout 240    195    1671098368
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c timeout 241    217    1413566464 unknown: overapproxcex 190    145    1675608064
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error: exception 41.8  31.8  1124929536 timeout 241    211    1889607680
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 240    227    1804382208 error: exception 18.9  11.5  678621184
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i timeout 241    229    1520873472 error: exception 59.0  41.0  1183137792
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 17.8  11.1  573132800 error: exception 10.5  6.16 275423232
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unknown 6.31 3.76 200523776 true 10.1  5.97 286949376
ldv-regression/test10_true-unreach-call_true-termination.c timeout 240    232    997335040 true 18.3  11.5  714604544
ldv-regression/test23_true-unreach-call.c timeout 241    222    1362399232 error: exception 49.2  33.8  1135497216
ldv-regression/test27_true-unreach-call_true-termination.c timeout 240    230    1276809216 true 151    132    1389690880
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i timeout 241    213    2225713152 unknown: overapproxcex 234    175    2894692352
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i timeout 240    226    1793130496 error: exception 21.1  12.9  727572480
list-ext2-properties/simple_search_value_false-unreach-call.i timeout 241    216    2670596096 error: exception 192    161    2838286336
list-ext2-properties/simple_search_value_true-unreach-call.i timeout 241    214    2771701760 error: exception 176    144    3106656256
ldv-sets/test_mutex_double_unlock_false-unreach-call.i timeout 241    213    1469349888 error: exception 47.2  32.7  1141284864
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i timeout 241    215    1480400896 error: exception 47.3  33.3  1153675264
ldv-sets/test_add_true-unreach-call_true-termination.i timeout 240    229    1250410496 error: exception 38.3  26.7  989696000
ldv-sets/test_mutex_true-unreach-call.i timeout 241    212    1563152384 error: exception 46.8  32.2  1135030272
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    225    2346606592 error: exception 148    135    1116676096
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    221    2536693760 error: exception 24.8  15.0  824557568
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    226    1032536064 error: exception 25.2  15.4  834883584
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    229    1200271360 error: exception 156    143    1275117568
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    227    2339479552 error: exception 153    140    1543868416
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    226    2206117888 true 127    110    1276710912
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    228    1043038208 error: exception 23.8  14.7  803684352
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    224    1472188416 true 75.4  54.9  1443463168
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    227    1592991744 error: exception 23.7  14.4  824590336
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    229    1003610112 error: exception 24.6  14.9  808845312
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 240    228    1152008192 error: exception 187    173    1316397056
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 241    227    1458057216 error: exception 70.1  57.7  1143287808
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    229    1373962240 error: exception 67.2  55.1  1472348160
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i error: exception 228    212    1606955008 true 166    146    1576570880
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i timeout 240    230    1523417088 true 63.7  50.6  1549819904
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 240    228    1527808000 error: exception 22.3  13.5  826212352
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    229    998260736 error: exception 23.8  14.7  810217472
heap-data/hash_fun_true-unreach-call.i timeout 241    226    1386541056 error: exception 52.8  39.5  1185525760
heap-data/min_max_true-unreach-call.i timeout 241    221    1289859072 error: exception 12.7  7.42 335392768
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i timeout 240    216    1351528448 false 58.0  39.2  1122496512
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 241    226    1186246656 error: exception 32.8  21.5  974458880
loops/insertion_sort_false-unreach-call_true-termination.i timeout 240    228    1196359680 error: exception 28.8  19.3  873766912
loops/linear_search_false-unreach-call.i timeout 241    218    1346195456 error: exception 56.7  39.8  992673792
loops/ludcmp_false-unreach-call.i timeout 241    222    6405533696 unknown: overapproxcex 58.7  40.4  1247891456
loops/s3_false-unreach-call.i error: exception 225    194    1807294464 unknown: overapproxcex 150    110    1553235968
loops/string_false-unreach-call_true-termination.i false 27.1  18.1  843395072 unknown: overapproxcex 20.5  12.6  757194752
loops/sum03_false-unreach-call_true-termination.i false 24.5  16.3  824406016 timeout 240    228    1036455936
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i timeout 241    216    1289875456 false 43.2  27.5  1000620032
loops/vogal_false-unreach-call.i error: exception 185    164    2592690176 timeout 241    197    1477910528
loops/count_up_down_true-unreach-call_true-termination.i timeout 241    224    1221013504 true 21.9  14.3  596271104
loops/eureka_05_true-unreach-call_true-termination.i timeout 241    219    2634665984 error: exception 183    163    1304727552
loops/insertion_sort_true-unreach-call_true-termination.i timeout 241    229    1060978688 error: exception 27.7  18.0  846114816
loops/linear_sea.ch_true-unreach-call.i timeout 240    220    1268301824 error: exception 101    81.7  1112555520
loops/lu.cmp_true-unreach-call.i timeout 241    223    6403174400 true 45.3  29.1  1216860160
loops/matrix_true-unreach-call_true-termination.i error: exception 12.6  7.72 378703872 true 23.2  16.0  820654080
loops/sum01_true-unreach-call_true-termination.i timeout 241    225    1237626880 true 16.2  10.2  645152768
loop-acceleration/diamond_true-unreach-call2.i true 31.1  22.3  842444800 timeout 241    223    1093107712
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c error: exception 28.2  22.7  511094784 true 67.4  54.5  834002944
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c error: exception 29.2  23.6  501108736 true 69.2  58.8  809873408
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i timeout 241    226    1195388928 true 16.7  10.4  654188544
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i timeout 240    170    7022661632 true 16.5  10.6  663855104
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i timeout 240    202    1524596736 true 32.8  22.2  956645376
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i timeout 241    203    1407864832 true 23.1  14.9  809328640
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout 241    223    1178079232 true 144    108    1558040576
loop-invgen/nest-if3_true-unreach-call_true-termination.i timeout 241    218    1310187520 true 10.7  6.45 324923392
loop-invgen/nested9_true-unreach-call_true-termination.i timeout 241    210    1235820544 true 23.3  15.0  812638208
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i timeout 240    200    1363300352 true 50.5  35.3  1128980480
loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c timeout 240    204    1505161216 true 47.0  30.0  1113444352
loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c timeout 241    208    1311617024 true 57.6  37.0  1086570496
loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c timeout 241    203    1346109440 true 54.9  36.1  1148211200
loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c timeout 240    203    1479348224 true 103    74.3  1381040128
loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c timeout 240    204    1586679808 true 117    83.3  1589706752
loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c timeout 240    204    1286221824 true 43.6  28.8  1110769664
loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c timeout 240    205    1334800384 true 42.0  27.2  996909056
loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c timeout 241    213    1354964992 true 31.4  19.2  849154048
loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c timeout 240    216    1328873472 true 31.4  19.3  884264960
loop-lit/afnp2014_true-unreach-call_true-termination.c.i timeout 240    234    746938368 true 14.1  8.55 420741120
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i timeout 241    228    1115320320 true 17.6  11.3  711716864
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i timeout 241    225    1153069056 true 15.5  9.55 526516224
loop-lit/gj2007_true-unreach-call_true-termination.c.i timeout 241    222    1202667520 true 220    159    1524383744
loop-lit/gsv2008_true-unreach-call_true-termination.c.i timeout 240    230    1111527424 true 12.6  7.48 355962880
loop-lit/hhk2008_true-unreach-call_true-termination.c.i timeout 241    231    1178607616 true 14.2  8.69 424165376
loop-lit/jm2006_true-unreach-call_true-termination.c.i timeout 240    231    1141661696 true 18.9  12.0  702013440
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i timeout 241    224    1243078656 true 18.9  12.2  787709952
loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c timeout 241    219    1355997184 timeout (true) 241    178    1545420800
loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c timeout 240    233    770707456 true 11.1  6.80 325595136
loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c timeout 240    234    818294784 true 11.4  6.82 324968448
loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c timeout 240    232    936742912 true 13.5  8.04 375799808
loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c timeout 240    231    1082212352 true 16.1  10.1  559185920
loop-new/half_true-unreach-call_true-termination.i timeout 241    224    1159831552 true 28.0  18.4  861241344
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c true 85.2  72.7  895520768 out of memory 220    134    8000000000
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c timeout 241    223    1227292672 true 57.5  39.2  1155710976
loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c timeout 241    227    1241788416 true 107    82.5  1503838208
loop-industry-pattern/mod3_true-unreach-call.c timeout 240    234    527314944 true 26.8  20.8  436662272
loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c timeout 240    235    504483840 true 17.2  12.1  342450176
loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c timeout 240    235    499298304 true 19.5  14.3  322424832
loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c timeout 240    235    539561984 true 16.1  10.6  340545536
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.0  7.18 346775552 false 8.82 5.19 264302592
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 149 30700 28000 209107529728 149 13300 10400 171675070464
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set Bitvector.ReachSafety32 Default.ReachSafety32