Tool ULTIMATE Automizer 0.1.23-835382a9
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-05 15:15:26 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) 12.7  10.9  255066112 false(valid-deref) 237    194    1134125056 unknown 233    192    1199992832
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 10.6  9.53 232394752 false(valid-deref) 67.2  36.5  797442048 unknown 56.0  35.3  761057280
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 13.5  11.4  290775040 timeout (error (143)) 301    267    902930432 timeout (error (143)) 302    265    991551488
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 9.63 8.34 229056512 false(valid-deref) 134    109    1238364160 unknown 125    97.8  1213423616
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 32.3  35.6  368029696 error: exception 117    78.6  1213792256 unknown 113    76.6  1318318080
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 16.4  16.1  304627712 false(valid-deref) 52.6  21.5  603377664 unknown 45.0  19.7  601321472
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 9.59 8.51 232247296 timeout (error (143)) 301    272    1345396736 timeout (error (143)) 306    275    1389748224
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 10.3  8.95 235376640 false(valid-deref) 121    94.4  982265856 unknown 112    88.5  1017401344
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 29.6  31.0  361156608 false(valid-deref) 210    165    1138036736 unknown 179    142    1059778560
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 10.8  9.67 236412928 false(valid-deref) 62.5  41.1  716136448 unknown 62.3  41.7  693297152
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 15.2  14.5  316809216 timeout (error (143)) 301    246    1396105216 timeout (error (143)) 301    249    1412071424
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 34.2  34.0  376885248 timeout (error (143)) 302    260    1147428864 timeout (error (143)) 301    266    1056260096
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 12.3  10.7  262656000 timeout (error (143)) 302    268    1069518848 timeout (error (143)) 301    267    1095925760
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 21.4  20.7  309755904 timeout (error (143)) 303    258    1171853312 timeout (error (143)) 302    268    1060511744
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 14.4  12.6  293031936 timeout (error (143)) 301    265    1078067200 timeout (error (143)) 301    262    1161056256
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 11.2  9.60 238616576 false(valid-deref) 60.8  37.4  795623424 unknown 61.4  39.9  767156224
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 9.75 8.26 234782720 error: exception 7.11 2.71 225882112 error: exception 7.33 3.54 228954112
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 301    351    1346830336 timeout (error (143)) 301    247    1087238144 unknown 251    213    1101959168
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 23.9  23.6  345001984 true 90.8  56.5  927305728 unknown 93.5  60.0  873689088
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 27.2  25.1  371015680 true 145    112    1382035456 unknown 160    123    1343569920
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 27.1  25.6  354160640 timeout (error (143)) 302    263    1778827264 timeout (error (143)) 302    265    1810329600
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout 280    351    522551296 timeout (error (143)) 301    226    1322852352 unknown 102    72.1  1171890176
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout 269    351    519331840 timeout (error (143)) 302    265    839880704 timeout (error (143)) 301    263    859930624
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 273    351    553488384 timeout (error (143)) 302    260    1009836032 timeout (error (143)) 302    261    931807232
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 31.9  35.2  371261440 error: exception 213    169    1189064704 unknown 205    165    1189036032
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 130    156    515612672 timeout (error (143)) 300    260    812724224 timeout (error (143)) 301    261    932765696
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 275    351    520282112 timeout (error (143)) 306    266    914288640 timeout (error (143)) 306    274    960057344
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 104    112    537067520 timeout (error (143)) 302    262    882966528 timeout (error (143)) 301    262    935559168
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 30.0  32.2  349888512 error: exception 58.3  26.5  695894016 unknown 56.9  27.1  656293888
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 287    350    590491648 timeout (error (143)) 301    261    919805952 timeout (error (143)) 301    258    940027904
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 92.7  118    498819072 timeout (error (143)) 301    259    927571968 timeout (error (143)) 301    262    953409536
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 243    351    464953344 timeout (error (143)) 302    266    1015848960 timeout (error (143)) 301    262    956514304
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 259    316    523526144 timeout (error (143)) 301    265    785838080 timeout (error (143)) 300    258    909139968
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    342    559484928 timeout (error (143)) 302    266    860823552 timeout (error (143)) 302    263    915255296
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout 279    351    584388608 timeout (error (143)) 301    240    1262637056 unknown 185    143    1263755264
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 36.7  40.9  381718528 true 130    88.2  1170350080 unknown 116    85.3  1122172928
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout 269    351    552153088 timeout (error (143)) 301    230    1236189184 unknown 111    79.3  1227309056
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 63.7  76.3  480231424 timeout (error (143)) 302    271    1280258048 timeout (error (143)) 301    266    1274396672
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 44.2  45.4  356597760 timeout (error (143)) 302    260    1045860352 timeout (error (143)) 302    264    1008132096
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout 296    351    519507968 timeout (error (143)) 301    252    1028804608 unknown 111    74.2  988438528
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    329    494551040 error: exception 8.67 3.22 242393088 error: exception 9.87 3.83 243687424
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    293    574472192 error: exception 8.52 3.15 242786304 error: exception 9.27 3.69 246513664
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    293    766111744 timeout (error (143)) 301    246    1050533888 unknown 110    73.8  1105702912
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout 281    351    941654016 timeout (error (143)) 302    268    927051776 timeout (error (143)) 301    265    947585024
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error: exception 22.2  21.9  327168000 timeout (error (143)) 306    270    1166733312 timeout (error (143)) 306    269    1353146368
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 257    351    481669120 timeout (error (143)) 302    262    908304384 timeout (error (143)) 303    262    983044096
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 87.7  112    477143040 timeout (error (143)) 301    260    817569792 timeout (error (143)) 301    263    868016128
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 222    351    626429952 timeout (error (143)) 304    272    847810560 timeout (error (143)) 303    270    871014400
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 145    190    506347520 timeout (error (143)) 306    265    1018126336 timeout (error (143)) 302    264    964136960
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout 224    351    518107136 timeout (error (143)) 301    257    877019136 timeout (error (143)) 302    265    903745536
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 27.0  30.1  361697280 error: exception 64.5  26.7  705441792 unknown 56.2  26.3  651288576
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 253    351    560349184 timeout (error (143)) 303    258    858841088 timeout (error (143)) 300    254    972025856
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 93.0  116    489115648 timeout (error (143)) 304    265    894103552 timeout (error (143)) 301    262    921350144
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 254    351    518918144 timeout (error (143)) 304    261    1009582080 timeout (error (143)) 302    264    1079107584
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 36.0  41.6  388804608 error: exception 92.0  55.8  804401152 unknown 88.0  56.4  822095872
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 94.9  105    411152384 timeout (error (143)) 302    261    1074335744 timeout (error (143)) 301    262    941568000
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    320    530042880 timeout (error (143)) 300    257    1567154176 timeout (error (143)) 301    261    1011249152
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    323    559484928 timeout (error (143)) 305    255    1288298496 timeout (error (143)) 302    260    895164416
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 306    309    2125111296 timeout (error (143)) 305    297    1804398592 timeout (error (143)) 305    298    1816969216
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 36.7  32.9  372752384 true 116    80.5  1123762176 unknown 108    77.9  1064566784
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 28.1  25.9  295972864 error: exception 8.83 3.22 240996352 error: exception 8.51 3.12 250417152
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 31.2  28.8  365965312 true 77.8  44.3  860938240 unknown 67.1  37.7  909770752
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 36.8  35.5  378494976 timeout (error (143)) 303    259    1048559616 timeout (error (143)) 302    260    1098874880
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 233    259    609783808 timeout (error (143)) 301    261    832536576 timeout (error (143)) 300    261    963207168
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout 295    351    555888640 timeout (error (143)) 301    263    831131648 timeout (error (143)) 302    261    856231936
array-examples/relax_false-valid-deref.i false(valid-deref) 15.9  12.5  313016320 error: exception 9.42 3.45 249065472 error: exception 9.79 3.51 244916224
array-examples/sanfoundry_24_false-valid-deref.i timeout 267    351    425943040 error: exception 7.23 2.82 225542144 error: exception 7.35 2.77 231665664
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 256    351    510226432 error: exception 7.11 2.71 223969280 error: exception 7.07 2.71 228540416
array-examples/standard_strcpy_original_false-valid-deref.i timeout 258    351    494379008 error: exception 6.95 2.81 220188672 error: exception 6.47 2.65 226881536
memsafety/960521-1_false-valid-deref.i timeout 276    351    548352000 timeout (error (143)) 301    268    1084522496 timeout (error (143)) 300    264    982310912
memsafety/test-0137_false-valid-deref.i unknown 8.34 7.13 197775360 unknown 6.27 2.47 193306624 unknown 7.15 2.74 201687040
memsafety/test-0235_false-valid-deref.i error: exception 26.0  24.3  363298816 timeout (error (143)) 305    295    2008457216 timeout (error (143)) 305    295    1951281152
memsafety/960521-1_false-valid-free.i timeout (error (143)) 301    339    576528384 timeout (error (143)) 303    269    979980288 timeout (error (143)) 305    268    941506560
memsafety/test-0158_false-valid-free.i false(valid-free) 18.0  15.7  294772736 false(valid-free) 75.2  48.5  1073233920 unknown 73.7  47.6  1161519104
memsafety/test-0232_false-valid-free.i unknown 8.29 6.82 189067264 unknown 6.55 2.49 193556480 unknown 6.73 2.46 198475776
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 306    309    1833164800 timeout (error (143)) 305    297    1651105792 timeout (error (143)) 305    297    1581707264
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 306    272    1227542528 timeout (error (143)) 301    257    1609211904 timeout (error (143)) 301    263    1658675200
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 77.5  39.4  1112297472 timeout (error (143)) 304    271    944992256 timeout (error (143)) 305    271    935632896
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 24.2  9.27 393912320 timeout (error (143)) 301    266    1054318592 timeout (error (143)) 302    270    1036156928
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 244    190    3330572288 timeout (error (143)) 306    267    1026031616 timeout (error (143)) 306    272    1105272832
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 39.8  41.5  337133568 timeout (error (143)) 306    277    1158955008 timeout (error (143)) 306    276    1293377536
memsafety/test-0102_false-valid-memtrack.i error: exception 9.02 7.38 207646720 error: exception 6.97 2.60 214695936 error: exception 7.15 2.69 210100224
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.2  11.7  272248832 unknown: overapproxcex 46.1  22.8  757452800 unknown 45.9  22.9  746926080
memsafety/test-0220_false-valid-memtrack.i out of memory 293    158    5999996928 timeout (error (143)) 305    296    1643671552 timeout (error (143)) 305    295    1669300224
memsafety/test-0232_false-valid-memtrack.i unknown 8.38 6.93 187179008 unknown 6.80 2.55 198828032 unknown 6.84 2.61 196296704
memsafety/test-0234_false-valid-memtrack.i error: exception 22.8  20.3  333021184 timeout (error (143)) 305    295    1742893056 timeout (error (143)) 305    295    1796423680
memsafety/test-0235_false-valid-memtrack.i error: exception 18.9  8.46 321077248 timeout (error (143)) 305    295    2028380160 timeout (error (143)) 305    295    1818849280
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 301    297    734720000 timeout (error (143)) 301    262    985718784 timeout (error (143)) 302    262    1043595264
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 258    220    2336505856 timeout (error (143)) 306    272    873422848 timeout (error (143)) 303    264    971767808
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 32.0  24.2  396730368 error: exception 66.5  41.6  861057024 unknown 64.8  38.5  901316608
memsafety/test-0102_true-valid-memsafety.i error: exception 7.93 5.30 201773056 error: exception 7.12 2.67 211255296 error: exception 7.34 2.74 213938176
memsafety/test-0134_true-valid-memsafety.i unknown 8.18 5.76 196636672 unknown 6.49 2.51 196780032 unknown 6.68 2.45 199905280
memsafety/test-0158_true-valid-memsafety_true-termination.i true 19.1  16.6  300298240 error: exception 50.4  25.3  904720384 unknown 45.7  26.0  788897792
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 8.27 6.01 200544256 error: exception 6.76 2.47 200646656 error: exception 7.12 2.55 206483456
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 7.78 5.76 191000576 error: exception 6.33 2.48 195334144 error: exception 7.05 2.59 204541952
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 8.04 6.29 190799872 error: exception 6.75 2.63 197099520 error: exception 6.85 2.62 202424320
memsafety/test-0219_true-valid-memsafety.i timeout 321    205    5904666624 timeout (error (143)) 305    296    1653633024 timeout (error (143)) 305    296    1656434688
memsafety/test-0232_true-valid-memsafety.i unknown 7.72 4.91 193093632 unknown 6.77 2.59 198803456 unknown 7.08 2.58 206094336
memsafety/test-0234_true-valid-memsafety.i error: exception 27.3  19.8  325222400 timeout (error (143)) 305    295    2150543360 timeout (error (143)) 305    295    1821011968
memsafety/test-0235_true-valid-memsafety.i error: exception 24.4  15.8  370032640 timeout (error (143)) 305    295    2148610048 timeout (error (143)) 305    296    2145251328
memsafety/test-0236_true-valid-memsafety.i error: exception 22.7  12.7  378368000 timeout (error (143)) 305    295    1858863104 timeout (error (143)) 305    295    2013188096
memsafety/test-0237_true-valid-memsafety.i error: exception 30.3  24.4  328167424 timeout (error (143)) 305    295    1793269760 timeout (error (143)) 305    295    1721835520
memsafety/test-0504_true-valid-memsafety.i error: exception 7.83 6.05 193273856 error: exception 6.42 2.49 193589248 error: exception 7.11 2.72 198209536
memsafety/test-0513_true-valid-memsafety.i error: exception 7.92 5.65 191197184 error: exception 6.77 2.59 199409664 error: exception 6.88 2.72 197607424
memsafety/test-0521_true-valid-memsafety.i unknown 7.27 3.14 191729664 unknown 6.74 2.58 197697536 unknown 7.13 2.69 200462336
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 313    283    2109472768 timeout (error (143)) 306    275    1161613312 timeout (error (143)) 306    272    1342480384
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 301    286    572354560 timeout (error (143)) 305    266    1598046208 timeout (error (143)) 305    266    1748918272
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 8.88 6.48 200908800 unknown 6.55 2.60 194473984 unknown 7.11 2.71 201465856
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 8.31 6.12 192073728 unknown 6.81 2.66 197996544 unknown 7.98 3.61 195981312
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i error: exception 7.17 2.81 197906432 error: exception 7.02 2.89 203722752 error: exception 8.05 3.34 201064448
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i error: exception 6.91 3.07 194904064 error: exception 6.54 2.45 202293248 error: exception 7.86 3.32 202383360
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 301    267    677761024 timeout (error (143)) 306    272    1807351808 timeout (error (143)) 302    262    1892106240
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i error: exception 7.04 2.75 196718592 error: exception 6.55 3.39 197136384 error: exception 6.43 2.48 198840320
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i error: exception 7.28 2.98 191696896 error: exception 6.32 2.56 194637824 error: exception 6.57 2.52 202584064
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 7.81 4.13 189128704 error: exception 6.47 2.58 196177920 error: exception 6.72 2.67 197771264
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 8.07 3.95 193708032 error: exception 6.50 2.46 196861952 error: exception 6.33 2.55 198295552
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error: exception 8.00 3.70 192925696 error: exception 6.56 2.49 195481600 error: exception 6.71 2.50 202809344
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 251    224    763506688 timeout (error (143)) 306    274    1842638848 timeout (error (143)) 306    274    1959268352
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 301    269    610775040 timeout (error (143)) 306    270    952311808 timeout (error (143)) 306    272    1075396608
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 7.99 3.58 193056768 error: exception 6.47 2.47 201887744 error: exception 6.69 2.61 198402048
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error: exception 8.12 4.08 196296704 error: exception 6.62 2.50 196427776 error: exception 6.90 2.68 207130624
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 301    261    2310574080 timeout (error (143)) 306    271    1897062400 timeout (error (143)) 306    273    1883074560
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 301    263    590811136 timeout (error (143)) 306    266    953868288 timeout (error (143)) 306    273    922300416
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 7.51 3.18 194117632 error: exception 6.50 2.53 195678208 error: exception 6.37 2.42 199061504
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 20.2  8.73 345399296 timeout (error (143)) 300    269    959754240 timeout (error (143)) 306    274    985985024
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 300    256    658059264 timeout (error (143)) 304    269    1051836416 timeout (error (143)) 306    273    1035636736
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 18.3  7.68 339132416 timeout (error (143)) 302    266    1027989504 timeout (error (143)) 306    266    1085050880
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 24.1  10.8  371965952 timeout (error (143)) 301    263    994426880 timeout (error (143)) 302    270    962043904
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 13.2  5.07 299712512 timeout (error (143)) 305    278    908541952 timeout (error (143)) 305    276    981319680
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 43.2  23.6  595243008 timeout (error (143)) 306    274    1416732672 timeout (error (143)) 306    271    1723019264
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.9  5.18 284856320 error: exception 198    168    876802048 unknown 203    177    935034880
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.69 3.40 193966080 unknown 6.37 2.50 197365760 unknown 6.60 2.71 198897664
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 302    283    516403200 timeout (error (143)) 306    269    1214627840 timeout (error (143)) 305    270    1035825152
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 300    278    553783296 timeout (error (143)) 302    269    987586560 timeout (error (143)) 306    272    1024073728
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 300    280    613220352 timeout (error (143)) 306    275    1108168704 timeout (error (143)) 304    272    1179967488
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 301    281    536338432 timeout (error (143)) 305    269    1030672384 timeout (error (143)) 307    273    941588480
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 40.8  22.7  450367488 false(valid-deref) 142    112    1234620416 unknown 148    117    1300410368
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 14.5  6.45 300756992 timeout (error (143)) 301    272    915329024 timeout (error (143)) 305    278    968511488
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 7.03 3.03 190480384 error: exception 6.79 2.52 198180864 error: exception 7.45 2.73 202858496
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 7.02 2.95 193388544 error: exception 6.80 2.54 199147520 error: exception 7.80 3.22 203104256
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 7.95 5.20 192974848 unknown 6.48 2.50 196374528 unknown 7.38 3.23 197013504
list-ext-properties/test-0504_1_true-valid-memsafety.i error: exception 7.61 6.00 191213568 error: exception 6.57 2.51 197091328 error: exception 6.81 2.90 201261056
list-ext-properties/test-0513_1_true-valid-memsafety.i error: exception 7.81 5.78 192176128 error: exception 6.48 2.47 197038080 error: exception 7.06 2.95 201678848
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 24.9  21.5  309514240 timeout (error (143)) 305    267    1831014400 timeout (error (143)) 304    269    1807912960
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 13.7  10.5  284192768 timeout (error (143)) 301    270    938643456 timeout (error (143)) 301    269    974381056
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 19.4  16.3  297336832 timeout (error (143)) 301    269    957743104 timeout (error (143)) 306    272    957296640
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 11.1  8.86 239177728 false(valid-deref) 40.5  18.7  640839680 unknown 41.1  21.2  620146688
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 11.2  8.76 242647040 false(valid-deref) 44.6  22.7  711614464 unknown 53.6  26.8  689860608
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c error: exception 6.90 5.18 181428224 error: exception 7.20 2.80 229728256 error: exception 8.48 3.65 232988672
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 301    258    2251026432 error: exception 7.01 2.67 224919552 error: exception 8.49 3.54 230830080
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 9.81 8.13 238362624 error: exception 6.81 2.69 224968704 error: exception 7.91 3.33 230699008
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 9.68 6.35 237457408 error: exception 6.72 2.69 217149440 error: exception 8.00 3.14 225734656
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 8.65 3.90 236982272 error: exception 6.88 2.67 223006720 error: exception 7.97 3.55 229900288
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.75 3.82 238145536 error: exception 6.84 2.73 227729408 error: exception 7.95 3.16 230588416
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.90 3.25 237740032 error: exception 6.95 2.66 226934784 error: exception 7.31 3.22 223703040
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 8.88 3.77 234131456 error: exception 6.91 2.81 222892032 error: exception 7.92 3.27 233435136
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 302    292    590721024 timeout (error (143)) 305    278    908566528 timeout (error (143)) 301    270    984985600
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 301    270    2304049152 error: exception 7.11 2.81 224407552 error: exception 8.35 3.61 232443904
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (error (143)) 303    258    2261409792 error: exception 7.19 2.84 230588416 error: exception 8.00 3.35 233033728
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c error: exception 6.95 4.39 184434688 error: exception 7.18 2.77 226709504 error: exception 7.78 3.35 235122688
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (error (143)) 301    278    1845088256 timeout (error (143)) 301    222    2296713216 unknown 53.1  27.2  719548416
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (error (143)) 300    289    2226741248 error: exception 7.05 2.77 231559168 error: exception 8.72 4.28 235122688
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 12.6  10.0  274976768 error: exception 8.29 3.18 239493120 error: exception 9.34 4.30 238247936
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 11.3  4.64 288657408 error: exception 8.31 3.56 239943680 error: exception 9.24 4.46 238387200
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 9.17 4.30 242716672 error: exception 7.48 2.84 233717760 error: exception 8.52 3.82 232095744
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 30.0  26.7  374022144 error: exception 6.90 2.77 217133056 error: exception 8.18 3.35 229879808
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 64.9  73.7  405262336 error: exception 7.32 2.88 230076416 error: exception 7.97 3.56 226930688
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 38.7  39.6  325963776 error: exception 7.30 2.80 229367808 error: exception 8.17 3.49 232837120
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 45.9  45.3  393748480 error: exception 7.43 2.85 230195200 error: exception 8.00 3.37 233488384
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 39.9  30.0  479006720 error: exception 7.56 2.92 224980992 error: exception 8.19 3.54 232427520
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 30.8  15.7  478048256 error: exception 7.33 2.91 227512320 error: exception 7.92 3.49 227811328
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 7.33 2.86 197623808 error: exception 7.43 2.73 208068608 error: exception 7.61 3.09 203702272
ldv-memsafety/memleaks_test22_3_false-valid-deref.i error: exception 7.61 3.28 198643712 error: exception 7.25 2.69 204435456 error: exception 7.61 3.02 207552512
ldv-memsafety/memleaks_test22_5_false-valid-deref.i error: exception 7.34 3.07 200781824 error: exception 7.44 2.78 214335488 error: exception 7.52 3.04 204562432
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 7.70 3.04 199991296 unknown 6.76 2.55 200171520 unknown 7.42 3.03 201949184
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.34 2.93 201072640 unknown 7.28 2.70 209510400 unknown 7.45 2.92 205692928
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 7.61 3.02 198033408 error: exception 7.06 2.66 201920512 error: exception 7.26 3.06 203612160
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 7.68 2.99 198627328 error: exception 7.44 2.82 206512128 error: exception 7.57 3.01 206475264
ldv-memsafety/memleaks_test17_2_false-valid-free.i error: exception 7.48 2.94 195538944 error: exception 7.19 2.73 201412608 error: exception 7.46 2.95 203476992
ldv-memsafety/memleaks_test19_false-valid-free.i error: exception 7.30 2.89 198791168 error: exception 7.26 2.87 203108352 error: exception 7.51 3.07 204500992
ldv-memsafety/memleaks_test1_false-valid-free.i error: exception 7.35 2.91 196562944 error: exception 6.96 2.66 203112448 error: exception 7.73 3.04 205058048
ldv-memsafety/memleaks_test3_false-valid-free.i error: exception 7.47 2.91 201097216 error: exception 7.26 2.66 201801728 error: exception 6.91 2.82 203649024
ldv-memsafety/memleaks_test6_2_false-valid-free.i error: exception 7.37 2.92 197951488 error: exception 7.07 2.68 204128256 error: exception 7.44 2.92 203161600
ldv-memsafety/memleaks_test8_2_false-valid-free.i error: exception 7.60 3.07 195850240 error: exception 6.99 2.57 196567040 error: exception 7.72 2.89 206110720
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 7.52 2.84 199294976 error: exception 7.11 2.64 203608064 error: exception 7.72 2.90 207577088
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 7.34 2.96 197709824 error: exception 7.36 2.74 202342400 error: exception 7.71 3.13 206118912
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 7.65 2.98 203026432 error: exception 7.02 2.63 202448896 error: exception 7.92 2.98 207765504
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 7.63 3.32 201187328 error: exception 7.01 2.64 200790016 error: exception 7.71 3.03 204517376
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 7.22 3.40 194953216 error: exception 6.96 2.69 202665984 error: exception 7.62 2.97 203612160
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 8.96 8.80 203337728 error: exception 7.27 2.71 203472896 error: exception 7.65 2.93 204476416
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error: exception 9.25 8.69 195629056 error: exception 7.30 2.68 201592832 error: exception 7.64 3.00 205418496
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 8.96 9.09 192221184 error: exception 7.20 2.74 200822784 error: exception 7.50 2.99 204967936
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 8.84 8.96 196890624 error: exception 7.03 2.64 200519680 error: exception 6.88 2.78 202919936
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error: exception 9.00 7.40 196206592 error: exception 7.16 2.67 202100736 error: exception 7.97 3.44 203907072
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error: exception 8.88 7.08 201502720 error: exception 7.11 2.66 200536064 error: exception 7.50 3.01 201043968
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i error: exception 9.00 6.98 196014080 error: exception 7.07 2.59 208408576 error: exception 7.76 2.98 206553088
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error: exception 9.05 7.22 196612096 error: exception 7.23 2.72 202694656 error: exception 7.49 2.94 201220096
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i error: exception 8.74 7.46 192978944 error: exception 7.19 2.73 203644928 error: exception 7.99 3.11 208068608
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i error: exception 8.66 6.85 197443584 error: exception 7.22 2.69 204550144 error: exception 7.57 2.98 202035200
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 8.92 7.36 195727360 error: exception 7.32 2.71 202469376 error: exception 7.22 2.90 204062720
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 8.86 7.33 196501504 error: exception 7.28 2.65 208121856 error: exception 7.53 2.94 203210752
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i error: exception 8.57 4.54 198414336 error: exception 7.39 2.73 198909952 error: exception 7.55 2.97 204935168
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i error: exception 8.01 4.06 196653056 error: exception 7.42 2.62 208080896 error: exception 7.69 3.04 203755520
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i error: exception 8.04 4.12 199835648 error: exception 7.06 2.70 204562432 error: exception 7.09 2.80 203055104
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i error: exception 8.23 4.19 196210688 error: exception 7.22 2.80 206000128 error: exception 7.56 2.99 202711040
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i error: exception 7.73 2.96 200298496 error: exception 6.97 2.64 203776000 error: exception 7.71 2.74 206237696
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i error: exception 7.53 3.30 199553024 error: exception 7.30 2.66 210747392 error: exception 7.52 2.83 205180928
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i error: exception 7.42 2.95 199143424 error: exception 7.19 2.62 199008256 error: exception 7.21 2.70 200720384
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i error: exception 7.52 3.02 205107200 error: exception 7.34 2.70 202145792 error: exception 7.24 2.76 203984896
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i error: exception 7.04 3.63 200019968 error: exception 7.35 2.72 202186752 error: exception 7.58 2.97 204308480
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i error: exception 7.43 3.62 199704576 error: exception 7.22 2.65 203354112 error: exception 7.92 3.00 201404416
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i error: exception 7.16 3.00 198021120 error: exception 7.10 2.65 201932800 error: exception 7.39 2.86 202776576
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i error: exception 7.34 2.85 200794112 error: exception 7.28 2.68 203751424 error: exception 7.91 3.00 206901248
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 7.64 3.24 201908224 error: exception 7.36 2.78 203046912 error: exception 7.42 2.89 203325440
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 7.70 3.04 201965568 error: exception 7.73 2.79 208773120 error: exception 7.15 2.80 205266944
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 7.34 2.99 201351168 error: exception 6.84 2.61 199348224 error: exception 7.70 3.00 206614528
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 7.23 2.90 196521984 error: exception 7.02 2.62 195571712 error: exception 7.31 2.93 204718080
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 7.71 2.91 200617984 error: exception 7.24 2.69 205176832 error: exception 7.77 3.12 205713408
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error: exception 7.86 3.08 201449472 error: exception 7.58 2.72 204840960 error: exception 7.85 2.99 204984320
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 7.62 2.89 201461760 error: exception 7.41 2.73 198615040 error: exception 7.57 2.93 203681792
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i error: exception 7.31 2.84 202264576 error: exception 7.37 2.72 202440704 error: exception 7.68 2.92 205996032
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error: exception 7.18 2.89 202534912 error: exception 7.35 2.78 205459456 error: exception 7.74 3.02 201555968
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i error: exception 7.42 2.79 200658944 error: exception 7.35 2.72 205860864 error: exception 7.51 2.92 207310848
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 7.44 2.93 198148096 error: exception 7.00 2.65 202321920 error: exception 7.52 2.76 202432512
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i error: exception 7.28 3.01 198901760 error: exception 7.32 2.72 208818176 error: exception 7.62 2.87 205914112
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 7.53 3.27 200261632 error: exception 7.24 2.68 203640832 error: exception 7.44 2.80 208928768
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 7.27 2.80 202358784 error: exception 7.02 2.72 201445376 error: exception 7.67 2.73 206942208
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i error: exception 7.98 3.37 194301952 error: exception 7.15 2.68 201113600 error: exception 7.80 2.89 203497472
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i error: exception 7.75 3.19 194711552 error: exception 7.22 2.77 203046912 error: exception 7.73 2.93 203112448
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i error: exception 7.40 11.2  198750208 error: exception 7.19 2.68 202858496 error: exception 7.90 3.19 202391552
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 7.76 11.1  201396224 unknown 7.02 2.70 202293248 unknown 7.93 3.21 204849152
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 7.63 3.01 200519680 unknown 7.14 2.63 204267520 unknown 7.82 3.08 203866112
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i error: exception 7.47 3.00 200503296 error: exception 7.18 2.73 205238272 error: exception 8.21 3.29 204263424
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i error: exception 6.89 2.77 197431296 error: exception 7.41 2.73 206946304 error: exception 7.82 3.15 207708160
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i error: exception 7.58 3.03 194682880 error: exception 7.11 2.66 203538432 error: exception 8.18 3.07 204812288
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i error: exception 7.39 3.19 197947392 error: exception 7.08 2.65 200458240 error: exception 7.88 3.15 207884288
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i error: exception 7.19 2.96 198479872 error: exception 7.27 2.71 203808768 error: exception 8.11 3.59 202850304
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i error: exception 7.24 2.82 197623808 error: exception 7.29 2.72 202153984 error: exception 8.13 3.49 205606912
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i error: exception 7.41 2.96 198000640 error: exception 7.21 2.68 203370496 error: exception 7.68 3.51 203206656
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 11.5  5.06 272359424 error: exception 68.6  47.6  894144512 unknown 78.7  55.7  861687808
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 21.2  10.2  382103552 timeout (error (143)) 305    275    1176121344 timeout (error (143)) 302    271    1306861568
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i timeout (error (143)) 303    214    3834265600 timeout (error (143)) 305    274    1120059392 timeout (error (143)) 300    272    1458802688
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i timeout (error (143)) 302    283    901607424 timeout (error (143)) 306    279    1250652160 timeout (error (143)) 306    277    1261596672
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i timeout (error (143)) 302    289    993898496 timeout (error (143)) 301    272    1086582784 timeout (error (143)) 306    276    1163554816
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 11.3  5.00 275390464 error: exception 66.6  46.8  954851328 unknown 71.3  50.6  960155648
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i timeout (error (143)) 302    288    636534784 timeout (error (143)) 306    274    1267879936 timeout (error (143)) 301    274    1521836032
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.7  4.50 299446272 timeout (error (143)) 303    277    1643024384 timeout (error (143)) 305    277    1938358272
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i timeout (error (143)) 301    287    944971776 timeout (error (143)) 305    276    1046642688 timeout (error (143)) 301    273    1223839744
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i timeout (error (143)) 301    289    551043072 timeout (error (143)) 306    277    1183731712 timeout (error (143)) 306    279    1469353984
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 7.03 2.59 198877184 unknown 6.82 2.55 202690560 unknown 7.89 3.38 203501568
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 6.56 2.54 198213632 error: exception 6.70 2.56 201502720 error: exception 7.34 3.21 204152832
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.37 2.48 193703936 unknown 6.60 2.47 200454144 unknown 7.53 3.42 199909376
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.34 2.43 194568192 unknown 6.62 2.55 198701056 unknown 7.16 3.02 201924608
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.50 2.49 194539520 unknown 6.63 2.51 199286784 unknown 7.26 2.96 203268096
heap-manipulation/tree_false-valid-deref.i unknown 6.60 2.51 197857280 unknown 6.79 2.62 204505088 unknown 7.91 3.19 201547776
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error: exception 6.51 2.42 196923392 error: exception 6.52 2.54 197533696 error: exception 7.24 3.23 200384512
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 6.58 2.51 194207744 error: exception 6.79 2.62 200450048 error: exception 7.19 3.09 201469952
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error: exception 6.62 2.59 196501504 error: exception 6.92 2.65 198184960 error: exception 7.63 3.16 203935744
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 301    263    612978688 timeout (error (143)) 301    264    1509601280 timeout (error (143)) 306    269    1802280960
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    257    625078272 timeout (error (143)) 302    273    989257728 timeout (error (143)) 303    268    1144823808
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 12.6  4.76 312877056 timeout (error (143)) 305    270    962502656 timeout (error (143)) 304    273    919920640
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 18.9  8.04 352129024 timeout (error (143)) 306    277    1041645568 timeout (error (143)) 305    273    1180610560
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 14.5  5.78 317829120 timeout (error (143)) 306    280    1020284928 timeout (error (143)) 304    280    1066692608
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 16.4  6.36 335233024 timeout (error (143)) 306    272    1010040832 timeout (error (143)) 306    280    986365952
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 12.8  4.63 296542208 timeout (error (143)) 306    272    1067212800 timeout (error (143)) 306    265    1205051392
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.43 2.69 238882816 unknown 7.43 2.77 226246656 unknown 8.38 3.39 236244992
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.43 2.84 237559808 unknown 7.10 2.67 223870976 unknown 8.35 3.39 225607680
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.35 2.91 225136640 unknown 7.29 2.67 225435648 unknown 8.20 3.42 237875200
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.24 2.69 224837632 unknown 7.23 2.61 229593088 unknown 7.91 3.26 239624192
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.38 2.77 223109120 unknown 7.42 2.65 242540544 unknown 7.24 3.01 224305152
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 2.94 222314496 unknown 7.16 2.62 239599616 unknown 8.07 3.25 221462528
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.44 2.88 227516416 unknown 7.15 2.68 237694976 unknown 7.37 2.92 237076480
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.51 2.93 222224384 unknown 7.29 2.73 236150784 unknown 7.87 3.06 239030272
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 8.21 3.04 238505984 unknown 7.44 2.80 233824256 unknown 7.75 3.12 221646848
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.66 3.07 221454336 unknown 7.12 2.62 224636928 unknown 8.00 3.09 243228672
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.86 2.97 223076352 unknown 7.39 2.75 236007424 unknown 8.00 3.07 236630016
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.54 3.01 220639232 unknown 7.14 2.62 237780992 unknown 7.96 2.96 234459136
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.69 2.94 238845952 unknown 7.26 2.71 226439168 unknown 7.51 3.12 221368320
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.79 2.70 195600384 error: exception 6.42 2.51 198483968 error: exception 7.41 2.79 205811712
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.83 2.72 197312512 error: exception 6.53 2.56 198516736 error: exception 7.15 2.90 201900032
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 6.71 2.60 198070272 error: exception 6.48 2.45 198135808 error: exception 7.20 2.98 204939264
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i error: exception 7.12 2.94 196792320 error: exception 6.46 2.53 201265152 error: exception 6.87 2.72 200146944
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error: exception 6.37 2.63 193277952 error: exception 6.47 2.52 200282112 error: exception 7.15 2.82 202424320
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 7.16 2.93 198860800 error: exception 6.47 2.47 198750208 error: exception 7.06 2.79 202260480
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error: exception 7.09 2.81 194957312 error: exception 6.34 2.49 197214208 error: exception 6.96 2.74 201973760
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 7.07 2.64 200224768 error: exception 6.34 2.47 200339456 error: exception 6.82 2.95 204931072
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.58 2.69 195198976 error: exception 6.88 2.64 200638464 error: exception 6.92 2.80 203898880
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 7.17 2.79 199995392 error: exception 6.59 2.54 200454144 error: exception 7.25 2.95 206258176
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 87.8  57.5  585879552 timeout (error (143)) 306    279    1933393920 timeout (error (143)) 306    278    2110246912
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i error: exception 7.23 2.93 202215424 error: exception 6.72 2.52 198037504 error: exception 7.26 3.51 203751424
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 7.17 3.06 195497984 error: exception 6.55 2.52 202231808 error: exception 7.35 2.94 203456512
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i error: exception 7.44 3.07 195170304 error: exception 6.46 2.50 197566464 error: exception 7.27 2.85 204394496
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 300    258    571592704 timeout (error (143)) 306    272    1587130368 timeout (error (143)) 306    272    1845792768
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    257    682229760 timeout (error (143)) 306    274    1749143552 timeout (error (143)) 306    273    2078744576
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i error: exception 6.77 2.70 194199552 error: exception 6.52 2.52 199860224 error: exception 7.49 3.68 204857344
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 6.98 2.62 195526656 error: exception 6.55 2.57 199901184 error: exception 6.97 2.99 204505088
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.59 2.51 197537792 error: exception 6.61 2.62 197619712 error: exception 7.42 2.88 206168064
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 6.78 2.60 197181440 error: exception 6.54 2.51 201322496 error: exception 6.89 2.86 203624448
forester-heap/sll-01_false-unreach-call_false-valid-deref.i error: exception 6.81 2.66 194101248 error: exception 6.68 2.59 198488064 error: exception 7.15 2.93 203210752
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 158    121    687235072 timeout (error (143)) 306    275    1517051904 timeout (error (143)) 306    274    1818562560
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 301    237    2300948480 error: exception 7.20 2.72 228798464 error: exception 7.69 3.14 230621184
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 9.08 3.69 247832576 unknown 8.50 3.02 249499648 unknown 9.18 3.47 254222336
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 8.50 3.48 241139712 error: exception 8.06 2.90 248782848 error: exception 8.40 3.25 239181824
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 17.4  7.40 397561856 error: exception 15.2  5.54 402141184 error: exception 15.4  5.90 345133056
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 17.1  7.27 395292672 error: exception 15.0  5.30 336031744 error: exception 15.9  5.97 402337792
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.8  6.12 292323328 error: exception 12.1  4.41 299347968 error: exception 13.6  5.02 297472000
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  5.86 295034880 error: exception 11.8  4.26 306888704 error: exception 12.8  5.00 306159616
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  5.68 296001536 error: exception 12.0  4.26 306540544 error: exception 13.6  4.94 316055552
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.3  6.42 336142336 error: exception 12.9  4.73 328667136 error: exception 13.6  5.50 285343744
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.3  6.16 320356352 error: exception 13.2  4.72 321007616 error: exception 13.9  5.32 297058304
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.9  4.64 268115968 error: exception 9.54 3.42 263483392 error: exception 10.2  4.14 268173312
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.5  5.66 292491264 error: exception 11.3  4.12 303075328 error: exception 11.6  4.54 300621824
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.4  5.25 303812608 error: exception 10.9  4.07 285159424 error: exception 12.0  4.60 309526528
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 8.62 3.62 228659200 error: exception 7.87 3.01 243617792 error: exception 8.31 3.40 236552192
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.37 3.59 228597760 error: exception 7.73 2.97 230174720 error: exception 8.23 3.31 240025600
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.65 4.65 234102784 error: exception 8.01 3.05 235581440 error: exception 8.89 3.47 237412352
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.90 3.80 234217472 error: exception 8.10 3.13 233652224 error: exception 8.79 3.47 237481984
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.78 3.77 230408192 error: exception 8.29 3.13 235560960 error: exception 8.93 3.50 234418176
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.87 3.76 235720704 error: exception 7.83 3.08 230244352 error: exception 8.85 3.65 236539904
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 9.14 4.05 232038400 error: exception 8.39 3.10 233951232 error: exception 9.07 3.62 235466752
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.89 3.78 236027904 error: exception 8.01 3.13 234897408 error: exception 9.39 3.82 238784512
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 8.09 3.51 231370752 error: exception 7.23 2.82 232067072 error: exception 7.81 3.15 230809600
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 8.33 3.53 229482496 error: exception 7.77 3.02 244035584 error: exception 7.64 3.18 230637568
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 8.13 3.45 226656256 error: exception 7.46 2.92 232730624 error: exception 8.42 3.48 231124992
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 8.32 3.53 230920192 error: exception 7.47 2.90 230076416 error: exception 7.90 3.38 234790912
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 8.24 3.65 230469632 error: exception 7.47 2.95 232419328 error: exception 8.37 3.28 235974656
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 23500 23300 143272751104 326 35800 30500 195631386624 326 34700 29600 198271287296
local summary 11500 11700 35300 15300 34700 14900
    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