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/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    135    595075072 timeout (error (143)) 181    139    2255638528 timeout (error (143)) 181    139    2249838592
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/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    149    653541376 timeout (error (143)) 181    136    2246754304 timeout (error (143)) 180    145    2247081984
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_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    137    960634880 timeout (error (143)) 181    141    2241888256 timeout (error (143)) 181    142    2250575872
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_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    148    678326272 timeout (error (143)) 181    141    2221371392 timeout (error (143)) 182    139    2210656256
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/test-0235_false-valid-deref.i timeout (error (143)) 182    165    580583424 timeout (error (143)) 181    131    2502156288 timeout (error (143)) 181    131    2449580032
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/20020406-1_false-valid-memtrack.i timeout (error (143)) 182    142    856612864 timeout (error (143)) 182    140    2253660160 timeout (error (143)) 183    142    2249326592
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-0220_false-valid-memtrack.i error: exception 5.29 2.07 178982912 error: exception 5.63 2.15 181403648 error: exception 5.25 2.18 179875840
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/test-0234_false-valid-memtrack.i timeout (error (143)) 182    168    440274944 timeout (error (143)) 182    120    2337153024 timeout (error (143)) 181    130    2407583744
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 181    161    478666752 timeout (error (143)) 180    127    2382151680 timeout (error (143)) 181    132    2447654912
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/lockfree-3.0_true-valid-memsafety.i timeout (error (143)) 180    108    2620964864 timeout (error (143)) 181    148    2185433088 timeout (error (143)) 186    153    2186444800
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-0134_true-valid-memsafety.i timeout (error (143)) 181    130    904765440 timeout (error (143)) 186    141    2231107584 timeout (error (143)) 185    144    2225373184
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-0214_true-valid-memsafety_false-termination.i error: exception 5.49 2.04 184647680 error: exception 6.58 3.19 179167232 error: exception 5.86 2.26 182489088
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 5.36 2.02 179937280 error: exception 5.99 2.45 184434688 error: exception 5.68 2.24 180613120
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 5.67 2.24 186339328 error: exception 5.44 2.15 182398976 error: exception 5.63 2.19 181186560
memsafety/test-0219_true-valid-memsafety.i error: exception 5.32 2.12 179466240 error: exception 5.98 2.47 179736576 error: exception 5.65 2.21 179314688
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-0234_true-valid-memsafety.i timeout (error (143)) 181    167    453513216 timeout (error (143)) 181    144    2341888000 timeout (error (143)) 181    134    2339143680
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 181    158    529006592 timeout (error (143)) 181    132    2412519424 timeout (error (143)) 181    136    2456596480
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 181    164    510713856 timeout (error (143)) 181    127    2308337664 timeout (error (143)) 183    130    2293411840
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 182    164    472702976 timeout (error (143)) 181    143    2292404224 timeout (error (143)) 181    140    2348892160
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 181    138    935780352 timeout (error (143)) 182    144    2229682176 timeout (error (143)) 186    156    2230587392
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-0521_true-valid-memsafety.i timeout (error (143)) 181    133    788570112 timeout (error (143)) 186    152    2247315456 timeout (error (143)) 184    156    2230775808
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-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 182    136    726745088 timeout (error (143)) 184    151    2197839872 timeout (error (143)) 186    157    2205118464
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error: exception 5.24 2.05 180588544 error: exception 6.13 2.76 182665216 error: exception 5.55 2.26 179453952
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error: exception 5.07 1.99 179290112 error: exception 6.11 2.71 183861248 error: exception 5.54 2.41 186433536
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 185    153    544935936 timeout (error (143)) 186    154    2222071808 timeout (error (143)) 183    154    2229665792
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 182    145    603516928 timeout (error (143)) 185    148    2180685824 timeout (error (143)) 183    148    2187493376
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 180    133    719654912 timeout (error (143)) 184    152    2250350592 timeout (error (143)) 183    153    2257747968
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 181    139    644726784 timeout (error (143)) 185    143    2228453376 timeout (error (143)) 185    138    2205716480
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 182    143    622206976 timeout (error (143)) 186    152    2233131008 timeout (error (143)) 184    154    2254532608
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_test01_false-valid-memtrack.i timeout (error (143)) 181    98.7  1891340288 timeout (error (143)) 181    138    2208399360 timeout (error (143)) 185    148    2185555968
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/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 182    117    942342144 timeout (error (143)) 185    146    1962225664 timeout (error (143)) 185    151    2201894912
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 181    94.7  1946120192 timeout (error (143)) 181    142    2200428544 timeout (error (143)) 186    144    2189041664
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 181    101    1265750016 timeout (error (143)) 186    144    2201186304 timeout (error (143)) 184    151    2211037184
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
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 186    140    2882158592 timeout (error (143)) 185    149    2267951104 timeout (error (143)) 186    155    2283409408
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_false-unreach-call_false-valid-deref.i timeout (error (143)) 181    123    754479104 timeout (error (143)) 182    138    2250715136 timeout (error (143)) 181    142    2274410496
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/list-ext_1_true-valid-memsafety.i timeout (error (143)) 182    120    750981120 timeout (error (143)) 181    141    2238763008 timeout (error (143)) 181    143    2280751104
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 181    119    763478016 timeout (error (143)) 182    140    2247020544 timeout (error (143)) 183    141    2241110016
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 182    121    732336128 timeout (error (143)) 184    160    2256625664 timeout (error (143)) 186    163    2261016576
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-0214_1_true-valid-memsafety.i error: exception 5.62 2.16 184184832 error: exception 6.24 2.50 181563392 error: exception 5.48 2.10 183803904
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 5.69 2.07 185917440 error: exception 5.95 2.50 179855360 error: exception 5.64 2.15 183500800
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout (error (143)) 181    122    812408832 timeout (error (143)) 183    149    2249424896 timeout (error (143)) 181    144    2242756608
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
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 181    118    879996928 timeout (error (143)) 185    144    2232885248 timeout (error (143)) 182    144    2192363520
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/StructInitialization1_true-valid-memsafety.c error: type error 5.30 2.09 182509568 error: type error 5.90 2.45 178667520 error: type error 5.54 2.18 181690368
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error: type error 5.30 2.07 178810880 error: type error 5.72 2.29 181968896 error: type error 5.53 2.14 183824384
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_test14_3_false-valid-deref.i error: exception 5.73 2.15 182841344 error: exception 5.94 2.54 182366208 error: exception 5.63 2.18 181018624
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_test23_2_false-valid-deref.i error: exception 5.28 2.05 184487936 error: exception 6.60 3.21 180518912 error: exception 5.45 2.18 183533568
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error: exception 5.71 2.24 181755904 error: exception 6.49 3.32 182423552 error: exception 5.49 2.15 179478528
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 5.41 2.07 181551104 error: exception 6.38 3.42 181846016 error: exception 5.38 2.11 181194752
ldv-memsafety/memleaks_test12_false-valid-free.i timeout (error (143)) 183    149    554553344 timeout (error (143)) 181    138    2235490304 timeout (error (143)) 181    146    2240184320
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_test11_2_false-valid-memtrack_true-termination.i error: exception 5.79 2.15 187195392 error: exception 6.42 3.05 178454528 error: exception 5.78 2.25 180723712
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 5.38 2.07 181264384 error: exception 6.27 2.95 182255616 error: exception 5.75 2.34 182620160
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 5.25 2.03 182407168 error: exception 6.13 2.75 180527104 error: exception 5.73 2.15 182210560
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 5.23 2.09 181678080 error: exception 5.97 2.41 177963008 error: exception 5.54 2.16 181866496
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 5.34 2.09 184193024 error: exception 6.19 2.64 181510144 error: exception 5.60 2.13 183799808
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout (error (143)) 181    149    600907776 timeout (error (143)) 181    136    2214780928 timeout (error (143)) 180    135    2215985152
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 5.28 2.03 178683904 error: exception 6.05 3.24 181174272 error: exception 5.21 2.05 180793344
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 5.22 1.99 177389568 error: exception 5.88 2.50 178700288 error: exception 5.32 2.08 184160256
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_test20_false-valid-memtrack_true-termination.i error: exception 5.14 2.04 181407744 error: exception 5.90 2.52 183029760 error: exception 5.59 2.10 182714368
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 5.31 1.99 179998720 error: exception 5.86 2.39 180731904 error: exception 5.51 2.13 179126272
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_test11_true-valid-memsafety_true-termination.i error: exception 5.65 2.20 180310016 error: exception 5.85 2.40 181657600 error: exception 5.72 2.23 183889920
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout (error (143)) 184    148    565866496 timeout (error (143)) 181    135    2237530112 timeout (error (143)) 181    133    2226225152
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 5.70 2.22 184918016 error: exception 5.86 2.25 182943744 error: exception 5.52 2.16 181088256
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 5.34 2.12 182513664 error: exception 6.16 2.70 181768192 error: exception 5.58 2.18 183369728
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout (error (143)) 181    137    1003921408 timeout (error (143)) 182    145    2234400768 timeout (error (143)) 182    136    2229948416
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 5.35 2.09 182874112 error: exception 6.27 2.82 178855936 error: exception 5.69 2.27 179118080
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 182    151    538304512 timeout (error (143)) 180    144    2214162432 timeout (error (143)) 184    150    2232676352
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_test20_true-valid-memsafety_true-termination.i error: exception 5.41 2.08 180207616 error: exception 5.64 2.25 177782784 error: exception 5.47 2.17 179474432
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 5.52 2.12 181829632 error: exception 5.91 2.37 183496704 error: exception 5.30 2.07 179978240
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_test23_1_true-valid-memsafety.i error: exception 5.65 2.15 182972416 error: exception 6.23 2.53 184418304 error: exception 6.08 2.22 185356288
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error: exception 5.55 2.13 180174848 error: exception 6.08 2.52 181465088 error: exception 5.63 2.11 184160256
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
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.96 1.94 176087040 unknown 5.50 2.33 175198208 unknown 5.02 2.20 176177152
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 4.86 1.85 176242688 unknown 5.38 2.21 180043776 unknown 5.01 1.97 174694400
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 4.86 1.87 179400704 unknown 5.54 2.33 174886912 unknown 5.20 2.00 179343360
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 4.83 1.88 179793920 unknown 5.46 2.26 179298304 unknown 5.18 2.03 179249152
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.62 1.84 176009216 unknown 5.27 2.08 176914432 unknown 5.03 1.97 176394240
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 4.86 1.96 174694400 unknown 5.85 2.46 176558080 unknown 5.20 2.06 175824896
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.86 1.88 177774592 unknown 5.64 2.63 174616576 unknown 5.05 2.01 179888128
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 4.80 1.90 177131520 unknown 5.81 2.66 176734208 unknown 4.76 2.11 180887552
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.86 1.91 177340416 unknown 5.91 2.51 178368512 unknown 5.07 2.04 178290688
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 5.02 1.97 175751168 unknown 5.22 2.09 176250880 unknown 5.34 1.97 175685632
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
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 5.59 2.15 184180736 error: exception 5.83 2.48 181121024 error: exception 5.69 2.20 185069568
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    129    870903808 timeout (error (143)) 183    142    2241585152 timeout (error (143)) 186    140    2237534208
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 5.54 2.10 182099968 error: exception 5.12 2.23 179511296 error: exception 5.27 2.10 184528896
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 5.14 2.02 179318784 error: exception 5.85 2.47 180150272 error: exception 5.33 2.06 181538816
heap-manipulation/tree_false-valid-deref.i error: exception 5.19 1.99 179187712 error: exception 5.94 2.44 180785152 error: exception 5.15 2.03 182927360
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 181    141    555446272 timeout (error (143)) 183    154    2192871424 timeout (error (143)) 181    154    2213310464
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/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 183    124    719671296 timeout (error (143)) 186    140    2259959808 timeout (error (143)) 184    144    2266939392
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
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.95 2.17 179580928 unknown 6.25 2.57 183123968 unknown 5.93 2.23 183234560
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.98 2.26 181551104 unknown 6.41 2.56 183406592 unknown 6.18 2.34 186974208
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.99 2.27 182657024 unknown 6.38 2.62 179482624 unknown 6.02 2.26 182059008
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.15 180965376 unknown 6.37 2.48 186564608 unknown 6.07 2.24 180224000
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.78 2.17 179269632 unknown 6.18 2.47 180682752 unknown 5.93 2.20 178683904
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.86 2.13 182513664 unknown 6.00 2.52 182366208 unknown 6.10 2.33 181391360
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.19 182657024 unknown 6.35 2.65 179261440 unknown 6.19 2.47 182169600
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.19 182382592 unknown 6.41 2.56 181194752 unknown 5.91 2.21 184307712
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.37 2.27 181071872 unknown 6.30 2.49 180506624 unknown 6.08 2.22 180715520
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.28 181694464 unknown 6.21 2.80 180699136 unknown 5.94 2.21 180883456
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.00 2.20 182521856 unknown 6.28 2.62 179343360 unknown 6.05 2.16 182681600
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.94 2.24 181329920 unknown 6.11 2.38 182091776 unknown 6.03 2.28 180879360
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.48 2.35 186556416 unknown 6.28 2.68 182665216 unknown 5.97 2.19 182878208
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-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    141    536014848 timeout (error (143)) 186    150    2256883712 timeout (error (143)) 185    150    2262310912
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/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    119    1245593600 timeout (error (143)) 187    151    2238910464 timeout (error (143)) 186    154    2206433280
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 182    115    778948608 timeout (error (143)) 185    157    2222284800 timeout (error (143)) 185    156    2288009216
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    119    965451776 timeout (error (143)) 184    152    2226753536 timeout (error (143)) 185    151    2270076928
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 182    117    739295232 timeout (error (143)) 180    147    2213150720 timeout (error (143)) 183    156    2240413696
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    122    1018200064 timeout (error (143)) 186    153    2218196992 timeout (error (143)) 187    153    2254045184
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 183    128    963170304 timeout (error (143)) 185    149    2243080192 timeout (error (143)) 182    147    2229837824
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-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    131    775213056 timeout (error (143)) 182    146    2206474240 timeout (error (143)) 186    154    2222624768
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 183    130    735432704 timeout (error (143)) 182    153    2245935104 timeout (error (143)) 182    157    2269233152
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/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    120    853229568 timeout (error (143)) 182    147    2239033344 timeout (error (143)) 186    160    2252394496
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    124    734990336 timeout (error (143)) 186    150    2224214016 timeout (error (143)) 186    154    2260144128
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    120    766853120 timeout (error (143)) 181    144    2228187136 timeout (error (143)) 186    154    2280714240
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    126    760942592 timeout (error (143)) 183    153    2245988352 timeout (error (143)) 182    150    2242723840
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    124    817332224 timeout (error (143)) 182    143    2277634048 timeout (error (143)) 186    155    2324787200
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 182    127    751316992 timeout (error (143)) 186    144    2237284352 timeout (error (143)) 182    143    2237480960
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/floppy_false-valid-deref.i.cil.c unknown 6.81 2.42 196141056 unknown 7.04 3.13 187936768 unknown 6.69 2.35 190066688
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.89 2.19 179621888 unknown 6.15 2.48 186638336 unknown 5.94 2.16 182386688
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 326 22800 15800 164181495808 326 28800 21000 433317339136 326 26600 19900 425282547712
local summary 14300 7940 28400 10600 26600 9970
    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