Tool ULTIMATE Automizer 0.1.23-c17473d0
Limits timelimit: 240 s, memlimit: 6000 MB, CPU core limit: 4
Host hetzner
OS Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial
System CPU: Intel Core i7-4770 CPU @ 3.40GHz, cores: 8, frequency: 3900 MHz, Turbo Boost: enabled; RAM: 33593 MB
Date of execution 2018-02-04 11:59:08 CET
Run set Camel SmtInterpolCraig SmtInterpolNoArray z3
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_Array.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_NoArray.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_z3.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage 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) 6.07 2.42 249315328 false(valid-deref) 5.96 2.29 258220032 false(valid-deref) 5.86 2.43 258228224 false(valid-deref) 6.18 2.43 287612928
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 5.42 2.31 248164352 false(valid-deref) 5.42 2.11 253431808 false(valid-deref) 5.50 2.25 255176704 false(valid-deref) 5.39 2.16 249630720
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 5.98 2.43 259756032 false(valid-deref) 6.03 2.32 254734336 false(valid-deref) 6.11 2.31 260263936 false(valid-deref) 6.75 2.49 302104576
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 5.23 2.29 219836416 false(valid-deref) 4.98 1.95 225980416 false(valid-deref) 4.99 2.00 222773248 false(valid-deref) 5.00 2.03 217391104
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 12.0  5.20 358469632 false(valid-deref) 9.68 3.72 341168128 false(valid-deref) 11.1  4.64 367616000 error: exception 8.10 3.00 323219456
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 8.34 3.23 321519616 false(valid-deref) 8.34 3.08 325095424 false(valid-deref) 8.25 3.12 323457024 error: exception 7.83 2.86 297431040
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 4.96 1.89 224165888 false(valid-deref) 5.14 2.01 225566720 false(valid-deref) 5.16 1.99 226418688 false(valid-deref) 4.76 1.95 222801920
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 5.05 1.95 224927744 false(valid-deref) 4.99 2.06 223424512 false(valid-deref) 4.69 1.91 227094528 false(valid-deref) 4.58 1.87 221761536
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 11.5  4.81 373071872 false(valid-deref) 10.2  4.01 347148288 false(valid-deref) 11.8  4.93 368832512 error: exception 8.14 3.32 309948416
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 5.43 2.16 256970752 false(valid-deref) 5.62 2.40 253521920 false(valid-deref) 5.44 2.17 255549440 false(valid-deref) 6.00 2.27 255619072
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 6.84 2.59 270716928 false(valid-deref) 6.59 2.60 273801216 false(valid-deref) 7.24 2.76 265494528 error: exception 5.87 2.30 229769216
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 12.6  4.83 364806144 false(valid-deref) 10.8  4.26 374505472 false(valid-deref) 10.5  3.86 346656768 error: exception 6.81 2.72 293187584
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 6.56 2.61 268259328 unknown 5.24 2.10 222580736 unknown 5.08 2.26 223621120 false(valid-deref) 6.82 2.64 281554944
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 7.42 3.01 257675264 false(valid-deref) 7.20 2.95 257032192 false(valid-deref) 7.49 2.79 261386240 false(valid-deref) 11.0  4.07 425791488
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 6.43 2.53 252547072 false(valid-deref) 6.85 2.73 262279168 false(valid-deref) 6.85 2.58 254984192 false(valid-deref) 8.26 2.98 335966208
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 5.54 2.15 250339328 false(valid-deref) 5.25 2.10 248926208 false(valid-deref) 5.59 2.20 254590976 false(valid-deref) 6.22 2.42 269561856
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 4.84 1.98 214245376 false(valid-deref) 4.54 1.95 217636864 false(valid-deref) 5.00 2.01 226463744 false(valid-deref) 4.64 1.89 225808384
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 246    189    1380192256 timeout (error: exception) 241    188    2241073152 timeout (error (143)) 240    181    2241777664 error: exception 6.13 2.56 286023680
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 9.56 4.24 341958656 true 8.08 3.34 319967232 true 9.32 3.51 333393920 error: exception 6.48 2.52 305811456
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 9.69 3.77 331288576 true 8.67 3.28 341270528 true 9.85 3.87 343707648 error: exception 6.64 2.63 316899328
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 9.30 3.60 342536192 true 8.54 3.25 332734464 true 10.2  4.07 337203200 error: exception 6.73 2.57 309522432
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 9.11 3.43 331669504 true 9.18 3.38 319582208 true 9.20 3.53 324005888 error: exception 6.90 2.67 304390144
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 12.7  5.10 375443456 true 10.7  4.06 347164672 true 12.1  4.63 366870528 error: exception 6.76 2.71 311033856
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    211    1168289792 timeout (error: exception) 240    184    2228195328 timeout (error (143)) 242    191    3379822592 error: exception 6.73 2.69 277274624
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 11.6  4.87 366055424 true 10.5  4.04 355872768 true 12.5  5.83 340406272 error: exception 6.49 2.51 283701248
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 26.2  15.2  481382400 true 18.1  7.82 443146240 true 33.2  17.2  573493248 error: exception 6.84 2.60 292769792
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 15.3  6.87 430780416 true 14.2  5.60 403668992 timeout (error (143)) 241    179    2340417536 error: exception 7.00 2.62 299749376
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 24.9  13.2  479453184 true 17.5  7.19 449769472 true 23.3  11.8  509853696 error: exception 6.39 2.49 295596032
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 10.5  4.42 363413504 true 9.73 3.81 327671808 true 11.2  4.68 374480896 error: exception 7.50 2.80 290328576
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    199    742010880 timeout (error: exception) 241    195    2244333568 timeout (error (143)) 241    216    770072576 error: exception 8.27 3.06 318160896
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 24.2  12.3  495284224 true 17.6  7.72 445816832 true 22.7  10.6  509710336 error: exception 7.01 2.69 295784448
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 23.0  10.2  497029120 true 17.4  7.41 438374400 timeout (error (143)) 241    175    1662824448 error: exception 7.12 2.65 329244672
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 40.1  24.8  575303680 true 18.8  7.97 448458752 true 32.8  17.8  529821696 error: exception 6.43 2.57 293490688
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 52.0  35.5  588640256 true 18.6  7.88 512929792 true 60.7  42.1  583405568 error: exception 6.55 2.50 294023168
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 17.2  6.49 427814912 true 13.3  4.92 414953472 true 18.2  7.49 441421824 error: exception 5.16 2.12 227807232
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 13.2  5.68 404008960 true 12.3  4.73 364683264 true 13.8  5.57 382345216 error: exception 6.95 2.65 304779264
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 9.74 3.67 330461184 true 9.08 3.46 327516160 true 9.56 3.88 340254720 error: exception 7.45 2.81 329039872
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 23.7  11.5  468959232 true 19.7  8.35 488493056 true 18.7  8.19 459665408 error: exception 6.64 2.47 293289984
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 12.8  6.58 354971648 unknown 4.82 1.89 225468416 unknown 5.02 2.22 222138368 error: exception 6.37 2.61 286699520
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 11.6  4.81 387051520 true 10.6  4.10 354402304 true 13.2  5.46 398585856 error: exception 9.53 3.64 352751616
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 10.6  4.34 370151424 true 10.1  3.92 335933440 true 11.8  5.10 413188096 error: exception 6.88 2.70 310947840
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 20.1  12.3  414478336 true 22.6  15.2  393158656 true 11.6  4.62 361828352 error: exception 6.87 2.66 317620224
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 11.1  4.50 364167168 true 10.1  3.97 335618048 true 12.0  5.54 415563776 error: exception 8.28 3.26 320229376
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 14.9  6.21 399626240 true 12.5  5.13 387407872 timeout (error (143)) 241    178    2280329216 error: exception 6.21 2.45 281305088
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 69.9  39.6  806809600 true 53.2  25.4  864026624 timeout (error (143)) 240    181    1025298432 error: exception 7.80 2.90 324980736
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 242    174    4065804288 timeout (error (143)) 240    182    1883492352 timeout (error (143)) 241    199    1026445312 error: exception 6.89 2.67 286748672
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 25.1  12.7  526753792 true 18.4  7.97 452608000 true 33.4  15.7  575913984 error: exception 6.33 2.47 286564352
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 13.8  6.00 420536320 true 12.7  4.95 388685824 timeout (error (143)) 241    181    2192072704 error: exception 7.23 2.70 319606784
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 26.1  14.9  480002048 true 18.2  7.33 465485824 true 22.0  9.94 501313536 error: exception 6.82 2.51 303136768
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 44.3  21.7  638414848 true 48.4  20.3  698347520 true 163    110    884072448 error: exception 6.81 2.64 292397056
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 11.5  4.95 360218624 true 9.75 3.90 348315648 true 11.3  4.53 361893888 error: exception 7.31 2.75 294072320
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    200    665182208 timeout (error (143)) 241    187    2237808640 timeout (error (143)) 241    216    681136128 error: exception 7.94 3.05 319688704
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 27.5  13.7  518955008 true 19.7  7.82 473169920 true 29.2  13.4  588865536 error: exception 6.80 2.65 284319744
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 26.4  13.1  495501312 true 19.5  8.19 480993280 timeout (error (143)) 241    188    856424448 error: exception 7.58 2.97 310644736
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 13.9  5.62 427466752 true 12.2  4.69 357724160 true 14.3  5.62 433876992 error: exception 7.70 2.94 289034240
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 25.8  15.3  487510016 true 19.1  7.95 512602112 true 30.3  13.7  553353216 error: exception 6.14 2.42 287424512
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 28.4  16.1  502951936 true 21.7  9.16 521662464 true 28.9  15.3  535654400 error: exception 6.48 2.47 286375936
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    211    610738176 timeout (error: exception) 241    176    2291064832 timeout (error (143)) 241    166    1568489472 error: exception 7.12 2.78 310272000
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 20.6  13.8  397864960 true 9.91 3.92 360873984 true 12.1  5.26 426422272 error: exception 7.16 2.64 293433344
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 10.9  4.16 361590784 timeout (error (143)) 241    194    2275774464 true 13.5  5.92 404922368 error: exception 8.03 3.06 315715584
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 10.8  4.15 333004800 true 8.46 3.29 329969664 true 10.4  4.49 336015360 error: exception 6.48 2.48 303742976
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 11.1  4.25 350691328 true 8.86 3.30 333504512 true 10.3  4.08 337915904 error: exception 7.00 2.59 317833216
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 17.2  9.39 411758592 true 10.8  4.36 360562688 true 12.5  4.96 391376896 error: exception 7.43 2.75 294653952
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 27.5  14.1  526098432 true 20.4  8.81 502751232 true 52.4  31.1  640159744 error: exception 6.39 2.43 290881536
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 226    205    587587584 true 24.8  11.4  565129216 true 90.0  68.9  693608448 error: exception 6.75 2.62 291340288
array-examples/relax_false-valid-deref.i false(valid-deref) 5.81 2.28 260067328 false(valid-deref) 6.00 2.36 247660544 false(valid-deref) 6.20 2.50 255569920 false(valid-deref) 5.93 2.25 240291840
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 241    182    1333989376 timeout (error (143)) 241    184    2218418176 timeout (error (143)) 241    171    1036517376 timeout (error (143)) 240    195    993476608
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 241    187    1482764288 timeout (error (143)) 240    188    2253795328 timeout (error (143)) 241    182    1908187136 timeout (error (143)) 241    186    1257922560
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 241    180    1513754624 timeout (error (143)) 241    186    1815707648 timeout (error (143)) 241    181    2203115520 timeout (error (143)) 241    192    1166696448
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 242    216    861765632 timeout (error (143)) 241    192    1601601536 timeout (error (143)) 241    178    2317398016 error: exception 7.95 3.04 322895872
memsafety/test-0137_false-valid-deref.i false(valid-deref) 136    104    949669888 false(valid-deref) 45.1  20.7  782753792 false(valid-deref) 120    87.2  934998016 error: exception 13.1  4.88 383234048
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 240    226    519991296 unknown 8.28 3.02 309903360 unknown 8.22 3.05 307040256 timeout (error (143)) 242    217    907751424
memsafety/960521-1_false-valid-free.i timeout (error (143)) 246    222    875233280 timeout (error (143)) 241    192    1723056128 timeout (error (143)) 241    178    2316128256 error: exception 7.36 2.82 325881856
memsafety/test-0158_false-valid-free.i false(valid-free) 7.27 2.70 278241280 false(valid-free) 7.55 2.89 281051136 false(valid-free) 8.39 3.10 343752704 false(valid-free) 8.29 3.01 338534400
memsafety/test-0232_false-valid-free.i error: exception 86.9  55.2  858103808 false(valid-free) 69.3  39.2  1027338240 timeout (error (143)) 242    215    1335603200 error: exception 9.05 3.53 354164736
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 246    218    1113391104 false(valid-memtrack) 76.6  35.2  1238757376 timeout (error (143)) 241    201    1382432768 error: exception 11.2  4.01 402239488
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 246    209    821501952 false(valid-memtrack) 156    102    2288660480 timeout (error (143)) 240    165    2310537216 error: exception 7.25 2.77 316395520
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 31.7  12.6  683261952 false(valid-memtrack) 42.7  15.1  789831680 false(valid-memtrack) 37.0  13.4  664293376 error: exception 9.39 3.42 384000000
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 12.4  4.39 404746240 false(valid-memtrack) 10.2  3.64 359157760 false(valid-memtrack) 11.3  3.90 355921920 error: exception 9.85 3.66 347475968
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 51.7  23.3  960192512 false(valid-memtrack) 54.7  20.7  1505075200 false(valid-memtrack) 45.8  19.2  928710656 error: exception 10.0  3.58 341512192
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.8  4.09 344686592 false(valid-memtrack) 10.0  3.76 348393472 false(valid-memtrack) 9.54 3.79 331280384 error: exception 13.5  8.59 316465152
memsafety/test-0102_false-valid-memtrack.i timeout (error (143)) 242    200    1058394112 timeout (error (143)) 241    187    2319646720 timeout (error (143)) 242    206    992428032 error: exception 10.1  3.70 407846912
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 6.10 2.62 254103552 false(valid-memtrack) 6.06 2.31 263532544 false(valid-memtrack) 5.99 2.32 260038656 false(valid-memtrack) 7.21 3.00 293228544
memsafety/test-0220_false-valid-memtrack.i error: exception 4.33 1.81 202027008 error: exception 4.05 1.61 201605120 error: exception 4.06 1.56 202121216 error: exception 4.49 1.86 202137600
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 23.2  9.96 499974144 false(valid-memtrack) 18.8  7.67 474284032 false(valid-memtrack) 25.2  11.2  544964608 error: exception 10.1  3.82 349577216
memsafety/test-0234_false-valid-memtrack.i timeout (error (143)) 240    227    514146304 unknown 7.67 2.85 287395840 unknown 7.51 2.75 303075328 error: exception 112    83.9  811483136
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 241    227    569364480 unknown 8.19 3.06 312770560 unknown 8.10 3.00 307949568 true 39.1  21.6  752979968
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 242    228    901316608 timeout (error (143)) 240    188    1730744320 timeout (error (143)) 241    177    2325278720 error: exception 7.87 2.94 327536640
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (error (143)) 246    152    3571740672 timeout (error (143)) 242    124    4259467264 timeout (error (143)) 241    168    2923823104 error: exception 8.18 3.14 321470464
memsafety/test-0019_true-valid-memsafety_true-termination.i true 12.6  5.76 401227776 true 12.6  5.36 387481600 true 11.9  4.58 374358016 error: exception 15.2  10.4  323936256
memsafety/test-0102_true-valid-memsafety.i error: exception 102    67.5  1245413376 timeout (error: exception) 241    190    2344759296 timeout (error (143)) 242    205    973148160 error: exception 10.5  3.94 424415232
memsafety/test-0134_true-valid-memsafety.i timeout (error (143)) 243    191    1804054528 timeout (error (143)) 241    174    2290929664 timeout (error (143)) 242    206    1003130880 error: exception 12.4  4.95 396468224
memsafety/test-0158_true-valid-memsafety_true-termination.i true 7.39 2.81 296198144 true 7.77 3.25 298307584 true 7.66 2.98 324980736 error: exception 7.33 2.77 305078272
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 4.23 1.71 199909376 error: exception 4.19 1.71 202506240 error: exception 4.14 1.61 202301440 error: exception 4.17 1.57 204607488
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 4.11 1.62 203337728 error: exception 4.25 1.76 200232960 error: exception 4.10 1.56 201154560 error: exception 4.18 1.70 202436608
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 4.28 1.62 201154560 error: exception 4.05 1.57 202002432 error: exception 4.02 1.61 198569984 error: exception 4.16 1.62 204095488
memsafety/test-0219_true-valid-memsafety.i error: exception 4.05 1.59 199081984 error: exception 4.13 1.61 202391552 error: exception 3.88 1.50 200622080 error: exception 3.95 1.51 202428416
memsafety/test-0232_true-valid-memsafety.i timeout (error (143)) 241    190    858759168 timeout (error (143)) 241    178    1426276352 timeout (error (143)) 241    202    792158208 error: exception 8.60 3.31 352317440
memsafety/test-0234_true-valid-memsafety.i timeout (error (143)) 242    230    521670656 unknown 7.63 2.95 301551616 unknown 7.51 2.84 301207552 timeout (error (143)) 240    210    1451491328
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 242    229    565862400 unknown 7.87 2.96 305405952 unknown 7.94 2.93 306761728 timeout (error (143)) 242    217    907005952
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 241    227    638853120 unknown 7.88 2.88 302518272 unknown 8.15 2.94 313032704 error: exception 48.2  30.4  894316544
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 242    231    535535616 unknown 8.06 2.86 307286016 unknown 7.88 2.95 315777024 timeout (error (143)) 242    214    911708160
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 241    202    1716609024 timeout (error (143)) 241    179    1487839232 timeout (error (143)) 243    207    942080000 error: exception 11.3  4.21 363429888
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 241    191    1041477632 timeout (error (143)) 240    181    1296891904 timeout (error (143)) 241    193    1004765184 error: exception 12.7  4.85 451702784
memsafety/test-0521_true-valid-memsafety.i timeout (error (143)) 245    209    1071788032 timeout (error (143)) 241    183    1134034944 timeout (error (143)) 241    190    2377007104 error: exception 21.6  7.97 484339712
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 133    114    808988672 true 21.0  8.86 569643008 timeout (error (143)) 241    226    925310976 timeout (error (143)) 240    222    2419314688
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 246    206    846761984 timeout (error (143)) 240    184    1671335936 timeout (error (143)) 240    204    858505216 error: exception 8.74 3.29 323452928
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error: exception 4.07 1.69 203517952 error: exception 4.20 1.71 200081408 error: exception 4.01 1.60 205242368 error: exception 4.11 1.63 201392128
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error: exception 4.13 1.63 198537216 error: exception 4.04 1.62 196403200 error: exception 4.16 1.58 199380992 error: exception 3.81 1.51 203046912
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 243    222    594423808 timeout (error (143)) 241    176    1723809792 timeout (error (143)) 241    216    593133568 error: exception 9.73 3.59 325849088
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 241    219    690331648 timeout (error (143)) 241    172    1814265856 timeout (error (143)) 241    197    683094016 error: exception 10.1  3.79 339640320
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 241    199    707919872 timeout (error (143)) 241    179    1327788032 timeout (error (143)) 243    207    931328000 error: exception 11.0  4.01 354844672
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 241    192    837283840 timeout (error (143)) 241    181    1376325632 timeout (error (143)) 242    212    848916480 error: exception 11.2  4.13 398508032
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 243    218    689229824 timeout (error (143)) 241    175    1701306368 timeout (error (143)) 241    214    761024512 error: exception 9.86 3.61 325144576
memsafety-ext2/split_list_test05_false-valid-deref.i out of memory 178    139    5999996928 out of memory 132    101    6000001024 timeout (error (143)) 243    210    1267486720 error: exception 17.8  7.09 449818624
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 240    163    2300006400 timeout (error (143)) 251    171    4504268800 timeout (error (143)) 240    166    2377768960 error: exception 11.2  4.36 400859136
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 241    174    1484156928 timeout (error (143)) 240    175    2274713600 timeout (error (143)) 243    192    1487589376 error: exception 12.3  4.66 409432064
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 241    206    1206706176 out of memory 214    158    5999996928 timeout (error (143)) 242    219    1507860480 error: exception 13.8  5.44 462503936
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 241    196    970125312 timeout (error (143)) 240    178    1398968320 error: exception 152    110    861069312 error: exception 11.4  4.23 361463808
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 241    177    2296721408 timeout (error (143)) 241    177    2289340416 timeout (error (143)) 241    163    2333044736 error: exception 11.4  4.41 427220992
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 241    176    1264250880 timeout (error (143)) 240    173    2013122560 timeout (error (143)) 242    197    1279160320 error: exception 12.7  4.81 405557248
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 241    209    1094258688 error: exception 232    177    4662091776 timeout (error (143)) 242    219    1362493440 error: exception 13.7  5.38 463822848
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 109    66.9  1034678272 timeout (error (143)) 240    178    1298567168 timeout (error (143)) 241    204    1017954304 error: exception 9.82 3.85 360521728
memsafety-ext2/split_list_test05_true-valid-memsafety.i out of memory 153    114    5999996928 error: exception 110    69.6  5037215744 error: exception 227    190    1710059520 error: exception 18.6  7.15 445706240
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 10.7  4.04 357347328 false(valid-deref) 9.81 3.65 337043456 false(valid-deref) 10.4  4.18 344236032 error: exception 10.0  3.79 333934592
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 243    194    1042464768 timeout (error (143)) 240    176    1204826112 timeout (error (143)) 241    193    1151229952 error: exception 7.93 2.96 317267968
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 9.00 3.53 338526208 false(valid-deref) 8.84 3.24 343191552 false(valid-deref) 9.82 3.82 343904256 error: exception 7.60 2.85 301375488
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 14.1  5.80 414814208 false(valid-free) 11.5  4.41 356450304 false(valid-free) 12.8  5.43 374325248 error: exception 10.2  3.92 330412032
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 7.80 2.87 287883264 false(valid-free) 7.21 2.75 277032960 false(valid-free) 8.50 3.32 302690304 false(valid-free) 9.57 3.74 336216064
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 22.1  9.96 522641408 false(valid-memtrack) 21.8  9.79 516456448 false(valid-memtrack) 70.8  52.1  601972736 error: exception 17.7  13.2  321675264
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 6.04 2.37 255733760 false(valid-memtrack) 6.16 2.37 256823296 false(valid-memtrack) 6.68 2.73 263000064 false(valid-memtrack) 6.48 2.61 304590848
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 19.0  7.68 454459392 false(valid-memtrack) 16.7  6.29 434221056 false(valid-memtrack) 24.7  11.1  459173888 error: exception 9.29 3.53 360615936
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 241    204    965586944 timeout (error (143)) 240    181    1987432448 timeout (error (143)) 243    213    733597696 error: exception 9.84 3.68 334839808
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 241    180    788271104 timeout (error (143)) 241    179    1330360320 timeout (error (143)) 241    184    1057796096 error: exception 7.76 2.89 327655424
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 241    196    1303814144 timeout (error (143)) 241    176    1799131136 timeout (error (143)) 241    186    931336192 error: exception 8.01 3.04 319774720
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 241    194    1061425152 timeout (error (143)) 240    180    1206407168 timeout (error (143)) 241    198    852385792 error: exception 7.65 2.84 302899200
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 24.0  11.1  576708608 true 23.5  11.2  530382848 true 79.1  62.4  621539328 error: exception 20.0  14.7  320892928
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 7.81 2.89 313765888 true 7.65 2.88 306012160 true 8.23 3.12 322179072 error: exception 8.14 3.00 315756544
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 4.18 1.61 200691712 error: exception 4.37 1.68 201494528 error: exception 4.30 1.60 201801728 error: exception 4.17 1.58 205586432
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 4.17 1.62 202346496 error: exception 4.12 1.61 203374592 error: exception 4.20 1.55 198033408 error: exception 4.08 1.60 197951488
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i error: exception 111    72.9  889917440 timeout (error: exception) 241    180    2064773120 timeout (error (143)) 241    202    739246080 error: exception 9.16 3.46 363655168
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 240    203    1158533120 unknown 17.5  6.43 453226496 unknown 20.3  7.76 448876544 error: exception 12.2  4.62 376885248
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 240    184    1086963712 timeout (error (143)) 240    183    1228124160 timeout (error (143)) 246    209    1366196224 error: exception 15.9  6.37 436797440
memory-alloca/c.03-alloca_true-valid-memsafety.i true 10.9  4.57 352985088 true 10.9  4.00 401973248 true 10.2  3.85 341671936 error: exception 5.38 2.09 234008576
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 7.22 3.08 256835584 false(valid-deref) 6.39 2.63 260669440 false(valid-deref) 6.45 2.40 262012928 false(valid-deref) 8.52 3.15 328859648
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 7.32 2.80 285949952 false(valid-deref) 7.54 2.97 281124864 false(valid-deref) 7.40 2.77 302243840 error: exception 9.65 3.56 333156352
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 5.58 2.23 254996480 false(valid-deref) 5.55 2.20 251265024 false(valid-deref) 5.21 2.11 258240512 false(valid-deref) 5.99 2.31 265531392
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 5.98 2.38 252149760 false(valid-deref) 5.56 2.17 254439424 false(valid-deref) 5.47 2.10 253038592 false(valid-deref) 6.03 2.33 258011136
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error: exception) 240    183    2338951168 timeout (error: exception) 241    189    2507399168 timeout (error: exception) 241    177    2390401024 error: exception 6.36 2.37 275632128
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error: exception) 240    183    2417139712 timeout (error: exception) 241    188    2473693184 timeout (error: exception) 241    177    2542616576 error: exception 6.11 2.35 271630336
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 5.04 2.08 258502656 false(valid-deref) 5.22 2.26 255172608 false(valid-deref) 5.40 2.18 251256832 false(valid-deref) 5.59 2.21 239419392
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 5.29 2.03 257789952 false(valid-deref) 5.43 2.33 258490368 false(valid-deref) 5.35 2.19 256815104 false(valid-deref) 5.52 2.20 246628352
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 5.24 2.14 252440576 false(valid-deref) 5.24 2.10 257978368 false(valid-deref) 5.75 2.36 252891136 false(valid-deref) 5.51 2.19 242712576
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 5.07 2.08 254590976 false(valid-deref) 5.66 2.17 257347584 false(valid-deref) 5.57 2.20 258527232 false(valid-deref) 5.73 2.28 249647104
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 5.13 2.05 252002304 false(valid-deref) 5.09 2.08 260014080 false(valid-deref) 5.25 2.14 257826816 false(valid-deref) 5.66 2.21 251953152
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 5.33 2.17 250527744 false(valid-deref) 5.38 2.07 255262720 false(valid-deref) 5.11 2.09 246976512 false(valid-deref) 5.34 2.20 250036224
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 246    201    2314907648 timeout (error: exception) 241    188    2630840320 timeout (error (143)) 241    171    1903349760 error: exception 9.41 3.55 331214848
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 9.67 3.59 327548928 timeout (error: exception) 241    191    2613071872 true 9.39 3.46 341184512 error: exception 5.95 2.32 271790080
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 10.4  4.00 360644608 timeout (error: exception) 240    179    2492014592 true 11.4  4.34 350982144 error: exception 7.52 2.83 316837888
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 9.67 3.60 338321408 timeout (error: exception) 241    194    2623401984 true 9.80 3.61 335872000 error: exception 6.02 2.42 270168064
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 12.4  4.69 359837696 timeout (error (143)) 241    185    2326577152 true 12.5  4.56 374824960 error: exception 9.39 3.70 327819264
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 10.5  3.95 330194944 timeout (error: exception) 240    185    2489131008 true 10.8  4.04 351219712 error: exception 6.69 2.82 270991360
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error: type error 3.98 1.61 202706944 error: type error 4.29 1.72 199409664 error: type error 4.21 1.61 202813440 error: type error 4.16 1.65 194506752
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error: type error 4.11 1.63 205492224 error: type error 4.17 1.68 201920512 error: type error 4.27 1.68 198492160 error: type error 3.87 1.55 197611520
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 4.13 1.72 203448320 true 4.31 1.75 212107264 true 4.37 1.76 205180928 true 4.22 1.70 204513280
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 6.80 2.67 271147008 true 27.8  13.1  573681664 true 6.59 2.52 261373952 error: exception 34.3  21.7  776593408
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.31 2.80 284651520 true 88.8  58.1  1460133888 true 7.02 2.59 271294464 error: exception 139    110    1198268416
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 7.39 2.81 280219648 true 28.9  13.4  647127040 true 6.80 2.60 261406720 error: exception 34.3  21.7  707182592
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 7.27 2.74 284942336 true 90.0  58.2  1198759936 true 6.94 2.67 272723968 error: exception 139    110    1351720960
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 7.09 2.71 274587648 true 88.3  58.0  1172049920 true 6.91 2.57 265003008 error: exception 141    111    1308717056
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 6.77 2.59 270839808 true 90.6  58.2  1170710528 true 7.20 2.75 260214784 error: exception 142    113    1397612544
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 4.35 1.71 201138176 error: exception 4.13 1.65 198950912 error: exception 4.15 1.70 199532544 error: exception 4.10 1.55 200327168
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 242    220    2249711616 false(valid-deref) 49.6  22.9  1061040128 timeout (error (143)) 241    198    1422704640 error: exception 9.22 3.47 310259712
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 246    216    915623936 false(valid-deref) 50.5  23.5  1074589696 timeout (error (143)) 240    214    1661456384 error: exception 9.65 3.54 317718528
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 4.11 1.62 204275712 error: exception 4.48 1.71 201908224 error: exception 4.00 1.62 200220672 error: exception 4.15 1.61 197439488
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error: exception 4.09 1.58 205549568 error: exception 4.38 1.74 199544832 error: exception 3.99 1.55 201220096 error: exception 4.20 1.58 201928704
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 4.12 1.58 204537856 error: exception 4.19 1.66 198168576 error: exception 4.12 1.61 203165696 error: exception 4.23 1.63 199925760
ldv-memsafety/memleaks_test12_false-valid-free.i timeout (error (143)) 240    208    928661504 timeout (error: exception) 241    180    3387056128 timeout (error (143)) 241    211    748064768 error: exception 29.6  13.9  596488192
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 243    223    1639911424 false(valid-free) 74.8  38.8  1063694336 false(valid-free) 188    142    849620992 error: exception 9.22 3.59 344616960
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 123    96.6  779296768 false(valid-free) 43.4  17.8  691740672 false(valid-free) 219    192    576376832 error: exception 7.78 2.89 319340544
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 6.31 2.41 265740288 false(valid-free) 6.39 2.50 263589888 false(valid-free) 6.43 2.46 270983168 false(valid-free) 7.64 2.79 320176128
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.51 1.95 214507520 false(valid-free) 4.97 1.99 213098496 false(valid-free) 5.10 2.07 216285184 false(valid-free) 4.96 1.89 227442688
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 13.5  5.27 403849216 false(valid-free) 14.1  5.47 421941248 false(valid-free) 170    159    457248768 timeout (error (143)) 244    237    372035584
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 6.76 2.52 262266880 false(valid-free) 6.95 2.62 259526656 false(valid-free) 6.86 2.53 272834560 false(valid-free) 8.54 3.32 324706304
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout (error (143)) 241    219    606343168 false(valid-memtrack) 60.9  29.0  804593664 timeout (error (143)) 241    205    688734208 error: exception 10.2  3.84 386469888
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 4.05 1.63 199389184 error: exception 4.39 1.68 206217216 error: exception 4.03 1.56 203247616 error: exception 4.10 1.63 201789440
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 4.11 1.79 200081408 error: exception 4.32 1.84 200470528 error: exception 4.10 1.63 204414976 error: exception 4.14 1.60 198709248
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 4.06 1.66 202354688 error: exception 4.29 1.67 201789440 error: exception 3.98 1.55 201908224 error: exception 4.16 1.58 199184384
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 4.08 1.53 199888896 error: exception 3.96 1.61 202969088 error: exception 3.97 1.56 201863168 error: exception 3.88 1.51 207081472
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 4.04 1.64 199581696 error: exception 4.32 1.65 198979584 error: exception 4.12 1.57 205037568 error: exception 4.21 1.63 199593984
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout (error (143)) 241    196    778645504 timeout (error (143)) 241    173    1839677440 timeout (error (143)) 243    199    1174728704 true 71.7  45.0  727429120
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 4.22 1.62 201236480 error: exception 4.13 1.71 200052736 error: exception 4.00 1.59 196030464 error: exception 4.14 1.64 199557120
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 4.25 1.64 207880192 error: exception 3.84 1.56 202293248 error: exception 3.97 1.56 197869568 error: exception 4.21 1.60 197398528
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 241    223    1888051200 timeout (error (143)) 241    170    1795346432 timeout (error (143)) 242    215    619053056 error: exception 9.41 3.64 342024192
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 240    218    613449728 timeout (error: exception) 242    184    2389647360 timeout (error (143)) 242    219    631742464 error: exception 9.10 3.44 340701184
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 53.0  45.6  376999936 false(valid-memtrack) 10.6  3.91 338534400 false(valid-memtrack) 12.3  6.09 346230784 error: exception 9.66 3.68 333361152
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error: exception 236    209    1080250368 timeout (error (143)) 240    183    2395111424 timeout (error (143)) 241    221    711680000 error: exception 9.47 3.73 344678400
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 67.5  55.0  483860480 false(valid-memtrack) 17.2  6.63 471543808 timeout (error (143)) 241    216    517750784 error: exception 9.04 3.41 342757376
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.56 2.17 263172096 false(valid-memtrack) 5.58 2.18 258285568 false(valid-memtrack) 5.48 2.22 261136384 false(valid-memtrack) 6.01 2.38 272941056
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 4.09 1.60 202608640 error: exception 4.06 1.63 199012352 error: exception 4.15 1.65 197160960 error: exception 4.24 1.69 203780096
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 4.12 1.63 198287360 error: exception 4.25 1.67 204038144 error: exception 3.91 1.52 196890624 error: exception 4.06 1.59 200142848
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 78.7  53.7  649019392 false(valid-memtrack) 35.0  13.9  690294784 false(valid-memtrack) 40.9  18.2  661626880 error: exception 10.2  3.75 318373888
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 39.7  24.8  510615552 false(valid-memtrack) 18.1  6.56 436895744 false(valid-memtrack) 22.5  8.52 491380736 error: exception 7.80 2.98 325623808
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 78.2  55.1  674410496 false(valid-memtrack) 35.9  15.0  729346048 false(valid-memtrack) 43.9  20.5  783536128 error: exception 9.64 3.66 325931008
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.30 2.72 282775552 false(valid-memtrack) 7.16 2.75 275394560 false(valid-memtrack) 7.31 2.91 278757376 false(valid-memtrack) 8.94 3.43 318152704
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.81 2.33 252039168 false(valid-memtrack) 5.54 2.19 255930368 false(valid-memtrack) 5.85 2.44 256528384 false(valid-memtrack) 6.06 2.34 279998464
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.11 2.70 269426688 false(valid-memtrack) 7.14 2.62 262447104 false(valid-memtrack) 7.38 2.82 269406208 false(valid-memtrack) 7.36 2.90 315961344
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 12.5  4.58 381255680 false(valid-memtrack) 12.0  4.48 366596096 false(valid-memtrack) 25.5  15.3  453238784 timeout (error (143)) 242    235    381317120
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.9  4.30 370876416 false(valid-memtrack) 12.0  4.30 369131520 false(valid-memtrack) 165    155    438358016 timeout (error (143)) 241    235    390250496
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.0  3.96 342773760 false(valid-memtrack) 11.3  4.12 343531520 false(valid-memtrack) 12.6  5.48 339632128 error: exception 8.23 3.23 318775296
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.68 2.30 252813312 false(valid-memtrack) 5.86 2.38 256307200 false(valid-memtrack) 5.60 2.11 254025728 false(valid-memtrack) 6.17 2.32 285696000
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.39 2.78 269017088 false(valid-memtrack) 6.90 2.66 259592192 false(valid-memtrack) 6.68 2.53 268963840 false(valid-memtrack) 7.63 2.83 321728512
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 6.08 2.38 257396736 false(valid-memtrack) 5.68 2.24 245334016 false(valid-memtrack) 5.62 2.51 258351104 false(valid-memtrack) 7.00 2.53 311767040
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout (error (143)) 241    199    666943488 true 111    65.5  1501114368 timeout (error (143)) 241    192    909770752 error: exception 10.5  3.98 391454720
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 4.28 1.63 202096640 error: exception 4.06 1.67 201015296 error: exception 3.92 1.58 197414912 error: exception 4.10 1.62 202596352
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 120    103    587186176 timeout (error: exception) 241    178    3350290432 timeout (error (143)) 243    211    731983872 error: exception 28.8  13.7  594616320
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 3.98 1.59 201408512 error: exception 4.26 1.67 205193216 error: exception 4.10 1.88 202002432 error: exception 3.93 1.59 201936896
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 3.96 1.57 200507392 error: exception 4.32 1.69 202969088 error: exception 4.02 1.71 198246400 error: exception 4.15 1.67 200093696
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout (error (143)) 241    199    746598400 true 230    161    2281865216 timeout (error (143)) 241    182    1039101952 error: exception 17.7  6.91 476815360
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 3.94 1.60 204812288 error: exception 4.17 1.67 202190848 error: exception 4.28 1.78 203767808 error: exception 4.11 1.56 201392128
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 242    224    1661267968 timeout (error (143)) 241    171    1755529216 timeout (error (143)) 242    219    687427584 error: exception 8.60 3.37 321138688
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 243    221    494723072 timeout (error (143)) 241    161    1772818432 timeout (error (143)) 240    210    596992000 error: exception 9.66 3.82 429481984
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 242    221    1155063808 timeout (error (143)) 241    183    2626506752 timeout (error (143)) 241    198    655560704 error: exception 11.0  4.42 356089856
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 86.4  57.0  786984960 true 47.3  20.8  753209344 timeout (error (143)) 245    220    696016896 error: exception 7.73 2.99 322285568
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 7.07 2.68 289005568 true 7.49 2.87 281600000 true 7.39 2.75 280485888 error: exception 7.82 2.92 313450496
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 4.04 1.56 200859648 error: exception 4.16 1.65 202760192 error: exception 4.22 1.58 207212544 error: exception 4.13 1.59 204554240
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 4.12 1.57 196218880 error: exception 4.19 1.61 200474624 error: exception 4.01 1.57 200847360 error: exception 4.10 1.56 202489856
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 241    211    892641280 true 57.6  27.4  1339068416 timeout (error (143)) 240    214    1711501312 error: exception 9.08 3.44 324026368
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 246    216    2658410496 true 86.8  44.7  1580503040 timeout (error (143)) 241    193    1524629504 error: exception 9.48 3.53 317947904
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 241    205    1531060224 true 86.3  46.2  1747881984 timeout (error (143)) 243    207    3241091072 error: exception 9.54 3.62 323751936
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 4.13 1.65 202334208 error: exception 4.18 1.65 204873728 error: exception 4.42 1.75 207814656 error: exception 4.34 1.69 204140544
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error: exception 4.18 1.66 206528512 error: exception 4.31 1.69 200986624 error: exception 4.28 1.63 201150464 error: exception 4.09 1.64 206131200
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 8.30 3.02 322113536 true 8.74 3.20 317710336 true 8.36 3.07 324055040 error: exception 8.80 3.33 314236928
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 12.1  4.62 359194624 true 11.0  4.06 365686784 true 11.1  4.23 341094400 error: exception 8.87 3.63 374833152
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 9.46 3.48 336510976 true 9.98 3.59 334356480 true 9.45 3.56 335863808 error: exception 9.37 3.75 323665920
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 15.3  5.90 434655232 true 16.3  6.37 428097536 true 184    167    482889728 timeout (error (143)) 242    235    384012288
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 13.6  5.01 417959936 true 13.9  5.21 405315584 true 86.4  76.2  602857472 error: exception 9.57 3.68 410021888
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 8.43 3.05 334733312 true 8.75 3.24 350621696 true 8.07 3.12 336957440 error: exception 8.78 3.32 318013440
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 8.06 3.00 343285760 true 8.85 3.21 343527424 true 8.48 3.05 354512896 error: exception 8.67 3.51 313794560
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 3.71 1.48 198049792 unknown 3.79 1.49 195846144 unknown 3.82 1.51 195166208 unknown 3.85 1.62 197390336
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 3.75 1.51 198553600 unknown 3.88 1.54 193687552 unknown 3.72 1.56 197144576 unknown 3.98 1.71 198922240
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.42 1.44 197595136 unknown 3.93 1.56 200962048 unknown 3.79 1.45 198381568 unknown 3.63 1.52 199213056
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.74 1.51 197513216 unknown 3.92 1.56 200413184 unknown 3.76 1.52 200888320 unknown 3.85 1.56 191774720
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 3.83 1.50 201396224 unknown 3.88 1.56 198397952 unknown 3.75 1.45 197828608 unknown 3.89 1.47 195694592
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 3.59 1.47 199462912 unknown 3.95 1.51 201121792 unknown 3.81 1.52 200531968 unknown 3.86 1.52 197558272
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 3.29 1.38 200462336 unknown 4.01 1.61 195596288 unknown 3.74 1.46 199700480 unknown 3.96 1.55 198078464
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 3.82 1.58 193122304 unknown 3.90 1.54 198373376 unknown 3.60 1.46 195543040 unknown 3.70 1.48 196534272
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 3.71 1.48 197623808 unknown 3.62 1.45 199548928 unknown 3.75 1.45 201515008 unknown 3.98 1.58 200986624
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 3.75 1.51 195391488 unknown 3.88 1.48 196673536 unknown 3.64 1.46 200654848 unknown 3.71 1.47 199524352
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error: exception 142    109    766545920 timeout (error (143)) 241    179    1580478464 timeout (error (143)) 241    221    743682048 error: exception 13.5  5.19 446472192
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 4.27 1.72 200421376 error: exception 4.24 1.65 201560064 error: exception 4.08 1.62 197562368 error: exception 4.14 1.70 197095424
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    198    907280384 timeout (error (143)) 241    171    2199056384 timeout (error (143)) 241    190    1056739328 error: exception 18.3  7.55 481038336
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 4.30 1.68 201850880 error: exception 4.05 1.63 199323648 error: exception 4.17 1.65 203386880 error: exception 4.10 1.62 199958528
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 4.12 1.65 198307840 error: exception 4.19 1.57 200556544 error: exception 4.28 1.62 203612160 error: exception 4.17 1.64 198672384
heap-manipulation/tree_false-valid-deref.i error: exception 4.13 1.62 199364608 error: exception 3.87 1.61 198230016 error: exception 4.09 1.61 202084352 error: exception 4.15 1.56 201043968
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 241    204    777220096 false(valid-memtrack) 69.3  36.1  844070912 timeout (error (143)) 244    209    830967808 error: exception 9.48 3.54 386719744
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) 24.1  9.48 514183168 false(valid-memtrack) 21.6  8.54 487653376 false(valid-memtrack) 27.7  10.9  583127040 error: exception 13.2  5.15 427634688
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 44.6  22.5  656302080 false(valid-memtrack) 32.0  14.2  581840896 false(valid-memtrack) 91.4  66.3  757092352 error: exception 10.6  4.00 419737600
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 39.0  20.1  609763328 false(valid-memtrack) 29.1  12.0  551161856 false(valid-memtrack) 37.9  18.4  587124736 error: exception 9.07 3.36 343785472
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    191    1112199168 timeout (error (143)) 241    179    1103306752 timeout (error (143)) 241    196    1054146560 error: exception 7.35 2.78 298602496
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.15 2.67 263217152 false(valid-memtrack) 7.24 2.80 256819200 false(valid-memtrack) 6.57 2.51 256806912 error: exception 6.97 2.65 304218112
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 10.5  4.07 353882112 false(valid-memtrack) 10.0  3.92 344043520 false(valid-memtrack) 9.80 3.81 344358912 error: exception 7.26 2.74 301223936
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.48 2.77 306962432 false(valid-memtrack) 7.90 2.88 315207680 false(valid-memtrack) 7.47 2.81 306126848 error: exception 8.47 3.05 328327168
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 10.2  3.82 335265792 false(valid-memtrack) 9.59 3.54 336728064 false(valid-memtrack) 9.65 3.64 331612160 error: exception 6.45 2.45 288854016
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.71 2.86 264175616 false(valid-memtrack) 7.55 2.79 273866752 false(valid-memtrack) 7.68 2.89 271671296 error: exception 7.50 2.76 306167808
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 4.60 1.75 205582336 unknown 4.49 1.74 204853248 unknown 4.40 1.59 203026432 unknown 4.60 1.74 203018240
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 4.25 1.60 202240000 unknown 4.34 1.68 197271552 unknown 4.46 1.64 201248768 unknown 4.32 1.67 205266944
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 4.48 1.68 200163328 unknown 4.45 1.72 203165696 unknown 4.39 1.65 202674176 unknown 4.45 1.71 201932800
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 4.58 1.84 196521984 unknown 4.61 1.72 200593408 unknown 4.37 1.69 202514432 unknown 4.43 1.69 202186752
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 4.62 1.73 202780672 unknown 4.41 1.65 200474624 unknown 4.52 1.78 203911168 unknown 4.46 1.72 200249344
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 4.21 1.71 202883072 unknown 4.40 1.62 201129984 unknown 4.34 1.67 202698752 unknown 4.67 1.83 206397440
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 4.36 1.76 201650176 unknown 4.73 1.74 202792960 unknown 4.38 1.66 204636160 unknown 4.65 1.74 205234176
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 4.47 1.79 205447168 unknown 4.57 1.72 202584064 unknown 4.30 1.63 202579968 unknown 4.58 1.71 198688768
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 4.36 1.65 201035776 unknown 4.43 1.66 199102464 unknown 4.45 1.61 208838656 unknown 4.53 1.70 203079680
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 4.50 1.68 201687040 unknown 4.15 1.61 202911744 unknown 4.37 1.67 202395648 unknown 4.31 1.66 204156928
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 4.43 1.71 203624448 unknown 4.15 1.65 201207808 unknown 4.04 1.59 199901184 unknown 4.74 1.92 203042816
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 4.37 1.68 207798272 unknown 4.42 1.69 202526720 unknown 4.44 1.69 200396800 unknown 4.52 1.66 199897088
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 4.47 1.68 202096640 unknown 4.55 1.69 198725632 unknown 4.42 1.71 204955648 unknown 4.46 1.67 200884224
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    206    851214336 timeout (error (143)) 240    179    1331351552 timeout (error (143)) 243    211    668086272 error: exception 10.4  4.02 399323136
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    207    642289664 timeout (error (143)) 241    180    1495437312 timeout (error (143)) 241    206    735715328 error: exception 9.47 3.61 356405248
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    193    793694208 timeout (error (143)) 241    180    1433522176 timeout (error (143)) 241    195    953098240 error: exception 10.4  3.85 378556416
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    180    1466699776 timeout (error (143)) 240    181    1805250560 timeout (error (143)) 242    201    869470208 error: exception 11.1  4.17 420155392
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    1415327744 timeout (error (143)) 240    183    1463939072 timeout (error (143)) 240    195    1058148352 error: exception 10.8  4.01 408371200
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    187    1249976320 timeout (error (143)) 240    184    1312522240 timeout (error (143)) 241    190    1097486336 error: exception 13.2  5.10 461209600
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    181    1322852352 timeout (error (143)) 240    181    1323548672 timeout (error (143)) 241    210    863637504 error: exception 11.0  4.04 389746688
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    208    958570496 timeout (error (143)) 241    184    1150124032 timeout (error (143)) 241    197    979132416 error: exception 12.5  4.46 445747200
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 243    203    1586757632 timeout (error (143)) 240    186    1395630080 timeout (error (143)) 242    215    734023680 error: exception 9.99 3.65 371326976
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    208    757325824 timeout (error (143)) 241    176    1341497344 timeout (error (143)) 243    216    625823744 error: exception 10.9  3.92 343703552
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    196    1241403392 timeout (error (143)) 241    182    1272745984 timeout (error (143)) 241    210    864362496 error: exception 10.5  3.78 335187968
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    188    1148207104 timeout (error (143)) 241    176    1292525568 timeout (error (143)) 241    184    1070395392 error: exception 8.07 3.01 331018240
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    197    1086332928 timeout (error (143)) 240    177    1362518016 timeout (error (143)) 242    205    1095401472 error: exception 10.1  3.60 324382720
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    181    1376604160 timeout (error: exception) 240    181    1598267392 timeout (error (143)) 240    190    1350119424 error: exception 11.0  4.03 371306496
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    189    968855552 timeout (error (143)) 241    180    1176408064 timeout (error (143)) 241    193    865533952 error: exception 9.11 3.44 358694912
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    192    1088307200 timeout (error (143)) 240    183    1171869696 timeout (error (143)) 241    190    966242304 error: exception 10.8  4.21 451473408
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    189    1207242752 timeout (error (143)) 241    179    1252020224 timeout (error (143)) 241    189    944992256 error: exception 10.3  3.72 362958848
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    188    965541888 timeout (error (143)) 241    185    1217212416 timeout (error (143)) 241    190    1008427008 error: exception 11.0  4.02 408223744
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    193    1202663424 timeout (error (143)) 240    182    1238175744 timeout (error (143)) 242    207    987713536 error: exception 8.35 3.05 332111872
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 74.1  42.6  872595456 false(valid-deref) 42.7  19.6  689508352 timeout (error (143)) 241    205    941420544 error: exception 11.0  4.04 425349120
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 30.1  11.9  561655808 false(valid-deref) 23.6  9.67 495910912 false(valid-deref) 92.1  74.0  582201344 error: exception 10.3  3.87 343625728
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 50.9  26.4  658538496 false(valid-deref) 29.2  13.3  535097344 false(valid-deref) 49.6  28.0  689459200 error: exception 10.2  3.74 346251264
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 240    190    2318647296 timeout (error (143)) 241    195    2249936896 timeout (error (143)) 241    183    2309476352 timeout (error (143)) 241    195    1403396096
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 5.10 1.81 212029440 unknown 5.02 1.89 205733888 unknown 5.03 1.86 209784832 unknown 4.78 1.78 211894272
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 4.42 1.69 201490432 unknown 4.62 1.74 201003008 unknown 4.30 1.64 198283264 unknown 4.44 1.72 200347648
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.19 2.87 310530048 true 8.28 2.93 315248640 true 8.53 3.07 319897600 true 8.47 2.95 311721984
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.21 2.83 313847808 true 8.60 3.06 320417792 true 9.16 3.17 317231104 true 8.12 2.84 314490880
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.45 2.42 306913280 true 6.96 2.53 311414784 true 6.80 2.58 294862848 true 6.56 2.38 309600256
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.52 2.41 304582656 true 6.82 2.68 309563392 true 6.91 2.59 301522944 true 6.40 2.41 302338048
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.52 2.37 305250304 true 6.78 2.52 305963008 true 6.69 2.49 301993984 true 6.66 2.42 308408320
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.64 2.69 311357440 true 7.74 2.68 310411264 true 7.57 2.72 292986880 true 7.54 2.74 310239232
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.34 2.75 306741248 true 7.52 2.64 310435840 true 7.57 2.82 296144896 true 7.25 2.54 316444672
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 5.59 2.23 225308672 true 5.53 2.17 240582656 true 5.76 2.22 227254272 true 5.55 2.14 236457984
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.70 2.47 262434816 true 6.13 2.36 272470016 true 6.68 2.49 258936832 true 6.45 2.32 282112000
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.48 2.56 258191360 true 6.03 2.31 273735680 true 6.34 2.38 267993088 true 6.00 2.26 275238912
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 4.71 2.04 205537280 true 4.47 1.79 219803648 true 4.72 1.85 212353024 true 4.61 1.74 223133696
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 4.81 1.94 201768960 true 4.72 1.86 219422720 true 4.51 1.81 208887808 true 4.52 1.79 216600576
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 4.72 1.87 200019968 true 4.76 1.88 221184000 true 4.93 1.94 212574208 true 4.85 1.94 219512832
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 4.94 1.97 206180352 true 4.77 1.89 220250112 true 4.93 1.85 206405632 true 4.71 1.90 216719360
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 5.02 2.02 206409728 true 4.74 1.87 213479424 true 4.89 1.97 205578240 true 4.88 1.93 215199744
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 5.14 2.05 210640896 true 4.49 1.82 221249536 true 4.78 1.90 205049856 true 4.71 1.87 217382912
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 4.97 1.98 204902400 true 4.73 1.91 218001408 true 4.91 1.96 212525056 true 4.64 1.85 217731072
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 5.03 1.97 202170368 true 4.61 1.85 219811840 true 4.78 1.96 205881344 true 4.76 1.92 217731072
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 4.79 1.89 205070336 true 4.53 1.83 216563712 true 4.55 1.79 197935104 true 4.51 1.78 222068736
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 4.84 1.99 202805248 true 4.50 1.77 221753344 true 4.44 1.75 208834560 true 4.58 1.79 219090944
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 4.70 1.94 200257536 true 4.57 1.83 218689536 true 4.74 1.80 209584128 true 4.63 1.84 222359552
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 4.92 2.01 199835648 true 4.47 1.76 221216768 true 4.77 1.88 213041152 true 4.45 1.75 208695296
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 4.86 1.98 200339456 true 4.56 1.78 220221440 true 4.70 1.83 211599360 true 4.65 1.81 208437248
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 26300 20900 200088371200 326 23800 16800 268605964288 326 27800 22000 199802040320 326 6390 4380 113553235968
local summary 14500 10500 22700 8500 27000 11100 4390 2280
    correct results 0 0 0 0
        correct true 0 0 0 0
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
Run set Camel SmtInterpolCraig SmtInterpolNoArray z3