Tool ULTIMATE Automizer 0.1.23-453dfdae
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-09 19:44:43 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.78 3.72 260317184 false(valid-deref) 88.0  54.0  1079009280 unknown 90.8  58.4  1154973696
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.16 3.30 231542784 false(valid-deref) 40.6  15.3  658374656 unknown 42.8  17.6  688537600
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 10.5  4.03 279224320 false(valid-deref) 148    116    1463078912 unknown 155    120    1414520832
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.56 2.99 230043648 false(valid-deref) 45.0  24.2  813465600 unknown 44.5  23.4  760852480
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 20.1  8.55 356470784 error: exception 52.7  24.0  772263936 unknown 44.1  20.4  708091904
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 13.0  4.93 296722432 error: exception 32.6  13.6  483311616 unknown 28.6  11.6  481849344
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.77 3.13 232972288 false(valid-deref) 255    221    1569054720 unknown 269    235    1704108032
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.49 3.40 237719552 false(valid-deref) 53.1  32.8  914776064 unknown 58.6  35.0  883294208
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 18.9  8.81 352751616 error: exception 74.7  40.1  910200832 unknown 67.5  36.7  922357760
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.87 3.67 237772800 false(valid-deref) 37.3  15.7  586584064 unknown 37.4  15.6  588050432
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.0  4.38 294576128 false(valid-deref) 294    246    2017710080 timeout (error (143)) 300    253    1730125824
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 21.4  9.43 361172992 timeout (error (143)) 301    261    1431625728 timeout (error (143)) 301    259    1658216448
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 10.1  3.88 265924608 false(valid-deref) 145    105    1479249920 unknown 147    111    1412804608
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 15.0  5.78 332152832 timeout (error (143)) 301    263    1535389696 timeout (error (143)) 303    263    1724014592
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 11.7  4.27 291520512 timeout (error (143)) 302    266    1414348800 timeout (error (143)) 302    264    1719726080
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 8.84 3.44 236474368 false(valid-deref) 40.0  16.1  574390272 unknown 41.7  17.6  577421312
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.54 2.97 233791488 false(valid-deref) 8.82 3.41 264380416 unknown 8.91 3.46 241291264
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    276    2094563328 timeout (error (143)) 304    257    2610118656 unknown 88.6  56.6  1052422144
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 17.9  7.15 349057024 true 47.2  21.2  694747136 unknown 43.8  20.8  593428480
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 18.3  7.15 357982208 true 73.9  41.5  1078079488 unknown 67.6  50.6  1061941248
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 18.0  7.00 354795520 true 174    129    2103857152 unknown 163    161    2224017408
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    237    1053605888 timeout (error (143)) 301    223    1214369792 unknown 61.0  44.2  1200750592
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    232    950497280 timeout (error (143)) 301    233    1471021056 unknown 152    119    1437085696
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    266    649887744 timeout (error (143)) 302    260    1187110912 timeout (error (143)) 302    259    1147142144
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 20.0  8.24 362127360 error: exception 58.0  30.9  868704256 unknown 52.2  30.3  759574528
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 62.3  41.2  564875264 error: exception 172    129    1503469568 unknown 165    125    1594085376
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    255    779329536 error: exception 212    167    1141567488 unknown 198    158    1312763904
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 85.3  64.9  538796032 timeout (error (143)) 305    259    1515642880 timeout (error (143)) 304    262    1519484928
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 20.5  8.90 365723648 error: exception 36.4  13.9  554283008 unknown 33.0  11.8  529387520
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    271    704999424 timeout (error (143)) 305    257    1443627008 timeout (error (143)) 302    256    1471410176
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 64.3  45.7  545193984 error: exception 158    115    1256534016 unknown 147    112    1168269312
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    249    657936384 timeout (error (143)) 301    259    1166430208 timeout (error (143)) 302    258    1296957440
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 148    118    608145408 timeout (error (143)) 302    258    1637023744 timeout (error (143)) 302    264    1469808640
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 186    158    708120576 timeout (error (143)) 302    267    1472802816 timeout (error (143)) 301    267    1608904704
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    254    636473344 timeout (error (143)) 301    229    1082343424 unknown 74.7  37.5  983855104
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 23.1  9.79 383205376 true 77.1  36.6  937103360 unknown 58.1  30.1  827895808
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    239    1165275136 timeout (error (143)) 301    226    1233719296 unknown 53.9  28.0  874602496
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 35.2  17.4  448475136 timeout (error (143)) 301    265    1486888960 timeout (error (143)) 301    267    1441415168
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 41.3  31.5  356532224 true 185    136    1390247936 unknown 150    111    1299468288
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    282    497618944 timeout (error (143)) 302    265    853995520 unknown 44.7  21.5  685727744
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    616103936 timeout (error (143)) 300    263    604942336 unknown 14.7  5.01 314404864
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    272    548909056 timeout (error (143)) 301    267    574263296 unknown 14.7  5.04 326492160
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    570732544 timeout (error (143)) 300    250    848220160 unknown 42.8  20.6  681668608
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    257    841453568 error: exception 194    148    1101524992 unknown 177    141    1108332544
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error: exception 16.4  6.48 332976128 timeout (error (143)) 302    251    1580441600 timeout (error (143)) 303    265    1809006592
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    250    634093568 timeout (error (143)) 301    264    1176223744 timeout (error (143)) 301    261    1182027776
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 64.5  45.2  492425216 error: exception 113    73.4  1200205824 unknown 113    74.3  1169858560
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    258    907440128 error: exception 185    143    1127968768 unknown 183    140    1156984832
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 92.0  70.2  560832512 error: exception 151    106    1290022912 unknown 139    101    1305202688
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    254    657129472 timeout (error (143)) 301    262    1382518784 timeout (error (143)) 302    257    1427324928
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.0  8.06 371220480 error: exception 38.1  13.8  518111232 unknown 33.5  11.9  540884992
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    266    604377088 timeout (error (143)) 305    259    1303642112 timeout (error (143)) 306    260    1226928128
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 60.0  40.8  551219200 error: exception 145    102    1046687744 unknown 116    79.3  1213042688
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    255    613019648 timeout (error (143)) 303    254    1337708544 timeout (error (143)) 302    252    1554296832
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 21.3  9.59 376356864 error: exception 47.3  22.3  625004544 unknown 40.2  19.1  597848064
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 53.2  33.4  494796800 error: exception 189    141    1376755712 unknown 168    133    1370767360
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 181    159    597405696 error: exception 105    66.8  935018496 unknown 102    66.3  941797376
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    275    585654272 timeout (error (143)) 301    245    1980334080 timeout (error (143)) 302    263    1791594496
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 305    298    1865334784 timeout (error (143)) 305    297    1977331712 timeout (error (143)) 305    297    1904123904
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 22.4  9.24 360968192 true 61.1  29.0  814448640 unknown 57.6  24.8  780677120
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 19.8  8.03 359186432 true 22.5  8.78 380203008 unknown 13.1  4.54 296448000
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 20.0  8.38 356589568 true 48.4  19.9  590303232 unknown 39.2  13.6  582049792
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 23.3  10.7  371351552 error: exception 153    114    1315725312 unknown 138    107    1341747200
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 147    127    715194368 timeout (error (143)) 301    259    1147793408 timeout (error (143)) 302    264    1199235072
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    266    671592448 error: exception 270    225    1771851776 unknown 257    214    1742848000
array-examples/relax_false-valid-deref.i false(valid-deref) 12.1  4.51 304545792 false(valid-deref) 23.1  7.72 401403904 unknown 17.9  6.23 366063616
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 300    234    1151422464 timeout (error (143)) 300    234    1145118720 unknown 7.01 2.85 231460864
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 300    230    1328381952 timeout (error (143)) 300    228    1376505856 unknown 7.00 2.70 220860416
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 300    249    1055477760 timeout (error (143)) 300    249    1044443136 unknown 7.22 2.86 230096896
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 301    258    721960960 timeout (error (143)) 300    249    1131700224 unknown 216    182    1114710016
memsafety/test-0137_false-valid-deref.i unknown 6.73 2.51 196243456 unknown 6.46 2.52 193880064 unknown 6.63 2.53 201461760
memsafety/test-0235_false-valid-deref.i error: exception 18.0  6.81 414056448 timeout (error (143)) 305    295    1770196992 timeout (error (143)) 306    295    2065809408
memsafety/960521-1_false-valid-free.i timeout (error (143)) 301    257    730996736 timeout (error (143)) 300    244    1126793216 unknown 163    126    1137856512
memsafety/test-0158_false-valid-free.i false(valid-free) 13.6  5.00 304648192 false(valid-free) 78.2  50.8  1096970240 unknown 77.8  48.5  1105793024
memsafety/test-0232_false-valid-free.i unknown 6.36 2.50 193208320 unknown 6.71 2.53 196403200 unknown 6.61 2.51 203444224
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 305    297    1754923008 timeout (error (143)) 305    296    1656926208 timeout (error (143)) 305    297    1619681280
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 306    251    1155256320 timeout (error (143)) 302    268    1771155456 timeout (error (143)) 301    266    1721704448
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 69.5  28.4  1166958592 timeout (error (143)) 306    268    1120419840 timeout (error (143)) 306    274    1014206464
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 22.7  7.90 417071104 timeout (error (143)) 305    267    1003827200 timeout (error (143)) 303    265    1027108864
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 180    112    3286757376 timeout (error (143)) 306    272    1139519488 timeout (error (143)) 305    268    1165950976
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.3  9.66 387383296 timeout (error (143)) 306    277    1217167360 timeout (error (143)) 306    275    1159524352
memsafety/test-0102_false-valid-memtrack.i error: exception 6.96 2.73 208166912 error: exception 7.32 2.74 213512192 error: exception 7.09 2.69 215490560
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.7  4.08 277041152 unknown: overapproxcex 49.2  24.6  766414848 unknown 45.3  23.8  712617984
memsafety/test-0220_false-valid-memtrack.i timeout 324    145    5948055552 timeout (error (143)) 305    297    1672941568 timeout (error (143)) 306    296    1690058752
memsafety/test-0232_false-valid-memtrack.i unknown 6.50 2.73 198393856 unknown 7.01 2.64 192237568 unknown 7.05 2.64 206086144
memsafety/test-0234_false-valid-memtrack.i error: exception 16.8  6.40 400900096 timeout (error (143)) 305    296    1749962752 timeout (error (143)) 305    295    1822654464
memsafety/test-0235_false-valid-memtrack.i error: exception 17.2  6.65 347381760 timeout (error (143)) 305    295    1916215296 timeout (error (143)) 306    295    2145853440
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 301    256    750104576 timeout (error (143)) 300    250    1177165824 unknown 188    154    1164251136
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 159    95.8  2438197248 timeout (error (143)) 305    261    1053786112 timeout (error (143)) 305    267    990572544
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 22.6  10.8  413298688 error: exception 68.9  39.3  862588928 unknown 57.6  33.2  747003904
memsafety/test-0102_true-valid-memsafety.i error: exception 7.32 2.71 206323712 error: exception 7.17 2.74 206839808 error: exception 7.54 2.79 214073344
memsafety/test-0134_true-valid-memsafety.i unknown 6.71 2.54 196792320 unknown 6.52 2.47 198471680 unknown 6.72 2.55 203476992
memsafety/test-0158_true-valid-memsafety_true-termination.i true 13.3  5.64 305168384 error: exception 54.9  28.0  817717248 unknown 50.8  24.8  939122688
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 6.82 2.50 200445952 error: exception 6.72 2.53 197885952 error: exception 7.03 2.62 205156352
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 6.64 2.58 196628480 error: exception 6.94 2.63 199364608 error: exception 7.02 2.64 210149376
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 6.59 2.59 198180864 error: exception 6.67 2.53 200544256 error: exception 7.03 2.64 205799424
memsafety/test-0219_true-valid-memsafety.i timeout 302    130    5999996928 timeout (error (143)) 305    296    1696329728 timeout (error (143)) 306    296    1788649472
memsafety/test-0232_true-valid-memsafety.i unknown 6.21 2.42 193052672 unknown 6.74 2.60 192712704 unknown 6.87 2.61 197095424
memsafety/test-0234_true-valid-memsafety.i error: exception 21.4  11.0  366600192 timeout (error (143)) 305    295    1845407744 timeout (error (143)) 305    295    1996967936
memsafety/test-0235_true-valid-memsafety.i error: exception 22.0  10.7  438804480 timeout (error (143)) 306    295    2147659776 timeout (error (143)) 306    295    1760612352
memsafety/test-0236_true-valid-memsafety.i error: exception 19.2  8.43 354619392 timeout (error (143)) 305    295    1845485568 timeout (error (143)) 306    295    1831518208
memsafety/test-0237_true-valid-memsafety.i error: exception 21.7  10.6  374583296 timeout (error (143)) 305    295    1848111104 timeout (error (143)) 306    295    1870651392
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 301    264    682602496 timeout (error (143)) 306    272    1847001088 timeout (error (143)) 306    271    1827356672
memsafety/test-0513_true-valid-memsafety.i error: exception 285    245    818327552 timeout (error (143)) 304    272    1510797312 timeout (error (143)) 305    267    1463967744
memsafety/test-0521_true-valid-memsafety.i unknown 6.34 2.47 194162688 unknown 6.47 2.48 195518464 unknown 6.82 2.63 201760768
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 301    264    659800064 timeout (error (143)) 306    273    1439739904 timeout (error (143)) 304    273    1317756928
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 301    274    611368960 timeout (error (143)) 306    270    1711493120 timeout (error (143)) 303    265    1607770112
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.57 2.46 194527232 unknown 6.73 2.66 197312512 unknown 6.68 2.51 206749696
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.70 2.55 196550656 unknown 7.97 3.57 197902336 unknown 6.73 2.52 203890688
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 302    256    649195520 timeout (error (143)) 302    266    1785843712 timeout (error (143)) 306    269    1709731840
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 301    250    692748288 timeout (error (143)) 306    270    1899724800 timeout (error (143)) 306    272    1726914560
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 301    260    653717504 timeout (error (143)) 306    270    1928085504 timeout (error (143)) 305    270    1983422464
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 301    271    578838528 timeout (error (143)) 306    271    1925984256 timeout (error (143)) 306    271    1579491328
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 301    270    617103360 timeout (error (143)) 305    273    2126761984 timeout (error (143)) 306    270    2222956544
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 70.4  44.2  660705280 timeout (error (143)) 306    266    1526128640 timeout (error (143)) 306    265    1581916160
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 303    268    904945664 timeout (error (143)) 306    270    1360596992 timeout (error (143)) 306    268    1246740480
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 302    275    631779328 timeout (error (143)) 303    267    1427226624 timeout (error (143)) 306    267    1242103808
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 301    272    1476583424 timeout (error (143)) 306    271    1903509504 timeout (error (143)) 305    266    1995108352
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 301    257    562462720 timeout (error (143)) 306    266    1095815168 timeout (error (143)) 300    262    1009594368
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 302    260    814518272 timeout (error (143)) 306    267    1644953600 timeout (error (143)) 302    265    1341501440
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 301    264    790142976 timeout (error (143)) 302    268    1623711744 timeout (error (143)) 306    270    1092947968
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 301    267    2284199936 timeout (error (143)) 306    265    1904947200 timeout (error (143)) 306    267    1954324480
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 301    255    580374528 timeout (error (143)) 306    264    999878656 timeout (error (143)) 306    268    960933888
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 68.1  41.4  623603712 timeout (error (143)) 306    269    1644740608 timeout (error (143)) 306    268    1590841344
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 18.2  7.05 360976384 false(valid-deref) 239    199    1073954816 unknown 200    165    1191014400
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 300    257    661893120 timeout (error (143)) 301    260    1339150336 timeout (error (143)) 302    264    1153961984
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 17.2  6.66 340164608 timeout (error (143)) 304    265    1164464128 timeout (error (143)) 302    267    1233350656
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 22.1  9.68 387264512 error: exception 233    191    1235070976 unknown 213    172    1185718272
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 13.7  5.04 313847808 false(valid-free) 223    192    1271357440 unknown 200    173    1052270592
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 38.9  20.4  526487552 timeout (error (143)) 306    270    1598304256 timeout (error (143)) 306    276    1347887104
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.3  3.88 274345984 error: exception 128    101    1130455040 unknown 112    89.1  1183150080
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.39 2.47 193916928 unknown 7.47 2.91 201453568 unknown 6.43 2.50 201125888
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 301    267    553070592 error: exception 282    207    1325944832 unknown 117    79.2  1280933888
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 301    255    710336512 timeout (error (143)) 303    263    1457512448 timeout (error (143)) 306    268    1300410368
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error: exception 81.8  54.5  598798336 timeout (error (143)) 301    267    1276911616 timeout (error (143)) 303    267    1107709952
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 300    266    566075392 timeout (error (143)) 303    269    1127010304 timeout (error (143)) 304    266    1007038464
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 40.6  21.9  519426048 error: exception 153    117    1293418496 unknown 134    105    1334763520
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 12.4  4.92 296374272 false(valid-free) 196    167    1163526144 unknown 181    152    1182105600
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 6.95 2.56 197398528 error: exception 6.97 2.86 197115904 error: exception 7.08 2.66 203325440
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 6.84 2.65 200851456 error: exception 7.28 2.86 201613312 error: exception 7.03 2.62 203276288
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.52 2.54 194490368 unknown 6.83 2.75 196939776 unknown 6.61 2.52 203886592
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 303    267    768405504 timeout (error (143)) 306    278    1851002880 timeout (error (143)) 303    273    1921519616
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 301    254    853069824 timeout (error (143)) 304    273    1293049856 timeout (error (143)) 305    269    1388507136
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 16.3  7.11 313630720 timeout (error (143)) 306    261    2227535872 timeout (error (143)) 303    261    1992011776
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 10.9  4.22 292859904 false(valid-deref) 145    117    1153732608 unknown 132    104    1100800000
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 14.8  6.95 327589888 false(valid-deref) 200    166    1142874112 unknown 171    143    1072218112
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.57 3.39 236871680 false(valid-deref) 34.5  12.1  520134656 unknown 33.0  12.4  513712128
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.98 3.50 241811456 false(valid-deref) 35.5  13.9  504373248 unknown 32.7  11.5  574398464
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 301    230    2302152704 timeout (error (143)) 303    236    2270081024 unknown 15.7  5.50 326184960
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 301    230    2315706368 timeout (error (143)) 302    237    2260598784 unknown 14.9  5.29 327475200
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.83 3.16 236503040 false(valid-deref) 10.2  4.46 267804672 unknown 9.32 3.47 238931968
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.10 3.16 237355008 false(valid-deref) 11.0  4.42 275005440 unknown 9.60 3.64 249446400
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.78 3.16 236703744 false(valid-deref) 10.3  4.28 271101952 unknown 9.34 3.55 243077120
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.01 3.24 235618304 false(valid-deref) 11.4  4.98 289075200 unknown 9.46 3.68 243154944
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.99 3.25 236294144 false(valid-deref) 10.8  4.51 270753792 unknown 9.00 3.39 236548096
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.98 3.23 237961216 false(valid-deref) 10.3  4.21 266977280 unknown 9.19 3.41 241360896
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 301    287    795533312 timeout (error (143)) 302    260    1419620352 unknown 133    106    1068679168
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 306    251    2377388032 timeout (error (143)) 300    242    2349510656 unknown 17.0  6.05 363565056
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (error (143)) 301    227    2274414592 timeout (error (143)) 301    230    2269253632 unknown 17.4  6.09 352460800
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (error (143)) 305    248    2375118848 timeout (error (143)) 306    249    2358095872 unknown 16.3  5.83 362717184
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (error (143)) 301    229    2266710016 timeout (error (143)) 303    222    2257092608 unknown 30.3  11.7  516632576
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (error (143)) 303    229    2282356736 timeout (error (143)) 301    229    2267951104 unknown 17.0  6.19 347901952
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 10.4  4.00 291889152 timeout (error (143)) 304    274    1410908160 timeout (error (143)) 305    277    1328189440
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 10.0  3.80 295055360 timeout (error (143)) 304    277    1397002240 timeout (error (143)) 306    279    1112055808
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.65 3.34 241459200 timeout (error (143)) 306    283    1114300416 timeout (error (143)) 306    284    1066127360
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 18.6  7.88 387072000 true 18.8  8.37 385462272 unknown 8.59 3.27 236396544
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 27.8  13.6  443338752 true 30.0  15.9  471171072 unknown 9.04 3.34 243499008
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 18.1  7.65 369635328 true 19.4  9.04 375029760 unknown 8.61 3.21 239296512
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 27.5  13.7  446521344 true 29.4  15.5  450764800 unknown 9.18 3.42 244396032
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 27.3  13.8  459255808 true 30.5  16.5  483307520 unknown 8.92 3.33 237088768
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 26.9  13.6  442535936 true 29.7  16.1  487362560 unknown 8.87 3.32 238616576
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 7.29 2.70 200675328 error: exception 7.72 3.24 201797632 error: exception 6.90 2.64 208060416
ldv-memsafety/memleaks_test22_3_false-valid-deref.i error: exception 6.71 2.64 197537792 error: exception 7.61 3.27 201912320 error: exception 6.96 2.55 203898880
ldv-memsafety/memleaks_test22_5_false-valid-deref.i error: exception 6.77 2.64 200552448 error: exception 7.52 3.13 202362880 error: exception 7.14 2.68 204988416
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.20 2.70 200028160 unknown 7.34 3.09 203628544 unknown 7.14 2.68 203366400
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.17 2.64 194584576 unknown 7.29 3.04 205193216 unknown 7.01 2.52 200949760
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 7.01 2.72 206176256 error: exception 7.47 2.93 206147584 error: exception 6.97 2.61 207978496
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 7.38 2.78 206893056 error: exception 7.56 3.38 203722752 error: exception 7.03 2.65 210460672
ldv-memsafety/memleaks_test17_2_false-valid-free.i error: exception 7.01 2.68 201232384 error: exception 7.30 3.17 202227712 error: exception 6.95 2.57 207253504
ldv-memsafety/memleaks_test19_false-valid-free.i error: exception 6.96 2.80 199815168 error: exception 7.27 2.87 204144640 error: exception 7.26 2.73 206761984
ldv-memsafety/memleaks_test1_false-valid-free.i error: exception 6.84 2.70 196833280 error: exception 7.45 3.22 201293824 error: exception 7.20 2.77 204435456
ldv-memsafety/memleaks_test3_false-valid-free.i error: exception 7.05 2.75 199094272 error: exception 7.28 3.59 201797632 error: exception 6.78 2.62 201555968
ldv-memsafety/memleaks_test6_2_false-valid-free.i error: exception 7.07 2.67 201342976 error: exception 7.38 2.91 201179136 error: exception 6.94 2.70 206331904
ldv-memsafety/memleaks_test8_2_false-valid-free.i error: exception 7.04 2.67 200613888 error: exception 7.36 3.22 202375168 error: exception 6.87 2.61 201986048
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 6.69 2.71 194039808 error: exception 7.27 3.10 203046912 error: exception 7.14 2.69 202137600
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 7.25 2.74 203554816 error: exception 7.41 2.85 202637312 error: exception 7.07 2.64 207675392
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 7.04 2.76 201969664 error: exception 7.42 3.12 204103680 error: exception 6.91 2.57 204271616
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 7.12 2.75 203927552 error: exception 7.41 3.11 202448896 error: exception 7.22 2.71 203857920
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 7.02 2.73 198492160 error: exception 7.44 2.85 200048640 error: exception 7.09 2.67 206970880
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 7.14 2.70 198160384 error: exception 7.57 3.10 201445376 error: exception 7.06 2.59 205651968
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error: exception 6.97 2.70 201183232 error: exception 7.32 2.89 202809344 error: exception 6.68 2.64 207040512
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 7.02 2.76 196825088 error: exception 7.65 3.33 204976128 error: exception 6.92 2.64 205565952
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 7.03 2.64 199077888 error: exception 7.54 3.01 200609792 error: exception 7.02 2.68 207155200
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error: exception 7.01 2.67 201682944 error: exception 7.32 3.00 200814592 error: exception 6.82 2.56 210128896
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error: exception 7.29 2.73 200753152 error: exception 7.40 3.26 198623232 error: exception 7.10 2.71 208424960
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i error: exception 7.11 2.72 201682944 error: exception 7.37 3.65 199958528 error: exception 6.88 2.67 206954496
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error: exception 6.98 2.67 202539008 error: exception 7.23 3.12 201003008 error: exception 6.91 2.57 206254080
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i error: exception 7.17 2.74 199782400 error: exception 7.33 3.11 198373376 error: exception 6.90 2.59 204029952
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i error: exception 7.13 2.82 197570560 error: exception 7.54 3.28 201584640 error: exception 6.64 2.61 203964416
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 7.30 2.82 203485184 error: exception 7.28 2.95 202825728 error: exception 7.17 2.76 209379328
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 7.07 2.74 198279168 error: exception 7.48 3.10 200503296 error: exception 6.93 2.63 207446016
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i error: exception 7.29 3.10 198045696 error: exception 7.67 3.31 199778304 error: exception 6.89 2.66 205721600
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i error: exception 7.28 2.86 197021696 error: exception 7.53 3.22 206147584 error: exception 7.16 2.64 204566528
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i error: exception 6.99 2.69 201256960 error: exception 7.26 3.63 202268672 error: exception 7.13 2.68 205570048
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i error: exception 7.10 2.56 199565312 error: exception 7.11 3.39 202326016 error: exception 7.07 2.73 204886016
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i error: exception 7.01 2.62 198868992 error: exception 7.38 3.04 201969664 error: exception 7.10 2.74 207626240
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i error: exception 7.18 2.59 200368128 error: exception 7.75 3.38 204951552 error: exception 6.74 2.54 200413184
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i error: exception 7.07 2.64 200613888 error: exception 7.74 3.29 200146944 error: exception 6.89 2.65 205602816
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i error: exception 7.06 2.63 199688192 error: exception 7.91 3.33 202928128 error: exception 7.02 2.67 208269312
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i error: exception 7.23 2.77 201072640 error: exception 7.65 3.13 198234112 error: exception 6.74 2.67 203177984
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i error: exception 6.81 2.62 199106560 error: exception 8.08 3.46 203104256 error: exception 7.18 2.72 205086720
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i error: exception 6.95 2.74 194318336 error: exception 7.85 3.23 202002432 error: exception 6.77 2.64 204292096
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i error: exception 7.03 2.68 201306112 error: exception 7.68 3.17 205221888 error: exception 7.06 2.65 204972032
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 7.01 2.68 197816320 error: exception 7.48 3.07 198721536 error: exception 7.28 2.67 207007744
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 7.29 2.71 208502784 error: exception 8.07 3.29 203755520 error: exception 7.17 2.68 207036416
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 7.15 2.78 206938112 error: exception 8.02 3.41 203952128 error: exception 7.00 2.67 210309120
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 7.19 2.71 202575872 error: exception 8.00 3.26 202043392 error: exception 7.01 2.69 208777216
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 7.23 2.78 202301440 error: exception 7.87 3.11 203948032 error: exception 6.82 2.63 208232448
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error: exception 7.13 2.74 199692288 error: exception 8.29 3.40 205361152 error: exception 7.05 2.73 205467648
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 6.99 2.69 197529600 error: exception 7.81 3.70 208531456 error: exception 6.85 2.54 202461184
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i error: exception 6.74 2.72 197738496 error: exception 7.69 3.37 198782976 error: exception 6.98 2.64 205127680
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error: exception 6.87 2.78 199073792 error: exception 7.76 3.79 204910592 error: exception 7.07 2.68 205361152
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i error: exception 6.98 2.68 200200192 error: exception 7.77 3.52 201756672 error: exception 7.07 2.76 208351232
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 7.02 2.76 201015296 error: exception 8.04 3.32 204509184 error: exception 6.99 2.75 208019456
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i error: exception 6.80 2.70 197672960 error: exception 7.61 3.31 201121792 error: exception 7.17 2.66 207110144
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 7.12 2.67 202211328 error: exception 7.68 3.16 202125312 error: exception 6.98 2.69 207134720
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 7.15 2.67 202051584 error: exception 7.55 3.24 203714560 error: exception 7.11 2.69 209510400
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i error: exception 7.16 2.66 201461760 error: exception 7.64 3.30 203784192 error: exception 6.96 2.70 206438400
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i error: exception 7.01 2.71 199966720 error: exception 7.80 3.34 201695232 error: exception 7.37 2.69 210620416
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i error: exception 7.05 2.71 200097792 error: exception 7.64 3.24 207818752 error: exception 6.99 2.64 203800576
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.07 2.67 198389760 unknown 7.65 3.42 201486336 unknown 6.72 2.67 198234112
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.10 2.64 200306688 unknown 7.79 3.40 209047552 unknown 7.13 2.69 204296192
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i error: exception 6.99 2.68 197099520 error: exception 7.97 3.49 202936320 error: exception 7.15 2.65 204578816
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i error: exception 7.29 2.79 199831552 error: exception 7.54 3.23 206901248 error: exception 6.68 2.69 208384000
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i error: exception 7.16 2.73 201928704 error: exception 7.76 4.07 201461760 error: exception 7.35 2.73 207298560
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i error: exception 7.14 2.88 198541312 error: exception 7.49 3.09 201621504 error: exception 6.87 2.67 201994240
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i error: exception 7.10 2.86 199880704 error: exception 7.91 3.30 198770688 error: exception 7.08 2.70 205856768
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i error: exception 7.24 2.76 201621504 error: exception 7.51 2.84 199471104 error: exception 7.16 2.70 205451264
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i error: exception 6.82 2.68 199000064 error: exception 7.49 2.98 204115968 error: exception 6.89 2.68 205193216
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 10.5  4.17 280006656 error: exception 71.3  49.5  911511552 unknown 62.6  43.7  961593344
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 21.4  9.21 380465152 timeout (error (143)) 305    272    1346564096 timeout (error (143)) 305    272    1215115264
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i timeout (error (143)) 302    288    576016384 timeout (error (143)) 303    272    1270968320 timeout (error (143)) 306    275    1250934784
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i timeout (error (143)) 303    285    873623552 timeout (error (143)) 301    272    1469022208 timeout (error (143)) 301    269    1277321216
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i timeout (error (143)) 300    288    968527872 timeout (error (143)) 302    269    1261735936 timeout (error (143)) 301    270    1076002816
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 10.2  3.96 273403904 error: exception 72.6  53.0  999276544 unknown 57.3  41.4  868925440
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i timeout (error (143)) 301    288    681316352 timeout (error (143)) 306    274    1506975744 timeout (error (143)) 304    271    1160073216
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.4  4.44 300425216 timeout (error (143)) 303    277    1836097536 timeout (error (143)) 301    271    1590521856
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i timeout (error (143)) 301    288    942333952 timeout (error (143)) 301    272    1117433856 timeout (error (143)) 301    270    1105686528
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i timeout (error (143)) 301    284    768978944 timeout (error (143)) 306    277    1370488832 timeout (error (143)) 306    277    1191878656
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.80 2.59 199188480 unknown 7.91 3.12 201527296 unknown 6.81 2.58 206893056
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 305    297    1883525120 timeout (error (143)) 305    299    2126659584 timeout (error (143)) 306    297    1726795776
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 7.05 2.69 196706304 unknown 7.66 3.82 194093056 unknown 7.17 2.77 201093120
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.64 2.51 197832704 unknown 7.52 2.96 199847936 unknown 7.17 2.67 205860864
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.40 2.67 196296704 unknown 7.29 2.85 195031040 unknown 6.96 2.66 207097856
heap-manipulation/tree_false-valid-deref.i unknown 6.38 2.51 193425408 unknown 7.38 2.86 197210112 unknown 6.82 2.67 202772480
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 305    297    1895276544 timeout (error (143)) 305    299    1949720576 timeout (error (143)) 305    297    1895952384
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 51.1  28.6  493404160 timeout (error (143)) 307    273    1962979328 timeout (error (143)) 306    266    1658052608
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 301    270    582033408 timeout (error (143)) 305    269    1981939712 timeout (error (143)) 306    268    1639006208
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 301    259    678797312 timeout (error (143)) 301    261    1723924480 timeout (error (143)) 306    266    2018705408
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    250    610115584 timeout (error (143)) 306    273    1116831744 timeout (error (143)) 303    274    1108078592
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 11.9  4.36 297091072 timeout (error (143)) 306    269    1332097024 timeout (error (143)) 305    270    1235550208
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 17.5  7.03 355397632 timeout (error (143)) 305    274    1247342592 timeout (error (143)) 302    269    1224376320
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.3  5.96 336637952 timeout (error (143)) 303    274    1244475392 timeout (error (143)) 305    279    1121751040
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.4  6.25 333963264 timeout (error (143)) 306    274    974712832 timeout (error (143)) 302    274    954691584
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 13.3  4.71 302776320 timeout (error (143)) 306    276    2020118528 timeout (error (143)) 304    266    1244467200
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.59 2.80 223862784 unknown 7.15 4.24 238039040 unknown 7.40 2.76 224620544
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.53 2.81 224399360 unknown 7.25 3.14 222613504 unknown 7.09 2.75 228282368
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.79 2.74 229617664 unknown 7.26 3.19 235270144 unknown 7.38 2.79 223285248
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.09 2.59 238714880 unknown 6.81 2.70 224899072 unknown 7.27 2.71 227041280
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.54 2.72 228204544 unknown 7.65 2.98 235802624 unknown 7.39 2.87 227520512
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.30 2.79 225738752 unknown 7.46 2.80 227450880 unknown 7.25 2.77 237596672
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.03 2.76 221638656 unknown 7.07 2.98 222019584 unknown 7.21 2.67 227926016
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 2.73 241418240 unknown 7.33 2.78 227098624 unknown 7.29 2.82 229597184
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.40 2.71 226619392 unknown 7.48 3.08 240685056 unknown 7.28 2.68 225570816
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.41 2.79 224514048 unknown 7.43 2.89 225730560 unknown 7.32 2.70 235941888
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.45 2.80 235028480 unknown 7.37 3.83 236032000 unknown 7.40 2.71 234377216
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.33 2.69 225779712 unknown 6.97 3.38 219598848 unknown 7.53 2.85 226103296
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.44 2.75 225177600 unknown 7.26 3.16 223588352 unknown 7.73 2.76 238153728
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    255    657690624 timeout (error (143)) 306    272    2117853184 timeout (error (143)) 301    265    1587597312
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 166    133    643600384 timeout (error (143)) 306    276    1665712128 timeout (error (143)) 306    275    1512148992
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 302    266    626569216 timeout (error (143)) 305    268    1674842112 timeout (error (143)) 305    268    1530556416
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 302    273    529117184 timeout (error (143)) 306    270    1823285248 timeout (error (143)) 306    273    1536598016
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    265    581890048 timeout (error (143)) 306    275    1630789632 timeout (error (143)) 306    277    1498386432
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    266    652808192 timeout (error (143)) 306    273    2133782528 timeout (error (143)) 306    272    1783296000
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error: exception 242    203    570712064 timeout (error (143)) 306    262    1699008512 timeout (error (143)) 305    264    1631608832
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 302    280    498987008 timeout (error (143)) 306    270    1811795968 timeout (error (143)) 306    265    1527599104
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 65.2  39.8  600457216 timeout (error (143)) 306    270    1550692352 timeout (error (143)) 305    263    1583267840
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    262    582225920 timeout (error (143)) 303    270    2007343104 timeout (error (143)) 306    272    2051637248
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 70.8  43.9  569073664 timeout (error (143)) 306    274    1562767360 timeout (error (143)) 306    279    1598947328
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    266    589619200 timeout (error (143)) 306    275    1775140864 timeout (error (143)) 306    276    1413591040
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i true 68.1  39.6  563798016 timeout (error (143)) 305    269    1589657600 timeout (error (143)) 305    266    1669095424
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    250    697679872 timeout (error (143)) 306    270    1984315392 timeout (error (143)) 305    265    2065760256
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    259    685273088 timeout (error (143)) 303    270    2183938048 timeout (error (143)) 306    269    1494724608
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    259    671477760 timeout (error (143)) 301    270    1955127296 timeout (error (143)) 305    274    1610940416
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    252    704315392 timeout (error (143)) 306    266    1823109120 timeout (error (143)) 306    266    1642151936
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    247    684019712 timeout (error (143)) 306    269    1855545344 timeout (error (143)) 305    269    1613234176
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    258    616988672 timeout (error (143)) 305    267    1598418944 timeout (error (143)) 305    263    1377366016
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 159    124    663326720 timeout (error (143)) 306    275    1879085056 timeout (error (143)) 306    270    1497997312
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 79.0  53.7  558657536 timeout (error (143)) 306    271    1847943168 timeout (error (143)) 306    274    2059354112
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 159    122    653545472 timeout (error (143)) 304    269    1665310720 timeout (error (143)) 301    271    1733500928
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 301    234    2310537216 timeout (error (143)) 301    235    2308890624 unknown 7.37 2.87 230174720
ntdrivers/floppy_false-valid-deref.i.cil.c error: exception 8.77 3.17 264589312 error: exception 8.97 4.69 250130432 error: exception 8.81 3.10 252567552
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 7.92 2.91 252473344 error: exception 8.00 3.13 250544128 error: exception 8.24 2.95 254099456
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 16.4  5.91 362610688 true 16.4  6.17 381046784 unknown 14.7  5.29 396320768
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 16.5  6.01 399339520 true 16.3  6.23 375009280 unknown 13.9  4.98 373411840
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.4  4.87 308400128 true 13.9  5.37 299085824 unknown 11.9  4.34 300462080
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.0  4.72 302166016 true 14.3  5.30 311558144 unknown 12.0  4.39 310898688
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.5  4.86 305147904 error: exception 14.0  5.30 291074048 error: exception 11.9  4.33 309960704
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.6  5.24 331358208 true 15.6  5.87 297783296 unknown 13.5  4.81 313393152
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.6  5.27 325775360 true 14.8  5.41 340234240 unknown 12.6  5.18 303923200
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.5  3.88 271523840 true 11.4  4.55 277217280 unknown 9.07 3.41 244756480
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.8  4.34 295407616 true 12.8  5.21 311115776 unknown 11.3  4.15 279527424
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.8  4.32 314748928 true 13.1  5.03 308457472 unknown 10.7  3.99 283844608
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.60 3.16 232484864 true 8.54 3.54 235737088 unknown 7.77 3.13 234819584
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.14 3.20 234123264 true 8.53 3.64 237572096 unknown 7.70 3.19 235020288
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.06 3.17 234541056 true 8.55 3.91 235790336 unknown 7.98 3.08 235032576
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.26 3.19 234598400 true 8.63 3.85 239718400 unknown 7.87 3.05 235298816
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.36 3.18 235245568 true 8.88 3.71 236859392 unknown 8.04 3.11 235311104
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.26 3.22 236216320 true 8.48 3.72 235995136 unknown 8.14 3.15 236158976
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.46 3.27 238022656 true 8.60 3.75 239472640 unknown 8.39 3.17 239824896
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.52 3.28 233365504 unknown 5.84 2.43 194650112 unknown 8.19 3.21 239222784
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.47 3.02 232103936 true 7.94 3.44 233074688 unknown 7.18 2.88 228577280
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.70 3.06 228564992 true 8.22 3.53 232742912 unknown 7.49 3.01 247308288
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.62 3.01 230649856 true 8.46 3.46 230875136 unknown 7.75 3.11 234106880
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.85 3.18 231321600 true 8.64 3.59 232890368 unknown 7.30 3.07 237060096
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 8.11 3.17 233009152 true 8.04 3.30 238886912 unknown 7.71 2.93 243400704
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 32000 26100 171159056384 326 47300 39800 295159062528 326 40600 34500 262752735232
local summary 15800 13100 44700 20000 40600 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