Tool ULTIMATE Automizer 0.1.23-666feb3e
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-04-10 13:28:55 CEST
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 unknown 4.51 1.96 207986688 unknown 4.96 2.10 211390464 unknown 5.33 2.23 214822912 unknown 5.22 2.11 223887360
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 5.84 2.46 252350464 false(valid-deref) 6.13 2.61 257568768 false(valid-deref) 6.58 2.89 259276800 false(valid-deref) 6.83 2.93 271667200
array-memsafety/count_down_unsafe_false-valid-deref.i unknown 4.79 1.94 211304448 unknown 5.10 2.01 215965696 unknown 5.17 2.03 217931776 unknown 5.25 2.07 220549120
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 5.60 2.38 248913920 false(valid-deref) 5.53 2.35 255348736 false(valid-deref) 5.73 2.42 262660096 false(valid-deref) 6.21 2.44 263225344
array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 4.74 1.99 211689472 unknown 4.99 2.03 215605248 unknown 5.23 2.24 212852736 unknown 5.22 2.06 223633408
array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 4.68 2.12 211128320 unknown 4.95 2.04 217038848 unknown 5.27 2.15 224780288 unknown 5.28 2.09 222617600
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 5.86 2.50 263442432 false(valid-deref) 5.83 2.46 252858368 false(valid-deref) 6.08 2.53 260583424 false(valid-deref) 6.36 2.57 258887680
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 5.26 2.44 252719104 false(valid-deref) 6.01 2.48 255475712 false(valid-deref) 6.26 2.53 262799360 false(valid-deref) 6.01 2.50 255123456
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 4.73 2.13 212135936 unknown 5.20 1.99 212729856 unknown 5.02 2.11 216137728 unknown 5.21 2.08 220565504
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 5.86 2.39 255340544 false(valid-deref) 6.37 2.58 256987136 false(valid-deref) 6.14 2.61 267005952 false(valid-deref) 7.05 2.80 266813440
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 4.49 1.98 207187968 unknown 4.97 2.05 208658432 unknown 5.03 2.10 217071616 unknown 5.05 2.07 221990912
array-memsafety/lis_unsafe_false-valid-deref.i unknown 4.55 1.87 205127680 unknown 4.90 1.94 208715776 unknown 4.84 1.98 221585408 unknown 5.21 2.05 219611136
array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 4.78 2.01 210800640 unknown 4.98 2.12 210661376 unknown 4.95 1.97 225054720 unknown 5.33 2.19 225136640
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 4.51 1.96 210083840 unknown 4.88 1.98 211333120 unknown 5.32 2.05 220913664 unknown 5.40 2.13 221077504
array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 4.61 2.01 210481152 unknown 5.06 2.15 218144768 unknown 5.32 2.18 219672576 unknown 5.29 2.06 222597120
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 6.01 2.48 255934464 false(valid-deref) 6.25 2.55 258985984 false(valid-deref) 6.47 2.63 264372224 false(valid-deref) 7.71 3.14 265003008
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 5.63 2.42 250818560 false(valid-deref) 5.76 2.46 254279680 false(valid-deref) 6.04 2.50 256319488 false(valid-deref) 6.40 2.71 262164480
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 4.79 1.88 208719872 unknown 5.00 2.01 213827584 unknown 5.14 1.98 218238976 unknown 5.11 2.06 220004352
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 4.81 1.94 213630976 unknown 5.08 2.07 216576000 unknown 5.20 2.10 219787264 unknown 5.21 2.16 226557952
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 4.81 1.99 214659072 unknown 5.08 2.04 217030656 unknown 4.76 1.90 210501632 unknown 5.28 2.13 225075200
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 4.87 2.06 210411520 unknown 4.84 2.09 215695360 unknown 5.31 2.04 217690112 unknown 5.44 2.15 221745152
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 4.81 1.98 214073344 unknown 4.96 2.03 214982656 unknown 5.16 2.04 211726336 unknown 5.29 2.03 220266496
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 4.92 2.05 213630976 unknown 5.12 2.10 212385792 unknown 5.02 2.03 212213760 unknown 5.33 2.10 221089792
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 4.69 1.97 214294528 unknown 5.09 2.16 210178048 unknown 5.07 2.02 215494656 unknown 5.33 2.12 226287616
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 4.79 1.95 212860928 unknown 5.12 2.04 215691264 unknown 5.42 2.12 218345472 unknown 5.05 2.13 222597120
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 4.89 1.91 211337216 unknown 4.82 2.03 207372288 unknown 5.23 2.03 220782592 unknown 5.11 2.11 223064064
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.79 1.91 213176320 unknown 5.22 2.03 218214400 unknown 5.06 2.13 225284096 unknown 5.53 2.14 222392320
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 4.75 1.89 209584128 unknown 5.13 2.07 212127744 unknown 5.22 2.01 217915392 unknown 5.40 2.07 221380608
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 4.72 1.95 209838080 unknown 5.09 1.97 219815936 unknown 5.22 2.04 211640320 unknown 5.11 1.96 222654464
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 4.93 2.06 209166336 unknown 4.96 2.04 212213760 unknown 5.44 2.08 215089152 unknown 5.21 2.02 222871552
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 4.77 2.00 216391680 unknown 5.17 2.11 213987328 unknown 4.89 2.08 215695360 unknown 5.10 2.14 223547392
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.68 1.92 210857984 unknown 5.02 2.03 213307392 unknown 5.06 2.07 225083392 unknown 5.12 2.04 223662080
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 4.74 1.93 211111936 unknown 5.46 2.05 220282880 unknown 5.28 2.13 217423872 unknown 5.30 2.09 222113792
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 4.71 2.08 208711680 unknown 5.04 2.03 210837504 unknown 5.15 2.26 236457984 unknown 5.19 2.10 224661504
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 5.01 2.07 212787200 unknown 5.25 2.14 218775552 unknown 5.54 2.29 218845184 unknown 5.40 2.11 234385408
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 4.65 1.95 209616896 unknown 5.03 2.03 218574848 unknown 5.14 2.09 224980992 unknown 5.14 2.08 225161216
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 4.70 1.99 207065088 unknown 4.91 2.09 211136512 unknown 5.11 2.08 220565504 unknown 5.29 2.18 227590144
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 4.85 1.98 209666048 unknown 5.22 2.01 222003200 unknown 5.56 2.11 228130816 unknown 5.13 2.07 225787904
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 4.68 2.02 212025344 unknown 4.85 1.98 213098496 unknown 5.00 2.04 214704128 unknown 5.30 2.19 224878592
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 5.04 2.03 215924736 unknown 5.19 1.98 218681344 unknown 5.33 2.14 219492352 unknown 5.30 2.00 223399936
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 4.72 1.90 210108416 unknown 4.82 1.96 212836352 unknown 5.08 1.99 215166976 unknown 4.89 1.98 219914240
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 4.90 1.94 210522112 unknown 4.95 1.99 221057024 unknown 5.17 2.06 215715840 unknown 5.30 2.09 224849920
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 4.71 2.04 211947520 unknown 5.03 2.04 215293952 unknown 5.28 1.97 218738688 unknown 5.19 2.13 227741696
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.74 1.98 210493440 unknown 5.24 2.17 214192128 unknown 5.13 2.02 220180480 unknown 5.09 2.01 223764480
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.77 2.03 213712896 unknown 4.93 2.07 209907712 unknown 5.26 2.08 218677248 unknown 5.38 2.18 224616448
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 4.73 1.91 206266368 unknown 5.36 2.20 210051072 unknown 5.16 2.02 221155328 unknown 5.32 2.06 222289920
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 4.87 2.05 210386944 unknown 4.99 2.27 214638592 unknown 5.22 2.11 217624576 unknown 5.51 2.03 224763904
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.82 1.97 215957504 unknown 5.26 2.17 219447296 unknown 5.07 2.03 221007872 unknown 5.44 2.13 228589568
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 4.82 1.98 212901888 unknown 5.01 2.02 214945792 unknown 5.04 2.00 217243648 unknown 5.25 2.13 224124928
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 4.71 2.26 215289856 unknown 4.90 1.97 212373504 unknown 5.39 2.17 216653824 unknown 5.04 2.01 224174080
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 4.75 2.11 217104384 unknown 4.96 1.97 213499904 unknown 5.22 2.08 222650368 unknown 5.04 2.07 224116736
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 4.79 2.18 209408000 unknown 4.86 1.92 211017728 unknown 5.09 2.04 223346688 unknown 5.20 2.13 218415104
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 4.84 2.07 211202048 unknown 4.86 2.09 215371776 unknown 4.88 1.92 220430336 unknown 5.39 2.22 223956992
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 4.65 1.99 214126592 unknown 4.97 2.03 216440832 unknown 5.07 2.03 221298688 unknown 5.24 2.23 221847552
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 4.50 1.99 209526784 unknown 4.66 1.99 214306816 unknown 5.30 2.24 215302144 unknown 5.46 2.10 223571968
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 4.96 2.01 216846336 unknown 5.13 2.02 214298624 unknown 5.01 2.00 217362432 unknown 4.99 2.09 223096832
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 4.92 1.95 211709952 unknown 5.05 2.04 211554304 unknown 5.13 2.02 219906048 unknown 5.38 2.02 225759232
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 4.74 1.96 211546112 unknown 5.14 2.07 217038848 unknown 5.14 2.01 223068160 unknown 5.38 2.16 226254848
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 4.93 1.95 208338944 unknown 5.05 2.08 213286912 unknown 5.34 2.12 215248896 unknown 5.58 2.25 231755776
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 4.73 2.04 211795968 unknown 5.01 2.05 216895488 unknown 4.99 2.10 222527488 unknown 4.95 2.11 223727616
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 4.96 2.18 206815232 unknown 4.92 1.98 209805312 unknown 5.11 2.15 218685440 unknown 5.31 2.07 230735872
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 4.89 2.06 214102016 unknown 4.99 1.97 218714112 unknown 5.21 2.05 228073472 unknown 5.06 2.21 222932992
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 4.70 2.01 211329024 unknown 5.17 2.04 210223104 unknown 4.90 2.01 220168192 unknown 5.42 2.16 223510528
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 4.89 2.09 212770816 unknown 5.00 2.13 219222016 unknown 5.23 2.08 215867392 unknown 5.29 2.08 226398208
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 4.80 2.02 207446016 unknown 5.03 2.07 215310336 unknown 5.36 2.07 220073984 unknown 5.49 2.16 227717120
array-examples/relax_false-valid-deref.i unknown 4.60 1.90 210722816 unknown 5.15 2.02 214048768 unknown 5.27 2.14 224428032 unknown 5.25 2.02 225583104
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 241    182    1224409088 timeout (error (143)) 241    183    2231234560 timeout (error (143)) 240    172    1015164928 timeout (error (143)) 240    194    642387968
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 240    184    1732456448 timeout (error (143)) 241    187    2306637824 timeout (error (143)) 241    181    1937522688 timeout (error (143)) 241    184    944771072
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 241    182    1391947776 timeout (error (143)) 241    186    2235809792 timeout (error (143)) 241    182    1354100736 timeout (error (143)) 240    196    734826496
memsafety/960521-1_false-valid-deref.i unknown 5.02 2.09 207925248 unknown 4.89 1.96 208379904 unknown 5.22 2.07 218152960 unknown 5.21 2.14 221474816
memsafety/test-0137_false-valid-deref.i unknown 4.75 1.95 215683072 unknown 4.97 2.00 211365888 unknown 5.38 2.12 217751552 unknown 5.26 2.16 220999680
memsafety/test-0235_false-valid-deref.i unknown 4.81 2.04 215306240 unknown 5.02 1.98 212475904 unknown 5.27 2.06 214986752 unknown 5.30 2.31 225402880
memsafety/960521-1_false-valid-free.i unknown 4.79 2.01 211955712 unknown 5.14 2.01 215576576 unknown 5.12 2.08 216121344 unknown 5.13 2.00 220758016
memsafety/test-0158_false-valid-free.i unknown 4.82 1.96 213667840 unknown 4.94 1.98 211349504 unknown 4.89 2.04 217149440 unknown 5.15 2.00 224370688
memsafety/test-0232_false-valid-free.i unknown 4.91 2.06 211402752 unknown 4.97 2.07 214839296 unknown 4.92 2.10 216817664 unknown 4.90 1.97 224591872
memsafety/20020406-1_false-valid-memtrack.i unknown 5.09 2.09 216236032 unknown 5.24 2.17 214368256 unknown 5.53 2.12 222973952 unknown 5.45 2.05 224366592
memsafety/20051113-1.c_false-valid-memtrack.i unknown 4.82 2.09 215633920 unknown 5.05 2.10 211755008 unknown 4.99 2.01 221069312 unknown 5.12 2.15 221159424
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 4.72 1.96 212774912 unknown 4.98 1.97 212283392 unknown 4.96 2.05 218562560 unknown 5.17 1.98 222814208
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 4.60 2.01 211853312 unknown 5.17 2.08 212930560 unknown 5.27 2.13 215756800 unknown 5.28 2.09 228392960
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 4.81 1.90 216113152 unknown 5.04 2.04 211070976 unknown 5.47 2.19 223932416 unknown 5.33 2.12 223543296
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 4.64 2.04 213762048 unknown 4.82 1.90 211550208 unknown 5.16 1.98 224391168 unknown 5.09 2.07 223768576
memsafety/test-0102_false-valid-memtrack.i unknown 4.91 2.10 212410368 unknown 4.90 2.09 214495232 unknown 5.04 2.11 217493504 unknown 5.18 2.20 225284096
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 4.75 2.08 212901888 unknown 4.93 2.07 213815296 unknown 5.13 2.39 219926528 unknown 5.22 2.23 226443264
memsafety/test-0220_false-valid-memtrack.i unknown 4.91 1.95 211349504 unknown 5.04 2.58 208699392 unknown 5.21 2.02 222445568 unknown 5.37 2.07 222031872
memsafety/test-0232_false-valid-memtrack.i unknown 4.69 2.04 215519232 unknown 5.03 2.04 211148800 unknown 5.11 2.07 217546752 unknown 5.05 2.03 226037760
memsafety/test-0234_false-valid-memtrack.i unknown 4.90 2.01 211185664 unknown 5.08 2.07 212492288 unknown 5.10 2.04 218279936 unknown 5.26 2.19 226357248
memsafety/test-0235_false-valid-memtrack.i unknown 4.84 1.90 213614592 unknown 5.12 2.01 208650240 unknown 5.17 2.17 221786112 unknown 5.32 2.30 226025472
memsafety/960521-1_true-valid-memsafety.i unknown 4.82 2.05 212000768 unknown 5.19 2.06 207831040 unknown 5.18 2.12 219500544 unknown 5.13 2.17 227172352
memsafety/lockfree-3.0_true-valid-memsafety.i unknown 4.71 2.06 213340160 unknown 5.15 2.00 207351808 unknown 5.26 2.00 217059328 unknown 5.11 2.05 224821248
memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 4.71 2.00 213270528 unknown 5.18 2.29 204742656 unknown 5.17 1.94 218808320 unknown 5.04 2.00 220655616
memsafety/test-0102_true-valid-memsafety.i unknown 4.85 2.11 214253568 unknown 5.14 2.18 198033408 unknown 5.07 1.98 219136000 unknown 5.30 2.17 223133696
memsafety/test-0134_true-valid-memsafety.i unknown 4.85 1.99 216285184 unknown 5.22 2.05 202317824 unknown 5.21 2.03 218808320 unknown 5.61 2.19 224636928
memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 4.87 2.08 211677184 unknown 4.97 2.26 201150464 unknown 5.00 1.93 218873856 unknown 5.19 2.06 224665600
memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 4.84 1.97 214171648 unknown 5.25 2.06 200908800 unknown 5.20 2.08 222339072 unknown 5.27 2.25 222003200
memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 4.87 2.05 209592320 unknown 5.24 2.23 203051008 unknown 5.24 2.06 221503488 unknown 5.34 2.16 223965184
memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 4.81 1.96 212062208 unknown 5.50 2.14 199819264 unknown 5.24 2.08 219402240 unknown 5.32 2.08 223518720
memsafety/test-0219_true-valid-memsafety.i unknown 4.65 1.99 212307968 unknown 5.30 2.16 197337088 unknown 5.23 2.14 221315072 unknown 4.98 2.05 223223808
memsafety/test-0232_true-valid-memsafety.i unknown 4.73 1.94 208121856 unknown 5.14 2.29 200093696 unknown 5.11 2.05 217780224 unknown 5.10 2.14 224243712
memsafety/test-0234_true-valid-memsafety.i unknown 4.76 2.02 211394560 unknown 5.44 2.26 203173888 unknown 5.33 2.14 217391104 unknown 5.14 2.01 222818304
memsafety/test-0235_true-valid-memsafety.i unknown 4.85 1.98 214523904 unknown 5.35 2.15 202833920 unknown 5.04 2.02 220155904 unknown 5.26 2.11 227049472
memsafety/test-0236_true-valid-memsafety.i unknown 4.70 1.98 212926464 unknown 5.10 2.19 197783552 unknown 5.29 2.16 219459584 unknown 5.30 2.02 221364224
memsafety/test-0237_true-valid-memsafety.i unknown 4.75 2.12 214626304 unknown 5.28 2.14 196116480 unknown 5.23 2.21 218730496 unknown 5.11 2.11 222281728
memsafety/test-0504_true-valid-memsafety.i unknown 4.69 1.96 214097920 unknown 5.16 2.07 198848512 unknown 5.02 2.09 220180480 unknown 5.20 2.03 224534528
memsafety/test-0513_true-valid-memsafety.i unknown 4.93 1.97 213999616 unknown 5.14 2.14 196231168 unknown 5.22 2.18 219095040 unknown 5.09 2.07 221138944
memsafety/test-0521_true-valid-memsafety.i unknown 4.70 2.02 211886080 unknown 5.25 2.14 197943296 unknown 5.12 2.03 219197440 unknown 4.97 1.96 224141312
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 4.82 1.94 211206144 unknown 5.15 2.07 195465216 unknown 5.04 2.07 217182208 unknown 5.25 2.09 225218560
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 4.72 1.88 211034112 unknown 5.16 2.05 196808704 unknown 5.26 2.19 214487040 unknown 5.03 1.98 222490624
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 4.64 2.03 213053440 unknown 5.05 2.09 196755456 unknown 5.20 2.09 221609984 unknown 5.13 1.97 221089792
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 4.74 1.90 212463616 unknown 5.24 2.37 196222976 unknown 5.10 2.07 222314496 unknown 5.17 1.99 227745792
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 4.59 1.93 212533248 unknown 5.27 2.31 199045120 unknown 5.03 2.04 219770880 unknown 5.25 2.09 223506432
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 4.77 2.04 215867392 unknown 5.08 2.37 194334720 unknown 4.92 1.96 217522176 unknown 5.17 2.19 223662080
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 4.85 2.00 213610496 unknown 5.16 2.16 195522560 unknown 5.12 2.02 221302784 unknown 5.12 1.89 223072256
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 4.90 1.93 208539648 unknown 5.39 2.21 197931008 unknown 4.97 2.04 219213824 unknown 5.03 2.07 224776192
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 4.61 2.02 214511616 unknown 5.18 2.14 195862528 unknown 4.95 2.05 216240128 unknown 5.25 2.21 224890880
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error (143)) 242    206    2307923968 timeout (error: exception) 241    193    2907942912 timeout (error (143)) 245    216    1443450880 error: exception 21.5  7.92 515809280
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 231    163    2354249728 false(valid-memtrack) 163    97.8  2277597184 timeout (error (143)) 241    178    2271891456 error: exception 19.7  11.6  363196416
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 241    182    1831546880 timeout (error (143)) 241    173    2257944576 timeout (error (143)) 242    190    1733111808 error: exception 19.8  11.8  426766336
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 107    78.4  1078071296 out of memory 173    123    5999996928 timeout (error (143)) 241    217    1575788544 error: exception 15.0  5.94 370835456
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 241    199    1261174784 timeout (error (143)) 240    177    1589243904 timeout (error (143)) 241    188    889593856 error: exception 12.2  4.52 369139712
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 154    89.6  2264301568 timeout (error (143)) 241    173    2302414848 timeout (error (143)) 241    181    2412273664 error: exception 12.4  4.70 404148224
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 241    183    1623588864 timeout (error (143)) 240    175    1899732992 timeout (error (143)) 241    184    1331699712 error: exception 13.1  4.87 409948160
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 243    209    1267736576 timeout (error (143)) 241    196    1668710400 timeout (error (143)) 242    219    1261752320 error: exception 15.8  6.05 376569856
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 176    140    997044224 timeout (error (143)) 240    179    1534754816 timeout (error (143)) 243    212    840396800 error: exception 12.4  4.56 358785024
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 241    203    2269134848 timeout (error: exception) 241    199    2896523264 timeout (error (143)) 242    205    1175605248 error: exception 20.6  8.02 510320640
list-ext-properties/960521-1_1_false-valid-deref.i unknown 4.76 2.01 210501632 unknown 5.14 2.08 213094400 unknown 4.97 2.03 214339584 unknown 5.16 2.04 223031296
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 5.04 2.13 208080896 unknown 5.18 1.97 210644992 unknown 4.98 2.09 218845184 unknown 5.36 2.04 222171136
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 4.76 2.15 207138816 unknown 5.28 1.94 212971520 unknown 5.07 1.96 213245952 unknown 5.13 2.12 220372992
list-ext-properties/960521-1_1_false-valid-free.i unknown 4.96 1.97 205832192 unknown 4.86 2.01 211202048 unknown 5.21 2.01 221421568 unknown 5.34 2.18 224755712
list-ext-properties/test-0158_1_false-valid-free.i unknown 4.83 2.06 208715776 unknown 4.99 2.03 217432064 unknown 5.02 1.95 217481216 unknown 5.17 2.09 224432128
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 4.82 2.07 212881408 unknown 5.04 2.20 209690624 unknown 5.57 2.27 220655616 unknown 5.06 2.09 223154176
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 5.10 2.13 209678336 unknown 5.04 2.31 213721088 unknown 5.13 2.04 217513984 unknown 5.01 2.13 226643968
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 4.90 2.25 209346560 unknown 5.22 2.12 212684800 unknown 5.21 2.12 214405120 unknown 5.27 2.14 221540352
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 4.96 2.18 208027648 unknown 5.28 2.24 213962752 unknown 5.15 2.15 219963392 unknown 5.15 2.14 226381824
list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 5.00 2.09 206581760 unknown 5.25 2.10 214450176 unknown 5.16 2.07 219324416 unknown 5.39 2.13 220753920
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 5.02 2.21 211402752 unknown 5.35 2.55 217419776 unknown 5.30 2.11 221597696 unknown 5.35 2.26 226746368
list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 4.97 2.01 209825792 unknown 5.30 2.08 214310912 unknown 5.13 2.06 220012544 unknown 5.10 2.05 222711808
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 5.07 2.05 213069824 unknown 5.43 2.13 212131840 unknown 5.28 2.18 216829952 unknown 5.23 2.13 223027200
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 4.89 1.99 213635072 unknown 5.14 2.21 218849280 unknown 5.27 2.01 218611712 unknown 5.11 2.03 221646848
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 5.17 2.14 213786624 unknown 5.62 2.22 217223168 unknown 5.34 2.05 219029504 unknown 5.54 2.27 223399936
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 5.05 2.02 213688320 unknown 5.56 2.14 215162880 unknown 5.36 2.20 218288128 unknown 5.43 2.14 224346112
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.02 2.06 212271104 unknown 5.37 2.12 213794816 unknown 5.24 2.02 217550848 unknown 5.49 2.23 228077568
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 5.01 1.97 215093248 unknown 5.51 2.20 212910080 unknown 5.13 2.13 216129536 unknown 5.28 2.15 222498816
list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 5.01 2.11 212283392 unknown 5.33 2.13 211890176 unknown 5.15 2.01 213647360 unknown 5.44 2.21 223367168
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 5.17 2.24 212877312 unknown 5.42 2.23 221442048 unknown 5.17 2.08 219901952 unknown 5.25 2.14 221560832
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 7.68 3.02 297447424 false(valid-deref) 8.36 3.19 288952320 false(valid-deref) 7.68 3.03 282152960 false(valid-deref) 9.44 3.76 371650560
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 8.12 3.30 305070080 false(valid-deref) 8.55 3.29 307331072 false(valid-deref) 8.40 3.20 330977280 error: exception 7.42 2.89 267993088
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 6.14 2.51 262701056 false(valid-deref) 6.65 2.65 259878912 false(valid-deref) 5.94 2.57 257400832 false(valid-deref) 6.46 2.65 271036416
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 6.49 2.85 258162688 false(valid-deref) 7.08 2.82 259309568 false(valid-deref) 6.44 2.59 266678272 false(valid-deref) 7.43 3.05 274456576
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 241    180    2374504448 timeout (error: exception) 240    183    2424774656 timeout (error (143)) 241    176    2396934144 error: exception 7.53 2.91 273113088
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error: exception) 241    182    2448097280 timeout (error: exception) 240    183    2514194432 timeout (error (143)) 240    175    2467196928 error: exception 8.27 3.25 335462400
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 5.98 2.59 256077824 false(valid-deref) 6.23 2.61 252018688 false(valid-deref) 6.24 2.65 264306688 false(valid-deref) 6.61 2.77 269955072
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 5.99 2.46 257454080 false(valid-deref) 6.36 2.55 258043904 false(valid-deref) 6.64 2.67 278138880 false(valid-deref) 6.71 2.62 270188544
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 5.68 2.39 257966080 false(valid-deref) 6.19 2.61 258236416 false(valid-deref) 6.39 2.63 257863680 false(valid-deref) 6.72 2.70 267653120
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 6.11 2.56 257376256 false(valid-deref) 6.25 2.64 254521344 false(valid-deref) 6.68 2.56 260898816 false(valid-deref) 6.89 2.69 264310784
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 5.87 2.40 247562240 false(valid-deref) 6.29 2.57 257773568 false(valid-deref) 6.58 2.73 265428992 false(valid-deref) 6.88 2.79 269090816
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 5.92 2.45 249708544 false(valid-deref) 5.99 2.59 254660608 false(valid-deref) 6.55 2.69 260608000 false(valid-deref) 6.50 2.74 265875456
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 246    195    2325086208 timeout (error: exception) 241    185    2600148992 timeout (error (143)) 240    172    1935671296 error: exception 10.1  3.97 334618624
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 9.92 3.84 343846912 timeout (error: exception) 241    191    2615783424 true 10.0  3.84 325939200 error: exception 7.38 2.95 270901248
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 11.3  4.48 377249792 timeout (error: exception) 240    182    2494754816 true 12.3  4.72 384303104 error: exception 8.37 3.28 333594624
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 10.1  3.95 347058176 timeout (error: exception) 242    193    2636488704 true 10.5  4.01 339968000 error: exception 7.30 2.94 274276352
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 11.9  4.62 381067264 timeout (error: exception) 240    180    2348703744 true 12.0  4.57 377147392 error: exception 9.95 3.75 375144448
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 11.1  4.09 368529408 timeout (error: exception) 241    185    2533396480 true 12.0  4.62 377196544 error: exception 8.41 3.24 333164544
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 6.64 2.68 265490432 true 7.32 3.05 266268672 true 7.10 2.75 265736192 true 9.03 3.63 323338240
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 6.64 2.69 263880704 true 7.28 2.98 268353536 true 7.42 2.89 271196160 true 8.80 3.43 341340160
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 5.75 2.39 256942080 true 6.26 2.61 254828544 true 6.86 2.79 266670080 true 7.36 2.83 271835136
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 7.68 3.27 313425920 true 30.5  14.4  645259264 true 7.76 3.06 297877504 error: exception 36.3  22.9  639991808
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.75 3.15 321630208 true 91.2  59.4  1150484480 true 7.87 3.01 312111104 error: exception 142    113    813383680
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 7.41 3.05 309473280 true 29.3  14.1  611368960 true 7.97 2.96 301936640 error: exception 35.4  22.5  639504384
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 7.58 3.04 318980096 true 91.6  59.9  1231147008 true 7.98 3.14 315891712 error: exception 140    111    769466368
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 7.55 2.99 313274368 true 90.8  59.1  1089298432 true 7.68 2.98 297512960 error: exception 142    111    767279104
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 7.59 2.99 310231040 true 90.2  59.2  1063854080 true 7.83 3.05 299143168 error: exception 142    113    815140864
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 5.08 2.03 213422080 unknown 5.14 2.07 213893120 unknown 5.06 2.03 222023680 unknown 5.33 1.99 228241408
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 4.87 1.98 216227840 unknown 5.09 2.10 214872064 unknown 5.44 2.12 224894976 unknown 5.51 2.14 229519360
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 4.97 2.38 211034112 unknown 5.07 2.13 216489984 unknown 5.60 2.20 221745152 unknown 5.25 2.11 231899136
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.05 2.13 216657920 unknown 5.20 2.16 215228416 unknown 5.27 2.05 218968064 unknown 5.63 2.45 231112704
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.11 2.24 217894912 unknown 5.27 2.09 213168128 unknown 5.43 2.07 222531584 unknown 5.46 2.30 223338496
ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 5.16 2.08 216891392 unknown 5.03 2.23 216522752 unknown 5.45 2.18 226197504 unknown 5.26 2.19 229294080
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 5.05 2.13 215420928 unknown 5.17 2.32 218132480 unknown 5.37 2.03 220872704 unknown 5.49 2.32 232660992
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 4.98 2.05 211193856 unknown 5.02 2.24 217063424 unknown 5.31 2.14 214732800 unknown 5.48 2.09 224919552
ldv-memsafety/memleaks_test19_false-valid-free.i unknown 5.05 1.98 214003712 unknown 5.35 2.25 216113152 unknown 5.53 2.23 220241920 unknown 5.46 2.30 230707200
ldv-memsafety/memleaks_test1_false-valid-free.i unknown 4.98 2.00 215003136 unknown 5.13 2.04 213680128 unknown 5.30 2.09 221167616 unknown 5.44 2.25 223600640
ldv-memsafety/memleaks_test3_false-valid-free.i unknown 4.77 2.02 213590016 unknown 5.07 2.12 223158272 unknown 5.31 2.02 218746880 unknown 5.27 2.10 226426880
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 5.06 2.04 215764992 unknown 5.14 2.16 218222592 unknown 5.17 2.06 217702400 unknown 5.25 2.09 231153664
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 4.93 2.09 211914752 unknown 5.12 2.00 221483008 unknown 5.19 2.13 220495872 unknown 5.34 2.10 230010880
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 4.84 2.04 214855680 unknown 5.21 2.07 222076928 unknown 5.34 2.02 220332032 unknown 5.36 2.32 232574976
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 4.86 2.04 214482944 unknown 5.33 2.13 216907776 unknown 5.06 2.14 226099200 unknown 5.44 2.10 227110912
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 4.95 2.15 215306240 unknown 5.25 2.11 215506944 unknown 5.12 2.01 222187520 unknown 5.39 2.21 227676160
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 5.02 2.01 213856256 unknown 5.45 2.19 216047616 unknown 5.54 2.15 221913088 unknown 5.43 2.11 232132608
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 4.96 2.09 208973824 unknown 5.19 2.00 219754496 unknown 5.27 2.10 225488896 unknown 5.44 2.12 228278272
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 5.12 2.09 211550208 unknown 5.06 2.19 217587712 unknown 5.17 1.98 213569536 unknown 5.41 2.12 228704256
ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 5.27 2.09 211861504 unknown 5.09 2.03 219688960 unknown 5.37 2.22 226390016 unknown 5.45 2.17 225681408
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 5.26 2.46 213893120 unknown 5.56 2.12 219197440 unknown 5.41 2.18 225837056 unknown 5.37 2.19 230793216
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 4.90 1.96 213274624 unknown 5.42 2.26 223866880 unknown 5.54 2.24 215420928 unknown 5.58 2.18 227057664
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 5.01 2.05 211636224 unknown 5.28 2.10 220143616 unknown 5.59 2.11 221749248 unknown 5.31 2.07 226627584
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 5.04 2.23 213606400 unknown 5.15 2.32 219099136 unknown 5.47 2.10 224444416 unknown 5.67 2.25 226840576
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 5.06 2.17 213360640 unknown 5.60 2.20 223064064 unknown 5.35 2.13 222425088 unknown 5.45 2.20 223772672
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 4.91 2.00 209575936 unknown 5.20 2.07 214863872 unknown 5.31 2.32 222179328 unknown 5.69 2.25 231256064
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 4.92 2.07 211984384 unknown 5.63 2.18 224710656 unknown 5.40 2.15 220418048 unknown 5.43 2.11 224464896
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 5.33 2.15 213102592 unknown 5.27 2.15 216424448 unknown 5.37 2.19 220147712 unknown 5.45 2.13 228864000
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 5.31 2.16 214216704 unknown 5.49 2.25 217894912 unknown 5.28 2.20 225333248 unknown 5.62 2.33 227790848
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 5.29 2.06 210649088 unknown 5.40 2.32 217640960 unknown 5.66 2.27 222273536 unknown 5.61 2.21 231325696
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 5.15 2.09 212877312 unknown 5.46 2.15 224882688 unknown 5.47 2.11 227262464 unknown 5.56 2.13 227856384
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 5.01 2.16 218152960 unknown 5.34 2.13 217542656 unknown 5.38 2.16 224251904 unknown 5.41 2.17 222351360
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 4.87 2.03 213733376 unknown 5.27 2.09 218578944 unknown 5.29 2.23 221384704 unknown 5.58 2.27 229449728
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 4.99 2.11 210022400 unknown 5.28 2.09 215678976 unknown 5.30 2.18 219762688 unknown 5.82 2.25 227057664
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 5.00 2.08 210829312 unknown 5.41 2.22 226787328 unknown 5.35 2.11 219017216 unknown 5.48 2.18 229933056
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 5.04 2.05 213499904 unknown 5.32 2.05 224329728 unknown 5.40 2.19 219639808 unknown 5.59 2.16 228466688
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 4.80 2.05 214421504 unknown 5.31 2.05 214196224 unknown 5.18 2.19 224137216 unknown 5.41 2.17 225656832
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 5.12 1.97 215334912 unknown 5.13 2.15 209612800 unknown 5.31 2.20 221032448 unknown 5.80 2.29 233185280
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 4.89 2.06 218464256 unknown 5.48 2.06 219037696 unknown 5.39 2.08 222466048 unknown 5.43 2.11 228614144
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 5.10 2.01 213266432 unknown 5.37 2.24 213446656 unknown 5.28 2.02 225931264 unknown 5.61 2.16 233594880
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 4.91 2.01 212742144 unknown 5.14 2.12 218316800 unknown 5.44 2.10 225538048 unknown 5.42 2.15 225849344
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 5.03 2.05 209645568 unknown 5.57 2.28 215904256 unknown 5.48 2.14 228511744 unknown 5.55 2.22 226058240
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 5.01 2.09 210219008 unknown 5.54 2.21 218767360 unknown 5.62 2.17 227516416 unknown 6.01 2.47 227704832
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 5.15 2.02 217956352 unknown 5.18 2.10 213839872 unknown 5.33 2.11 222670848 unknown 5.90 2.23 228896768
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 5.15 2.00 216743936 unknown 5.42 2.20 220147712 unknown 5.50 2.10 224882688 unknown 5.66 2.26 231186432
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 5.12 2.16 208621568 unknown 5.15 2.16 211968000 unknown 5.26 2.14 222769152 unknown 5.85 2.32 230236160
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 5.02 2.05 214233088 unknown 5.51 2.17 215891968 unknown 5.19 2.07 223825920 unknown 5.44 2.22 227921920
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 5.14 2.12 213934080 unknown 5.54 2.17 212901888 unknown 5.43 2.27 225996800 unknown 5.71 2.26 226222080
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 5.08 2.14 215601152 unknown 5.73 2.49 222846976 unknown 5.31 2.09 221646848 unknown 5.41 2.07 221085696
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 5.08 2.02 216150016 unknown 5.35 2.14 214155264 unknown 5.24 2.08 222867456 unknown 5.69 2.26 232239104
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 5.05 2.12 207826944 unknown 5.23 2.15 214396928 unknown 5.18 2.25 219979776 unknown 5.38 2.25 229478400
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 5.13 2.02 211984384 unknown 5.24 2.14 219602944 unknown 5.19 2.02 224153600 unknown 5.72 2.16 234078208
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 5.22 2.11 215650304 unknown 5.38 2.12 217427968 unknown 5.33 2.16 218488832 unknown 5.40 2.22 228081664
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 5.11 2.11 218103808 unknown 5.26 2.17 217391104 unknown 5.50 2.05 224165888 unknown 5.42 2.18 229339136
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 5.14 2.14 216186880 unknown 5.12 2.04 219418624 unknown 5.24 2.07 224841728 unknown 5.48 2.18 231591936
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 4.81 2.16 211718144 unknown 5.25 2.10 219496448 unknown 5.59 2.11 230039552 unknown 5.58 2.26 228646912
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 5.32 2.12 213798912 unknown 5.23 2.05 218140672 unknown 5.42 2.26 227569664 unknown 5.64 2.25 233631744
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 5.19 2.07 212369408 unknown 5.16 2.07 212267008 unknown 5.27 2.11 222654464 unknown 5.44 2.14 234070016
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 5.47 2.18 211267584 unknown 5.39 2.04 218017792 unknown 5.28 2.21 225607680 unknown 5.43 2.19 228962304
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 5.11 2.05 217444352 unknown 5.11 2.05 213172224 unknown 5.39 2.13 223109120 unknown 5.68 2.18 235544576
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.20 2.13 217501696 unknown 5.42 2.13 223211520 unknown 6.00 2.46 222392320 unknown 5.62 2.17 230215680
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 5.28 2.06 212377600 unknown 5.25 2.11 217956352 unknown 5.54 2.24 222650368 unknown 5.61 2.28 235909120
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 5.16 2.18 215330816 unknown 5.23 2.04 214605824 unknown 5.10 1.97 220934144 unknown 5.42 2.22 233115648
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 5.18 2.45 210419712 unknown 5.33 2.07 218890240 unknown 5.22 2.15 223793152 unknown 5.66 2.18 231710720
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 5.30 2.32 214183936 unknown 5.33 2.10 213307392 unknown 5.32 2.09 223592448 unknown 5.64 2.27 229920768
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 5.19 2.01 217260032 unknown 5.22 2.05 220749824 unknown 5.51 2.23 222261248 unknown 5.53 2.24 234319872
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 5.29 2.14 213856256 unknown 5.38 2.14 214896640 unknown 5.50 2.12 222392320 unknown 5.53 2.27 226033664
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 5.05 2.00 212836352 unknown 5.47 2.18 217079808 unknown 5.60 2.12 226848768 unknown 5.44 2.19 233152512
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 4.67 1.92 211337216 unknown 4.84 1.92 215867392 unknown 4.84 1.95 219652096 unknown 5.12 2.05 222384128
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 4.39 1.83 209989632 unknown 4.68 1.92 213573632 unknown 4.94 2.07 220827648 unknown 5.04 2.04 226918400
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 4.68 1.98 209424384 unknown 4.82 1.99 217866240 unknown 4.94 1.89 214757376 unknown 4.98 2.08 224567296
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 4.58 1.87 207273984 unknown 4.93 1.99 216375296 unknown 4.86 1.98 215293952 unknown 5.15 2.10 224968704
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 4.60 1.96 212606976 unknown 4.81 1.92 217387008 unknown 4.84 1.94 219107328 unknown 5.08 1.98 227024896
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 4.39 1.86 211419136 unknown 4.79 1.95 212504576 unknown 4.82 2.03 218124288 unknown 5.07 2.02 225886208
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.69 1.84 212525056 unknown 4.89 1.90 215265280 unknown 4.90 1.98 220917760 unknown 5.08 2.05 224137216
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 4.31 1.91 206000128 unknown 4.61 1.83 215306240 unknown 4.97 1.98 223264768 unknown 5.03 2.09 223768576
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.69 1.98 216256512 unknown 4.68 2.00 215367680 unknown 4.83 1.93 223797248 unknown 5.12 2.03 225210368
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 4.42 1.93 206815232 unknown 4.85 2.01 214851584 unknown 5.14 2.05 222801920 unknown 4.85 2.06 221175808
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.39 2.12 216559616 unknown 5.37 2.10 218742784 unknown 5.55 2.19 226254848 unknown 5.53 2.23 232525824
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 246    241    2088857600 timeout (error (143)) 246    240    2122977280 timeout (error (143)) 246    240    2133397504 timeout (error (143)) 246    241    2062086144
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.22 2.10 210997248 unknown 5.13 2.14 215592960 unknown 5.30 2.14 222896128 unknown 5.40 2.21 228671488
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.11 1.99 213471232 unknown 5.20 2.07 215605248 unknown 5.40 2.06 224493568 unknown 5.47 2.28 228216832
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 4.92 2.08 209481728 unknown 5.08 2.13 220160000 unknown 5.26 2.23 224477184 unknown 5.32 2.10 224083968
heap-manipulation/tree_false-valid-deref.i unknown 5.08 1.99 209862656 unknown 5.17 2.08 218177536 unknown 5.31 2.11 216559616 unknown 5.43 2.15 224460800
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 5.06 2.01 209031168 unknown 4.98 2.14 218402816 unknown 5.37 2.33 224579584 unknown 5.41 2.17 222363648
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) 23.8  9.43 537260032 false(valid-memtrack) 22.6  8.76 513409024 false(valid-memtrack) 29.1  10.6  584118272 error: exception 16.2  6.46 449298432
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 197    170    839262208 false(valid-memtrack) 36.6  16.1  637849600 false(valid-memtrack) 188    160    882638848 error: exception 12.8  4.78 357920768
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 44.3  23.1  812937216 false(valid-memtrack) 30.0  13.2  610349056 false(valid-memtrack) 53.6  27.6  758833152 error: exception 12.1  4.51 377393152
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 4.97 2.00 211025920 unknown 4.98 2.08 214650880 unknown 5.29 2.05 221925376 unknown 5.14 2.10 224710656
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 4.84 1.96 209915904 unknown 5.17 2.02 215130112 unknown 5.21 2.01 221863936 unknown 5.26 2.21 224411648
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 4.92 1.96 206352384 unknown 5.16 2.06 215547904 unknown 5.09 2.10 219496448 unknown 5.13 2.18 223678464
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 4.95 1.97 213012480 unknown 5.18 1.98 216358912 unknown 5.16 2.05 223420416 unknown 5.03 2.04 228491264
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 5.05 2.10 215293952 unknown 4.98 2.35 215822336 unknown 5.38 2.37 217100288 unknown 5.29 2.13 226734080
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 4.90 2.09 212484096 unknown 5.10 2.05 213794816 unknown 5.16 2.10 222961664 unknown 5.27 2.16 224280576
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.79 2.38 236670976 unknown 5.72 2.32 247918592 unknown 5.93 2.36 246489088 unknown 5.96 2.48 246792192
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.56 2.28 234098688 unknown 5.68 2.17 242757632 unknown 5.99 2.33 242106368 unknown 6.05 2.65 244420608
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.60 2.24 231866368 unknown 5.81 2.23 243511296 unknown 5.81 2.23 240377856 unknown 5.95 2.29 247025664
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.71 2.25 234745856 unknown 5.72 2.21 243900416 unknown 5.83 2.24 242950144 unknown 6.18 2.30 245575680
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.95 2.40 237142016 unknown 5.65 2.21 240635904 unknown 6.05 2.33 240881664 unknown 5.91 2.34 247812096
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.59 2.15 239865856 unknown 5.97 2.36 243662848 unknown 5.86 2.34 244531200 unknown 5.78 2.40 248156160
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.28 2.20 236728320 unknown 6.13 2.40 239927296 unknown 5.67 2.15 242323456 unknown 5.97 2.27 241766400
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.82 2.26 238632960 unknown 5.65 2.14 244379648 unknown 5.85 2.32 247783424 unknown 6.08 2.36 244629504
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.42 2.18 234991616 unknown 5.68 2.19 241737728 unknown 5.66 2.23 241246208 unknown 6.03 2.29 248430592
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.45 2.22 242741248 unknown 5.73 2.32 244396032 unknown 5.64 2.25 246910976 unknown 6.07 2.29 244191232
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.42 2.17 245198848 unknown 5.90 2.26 245100544 unknown 6.13 2.33 241991680 unknown 5.98 2.30 243253248
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.51 2.19 242024448 unknown 5.84 2.33 242872320 unknown 6.00 2.33 249208832 unknown 6.01 2.29 245821440
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.52 2.06 238952448 unknown 5.97 2.34 238825472 unknown 5.68 2.12 243957760 unknown 6.12 2.39 240300032
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    195    935747584 timeout (error (143)) 241    176    1537867776 timeout (error (143)) 241    203    715677696 error: exception 14.1  5.31 358494208
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    211    680767488 timeout (error (143)) 241    180    1382150144 timeout (error (143)) 244    208    857350144 error: exception 11.9  4.25 374964224
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    179    936054784 timeout (error (143)) 241    173    1332584448 timeout (error (143)) 241    201    742764544 error: exception 12.3  4.69 378855424
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    228    504844288 timeout (error (143)) 240    181    1636548608 timeout (error (143)) 242    216    597069824 error: exception 13.1  4.91 414904320
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    180    923111424 timeout (error (143)) 241    181    1338064896 timeout (error (143)) 240    185    956481536 error: exception 12.6  4.80 362848256
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    185    1330008064 timeout (error (143)) 241    179    1248833536 timeout (error (143)) 242    193    1090899968 error: exception 16.3  6.05 442748928
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    202    579923968 timeout (error (143)) 241    180    1247567872 timeout (error (143)) 241    211    826265600 error: exception 13.0  4.90 408735744
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    231    509591552 timeout (error (143)) 241    184    1168388096 timeout (error (143)) 241    207    911724544 error: exception 12.9  4.96 398708736
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    1105096704 timeout (error (143)) 241    181    1434406912 timeout (error (143)) 241    206    980795392 error: exception 12.5  4.37 375164928
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    202    996507648 timeout (error (143)) 241    178    1263448064 timeout (error (143)) 242    214    699052032 error: exception 11.7  4.42 358109184
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    204    841027584 timeout (error (143)) 240    171    1461768192 timeout (error (143)) 241    204    758804480 error: exception 11.7  4.35 393302016
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    1350832128 timeout (error (143)) 241    175    1403289600 timeout (error (143)) 241    182    1166524416 error: exception 10.9  3.98 375586816
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    184    1296990208 timeout (error (143)) 241    175    1506226176 timeout (error (143)) 241    198    1147580416 error: exception 12.0  4.38 357937152
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    961978368 timeout (error (143)) 240    181    1575706624 timeout (error (143)) 241    187    1330233344 error: exception 12.7  4.74 362586112
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    188    1180876800 timeout (error (143)) 241    181    1196695552 timeout (error (143)) 242    185    972230656 error: exception 11.9  4.40 380387328
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    1017073664 timeout (error (143)) 241    179    1236488192 timeout (error (143)) 241    192    1018642432 error: exception 13.1  4.88 409812992
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 244    194    1165033472 timeout (error (143)) 241    181    1288404992 timeout (error (143)) 241    183    1001422848 error: exception 12.0  4.49 360792064
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    197    1247453184 timeout (error (143)) 241    182    1241907200 timeout (error (143)) 241    189    1062764544 error: exception 12.1  4.60 373387264
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    184    1179766784 timeout (error (143)) 240    180    1398939648 timeout (error (143)) 241    190    1232715776 error: exception 10.9  4.07 343613440
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 62.8  35.9  812937216 false(valid-deref) 39.1  18.9  754278400 false(valid-deref) 204    174    817164288 error: exception 13.4  4.93 403013632
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 29.5  12.1  565776384 false(valid-deref) 29.2  12.3  600375296 false(valid-deref) 75.5  57.7  502841344 error: exception 12.0  4.46 358887424
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 44.9  23.1  765825024 false(valid-deref) 29.8  13.4  607207424 false(valid-deref) 52.0  27.1  764334080 error: exception 11.7  4.35 355667968
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 240    185    2338791424 timeout (error (143)) 241    192    2141532160 timeout (error (143)) 241    178    2374651904 timeout (error (143)) 241    195    1076502528
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.64 2.55 290074624 unknown 6.45 2.48 293253120 unknown 6.44 2.41 293867520 unknown 6.43 2.49 296402944
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.87 2.34 241717248 unknown 6.11 2.34 246751232 unknown 5.96 2.34 246878208 unknown 5.91 2.38 242237440
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.2  3.95 345243648 true 10.2  3.63 363548672 true 10.2  3.75 336748544 true 10.8  3.87 344829952
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.6  3.82 361267200 true 10.5  3.73 363548672 true 10.4  3.74 369975296 true 10.0  3.66 371802112
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.81 3.25 290045952 true 8.73 3.31 324878336 true 8.50 3.12 312836096 true 8.60 3.29 299835392
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.68 3.19 300036096 true 8.12 3.02 311328768 true 8.89 3.31 312279040 true 8.65 3.19 304287744
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.67 3.31 290562048 true 8.53 3.19 313802752 true 8.27 3.07 301944832 true 8.77 3.16 319356928
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.1  3.60 328933376 true 9.38 3.36 341790720 true 9.63 3.41 334544896 true 9.64 3.49 341741568
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.34 3.51 316248064 true 9.46 3.33 333922304 true 9.60 3.41 342581248 true 9.35 3.32 334581760
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.93 2.72 241901568 true 6.77 2.64 266784768 true 6.96 2.66 268144640 true 7.07 2.77 275697664
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.63 3.27 269004800 true 8.11 3.07 289075200 true 8.35 3.16 296611840 true 7.68 3.14 290439168
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.48 3.06 275947520 true 8.23 2.94 284790784 true 8.63 3.17 288325632 true 8.38 3.05 296284160
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 6.04 2.41 229855232 true 5.73 2.30 251129856 true 6.05 2.40 257503232 true 5.94 2.34 271753216
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 6.08 2.70 233316352 true 5.71 2.52 263188480 true 6.12 2.42 261869568 true 6.10 2.34 263774208
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 5.88 2.44 234029056 true 5.80 2.57 259072000 true 5.84 2.43 260534272 true 6.03 2.44 262782976
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 6.01 2.53 236679168 true 6.01 2.38 257490944 true 6.04 2.48 260915200 true 6.10 2.50 267218944
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 6.10 2.45 231096320 true 5.92 2.47 255741952 true 6.38 2.63 260382720 true 6.07 2.41 260882432
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 6.09 2.59 232452096 true 6.07 2.36 254861312 true 6.18 2.44 262778880 true 6.09 2.48 270012416
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 6.25 2.84 239239168 true 5.98 2.50 251797504 true 6.19 2.45 265695232 true 6.13 2.39 264781824
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.14 2.60 231862272 true 5.88 2.43 253599744 true 5.79 2.58 263688192 true 6.07 2.54 268021760
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 5.68 2.42 234233856 true 5.66 2.26 252923904 true 5.82 2.29 257781760 true 5.97 2.36 263860224
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 6.01 2.45 231178240 true 5.57 2.39 253820928 true 5.80 2.39 253980672 true 5.98 2.43 264876032
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.02 2.45 233123840 true 5.89 2.39 248971264 true 5.90 2.52 254451712 true 5.92 2.38 264785920
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 5.95 2.59 233435136 true 5.70 2.40 259485696 true 5.70 2.35 260513792 true 5.81 2.35 268279808
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 5.98 2.51 233091072 true 5.77 2.35 253370368 true 6.04 2.42 261144576 true 5.87 2.39 262602752
../../../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 10600 7790 120294092800 326 12100 8510 153087991808 326 11100 8310 119343497216 326 3930 2330 90312359936
local summary 6610 3970 11600 4330 11100 4220 3660 1220
    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