Tool ULTIMATE Automizer 0.1.23-1cceb4a9
Limits timelimit: 180 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-01-29 22:33:03 CET
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_Camel+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_Camel+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_Camel+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) 8.37 3.07 236679168 false(valid-deref) 71.8  47.3  2056601600 unknown 79.9  48.7  2163564544
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 7.13 2.92 232644608 false(valid-deref) 27.5  10.8  976990208 unknown 25.4  10.8  941350912
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 8.80 3.34 239710208 false(valid-deref) 86.7  57.1  2216718336 unknown 85.2  57.7  2194288640
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 6.61 2.63 199794688 false(valid-deref) 33.8  22.2  1740484608 unknown 41.3  22.3  1543421952
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 18.3  7.45 319553536 false(valid-deref) 19.6  6.72 489779200 unknown 20.5  7.06 484261888
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 11.2  4.16 278253568 false(valid-deref) 16.8  5.74 431972352 unknown 16.5  6.17 434585600
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 6.49 2.61 208609280 timeout (error (143)) 181    159    2209746944 timeout (error (143)) 181    157    2201133056
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 7.08 2.87 234409984 false(valid-deref) 74.3  53.7  2193924096 unknown 77.0  55.9  2191839232
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 16.2  6.53 341118976 false(valid-deref) 24.2  8.82 655761408 unknown 26.5  12.4  745590784
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 7.31 2.99 230957056 false(valid-deref) 22.6  7.68 757411840 unknown 26.5  9.32 712114176
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 9.89 3.61 259321856 timeout (error (143)) 181    144    2289668096 timeout (error (143)) 181    137    2282045440
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 20.3  7.71 351444992 timeout (error (143)) 180    148    2297888768 timeout (error (143)) 182    152    2327617536
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 8.60 3.45 245846016 timeout (error (143)) 182    153    2229944320 timeout (error (143)) 181    142    2233909248
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 11.0  4.22 272285696 timeout (error (143)) 182    151    2277531648 timeout (error (143)) 182    155    2280333312
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 9.00 3.40 239063040 timeout (error (143)) 185    154    2281275392 timeout (error (143)) 183    153    2282549248
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 7.62 2.97 235814912 false(valid-deref) 31.0  13.2  1211596800 unknown 28.3  13.9  1139167232
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 6.53 2.59 197734400 false(valid-deref) 7.97 3.14 260231168 unknown 7.19 2.72 229531648
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 180    137    1494290432 true 106    65.5  2198822912 unknown 79.8  46.9  2178719744
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 14.0  5.58 297426944 true 31.0  11.1  702160896 unknown 22.6  8.28 647151616
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 15.5  6.20 299151360 true 91.1  60.4  2204647424 unknown 81.8  56.6  2181033984
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 15.1  5.95 302661632 timeout (error (143)) 181    149    2259488768 timeout (error (143)) 181    153    2247168000
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 15.4  6.07 324784128 true 49.1  24.3  1617133568 unknown 43.5  22.0  1676304384
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 22.3  8.85 358277120 true 85.3  56.7  2206568448 unknown 71.3  50.3  2190471168
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 19.6  8.66 328118272 error: exception 31.3  11.6  886263808 unknown 27.4  10.2  920961024
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 59.6  40.6  508436480 error: exception 111    73.2  2219491328 unknown 102    72.3  2196635648
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 41.5  22.9  424075264 error: exception 82.0  45.6  2036666368 unknown 68.9  41.9  2151964672
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    162    509460480 error: exception 114    75.1  2220617728 unknown 114    72.2  2204151808
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 18.8  7.89 326709248 error: exception 34.0  12.1  789340160 unknown 25.8  9.29 707280896
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 56.9  33.3  505085952 error: exception 113    76.7  2214588416 unknown 100    72.6  2190266368
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 63.7  35.7  548343808 timeout (error (143)) 181    141    2235727872 timeout (error (143)) 181    143    2237767680
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 168    135    739999744 error: exception 102    68.6  2211774464 unknown 106    69.6  2205904896
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 126    96.9  641630208 error: exception 127    85.5  2214768640 unknown 115    75.9  2201620480
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 60.9  33.5  606109696 true 142    93.9  2277449728 unknown 82.4  55.4  2195083264
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 24.8  10.1  380665856 true 72.7  37.3  2156048384 unknown 54.1  26.9  2040471552
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 27.2  12.6  387158016 true 71.5  39.6  2150658048 unknown 53.1  29.7  2035654656
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 56.5  25.3  597852160 timeout (error (143)) 181    148    2316111872 timeout (error (143)) 181    145    2330374144
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 22.7  11.0  327458816 timeout (error (143)) 182    146    2228441088 timeout (error (143)) 181    143    2225487872
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 44.6  29.5  488235008 error: exception 43.6  22.4  1138155520 error: exception 32.5  14.6  1155809280
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 17.8  7.58 357212160 true 41.3  23.5  688943104 unknown 17.5  6.14 431878144
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 35.9  24.1  374439936 true 52.9  34.1  722202624 unknown 17.9  6.19 431443968
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 17.2  7.38 351789056 error: exception 38.2  18.5  935903232 error: exception 32.0  12.9  951304192
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 29.8  14.2  397910016 error: exception 77.3  41.5  1942278144 unknown 73.0  40.0  2046992384
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 119    70.2  717287424 timeout (error (143)) 186    149    2313072640 timeout (error (143)) 181    145    2308235264
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 107    82.4  549380096 error: exception 132    81.5  2217099264 unknown 77.9  50.9  2176221184
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 25.9  11.2  398229504 error: exception 74.4  42.4  1836163072 unknown 70.0  36.3  1936543744
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    163    550834176 error: exception 86.4  51.2  2092941312 unknown 71.1  44.2  1920688128
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 97.0  53.0  604467200 timeout (error (143)) 181    144    2241847296 timeout (error (143)) 184    143    2234765312
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 22.2  12.0  330645504 error: exception 32.2  11.7  681308160 unknown 24.2  8.63 698056704
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 68.9  48.9  524828672 error: exception 136    87.8  2229141504 unknown 100    71.4  2202206208
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 51.7  26.3  521789440 timeout (error (143)) 181    143    2222006272 timeout (error (143)) 185    147    2219864064
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 21.8  9.87 370843648 error: exception 43.5  16.7  983060480 unknown 30.4  12.2  911863808
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 107    87.5  511987712 error: exception 76.4  43.3  1942376448 unknown 75.1  40.9  1987530752
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 51.7  29.4  529436672 error: exception 78.2  43.4  1714524160 unknown 73.7  40.1  1867018240
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    140    545976320 error: exception 127    86.4  2247004160 unknown 121    84.0  2235928576
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 16.4  6.76 345317376 error: exception 32.7  11.6  724135936 unknown 22.9  8.49 634359808
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 25.1  11.2  374476800 true 69.0  36.0  2113552384 unknown 49.1  28.2  1873641472
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 15.9  6.84 290770944 true 20.2  7.21 369004544 unknown 12.0  4.35 334245888
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 15.8  6.60 305610752 true 36.6  13.8  874967040 unknown 30.2  11.2  940527616
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 55.0  39.9  428924928 true 150    109    2226008064 unknown 133    103    2198466560
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 148    127    773001216 error: exception 139    94.2  2238521344 unknown 130    95.8  2204131328
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    150    523890688 error: exception 115    78.3  2211209216 unknown 110    79.8  2192457728
array-examples/relax_false-valid-deref.i false(valid-deref) 9.38 3.54 251420672 false(valid-deref) 54.9  29.4  1978302464 unknown 51.1  28.2  1938984960
array-examples/sanfoundry_24_false-valid-deref.i timeout (error: exception) 181    113    960684032 timeout (error (143)) 180    113    932114432 unknown 5.64 2.67 190730240
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 180    124    945946624 timeout (error (143)) 181    124    972292096 unknown 5.93 2.69 193155072
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 180    122    801656832 timeout (error (143)) 181    119    843915264 unknown 5.58 2.40 191643648
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 186    145    855543808 false(valid-deref) 45.3  19.8  1367601152 unknown 48.6  19.7  1383788544
memsafety/test-0137_false-valid-deref.i false(valid-deref) 175    126    782405632 timeout (error (143)) 182    146    2227695616 timeout (error (143)) 182    147    2224476160
memsafety/960521-1_false-valid-free.i timeout (error (143)) 181    156    789590016 false(valid-free) 47.2  20.2  1416179712 unknown 41.1  21.2  1542991872
memsafety/test-0158_false-valid-free.i false(valid-free) 10.4  3.76 271839232 false(valid-free) 110    80.9  2222768128 unknown 107    78.1  2218237952
memsafety/test-0232_false-valid-free.i false(valid-free) 171    116    795582464 timeout (error (143)) 183    149    2247204864 timeout (error (143)) 186    153    2247086080
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 186    138    811761664 unknown: overapproxcex 38.2  14.3  1012785152 unknown 32.0  11.7  978587648
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 90.3  39.1  1025884160 timeout (error (143)) 182    146    2205532160 timeout (error (143)) 181    144    2203336704
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 23.5  8.54 392118272 timeout (error (143)) 182    147    2235019264 timeout (error (143)) 184    141    2222759936
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 140    67.7  2248708096 timeout (error (143)) 182    145    2200993792 timeout (error (143)) 183    144    2192756736
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 16.4  7.06 319930368 false(valid-deref) 67.7  35.2  1692524544 unknown 66.6  36.0  1632223232
memsafety/test-0102_false-valid-memtrack.i error: exception 146    95.9  767864832 timeout (error (143)) 186    154    2228748288 timeout (error (143)) 186    155    2252742656
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.32 3.60 233615360 unknown: overapproxcex 31.3  12.9  1296093184 unknown 29.4  13.5  1277702144
memsafety/test-0232_false-valid-memtrack.i unknown: overapproxcex 31.5  14.9  410226688 timeout (error (143)) 185    149    2250792960 timeout (error (143)) 186    148    2231574528
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 186    162    717049856 true 88.4  41.9  1549041664 unknown 44.9  19.9  1266671616
memsafety/test-0019_true-valid-memsafety_true-termination.i true 20.5  9.02 360132608 false(valid-deref) 22.8  8.35 697708544 unknown 20.9  7.98 603545600
memsafety/test-0102_true-valid-memsafety.i error: exception 152    97.1  816115712 timeout (error (143)) 186    156    2217005056 timeout (error (143)) 186    158    2230513664
memsafety/test-0158_true-valid-memsafety_true-termination.i true 10.3  4.32 269737984 true 37.5  16.4  1040494592 unknown 31.4  15.4  1161621504
memsafety/test-0232_true-valid-memsafety.i timeout (error: exception) 181    129    809148416 timeout (error (143)) 186    152    2233360384 timeout (error (143)) 181    148    2229407744
memsafety/test-0513_true-valid-memsafety.i error: exception 154    99.7  710918144 timeout (error (143)) 182    140    2221281280 timeout (error (143)) 185    156    2236190720
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 183    153    948051968 false(valid-deref) 98.0  68.5  2186514432 unknown 85.4  58.2  2172178432
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error: exception) 180    138    2327527424 timeout (error (143)) 182    132    2249777152 timeout (error (143)) 181    143    2272690176
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error: exception) 182    107    1350746112 timeout (error (143)) 185    148    2185322496 timeout (error (143)) 183    151    2192367616
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 131    87.5  820477952 timeout (error (143)) 181    149    2193731584 timeout (error (143)) 181    153    2217762816
memsafety-ext2/length_test03_true-valid-memsafety.i error: exception 125    84.0  809267200 timeout (error (143)) 182    148    2210963456 timeout (error (143)) 181    154    2224312320
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 140    78.4  827281408 timeout (error (143)) 186    145    2142035968 timeout (error (143)) 181    139    2158108672
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 14.4  5.45 302698496 false(valid-deref) 68.9  37.5  1753329664 unknown 57.5  29.8  1804357632
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 12.6  4.67 288755712 timeout (error (143)) 184    143    2236760064 timeout (error (143)) 184    144    2277658624
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 18.4  6.66 334639104 false(valid-free) 73.4  37.7  2109530112 unknown 56.6  29.9  1919229952
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 10.0  3.61 240439296 timeout (error (143)) 186    158    2215403520 timeout (error (143)) 186    159    2245464064
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 29.8  13.8  485085184 timeout (error (143)) 186    149    2207145984 unknown 173    140    2199658496
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.22 3.12 233230336 unknown: overapproxcex 84.5  60.3  2208477184 unknown 75.7  52.8  2175750144
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 25.9  10.2  388534272 timeout (error (143)) 186    150    2223685632 timeout (error (143)) 186    151    2235281408
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 180    139    666988544 false(valid-free) 96.6  57.2  2196213760 unknown 73.0  43.7  1984331776
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 34.7  16.2  465006592 false(valid-deref) 99.3  69.8  2201632768 unknown 85.2  62.3  2194075648
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 10.6  3.89 282472448 timeout (error (143)) 185    149    2241896448 timeout (error (143)) 186    154    2251304960
list-ext-properties/test-0504_1_true-valid-memsafety.i error: exception 136    85.8  998309888 timeout (error (143)) 181    152    2218737664 timeout (error (143)) 185    154    2231947264
memory-alloca/c.03-alloca_true-valid-memsafety.i true 15.9  6.18 339013632 timeout (error (143)) 182    149    2225377280 timeout (error (143)) 183    153    2209906688
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 8.54 3.20 238993408 false(valid-deref) 76.8  46.3  2178818048 unknown 73.5  41.8  2176897024
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 9.92 3.69 250732544 false(valid-deref) 76.7  46.3  2172129280 unknown 68.8  40.0  2180055040
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 7.17 2.78 231362560 false(valid-deref) 34.3  13.5  1041649664 unknown 29.9  11.8  951971840
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 7.72 2.93 231723008 false(valid-deref) 41.9  18.1  1327226880 unknown 32.5  14.3  1262317568
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 181    116    2227613696 timeout (error: exception) 181    119    1982775296 unknown 32.3  12.0  1156960256
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 181    116    2219851776 timeout (error (143)) 181    115    1871597568 unknown 32.4  12.0  1067556864
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 6.84 2.73 237191168 false(valid-deref) 10.9  4.42 254189568 unknown 7.99 3.00 248061952
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 7.34 2.85 228253696 false(valid-deref) 11.5  4.32 265850880 unknown 8.66 3.12 259153920
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.86 2.72 227127296 false(valid-deref) 9.78 4.02 251899904 unknown 8.48 3.13 251625472
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.26 2.78 230993920 false(valid-deref) 11.2  4.49 270188544 unknown 8.67 3.15 253648896
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.01 2.75 230858752 false(valid-deref) 10.6  4.18 256495616 unknown 8.49 3.12 249380864
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.06 2.82 227065856 false(valid-deref) 10.3  4.23 258990080 unknown 8.52 3.13 257646592
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 180    110    1257684992 false(valid-deref) 76.2  45.7  2175430656 unknown 74.3  40.8  2174935040
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 27.3  11.2  443146240 true 62.2  26.5  1313914880 unknown 37.0  15.6  1268973568
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 29.2  12.2  425291776 true 71.1  31.5  1411039232 unknown 38.7  16.2  1231163392
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 30.9  12.6  455946240 true 61.7  28.0  1429405696 unknown 36.1  15.1  1238392832
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 44.2  18.0  536489984 true 70.1  32.8  1386065920 unknown 35.8  15.5  1213419520
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 28.6  11.6  421617664 true 65.3  29.3  1346973696 unknown 38.1  16.1  1241575424
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 5.67 2.37 189415424 true 6.70 2.86 185249792 unknown 5.38 2.15 184762368
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 10.1  3.80 280145920 true 11.9  4.85 268722176 unknown 8.45 3.09 253931520
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 11.3  4.13 276217856 true 12.2  4.91 257372160 unknown 8.30 3.03 247582720
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 10.5  3.94 264998912 true 11.6  4.58 256339968 unknown 8.25 3.02 251088896
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 10.5  4.02 279998464 true 12.5  4.93 255377408 unknown 8.47 3.08 254910464
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 10.8  4.02 273264640 true 11.2  4.34 261222400 unknown 8.41 3.09 245059584
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 10.3  3.83 268181504 true 12.0  4.84 255025152 unknown 7.97 3.04 239611904
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 181    140    1907060736 unknown: overapproxcex 101    55.2  2218029056 unknown 80.8  44.6  2202181632
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 185    142    1812774912 unknown: overapproxcex 84.0  47.6  2193944576 unknown 71.4  39.7  2187431936
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 182    145    725417984 timeout (error (143)) 182    144    2219085824 unknown 156    122    2204372992
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 169    125    672387072 unknown: overapproxcex 63.3  46.1  2181038080 unknown 53.6  31.2  1993240576
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 8.75 3.42 235798528 unknown: overapproxcex 11.0  4.92 262340608 unknown 8.38 3.04 257998848
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 6.99 2.70 197410816 unknown: overapproxcex 9.79 4.42 250417152 unknown 7.76 2.89 254865408
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 24.4  9.04 369188864 unknown: overapproxcex 43.2  15.2  791900160 unknown 34.0  11.5  776507392
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 9.16 3.47 246550528 unknown: overapproxcex 10.9  4.34 268374016 unknown 9.91 3.71 270577664
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 75.6  51.7  503349248 timeout (error (143)) 181    147    2218872832 timeout (error (143)) 181    143    2222395392
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 181    151    546037760 timeout (error (143)) 181    140    2222268416 unknown 162    128    2225983488
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 181    147    547831808 unknown: overapproxcex 144    103    2222989312 unknown 138    94.2  2213277696
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 62.7  51.9  364830720 unknown: overapproxcex 40.4  15.6  1266446336 unknown 33.8  13.8  1210937344
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout (error (143)) 183    155    739377152 unknown: overapproxcex 35.2  13.1  1038761984 unknown 28.7  11.6  1131032576
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout (error (143)) 181    159    442695680 error: exception 20.1  7.15 537341952 error: exception 17.3  5.83 545030144
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.51 2.88 236060672 unknown: overapproxcex 9.48 3.85 257974272 unknown 8.47 3.05 256634880
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 101    59.3  695848960 unknown: overapproxcex 84.6  47.9  2192818176 unknown 72.7  42.3  2182766592
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 56.8  34.1  484876288 unknown: overapproxcex 62.5  34.8  1835483136 unknown 56.2  29.2  1933090816
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown: overapproxcex 116    70.8  720773120 unknown: overapproxcex 98.4  50.4  2206208000 unknown 81.4  40.8  2184114176
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.8  4.05 277729280 unknown: overapproxcex 11.1  4.31 261193728 unknown 9.14 3.27 256757760
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.87 2.97 234541056 unknown: overapproxcex 9.48 4.06 262713344 unknown 8.21 3.07 255492096
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.84 3.38 248508416 unknown: overapproxcex 10.2  3.98 257511424 unknown 9.12 3.20 259190784
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 19.7  7.30 352808960 unknown: overapproxcex 32.3  11.5  816824320 unknown 28.3  9.55 881020928
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 18.7  6.86 334856192 error: exception 32.3  11.2  775344128 error: exception 32.2  10.8  700653568
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown: overapproxcex 16.2  5.94 308232192 error: exception 20.6  7.44 502501376 error: exception 19.5  6.65 455868416
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.54 3.00 237395968 unknown: overapproxcex 10.9  4.55 256434176 unknown 8.41 3.07 253693952
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 9.91 3.70 256077824 unknown: overapproxcex 9.96 3.88 263036928 unknown 9.13 3.35 253337600
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.79 3.30 246059008 unknown: overapproxcex 9.61 3.78 258699264 unknown 8.62 3.16 252624896
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 84.9  57.9  524128256 timeout (error (143)) 182    139    2234408960 timeout (error (143)) 181    141    2239098880
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 181    145    500817920 unknown: overapproxcex 141    107    2200195072 unknown 128    95.7  2211659776
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 184    154    657506304 unknown: overapproxcex 44.9  17.0  1110622208 unknown 33.0  14.2  1294151680
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 116    74.8  710373376 unknown: overapproxcex 59.9  35.4  2033795072 unknown 55.8  32.0  1952669696
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 10.3  3.82 267431936 unknown: overapproxcex 9.14 3.49 263933952 unknown 8.22 3.00 247185408
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 181    135    975970304 unknown: overapproxcex 76.3  41.2  2195890176 unknown 69.5  36.7  2183475200
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 182    131    1958330368 unknown: overapproxcex 94.6  55.5  2185957376 unknown 80.7  48.3  2182103040
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 183    132    1997959168 unknown: overapproxcex 95.1  52.7  2205650944 unknown 83.2  45.8  2203619328
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 13.0  4.97 275693568 unknown: overapproxcex 9.96 4.06 261693440 unknown 8.32 3.07 255651840
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 17.8  7.03 343318528 unknown: overapproxcex 11.5  4.37 279867392 unknown 9.74 3.48 276258816
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 14.1  5.47 298782720 unknown: overapproxcex 10.8  4.27 266256384 unknown 9.19 3.30 255635456
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 27.0  10.5  413466624 unknown: overapproxcex 35.8  12.6  770486272 unknown 32.1  11.4  791240704
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 22.0  8.32 374624256 unknown: overapproxcex 26.4  9.57 548347904 unknown 19.7  6.75 565497856
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 12.5  4.95 282812416 unknown: overapproxcex 11.7  4.43 262443008 unknown 9.25 3.35 257597440
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 12.3  4.53 282951680 unknown: overapproxcex 10.8  3.99 265007104 unknown 9.20 3.29 259768320
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error: exception 147    96.7  873418752 timeout (error (143)) 186    143    2234281984 timeout (error (143)) 186    139    2277568512
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 34.9  13.4  467378176 timeout (error (143)) 186    139    2213167104 timeout (error (143)) 185    147    2205696000
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 62.8  28.3  598065152 timeout (error (143)) 186    144    2226905088 timeout (error (143)) 186    153    2201702400
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 51.3  21.2  496648192 timeout (error (143)) 185    149    2214821888 timeout (error (143)) 181    146    2225377280
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 9.35 3.59 245424128 timeout (error (143)) 184    150    2241863680 timeout (error (143)) 185    150    2254041088
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 14.6  5.68 300474368 timeout (error (143)) 186    152    2221711360 timeout (error (143)) 180    148    2262106112
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 10.8  3.96 274481152 timeout (error (143)) 184    160    2223374336 timeout (error (143)) 182    154    2229542912
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 14.6  5.41 308891648 timeout (error (143)) 180    149    2234425344 timeout (error (143)) 186    158    2237587456
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 10.7  3.98 254877696 timeout (error (143)) 182    146    2216652800 timeout (error (143)) 186    141    2266472448
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 65.9  28.2  670679040 timeout (error (143)) 186    159    2212597760 timeout (error (143)) 182    153    2234957824
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 43.2  16.9  514433024 timeout (error (143)) 185    154    2262835200 timeout (error (143)) 186    155    2264383488
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 64.2  28.2  689418240 timeout (error (143)) 185    146    2211414016 timeout (error (143)) 186    152    2197577728
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 42.2  16.4  483745792 timeout (error (143)) 181    144    2220666880 timeout (error (143)) 184    139    2220945408
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 89.3  48.2  676646912 timeout (error (143)) 181    147    2243604480 timeout (error (143)) 186    153    2220269568
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 57.5  24.0  778424320 timeout (error (143)) 182    141    2200944640 timeout (error (143)) 183    146    2211135488
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 76.7  37.5  632320000 timeout (error (143)) 186    157    2224877568 timeout (error (143)) 186    158    2207649792
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 181    116    1613991936 timeout (error (143)) 181    125    2020769792 unknown 5.28 2.21 193241088
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.2  4.84 334860288 true 14.5  5.82 311783424 unknown 10.6  3.96 287834112
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.1  5.26 344707072 true 14.1  5.66 309223424 unknown 11.0  4.11 290062336
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.0  4.07 281804800 true 11.3  4.54 281616384 unknown 9.03 3.48 261353472
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.6  3.99 280731648 true 10.8  4.43 279629824 unknown 8.83 3.38 255311872
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.3  4.12 278831104 true 12.1  4.74 276996096 unknown 8.99 3.38 257490944
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.9  4.46 285798400 true 12.5  4.95 298328064 unknown 9.80 3.72 284110848
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.8  4.40 285564928 true 12.5  4.92 284991488 unknown 9.97 3.72 280965120
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.46 3.27 256856064 true 8.76 3.64 255959040 unknown 7.38 2.88 239304704
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.3  3.86 260739072 true 10.4  3.97 263622656 unknown 8.31 3.21 261423104
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.1  3.83 256282624 true 10.2  4.07 261545984 unknown 8.29 3.21 251875328
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 6.81 2.60 217042944 true 6.92 2.93 212312064 unknown 6.05 2.43 198893568
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 6.94 2.71 211812352 true 6.96 2.86 214642688 unknown 5.72 2.31 196657152
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 6.99 2.71 214528000 true 7.09 2.81 218144768 unknown 6.14 2.49 200888320
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 6.78 2.67 217354240 true 7.36 3.15 220299264 unknown 6.02 2.37 200802304
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 7.27 2.84 218144768 true 7.13 3.03 223719424 unknown 6.25 2.48 200003584
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 7.60 3.00 220364800 true 7.32 3.02 221798400 unknown 6.17 2.42 203276288
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 7.12 2.73 223166464 true 7.42 3.08 224473088 unknown 6.52 2.56 199581696
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 7.15 2.75 223973376 true 7.35 2.87 226205696 unknown 6.63 2.58 203005952
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 6.10 2.40 202194944 true 6.28 2.61 200298496 unknown 5.73 2.32 194920448
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 6.32 2.54 198819840 true 6.56 2.69 205484032 unknown 5.88 2.29 195198976
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.51 2.60 204996608 true 6.50 2.58 204455936 unknown 5.82 2.36 195035136
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 6.38 2.55 207175680 true 6.65 2.76 206548992 unknown 5.99 2.37 195375104
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 6.44 2.59 207654912 true 6.71 2.80 209149952 unknown 5.48 2.22 195395584
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 209 12300 8180 105330167808 209 18200 12800 296618913792 209 16000 11500 287779471360
    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