Tool ULTIMATE Automizer 0.1.23-d4a23566
Limits timelimit: 180 s, memlimit: 6000 MB, CPU core limit: 4
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-03-23 11:41:41 CET
Run set Automizer AutomizerHeapSep HeapSep
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel+AI_EQ_SS.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i unknown 6.07 2.44 186093568 unknown 6.57 2.47 193667072 unknown 6.58 2.66 198049792
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 7.94 3.17 228151296 error: exception 33.2  14.3  936337408 error: exception 36.3  15.0  979726336
array-memsafety/count_down_unsafe_false-valid-deref.i unknown 6.06 2.48 189546496 unknown 6.65 2.54 192135168 unknown 7.05 2.65 195051520
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.35 3.00 227106816 false(valid-deref) 84.1  60.1  1888694272 unknown 72.1  48.5  1751195648
array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 6.15 2.48 192716800 unknown 6.31 2.52 193150976 unknown 6.05 2.47 194641920
array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 6.11 2.40 191229952 unknown 6.28 2.47 195985408 unknown 6.59 2.57 195469312
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.33 2.98 231600128 timeout (error (143)) 181    156    2221490176 timeout (error (143)) 184    159    2219257856
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.02 3.25 234967040 false(valid-deref) 64.0  43.1  1532051456 unknown 67.0  42.5  1552830464
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 6.21 2.49 192970752 unknown 6.48 2.63 191754240 unknown 6.18 2.39 195776512
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.13 3.24 235937792 false(valid-deref) 40.3  19.2  1153630208 unknown 38.1  18.4  1230962688
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 6.19 2.36 190926848 unknown 6.33 2.49 192217088 unknown 6.38 2.44 194555904
array-memsafety/lis_unsafe_false-valid-deref.i unknown 6.25 2.44 192790528 unknown 6.21 2.44 196513792 unknown 6.38 2.50 196579328
array-memsafety/mult_array_unsafe_false-valid-deref.i unknown 6.54 2.43 195497984 unknown 6.34 2.52 195395584 unknown 6.28 2.42 198963200
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i unknown 6.32 2.46 189992960 unknown 6.17 2.41 193134592 unknown 6.53 2.49 198750208
array-memsafety/reverse_array_unsafe_false-valid-deref.i unknown 6.10 2.35 188919808 unknown 6.34 2.55 196685824 unknown 6.32 2.51 198410240
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 8.49 3.44 235061248 error: exception 25.0  9.57 752582656 error: exception 25.1  9.84 710078464
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.55 2.96 232325120 false(valid-deref) 8.52 3.37 241074176 unknown 8.13 3.15 236720128
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 6.14 2.42 192913408 unknown 6.34 2.43 194711552 unknown 6.30 2.38 197312512
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 6.10 2.39 191660032 unknown 6.24 2.46 190636032 unknown 6.53 2.53 197771264
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 6.03 2.37 191848448 unknown 6.33 2.50 196059136 unknown 6.31 2.45 199299072
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 6.11 2.41 187981824 unknown 6.47 2.53 195145728 unknown 6.56 2.49 196415488
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 6.12 2.48 192737280 unknown 6.32 2.42 195637248 unknown 6.34 2.47 198209536
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.35 188129280 unknown 6.40 2.48 195547136 unknown 6.64 2.50 196931584
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 6.13 2.41 185249792 unknown 6.19 2.38 191991808 unknown 6.32 2.38 196087808
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 6.16 2.38 190193664 unknown 6.29 2.53 191676416 unknown 6.20 2.45 197263360
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.49 190742528 unknown 6.43 2.46 191217664 unknown 6.60 2.54 196030464
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.38 2.43 192684032 unknown 6.24 2.43 193998848 unknown 6.45 2.52 197201920
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 6.35 2.54 190521344 unknown 6.51 2.56 193449984 unknown 6.32 2.45 198397952
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 6.25 2.45 188788736 unknown 6.24 2.46 197152768 unknown 6.44 2.50 198934528
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 6.24 2.60 192557056 unknown 6.72 2.62 192528384 unknown 6.27 2.47 196390912
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 6.19 2.47 191795200 unknown 6.29 2.46 191053824 unknown 6.73 2.51 197021696
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.29 2.42 190263296 unknown 6.58 2.53 200077312 unknown 6.44 2.53 197947392
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 6.37 2.42 192434176 unknown 6.31 2.48 193454080 unknown 6.67 2.52 202944512
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 5.99 2.41 192348160 unknown 6.23 2.44 191590400 unknown 6.45 2.50 198631424
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 6.26 2.44 190849024 unknown 6.25 2.45 195969024 unknown 6.81 2.53 196640768
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 6.04 2.41 190779392 unknown 6.43 2.45 192589824 unknown 6.74 2.48 199471104
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 6.23 2.40 189784064 unknown 6.25 2.44 192868352 unknown 6.72 2.57 201224192
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 6.12 2.44 190771200 unknown 6.42 2.55 195833856 unknown 6.86 2.61 195424256
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 6.34 2.43 195858432 unknown 6.38 2.41 192765952 unknown 6.73 2.62 196820992
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 6.40 2.42 190541824 unknown 6.35 2.54 190943232 unknown 6.87 2.50 201371648
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 6.19 2.40 191610880 unknown 6.71 2.64 194990080 unknown 6.62 2.50 198598656
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 5.99 2.45 189231104 unknown 6.46 2.48 192794624 unknown 6.76 2.54 195256320
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 6.10 2.39 189652992 unknown 6.08 2.46 196087808 unknown 6.75 2.58 201244672
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.30 2.47 190865408 unknown 6.29 2.43 192995328 unknown 6.87 2.52 193650688
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.22 2.43 192708608 unknown 6.37 2.53 195735552 unknown 6.36 2.53 199868416
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 6.26 2.51 191520768 unknown 6.24 2.47 191504384 unknown 6.55 2.47 198524928
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 6.32 2.48 191528960 unknown 6.37 2.41 196472832 unknown 6.69 2.50 199639040
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.23 2.41 191086592 unknown 6.39 2.51 196079616 unknown 6.74 2.51 202010624
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 6.33 2.41 189251584 unknown 6.37 2.43 195198976 unknown 6.80 2.53 202027008
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 6.28 2.48 189042688 unknown 6.35 2.51 195842048 unknown 6.63 2.54 195391488
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 6.15 2.48 188833792 unknown 6.40 2.45 193859584 unknown 6.77 2.54 197541888
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 6.53 2.46 187432960 unknown 6.33 2.46 195563520 unknown 6.76 2.57 197275648
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 6.21 2.47 188903424 unknown 6.36 2.50 196849664 unknown 6.83 2.61 197455872
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 6.23 2.57 191168512 unknown 6.37 2.39 195727360 unknown 6.50 2.54 195309568
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 6.08 2.52 193462272 unknown 6.48 2.46 190169088 unknown 6.86 2.60 197689344
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 6.31 2.49 191311872 unknown 6.42 2.50 193245184 unknown 6.52 2.55 196653056
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 6.43 2.46 191713280 unknown 6.16 2.44 193994752 unknown 6.84 2.54 196337664
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 6.36 2.53 188207104 unknown 6.64 2.54 196333568 unknown 6.82 2.61 198119424
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 6.41 2.51 193175552 unknown 6.54 2.63 195932160 unknown 6.68 2.54 196075520
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i error: exception 5.37 2.32 182095872 unknown 6.50 2.48 192417792 unknown 6.60 2.53 197095424
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 6.33 2.44 190738432 unknown 6.49 2.51 200065024 unknown 6.43 2.50 198696960
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 6.27 2.60 191639552 unknown 6.64 2.56 197541888 unknown 6.54 2.52 198516736
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 6.32 2.46 189247488 unknown 6.48 2.45 194842624 unknown 6.46 2.51 196759552
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 6.27 2.53 193277952 unknown 6.39 2.50 191062016 unknown 6.53 2.52 196845568
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 6.37 2.60 189784064 unknown 6.29 2.44 191840256 unknown 6.53 2.56 199114752
array-examples/relax_false-valid-deref.i unknown 6.24 2.53 191115264 unknown 6.51 2.56 196919296 unknown 6.91 2.62 198926336
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 181    112    932814848 timeout (error (143)) 180    114    921206784 unknown 7.38 2.89 220327936
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 180    118    1033125888 timeout (error (143)) 181    121    978526208 unknown 7.43 2.85 223633408
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 180    121    763273216 timeout (error: exception) 180    120    806092800 unknown 7.43 2.80 219865088
memsafety/960521-1_false-valid-deref.i unknown 6.34 2.46 188469248 unknown 6.20 2.54 194875392 unknown 6.77 2.53 200667136
memsafety/test-0137_false-valid-deref.i unknown 6.38 2.51 192831488 unknown 6.43 2.53 195121152 unknown 6.68 2.55 197709824
memsafety/test-0235_false-valid-deref.i unknown 6.27 2.48 193732608 unknown 6.35 2.52 195866624 unknown 6.85 2.62 202973184
memsafety/960521-1_false-valid-free.i unknown 6.14 2.48 190361600 unknown 6.31 2.48 195411968 unknown 6.52 2.46 199774208
memsafety/test-0158_false-valid-free.i unknown 6.15 2.49 191389696 unknown 6.71 2.62 194826240 unknown 6.60 2.54 199544832
memsafety/test-0232_false-valid-free.i unknown 6.24 2.56 195166208 unknown 5.96 2.44 189935616 unknown 6.99 2.53 199933952
memsafety/20020406-1_false-valid-memtrack.i error: exception 6.67 2.65 192466944 error: exception 6.89 2.65 194088960 error: exception 7.20 2.61 200228864
memsafety/20051113-1.c_false-valid-memtrack.i unknown 6.40 2.49 193310720 unknown 6.63 2.65 195149824 unknown 6.58 2.49 202076160
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 6.29 2.50 192094208 unknown 6.47 2.53 194584576 unknown 6.71 2.58 195981312
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 6.45 2.47 198090752 unknown 6.25 2.46 195231744 unknown 6.77 2.51 201269248
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 6.43 2.54 190836736 unknown 6.45 2.52 194859008 unknown 6.85 2.56 196263936
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 6.14 2.46 193585152 unknown 6.44 2.59 191942656 unknown 6.64 2.56 200474624
memsafety/test-0102_false-valid-memtrack.i unknown 6.25 2.52 191737856 unknown 6.33 2.46 194457600 unknown 6.77 2.54 198336512
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 6.22 2.47 191410176 unknown 6.31 2.52 193953792 unknown 6.40 2.58 198848512
memsafety/test-0220_false-valid-memtrack.i unknown 6.30 2.55 192737280 unknown 6.62 2.53 196595712 unknown 6.67 2.44 197636096
memsafety/test-0232_false-valid-memtrack.i unknown 6.20 2.45 194375680 unknown 6.28 2.50 192512000 unknown 6.80 2.50 196714496
memsafety/test-0234_false-valid-memtrack.i unknown 6.29 2.54 190885888 unknown 6.78 2.56 194969600 unknown 6.92 2.58 197779456
memsafety/test-0235_false-valid-memtrack.i unknown 6.47 2.49 193028096 unknown 6.52 2.54 191590400 unknown 6.96 2.63 201076736
memsafety/960521-1_true-valid-memsafety.i unknown 6.06 2.47 192749568 unknown 6.42 2.51 193798144 unknown 6.78 2.50 201371648
memsafety/lockfree-3.0_true-valid-memsafety.i unknown 6.52 2.59 189181952 unknown 6.76 2.73 198770688 unknown 6.67 2.55 199626752
memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 6.39 2.50 191623168 unknown 6.71 2.63 190767104 unknown 6.53 2.44 194654208
memsafety/test-0102_true-valid-memsafety.i unknown 6.23 2.52 194867200 unknown 6.48 2.64 195842048 unknown 6.41 2.47 200638464
memsafety/test-0134_true-valid-memsafety.i unknown 6.29 2.57 194572288 unknown 7.12 2.84 196747264 unknown 6.50 2.54 198160384
memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 5.93 2.44 192409600 unknown 6.16 2.45 190959616 unknown 6.78 2.51 196730880
memsafety/test-0214_true-valid-memsafety_false-termination.i unknown 6.45 2.56 192942080 unknown 6.69 2.57 193523712 unknown 6.59 2.56 199004160
memsafety/test-0217_true-valid-memsafety_false-termination.i unknown 6.34 2.40 193662976 unknown 6.49 2.49 194760704 unknown 6.65 2.58 197611520
memsafety/test-0218_true-valid-memsafety_false-termination.i unknown 6.54 2.64 195604480 unknown 6.73 2.59 198561792 unknown 6.76 2.59 201887744
memsafety/test-0219_true-valid-memsafety.i unknown 6.31 2.46 192221184 unknown 6.47 2.54 195571712 unknown 6.66 2.51 198672384
memsafety/test-0232_true-valid-memsafety.i unknown 6.39 2.52 196845568 unknown 6.62 2.56 196345856 unknown 6.45 2.56 199802880
memsafety/test-0234_true-valid-memsafety.i unknown 6.36 2.49 191373312 unknown 6.60 2.52 193638400 unknown 6.81 2.52 201277440
memsafety/test-0235_true-valid-memsafety.i unknown 6.20 2.43 190078976 unknown 6.56 2.51 193925120 unknown 6.95 2.54 199626752
memsafety/test-0236_true-valid-memsafety.i unknown 6.43 2.44 190906368 unknown 6.49 2.49 197038080 unknown 6.98 2.64 200052736
memsafety/test-0237_true-valid-memsafety.i unknown 6.24 2.46 195260416 unknown 6.54 2.51 195043328 unknown 6.73 2.51 195588096
memsafety/test-0504_true-valid-memsafety.i unknown 6.06 2.46 188575744 unknown 6.60 2.72 193159168 unknown 6.81 2.53 199380992
memsafety/test-0513_true-valid-memsafety.i unknown 6.42 2.46 196001792 unknown 6.43 2.59 195162112 unknown 6.75 2.61 200413184
memsafety/test-0521_true-valid-memsafety.i unknown 6.35 2.34 192446464 unknown 6.44 2.51 193290240 unknown 7.36 2.72 203993088
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 6.26 2.48 191705088 unknown 6.52 2.46 192856064 unknown 6.96 2.69 198983680
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 5.99 2.46 189063168 unknown 6.27 2.40 193183744 unknown 6.97 2.64 199004160
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 6.21 2.43 189911040 unknown 6.48 2.52 193871872 unknown 7.16 2.70 201150464
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.16 2.47 195080192 unknown 6.69 2.51 190070784 unknown 7.03 2.81 192491520
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i unknown 6.12 2.47 191889408 unknown 6.47 2.45 192802816 unknown 6.73 2.56 196898816
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 6.14 2.43 193785856 unknown 6.36 2.45 193691648 unknown 6.55 2.45 195117056
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 6.13 2.46 193277952 unknown 6.52 2.62 194764800 unknown 6.82 2.60 194846720
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 6.37 2.50 190410752 unknown 6.55 2.51 192253952 unknown 6.55 2.56 200192000
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i unknown 6.44 2.44 192958464 unknown 6.45 2.52 192360448 unknown 6.63 2.54 199282688
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 6.43 2.53 191631360 error: exception 6.60 2.50 195026944 error: exception 6.86 2.61 196227072
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 6.35 2.44 191737856 error: exception 6.81 2.54 198569984 error: exception 6.89 2.62 199405568
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error: exception 6.56 2.53 195227648 error: exception 6.67 2.56 193650688 error: exception 7.08 2.54 197660672
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 133    92.8  1003520000 timeout (error (143)) 180    147    2235281408 timeout (error (143)) 183    154    2234376192
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i error: exception 127    69.9  851365888 error: exception 126    94.8  2083205120 error: exception 122    92.3  2196447232
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 6.56 2.49 195084288 error: exception 6.45 2.50 196726784 error: exception 6.61 2.44 201412608
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error: exception 6.61 2.59 195330048 error: exception 6.45 2.50 197816320 error: exception 6.80 2.57 199217152
memsafety-ext2/length_test03_true-valid-memsafety.i error: exception 149    109    923078656 timeout (error (143)) 186    159    2233864192 timeout (error (143)) 186    156    2233102336
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 181    130    852434944 error: exception 110    77.9  2173120512 error: exception 112    78.2  2211549184
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 6.26 2.48 193949696 error: exception 6.99 2.67 195940352 error: exception 6.60 2.49 203964416
list-ext-properties/960521-1_1_false-valid-deref.i unknown 5.89 2.37 191025152 unknown 6.25 2.45 192917504 unknown 6.43 2.47 199630848
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 6.15 2.45 192868352 unknown 6.25 2.52 195121152 unknown 6.51 2.42 195624960
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown 5.99 2.40 194637824 unknown 6.53 2.51 194093056 unknown 6.85 2.56 197349376
list-ext-properties/960521-1_1_false-valid-free.i unknown 6.07 2.42 192581632 unknown 6.32 2.47 190353408 unknown 6.62 2.44 197656576
list-ext-properties/test-0158_1_false-valid-free.i unknown 5.99 2.44 192786432 unknown 6.23 2.45 195792896 unknown 6.37 2.47 196173824
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 5.95 2.49 191660032 unknown 6.25 2.53 194686976 unknown 6.51 2.48 195518464
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 5.96 2.37 193028096 unknown 5.96 2.42 194166784 unknown 6.54 2.41 197533696
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 6.00 2.60 193740800 unknown 6.41 2.50 194654208 unknown 6.38 2.53 197914624
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 6.47 2.59 195702784 unknown 6.19 2.43 192323584 unknown 6.83 2.55 195907584
list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 6.26 2.49 192421888 unknown 6.24 2.50 195764224 unknown 6.72 2.53 199213056
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 6.41 2.54 194088960 unknown 6.51 2.51 195239936 unknown 6.60 2.55 197308416
list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 5.89 2.34 190763008 unknown 6.17 2.39 196161536 unknown 6.68 2.39 198045696
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 6.06 2.47 192028672 unknown 6.38 2.44 195334144 unknown 6.70 2.59 194629632
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 6.29 2.56 193347584 unknown 6.56 2.53 195248128 unknown 6.52 2.46 196390912
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 6.53 2.54 188350464 unknown 6.95 2.62 195284992 unknown 7.05 2.68 200273920
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 6.75 2.61 194584576 unknown 6.75 2.61 198356992 unknown 6.96 2.53 200171520
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 6.41 2.51 191528960 unknown 6.39 2.51 196931584 unknown 6.88 2.56 199692288
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 6.37 2.52 190492672 unknown 6.62 2.53 194252800 unknown 6.77 2.58 196988928
list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 6.34 2.48 191225856 unknown 6.55 2.58 190943232 unknown 6.63 2.58 198545408
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 6.18 2.48 192368640 unknown 6.64 2.52 194142208 unknown 6.77 2.61 198922240
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 10.1  4.01 268611584 false(valid-deref) 123    88.8  2218790912 unknown 120    87.8  2220519424
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 11.3  4.25 305451008 false(valid-deref) 122    89.5  2212986880 unknown 121    91.1  2210746368
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.25 3.37 232431616 false(valid-deref) 37.6  15.7  916758528 unknown 38.7  14.7  1094303744
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.58 3.44 236322816 false(valid-deref) 44.0  20.4  1168236544 unknown 42.2  19.4  1386651648
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error: exception) 181    116    2222600192 timeout (error (143)) 181    117    1159294976 unknown 14.5  5.09 415272960
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 181    117    2225381376 timeout (error (143)) 182    112    1069264896 unknown 16.3  5.65 403746816
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.31 3.32 234188800 false(valid-deref) 9.54 3.67 263798784 unknown 9.01 3.32 239218688
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.16 3.21 232501248 false(valid-deref) 9.60 3.75 270913536 unknown 9.17 3.39 247861248
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.95 3.17 231419904 false(valid-deref) 9.41 3.66 261275648 unknown 9.00 3.39 239050752
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.01 3.28 238833664 false(valid-deref) 10.0  3.83 272265216 unknown 8.93 3.40 246362112
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 8.05 3.16 237207552 false(valid-deref) 9.39 3.61 264114176 unknown 8.88 3.34 239104000
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.84 3.37 234369024 false(valid-deref) 9.44 3.65 263475200 unknown 8.59 3.34 240185344
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 181    115    1258106880 false(valid-deref) 128    94.1  2221776896 unknown 124    91.0  2220298240
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 29.8  12.5  450600960 true 33.8  12.5  558084096 unknown 18.9  6.61 418062336
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 30.4  12.8  447610880 true 35.3  13.5  639344640 unknown 19.3  6.70 472850432
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 32.2  13.5  512200704 true 36.1  13.2  563286016 unknown 18.7  6.56 490582016
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 44.7  18.8  555159552 true 65.9  29.7  1450860544 unknown 41.2  18.0  1365708800
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 29.3  12.2  435101696 true 35.5  13.3  587403264 unknown 17.7  6.15 410152960
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 9.75 3.72 270843904 timeout (error (143)) 182    156    2330587136 timeout (error (143)) 185    157    2274070528
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 9.65 3.67 272424960 timeout (error (143)) 184    156    2325528576 timeout (error (143)) 182    153    2301411328
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.29 3.20 235962368 true 70.9  50.7  2179932160 unknown 68.2  47.6  2178408448
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 10.8  4.16 285671424 true 9.83 3.77 270901248 unknown 8.84 3.29 239570944
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 10.8  4.13 294653952 true 10.4  3.98 297598976 unknown 8.72 3.27 238669824
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 10.5  4.12 291979264 true 9.91 3.76 275001344 unknown 8.79 3.27 238477312
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 10.7  4.17 290734080 true 10.6  3.96 288223232 unknown 8.96 3.39 245534720
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 10.6  4.00 283942912 true 10.0  3.78 271540224 unknown 8.92 3.37 238100480
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 10.5  4.10 286646272 true 9.65 3.81 275763200 unknown 8.90 3.28 240029696
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 6.61 2.51 193445888 unknown 6.75 2.55 196505600 unknown 6.84 2.59 200900608
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 6.51 2.51 191848448 unknown 7.01 2.61 200585216 unknown 7.23 2.71 199716864
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 6.51 2.50 193032192 unknown 6.57 2.53 198582272 unknown 6.83 2.66 202018816
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 6.71 2.61 195919872 unknown 6.89 2.60 197369856 unknown 7.02 2.76 200826880
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 6.52 2.54 193961984 unknown 6.92 2.58 198774784 unknown 6.94 2.67 198414336
ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 6.67 2.54 195354624 unknown 6.73 2.59 197537792 unknown 7.59 2.84 199933952
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 6.89 2.64 190754816 unknown 6.91 2.67 196407296 unknown 7.08 2.56 198713344
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 6.41 2.46 192684032 unknown 6.58 2.52 197074944 unknown 7.03 2.60 205369344
ldv-memsafety/memleaks_test19_false-valid-free.i unknown 6.85 2.55 194670592 unknown 6.99 2.67 195190784 unknown 7.13 2.69 202465280
ldv-memsafety/memleaks_test1_false-valid-free.i unknown 6.75 2.54 194138112 unknown 6.85 2.57 193376256 unknown 7.17 2.69 202874880
ldv-memsafety/memleaks_test3_false-valid-free.i unknown 6.65 2.57 192573440 unknown 6.82 2.65 197156864 unknown 6.89 2.60 202485760
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 6.63 2.45 192897024 unknown 7.13 2.65 195928064 unknown 6.93 2.56 201838592
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 6.63 2.71 192598016 unknown 6.77 2.63 197083136 unknown 6.86 2.57 203067392
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 6.60 2.57 190623744 unknown 7.05 2.61 194809856 unknown 7.23 2.67 202014720
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 6.77 2.62 190668800 unknown 6.82 2.57 197873664 unknown 7.09 2.65 201809920
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 6.77 2.59 192884736 unknown 6.96 2.57 197550080 unknown 7.29 2.67 204189696
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 6.74 2.63 192397312 unknown 7.04 2.61 198103040 unknown 7.06 2.67 204898304
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown 7.05 2.64 195407872 unknown 7.11 2.83 193798144 unknown 7.05 2.65 200822784
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 6.70 2.65 195149824 unknown 6.76 2.58 197246976 unknown 6.77 2.58 202633216
ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 6.58 2.68 191733760 unknown 6.89 2.53 196444160 unknown 7.06 2.63 203149312
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 6.77 2.57 193064960 unknown 6.62 2.63 196079616 unknown 7.20 2.67 202502144
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 6.62 2.54 194535424 unknown 6.69 2.52 196575232 unknown 7.16 2.70 200073216
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 6.73 2.82 194965504 unknown 6.83 2.64 196616192 unknown 6.83 2.51 204197888
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 6.79 2.82 196001792 unknown 6.87 2.56 194187264 unknown 7.21 2.59 203649024
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 6.59 2.61 193331200 unknown 6.90 2.67 194318336 unknown 7.03 2.69 205750272
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 6.52 2.57 193527808 unknown 6.77 2.57 194818048 unknown 6.99 2.62 198975488
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 6.71 2.59 189919232 unknown 7.07 2.65 199704576 unknown 6.91 2.67 201469952
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 6.34 2.53 192839680 unknown 6.76 2.58 197799936 unknown 7.32 2.69 200814592
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 6.59 2.63 193040384 unknown 6.75 2.72 196804608 unknown 7.02 2.63 204369920
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 6.59 2.53 195719168 unknown 6.67 2.63 194105344 unknown 6.98 2.62 205111296
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 6.54 2.60 190484480 unknown 7.24 2.67 200167424 unknown 7.04 2.59 203239424
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 6.82 2.58 193826816 unknown 7.15 2.65 198111232 unknown 6.89 2.61 205045760
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 6.63 2.59 195133440 unknown 6.95 2.60 197517312 unknown 6.30 2.45 202682368
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 6.40 2.50 189566976 unknown 6.77 2.54 196231168 unknown 7.10 2.56 204218368
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 6.59 2.53 191414272 unknown 7.01 2.74 198651904 unknown 6.61 2.50 203870208
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 6.65 2.50 193998848 unknown 6.97 2.82 192966656 unknown 7.10 2.69 205651968
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 6.65 2.53 194248704 unknown 7.08 2.74 194412544 unknown 6.72 2.68 203632640
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 6.91 2.59 194134016 unknown 7.11 2.65 197689344 unknown 6.81 2.60 198430720
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 6.60 2.67 194482176 unknown 7.39 2.85 192385024 unknown 7.22 2.65 201338880
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 6.65 2.60 195563520 unknown 7.46 2.83 198406144 unknown 6.96 2.64 201142272
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 6.71 2.59 192118784 unknown 7.00 2.71 194293760 unknown 6.99 2.57 203161600
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 6.66 2.57 195756032 unknown 6.84 2.72 198676480 unknown 6.62 2.60 205254656
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 6.61 2.64 197120000 unknown 6.98 2.65 194355200 unknown 6.92 2.63 207990784
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown 6.81 2.62 195063808 unknown 7.01 2.63 191774720 unknown 7.04 2.55 202096640
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 6.95 2.60 199614464 unknown 6.88 2.65 196820992 unknown 7.53 2.83 206524416
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 6.66 2.73 192880640 unknown 7.03 2.77 198709248 unknown 6.69 2.61 205557760
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 6.71 2.60 196526080 unknown 6.73 2.54 193478656 unknown 7.20 2.71 202797056
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 6.67 2.49 192618496 unknown 6.87 2.56 199774208 unknown 7.06 2.63 202407936
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown 6.61 2.59 194543616 unknown 6.85 2.62 198144000 unknown 7.02 2.69 202686464
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 6.87 2.59 191234048 unknown 6.85 2.58 197636096 unknown 6.81 2.62 204615680
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 6.72 2.63 196771840 unknown 7.03 2.72 199372800 unknown 7.33 2.68 202743808
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 6.76 2.62 194473984 unknown 6.92 2.57 197509120 unknown 7.03 2.57 202977280
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 6.97 2.53 192122880 unknown 6.88 2.64 196014080 unknown 6.83 2.63 205791232
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 6.58 2.51 193200128 unknown 6.91 2.58 193822720 unknown 7.05 2.59 203354112
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 6.66 2.65 193368064 unknown 6.87 2.58 194940928 unknown 7.00 2.60 202096640
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown 6.71 2.69 193458176 unknown 6.75 2.66 198119424 unknown 7.10 2.63 201555968
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 6.87 2.57 196849664 unknown 7.03 2.72 195997696 unknown 6.93 2.63 200515584
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 6.48 2.52 192163840 unknown 7.01 2.53 195567616 unknown 6.93 2.72 202829824
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 6.80 2.75 192393216 unknown 6.58 2.56 195604480 unknown 6.75 2.55 200409088
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 6.81 2.62 196108288 unknown 6.96 2.56 195735552 unknown 7.17 2.69 202903552
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 6.50 2.62 193859584 unknown 6.90 2.66 198594560 unknown 7.07 2.64 202776576
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 6.69 2.51 196587520 unknown 6.71 2.61 197881856 unknown 6.98 2.63 201150464
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 6.79 2.68 194068480 unknown 6.75 2.58 197816320 unknown 6.78 2.59 203567104
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 6.61 2.65 192176128 unknown 6.90 2.58 198922240 unknown 6.98 2.63 203063296
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 6.72 2.72 195817472 unknown 7.12 2.63 196804608 unknown 7.03 2.65 207953920
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 6.78 2.55 195510272 unknown 7.12 2.62 197390336 unknown 6.65 2.58 201216000
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 6.68 2.54 193925120 unknown 7.01 2.67 194723840 unknown 6.91 2.63 201408512
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 6.80 2.46 193396736 unknown 7.02 2.67 196526080 unknown 7.00 2.57 201216000
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 6.20 2.47 188235776 unknown 6.18 2.60 189468672 unknown 6.40 2.49 197779456
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 5.90 2.38 191983616 unknown 6.08 2.37 193683456 unknown 6.37 2.41 202457088
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 5.87 2.56 189272064 unknown 6.51 2.45 192737280 unknown 6.10 2.38 194158592
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 5.95 2.45 190517248 unknown 6.05 2.35 193339392 unknown 6.59 2.54 195645440
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 6.21 2.47 190107648 unknown 6.21 2.44 187297792 unknown 6.53 2.54 199290880
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 6.12 2.36 190439424 unknown 6.15 2.39 190595072 unknown 6.42 2.49 200298496
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 6.26 2.46 189140992 unknown 6.52 2.53 190697472 unknown 6.43 2.44 199217152
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 6.38 2.46 194039808 unknown 6.48 2.44 192356352 unknown 5.98 2.44 200306688
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 6.01 2.39 187744256 unknown 6.23 2.42 191385600 unknown 6.18 2.35 196866048
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 6.06 2.39 191172608 unknown 6.29 2.42 192065536 unknown 6.53 2.53 199806976
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error: exception 6.46 2.52 193904640 error: exception 7.01 2.67 195334144 error: exception 6.58 2.55 205987840
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 6.54 2.71 193142784 error: exception 6.81 2.60 196132864 error: exception 7.14 2.69 200667136
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 6.54 2.50 194949120 unknown 6.40 2.52 191389696 unknown 6.88 2.63 205361152
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 6.39 2.46 194301952 unknown 6.67 2.51 197197824 unknown 6.54 2.58 203567104
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 6.73 2.56 195104768 unknown 6.73 2.66 195010560 unknown 6.97 2.70 203104256
heap-manipulation/tree_false-valid-deref.i unknown 6.58 2.56 194113536 unknown 6.76 2.60 196861952 unknown 6.73 2.61 199737344
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown 6.43 3.16 193327104 unknown 6.76 2.60 199454720 unknown 6.76 2.66 201531392
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 6.48 3.01 189116416 error: exception 6.80 2.60 195293184 error: exception 6.63 2.56 205680640
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error: exception 6.53 2.55 192520192 error: exception 6.81 2.66 196603904 error: exception 7.08 2.62 203341824
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 67.8  31.7  652537856 timeout (error (143)) 183    153    2289364992 timeout (error (143)) 186    156    2258223104
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown 6.60 2.52 196431872 unknown 6.78 2.53 196030464 unknown 6.84 2.61 199954432
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 6.56 2.59 190455808 unknown 6.77 2.66 197369856 unknown 7.01 2.77 198189056
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.49 189079552 unknown 6.74 2.58 196149248 unknown 7.11 2.58 201060352
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 6.55 2.54 193933312 unknown 6.50 2.50 193216512 unknown 7.19 2.69 199487488
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 6.40 2.54 193609728 unknown 6.70 2.51 193286144 unknown 6.48 2.50 199045120
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 6.53 2.55 192614400 unknown 6.36 2.46 196530176 unknown 6.43 2.44 199778304
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 7.41 2.79 216915968 unknown 7.45 2.74 219754496 unknown 7.60 2.74 236986368
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 7.49 2.76 221618176 unknown 7.33 2.67 219656192 unknown 7.41 2.79 218128384
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 7.41 2.86 218042368 unknown 7.45 2.75 221741056 unknown 7.43 2.73 226492416
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 7.31 2.73 223965184 unknown 7.03 2.60 218800128 unknown 7.48 2.87 226619392
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 7.60 2.80 221425664 unknown 7.30 2.78 222408704 unknown 7.43 2.89 223825920
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 7.08 2.70 220942336 unknown 7.34 2.71 223670272 unknown 7.35 2.79 218877952
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 7.59 2.71 223305728 unknown 7.17 2.72 223653888 unknown 7.26 2.74 223469568
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 7.16 2.82 221138944 unknown 7.19 2.69 223543296 unknown 7.17 2.83 222470144
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 7.35 2.82 233484288 unknown 7.23 2.73 222154752 unknown 7.05 2.75 225390592
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.97 2.70 218644480 unknown 7.24 2.69 221814784 unknown 7.18 2.62 223526912
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 7.00 2.62 221118464 unknown 7.20 2.84 219734016 unknown 7.52 2.81 226074624
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 7.34 2.72 222658560 unknown 7.26 3.21 224362496 unknown 7.52 2.83 220897280
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 7.41 2.75 225009664 unknown 7.46 2.76 224980992 unknown 7.29 2.69 238338048
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.72 2.51 192204800 error: exception 6.53 2.52 198025216 error: exception 7.10 2.66 203837440
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.50 2.51 195543040 error: exception 6.54 2.53 195166208 error: exception 6.66 2.65 202891264
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 6.82 2.54 196284416 error: exception 6.48 2.55 198598656 error: exception 6.45 2.69 201232384
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i error: exception 6.70 2.59 193802240 error: exception 6.31 2.45 194674688 error: exception 6.55 2.61 205496320
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error: exception 6.62 2.57 192774144 error: exception 6.54 2.48 201695232 error: exception 6.58 2.53 203206656
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 6.47 2.51 193912832 error: exception 6.45 2.51 198369280 error: exception 6.62 2.56 203624448
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error: exception 6.77 2.49 198475776 error: exception 6.55 2.48 199147520 error: exception 6.92 2.65 203100160
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 6.76 2.56 194617344 error: exception 6.76 2.53 198000640 error: exception 6.73 2.59 204484608
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 6.64 2.49 188624896 error: exception 6.59 2.50 195186688 error: exception 6.56 2.62 201392128
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 6.48 2.52 190078976 error: exception 6.64 2.56 199671808 error: exception 6.59 2.49 201437184
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 180    121    795222016 timeout (error (143)) 186    161    2277974016 timeout (error (143)) 186    159    2273923072
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i error: exception 6.61 2.54 196911104 error: exception 6.50 2.51 197464064 error: exception 6.45 2.57 201695232
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 6.78 2.58 190050304 error: exception 6.31 2.45 195403776 error: exception 6.61 2.57 201424896
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i error: exception 6.79 2.60 193925120 error: exception 6.80 2.52 198062080 error: exception 6.48 2.55 204689408
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    135    736612352 timeout (error (143)) 185    158    2267402240 timeout (error (143)) 186    159    2257100800
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 181    127    707973120 timeout (error (143)) 186    154    2266398720 timeout (error (143)) 185    157    2265268224
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i error: exception 7.65 3.15 202055680 error: exception 6.59 2.52 198156288 error: exception 6.87 2.65 206290944
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 7.20 3.20 194248704 error: exception 6.58 2.52 196759552 error: exception 6.91 2.70 205344768
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error: exception 7.10 3.14 197570560 error: exception 6.41 2.48 193867776 error: exception 6.64 2.60 202391552
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 6.66 2.79 191119360 error: exception 6.73 2.58 201728000 error: exception 6.54 2.60 204578816
forester-heap/sll-01_false-unreach-call_false-valid-deref.i error: exception 7.21 3.20 194830336 error: exception 6.32 2.54 195301376 error: exception 6.66 2.60 201883648
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 16.9  6.58 296099840 timeout (error (143)) 186    154    2234372096 timeout (error (143)) 185    157    2248560640
loop-acceleration/array3_false-valid-deref.i timeout (error: exception) 181    113    1545809920 timeout (error (143)) 181    116    1584345088 unknown 6.94 2.70 226832384
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 8.69 3.10 250806272 unknown 8.28 3.05 250511360 unknown 8.48 3.07 244613120
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 7.51 2.81 221843456 unknown 7.62 2.84 237322240 unknown 7.49 2.66 224595968
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.2  5.64 393248768 true 16.3  5.83 395845632 unknown 14.5  5.20 386408448
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 16.6  5.98 402792448 true 15.6  5.58 391090176 unknown 14.9  5.28 401596416
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.6  4.73 308350976 true 12.6  4.76 295325696 unknown 12.2  4.39 295411712
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.4  4.62 305459200 true 12.7  4.67 294166528 unknown 11.4  4.30 296091648
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.7  4.63 305504256 error: exception 11.7  4.43 296194048 error: exception 12.0  4.31 300236800
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.0  5.11 328404992 true 14.4  5.17 335093760 unknown 12.9  4.72 305856512
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.5  5.24 329125888 true 14.8  5.39 333058048 unknown 12.6  4.59 309882880
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.1  3.84 273117184 true 10.6  3.99 274440192 unknown 9.14 3.39 240750592
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.4  4.47 308740096 true 12.8  4.53 309706752 unknown 11.4  4.13 286883840
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.7  4.41 295227392 true 12.8  4.56 302796800 unknown 10.7  3.83 287363072
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 8.45 3.29 232714240 true 8.61 3.38 236228608 unknown 7.82 3.04 234344448
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.17 3.25 233074688 true 8.95 3.38 235110400 unknown 7.91 2.95 232124416
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.30 3.25 234389504 true 8.66 3.41 234074112 unknown 7.70 2.98 232235008
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.16 3.28 236150784 true 8.92 3.61 237170688 unknown 7.93 3.09 238456832
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.45 3.28 234528768 true 8.71 3.30 234422272 unknown 8.18 3.09 237420544
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.56 3.33 232099840 true 8.61 3.35 238825472 unknown 7.93 3.14 238972928
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.55 3.47 235364352 true 9.06 3.34 240140288 unknown 8.03 3.01 238194688
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.41 3.21 234467328 true 8.91 3.39 236732416 unknown 8.14 3.10 246784000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.68 3.06 233717760 true 8.02 3.13 230289408 unknown 6.93 2.72 231923712
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.80 3.09 226963456 true 8.01 3.17 229572608 unknown 7.13 2.84 233529344
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.53 3.08 224530432 true 8.01 3.09 239849472 unknown 7.33 2.82 231124992
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.72 3.03 228311040 true 8.08 3.12 233287680 unknown 6.95 2.81 230739968
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.73 3.03 228462592 true 7.83 3.08 236269568 unknown 7.62 3.01 231116800
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 4780 2540 81817034752 326 6210 3810 114662379520 326 5090 3080 110298689536
local summary 3990 1290 5840 1930 5090 1560
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer AutomizerHeapSep HeapSep