Tool ULTIMATE Automizer 0.1.23-8168ed23
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-11 20:02:24 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) 9.40 3.82 257282048 false(valid-deref) 84.4  51.1  1146691584 unknown 86.5  52.4  1060995072
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.04 3.44 233697280 false(valid-deref) 38.1  15.4  673742848 unknown 37.1  15.3  618364928
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 10.7  4.08 279187456 false(valid-deref) 139    110    1512955904 unknown 137    109    1549209600
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.54 3.00 229896192 false(valid-deref) 46.1  23.2  743030784 unknown 44.7  24.6  809439232
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 21.0  8.91 371412992 error: exception 53.0  24.6  712155136 unknown 41.6  19.6  659243008
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 13.1  5.01 316260352 error: exception 34.1  13.0  505864192 unknown 28.5  11.3  470843392
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.67 3.07 231612416 false(valid-deref) 251    225    1473138688 unknown 260    229    1637097472
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.44 3.29 237641728 false(valid-deref) 56.0  32.2  980889600 unknown 53.9  32.1  856985600
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 18.9  8.34 364154880 error: exception 74.8  40.4  903491584 unknown 65.0  35.3  824868864
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.13 3.30 239644672 false(valid-deref) 32.7  15.7  566108160 unknown 34.6  16.0  525631488
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.0  4.43 300089344 false(valid-deref) 298    246    2084614144 unknown 289    243    2015948800
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 21.7  9.40 365887488 timeout (error (143)) 301    262    1370001408 timeout (error (143)) 302    266    1631485952
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 10.1  3.87 263876608 false(valid-deref) 146    113    1271824384 unknown 149    111    1267392512
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 15.6  5.95 332972032 timeout (error (143)) 301    266    1377161216 timeout (error (143)) 302    266    1537032192
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 11.4  4.25 295755776 timeout (error (143)) 302    266    1507753984 timeout (error (143)) 306    269    1604022272
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 8.97 3.52 235995136 false(valid-deref) 38.3  15.3  560640000 unknown 35.3  14.0  620781568
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.30 2.94 231088128 false(valid-deref) 8.52 3.33 246247424 unknown 8.13 3.15 240631808
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    276    2061348864 timeout (error (143)) 306    258    2587062272 unknown 80.2  51.4  1059082240
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 18.4  7.31 345772032 true 49.9  20.9  711929856 unknown 41.7  18.4  676347904
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 18.5  7.17 346128384 true 73.3  41.4  1098715136 unknown 69.4  38.8  1039876096
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 18.4  7.41 297783296 true 179    134    1927110656 unknown 164    127    2095939584
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    236    1071013888 timeout (error (143)) 301    223    1135640576 unknown 51.1  24.9  860581888
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    233    1110589440 timeout (error (143)) 301    234    1491283968 unknown 143    115    1363959808
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    265    646066176 timeout (error (143)) 301    262    1105485824 timeout (error (143)) 300    257    1125437440
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 19.8  8.65 303017984 error: exception 56.8  31.2  843935744 unknown 56.4  32.4  738992128
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 71.4  50.9  545980416 error: exception 173    131    1511399424 unknown 167    127    1414717440
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    255    744968192 error: exception 217    166    1138753536 unknown 207    162    1201188864
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 70.7  48.3  572280832 timeout (error (143)) 302    261    1436508160 timeout (error (143)) 305    259    1473851392
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.5  8.70 347377664 error: exception 35.2  13.3  530210816 unknown 33.1  13.1  478633984
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    721461248 timeout (error (143)) 305    259    1384181760 timeout (error (143)) 300    252    1283452928
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 44.4  25.1  513036288 error: exception 159    115    1374720000 unknown 146    109    1166725120
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    249    673345536 timeout (error (143)) 301    259    1317163008 timeout (error (143)) 301    261    1511440384
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 154    127    611115008 timeout (error (143)) 301    269    1467060224 timeout (error (143)) 301    253    1647144960
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 163    137    674172928 timeout (error (143)) 302    265    1683427328 timeout (error (143)) 301    265    1532600320
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    256    647729152 timeout (error (143)) 302    239    1272250368 unknown 77.8  36.9  1010987008
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 23.7  9.84 388939776 true 71.8  38.9  860811264 unknown 53.2  27.9  878534656
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    239    1069342720 timeout (error (143)) 301    224    1210236928 unknown 52.6  27.0  972341248
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 36.7  19.3  464957440 timeout (error (143)) 301    260    1667817472 timeout (error (143)) 301    267    1488949248
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 29.2  19.5  352153600 true 213    168    1617788928 unknown 147    109    1381810176
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    281    507121664 timeout (error (143)) 301    257    966483968 unknown 46.7  19.5  779333632
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    600432640 timeout (error (143)) 300    264    590737408 unknown 13.7  4.77 286511104
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    272    552595456 timeout (error (143)) 301    264    583868416 unknown 15.4  5.28 332402688
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    267    586833920 timeout (error (143)) 300    251    884162560 unknown 45.1  21.5  676356096
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    258    889118720 error: exception 197    151    1065205760 unknown 177    138    1065189376
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error: exception 16.2  6.32 325517312 timeout (error (143)) 301    260    1505177600 timeout (error (143)) 302    263    1545768960
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    250    644734976 timeout (error (143)) 301    254    1095380992 timeout (error (143)) 301    262    1235517440
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 75.2  56.3  518557696 error: exception 114    75.7  1152761856 unknown 107    70.2  1117761536
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    258    821706752 error: exception 185    141    1219715072 unknown 190    147    1054666752
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 81.3  58.5  537309184 error: exception 143    105    1256873984 unknown 134    97.6  1300639744
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    252    646086656 timeout (error (143)) 301    260    1298542592 timeout (error (143)) 302    265    1401520128
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.1  8.16 349278208 error: exception 36.4  14.5  518852608 unknown 35.0  13.0  516427776
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 303    273    607977472 timeout (error (143)) 305    258    1275404288 timeout (error (143)) 305    253    1208426496
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 54.5  36.4  535613440 error: exception 139    97.7  1222053888 unknown 122    81.8  1131061248
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    255    629620736 timeout (error (143)) 306    262    1346060288 timeout (error (143)) 304    263    1517793280
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 22.5  9.90 392421376 error: exception 45.8  21.7  571691008 unknown 41.7  19.0  580714496
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 77.2  57.0  481898496 error: exception 194    151    1313570816 unknown 173    135    1369055232
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    281    553127936 error: exception 117    71.1  1098125312 unknown 105    63.3  996167680
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    274    555417600 timeout (error (143)) 301    255    1981308928 timeout (error (143)) 304    256    1788960768
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 305    298    1690025984 timeout (error (143)) 305    298    1893384192 timeout (error (143)) 306    297    1639161856
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 22.2  9.24 371187712 true 69.8  35.8  808574976 unknown 47.8  23.4  735649792
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 19.2  7.79 362467328 true 24.8  11.0  378920960 unknown 13.6  4.75 300490752
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 21.8  8.62 361836544 true 53.8  22.9  580431872 unknown 36.2  14.0  547524608
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 23.1  10.5  367534080 error: exception 172    133    1310650368 unknown 140    105    1383370752
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 131    108    598827008 timeout (error (143)) 304    259    1254760448 timeout (error (143)) 302    262    1149308928
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    265    670908416 error: exception 296    250    1842909184 unknown 254    215    1762402304
array-examples/relax_false-valid-deref.i false(valid-deref) 11.8  4.34 295489536 false(valid-deref) 24.7  9.06 353304576 unknown 17.5  6.01 371265536
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 300    233    1109397504 timeout (error (143)) 300    250    1051328512 unknown 7.13 2.81 229314560
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 300    229    1330995200 timeout (error (143)) 301    242    1233674240 unknown 6.84 2.75 225165312
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 301    248    1029947392 timeout (error (143)) 301    253    1154527232 unknown 6.90 2.72 223703040
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 301    258    740503552 timeout (error (143)) 301    255    1246355456 unknown 229    182    1278173184
memsafety/test-0137_false-valid-deref.i unknown 6.49 2.48 194686976 unknown 6.81 2.72 198041600 unknown 7.23 2.67 208318464
memsafety/test-0235_false-valid-deref.i error: exception 18.9  7.03 433319936 timeout (error (143)) 305    297    1902399488 timeout (error (143)) 305    295    1756434432
memsafety/960521-1_false-valid-free.i timeout (error (143)) 301    258    714563584 timeout (error (143)) 301    243    1126715392 unknown 160    126    1113403392
memsafety/test-0158_false-valid-free.i false(valid-free) 13.0  5.15 302284800 false(valid-free) 84.8  53.2  1145782272 unknown 79.4  49.6  1095491584
memsafety/test-0232_false-valid-free.i unknown 6.26 2.43 192286720 unknown 7.15 2.82 195919872 unknown 6.75 2.67 201424896
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 305    296    1615962112 timeout (error (143)) 305    297    1763803136 timeout (error (143)) 305    297    1670082560
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 306    253    1151447040 timeout (error (143)) 303    268    1994047488 timeout (error (143)) 301    268    1640935424
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 69.6  28.0  1074450432 timeout (error (143)) 306    270    1053048832 timeout (error (143)) 305    266    1030610944
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 21.7  7.57 394403840 timeout (error (143)) 306    270    1195266048 timeout (error (143)) 306    269    934354944
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 179    112    3295555584 timeout (error (143)) 306    267    1196314624 timeout (error (143)) 305    273    1057542144
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 19.9  8.97 384442368 timeout (error (143)) 306    275    1305268224 timeout (error (143)) 306    275    1262686208
memsafety/test-0102_false-valid-memtrack.i error: exception 7.08 2.67 209391616 error: exception 7.75 3.06 209408000 error: exception 7.33 2.87 210333696
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.5  4.00 280084480 unknown: overapproxcex 54.0  26.5  826650624 unknown 43.6  21.2  731537408
memsafety/test-0220_false-valid-memtrack.i timeout 324    140    5872766976 timeout (error (143)) 305    296    1831268352 timeout (error (143)) 305    296    1665880064
memsafety/test-0232_false-valid-memtrack.i unknown 6.31 2.76 195178496 unknown 7.35 3.02 197607424 unknown 6.85 2.62 199372800
memsafety/test-0234_false-valid-memtrack.i error: exception 17.9  6.67 356278272 timeout (error (143)) 305    296    2145808384 timeout (error (143)) 305    295    1801220096
memsafety/test-0235_false-valid-memtrack.i error: exception 19.2  6.99 377810944 timeout (error (143)) 305    296    1743794176 timeout (error (143)) 305    295    1744793600
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 301    257    732975104 timeout (error (143)) 300    242    1254551552 unknown 194    155    1189707776
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 164    99.2  2358153216 timeout (error (143)) 304    268    1041670144 timeout (error (143)) 305    267    987336704
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 22.3  11.0  397320192 error: exception 74.2  42.9  889708544 unknown 57.0  33.1  845197312
memsafety/test-0102_true-valid-memsafety.i error: exception 7.01 2.72 207093760 error: exception 8.04 3.15 210649088 error: exception 7.39 2.78 213622784
memsafety/test-0134_true-valid-memsafety.i unknown 6.52 2.52 193327104 unknown 7.04 2.81 197902336 unknown 6.71 2.54 203546624
memsafety/test-0158_true-valid-memsafety_true-termination.i true 13.1  5.70 304766976 error: exception 57.6  29.7  877985792 unknown 50.6  25.6  837636096
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 6.50 2.51 192094208 error: exception 6.97 2.86 199999488 error: exception 6.63 2.59 200699904
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 6.55 2.59 195702784 error: exception 7.14 2.91 196472832 error: exception 6.62 2.58 207609856
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 6.84 2.60 196603904 error: exception 7.10 2.85 197873664 error: exception 6.87 2.60 199266304
memsafety/test-0219_true-valid-memsafety.i error: exception 52.2  40.4  386187264 timeout (error (143)) 305    297    1815650304 timeout (error (143)) 305    296    1651986432
memsafety/test-0232_true-valid-memsafety.i unknown 6.36 2.51 194605056 unknown 7.29 2.80 198447104 unknown 6.79 2.59 198094848
memsafety/test-0234_true-valid-memsafety.i error: exception 20.8  10.4  359538688 timeout (error (143)) 305    296    1933037568 timeout (error (143)) 305    295    2029387776
memsafety/test-0235_true-valid-memsafety.i error: exception 19.7  8.65 361693184 timeout (error (143)) 305    296    1910710272 timeout (error (143)) 305    295    1883918336
memsafety/test-0236_true-valid-memsafety.i error: exception 19.7  8.55 370638848 timeout (error (143)) 305    295    1810079744 timeout (error (143)) 305    295    1801662464
memsafety/test-0237_true-valid-memsafety.i error: exception 19.7  8.51 350691328 timeout (error (143)) 305    295    1885806592 timeout (error (143)) 305    295    1798410240
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 303    264    684036096 timeout (error (143)) 306    274    1855385600 timeout (error (143)) 306    270    1971163136
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 300    258    715546624 timeout (error (143)) 305    269    1505898496 timeout (error (143)) 304    271    1355513856
memsafety/test-0521_true-valid-memsafety.i unknown 6.58 2.49 194158592 unknown 7.16 2.91 196714496 unknown 6.63 2.57 202731520
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 301    262    633880576 timeout (error (143)) 306    274    1296125952 timeout (error (143)) 306    274    1354485760
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 301    276    607272960 timeout (error (143)) 304    267    1889783808 timeout (error (143)) 302    264    1798537216
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.45 2.49 194588672 unknown 7.02 2.78 195964928 unknown 6.80 2.53 203665408
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.42 2.40 196104192 unknown 7.18 2.75 197201920 unknown 6.50 2.49 202829824
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 303    264    593805312 timeout (error (143)) 303    273    1786122240 timeout (error (143)) 306    268    1591914496
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 301    249    673624064 timeout (error (143)) 304    267    1846247424 timeout (error (143)) 306    273    1798156288
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 301    259    675905536 timeout (error (143)) 306    271    2094723072 timeout (error (143)) 305    267    1912311808
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 301    270    612605952 timeout (error (143)) 306    272    2298724352 timeout (error (143)) 306    272    1804152832
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 301    265    599187456 timeout (error (143)) 306    273    2232492032 timeout (error (143)) 306    274    2047991808
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 69.9  45.1  628744192 timeout (error (143)) 305    260    1599995904 timeout (error (143)) 306    264    1508417536
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 302    264    882003968 timeout (error (143)) 301    263    1332920320 timeout (error (143)) 306    268    1353162752
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 301    257    904073216 timeout (error (143)) 304    270    1483743232 timeout (error (143)) 306    271    1429164032
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 241    215    716316672 timeout (error (143)) 306    270    2209026048 timeout (error (143)) 306    273    1777569792
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 301    258    624443392 timeout (error (143)) 305    266    1026478080 timeout (error (143)) 302    264    1074909184
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 304    259    904273920 timeout (error (143)) 306    268    1346527232 timeout (error (143)) 306    266    1350021120
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 302    271    725200896 timeout (error (143)) 306    272    1876750336 timeout (error (143)) 303    264    1235267584
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 301    263    2347171840 timeout (error (143)) 306    266    2220691456 timeout (error (143)) 306    270    1812525056
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 300    256    646860800 timeout (error (143)) 305    262    1164328960 timeout (error (143)) 305    264    982982656
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 60.3  36.2  634351616 timeout (error (143)) 306    268    1564622848 timeout (error (143)) 306    267    1491939328
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 17.6  7.01 366522368 false(valid-deref) 226    191    1366687744 unknown 200    167    1141739520
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 301    258    703254528 timeout (error (143)) 302    262    1398784000 timeout (error (143)) 305    267    1197289472
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 16.1  6.25 335618048 timeout (error (143)) 306    267    1308774400 timeout (error (143)) 301    260    1115123712
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 22.6  9.56 378990592 error: exception 234    201    1234993152 unknown 208    169    1187725312
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 12.5  4.71 304926720 false(valid-free) 234    205    1260646400 unknown 207    177    1173274624
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 37.5  19.7  528449536 timeout (error (143)) 306    271    1466556416 timeout (error (143)) 306    275    1395601408
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.1  3.88 274358272 error: exception 134    105    1351376896 unknown 119    92.0  1131790336
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.57 2.53 196616192 unknown 6.76 2.67 194236416 unknown 6.65 2.56 199880704
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 302    269    563826688 error: exception 278    207    1197281280 unknown 110    78.0  1250000896
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 301    258    642113536 timeout (error (143)) 301    257    1573076992 timeout (error (143)) 305    266    1324105728
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error: exception 81.1  53.9  616689664 timeout (error (143)) 305    271    1190117376 timeout (error (143)) 304    272    1032531968
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 300    266    582029312 timeout (error (143)) 306    271    1030332416 timeout (error (143)) 304    269    1110118400
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 41.0  22.0  537935872 error: exception 151    117    1264955392 unknown 134    106    1412816896
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 12.6  4.82 299311104 false(valid-free) 190    162    1035374592 unknown 175    146    1211281408
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 7.01 2.66 197005312 error: exception 7.03 2.99 197627904 error: exception 6.91 2.59 202100736
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 7.17 2.64 198627328 error: exception 6.90 2.91 199593984 error: exception 6.95 2.56 203276288
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.66 2.60 197144576 unknown 6.68 2.81 198967296 unknown 6.60 2.46 202899456
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 306    272    812396544 timeout (error (143)) 306    275    1721511936 timeout (error (143)) 306    273    1781841920
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 301    253    800391168 timeout (error (143)) 301    267    1648558080 timeout (error (143)) 303    269    1347338240
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 17.2  7.46 325791744 timeout (error (143)) 305    266    2205962240 timeout (error (143)) 302    266    1646362624
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 11.0  4.14 286875648 false(valid-deref) 134    108    1067401216 unknown 126    101    1110990848
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 14.9  7.16 322785280 false(valid-deref) 182    152    1074565120 unknown 164    137    1123409920
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.63 3.43 240078848 false(valid-deref) 32.5  12.2  504709120 unknown 27.8  11.0  495697920
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.79 3.39 239779840 false(valid-deref) 34.8  13.2  538046464 unknown 31.6  11.4  560152576
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 301    226    2295312384 timeout (error (143)) 303    232    2313084928 unknown 14.3  5.03 324186112
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 301    229    2313912320 timeout (error (143)) 301    230    2305736704 unknown 14.7  5.33 318435328
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.06 3.23 241438720 false(valid-deref) 9.67 4.26 266022912 unknown 8.77 3.35 239636480
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.03 3.22 238948352 false(valid-deref) 10.0  4.26 274382848 unknown 9.31 3.45 247443456
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.61 3.18 237232128 false(valid-deref) 9.77 3.99 268275712 unknown 9.38 3.49 241348608
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.79 3.18 238792704 false(valid-deref) 9.94 4.03 273272832 unknown 9.66 3.58 247586816
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 8.12 3.10 237514752 false(valid-deref) 9.85 3.95 270991360 unknown 9.27 3.46 242782208
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.99 3.17 237756416 false(valid-deref) 9.80 3.96 268857344 unknown 8.84 3.42 236990464
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 300    263    1074655232 timeout (error (143)) 303    262    1309315072 unknown 135    109    1011052544
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 306    250    2373660672 timeout (error (143)) 305    241    2379026432 unknown 14.9  5.33 354754560
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (error (143)) 301    230    2288521216 timeout (error (143)) 301    227    2289913856 unknown 15.4  5.46 362700800
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (error (143)) 306    246    2383564800 timeout (error (143)) 306    246    2374348800 unknown 14.9  5.23 350760960
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (error (143)) 302    231    2257264640 timeout (error (143)) 301    216    2265075712 unknown 28.5  12.0  506318848
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (error (143)) 300    226    2279960576 timeout (error (143)) 302    223    2308308992 unknown 16.2  5.66 352702464
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 10.4  3.88 291983360 timeout (error (143)) 301    272    1394790400 timeout (error (143)) 302    273    1354801152
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 10.1  3.79 293220352 timeout (error (143)) 306    280    1398145024 timeout (error (143)) 301    271    1265610752
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.96 3.37 241274880 timeout (error (143)) 306    284    1109372928 timeout (error (143)) 306    284    1090420736
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 18.3  7.78 362242048 true 17.4  8.09 376139776 unknown 8.81 3.30 244768768
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 28.2  14.0  439746560 true 28.0  14.1  469327872 unknown 9.00 3.31 246714368
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 18.1  7.97 372387840 true 18.3  8.10 380096512 unknown 8.76 3.22 240738304
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 28.8  14.1  455725056 true 27.2  13.8  477224960 unknown 8.81 3.29 246284288
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 27.4  13.7  449880064 true 27.7  13.9  476618752 unknown 8.57 3.22 242176000
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 28.1  13.8  454270976 true 30.0  14.0  448151552 unknown 8.85 3.32 244273152
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 7.90 2.90 245055488 error: exception 7.65 3.33 231370752 error: exception 7.70 2.76 227201024
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 302    270    1710706688 error: exception 11.2  4.35 278859776 error: exception 11.6  4.19 281624576
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 305    275    1825751040 error: exception 11.1  4.04 285597696 error: exception 11.0  3.90 284438528
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.75 2.57 200429568 unknown 7.12 2.94 202530816 unknown 7.08 2.64 205856768
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.69 2.52 200400896 unknown 7.00 3.16 197959680 unknown 6.88 2.58 202604544
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 6.86 2.60 205811712 error: exception 7.10 2.69 208420864 error: exception 7.15 2.78 208470016
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 7.06 2.63 208838656 error: exception 7.03 3.06 205615104 error: exception 7.09 2.55 210489344
ldv-memsafety/memleaks_test17_2_false-valid-free.i error: exception 216    189    591618048 error: exception 12.0  4.46 295723008 error: exception 11.4  4.12 296636416
ldv-memsafety/memleaks_test19_false-valid-free.i error: exception 250    233    632340480 error: exception 11.7  4.18 306913280 error: exception 12.4  4.42 312328192
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 14.3  5.35 311205888 error: exception 11.1  4.27 281989120 error: exception 11.2  4.05 281341952
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 12.7  4.71 302821376 error: exception 55.5  30.5  987553792 unknown 53.6  31.3  917635072
ldv-memsafety/memleaks_test6_2_false-valid-free.i error: exception 151    134    464089088 error: exception 11.8  4.45 300863488 error: exception 11.9  4.22 297009152
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 17.8  6.75 318820352 error: exception 11.0  4.05 280453120 error: exception 11.6  4.17 291610624
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 178    162    522018816 error: exception 12.8  4.55 314609664 error: exception 12.3  4.25 307068928
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 7.12 2.88 204546048 error: exception 7.05 2.68 207028224 error: exception 6.89 2.62 206200832
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 42.2  28.8  387538944 error: exception 11.3  4.17 279019520 error: exception 11.9  4.25 284418048
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 289    253    1906569216 error: exception 11.5  4.22 293195776 error: exception 11.3  4.07 285380608
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 7.58 2.90 244002816 error: exception 7.66 2.96 229957632 error: exception 7.63 2.81 244170752
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 7.46 2.80 224731136 error: exception 7.45 3.12 239742976 error: exception 7.80 2.92 244838400
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 324    155    5768638464 timeout (error (143)) 303    269    1625157632 timeout (error (143)) 304    271    1354772480
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 17.7  6.43 352608256 error: exception 11.5  4.37 293965824 error: exception 10.8  4.01 279654400
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.7  4.92 298127360 error: exception 11.2  4.31 282357760 error: exception 11.6  4.13 291446784
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 301    278    737685504 error: exception 12.1  4.43 301797376 error: exception 11.9  4.22 300941312
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error: exception 252    229    683323392 error: exception 11.9  4.56 299917312 error: exception 11.8  4.12 302444544
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 39.1  22.1  544653312 error: exception 11.1  4.19 280432640 error: exception 11.4  4.06 280076288
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error: exception 122    108    447508480 error: exception 10.7  4.04 282796032 error: exception 11.6  4.12 278937600
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout (error (143)) 306    288    617324544 error: exception 10.9  4.06 280596480 error: exception 11.0  4.05 280911872
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown: overapproxcex 12.8  4.62 309309440 error: exception 11.2  4.03 280854528 error: exception 11.3  4.04 283889664
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown: overapproxcex 14.2  5.20 316391424 error: exception 11.1  4.26 282226688 error: exception 11.5  3.97 291590144
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.8  5.05 303763456 error: exception 11.3  4.13 275927040 error: exception 11.1  3.99 286392320
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i timeout (error (143)) 302    270    1731526656 error: exception 11.7  4.31 281862144 error: exception 11.6  4.10 279232512
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 46.5  28.1  517873664 error: exception 10.6  3.96 279527424 error: exception 11.2  3.91 279777280
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i timeout (error (143)) 301    268    1854251008 error: exception 10.7  4.18 278601728 error: exception 11.6  4.16 282906624
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown: overapproxcex 16.1  5.92 334020608 error: exception 11.0  4.39 284020736 error: exception 11.2  3.98 284557312
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.4  4.77 310554624 error: exception 10.4  4.17 286113792 error: exception 11.3  4.03 282710016
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 15.0  5.38 316211200 error: exception 12.1  4.38 294248448 error: exception 11.4  4.04 286818304
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i error: exception 185    170    464609280 error: exception 11.8  4.29 298287104 error: exception 11.9  4.20 302690304
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i error: exception 145    130    453066752 error: exception 12.1  4.38 299098112 error: exception 11.6  4.10 299208704
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i error: exception 16.2  6.04 347074560 error: exception 11.5  4.28 289099776 error: exception 11.6  4.05 283193344
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.8  4.97 300179456 error: exception 11.7  4.33 294940672 error: exception 11.6  4.09 289312768
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.8  5.05 299749376 error: exception 10.9  4.06 281481216 error: exception 11.3  4.11 280109056
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.5  4.78 302211072 error: exception 11.1  3.97 281477120 error: exception 11.1  4.04 279851008
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 241    225    749359104 error: exception 12.5  4.36 306827264 error: exception 12.5  4.32 304082944
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 7.12 2.69 205221888 error: exception 7.11 2.87 202792960 error: exception 7.26 2.69 209956864
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 7.12 2.69 208871424 error: exception 7.04 3.12 208433152 error: exception 7.23 2.70 210165760
ldv-memsafety/memleaks_test13_true-valid-memsafety.i timeout (error (143)) 301    263    1700601856 error: exception 12.0  4.34 296906752 error: exception 12.1  4.23 296411136
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 7.29 2.76 227758080 error: exception 7.84 3.06 245772288 error: exception 8.08 2.90 244748288
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error: exception 21.4  7.95 424361984 error: exception 12.5  4.68 315990016 error: exception 12.2  4.39 307806208
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 23.3  11.9  395091968 error: exception 11.4  4.15 282058752 error: exception 10.8  3.91 282406912
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i error: exception 248    221    790188032 error: exception 12.2  4.42 303292416 error: exception 12.2  4.36 295354368
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 301    273    2321498112 error: exception 12.4  4.51 307585024 error: exception 12.4  4.40 302190592
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i error: exception 102    86.7  472322048 error: exception 11.8  4.50 288677888 error: exception 11.6  4.16 283639808
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 263    246    733630464 error: exception 12.5  4.47 316596224 error: exception 12.3  4.28 304803840
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i error: exception 20.3  10.9  330686464 error: exception 11.8  4.30 283602944 error: exception 10.7  3.86 287236096
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 20.8  8.36 406827008 error: exception 11.6  4.29 292233216 error: exception 11.6  4.08 294424576
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 18.3  7.23 375967744 error: exception 11.1  4.10 277176320 error: exception 12.0  4.25 289890304
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    1836146688 error: exception 11.3  4.28 283471872 error: exception 11.4  4.04 284160000
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 303    272    1902182400 error: exception 10.9  4.09 280567808 error: exception 11.3  4.02 278011904
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 301    265    1828368384 error: exception 12.1  4.50 285962240 error: exception 11.2  4.06 281604096
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.71 2.49 198914048 unknown 7.05 2.84 198717440 unknown 7.12 2.79 204890112
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.77 2.66 200773632 unknown 6.83 2.69 202428416 unknown 6.68 2.56 203890688
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i error: exception 16.7  6.40 347480064 error: exception 11.6  4.33 285171712 error: exception 11.9  4.16 287535104
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i error: exception 20.4  8.23 398913536 error: exception 11.3  4.78 287002624 error: exception 11.4  4.04 288452608
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i error: exception 17.8  6.93 362516480 error: exception 11.8  4.31 287010816 error: exception 11.5  4.20 280694784
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i error: exception 162    146    468520960 error: exception 12.0  4.30 293429248 error: exception 11.9  4.41 291315712
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i error: exception 17.5  6.28 345038848 error: exception 12.2  5.01 300068864 error: exception 12.0  4.26 287289344
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i error: exception 17.5  6.37 357937152 error: exception 11.2  4.06 285290496 error: exception 11.9  4.26 281456640
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i error: exception 16.9  6.47 374394880 error: exception 11.7  4.18 283193344 error: exception 11.7  4.24 280207360
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 9.90 3.83 272891904 error: exception 67.3  44.7  1007935488 unknown 61.1  44.0  884264960
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 18.4  8.22 376172544 timeout (error (143)) 306    272    1255796736 timeout (error (143)) 303    270    1234157568
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i timeout (error (143)) 301    287    621539328 timeout (error (143)) 306    277    1214111744 timeout (error (143)) 305    272    1120395264
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i timeout (error (143)) 302    284    894259200 timeout (error (143)) 301    273    1319460864 timeout (error (143)) 303    274    1151393792
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i timeout (error (143)) 301    287    1023049728 timeout (error (143)) 302    271    1163296768 timeout (error (143)) 301    270    1124712448
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 9.80 3.85 284073984 error: exception 70.8  45.5  1110237184 unknown 60.1  41.1  976109568
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i timeout (error (143)) 301    288    686649344 timeout (error (143)) 306    273    1332047872 timeout (error (143)) 306    277    1187426304
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.5  4.44 295944192 timeout (error (143)) 302    269    1646899200 timeout (error (143)) 306    278    1438752768
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i timeout (error (143)) 300    288    994803712 timeout (error (143)) 302    273    1141174272 timeout (error (143)) 301    273    1213833216
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i timeout (error (143)) 302    286    576667648 timeout (error (143)) 306    275    1327833088 timeout (error (143)) 306    281    1320288256
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.19 2.71 196288512 unknown 7.03 4.08 200138752 unknown 6.88 2.61 203894784
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 305    297    1710854144 timeout (error (143)) 306    297    1754267648 timeout (error (143)) 305    297    1741549568
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.80 2.61 195366912 unknown 6.94 2.84 196800512 unknown 6.80 2.51 201072640
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.91 2.58 197160960 unknown 6.94 2.86 195538944 unknown 6.80 2.58 202616832
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.64 2.59 195084288 unknown 7.05 2.89 202293248 unknown 6.81 2.59 201789440
heap-manipulation/tree_false-valid-deref.i unknown 6.88 2.54 196521984 unknown 6.78 3.01 198344704 unknown 6.88 2.57 205340672
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 305    297    1818927104 timeout (error (143)) 306    298    1830162432 timeout (error (143)) 305    297    1835249664
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 52.2  30.3  495501312 timeout (error (143)) 306    269    2102992896 timeout (error (143)) 306    269    1920380928
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 301    273    624709632 timeout (error (143)) 305    265    1720643584 timeout (error (143)) 306    267    1916313600
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 301    262    631742464 timeout (error (143)) 306    261    2175696896 timeout (error (143)) 305    265    1624760320
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    255    607473664 timeout (error (143)) 306    275    1273999360 timeout (error (143)) 306    270    1251852288
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 12.4  4.60 304410624 timeout (error (143)) 302    269    1193504768 timeout (error (143)) 302    268    1067220992
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 18.0  7.11 358125568 timeout (error (143)) 306    278    1208979456 timeout (error (143)) 304    275    1233932288
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 14.9  5.74 337227776 timeout (error (143)) 302    274    1082269696 timeout (error (143)) 302    275    1093033984
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 16.0  6.28 331141120 timeout (error (143)) 301    272    1037017088 timeout (error (143)) 303    275    1016983552
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 13.0  4.73 301948928 timeout (error (143)) 306    269    1329971200 timeout (error (143)) 302    256    1080569856
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.00 2.71 223727616 unknown 7.59 2.94 226213888 unknown 7.37 2.75 240984064
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.26 2.70 225959936 unknown 7.51 2.94 225628160 unknown 7.41 2.73 237035520
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.17 2.74 225701888 unknown 7.55 2.81 222212096 unknown 7.19 2.71 223162368
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.46 2.72 221360128 unknown 7.56 2.81 230043648 unknown 7.43 2.82 227532800
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.60 2.85 225132544 unknown 7.77 2.93 238690304 unknown 7.43 2.75 240500736
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.27 2.69 227201024 unknown 8.03 2.97 239902720 unknown 7.18 2.68 223928320
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.19 2.72 226668544 unknown 7.43 3.06 227151872 unknown 6.97 2.64 227205120
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.11 2.73 233111552 unknown 7.37 2.77 223449088 unknown 7.43 2.77 228007936
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.55 2.81 236564480 unknown 7.48 2.93 227405824 unknown 7.41 2.78 238927872
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.51 2.84 224821248 unknown 7.31 3.31 223870976 unknown 6.87 2.64 227778560
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.23 2.72 225497088 unknown 7.46 2.90 225054720 unknown 7.82 2.81 238714880
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.13 2.68 220614656 unknown 7.61 2.93 226242560 unknown 7.15 2.68 223293440
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.52 2.79 225972224 unknown 7.24 2.74 226234368 unknown 7.13 2.74 240869376
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    258    623058944 timeout (error (143)) 305    269    1983954944 timeout (error (143)) 305    268    1638227968
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 223    188    633753600 timeout (error (143)) 309    279    1962639360 timeout (error (143)) 306    276    1676181504
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 173    135    598626304 timeout (error (143)) 306    273    1734094848 timeout (error (143)) 303    266    1581461504
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 303    274    512475136 timeout (error (143)) 306    270    1950027776 timeout (error (143)) 306    271    1529212928
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    263    605257728 timeout (error (143)) 306    274    1599787008 timeout (error (143)) 306    274    1525125120
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    263    643538944 timeout (error (143)) 307    265    1831280640 timeout (error (143)) 303    265    1789308928
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    273    547565568 timeout (error (143)) 306    268    1653219328 timeout (error (143)) 305    266    1751838720
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 302    278    492359680 timeout (error (143)) 306    268    1614249984 timeout (error (143)) 306    267    1801367552
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 67.1  42.2  612085760 timeout (error (143)) 306    270    1684586496 timeout (error (143)) 306    272    1545637888
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 263    225    557060096 timeout (error (143)) 306    274    2010058752 timeout (error (143)) 303    267    2292776960
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 82.9  55.5  607883264 timeout (error (143)) 306    276    1888849920 timeout (error (143)) 306    273    1677594624
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    267    629411840 timeout (error (143)) 306    276    1494528000 timeout (error (143)) 301    266    1652363264
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i true 61.3  33.7  565768192 timeout (error (143)) 303    260    1712738304 timeout (error (143)) 306    275    1743585280
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    245    714887168 timeout (error (143)) 305    262    1661124608 timeout (error (143)) 308    265    2221281280
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    246    690712576 timeout (error (143)) 306    271    1659744256 timeout (error (143)) 306    268    2142420992
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    249    641171456 timeout (error (143)) 306    276    1646260224 timeout (error (143)) 306    274    1824296960
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    258    684556288 timeout (error (143)) 305    265    1545822208 timeout (error (143)) 306    269    1645289472
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    248    682360832 timeout (error (143)) 302    263    1736650752 timeout (error (143)) 306    278    1918369792
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    259    635568128 timeout (error (143)) 305    262    1393520640 timeout (error (143)) 305    269    1404366848
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 236    197    680534016 timeout (error (143)) 306    268    1402298368 timeout (error (143)) 306    269    1625997312
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 77.2  52.0  527286272 timeout (error (143)) 306    274    1628352512 timeout (error (143)) 306    274    2290327552
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout (error (143)) 300    258    677474304 timeout (error (143)) 306    273    1656803328 timeout (error (143)) 303    266    1785147392
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 301    234    2323947520 timeout (error (143)) 301    235    2352062464 unknown 7.44 2.82 225083392
ntdrivers/floppy_false-valid-deref.i.cil.c error: exception 9.09 3.21 271847424 error: exception 8.90 3.20 250023936 error: exception 9.07 3.17 247046144
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 8.02 2.95 251715584 error: exception 7.83 2.97 251002880 error: exception 8.36 3.03 250417152
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.7  5.75 383127552 true 16.2  6.00 392007680 unknown 14.1  5.19 375812096
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.8  5.41 398954496 true 17.3  6.17 387792896 unknown 14.7  5.19 382488576
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  4.91 312311808 true 13.5  4.88 318226432 unknown 12.8  4.62 310845440
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.6  4.97 309112832 true 13.7  4.99 306176000 unknown 12.1  4.46 304418816
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.0  4.94 304246784 error: exception 12.7  4.62 305033216 error: exception 12.7  4.66 292331520
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.2  5.55 327598080 true 15.2  5.52 329830400 unknown 13.4  4.89 303144960
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.7  5.35 334512128 true 14.9  5.32 334733312 unknown 13.4  4.97 298815488
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.4  3.82 272154624 true 10.6  3.95 267030528 unknown 9.75 3.54 245346304
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.9  4.43 297725952 true 12.3  4.56 311074816 unknown 11.7  4.26 283824128
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.7  4.57 306032640 true 12.1  4.54 307646464 unknown 11.3  4.14 283500544
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 8.03 3.13 229425152 true 8.58 3.41 236941312 unknown 7.68 3.06 234369024
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.11 3.23 233467904 true 8.51 3.45 234758144 unknown 8.16 3.07 236376064
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.27 3.20 230428672 true 8.74 3.35 237178880 unknown 8.00 3.05 236425216
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.53 3.29 233050112 true 8.83 3.67 232853504 unknown 8.18 3.21 238944256
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.66 3.24 238022656 true 8.96 3.49 232677376 unknown 8.72 4.02 237535232
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.60 3.32 237465600 true 8.63 3.36 237637632 unknown 9.01 3.59 234209280
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.79 3.31 233918464 true 8.77 3.34 237109248 unknown 8.91 3.55 236277760
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.76 3.36 235053056 true 9.05 3.40 237608960 unknown 9.02 3.87 235659264
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.57 3.05 233172992 true 8.00 3.07 233447424 unknown 8.45 3.80 233066496
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.64 2.97 231587840 true 7.93 3.19 238026752 unknown 8.98 3.79 246439936
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.77 3.07 233644032 true 7.86 3.05 233246720 unknown 8.55 3.57 233205760
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.89 3.14 229314560 true 8.13 3.19 232038400 unknown 7.95 3.64 235184128
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.45 2.98 231964672 true 8.19 3.38 237010944 unknown 8.98 3.85 233689088
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 38600 31900 196650373120 326 47900 40300 301433114624 326 41100 34700 269499977728
local summary 19900 16000 45700 20200 41100 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