Tool ULTIMATE Automizer 0.1.23-5f7ec6ee
Limits timelimit: 180 s, memlimit: 6000 MB, CPU core limit: 2
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-31 08:17:45 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-examples/relax_false-valid-deref.i false(valid-deref) 10.4  7.38 247488512 false(valid-deref) 62.3  38.5  2043604992 unknown 60.5  35.8  2079940608
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    142    2195275776 true 120    80.9  2185015296 unknown 73.1  50.6  2161963008
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 8.31 4.51 238858240 false(valid-deref) 84.1  56.6  2171400192 unknown 85.1  56.3  2165354496
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 17.0  9.49 301101056 true 31.1  16.4  653090816 unknown 22.3  11.5  645017600
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 16.8  9.52 304029696 true 93.0  65.6  2189795328 unknown 88.4  62.2  2180354048
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 17.7  10.2  318332928 true 55.4  32.6  1764081664 unknown 48.6  28.1  1780498432
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 7.53 4.03 225300480 false(valid-deref) 26.1  13.7  961122304 unknown 24.0  12.8  952172544
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 25.3  14.5  356405248 true 100    70.2  2188632064 unknown 76.7  57.4  2163576832
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 9.10 4.92 229584896 false(valid-deref) 90.7  65.9  2188365824 unknown 92.5  67.3  2174611456
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    142    633737216 timeout (error (143)) 184    141    2244165632 timeout (error (143)) 183    142    2226569216
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 6.18 3.51 199364608 false(valid-deref) 42.4  24.5  1675927552 unknown 42.1  24.3  1647599616
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 22.8  13.6  335863808 error: exception 34.4  17.9  888537088 unknown 31.0  15.7  884768768
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 19.3  11.2  333242368 false(valid-deref) 16.4  8.54 491225088 unknown 16.4  8.46 464179200
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 72.7  56.5  473821184 error: exception 131    92.7  2208481280 unknown 115    82.5  2177818624
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 47.3  31.8  455987200 error: exception 85.9  55.5  2173079552 unknown 70.5  47.0  2102689792
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    164    520450048 error: exception 124    89.1  2211516416 unknown 113    81.9  2182520832
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.5  11.6  329973760 error: exception 34.5  18.3  713703424 unknown 23.7  12.1  782508032
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 11.5  6.25 274276352 false(valid-deref) 13.9  7.18 420462592 unknown 13.2  6.92 401059840
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 61.0  42.4  501182464 error: exception 131    92.3  2203484160 unknown 113    84.3  2182025216
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 6.63 3.67 226140160 false(valid-deref) 81.0  61.0  2169454592 unknown 79.0  58.3  2166222848
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    157    693641216 error: exception 129    91.3  2201128960 unknown 122    90.3  2187444224
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 18.2  10.4  317845504 false(valid-deref) 25.5  13.1  661868544 unknown 20.9  10.8  640770048
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 122    95.1  627109888 error: exception 125    90.3  2204057600 unknown 116    83.5  2186022912
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 79.5  52.5  574115840 true 162    105    2209767424 unknown 92.5  58.9  2173337600
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 7.21 3.94 229683200 false(valid-deref) 21.2  10.9  648024064 unknown 20.3  10.5  630222848
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 27.3  15.8  360173568 true 71.7  42.4  2153299968 unknown 52.9  30.4  1758093312
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 29.2  17.9  372690944 true 78.8  47.7  2182328320 unknown 58.3  35.7  1940017152
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 40.8  28.5  459857920 true 49.5  27.4  1171533824 unknown 32.9  17.4  1017069568
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 19.9  11.7  345239552 true 27.2  15.4  554070016 unknown 13.9  7.25 408203264
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 36.4  26.7  380157952 true 48.7  33.9  655622144 unknown 14.0  7.29 402579456
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 20.3  11.9  335798272 true 43.9  24.0  1100926976 unknown 31.1  16.0  1071374336
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 33.6  20.9  405643264 error: exception 82.7  51.2  1829687296 unknown 84.2  51.7  2155180032
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    141    1120546816 timeout (error (143)) 181    138    2234494976 timeout (error (143)) 181    146    2228662272
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 102    80.9  516935680 error: exception 124    85.5  2201214976 unknown 84.6  58.5  1978109952
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 29.9  17.6  385986560 error: exception 83.7  49.1  2179145728 unknown 75.0  44.8  2157998080
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 89.5  70.9  524992512 error: exception 96.0  60.2  2179616768 unknown 87.2  55.6  2164785152
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 23.1  15.6  322387968 error: exception 35.7  18.6  729169920 unknown 23.7  12.1  716328960
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 86.2  69.1  484188160 error: exception 159    111    2212515840 unknown 111    79.5  2175528960
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 23.5  14.2  355807232 error: exception 43.9  23.9  962330624 unknown 32.5  17.0  974958592
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 111    93.6  462102528 error: exception 97.9  61.4  2182037504 unknown 86.4  53.7  2167394304
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 58.4  39.7  507699200 error: exception 86.6  54.3  2175811584 unknown 86.8  51.5  1705574400
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    154    668999680 error: exception 135    97.8  2226917376 unknown 124    89.8  2207879168
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 18.1  10.5  321847296 error: exception 31.3  16.4  711385088 unknown 22.6  11.6  634056704
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 29.5  17.6  361619456 true 67.6  43.6  2151305216 unknown 54.8  34.2  2140991488
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 7.63 4.16 225841152 false(valid-deref) 31.7  17.4  1152991232 unknown 30.4  16.5  1238802432
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 18.0  10.6  294809600 true 19.7  10.8  351186944 unknown 10.8  5.63 296443904
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 6.70 3.56 196714496 false(valid-deref) 8.11 4.38 250974208 unknown 7.36 3.98 221544448
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 18.5  10.7  302366720 true 38.1  20.2  989380608 unknown 28.4  14.5  965902336
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 164    151    380719104 true 170    128    2221219840 unknown 157    119    2208260096
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 120    102    522870784 error: exception 141    99.9  2208751616 unknown 125    93.8  2179424256
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    154    562638848 error: exception 115    76.5  2195030016 unknown 103    71.0  2173259776
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 8.90 4.81 233406464 false(valid-deref) 73.7  47.7  2167209984 unknown 86.2  52.9  2170540032
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 11.9  6.34 253747200 false(valid-deref) 81.8  50.6  2184957952 unknown 72.3  47.3  2163347456
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 180    128    1284378624 false(valid-deref) 76.1  48.2  2170683392 unknown 76.0  48.4  2167640064
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 32.0  18.2  424873984 true 55.9  30.8  1393311744 unknown 44.5  22.8  1115512832
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 33.1  19.3  403423232 true 66.1  36.8  1433882624 unknown 35.9  19.5  1169973248
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 34.8  20.0  409612288 true 55.5  30.6  1315753984 unknown 35.4  19.1  1003548672
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 7.77 4.24 229707776 false(valid-deref) 28.9  15.3  985657344 unknown 29.9  15.3  989859840
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 7.66 4.16 231395328 false(valid-deref) 39.4  20.8  1201307648 unknown 34.3  18.5  1254039552
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 54.9  31.1  506523648 true 63.4  35.8  1371807744 unknown 32.9  18.0  1256165376
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 181    129    2198523904 timeout (error (143)) 181    127    2018123776 unknown 33.4  17.2  948297728
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 180    124    2192691200 timeout (error (143)) 181    125    1683677184 unknown 32.5  16.7  944025600
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 32.5  18.9  432328704 true 58.5  32.7  1412464640 unknown 41.8  22.0  1196883968
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 85.1  64.9  494100480 timeout (error (143)) 181    148    2218942464 timeout (error (143)) 181    143    2215342080
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 68.5  45.7  481218560 timeout (error (143)) 181    146    2229391360 timeout (error (143)) 181    146    2225045504
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error: exception 106    83.6  518385664 timeout (error (143)) 183    148    2233372672 timeout (error (143)) 183    150    2211225600
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 182    157    529260544 timeout (error (143)) 181    150    2217467904 timeout (error (143)) 181    150    2246946816
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 182    155    582324224 unknown: overapproxcex 166    133    2219794432 unknown 162    130    2206244864
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 183    154    530042880 unknown: overapproxcex 135    107    2203979776 unknown 143    110    2209583104
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 181    151    542576640 unknown: overapproxcex 159    125    2204250112 unknown 143    117    2196099072
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 66.0  56.7  338378752 unknown: overapproxcex 29.3  16.8  1193922560 unknown 30.9  17.3  1205854208
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout (error (143)) 181    157    602624000 unknown: overapproxcex 30.2  16.3  1164521472 unknown 33.5  17.3  1210425344
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout (error (143)) 181    162    406937600 unknown: overapproxcex 16.8  8.66 536801280 unknown 15.2  7.91 558223360
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 183    159    759574528 unknown: overapproxcex 33.1  18.6  1335525376 unknown 34.2  19.5  1320304640
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 176    140    657743872 unknown: overapproxcex 61.2  38.5  2155859968 unknown 63.2  39.3  1946169344
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 137    100    637550592 unknown: overapproxcex 60.0  39.1  1977188352 unknown 60.3  39.3  2140504064
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 9.31 4.98 228179968 unknown: overapproxcex 8.65 4.60 253698048 unknown 8.41 4.47 248737792
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.36 4.02 225103872 unknown: overapproxcex 8.18 4.36 253988864 unknown 7.66 4.05 244928512
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 10.9  5.98 271601664 unknown: overapproxcex 8.31 4.46 251969536 unknown 7.90 4.22 245653504
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 126    94.8  656490496 unknown: overapproxcex 79.1  48.4  2174750720 unknown 75.5  48.9  2166169600
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 181    143    1165291520 unknown: overapproxcex 69.7  42.4  2175770624 unknown 70.0  41.7  2172493824
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 57.9  39.3  449232896 unknown: overapproxcex 53.9  33.4  1986195456 unknown 52.6  32.4  2094780416
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 183    142    2014318592 unknown: overapproxcex 96.6  58.8  2175262720 unknown 84.1  53.6  2167443456
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 180    149    1805512704 unknown: overapproxcex 89.8  53.5  2180952064 unknown 82.4  51.2  2185072640
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 181    138    1428357120 unknown: overapproxcex 83.6  50.8  2172268544 unknown 87.1  52.7  2164432896
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown: overapproxcex 130    94.2  705282048 unknown: overapproxcex 77.2  47.4  2176077824 unknown 72.7  46.6  2162225152
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 185    152    1742213120 unknown: overapproxcex 71.3  45.4  2192326656 unknown 78.2  46.8  2190737408
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 6.56 3.55 198778880 unknown: overapproxcex 8.47 4.52 250220544 unknown 7.61 4.11 247066624
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 12.9  7.09 284131328 unknown: overapproxcex 8.81 4.69 252882944 unknown 7.83 4.25 248434688
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown: overapproxcex 11.5  6.21 276213760 unknown: overapproxcex 9.08 4.86 254722048 unknown 8.64 4.69 248770560
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 19.7  11.1  340291584 unknown: overapproxcex 9.75 5.15 257703936 unknown 9.24 4.92 260485120
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.37 4.01 227172352 unknown: overapproxcex 8.33 4.45 252252160 unknown 7.74 4.18 248020992
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 9.12 4.91 235204608 unknown: overapproxcex 8.70 4.67 254279680 unknown 8.51 4.58 248004608
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 14.7  8.24 286380032 unknown: overapproxcex 8.64 4.60 248328192 unknown 8.34 4.40 249909248
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 22.3  12.3  342511616 unknown: overapproxcex 27.7  14.2  803049472 unknown 27.2  13.8  783704064
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 24.8  13.8  364597248 unknown: overapproxcex 32.1  16.4  743460864 unknown 28.3  14.4  798007296
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.0  11.5  339787776 unknown: overapproxcex 26.9  13.8  695582720 unknown 27.3  13.9  651939840
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 29.1  16.6  406269952 unknown: overapproxcex 27.8  14.2  811577344 unknown 27.6  14.1  759263232
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown: overapproxcex 16.8  9.24 313094144 unknown: overapproxcex 16.9  8.68 476168192 unknown 16.0  8.27 430120960
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 25.0  14.1  366157824 unknown: overapproxcex 19.3  9.88 562593792 unknown 18.8  9.66 533127168
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.70 4.20 227115008 unknown: overapproxcex 8.16 4.43 249659392 unknown 8.08 4.26 247746560
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 9.40 5.14 232685568 unknown: overapproxcex 9.16 4.89 250798080 unknown 8.29 4.43 248844288
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 13.1  7.20 285720576 unknown: overapproxcex 8.63 4.67 253992960 unknown 8.40 4.50 249315328
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 9.88 5.43 243326976 unknown: overapproxcex 8.94 4.72 252997632 unknown 8.07 4.34 248180736
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.49 4.55 232091648 unknown: overapproxcex 8.15 4.45 250097664 unknown 7.86 4.18 246329344
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 15.2  8.21 283676672 unknown: overapproxcex 9.14 4.86 251924480 unknown 8.13 4.36 249421824
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.11 3.81 217731072 false(valid-deref) 9.05 4.84 251273216 unknown 7.71 4.09 241098752
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 11.6  6.18 272551936 true 9.68 5.22 247046144 unknown 7.60 4.11 243822592
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 7.23 3.97 223383552 false(valid-deref) 9.35 4.95 252010496 unknown 7.65 4.10 245657600
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 11.6  6.35 275263488 true 10.6  5.57 249417728 unknown 7.80 4.21 245428224
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.20 3.88 224194560 false(valid-deref) 8.91 4.75 253046784 unknown 8.11 4.27 244355072
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.79 3.75 216477696 false(valid-deref) 9.14 4.87 252039168 unknown 7.61 4.11 246050816
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 11.4  6.16 275259392 true 9.68 5.21 251375616 unknown 7.81 4.18 250068992
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 6.99 3.85 223182848 false(valid-deref) 8.89 4.80 250155008 unknown 7.68 4.13 243924992
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 11.6  6.34 273420288 true 10.0  5.41 250175488 unknown 7.66 4.11 243183616
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.31 3.92 223223808 false(valid-deref) 8.93 4.80 249221120 unknown 7.87 4.19 245485568
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 11.5  6.21 276684800 true 9.95 5.28 252080128 unknown 7.50 4.01 245190656
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 11.0  5.99 276189184 true 10.3  5.51 254341120 unknown 7.62 4.10 245690368
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 15.4  8.46 305545216 false(valid-deref) 62.7  37.7  1820602368 unknown 59.7  36.6  2101178368
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 18.5  10.3  333119488 false(valid-free) 65.9  41.0  2029846528 unknown 59.3  36.5  2032386048
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 182    147    718938112 false(valid-free) 97.6  62.8  2189602816 unknown 82.8  52.8  2164768768
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 32.8  20.2  437878784 false(valid-deref) 159    132    2197192704 unknown 167    135    2194444288
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 40.0  24.6  464711680 false(valid-deref) 93.2  70.1  2207526912 unknown 88.1  68.6  2214178816
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.78 4.72 229859328 unknown: overapproxcex 78.0  59.7  2183475200 unknown 83.4  61.1  2168827904
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 186    148    912011264 unknown: overapproxcex 40.0  21.0  1027289088 unknown 31.7  16.3  1028390912
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 186    149    824623104 false(valid-deref) 42.8  24.2  1139908608 unknown 43.2  23.7  1377824768
memsafety/960521-1_false-valid-free.i timeout (error (143)) 182    161    659726336 false(valid-free) 47.7  27.2  1323491328 unknown 48.5  25.9  1436729344
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 186    165    717787136 true 93.1  53.9  1635074048 unknown 43.8  24.3  1340866560
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 87.3  51.0  1128996864 timeout (error (143)) 181    148    2203049984 timeout (error (143)) 183    152    2203561984
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 17.3  9.72 307130368 false(valid-deref) 68.6  43.1  2075729920 unknown 69.1  44.0  1961603072
memsafety/test-0019_true-valid-memsafety_true-termination.i true 21.1  12.3  354349056 false(valid-deref) 19.7  10.1  684498944 unknown 19.4  10.0  632459264
memsafety/test-0158_false-valid-free.i false(valid-free) 11.7  6.29 269471744 false(valid-free) 122    91.7  2206146560 unknown 112    88.5  2182189056
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 8.27 4.45 226738176 unknown: overapproxcex 32.4  18.0  1345421312 unknown 38.4  19.8  1373392896
memsafety/test-0158_true-valid-memsafety_true-termination.i true 10.6  5.98 274255872 true 35.9  19.2  1198075904 unknown 33.3  18.0  1153454080
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 182    157    930594816 false(valid-deref) 89.8  63.9  2204708864 unknown 85.2  62.3  2176163840
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 135 8690 6670 66452869120 135 8800 5930 184112173056 135 7650 5190 178821218304
local summary 5400 3420 8660 3000 7650 2630
    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