Tool ULTIMATE Automizer 0.1.23-acfac678
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-28 20:57:17 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) 7.90 3.37 232697856 false(valid-deref) 52.5  26.2  1661792256 unknown 55.3  28.3  1745895424
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 7.01 2.98 225452032 false(valid-deref) 21.5  7.61 671485952 unknown 23.1  8.67 605458432
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 8.39 3.19 236302336 false(valid-deref) 52.2  27.2  1792516096 unknown 50.1  27.0  1855746048
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 6.60 2.57 200589312 false(valid-deref) 31.0  13.3  1049788416 unknown 29.6  13.7  1178112000
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 21.4  10.1  341835776 false(valid-deref) 17.5  6.13 448376832 unknown 17.4  6.27 437661696
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 10.6  4.14 266981376 false(valid-deref) 14.1  5.12 350056448 unknown 15.4  5.69 350883840
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 6.73 2.72 201449472 timeout (error (143)) 182    151    2241863680 timeout (error (143)) 181    152    2200580096
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.39 4.03 231518208 false(valid-deref) 31.5  14.9  1166290944 unknown 34.1  14.9  1084256256
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 18.7  9.13 287256576 false(valid-deref) 29.4  10.4  785252352 unknown 27.8  9.96 756166656
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.94 4.64 231018496 false(valid-deref) 17.0  6.19 461717504 unknown 16.7  5.80 428945408
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 11.1  4.92 259387392 false(valid-deref) 157    116    2275360768 unknown 170    130    2265034752
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 21.3  9.45 343724032 timeout (error (143)) 181    153    2291032064 timeout (error (143)) 181    150    2275708928
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.56 4.06 238841856 false(valid-deref) 146    117    2227515392 unknown 171    136    2242748416
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.8  5.63 266326016 timeout (error (143)) 181    149    2284675072 timeout (error (143)) 181    150    2259685376
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 10.4  4.66 239390720 timeout (error (143)) 182    156    2275086336 timeout (error (143)) 186    155    2260205568
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 9.17 4.91 235933696 false(valid-deref) 20.5  7.10 650465280 unknown 19.1  6.96 628117504
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.31 3.91 200765440 false(valid-deref) 7.80 3.04 260038656 unknown 8.14 3.46 227958784
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    139    1480986624 timeout (error (143)) 180    129    2199986176 unknown 48.8  23.5  1582219264
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 17.0  8.41 318283776 true 24.2  8.39 530087936 unknown 22.0  8.11 474071040
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 16.2  7.84 291852288 true 40.3  16.8  1198522368 unknown 35.6  15.3  1195962368
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 15.6  7.56 297168896 true 170    138    2239614976 timeout (error (143)) 181    149    2242416640
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 16.4  7.25 273661952 true 35.7  14.4  1026990080 unknown 31.6  12.4  985104384
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 25.6  11.7  312205312 true 51.4  24.6  1644163072 unknown 40.2  19.7  1480683520
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    142    571580416 false(valid-deref) 132    90.4  2225729536 unknown 133    93.8  2211270656
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 19.8  9.73 296132608 false(valid-deref) 25.4  8.90 716509184 unknown 24.9  9.28 752025600
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 61.3  42.7  483811328 false(valid-deref) 74.1  40.8  2099216384 unknown 74.2  43.4  2169974784
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 44.7  25.3  435625984 false(valid-deref) 55.1  26.0  1638445056 unknown 54.4  26.2  1688797184
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    162    503517184 false(valid-deref) 81.1  43.5  2203811840 unknown 87.6  45.9  2188607488
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 17.1  7.99 324452352 false(valid-deref) 26.5  9.09 636993536 unknown 22.8  8.20 548388864
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    147    762867712 timeout (error (143)) 182    147    2241007616 timeout (error (143)) 181    141    2229739520
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 56.3  33.9  490151936 false(valid-deref) 74.6  42.6  2202349568 unknown 79.8  47.9  2050400256
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 64.2  35.9  564486144 false(valid-deref) 170    133    2229276672 timeout (error (143)) 181    145    2233151488
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    154    826220544 false(valid-deref) 77.2  41.5  2112835584 unknown 80.6  46.9  2181431296
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 119    89.4  644362240 false(valid-deref) 81.2  43.0  1992224768 unknown 81.4  46.5  2185936896
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 65.8  36.6  583708672 true 110    61.4  1763942400 unknown 67.0  32.1  1830154240
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 25.5  10.5  363888640 true 45.4  17.2  950648832 unknown 28.2  10.7  827052032
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 26.5  12.4  393973760 true 55.1  28.7  1300336640 unknown 40.1  18.4  1343082496
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 56.1  25.2  576507904 timeout (error (143)) 181    143    2325929984 timeout (error (143)) 180    149    2302111744
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 21.9  10.9  340213760 true 108    73.8  2199056384 unknown 102    74.2  2188210176
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 39.7  24.3  484315136 error: exception 26.8  9.94 806227968 error: exception 31.9  11.6  804233216
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 17.9  7.76 351469568 true 26.9  10.5  563068928 unknown 17.4  6.01 408895488
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 34.9  22.7  373411840 true 66.6  48.6  651485184 unknown 17.5  6.45 432230400
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 16.6  7.46 353570816 error: exception 24.4  8.28 864825344 error: exception 29.3  11.3  762118144
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 30.1  14.6  424660992 false(valid-deref) 57.3  28.5  1874505728 unknown 62.7  32.9  1726824448
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 116    69.2  768282624 timeout (error (143)) 181    141    2348879872 timeout (error (143)) 181    134    2299555840
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    137    910946304 timeout (error (143)) 183    138    2255704064 timeout (error (143)) 181    142    2227130368
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 94.4  70.3  553992192 false(valid-deref) 61.9  33.2  1771802624 unknown 64.4  35.5  1605976064
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 26.1  11.3  401891328 false(valid-deref) 64.5  32.8  1798066176 unknown 66.2  36.1  1918767104
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 168    147    570339328 false(valid-deref) 62.7  30.6  1744764928 unknown 60.0  32.7  1758822400
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 95.6  52.7  672317440 timeout (error (143)) 181    146    2213462016 timeout (error (143)) 181    144    2230902784
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 22.0  11.8  327159808 false(valid-deref) 25.2  8.68 631361536 unknown 20.5  7.47 533274624
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    146    739557376 timeout (error (143)) 181    139    2230669312 timeout (error (143)) 181    136    2215968768
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 58.0  38.2  482971648 false(valid-deref) 77.9  43.6  2198556672 unknown 89.6  50.7  2174291968
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 49.0  25.3  522547200 false(valid-deref) 83.1  46.6  2197921792 unknown 83.1  52.0  2156732416
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 22.7  10.1  369815552 false(valid-deref) 31.9  11.3  787562496 unknown 32.5  11.7  821587968
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 104    85.1  513622016 false(valid-deref) 55.3  26.7  1571467264 unknown 56.5  30.8  1642930176
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 51.4  29.2  533700608 false(valid-deref) 54.4  26.1  1452634112 unknown 55.9  29.2  1759088640
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    142    542121984 false(valid-deref) 88.2  46.0  2214768640 unknown 89.3  52.7  2207576064
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 16.3  6.76 331833344 false(valid-deref) 24.8  8.50 573898752 unknown 22.1  7.66 540913664
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 25.2  11.3  366764032 true 45.8  19.0  1209671680 unknown 32.1  13.7  979509248
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 16.0  6.98 296648704 true 18.7  6.91 355692544 unknown 11.7  4.35 277766144
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 16.8  6.78 302391296 true 31.1  11.6  645885952 unknown 25.8  9.20 687161344
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 41.7  26.1  408793088 false(valid-deref) 76.6  42.8  2188009472 unknown 82.4  47.4  2183897088
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 156    135    534786048 false(valid-deref) 86.2  52.4  2185265152 unknown 88.2  55.6  2182643712
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    156    518483968 false(valid-deref) 86.0  49.2  2203422720 unknown 95.9  58.9  2188029952
array-examples/relax_false-valid-deref.i false(valid-deref) 9.40 3.56 254324736 false(valid-deref) 45.2  19.5  1382768640 unknown 44.2  20.1  1448550400
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 181    115    920985600 timeout (error (143)) 180    116    924803072 unknown 6.40 2.80 194367488
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 181    122    1009217536 timeout (error (143)) 181    124    919359488 unknown 6.23 2.61 190414848
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 180    120    795205632 timeout (error (143)) 180    121    768299008 unknown 6.33 2.67 193122304
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 186    140    791986176 false(valid-deref) 29.0  10.2  746340352 unknown 29.8  10.9  708526080
memsafety/test-0137_false-valid-deref.i false(valid-deref) 178    127    846753792 timeout (error (143)) 181    156    2230341632 timeout (error (143)) 186    158    2239709184
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 182    163    483475456 timeout (error (143)) 181    132    2618695680 timeout (error (143)) 181    127    2523066368
memsafety/960521-1_false-valid-free.i timeout (error (143)) 181    157    816562176 false(valid-free) 29.6  10.3  708042752 unknown 28.6  10.4  713334784
memsafety/test-0158_false-valid-free.i false(valid-free) 10.0  3.74 267358208 false(valid-free) 52.3  33.5  2106884096 unknown 57.5  38.7  2160549888
memsafety/test-0232_false-valid-free.i error: exception 115    69.2  726548480 timeout (error (143)) 186    158    2212577280 timeout (error (143)) 182    150    2212917248
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 182    140    813916160 timeout (error (143)) 181    152    2228494336 timeout (error (143)) 183    153    2203557888
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 186    137    847540224 unknown: overapproxcex 22.8  7.97 574726144 unknown 20.2  7.26 504991744
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 81.2  33.5  1068859392 timeout (error (143)) 182    157    2192412672 timeout (error (143)) 182    155    2194423808
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 21.3  7.35 392499200 timeout (error (143)) 186    162    2202832896 timeout (error (143)) 186    161    2210250752
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 116    56.6  1845100544 timeout (error (143)) 182    155    2193211392 timeout (error (143)) 183    156    2194268160
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 15.6  6.09 327847936 false(valid-deref) 70.2  49.1  2123513856 unknown 78.5  55.4  2158321664
memsafety/test-0102_false-valid-memtrack.i error: exception 138    90.0  768028672 timeout (error (143)) 183    155    2214699008 timeout (error (143)) 186    154    2240675840
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.01 3.09 235827200 unknown: overapproxcex 23.5  9.07 830009344 unknown 25.6  10.0  795168768
memsafety/test-0220_false-valid-memtrack.i error: exception 5.46 2.09 178552832 error: exception 5.43 2.09 182689792 error: exception 5.88 2.43 182841344
memsafety/test-0232_false-valid-memtrack.i unknown: overapproxcex 27.1  11.3  423997440 timeout (error (143)) 186    160    2247233536 timeout (error (143)) 185    153    2220650496
memsafety/test-0234_false-valid-memtrack.i timeout (error (143)) 181    164    569167872 timeout (error (143)) 181    138    2368086016 timeout (error (143)) 181    138    2334314496
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 182    162    524050432 timeout (error (143)) 180    132    2600538112 timeout (error (143)) 181    130    2544844800
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 183    160    720228352 false(valid-free) 30.0  10.4  716636160 unknown 24.8  9.89 737636352
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (error (143)) 182    111    2337906688 timeout (error (143)) 184    160    2172313600 timeout (error (143)) 182    153    2164928512
memsafety/test-0019_true-valid-memsafety_true-termination.i true 18.2  7.69 358658048 false(valid-deref) 20.4  7.15 566231040 unknown 19.4  7.10 510988288
memsafety/test-0102_true-valid-memsafety.i error: exception 161    102    936222720 timeout (error (143)) 180    149    2239873024 timeout (error (143)) 186    160    2203906048
memsafety/test-0134_true-valid-memsafety.i timeout (error (143)) 182    129    790343680 timeout (error (143)) 186    157    2228916224 timeout (error (143)) 186    153    2224463872
memsafety/test-0158_true-valid-memsafety_true-termination.i true 9.65 3.65 274321408 false(valid-free) 30.6  12.1  998273024 unknown 27.0  12.5  973672448
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 5.33 2.06 182657024 error: exception 5.45 2.13 186007552 error: exception 5.79 2.56 181227520
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 5.38 2.08 179924992 error: exception 5.06 2.04 178671616 error: exception 5.78 2.36 182554624
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 5.40 2.05 184643584 error: exception 5.68 2.04 182984704 error: exception 5.95 2.41 181755904
memsafety/test-0219_true-valid-memsafety.i error: exception 5.14 2.01 183291904 error: exception 5.48 2.16 183205888 error: exception 5.61 2.30 183160832
memsafety/test-0232_true-valid-memsafety.i timeout (error (143)) 181    130    760651776 timeout (error (143)) 185    151    2242686976 timeout (error (143)) 185    155    2227826688
memsafety/test-0234_true-valid-memsafety.i timeout (error (143)) 182    168    478683136 timeout (error (143)) 181    144    2338025472 timeout (error (143)) 181    142    2314080256
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 181    160    573702144 timeout (error (143)) 180    129    2613956608 timeout (error (143)) 181    130    2607747072
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 181    162    487247872 timeout (error (143)) 181    133    2453381120 timeout (error (143)) 181    134    2424004608
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 182    167    512131072 timeout (error (143)) 181    136    2496385024 timeout (error (143)) 181    134    2453516288
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 181    139    904867840 timeout (error (143)) 186    163    2245361664 timeout (error (143)) 186    160    2242551808
memsafety/test-0513_true-valid-memsafety.i error: exception 151    100    711852032 timeout (error (143)) 185    158    2267619328 timeout (error (143)) 181    155    2274521088
memsafety/test-0521_true-valid-memsafety.i timeout (error (143)) 181    131    831430656 timeout (error (143)) 183    157    2263744512 timeout (error (143)) 182    159    2208329728
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 182    152    820932608 false(valid-deref) 44.8  20.4  1758781440 unknown 45.5  20.6  1767903232
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 181    138    749879296 timeout (error (143)) 184    163    2242633728 timeout (error (143)) 186    163    2237878272
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error: exception 5.17 1.98 180678656 error: exception 5.33 2.11 180420608 error: exception 5.90 2.51 180121600
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error: exception 5.14 2.06 181202944 error: exception 5.55 2.16 180158464 error: exception 5.71 2.41 179298304
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 180    146    555630592 timeout (error (143)) 185    162    2273394688 timeout (error (143)) 186    162    2273107968
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 181    146    578678784 timeout (error (143)) 186    153    2257559552 timeout (error (143)) 182    150    2253250560
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 181    132    756490240 timeout (error (143)) 186    160    2212134912 timeout (error (143)) 186    161    2220281856
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 182    141    639049728 timeout (error (143)) 183    163    2229911552 timeout (error (143)) 182    159    2250813440
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 182    143    655343616 timeout (error (143)) 182    154    2271068160 timeout (error (143)) 185    158    2258886656
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error: exception) 181    135    2420219904 timeout (error (143)) 183    153    2281357312 timeout (error (143)) 186    156    2282643456
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error: exception) 182    98.3  1885675520 timeout (error (143)) 181    151    2227568640 timeout (error (143)) 182    152    2235256832
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 181    104    1280471040 timeout (error (143)) 181    151    2247630848 timeout (error (143)) 181    148    2239475712
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 126    87.4  840196096 timeout (error (143)) 186    161    2259951616 timeout (error (143)) 183    156    2246979584
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 181    118    908029952 timeout (error (143)) 181    147    2253590528 timeout (error (143)) 182    147    2232459264
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error: exception) 180    99.4  2137718784 timeout (error (143)) 182    154    2244087808 timeout (error (143)) 182    152    2231230464
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 181    102    1239556096 timeout (error (143)) 182    154    2241699840 timeout (error (143)) 186    157    2216284160
memsafety-ext2/length_test03_true-valid-memsafety.i error: exception 122    79.4  794349568 timeout (error (143)) 183    156    2255839232 timeout (error (143)) 185    161    2221158400
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 129    75.1  868495360 timeout (error (143)) 180    149    2234318848 timeout (error (143)) 183    164    2205442048
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 185    140    3108704256 timeout (error (143)) 186    158    2285240320 timeout (error (143)) 181    164    2253160448
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 13.7  5.15 303038464 false(valid-deref) 32.0  12.4  996278272 unknown 44.6  25.5  1207545856
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 181    121    759394304 timeout (error (143)) 182    154    2321883136 timeout (error (143)) 182    165    2233507840
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 12.5  5.03 283324416 timeout (error (143)) 181    151    2266775552 timeout (error (143)) 181    161    2226454528
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 18.6  6.81 348348416 false(valid-free) 35.6  13.9  983547904 unknown 49.3  26.4  1146126336
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 9.87 3.62 241688576 false(valid-free) 148    124    2225901568 timeout (error (143)) 181    170    2206773248
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 29.0  13.5  444076032 timeout (error (143)) 186    162    2193248256 timeout (error (143)) 185    175    2191736832
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.47 3.16 233820160 unknown: overapproxcex 38.5  20.8  1689915392 unknown 56.0  47.7  1899257856
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 25.2  9.99 401297408 timeout (error (143)) 186    156    2231156736 timeout (error (143)) 184    166    2201964544
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 181    137    662388736 false(valid-free) 50.4  20.6  1349148672 unknown 57.4  35.9  1400328192
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 181    121    770871296 timeout (error (143)) 181    153    2252410880 timeout (error (143)) 184    163    2255323136
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 181    123    762945536 timeout (error (143)) 186    157    2291343360 timeout (error (143)) 182    166    2218405888
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error: exception) 181    120    762630144 timeout (error (143)) 183    155    2274762752 timeout (error (143)) 181    162    2226749440
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 34.4  16.2  482394112 false(valid-deref) 27.7  12.4  1048510464 unknown 45.6  27.7  1384861696
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 10.8  4.11 283430912 false(valid-free) 145    121    2197532672 timeout (error (143)) 184    174    2193760256
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 5.72 2.20 179253248 error: exception 5.45 2.13 180035584 error: exception 7.72 6.32 182972416
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 5.45 2.15 180654080 error: exception 5.42 2.09 180916224 error: exception 8.14 6.05 180453376
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout (error (143)) 181    123    830521344 timeout (error (143)) 186    158    2219511808 timeout (error (143)) 180    160    2199920640
list-ext-properties/test-0504_1_true-valid-memsafety.i error: exception 141    87.1  1060331520 timeout (error (143)) 186    157    2253414400 timeout (error (143)) 186    166    2221690880
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 181    125    914264064 timeout (error (143)) 186    160    2225270784 timeout (error (143)) 182    160    2198552576
memory-alloca/c.03-alloca_true-valid-memsafety.i true 16.6  6.24 341495808 timeout (error (143)) 181    150    2248065024 timeout (error (143)) 181    150    2241187840
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 8.65 3.26 238669824 false(valid-deref) 38.7  17.0  1394720768 unknown 60.1  32.8  1356394496
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 9.68 3.64 245661696 false(valid-deref) 41.6  17.4  1380192256 unknown 57.3  29.4  1484689408
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 7.40 2.90 234168320 false(valid-deref) 26.4  9.06 655269888 unknown 30.8  12.8  676978688
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 7.24 2.84 230809600 false(valid-deref) 30.9  10.7  859607040 unknown 34.6  15.1  862453760
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 181    115    2218008576 timeout (error (143)) 183    115    1863897088 unknown 44.2  20.1  1073074176
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 180    118    2221170688 timeout (error (143)) 181    108    1912115200 unknown 43.3  18.3  1058500608
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 6.83 2.76 224583680 false(valid-deref) 8.59 3.41 256872448 unknown 10.7  6.31 248963072
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 7.03 2.81 226369536 false(valid-deref) 10.4  3.70 272584704 unknown 11.0  6.42 250122240
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.87 2.72 225267712 false(valid-deref) 9.40 3.51 257097728 unknown 10.8  5.95 249856000
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.20 2.85 240070656 false(valid-deref) 9.52 3.60 253874176 unknown 11.5  6.15 253673472
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.16 2.78 225820672 false(valid-deref) 8.72 3.41 255033344 unknown 11.3  6.57 249819136
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.29 2.84 240902144 false(valid-deref) 9.15 3.42 258727936 unknown 12.0  6.52 252420096
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 181    118    1306468352 false(valid-deref) 43.0  17.3  1442934784 unknown 60.4  32.0  1410465792
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 26.5  10.9  434880512 true 48.8  20.8  1271865344 unknown 50.6  28.2  1162711040
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 27.8  11.8  429133824 true 65.9  26.8  1353764864 unknown 48.3  25.6  1190555648
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 29.4  12.1  464977920 true 56.0  22.0  1261600768 unknown 49.6  25.8  1185538048
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 42.7  17.2  532348928 true 49.5  19.9  1032163328 unknown 32.5  16.1  867901440
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 29.7  11.9  449372160 true 55.2  23.3  1312673792 unknown 46.1  23.9  1296191488
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error: type error 5.52 2.14 180563968 error: type error 5.35 2.10 181653504 error: type error 6.55 3.41 177147904
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error: type error 5.44 2.11 177405952 error: type error 5.44 2.17 183451648 error: type error 6.58 2.97 176496640
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 5.79 2.22 188370944 true 5.93 2.43 189935616 unknown 6.64 3.73 181911552
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 10.3  3.88 274149376 true 9.85 3.67 259022848 unknown 10.7  5.64 248803328
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 10.6  3.88 271659008 true 10.3  3.79 256069632 unknown 10.6  4.81 251228160
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 10.2  3.89 268464128 true 9.83 3.62 254521344 unknown 11.1  5.39 253227008
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 10.4  3.89 283967488 true 10.2  3.82 251748352 unknown 11.3  5.86 250175488
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 10.4  3.79 271826944 true 10.1  3.74 253452288 unknown 10.9  6.25 263012352
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 10.4  3.99 269189120 true 9.93 3.63 257224704 unknown 11.5  6.39 250830848
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 5.65 2.15 180252672 error: exception 5.70 2.19 179773440 error: exception 7.22 3.54 181751808
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 186    150    1861083136 unknown: overapproxcex 89.7  57.4  2204487680 unknown 111    72.7  2203324416
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 185    143    1798316032 unknown: overapproxcex 87.1  47.7  2195681280 unknown 103    60.8  2205794304
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 5.79 2.23 182640640 error: exception 5.65 2.45 186691584 error: exception 6.61 3.76 184377344
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error: exception 5.96 2.21 184340480 error: exception 5.43 2.14 181792768 error: exception 6.36 2.73 182489088
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 5.57 2.20 181960704 error: exception 5.41 2.12 178458624 error: exception 6.13 2.51 183431168
ldv-memsafety/memleaks_test12_false-valid-free.i timeout (error (143)) 181    148    569794560 timeout (error (143)) 181    152    2233270272 timeout (error (143)) 182    149    2234707968
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 182    149    848695296 unknown: overapproxcex 66.1  39.2  2169249792 unknown 82.4  51.9  2161172480
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 177    132    660017152 unknown: overapproxcex 45.8  23.6  1611227136 unknown 57.6  31.6  1645899776
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 8.95 3.52 245329920 unknown: overapproxcex 8.62 3.30 252198912 unknown 10.2  4.39 250499072
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 6.90 2.65 202039296 unknown: overapproxcex 8.17 3.11 260562944 unknown 9.31 4.84 245452800
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 23.1  8.72 371990528 unknown: overapproxcex 20.8  7.05 559910912 unknown 22.1  8.10 546082816
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 9.19 3.49 243130368 unknown: overapproxcex 9.51 3.57 264609792 unknown 10.7  4.09 252461056
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 71.4  47.5  526372864 unknown: overapproxcex 87.3  58.7  2200301568 unknown 106    72.5  2183536640
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 5.37 2.06 178335744 error: exception 5.50 2.29 181952512 error: exception 6.39 4.05 184107008
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 5.57 2.08 181411840 error: exception 5.62 2.17 183382016 error: exception 6.35 2.73 182304768
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 5.42 2.15 187056128 error: exception 5.57 2.16 182861824 error: exception 6.27 2.61 179724288
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 5.68 2.17 181084160 error: exception 5.44 2.28 180027392 error: exception 6.19 2.61 179126272
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 5.57 2.19 179466240 error: exception 5.62 2.28 181854208 error: exception 6.19 2.72 183005184
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout (error (143)) 181    133    569774080 timeout (error (143)) 182    147    2244227072 timeout (error (143)) 181    142    2210324480
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 5.02 1.99 179212288 error: exception 5.58 2.28 178810880 error: exception 7.05 3.83 181710848
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 5.60 2.18 179838976 error: exception 5.66 2.28 177500160 error: exception 6.79 3.36 179859456
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 182    153    543031296 unknown: overapproxcex 59.6  31.1  2185805824 unknown 71.5  39.6  2177351680
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 181    147    566624256 unknown: overapproxcex 50.7  25.6  2032541696 unknown 57.7  29.5  1982480384
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 63.7  52.6  358682624 unknown: overapproxcex 19.6  6.72 551735296 unknown 20.2  7.32 589967360
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout (error (143)) 180    151    555360256 unknown: overapproxcex 17.1  5.84 585326592 unknown 19.9  6.86 566550528
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout (error (143)) 182    159    455970816 error: exception 15.4  5.34 431685632 error: exception 16.3  6.14 422830080
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.49 2.88 233009152 unknown: overapproxcex 8.27 3.16 256880640 unknown 8.41 3.08 253886464
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 5.37 2.13 181133312 error: exception 5.49 2.05 185929728 error: exception 5.41 2.11 182202368
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 5.55 2.07 179019776 error: exception 5.49 2.16 180494336 error: exception 5.64 2.15 179748864
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 103    62.8  706535424 unknown: overapproxcex 74.5  40.4  2191962112 unknown 94.4  58.1  2185711616
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 52.0  29.9  481693696 unknown: overapproxcex 63.1  40.5  2183708672 unknown 74.7  48.0  2175938560
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown: overapproxcex 110    62.6  707211264 unknown: overapproxcex 80.8  48.0  2191384576 unknown 78.2  48.5  2181259264
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.4  3.94 274563072 unknown: overapproxcex 10.2  3.68 275398656 unknown 10.5  3.92 277057536
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.85 3.07 235970560 unknown: overapproxcex 8.44 3.13 260317184 unknown 8.89 4.37 252551168
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 9.14 3.43 242135040 unknown: overapproxcex 9.27 3.40 260632576 unknown 9.36 3.63 249962496
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 20.0  7.46 301101056 unknown: overapproxcex 19.5  6.74 557301760 unknown 20.4  7.31 524103680
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 18.2  6.60 354177024 error: exception 17.6  6.02 561115136 error: exception 19.7  6.95 560828416
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown: overapproxcex 16.4  6.05 321359872 error: exception 15.3  5.34 433266688 error: exception 17.0  6.24 447324160
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.61 2.93 236216320 unknown: overapproxcex 8.96 3.42 258236416 unknown 9.41 3.66 251686912
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 9.92 3.70 254009344 unknown: overapproxcex 9.44 3.46 261074944 unknown 10.2  5.85 254967808
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.45 3.20 241262592 unknown: overapproxcex 9.21 3.31 257077248 unknown 10.2  5.70 250687488
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 85.8  57.5  530714624 unknown: overapproxcex 90.4  61.9  2199220224 unknown 102    70.2  2199048192
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 5.71 2.22 184164352 error: exception 5.50 2.17 184016896 error: exception 6.51 3.35 180776960
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout (error (143)) 181    148    563216384 timeout (error (143)) 181    154    2228936704 timeout (error (143)) 186    156    2232823808
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 5.55 2.17 181231616 error: exception 5.50 2.35 181956608 error: exception 6.05 3.10 181657600
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 5.39 2.11 182915072 error: exception 5.69 2.16 182386688 error: exception 6.70 2.86 182181888
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout (error (143)) 183    138    893956096 unknown: overapproxcex 174    136    2276466688 timeout (error (143)) 181    140    2258800640
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 5.54 2.10 177799168 error: exception 5.73 2.41 185430016 error: exception 6.25 3.20 180674560
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 182    152    535298048 unknown: overapproxcex 55.8  30.9  2174152704 unknown 60.9  33.6  2154012672
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 182    146    500080640 unknown: overapproxcex 58.1  30.9  2070712320 unknown 65.2  36.1  2156756992
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 181    152    534470656 unknown: overapproxcex 17.9  6.12 594853888 unknown 19.1  6.58 581046272
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 117    76.8  683839488 unknown: overapproxcex 49.2  23.4  1655975936 unknown 56.3  31.0  1700691968
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 9.76 3.73 277258240 unknown: overapproxcex 8.63 3.24 252792832 unknown 9.06 3.72 251142144
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 5.40 2.13 181932032 error: exception 5.48 2.13 183635968 error: exception 6.03 2.51 182099968
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 5.90 2.21 186109952 error: exception 5.47 2.14 178876416 error: exception 6.18 2.89 180375552
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 181    134    1035018240 unknown: overapproxcex 80.5  47.7  2186825728 unknown 85.5  52.4  2183487488
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 181    129    2047201280 unknown: overapproxcex 78.5  45.4  2192994304 unknown 97.4  56.9  2192863232
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 181    126    2055831552 unknown: overapproxcex 80.2  46.5  2180562944 unknown 90.7  56.7  2200223744
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 5.77 2.22 183136256 error: exception 5.77 2.26 180674560 error: exception 6.28 2.58 185241600
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error: exception 5.72 2.23 183230464 error: exception 6.03 2.28 183934976 error: exception 6.23 2.56 180678656
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 12.2  4.54 286244864 unknown: overapproxcex 8.83 3.30 260947968 unknown 8.87 3.35 255766528
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 17.7  6.91 341929984 unknown: overapproxcex 10.5  3.65 283500544 unknown 10.1  3.66 273129472
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 13.7  5.32 298151936 unknown: overapproxcex 8.97 3.29 250331136 unknown 8.82 3.24 246259712
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 28.1  11.0  420990976 unknown: overapproxcex 17.7  6.09 553807872 unknown 20.6  7.61 549752832
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 23.3  8.73 388317184 unknown: overapproxcex 17.7  6.06 453013504 unknown 17.4  6.26 431308800
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 12.5  4.56 285876224 unknown: overapproxcex 9.06 3.46 257761280 unknown 9.15 3.43 257171456
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 12.5  4.68 283750400 unknown: overapproxcex 9.52 3.62 258887680 unknown 9.83 4.19 252030976
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.65 1.89 176640000 unknown 5.77 2.81 178311168 unknown 5.99 2.70 178266112
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 4.94 1.91 176443392 unknown 6.46 3.41 180183040 unknown 6.05 3.05 176828416
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 4.72 1.83 180412416 unknown 5.95 2.77 173940736 unknown 5.92 2.97 178032640
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 4.80 1.83 176726016 unknown 5.85 2.68 173322240 unknown 6.07 3.00 177102848
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.70 1.87 177762304 unknown 5.60 2.56 175374336 unknown 5.95 2.89 178032640
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 4.71 1.88 175697920 unknown 5.62 3.06 177082368 unknown 5.64 2.42 178053120
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.85 1.87 175345664 unknown 5.44 2.95 175988736 unknown 5.36 2.34 178741248
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 4.93 1.95 174006272 unknown 5.46 2.34 174743552 unknown 5.61 2.33 175050752
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.57 1.89 177680384 unknown 5.58 2.44 175087616 unknown 5.80 2.36 176553984
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 4.84 1.90 174854144 unknown 6.17 3.48 174542848 unknown 5.98 2.59 178454528
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    126    820768768 timeout (error (143)) 185    155    2220679168 timeout (error (143)) 186    156    2228600832
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 5.47 2.17 180281344 error: exception 6.70 3.59 183267328 error: exception 6.35 2.74 182374400
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    128    872259584 timeout (error (143)) 182    147    2246922240 timeout (error (143)) 186    153    2221170688
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 5.65 2.17 186380288 error: exception 5.42 2.67 183615488 error: exception 5.62 3.57 186048512
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 5.31 2.05 182194176 error: exception 5.57 2.29 178077696 error: exception 5.45 2.25 185212928
heap-manipulation/tree_false-valid-deref.i error: exception 5.19 2.10 179777536 error: exception 5.48 2.23 180563968 error: exception 5.43 2.22 179073024
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 180    141    565981184 timeout (error (143)) 186    162    2195034112 timeout (error (143)) 186    158    2194382848
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 34.0  13.1  459055104 timeout (error (143)) 186    159    2213064704 timeout (error (143)) 184    157    2214137856
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 61.9  28.0  581578752 timeout (error (143)) 186    159    2231177216 timeout (error (143)) 186    160    2231750656
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 46.1  18.9  503717888 timeout (error (143)) 182    156    2242863104 timeout (error (143)) 183    156    2228768768
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 182    124    685232128 timeout (error (143)) 182    148    2279985152 timeout (error (143)) 181    155    2281955328
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 9.98 3.63 242470912 timeout (error (143)) 181    155    2253361152 timeout (error (143)) 181    155    2272129024
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 14.3  5.55 304656384 timeout (error (143)) 181    152    2272366592 timeout (error (143)) 182    156    2275106816
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 10.5  3.84 274423808 timeout (error (143)) 182    158    2259013632 timeout (error (143)) 183    159    2223505408
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 13.7  5.24 304508928 timeout (error (143)) 186    160    2256560128 timeout (error (143)) 181    160    2270003200
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 10.2  3.82 253206528 timeout (error (143)) 181    154    2264780800 timeout (error (143)) 182    153    2267799552
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.09 2.29 182423552 unknown 5.97 2.29 182484992 unknown 6.23 3.89 180502528
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.26 2.34 181383168 unknown 5.89 2.27 182181888 unknown 6.11 4.23 180228096
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.50 2.36 186650624 unknown 6.14 2.30 184844288 unknown 6.10 2.63 182800384
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.05 2.24 180916224 unknown 5.93 2.20 178683904 unknown 6.37 2.44 188469248
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.03 2.29 180244480 unknown 5.81 2.25 182714368 unknown 6.05 2.61 184066048
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.78 2.19 181833728 unknown 5.91 2.18 182546432 unknown 6.24 2.83 180056064
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.97 2.22 184094720 unknown 6.04 2.22 181870592 unknown 5.92 2.45 180936704
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.23 180887552 unknown 5.93 2.23 178282496 unknown 6.19 2.53 185454592
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.85 2.26 180752384 unknown 6.12 2.31 182231040 unknown 6.17 3.09 181035008
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.27 180666368 unknown 6.30 2.37 185606144 unknown 6.47 2.79 186515456
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.25 178978816 unknown 6.23 2.38 183455744 unknown 6.05 2.93 181161984
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.08 2.32 181538816 unknown 5.98 2.21 182063104 unknown 6.35 3.39 186191872
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.26 2.27 182218752 unknown 5.97 2.24 185098240 unknown 6.04 2.60 181178368
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 73.9  30.7  666603520 timeout (error (143)) 183    158    2192588800 timeout (error (143)) 182    158    2220937216
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    144    516825088 timeout (error (143)) 186    165    2215976960 timeout (error (143)) 186    165    2218590208
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 42.7  17.1  495169536 timeout (error (143)) 182    158    2253434880 timeout (error (143)) 186    163    2241011712
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    121    1394606080 timeout (error (143)) 186    163    2216808448 timeout (error (143)) 186    164    2201665536
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    118    803180544 timeout (error (143)) 182    159    2237063168 timeout (error (143)) 184    157    2237661184
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    117    937222144 timeout (error (143)) 182    157    2243362816 timeout (error (143)) 186    162    2233016320
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    119    740859904 timeout (error (143)) 186    162    2237030400 timeout (error (143)) 186    160    2238660608
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    118    806338560 timeout (error (143)) 186    163    2210603008 timeout (error (143)) 186    164    2209918976
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    127    958148608 timeout (error (143)) 186    163    2261909504 timeout (error (143)) 182    156    2243932160
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 70.8  30.4  1064169472 timeout (error (143)) 186    165    2234015744 timeout (error (143)) 186    161    2216554496
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 182    133    797265920 timeout (error (143)) 186    165    2288463872 timeout (error (143)) 186    165    2229350400
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i error: exception 177    116    783847424 timeout (error (143)) 181    162    2188066816 timeout (error (143)) 182    161    2198425600
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 41.9  16.5  474841088 timeout (error (143)) 186    161    2273546240 timeout (error (143)) 186    165    2258100224
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    123    873635840 timeout (error (143)) 186    160    2256596992 timeout (error (143)) 185    158    2274385920
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    124    736354304 timeout (error (143)) 186    158    2227261440 timeout (error (143)) 186    163    2232020992
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    125    768516096 timeout (error (143)) 186    161    2241650688 timeout (error (143)) 186    160    2232270848
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    128    739012608 timeout (error (143)) 186    161    2253230080 timeout (error (143)) 184    152    2249543680
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 182    124    850083840 timeout (error (143)) 186    160    2232160256 timeout (error (143)) 186    156    2215575552
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    125    719962112 timeout (error (143)) 186    163    2213715968 timeout (error (143)) 184    160    2219442176
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 109    66.5  709943296 timeout (error (143)) 186    162    2217484288 timeout (error (143)) 186    162    2254221312
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 64.2  30.7  715657216 timeout (error (143)) 183    158    2230898688 timeout (error (143)) 186    161    2223284224
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 78.5  45.8  618258432 timeout (error (143)) 186    162    2236375040 timeout (error (143)) 186    157    2237526016
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 181    126    1560633344 timeout (error: exception) 180    126    1399869440 unknown 5.31 2.44 187551744
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 7.61 3.25 194580480 unknown 7.38 2.97 188690432 unknown 7.05 2.63 192954368
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 6.65 2.83 184860672 unknown 6.53 2.71 182759424 unknown 5.95 2.37 182108160
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.6  6.47 290291712 true 15.1  6.30 317571072 unknown 11.2  4.24 290422784
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.3  5.90 336515072 true 15.1  6.57 313171968 unknown 11.1  4.36 286072832
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.9  5.21 273965056 true 12.3  5.35 279805952 unknown 9.35 3.88 259031040
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.2  4.38 285802496 true 12.1  5.14 281432064 unknown 9.45 3.84 255770624
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.4  5.75 262033408 true 11.9  5.14 283578368 unknown 10.4  4.04 264683520
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.9  4.52 286826496 true 13.3  5.71 283820032 unknown 10.4  4.03 282087424
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.8  4.48 281522176 true 13.3  5.57 287907840 unknown 10.5  4.04 280178688
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.37 4.04 253902848 true 9.56 3.98 267792384 unknown 7.58 3.23 238526464
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.6  4.66 254296064 true 11.0  4.68 261255168 unknown 8.70 3.45 253665280
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.2  6.04 256966656 true 11.0  4.75 258818048 unknown 8.43 3.40 250712064
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.13 2.63 213917696 true 7.43 3.13 212320256 unknown 6.09 2.55 192917504
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 7.06 2.77 210227200 true 7.67 3.25 212180992 unknown 6.28 2.69 199053312
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 6.77 2.74 213774336 true 8.25 3.56 217690112 unknown 6.45 2.61 197120000
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 7.15 2.77 215908352 true 7.83 3.31 219365376 unknown 6.40 2.55 197054464
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 7.18 2.80 218886144 true 8.00 3.46 221982720 unknown 6.44 2.65 203509760
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 7.37 2.89 220258304 true 8.33 3.53 225394688 unknown 6.40 2.79 203005952
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.28 3.37 223305728 true 8.04 3.50 224055296 unknown 6.80 2.91 202702848
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.42 3.51 222855168 true 7.96 3.41 225849344 unknown 6.45 2.73 203165696
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.20 3.18 201060352 true 6.95 3.01 198361088 unknown 5.78 2.67 194859008
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.46 3.47 206020608 true 6.93 2.94 203948032 unknown 5.76 2.45 196337664
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.79 3.58 200372224 true 7.34 3.13 204902400 unknown 5.75 2.55 192008192
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 6.50 2.57 205258752 true 7.42 3.09 208105472 unknown 5.87 2.62 196263936
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 6.90 2.72 203452416 true 7.23 3.08 212443136 unknown 5.90 2.48 198107136
../../../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 163886370816 326 25800 19400 404841111552 326 25000 19200 397092814848
local summary 13700 7940 25400 9740 25000 9640
    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