Tool ULTIMATE Automizer 0.1.23-35b68b2d
Limits timelimit: 300 s, memlimit: 6000 MB, CPU core limit: 4
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-04-06 18:56:35 CEST
Run set Automizer AutomizerHeapSep HeapSep
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 10.2  8.18 259538944 false(valid-deref) 85.3  52.0  1078661120 unknown 82.1  51.2  1137958912
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.47 8.05 236982272 false(valid-deref) 40.0  15.2  698298368 unknown 33.9  16.1  587751424
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 10.5  4.05 279658496 false(valid-deref) 143    114    1348501504 unknown 141    113    1557270528
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.60 3.02 231264256 false(valid-deref) 51.8  25.6  852279296 unknown 46.9  23.1  756719616
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 19.7  8.43 368128000 error: exception 43.4  21.5  691159040 unknown 45.2  20.6  687063040
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 12.7  5.00 298127360 false(valid-deref) 33.2  12.1  503877632 unknown 28.9  11.6  462987264
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.66 3.10 234569728 false(valid-deref) 267    233    1512960000 unknown 265    231    1801232384
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.14 3.30 235274240 false(valid-deref) 56.6  32.6  948961280 unknown 55.7  32.9  941510656
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 18.8  8.25 366809088 false(valid-deref) 81.1  40.3  922324992 unknown 68.2  34.8  871591936
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.68 3.33 239546368 false(valid-deref) 37.2  15.0  602963968 unknown 33.4  16.2  569425920
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.6  4.60 297517056 false(valid-deref) 294    246    1789476864 unknown 294    250    2047651840
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 22.3  9.60 371924992 timeout (error (143)) 302    263    1296777216 timeout (error (143)) 303    262    1366343680
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.98 3.79 262529024 false(valid-deref) 145    107    1310052352 unknown 150    112    1281277952
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 16.4  6.17 321236992 timeout (error (143)) 303    266    1397669888 timeout (error (143)) 302    266    1549217792
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 12.0  4.42 299143168 timeout (error (143)) 301    265    1426018304 timeout (error (143)) 301    264    1597579264
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 9.21 3.56 242475008 false(valid-deref) 35.0  14.3  590704640 unknown 34.9  15.5  571686912
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.39 2.94 227504128 false(valid-deref) 8.45 3.32 245288960 unknown 8.68 3.52 239419392
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    278    2128564224 timeout (error (143)) 306    259    2598723584 unknown 88.1  54.5  1024053248
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 18.5  7.30 342769664 true 53.7  21.8  708505600 unknown 41.5  18.4  666886144
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 18.5  7.22 366317568 true 72.3  42.0  1024679936 unknown 66.0  39.7  1038946304
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 17.8  7.12 348176384 true 166    128    1992167424 unknown 171    132    1991868416
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    239    1140883456 timeout (error (143)) 301    225    1169969152 unknown 52.9  26.3  871223296
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    233    986333184 timeout (error (143)) 301    232    1421152256 unknown 149    118    1347223552
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    262    671531008 timeout (error (143)) 300    256    1126232064 timeout (error (143)) 301    257    1483673600
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 20.2  8.67 364081152 error: exception 54.3  29.7  865345536 unknown 53.7  31.1  792354816
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 84.3  61.6  568033280 error: exception 178    130    1540562944 unknown 172    132    1452253184
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    256    745877504 error: exception 208    166    1154023424 unknown 206    166    1242628096
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 69.1  49.6  539320320 timeout (error (143)) 303    259    1510617088 timeout (error (143)) 302    265    1568063488
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 20.2  8.80 347815936 error: exception 35.2  13.3  542445568 unknown 30.3  12.1  518488064
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    262    680247296 timeout (error (143)) 301    252    1437585408 timeout (error (143)) 300    255    1343066112
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 41.7  22.1  502030336 error: exception 184    133    1437683712 unknown 157    116    1342251008
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    248    681590784 timeout (error (143)) 306    265    1563496448 timeout (error (143)) 303    259    1603604480
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 170    146    706613248 timeout (error (143)) 306    265    1538867200 timeout (error (143)) 302    267    1630892032
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 129    99.5  682184704 timeout (error (143)) 302    266    1643765760 timeout (error (143)) 302    263    1625485312
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    257    648974336 timeout (error (143)) 302    237    1067307008 unknown 78.5  41.0  868020224
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 23.7  9.81 386990080 true 74.8  37.1  931905536 unknown 59.8  29.3  865820672
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    239    1241980928 timeout (error (143)) 301    228    1163689984 unknown 56.8  27.7  920539136
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 34.8  17.3  464920576 timeout (error (143)) 300    260    1484181504 timeout (error (143)) 301    266    1628282880
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 40.1  30.0  310124544 true 170    127    1303523328 unknown 148    113    1466867712
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    281    494669824 timeout (error (143)) 302    261    815185920 unknown 48.4  22.5  698793984
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    266    599552000 timeout (error (143)) 300    263    627130368 unknown 14.6  5.16 320020480
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    271    556171264 timeout (error (143)) 300    268    590548992 unknown 15.5  5.39 315092992
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    266    602472448 timeout (error (143)) 300    253    834646016 unknown 55.9  25.4  679604224
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    257    863019008 error: exception 188    145    1172963328 unknown 191    144    1424359424
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error: exception 17.1  6.58 330158080 timeout (error (143)) 303    264    1596153856 timeout (error (143)) 301    256    1756831744
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    252    624361472 timeout (error (143)) 301    257    1183617024 timeout (error (143)) 301    258    1495314432
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 49.6  30.5  502099968 true 157    110    1282420736 unknown 112    75.5  1238401024
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    259    818348032 error: exception 189    143    1143234560 unknown 183    142    1160241152
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 96.2  73.3  557944832 error: exception 151    106    1261637632 unknown 141    107    1235750912
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    257    596791296 timeout (error (143)) 303    265    1229148160 timeout (error (143)) 300    255    1466241024
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 18.7  8.03 355536896 error: exception 34.0  13.0  528203776 unknown 32.3  12.6  520134656
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    258    642748416 timeout (error (143)) 303    254    1364615168 timeout (error (143)) 306    262    1248104448
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 47.5  29.5  519421952 error: exception 126    86.2  1188552704 unknown 121    83.0  1319739392
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    254    629297152 timeout (error (143)) 303    256    1481805824 timeout (error (143)) 305    258    1492930560
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 21.8  9.71 378834944 error: exception 49.1  19.8  679448576 unknown 47.8  21.1  609042432
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 55.4  35.1  496447488 error: exception 183    140    1336922112 unknown 183    139    1495752704
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 248    225    566812672 error: exception 110    71.6  1033773056 unknown 106    67.6  1029341184
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    274    648491008 timeout (error (143)) 305    258    1838796800 timeout (error (143)) 300    258    1978626048
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 305    297    1742381056 timeout (error (143)) 305    297    1930489856 timeout (error (143)) 305    298    1818521600
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 21.8  8.95 374988800 true 61.9  28.6  808628224 unknown 49.7  26.8  746762240
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 19.0  7.74 361140224 true 22.7  8.87 376377344 unknown 13.3  4.66 283201536
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 20.3  8.28 308555776 true 46.0  18.5  632045568 unknown 40.2  14.7  582074368
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 23.1  10.7  373297152 error: exception 158    117    1224704000 unknown 146    112    1267195904
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 189    167    652771328 timeout (error (143)) 302    257    1274953728 timeout (error (143)) 303    256    1199906816
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    267    682946560 timeout (error (143)) 301    247    1592135680 unknown 265    224    1705828352
array-examples/relax_false-valid-deref.i false(valid-deref) 12.2  4.47 299073536 false(valid-deref) 22.6  7.67 383746048 unknown 18.3  6.26 331894784
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 300    233    1190637568 timeout (error (143)) 300    235    1033080832 unknown 7.23 2.80 224972800
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 300    229    1335775232 timeout (error (143)) 300    229    1331032064 unknown 7.31 2.80 225107968
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 301    248    987467776 timeout (error (143)) 300    248    1074515968 unknown 7.27 2.85 229326848
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 301    258    739590144 timeout (error (143)) 300    248    1256247296 unknown 217    182    1239093248
memsafety/test-0137_false-valid-deref.i unknown 6.38 2.53 193892352 unknown 6.81 2.59 197595136 unknown 6.75 2.57 199602176
memsafety/test-0235_false-valid-deref.i error: exception 18.5  6.83 388567040 timeout (error (143)) 306    295    2150887424 timeout (error (143)) 305    295    1838649344
memsafety/960521-1_false-valid-free.i timeout (error (143)) 301    257    742682624 timeout (error (143)) 300    242    1105252352 unknown 163    130    1050218496
memsafety/test-0158_false-valid-free.i false(valid-free) 12.7  4.88 300388352 false(valid-free) 82.1  50.6  1108230144 unknown 74.2  48.4  1117425664
memsafety/test-0232_false-valid-free.i unknown 6.40 2.46 192520192 unknown 6.79 2.58 195555328 unknown 6.64 2.53 198283264
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 305    297    1563451392 timeout (error (143)) 305    297    1659662336 timeout (error (143)) 305    297    1596129280
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 306    257    1128210432 timeout (error (143)) 305    267    1719873536 timeout (error (143)) 301    270    1545691136
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 64.7  27.3  1197031424 timeout (error (143)) 306    274    1017270272 timeout (error (143)) 306    270    1072558080
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 22.9  8.02 393498624 timeout (error (143)) 306    266    916697088 timeout (error (143)) 306    275    951619584
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 185    114    3275657216 timeout (error (143)) 307    271    1075974144 timeout (error (143)) 306    270    1105002496
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.2  9.79 388517888 timeout (error (143)) 306    276    1186209792 timeout (error (143)) 306    276    1213358080
memsafety/test-0102_false-valid-memtrack.i error: exception 7.31 2.79 205856768 error: exception 6.90 2.62 210915328 error: exception 7.14 2.66 210149376
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.7  4.24 272875520 unknown: overapproxcex 49.2  22.5  857468928 unknown 45.0  22.8  762372096
memsafety/test-0220_false-valid-memtrack.i out of memory 283    136    5999996928 timeout (error (143)) 306    296    1722458112 timeout (error (143)) 306    296    1714573312
memsafety/test-0232_false-valid-memtrack.i unknown 6.09 2.81 195461120 unknown 6.83 2.56 195112960 unknown 6.98 2.67 199929856
memsafety/test-0234_false-valid-memtrack.i error: exception 17.2  6.36 340525056 timeout (error (143)) 305    295    1734127616 timeout (error (143)) 305    295    1847496704
memsafety/test-0235_false-valid-memtrack.i error: exception 17.1  6.47 360771584 timeout (error (143)) 306    295    2144206848 timeout (error (143)) 306    295    2142773248
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 301    257    741187584 timeout (error (143)) 301    249    1173065728 unknown 195    155    1228398592
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 153    94.4  2395680768 timeout (error (143)) 306    272    967987200 timeout (error (143)) 305    269    999383040
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 22.1  10.8  405991424 error: exception 63.3  35.7  882290688 unknown 58.9  32.9  918863872
memsafety/test-0102_true-valid-memsafety.i error: exception 7.21 2.67 208654336 error: exception 7.47 2.70 207556608 error: exception 7.37 2.66 213422080
memsafety/test-0134_true-valid-memsafety.i unknown 6.53 2.53 196677632 unknown 6.63 2.45 195760128 unknown 6.62 2.51 200081408
memsafety/test-0158_true-valid-memsafety_true-termination.i true 13.7  5.76 306749440 error: exception 56.1  28.4  765239296 unknown 44.6  23.9  907628544
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 6.72 2.57 193982464 error: exception 6.78 2.47 202973184 error: exception 6.96 2.59 201027584
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 6.86 2.64 196247552 error: exception 6.74 2.53 202207232 error: exception 6.80 2.61 203051008
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 6.95 2.69 193077248 error: exception 6.67 2.46 202444800 error: exception 6.84 2.55 204263424
memsafety/test-0219_true-valid-memsafety.i out of memory 263    122    5999996928 timeout (error (143)) 305    296    1717178368 timeout (error (143)) 305    296    1607131136
memsafety/test-0232_true-valid-memsafety.i unknown 6.38 2.47 189501440 unknown 6.88 2.63 197783552 unknown 6.72 2.52 201924608
memsafety/test-0234_true-valid-memsafety.i error: exception 18.4  8.21 343244800 timeout (error (143)) 305    295    1790685184 timeout (error (143)) 306    295    1780531200
memsafety/test-0235_true-valid-memsafety.i error: exception 22.8  11.4  368635904 timeout (error (143)) 305    295    1789009920 timeout (error (143)) 306    295    1719152640
memsafety/test-0236_true-valid-memsafety.i error: exception 20.5  10.3  355819520 timeout (error (143)) 305    295    1829933056 timeout (error (143)) 305    295    1816678400
memsafety/test-0237_true-valid-memsafety.i error: exception 21.3  10.4  433451008 timeout (error (143)) 305    295    1815023616 timeout (error (143)) 306    295    1832943616
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 301    268    667648000 timeout (error (143)) 306    272    1896509440 timeout (error (143)) 306    272    1806553088
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 301    260    840695808 timeout (error (143)) 305    271    1316630528 timeout (error (143)) 306    271    1618640896
memsafety/test-0521_true-valid-memsafety.i unknown 6.42 2.56 192245760 unknown 6.46 2.48 193835008 unknown 6.61 2.51 196927488
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 300    268    614141952 timeout (error (143)) 306    274    1360416768 timeout (error (143)) 306    274    1522520064
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 300    273    695951360 timeout (error (143)) 305    264    1682145280 timeout (error (143)) 305    267    1796345856
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.36 2.47 195530752 unknown 6.48 2.49 197230592 unknown 6.60 2.56 202113024
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.36 2.47 195985408 unknown 6.48 2.52 193732608 unknown 6.52 2.46 200548352
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 302    257    606281728 timeout (error (143)) 305    273    1534865408 timeout (error (143)) 305    271    1692880896
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 301    249    671641600 timeout (error (143)) 302    264    1820680192 timeout (error (143)) 306    271    1749389312
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 302    262    677089280 timeout (error (143)) 306    271    2218119168 timeout (error (143)) 302    262    2001620992
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 302    271    552947712 timeout (error (143)) 306    273    2257563648 timeout (error (143)) 306    273    1859977216
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 300    266    610455552 timeout (error (143)) 304    271    2219585536 timeout (error (143)) 305    269    1940840448
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 71.9  45.2  615153664 timeout (error (143)) 306    263    1609023488 timeout (error (143)) 306    269    1372704768
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 305    265    832151552 timeout (error (143)) 306    268    1534369792 timeout (error (143)) 306    273    1140969472
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 306    279    680804352 timeout (error (143)) 304    263    1237180416 timeout (error (143)) 306    261    1339752448
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 319    234    3630874624 timeout (error (143)) 306    271    1604263936 timeout (error (143)) 306    273    2196299776
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 301    261    754540544 timeout (error (143)) 305    266    965652480 timeout (error (143)) 301    262    973488128
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 300    249    1141473280 timeout (error (143)) 303    266    1372442624 timeout (error (143)) 306    267    1319313408
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 302    272    885256192 timeout (error (143)) 306    272    1307385856 timeout (error (143)) 306    266    1248157696
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 301    265    2344685568 timeout (error (143)) 306    271    1927114752 timeout (error (143)) 306    267    2028896256
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 300    255    634327040 timeout (error (143)) 304    265    968019968 timeout (error (143)) 306    262    1018212352
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 70.6  44.2  638566400 timeout (error (143)) 306    271    1403469824 timeout (error (143)) 306    268    1432723456
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 16.9  6.78 369090560 false(valid-deref) 196    165    1168166912 unknown 195    163    1119608832
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 301    255    689164288 timeout (error (143)) 304    263    1224503296 timeout (error (143)) 305    264    1253036032
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 16.1  6.08 348057600 timeout (error (143)) 302    270    1124380672 timeout (error (143)) 304    267    1111556096
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 22.5  9.67 388087808 error: exception 240    194    1250172928 unknown 203    166    1108971520
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 12.4  4.67 300269568 false(valid-free) 214    186    1154367488 unknown 193    170    1136713728
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 40.4  20.4  541892608 timeout (error (143)) 306    278    1557929984 timeout (error (143)) 306    274    1387085824
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.4  3.88 279134208 error: exception 121    94.3  1226522624 unknown 117    88.3  1181184000
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.46 2.56 194650112 unknown 7.13 2.89 196874240 unknown 6.78 2.51 196812800
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 302    270    582295552 error: exception 153    110    1462169600 unknown 115    81.9  1198624768
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 301    254    733810688 timeout (error (143)) 301    266    1551945728 timeout (error (143)) 306    272    1182928896
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 301    260    694255616 timeout (error (143)) 306    269    1167486976 timeout (error (143)) 305    271    1192599552
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 300    264    593358848 timeout (error (143)) 304    270    968736768 timeout (error (143)) 302    270    1099337728
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 41.9  22.4  547016704 false(valid-deref) 160    123    1379258368 unknown 135    107    1379106816
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 13.0  5.01 293376000 false(valid-free) 198    167    1294417920 unknown 177    150    1191239680
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 6.61 2.59 198836224 error: exception 6.84 2.92 196481024 error: exception 6.88 2.51 203505664
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 6.90 2.73 196476928 error: exception 7.33 2.94 195022848 error: exception 7.02 2.67 201277440
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.31 2.46 188493824 unknown 6.90 2.91 193892352 unknown 6.64 2.55 201646080
list-ext-properties/test-0504_1_true-valid-memsafety.i error: exception 227    181    749985792 timeout (error (143)) 306    275    1628315648 timeout (error (143)) 306    276    1871478784
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 300    256    900780032 timeout (error (143)) 305    277    1494106112 timeout (error (143)) 304    270    1279352832
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 16.9  7.37 311099392 timeout (error (143)) 305    270    2150023168 timeout (error (143)) 304    263    1880961024
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 10.9  4.22 288612352 false(valid-deref) 142    114    1179066368 unknown 128    101    1152978944
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 15.0  7.05 325537792 false(valid-deref) 193    163    1138212864 unknown 169    141    1066938368
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.69 3.40 239104000 false(valid-deref) 31.1  12.8  512450560 unknown 28.1  10.8  485961728
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.99 3.54 237191168 false(valid-deref) 36.2  14.4  531103744 unknown 33.1  13.0  494956544
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 301    230    2298437632 timeout (error (143)) 301    240    2266484736 unknown 15.4  5.44 331550720
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 302    231    2310328320 timeout (error (143)) 301    235    2271858688 unknown 14.1  5.00 286666752
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.02 3.26 236101632 false(valid-deref) 10.2  4.73 269058048 unknown 9.27 3.49 240635904
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.11 3.22 235520000 false(valid-deref) 10.6  4.34 278212608 unknown 9.40 3.67 245080064
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.83 3.16 237764608 false(valid-deref) 10.3  4.33 268414976 unknown 9.52 4.28 247042048
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.13 3.36 237842432 false(valid-deref) 11.0  4.74 274997248 unknown 9.63 3.59 239648768
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.81 3.21 239697920 false(valid-deref) 10.4  4.27 267141120 unknown 9.24 3.47 240291840
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.99 3.24 238092288 false(valid-deref) 10.3  4.36 263942144 unknown 9.15 3.46 240640000
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 304    290    539127808 timeout (error (143)) 301    253    1186361344 unknown 140    112    1036677120
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 301    246    2363707392 timeout (error (143)) 305    247    2341076992 unknown 16.7  6.02 348704768
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (error (143)) 303    233    2278100992 timeout (error (143)) 301    235    2270937088 unknown 14.9  5.22 343056384
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (error (143)) 307    248    2390614016 timeout (error (143)) 306    254    2373541888 unknown 15.3  5.37 362934272
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (error (143)) 301    231    2269179904 timeout (error (143)) 301    235    2259369984 unknown 31.4  11.8  471195648
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (error (143)) 301    229    2299777024 timeout (error (143)) 302    244    2254352384 unknown 16.8  5.87 366211072
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 10.5  3.85 290340864 timeout (error (143)) 303    273    1244426240 timeout (error (143)) 304    276    1184206848
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 10.4  3.83 290918400 timeout (error (143)) 305    276    1524199424 timeout (error (143)) 302    274    1115619328
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.91 3.42 239587328 timeout (error (143)) 306    286    1253281792 timeout (error (143)) 306    284    1119666176
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 18.6  7.98 371355648 true 19.6  8.99 382451712 unknown 8.69 3.19 240885760
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 29.0  14.1  455286784 true 29.4  15.6  483336192 unknown 8.79 3.32 245411840
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 18.0  7.74 374550528 true 19.3  8.77 375033856 unknown 8.54 3.21 240701440
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 27.6  13.9  458039296 true 30.4  15.7  408326144 unknown 9.01 3.35 245374976
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 28.1  13.9  461074432 true 30.5  15.8  402546688 unknown 8.78 3.21 243425280
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 28.4  14.0  450973696 true 29.0  15.7  454529024 unknown 8.50 3.17 239132672
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 7.02 2.69 199159808 error: exception 7.59 3.00 201474048 error: exception 7.11 2.67 205414400
ldv-memsafety/memleaks_test22_3_false-valid-deref.i error: exception 6.88 2.71 198467584 error: exception 7.21 2.85 197857280 error: exception 6.90 2.56 204115968
ldv-memsafety/memleaks_test22_5_false-valid-deref.i error: exception 7.08 2.72 199081984 error: exception 7.54 2.86 203296768 error: exception 7.00 2.62 205725696
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.73 2.64 196554752 unknown 7.39 2.87 203317248 unknown 6.49 2.58 197922816
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.95 2.60 198635520 unknown 7.45 2.86 200146944 unknown 6.81 2.61 205324288
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 7.08 2.66 201687040 error: exception 7.47 2.98 204263424 error: exception 7.08 2.66 208535552
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 7.34 2.79 207290368 error: exception 7.65 3.01 209723392 error: exception 7.32 2.74 209985536
ldv-memsafety/memleaks_test17_2_false-valid-free.i error: exception 6.90 2.58 199639040 error: exception 7.56 2.97 201998336 error: exception 7.25 2.75 207966208
ldv-memsafety/memleaks_test19_false-valid-free.i error: exception 7.00 2.64 200392704 error: exception 7.47 3.02 203845632 error: exception 6.78 2.55 201494528
ldv-memsafety/memleaks_test1_false-valid-free.i error: exception 7.05 2.64 197885952 error: exception 7.61 2.91 202510336 error: exception 7.10 2.59 208199680
ldv-memsafety/memleaks_test3_false-valid-free.i error: exception 6.90 2.63 201756672 error: exception 7.48 3.01 199155712 error: exception 6.82 2.63 203788288
ldv-memsafety/memleaks_test6_2_false-valid-free.i error: exception 6.98 2.60 202952704 error: exception 7.38 2.92 201945088 error: exception 6.90 2.55 206372864
ldv-memsafety/memleaks_test8_2_false-valid-free.i error: exception 6.79 2.64 200949760 error: exception 7.22 2.97 202104832 error: exception 6.80 2.61 205082624
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 7.03 2.61 199479296 error: exception 7.49 3.03 205754368 error: exception 6.96 2.61 206213120
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 7.25 2.67 202661888 error: exception 7.47 2.85 202280960 error: exception 7.04 2.68 210206720
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 7.08 2.68 200208384 error: exception 7.32 2.79 201822208 error: exception 7.04 2.61 203923456
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 6.98 2.63 199462912 error: exception 7.54 2.81 202477568 error: exception 7.12 2.64 207491072
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 7.03 2.63 200790016 error: exception 7.32 2.90 201285632 error: exception 6.89 2.75 201728000
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 7.03 2.59 199540736 error: exception 7.28 2.91 204500992 error: exception 6.64 2.55 211333120
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error: exception 7.13 2.63 199528448 error: exception 7.52 2.94 205307904 error: exception 7.06 2.65 207831040
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 6.96 2.62 202141696 error: exception 7.16 2.91 198971392 error: exception 6.97 2.56 205197312
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 7.21 2.64 201887744 error: exception 7.42 3.03 203436032 error: exception 6.99 2.59 205733888
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error: exception 7.05 2.61 199028736 error: exception 7.26 2.90 203456512 error: exception 6.99 2.59 207519744
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error: exception 6.91 2.63 197767168 error: exception 7.54 2.98 199086080 error: exception 7.06 2.65 206327808
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i error: exception 6.88 2.68 195866624 error: exception 7.53 3.08 205762560 error: exception 6.35 2.52 201056256
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error: exception 7.13 2.74 205053952 error: exception 7.43 2.89 198848512 error: exception 7.29 2.71 205242368
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i error: exception 7.20 2.65 197427200 error: exception 7.49 2.82 198967296 error: exception 6.93 2.68 206360576
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i error: exception 7.11 2.69 200585216 error: exception 7.16 2.82 197926912 error: exception 7.35 2.75 203476992
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 7.05 2.64 200753152 error: exception 7.54 2.94 201678848 error: exception 6.80 2.62 202465280
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 6.88 2.68 195792896 error: exception 7.22 2.87 200327168 error: exception 7.00 2.66 207585280
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i error: exception 6.90 2.58 200196096 error: exception 6.93 2.87 201412608 error: exception 6.93 2.66 206987264
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i error: exception 6.96 2.63 200028160 error: exception 7.47 2.95 201269248 error: exception 7.03 2.61 205303808
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i error: exception 7.05 2.70 204685312 error: exception 7.36 2.97 195727360 error: exception 6.77 2.63 204685312
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i error: exception 7.07 2.65 202276864 error: exception 7.46 2.97 199667712 error: exception 6.77 2.59 205234176
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i error: exception 7.06 2.67 199499776 error: exception 7.27 2.96 200900608 error: exception 6.86 2.65 205520896
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i error: exception 6.98 2.62 200691712 error: exception 7.04 2.90 202498048 error: exception 6.75 2.61 199700480
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i error: exception 7.15 2.59 199663616 error: exception 7.51 2.88 201220096 error: exception 7.00 2.66 207597568
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i error: exception 6.92 2.61 201138176 error: exception 7.49 3.03 199667712 error: exception 7.22 2.64 205418496
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i error: exception 7.03 2.68 203452416 error: exception 7.44 2.81 204873728 error: exception 7.17 2.61 201801728
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i error: exception 7.08 2.68 200040448 error: exception 7.36 2.87 203390976 error: exception 7.04 2.69 206708736
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i error: exception 7.07 2.65 199032832 error: exception 7.28 2.92 202051584 error: exception 6.94 2.66 204664832
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i error: exception 7.11 2.58 197898240 error: exception 7.32 2.89 201474048 error: exception 7.03 2.70 202100736
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 7.09 2.67 198918144 error: exception 7.32 2.71 200486912 error: exception 7.03 2.62 205389824
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 7.10 2.67 205697024 error: exception 7.63 2.94 207474688 error: exception 7.14 2.74 209129472
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 7.27 2.63 204136448 error: exception 7.16 2.90 205172736 error: exception 7.27 2.66 207151104
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 7.16 2.71 201039872 error: exception 7.27 2.88 205275136 error: exception 7.17 2.60 205246464
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 7.06 2.61 202539008 error: exception 7.12 2.83 200904704 error: exception 6.90 2.66 207818752
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error: exception 6.93 2.67 201105408 error: exception 7.03 2.82 205619200 error: exception 7.17 2.72 210919424
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 6.78 2.59 201080832 error: exception 7.67 3.01 202993664 error: exception 6.93 2.58 204992512
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i error: exception 6.99 2.71 200830976 error: exception 7.05 2.92 202088448 error: exception 6.78 2.64 203894784
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error: exception 6.93 2.69 207454208 error: exception 7.44 2.98 204251136 error: exception 7.31 2.73 206065664
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i error: exception 6.88 2.58 206086144 error: exception 7.46 2.85 203087872 error: exception 6.92 2.67 204427264
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 6.87 2.63 208297984 error: exception 7.39 2.93 204120064 error: exception 7.10 2.72 206073856
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i error: exception 6.48 2.59 199933952 error: exception 7.53 2.96 202899456 error: exception 6.93 2.68 199999488
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 6.80 2.64 203505664 error: exception 7.35 2.86 206626816 error: exception 6.40 2.60 205094912
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 6.86 2.57 198111232 error: exception 7.78 2.90 204816384 error: exception 7.08 2.72 205291520
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i error: exception 7.10 2.64 195084288 error: exception 8.02 3.12 200753152 error: exception 7.12 2.70 207622144
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i error: exception 6.85 2.64 201080832 error: exception 7.66 3.05 203431936 error: exception 7.02 2.60 205770752
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i error: exception 7.07 2.61 203878400 error: exception 7.60 3.10 201863168 error: exception 7.00 2.68 208130048
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.81 2.67 200114176 unknown 7.73 3.07 199467008 unknown 6.55 2.57 204722176
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.09 2.71 198094848 unknown 7.67 3.14 202539008 unknown 6.88 2.68 212389888
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i error: exception 6.91 2.60 199254016 error: exception 7.62 3.14 203436032 error: exception 6.93 2.69 204029952
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i error: exception 7.08 2.68 199057408 error: exception 7.95 3.13 206147584 error: exception 6.93 2.60 207642624
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i error: exception 6.94 2.61 201306112 error: exception 7.54 2.85 202702848 error: exception 6.60 2.60 204849152
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i error: exception 6.83 2.62 198086656 error: exception 7.74 3.19 207499264 error: exception 6.98 2.69 206680064
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i error: exception 7.16 2.68 197935104 error: exception 7.97 3.30 200052736 error: exception 7.01 2.61 203984896
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i error: exception 7.13 2.68 200757248 error: exception 7.57 3.10 205340672 error: exception 6.99 2.74 203706368
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i error: exception 7.11 2.69 199548928 error: exception 7.78 2.95 206737408 error: exception 6.93 2.62 207147008
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 10.4  4.04 272494592 error: exception 77.2  52.1  1117552640 unknown 63.6  43.2  903041024
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 19.6  8.71 363425792 timeout (error (143)) 301    264    1385353216 timeout (error (143)) 305    269    1341009920
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i error: exception 109    97.3  476663808 timeout (error (143)) 306    275    1289437184 timeout (error (143)) 306    274    1171894272
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i timeout (error (143)) 301    283    916373504 timeout (error (143)) 303    275    1436598272 timeout (error (143)) 302    274    1200021504
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i timeout (error (143)) 303    290    1003524096 timeout (error (143)) 301    270    1132339200 timeout (error (143)) 303    274    1109991424
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 9.69 3.80 280576000 error: exception 66.0  47.8  1071284224 unknown 63.3  42.9  931270656
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i timeout (error (143)) 300    287    557092864 timeout (error (143)) 301    268    1461190656 timeout (error (143)) 306    273    1142902784
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.4  4.52 300785664 timeout (error (143)) 306    279    1501626368 timeout (error (143)) 304    275    1482448896
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i timeout (error (143)) 301    289    940560384 timeout (error (143)) 302    269    1167896576 timeout (error (143)) 301    272    1063829504
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i timeout (error (143)) 300    288    505032704 timeout (error (143)) 304    275    1284071424 timeout (error (143)) 306    280    1218224128
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.87 2.59 195960832 unknown 7.62 2.93 199245824 unknown 6.88 2.51 202653696
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 305    297    1737187328 timeout (error (143)) 305    298    1884078080 timeout (error (143)) 305    297    1691340800
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.84 2.62 199290880 unknown 7.19 2.78 199196672 unknown 7.14 2.64 205045760
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.84 2.59 197136384 unknown 7.63 2.94 201760768 unknown 6.99 2.68 198545408
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.86 2.63 198721536 unknown 7.24 2.94 198402048 unknown 6.89 2.59 204447744
heap-manipulation/tree_false-valid-deref.i unknown 6.70 2.59 197267456 unknown 7.44 2.97 197926912 unknown 6.79 2.65 202911744
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 305    297    1800138752 timeout (error (143)) 305    298    2017681408 timeout (error (143)) 305    297    1802698752
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 51.3  29.9  490397696 timeout (error (143)) 306    275    2182348800 timeout (error (143)) 306    267    1957339136
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 302    272    588251136 timeout (error (143)) 305    262    1883852800 timeout (error (143)) 305    269    1673703424
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 300    263    641908736 timeout (error (143)) 305    267    1927139328 timeout (error (143)) 303    261    1497919488
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    256    631930880 timeout (error (143)) 305    273    1243787264 timeout (error (143)) 306    273    1166729216
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 11.7  4.38 300408832 timeout (error (143)) 301    268    1303347200 timeout (error (143)) 306    275    1124786176
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 17.8  7.05 356028416 timeout (error (143)) 306    273    1191886848 timeout (error (143)) 302    273    1143959552
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.7  5.98 328032256 timeout (error (143)) 301    275    1224249344 timeout (error (143)) 306    281    1079435264
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.6  6.20 331505664 timeout (error (143)) 306    275    1029775360 timeout (error (143)) 306    275    1050509312
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 12.3  4.64 302866432 timeout (error (143)) 301    267    1446801408 timeout (error (143)) 304    268    1262039040
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.22 2.76 222105600 unknown 7.31 2.89 223510528 unknown 7.23 2.71 222957568
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.16 2.72 222515200 unknown 7.51 2.76 228909056 unknown 7.31 2.77 239357952
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.59 2.85 236683264 unknown 7.68 2.84 237502464 unknown 7.09 2.68 226590720
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.26 2.66 224464896 unknown 8.59 4.10 223137792 unknown 7.36 2.78 242126848
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.35 2.77 225767424 unknown 8.50 3.98 236232704 unknown 7.28 2.72 225308672
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.41 2.72 226754560 unknown 8.51 3.67 223457280 unknown 7.16 2.69 227553280
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.42 2.82 222912512 unknown 8.25 4.05 225337344 unknown 7.51 2.76 237539328
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.22 2.69 225579008 unknown 8.41 3.33 234065920 unknown 7.02 2.65 224718848
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.48 2.82 223887360 unknown 8.13 3.23 223612928 unknown 7.18 2.69 226234368
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.44 2.78 233422848 unknown 8.65 3.84 236924928 unknown 7.37 2.74 225579008
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.55 2.81 222711808 unknown 8.30 5.03 228114432 unknown 7.38 2.69 238374912
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.27 2.79 224231424 unknown 7.51 3.51 235098112 unknown 7.17 2.75 227811328
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.51 2.77 224460800 unknown 8.50 3.39 224829440 unknown 7.02 2.71 222806016
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    250    661172224 timeout (error (143)) 301    270    2190327808 timeout (error (143)) 306    270    1645379584
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 158    125    631410688 timeout (error (143)) 306    276    2145329152 timeout (error (143)) 306    276    1654644736
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    266    557207552 timeout (error (143)) 306    271    2233376768 timeout (error (143)) 305    270    1712054272
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    268    519602176 timeout (error (143)) 306    270    1951670272 timeout (error (143)) 306    270    1601249280
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    265    534167552 timeout (error (143)) 306    270    1598083072 timeout (error (143)) 305    263    1541738496
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    266    648732672 timeout (error (143)) 311    278    1934430208 timeout (error (143)) 302    266    1747611648
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    272    550920192 timeout (error (143)) 305    260    1800208384 timeout (error (143)) 306    269    1715634176
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    279    504545280 timeout (error (143)) 306    269    1849843712 timeout (error (143)) 306    267    1764700160
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 64.8  39.8  592166912 timeout (error (143)) 306    265    1704042496 timeout (error (143)) 306    271    1456635904
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 248    213    570880000 timeout (error (143)) 306    272    2199617536 timeout (error (143)) 306    277    1803636736
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 73.9  48.1  588701696 timeout (error (143)) 306    276    1699057664 timeout (error (143)) 306    280    1850101760
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    271    653156352 timeout (error (143)) 304    270    1458634752 timeout (error (143)) 302    264    1604325376
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i true 65.0  38.8  590114816 timeout (error (143)) 306    271    2160496640 timeout (error (143)) 306    273    1688711168
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    246    704151552 timeout (error (143)) 304    266    1998929920 timeout (error (143)) 306    269    1727467520
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    259    663949312 timeout (error (143)) 306    271    1589411840 timeout (error (143)) 306    271    1865613312
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    255    668483584 timeout (error (143)) 305    273    1919438848 timeout (error (143)) 306    274    1731194880
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    260    721387520 timeout (error (143)) 305    269    1578549248 timeout (error (143)) 303    264    1558032384
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    249    689565696 timeout (error (143)) 306    271    1842774016 timeout (error (143)) 306    272    1781161984
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    253    635219968 timeout (error (143)) 305    266    1269678080 timeout (error (143)) 305    266    1446060032
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout (error (143)) 300    253    652898304 timeout (error (143)) 306    273    1571536896 timeout (error (143)) 306    274    1545383936
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 77.6  51.4  573378560 timeout (error (143)) 306    278    2000498688 timeout (error (143)) 306    272    1914572800
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout (error (143)) 301    257    676012032 timeout (error (143)) 306    276    2073096192 timeout (error (143)) 305    272    1723596800
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 301    235    2339291136 timeout (error (143)) 301    235    2309718016 unknown 7.42 2.87 233304064
ntdrivers/floppy_false-valid-deref.i.cil.c error: exception 8.95 3.13 250626048 error: exception 9.37 4.02 262475776 error: exception 8.53 3.07 247783424
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 8.08 2.91 251531264 error: exception 8.02 3.06 249864192 error: exception 8.16 2.93 250318848
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.9  5.84 386646016 true 17.0  6.25 393183232 unknown 14.2  5.04 387796992
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.2  5.61 399794176 true 16.1  5.98 382128128 unknown 13.7  4.87 381964288
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.1  4.87 305725440 true 13.9  5.22 308097024 unknown 13.3  4.69 301187072
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.9  4.70 297455616 true 13.2  4.93 288522240 unknown 12.2  4.37 303796224
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.3  4.86 310321152 error: exception 11.8  4.42 301932544 error: exception 12.3  4.57 307150848
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.4  5.22 322113536 true 15.1  5.66 326873088 unknown 13.2  4.69 307830784
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.1  5.14 324206592 true 14.9  5.64 338804736 unknown 13.0  4.58 305373184
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.4  3.89 270753792 true 10.6  4.14 275730432 unknown 9.29 3.50 244064256
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.3  4.56 308256768 true 12.9  4.99 307118080 unknown 10.8  3.98 286703616
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.9  4.34 299298816 true 12.3  4.65 302895104 unknown 10.8  3.95 282165248
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 8.19 3.14 234700800 true 8.35 3.54 236457984 unknown 7.39 2.96 233046016
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.05 3.20 235151360 unknown 5.89 2.51 194158592 unknown 7.78 2.95 237146112
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.39 3.25 229675008 true 8.34 3.43 233832448 unknown 7.64 3.13 239390720
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.44 3.27 237387776 true 8.69 3.55 234713088 unknown 7.99 3.09 236564480
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.31 3.20 231022592 true 8.56 3.49 233275392 unknown 7.69 3.05 238190592
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.41 3.19 238895104 true 8.87 3.74 237641728 unknown 7.80 3.08 234692608
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.55 3.29 237592576 true 8.21 3.71 237305856 unknown 7.89 3.11 239046656
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.55 3.24 232767488 true 8.66 3.52 238682112 unknown 8.15 3.18 239370240
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.74 3.01 230281216 true 7.73 3.27 234541056 unknown 7.20 2.89 233402368
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.60 2.96 235884544 true 8.26 3.45 233680896 unknown 7.60 2.95 233512960
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.84 3.15 235036672 true 8.13 3.30 233000960 unknown 7.42 2.87 234221568
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.89 3.04 229994496 true 7.95 3.25 236269568 unknown 7.34 2.96 235581440
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.29 2.97 237641728 true 7.57 3.13 232189952 unknown 7.44 3.06 235335680
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 32200 26300 172956545024 326 47200 39800 293590687744 326 40700 34500 263556820992
local summary 16100 13200 44500 20000 40700 17400
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer AutomizerHeapSep HeapSep