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/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/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-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/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/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-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-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/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-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-0219_true-valid-memsafety.i timeout 321    205    5904666624 timeout (error (143)) 305    296    1653633024 timeout (error (143)) 305    296    1656434688
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-ext2/length_test03_false-valid-memtrack.i error: exception 251    224    763506688 timeout (error (143)) 306    274    1842638848 timeout (error (143)) 306    274    1959268352
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_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-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
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-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/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/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-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-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-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
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
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-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-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 153 13400 14200 85770473472 153 25700 21900 128071581696 153 24500 21000 128744288256
    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