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/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/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/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_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_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_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_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/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-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/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-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-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-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-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-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-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/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_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/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/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-0504_1_true-valid-memsafety.i error: exception 227    181    749985792 timeout (error (143)) 306    275    1628315648 timeout (error (143)) 306    276    1871478784
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-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-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-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
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
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
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-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-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-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
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-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 162 13700 10300 102133846016 162 28400 23600 177488965632 162 22000 18300 151028494336
    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