Tool ULTIMATE Automizer 0.1.23-4cf2d922
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-03-28 12:00:36 CEST
Run set Automizer AutomizerHeapSep
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Fixed_noBitfields+AI_EQ_SS.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 9.42 3.81 261206016 timeout (error (143)) 181    145    2218123264
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 7.90 3.27 231174144 false(valid-deref) 43.7  23.7  1033338880
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 10.7  4.09 279130112 timeout (error (143)) 181    146    2227372032
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.43 2.95 232095744 false(valid-deref) 106    84.0  2143547392
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 20.7  8.66 363913216 false(valid-deref) 22.0  7.51 564043776
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 13.2  5.03 300318720 false(valid-deref) 21.5  7.40 525914112
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.50 2.95 235503616 timeout (error (143)) 182    157    2183241728
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.30 3.29 240709632 false(valid-deref) 93.0  68.6  2058342400
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 18.8  8.25 366575616 false(valid-deref) 33.5  11.3  816197632
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.59 3.42 238649344 false(valid-deref) 40.1  20.4  1252925440
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.5  4.52 297238528 timeout (error (143)) 182    129    2282221568
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 22.5  9.52 362323968 timeout (error (143)) 181    146    2262577152
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.97 3.87 264163328 timeout (error (143)) 184    154    2204327936
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 16.0  6.31 290263040 timeout (error (143)) 180    144    2241986560
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 11.5  4.20 290770944 timeout (error (143)) 181    150    2234150912
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 8.63 3.43 236142592 false(valid-deref) 49.5  21.5  1308893184
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.35 2.95 234258432 false(valid-deref) 9.10 3.52 277696512
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    158    1959698432 timeout (error (143)) 182    147    2209579008
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 18.6  7.28 368939008 true 60.6  26.1  1508794368
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 18.9  7.35 346955776 true 176    140    2252668928
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 17.9  7.01 360665088 error: exception 39.1  14.2  1183944704
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    129    1025818624 timeout (error (143)) 180    120    2167611392
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    130    786210816 error: exception 39.3  15.1  1185796096
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 183    151    615526400 timeout (error (143)) 181    142    2201571328
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 22.2  9.83 367321088 error: exception 98.4  61.4  2135805952
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 72.0  50.6  558129152 timeout (error (143)) 182    147    2219544576
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    144    774963200 timeout (error: exception) 180    140    2143178752
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 56.9  32.7  516997120 timeout (error (143)) 181    151    2075455488
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.1  8.29 365666304 error: exception 39.4  16.7  947425280
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    151    685318144 timeout (error (143)) 181    147    2220769280
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 71.5  50.9  557166592 timeout (error (143)) 181    149    2021343232
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 180    141    642367488 timeout (error (143)) 180    143    2237710336
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 101    71.9  641548288 timeout (error (143)) 181    143    2224918528
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 177    151    687202304 timeout (error (143)) 182    146    2236563456
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    143    681852928 timeout (error (143)) 181    121    2317754368
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 24.1  9.94 383143936 true 110    71.2  2227376128
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    131    946712576 timeout (error (143)) 181    123    2238394368
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 35.6  17.1  441114624 timeout (error (143)) 181    142    2249748480
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 27.6  17.3  353112064 timeout (error (143)) 181    137    2212093952
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    160    494940160 timeout (error (143)) 181    139    1598087168
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    153    608026624 timeout (error (143)) 181    148    810496000
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    159    556793856 timeout (error (143)) 181    152    727199744
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    152    582815744 timeout (error (143)) 181    137    1474457600
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    146    815460352 error: exception 166    126    2204282880
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error: exception 16.9  6.49 324567040 error: exception 60.3  33.2  1508147200
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    142    634589184 timeout (error (143)) 181    141    2194845696
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 67.9  47.7  536334336 timeout (error (143)) 181    150    2166108160
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    147    758886400 timeout (error (143)) 181    149    2060984320
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 87.3  63.0  537911296 timeout (error (143)) 180    149    2210701312
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    144    670965760 timeout (error (143)) 181    143    2251591680
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.7  8.78 362250240 error: exception 39.5  15.4  1001254912
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    152    591663104 timeout (error (143)) 181    144    2222546944
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 50.6  30.7  534495232 timeout (error (143)) 181    152    2058760192
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    145    611938304 timeout (error (143)) 180    146    2245144576
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 21.8  9.27 383361024 error: exception 56.1  24.9  1380880384
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 83.9  63.2  540327936 timeout (error (143)) 181    146    1930117120
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    160    568909824 timeout (error (143)) 181    145    2207887360
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 182    155    540368896 timeout (error (143)) 180    146    2233815040
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 186    180    1779060736 timeout (error (143)) 186    180    1794715648
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 22.2  9.16 374382592 true 85.7  47.1  1983115264
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 19.8  8.48 362340352 true 22.7  8.74 402407424
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 20.9  8.68 371564544 error: exception 27.0  9.31 722993152
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 25.0  12.1  379338752 timeout (error (143)) 180    144    2224754688
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 83.4  58.0  645607424 timeout (error (143)) 183    150    2208010240
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 181    149    681582592 timeout (error (143)) 181    145    1923395584
array-examples/relax_false-valid-deref.i false(valid-deref) 12.3  4.63 299143168 false(valid-deref) 49.1  21.7  1354735616
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 181    133    900599808 timeout (error (143)) 180    134    947458048
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 181    128    1297928192 timeout (error (143)) 181    126    1400963072
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 180    140    1003257856 timeout (error (143)) 180    141    1039368192
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 181    148    732545024 false(valid-deref) 76.6  47.2  1649393664
memsafety/test-0137_false-valid-deref.i unknown 6.43 2.54 195387392 unknown 6.57 2.56 195215360
memsafety/test-0235_false-valid-deref.i error: exception 17.5  6.66 426987520 timeout (error (143)) 181    122    2614939648
memsafety/960521-1_false-valid-free.i timeout (error (143)) 181    148    730595328 false(valid-free) 78.3  43.8  1686818816
memsafety/test-0158_false-valid-free.i false(valid-free) 13.7  4.93 313397248 false(valid-free) 53.3  26.1  1331298304
memsafety/test-0232_false-valid-free.i unknown 6.38 2.49 192888832 unknown 6.57 2.54 195772416
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 186    180    1727602688 timeout (error (143)) 186    179    1556709376
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 186    132    1046454272 unknown: overapproxcex 137    103    2264555520
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 65.7  27.3  1063337984 error: exception 85.3  62.6  1776201728
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 22.3  7.71 405880832 error: exception 120    88.2  2027638784
memsafety/lockfree-3.3_false-valid-memtrack.i timeout (error (143)) 182    114    3280392192 error: exception 118    92.7  1984831488
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.4  9.68 392794112 false(valid-deref) 165    138    1771585536
memsafety/test-0102_false-valid-memtrack.i error: exception 7.28 2.72 210710528 error: exception 7.39 2.68 208039936
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.3  4.12 280207360 unknown: overapproxcex 30.3  11.9  779788288
memsafety/test-0220_false-valid-memtrack.i timeout 204    116    4061392896 false(valid-deref) 84.1  45.1  2209304576
memsafety/test-0232_false-valid-memtrack.i unknown 6.55 2.82 192684032 unknown 6.66 2.48 196575232
memsafety/test-0234_false-valid-memtrack.i error: exception 19.6  8.39 345595904 timeout (error (143)) 181    128    2496098304
memsafety/test-0235_false-valid-memtrack.i error: exception 17.3  6.52 368316416 timeout (error (143)) 181    120    2565210112
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 181    146    718970880 false(valid-free) 80.6  45.3  1692073984
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 155    96.5  2419224576 timeout (error (143)) 184    156    1742729216
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 23.8  11.0  412377088 false(valid-deref) 31.3  10.7  700293120
memsafety/test-0102_true-valid-memsafety.i error: exception 7.14 2.71 212430848 error: exception 7.19 2.73 209510400
memsafety/test-0134_true-valid-memsafety.i unknown 6.58 2.54 193462272 unknown 6.95 2.65 197312512
memsafety/test-0158_true-valid-memsafety_true-termination.i true 13.4  5.73 304447488 error: exception 37.1  14.2  920440832
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 6.87 2.59 198156288 error: exception 6.84 2.59 194732032
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 6.71 2.62 196145152 error: exception 7.00 2.63 199413760
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 6.87 2.61 197763072 error: exception 6.87 2.60 201494528
memsafety/test-0219_true-valid-memsafety.i timeout 204    98.5  5073383424 false(valid-deref) 79.3  46.9  2203115520
memsafety/test-0232_true-valid-memsafety.i unknown 6.08 2.40 194785280 unknown 6.38 2.48 195993600
memsafety/test-0234_true-valid-memsafety.i error: exception 20.0  10.1  365600768 timeout (error (143)) 181    125    2486579200
memsafety/test-0235_true-valid-memsafety.i error: exception 19.5  8.51 342425600 timeout (error (143)) 181    119    2561736704
memsafety/test-0236_true-valid-memsafety.i error: exception 18.2  8.15 343126016 timeout (error (143)) 181    128    2514726912
memsafety/test-0237_true-valid-memsafety.i error: exception 19.4  8.85 365236224 timeout (error (143)) 181    124    2528866304
memsafety/test-0504_true-valid-memsafety.i error: exception 6.32 2.47 191590400 error: exception 6.59 2.54 192995328
memsafety/test-0513_true-valid-memsafety.i error: exception 6.56 2.52 192778240 error: exception 6.76 2.53 197058560
memsafety/test-0521_true-valid-memsafety.i unknown 6.83 2.81 194662400 unknown 6.57 2.56 195563520
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 181    148    647016448 false(valid-deref) 79.7  50.0  1908510720
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 181    156    601894912 timeout (error (143)) 186    159    2194571264
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.53 2.53 195006464 unknown 6.99 2.54 195919872
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.60 2.49 199802880 unknown 6.52 2.52 194998272
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i error: exception 6.96 2.61 203444224 error: exception 6.99 2.72 202211328
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i error: exception 6.37 2.40 195960832 error: exception 6.50 2.46 195489792
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 180    144    667078656 timeout (error (143)) 186    158    2194128896
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i error: exception 6.58 2.53 195399680 error: exception 6.54 2.46 201351168
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i error: exception 5.50 2.16 185458688 error: exception 6.59 2.52 197267456
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 6.70 2.59 195207168 error: exception 6.57 2.55 195829760
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 6.52 2.44 193695744 error: exception 6.49 2.50 195493888
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error: exception 6.30 2.49 199520256 error: exception 6.53 2.54 200421376
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 181    156    649244672 timeout (error (143)) 186    159    1942339584
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 181    147    617512960 timeout (error (143)) 184    154    1798705152
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 6.27 2.49 195096576 error: exception 6.61 2.56 197648384
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error: exception 6.22 2.46 196481024 error: exception 6.85 2.84 192180224
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 181    148    2150158336 timeout (error (143)) 185    161    2025582592
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 181    150    622792704 timeout (error: exception) 182    153    1962655744
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 6.54 2.50 194842624 error: exception 6.64 2.51 199233536
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 17.6  7.37 360624128 false(valid-deref) 122    83.4  2215071744
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 181    145    618377216 timeout (error (143)) 186    160    2202574848
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 16.7  6.40 333615104 timeout (error (143)) 185    149    2244390912
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 24.8  12.1  394326016 false(valid-free) 121    83.3  2093330432
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 13.1  4.93 294690816 false(valid-free) 174    147    2215931904
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 37.7  19.5  513904640 timeout (error (143)) 182    156    2048663552
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.6  4.12 282279936 error: exception 100    77.5  1925320704
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.51 2.51 195584000 unknown 6.41 2.41 196108288
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 183    153    538681344 false(valid-free) 115    75.8  2233389056
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 180    138    698527744 timeout (error (143)) 185    157    2203488256
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 181    148    628768768 timeout (error (143)) 186    154    2214498304
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 181    154    591478784 timeout (error (143)) 181    152    2222886912
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 44.1  25.1  510414848 false(valid-deref) 62.9  38.5  1636950016
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 13.2  5.26 300285952 timeout (error (143)) 181    157    1918164992
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 7.10 2.76 194670592 error: exception 6.90 2.54 200048640
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 7.40 3.27 198295552 error: exception 6.87 2.53 198307840
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 7.05 3.11 194707456 unknown 6.49 2.52 198529024
list-ext-properties/test-0504_1_true-valid-memsafety.i error: exception 6.92 3.36 189054976 error: exception 6.61 2.54 196067328
list-ext-properties/test-0513_1_true-valid-memsafety.i error: exception 7.27 3.26 196046848 error: exception 6.52 2.49 197599232
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 18.9  8.73 290967552 timeout (error (143)) 185    156    2223968256
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 11.5  5.11 277807104 false(valid-deref) 152    116    2243403776
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 14.0  5.72 297168896 false(valid-deref) 152    119    2244198400
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 9.04 3.77 237260800 false(valid-deref) 42.5  17.1  1158434816
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 9.42 4.94 236470272 false(valid-deref) 51.6  23.4  1463173120
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 181    131    2214084608 timeout (error (143)) 183    120    1346211840
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 181    129    2242080768 timeout (error (143)) 183    120    1096781824
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.01 3.33 233181184 false(valid-deref) 9.06 3.60 278093824
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.33 3.53 237260800 false(valid-deref) 10.2  3.78 288559104
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 8.19 3.41 236376064 false(valid-deref) 9.54 3.70 282677248
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.31 3.55 238870528 false(valid-deref) 10.4  3.98 288829440
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 8.60 5.08 237268992 false(valid-deref) 9.63 3.60 286183424
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 8.03 4.31 233201664 false(valid-deref) 9.45 3.68 284495872
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 181    168    567926784 false(valid-deref) 155    124    2239963136
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 186    145    2295447552 true 135    84.1  979980288
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (error (143)) 180    123    2255331328 timeout (error (143)) 180    118    1258524672
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (error (143)) 186    143    2301542400 true 136    87.8  1008320512
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (error (143)) 181    128    2247651328 timeout (error (143)) 181    120    1726926848
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (error (143)) 181    124    2230046720 timeout (error (143)) 182    118    1122729984
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 10.1  3.82 292794368 timeout (error (143)) 184    161    2244706304
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 9.95 3.77 288276480 timeout (error (143)) 183    160    2242641920
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.58 3.36 242499584 true 180    158    2241445888
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 17.7  7.65 373051392 true 10.5  4.02 298549248
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 27.7  13.7  443305984 true 10.8  4.09 290979840
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 18.6  7.72 384774144 true 10.2  3.97 291586048
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 28.2  13.9  449159168 true 11.8  4.32 296353792
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 29.6  14.3  444149760 true 10.5  4.05 290127872
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 29.6  14.3  448557056 true 10.6  4.06 295018496
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 6.71 2.60 200228864 error: exception 7.14 2.61 199741440
ldv-memsafety/memleaks_test22_3_false-valid-deref.i error: exception 7.16 2.70 197136384 error: exception 7.10 2.60 198664192
ldv-memsafety/memleaks_test22_5_false-valid-deref.i error: exception 7.04 2.67 201003008 error: exception 7.08 2.64 201777152
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.98 2.64 198762496 unknown 6.98 2.67 203915264
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 7.02 2.65 200392704 unknown 7.32 2.84 201023488
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 6.89 2.63 198385664 error: exception 6.93 2.57 201998336
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 7.14 2.65 201105408 error: exception 7.16 2.64 204390400
ldv-memsafety/memleaks_test17_2_false-valid-free.i error: exception 7.01 2.59 201207808 error: exception 6.86 2.58 202440704
ldv-memsafety/memleaks_test19_false-valid-free.i error: exception 7.08 2.69 199208960 error: exception 6.90 2.75 203640832
ldv-memsafety/memleaks_test1_false-valid-free.i error: exception 7.14 2.62 201633792 error: exception 6.89 2.66 201334784
ldv-memsafety/memleaks_test3_false-valid-free.i error: exception 6.97 2.69 202366976 error: exception 7.11 2.70 201109504
ldv-memsafety/memleaks_test6_2_false-valid-free.i error: exception 7.00 2.62 199430144 error: exception 6.92 2.60 197230592
ldv-memsafety/memleaks_test8_2_false-valid-free.i error: exception 6.78 2.77 198811648 error: exception 6.90 2.64 204128256
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 7.35 2.73 201084928 error: exception 6.92 2.64 202723328
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 7.11 2.69 200351744 error: exception 7.11 2.67 203001856
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 7.04 2.68 201265152 error: exception 6.82 2.74 198676480
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 7.16 2.76 204673024 error: exception 6.91 2.64 203603968
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 7.01 2.63 200044544 error: exception 7.07 2.65 205037568
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 7.16 2.70 199909376 error: exception 6.95 2.64 204451840
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error: exception 7.15 2.62 200830976 error: exception 7.15 2.79 201797632
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 7.14 2.75 198524928 error: exception 6.81 2.54 201777152
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 7.00 2.69 197230592 error: exception 7.16 2.70 203534336
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error: exception 7.07 2.71 199626752 error: exception 6.95 2.59 201011200
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error: exception 6.89 2.71 202227712 error: exception 7.29 2.82 205332480
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i error: exception 7.23 2.67 200556544 error: exception 7.23 2.68 202018816
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error: exception 7.07 2.67 197132288 error: exception 6.98 2.67 200118272
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i error: exception 7.11 2.71 199307264 error: exception 6.89 2.57 204443648
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i error: exception 6.83 2.76 194818048 error: exception 6.95 2.57 202620928
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 7.11 2.74 202129408 error: exception 7.00 2.70 203792384
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 7.13 2.68 200613888 error: exception 6.93 2.60 201359360
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i error: exception 7.15 2.77 200212480 error: exception 6.94 2.74 204619776
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i error: exception 7.11 2.77 198463488 error: exception 6.86 2.67 201347072
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i error: exception 6.95 2.69 198279168 error: exception 7.00 2.71 205520896
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i error: exception 7.14 2.69 197808128 error: exception 7.10 2.67 201494528
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i error: exception 7.00 2.65 198197248 error: exception 6.91 2.65 200908800
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i error: exception 7.05 2.65 196444160 error: exception 6.92 2.61 199708672
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i error: exception 7.06 2.73 201908224 error: exception 7.00 2.62 201908224
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i error: exception 7.20 2.73 203210752 error: exception 6.84 2.61 202022912
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i error: exception 6.91 2.91 202190848 error: exception 6.94 2.57 201531392
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i error: exception 6.68 2.57 201035776 error: exception 6.72 2.67 202854400
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i error: exception 6.85 2.71 196222976 error: exception 7.23 2.67 202739712
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i error: exception 6.98 2.54 198111232 error: exception 6.96 2.63 197881856
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 7.09 2.64 200982528 error: exception 7.36 2.78 201019392
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 7.24 2.65 193089536 error: exception 7.21 2.72 200749056
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 7.04 2.76 201818112 error: exception 7.40 2.87 207720448
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 7.14 2.64 197206016 error: exception 7.20 2.64 203100160
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 7.21 2.72 199892992 error: exception 7.26 2.69 202440704
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error: exception 7.12 2.79 203497472 error: exception 7.24 2.66 204898304
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 6.84 2.66 198565888 error: exception 7.18 2.65 202297344
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i error: exception 7.01 2.65 200515584 error: exception 6.90 2.58 202059776
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error: exception 7.26 2.77 201461760 error: exception 7.19 2.74 201089024
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i error: exception 6.76 2.62 197185536 error: exception 7.30 2.67 201535488
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 6.87 2.65 201170944 error: exception 7.40 2.79 203816960
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i error: exception 7.03 2.58 195641344 error: exception 7.31 2.70 202174464
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 7.16 2.73 200355840 error: exception 7.35 2.72 197115904
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 7.07 2.70 199262208 error: exception 7.33 2.68 203694080
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i error: exception 6.93 2.65 196788224 error: exception 7.23 2.70 200699904
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i error: exception 7.14 2.65 199606272 error: exception 7.27 2.69 203644928
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i error: exception 7.27 2.72 199999488 error: exception 7.30 2.68 199618560
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.96 2.72 198082560 unknown 7.28 2.68 200384512
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.92 2.66 198148096 unknown 7.10 2.74 206082048
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i error: exception 7.20 2.66 201662464 error: exception 7.17 2.67 203599872
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i error: exception 6.87 2.82 194994176 error: exception 7.33 2.78 204120064
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i error: exception 6.99 2.64 200486912 error: exception 7.32 2.70 204251136
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i error: exception 7.16 2.69 195096576 error: exception 7.37 2.88 203448320
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i error: exception 7.11 2.62 201519104 error: exception 7.07 2.65 202129408
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i error: exception 6.99 2.71 201101312 error: exception 6.92 2.67 204394496
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i error: exception 6.57 2.59 194953216 error: exception 7.12 2.63 202784768
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 10.1  3.97 279031808 error: exception 50.1  26.0  1294028800
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 20.6  9.13 379232256 false(valid-deref) 79.0  56.4  1719803904
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i timeout (error (143)) 181    170    508395520 false(valid-deref) 86.3  61.8  1952247808
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i timeout (error (143)) 181    166    897761280 false(valid-deref) 97.2  75.3  2046021632
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i timeout (error (143)) 181    169    928997376 false(valid-deref) 55.4  29.7  1368354816
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 10.5  4.00 272572416 error: exception 42.0  24.2  1419419648
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i timeout (error (143)) 181    166    576253952 false(valid-deref) 92.2  65.6  2081140736
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.5  4.43 295907328 timeout (error (143)) 186    163    2169094144
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error: exception 40.3  30.1  2175758336 false(valid-deref) 55.4  28.9  1516015616
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i timeout (error (143)) 181    165    583311360 false(valid-deref) 143    119    2205171712
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 6.71 2.57 198995968 unknown 6.97 2.63 201375744
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 6.76 2.57 198377472 error: exception 6.88 2.55 196939776
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.77 2.58 199036928 unknown 6.61 2.44 194334720
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.58 2.58 197455872 unknown 6.56 2.55 199110656
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.63 2.51 203460608 unknown 6.77 2.54 201039872
heap-manipulation/tree_false-valid-deref.i unknown 6.44 2.52 199667712 unknown 6.50 2.54 196644864
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error: exception 6.42 2.51 198385664 error: exception 6.52 2.62 200073216
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 6.39 2.49 195104768 error: exception 6.77 2.57 200241152
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error: exception 6.51 2.51 194494464 error: exception 6.59 2.55 198156288
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 180    149    638033920 timeout (error (143)) 186    157    2211762176
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    144    602406912 timeout (error (143)) 184    153    2216087552
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 11.8  4.34 298442752 timeout (error (143)) 186    158    2202943488
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 18.0  7.04 348372992 timeout (error (143)) 182    154    2117775360
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.3  5.83 328523776 timeout (error (143)) 181    157    1919864832
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.8  6.26 330653696 timeout (error (143)) 183    156    2220474368
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 13.6  4.85 309047296 timeout (error (143)) 186    157    2205437952
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.48 2.78 228519936 unknown 8.34 3.50 225099776
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.30 2.73 224714752 unknown 8.03 3.06 239595520
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.32 2.68 221454336 unknown 7.56 2.92 225009664
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.28 2.72 235802624 unknown 7.87 3.02 224714752
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.33 2.79 222724096 unknown 7.51 4.00 222547968
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.48 2.80 227319808 unknown 7.73 3.08 238866432
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.43 2.74 227672064 unknown 7.79 2.88 242380800
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.25 2.76 222773248 unknown 7.66 3.11 225497088
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.17 2.68 224772096 unknown 7.31 2.82 225439744
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 7.29 2.67 236748800 unknown 8.36 3.32 222466048
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.15 2.62 225210368 unknown 7.51 3.23 223158272
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.29 2.80 227708928 unknown 7.31 2.83 224071680
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.48 2.74 227221504 unknown 7.68 2.89 236978176
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.55 2.56 195670016 error: exception 6.94 2.89 197517312
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.87 2.64 195182592 error: exception 6.60 4.04 199462912
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 6.44 2.57 195334144 error: exception 6.98 2.79 199548928
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i error: exception 6.37 2.54 198602752 error: exception 7.11 3.03 198709248
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error: exception 6.62 2.61 194379776 error: exception 6.72 2.67 196931584
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 6.38 2.57 192479232 error: exception 6.84 2.71 202727424
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error: exception 6.32 2.42 193970176 error: exception 6.64 2.65 196231168
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 6.29 2.52 196845568 error: exception 6.86 2.83 201404416
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.47 2.41 195387392 error: exception 6.75 2.70 199753728
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.44 2.55 197926912 error: exception 7.22 2.87 199520256
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 102    72.9  600117248 timeout (error (143)) 181    154    2222075904
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.87 2.62 195006464 error: exception 6.62 2.74 196542464
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 6.53 2.47 194867200 error: exception 6.46 2.67 203116544
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i error: exception 6.33 2.48 191791104 error: exception 6.51 2.80 195080192
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    146    668282880 timeout (error (143)) 186    159    2204737536
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    142    630693888 timeout (error (143)) 186    163    2195927040
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i error: exception 6.67 2.58 197554176 error: exception 6.43 2.49 198119424
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 6.82 2.62 199843840 error: exception 6.88 2.54 201584640
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.40 2.51 197054464 error: exception 6.69 2.60 198586368
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 6.78 2.55 197033984 error: exception 6.42 2.54 198303744
forester-heap/sll-01_false-unreach-call_false-valid-deref.i error: exception 6.67 2.57 194748416 error: exception 6.63 2.60 200634368
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 19.6  7.84 374280192 timeout (error (143)) 186    159    2234638336
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 181    138    1572438016 timeout (error (143)) 180    138    1800417280
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.27 3.01 252174336 unknown 8.85 3.09 252596224
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 7.93 2.91 238223360 error: exception 8.01 2.95 248279040
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.5  5.64 386056192 true 16.6  6.09 401694720
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.5  5.68 393801728 true 16.5  5.99 402354176
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.4  4.78 305741824 true 13.9  5.05 330547200
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.9  4.64 295260160 true 13.8  5.03 328994816
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.5  4.60 297078784 error: exception 13.0  4.73 309272576
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.6  5.28 326246400 true 14.4  5.34 323489792
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.0  5.09 335794176 true 15.1  5.47 328990720
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.1  3.77 268185600 true 10.9  4.00 293711872
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.7  4.31 299114496 true 12.6  4.58 297578496
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.1  4.40 299757568 true 12.4  4.62 295485440
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.78 3.10 234463232 true 8.26 3.27 235311104
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.04 3.16 235278336 true 8.18 3.21 234614784
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.06 3.12 231784448 true 8.82 3.39 237711360
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 7.96 3.21 233369600 true 8.27 3.30 239865856
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.31 3.23 235982848 true 9.05 3.50 237350912
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.48 3.16 234315776 true 8.87 3.49 235438080
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.46 3.27 237105152 true 9.16 3.66 237916160
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 7.98 3.19 232472576 true 8.71 3.55 236101632
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.34 2.93 229236736 true 8.01 3.08 234168320
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.58 2.99 233701376 true 8.01 3.09 237707264
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.67 3.03 233082880 true 8.30 3.26 233795584
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.53 3.07 229609472 true 7.95 3.15 235741184
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.72 3.02 232460288 true 7.97 3.05 237842432
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 15500 11300 145795760128 326 22500 16800 317171134464
local summary 9430 5670 21500 8410
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set Automizer AutomizerHeapSep