Tool ULTIMATE Automizer 0.1.23-ee3ab2ed
Limits timelimit: 90 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-01-23 14:20:20 CET
Run set AutomizerCamel AbsInt AbsInt_imprecise AbsInt_mostprecise AbsInt_precise AbsInt_preciseopt AbsInt_smtcomp
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_mostprecise.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_precise.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_preciseopt.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_smtcomp.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 status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-memtrack) 8.76 3.20 236978176 unknown 41.0  17.9  1388896256 unknown 8.40 3.07 252325888 timeout (error (143)) 96.0  70.7  1951952896 timeout (error (143)) 94.5  71.1  1991778304 timeout (error (143)) 95.9  71.0  1975885824 unknown 40.3  17.6  1311432704
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-memtrack) 7.32 3.00 222765056 unknown 12.4  4.42 396410880 unknown 8.28 3.06 251035648 unknown 72.9  56.9  2024767488 unknown 73.5  57.6  1831325696 unknown 73.1  57.3  2051256320 unknown 13.8  4.93 393760768
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-memtrack) 9.57 3.89 247488512 unknown 49.4  27.2  1886908416 unknown 8.80 3.53 268173312 timeout (error (143)) 96.3  73.3  2167451648 timeout (error (143)) 90.9  67.1  2162565120 timeout (error (143)) 91.1  67.4  2173693952 unknown 47.9  27.0  1876123648
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-memtrack) 7.45 2.91 228868096 unknown 19.2  8.03 763678720 unknown 7.50 2.89 245190656 timeout (error (143)) 95.7  74.3  2172682240 timeout (error (143)) 95.6  75.8  2177769472 timeout (error (143)) 96.0  72.8  2166644736 unknown 20.8  7.81 737230848
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-memtrack) 8.28 3.23 235778048 unknown 11.3  4.01 319631360 unknown 7.02 2.63 211304448 unknown 20.4  7.18 578555904 unknown 19.6  6.76 592064512 unknown 22.3  7.80 680353792 unknown 10.2  3.57 325173248
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-memtrack) 8.51 3.24 237170688 unknown 11.3  4.03 325308416 unknown 7.09 2.65 210403328 unknown 20.0  7.04 596680704 unknown 20.1  6.90 655839232 unknown 21.4  7.36 572026880 unknown 11.2  3.98 318533632
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-memtrack) 7.15 2.86 228995072 timeout (error (143)) 91.2  73.5  2174967808 unknown 7.79 2.94 252174336 timeout (error (143)) 93.9  76.5  1944186880 timeout (error (143)) 95.4  77.7  1925378048 timeout (error (143)) 95.8  75.3  1924530176 timeout (error (143)) 91.5  72.8  2181414912
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-memtrack) 7.28 2.86 232620032 unknown 21.3  8.66 726753280 unknown 7.80 2.94 255422464 timeout (error (143)) 95.5  77.6  2202324992 timeout (error (143)) 95.6  77.1  2167484416 timeout (error (143)) 95.8  75.5  2195415040 unknown 21.7  8.11 742621184
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-memtrack) 9.80 3.72 247291904 unknown 11.2  3.99 335126528 unknown 7.24 2.71 213188608 unknown 22.0  7.62 620949504 unknown 22.0  7.58 709455872 unknown 18.9  6.56 744747008 unknown 10.7  3.88 328777728
array-memsafety/diff_usafe_false-valid-deref.i false(valid-memtrack) 7.29 2.91 227901440 unknown 10.0  3.54 306982912 unknown 8.06 3.02 249016320 unknown 22.6  9.07 921128960 unknown 23.1  9.10 786632704 unknown 22.1  9.04 889851904 unknown 11.2  4.01 324083712
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-memtrack) 15.1  5.58 316612608 unknown 67.5  39.1  2171412480 unknown 14.6  5.02 425668608 timeout (error (143)) 91.5  75.7  2148683776 timeout (error (143)) 94.2  77.1  2158907392 timeout (error (143)) 94.2  77.4  2150428672 unknown 69.8  39.5  2164621312
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-memtrack) 11.0  4.13 274649088 timeout (error (143)) 91.1  67.8  2188664832 unknown 10.4  3.68 312053760 timeout (error (143)) 90.8  72.2  2175483904 timeout (error (143)) 90.6  73.6  2177331200 timeout (error (143)) 91.2  73.1  2169593856 timeout (error (143)) 91.2  68.1  2197024768
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-memtrack) 14.7  5.41 298991616 error: exception 63.2  40.0  2178682880 unknown 9.66 3.48 277176320 timeout (error (143)) 94.3  71.0  2172985344 timeout (error (143)) 93.9  67.6  2156310528 timeout (error (143)) 91.7  63.3  2181509120 error: exception 61.4  39.4  2185961472
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-memtrack) 25.9  11.7  395272192 timeout (error (143)) 91.0  71.6  2192482304 unknown 9.22 3.27 263680000 timeout (error (143)) 95.4  77.2  1962352640 timeout (error (143)) 95.6  76.3  2161111040 timeout (error (143)) 95.6  74.8  2166112256 timeout (error (143)) 91.6  70.5  2198933504
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-memtrack) 24.7  10.5  362672128 timeout (error (143)) 93.2  73.9  2190356480 unknown 9.21 3.32 271704064 timeout (error (143)) 95.5  75.5  2071601152 timeout (error (143)) 95.5  75.8  2057850880 timeout (error (143)) 94.5  76.8  2166882304 timeout (error (143)) 92.1  70.4  2202918912
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-memtrack) 7.55 2.85 234807296 unknown 13.4  4.65 444321792 unknown 7.85 2.91 249229312 unknown 84.1  66.8  1891971072 unknown 83.0  65.5  1939705856 unknown 81.2  65.6  2017185792 unknown 13.8  4.78 410767360
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-memtrack) 7.27 2.92 224055296 unknown 6.33 2.53 209850368 unknown 6.81 2.63 205189120 unknown 6.58 2.51 206790656 unknown 6.45 2.51 208941056 unknown 6.73 2.53 212316160 unknown 6.81 2.61 206962688
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.16 3.11 232202240 unknown 29.5  13.5  1180590080 unknown 8.33 3.06 249634816 timeout (error (143)) 96.2  71.7  2132779008 timeout (error (143)) 96.0  73.8  2056941568 timeout (error (143)) 95.8  75.4  2006339584 unknown 30.3  13.6  1080213504
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.21 3.49 239333376 unknown 13.5  4.73 371130368 unknown 8.53 3.08 255614976 unknown 38.9  20.2  1481199616 unknown 40.7  21.5  1363607552 unknown 38.4  20.5  1525121024 unknown 13.0  4.70 399904768
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.48 3.53 242032640 unknown 21.7  8.28 731054080 unknown 9.67 3.43 267681792 timeout (error (143)) 90.7  69.7  2086031360 timeout (error (143)) 90.7  70.4  2169577472 timeout 90.7  68.6  2072457216 unknown 23.9  8.65 701267968
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.64 3.68 239353856 unknown 33.7  14.8  1361158144 unknown 9.80 3.46 270712832 timeout (error (143)) 92.2  72.6  2167652352 timeout (error (143)) 93.1  71.4  2175729664 timeout (error (143)) 94.5  71.4  2174115840 unknown 33.7  13.7  1374990336
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.99 3.42 237162496 unknown 22.1  7.54 673419264 unknown 9.53 3.53 265490432 timeout (error (143)) 94.4  77.5  2152386560 timeout (error (143)) 93.5  76.3  2071633920 timeout (error (143)) 94.1  78.1  2002092032 unknown 20.4  7.05 674217984
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.74 3.75 252559360 unknown 43.3  22.0  1738510336 unknown 8.81 3.23 265973760 timeout (error (143)) 95.7  75.9  2163892224 timeout (error (143)) 95.6  76.4  2167967744 timeout (error (143)) 91.7  67.2  2178404352 unknown 43.9  22.9  1729302528
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.5  3.92 271343616 timeout (error (143)) 91.3  56.7  2176868352 unknown 13.0  4.63 355110912 timeout (error (143)) 96.0  73.0  2180153344 timeout (error (143)) 90.4  65.2  2188894208 timeout (error (143)) 96.0  72.4  2180059136 timeout (error (143)) 90.7  54.2  2189721600
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.48 3.29 233009152 unknown 25.7  9.09 686645248 unknown 9.70 3.50 280862720 timeout (error (143)) 94.5  73.9  1857744896 timeout (error (143)) 92.3  67.9  1696108544 timeout (error (143)) 95.7  75.1  1725292544 unknown 23.3  7.93 699277312
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.9  4.35 285106176 unknown 63.2  28.6  1943732224 unknown 11.3  4.02 357023744 timeout (error (143)) 96.6  73.7  2171080704 timeout (error (143)) 96.8  70.8  2168074240 timeout (error (143)) 97.0  71.3  2190036992 unknown 53.9  27.9  1569406976
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.49 3.70 249331712 unknown 61.7  27.9  1552760832 unknown 9.65 3.55 272769024 timeout (error (143)) 95.4  76.6  2040492032 timeout (error (143)) 95.6  76.5  2143588352 timeout (error (143)) 95.4  77.3  1974550528 unknown 55.7  28.1  1546928128
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.5  3.93 272400384 unknown 57.6  29.4  1699057664 unknown 14.5  5.07 417865728 timeout (error (143)) 96.9  72.3  2166411264 timeout (error (143)) 92.7  65.0  2170236928 timeout (error (143)) 93.7  65.7  2183892992 unknown 55.3  28.6  1692524544
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.19 3.14 233148416 unknown 17.4  6.00 416882688 unknown 8.49 3.04 252579840 unknown 87.4  60.8  1567887360 timeout 90.6  60.3  1891074048 unknown 85.4  60.9  1732665344 unknown 17.3  5.91 438845440
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.8  4.03 277766144 timeout (error (143)) 90.9  60.1  2202472448 unknown 13.7  4.75 369291264 timeout (error (143)) 95.5  67.0  2171883520 timeout (error (143)) 95.9  68.1  2171387904 timeout (error (143)) 95.4  67.5  2179371008 timeout (error (143)) 90.6  54.7  2189287424
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.80 3.66 240500736 unknown 53.0  25.5  1842769920 unknown 12.3  4.31 356392960 timeout (error (143)) 95.1  67.6  2162233344 timeout (error (143)) 96.4  73.9  2150764544 timeout (error (143)) 96.5  74.2  2170576896 unknown 55.7  26.8  1588846592
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 13.5  5.00 290717696 timeout (error (143)) 90.7  64.6  2178322432 unknown 11.4  4.02 351289344 timeout (error (143)) 95.3  67.4  1979613184 timeout (error (143)) 96.0  73.0  1906483200 timeout (error (143)) 95.9  73.2  2154729472 timeout (error (143)) 91.7  61.3  2189852672
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.1  4.01 270405632 unknown 53.5  28.0  1550598144 unknown 12.6  4.38 363896832 timeout (error (143)) 91.2  64.6  2157023232 timeout (error (143)) 91.2  65.3  2160332800 timeout (error (143)) 91.1  64.7  2176200704 unknown 54.5  27.9  1769046016
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.7  4.01 271101952 unknown 56.8  29.1  1773948928 unknown 14.1  4.92 362844160 timeout (error (143)) 94.2  69.3  2149011456 timeout (error (143)) 95.3  70.6  2166771712 timeout (error (143)) 92.5  69.4  2170789888 unknown 57.3  28.9  1556660224
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 13.9  5.10 291241984 unknown 43.2  15.7  1050734592 unknown 12.0  4.17 355438592 timeout (error (143)) 95.3  80.3  1985515520 timeout (error (143)) 95.2  79.9  1781346304 timeout (error (143)) 95.3  79.7  1870929920 unknown 39.0  14.6  1154707456
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.39 3.19 240205824 unknown 21.5  7.41 578940928 unknown 9.54 3.46 271302656 unknown 55.2  34.4  2021117952 unknown 53.1  34.4  1822420992 unknown 53.2  34.9  1643925504 unknown 20.6  6.96 615071744
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.26 3.20 233672704 unknown 24.8  8.50 781176832 unknown 9.66 3.48 277164032 timeout (error (143)) 92.8  75.9  2157264896 timeout (error (143)) 93.6  76.2  2140659712 timeout (error (143)) 91.0  74.1  2135896064 unknown 24.3  8.70 744935424
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 16.4  6.31 316264448 timeout (error (143)) 90.5  66.3  2216230912 unknown 13.0  4.57 359124992 timeout (error (143)) 91.3  70.1  2177568768 timeout (error (143)) 91.0  71.5  2161750016 timeout (error (143)) 90.9  70.7  2161876992 timeout (error (143)) 91.2  65.3  2208202752
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 14.4  5.29 288669696 timeout (error (143)) 91.3  70.1  2195726336 unknown 9.78 3.53 269463552 timeout (error (143)) 91.1  69.8  2170589184 timeout (error (143)) 92.6  70.7  2171797504 timeout (error (143)) 91.4  70.2  2174930944 timeout (error (143)) 90.9  68.5  2205822976
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.11 3.51 233377792 unknown 33.9  12.4  907497472 unknown 8.99 3.23 254816256 timeout (error (143)) 92.7  66.7  1961836544 timeout (error (143)) 95.6  69.1  2169098240 timeout (error (143)) 91.1  67.7  1991680000 unknown 31.7  11.3  939589632
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.58 3.62 251752448 unknown 18.1  6.21 421597184 unknown 9.17 3.27 259784704 unknown 50.4  29.0  1407078400 unknown 51.2  28.8  1421369344 unknown 51.6  28.8  1368395776 unknown 16.5  5.71 429920256
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.92 3.75 250085376 unknown 17.2  5.96 417841152 unknown 9.21 3.23 260247552 unknown 49.4  28.5  1286434816 unknown 51.2  29.0  1419546624 unknown 50.5  28.5  1480380416 unknown 18.8  6.33 433442816
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.95 3.73 246005760 unknown 25.0  8.70 836132864 unknown 9.13 3.34 261742592 timeout (error (143)) 91.8  67.9  1660088320 timeout (error (143)) 92.1  68.7  1762058240 timeout (error (143)) 91.8  67.2  1833381888 unknown 28.7  9.83 707338240
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.64 3.62 242294784 unknown 58.3  32.4  1675096064 unknown 9.93 3.54 276811776 timeout (error (143)) 90.9  63.4  2176425984 timeout (error (143)) 95.4  70.6  2093223936 timeout (error (143)) 96.2  72.7  2161225728 unknown 61.9  33.3  1683869696
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 15.2  5.54 309997568 timeout (error (143)) 93.3  58.2  2198577152 unknown 11.9  4.23 347222016 timeout (error (143)) 95.9  74.1  2184830976 timeout (error (143)) 96.1  72.8  2154328064 timeout (error (143)) 96.0  72.6  2151817216 timeout (error (143)) 91.0  61.7  2195398656
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.0  3.98 277176320 timeout (error (143)) 90.5  59.8  2179305472 unknown 12.6  4.48 353095680 timeout (error (143)) 95.8  74.9  2170511360 timeout (error (143)) 91.8  66.3  2178482176 timeout (error (143)) 96.1  71.9  2165174272 timeout (error (143)) 91.3  64.4  2186465280
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.92 3.70 255561728 unknown 48.9  20.7  1530732544 unknown 10.8  3.83 292216832 timeout (error (143)) 93.6  68.5  2172051456 timeout (error (143)) 91.2  68.6  2167103488 timeout (error (143)) 93.7  73.9  2064920576 unknown 46.7  20.8  1488760832
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.08 3.55 248557568 unknown 52.3  29.5  1653592064 unknown 9.65 3.52 274284544 timeout (error (143)) 95.4  77.4  2155503616 timeout (error (143)) 95.7  75.0  1988349952 timeout (error (143)) 95.6  75.5  1995325440 unknown 53.8  29.9  1688600576
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.3  3.84 257286144 unknown 41.3  20.2  1520242688 unknown 11.3  3.97 350892032 timeout (error (143)) 95.9  77.2  2153721856 timeout (error (143)) 96.3  75.7  2157514752 timeout (error (143)) 96.4  74.7  2165370880 unknown 48.8  21.3  1564614656
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 12.3  4.48 279982080 timeout (error (143)) 90.6  64.0  2188406784 unknown 13.3  4.62 355545088 timeout (error (143)) 93.4  68.8  2171514880 timeout (error (143)) 91.2  65.0  2173112320 timeout (error (143)) 94.7  69.6  2177441792 timeout (error (143)) 90.9  61.7  2179895296
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.42 3.21 233127936 unknown 17.5  6.15 436404224 unknown 8.21 3.06 249565184 unknown 80.9  58.7  1689841664 unknown 84.2  59.6  1654599680 unknown 84.1  57.6  1858596864 unknown 18.0  6.25 450056192
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.5  3.91 270008320 timeout (error (143)) 90.9  60.3  2189860864 unknown 13.8  4.74 389312512 timeout (error (143)) 91.2  67.7  2155769856 timeout (error (143)) 91.7  69.1  2178043904 timeout (error (143)) 91.8  69.4  2143883264 timeout (error (143)) 91.3  57.7  2185261056
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.1  3.67 243097600 unknown 57.3  28.3  1715314688 unknown 11.2  3.99 346976256 timeout (error (143)) 95.5  70.9  2166493184 timeout (error (143)) 95.7  70.9  2173820928 timeout (error (143)) 95.3  72.2  2165481472 unknown 49.1  25.8  1550548992
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.6  4.40 284409856 unknown 78.3  50.6  2157064192 unknown 10.6  3.74 324620288 timeout (error (143)) 95.6  76.6  2070380544 timeout (error (143)) 95.5  76.4  1915248640 timeout (error (143)) 95.6  74.9  1904885760 unknown 67.1  42.1  1845813248
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.4  4.07 279420928 unknown 31.4  11.4  767938560 unknown 10.3  3.56 272945152 timeout (error (143)) 91.2  68.0  1749790720 timeout (error (143)) 91.3  68.6  1783271424 timeout (error (143)) 91.4  68.3  1612697600 unknown 25.7  8.86 680312832
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.3  3.85 255528960 unknown 57.6  28.3  1596882944 unknown 12.2  4.23 350011392 timeout (error (143)) 94.2  68.2  2178736128 timeout (error (143)) 96.0  73.0  2148802560 timeout (error (143)) 93.0  68.5  2170998784 unknown 47.3  24.1  1440161792
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.1  3.73 258203648 unknown 50.3  23.3  1450807296 unknown 11.6  4.04 333660160 timeout (error (143)) 95.4  71.3  2197123072 timeout (error (143)) 95.3  70.0  2166251520 timeout (error (143)) 95.6  70.5  2178936832 unknown 46.8  21.7  1504423936
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.6  3.77 258301952 unknown 88.6  52.8  2173362176 unknown 21.3  7.12 636882944 timeout (error (143)) 90.7  67.1  2173267968 timeout (error (143)) 93.6  68.7  2167980032 timeout (error (143)) 91.3  70.5  2169757696 unknown 82.9  47.6  2168737792
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.14 3.17 234569728 unknown 20.5  7.24 549003264 unknown 9.18 3.33 260546560 timeout (error (143)) 93.2  66.7  1978613760 timeout (error (143)) 96.0  68.3  1728802816 timeout (error (143)) 91.1  71.4  1800663040 unknown 19.3  6.65 538972160
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.30 3.18 234221568 unknown 22.9  8.45 651128832 unknown 9.71 3.52 278876160 timeout (error (143)) 93.9  76.6  2056302592 timeout (error (143)) 90.9  72.8  2004979712 timeout (error (143)) 91.7  72.5  2058317824 unknown 21.8  7.41 641863680
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.01 3.45 235692032 unknown 9.52 3.56 273014784 unknown 8.01 3.00 257171456 unknown 16.2  5.60 507670528 unknown 16.2  5.60 523304960 unknown 15.5  5.34 529072128 unknown 9.09 3.19 267997184
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.57 3.50 239099904 unknown 17.0  5.82 423321600 unknown 8.84 3.42 252538880 unknown 38.7  21.8  1382735872 unknown 39.5  22.0  1380667392 unknown 38.8  21.3  1478238208 unknown 16.4  5.66 436609024
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.58 3.18 236912640 unknown 43.7  19.8  1450323968 unknown 9.87 3.61 278683648 timeout (error (143)) 93.3  68.9  1740447744 timeout (error (143)) 93.5  72.9  2077605888 timeout (error (143)) 93.5  69.3  1807892480 unknown 43.2  18.1  1417814016
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.1  3.86 243904512 unknown 67.8  38.2  1865662464 unknown 13.9  4.90 369111040 timeout (error (143)) 96.1  73.8  2183946240 timeout (error (143)) 94.8  72.7  2174627840 timeout (error (143)) 91.7  68.1  2160046080 unknown 67.1  36.1  1614594048
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.4  3.94 259653632 unknown 52.3  27.1  1715556352 unknown 14.1  5.12 352280576 timeout (error (143)) 95.0  72.3  2174611456 timeout (error (143)) 95.7  72.7  2161291264 timeout (error (143)) 91.5  68.4  2167005184 unknown 51.9  26.1  1740308480
array-examples/relax_false-valid-deref.i false(valid-memtrack) 10.9  4.06 269164544 unknown 12.7  4.67 310214656 unknown 10.8  3.91 271278080 unknown 24.1  9.66 857268224 unknown 24.0  9.09 977944576 unknown 24.1  9.52 926482432 unknown 12.2  4.32 329240576
array-examples/sanfoundry_24_false-valid-deref.i true 5.59 2.29 189140992 true 6.69 2.62 207794176 true 6.59 2.55 198201344 true 6.53 2.51 196337664 true 6.37 2.53 203530240 true 6.80 2.53 209281024 true 6.79 2.65 206733312
array-examples/standard_strcpy_false-valid-deref_ground.i true 5.80 2.34 188432384 true 8.47 3.48 241262592 true 6.76 2.63 214913024 true 7.97 2.92 244383744 true 7.47 2.78 245526528 true 7.90 2.92 240349184 true 7.57 2.86 240336896
array-examples/standard_strcpy_original_false-valid-deref.i true 5.11 2.22 188923904 true 7.48 2.88 246415360 true 7.01 2.62 212369408 true 8.06 2.88 248926208 true 7.73 2.92 240906240 true 8.01 2.98 250195968 true 7.68 2.86 247545856
memsafety/960521-1_false-valid-deref.i timeout (false(valid-memtrack)) 93.2  73.4  566882304 unknown 31.3  12.3  818872320 unknown 8.40 3.10 251072512 timeout (error (143)) 96.3  74.9  1863110656 timeout (error (143)) 95.9  76.4  1871192064 timeout (error (143)) 95.6  77.7  1722724352 unknown 24.9  10.1  793010176
memsafety/test-0137_false-valid-deref.i false(valid-memtrack) 14.8  5.31 313835520 unknown 17.0  6.49 483905536 unknown 17.2  6.05 493801472 timeout (error (143)) 95.3  75.9  2010353664 timeout (error (143)) 95.4  75.5  1978167296 timeout (error (143)) 95.4  75.4  2115198976 unknown 15.0  5.25 427073536
memsafety/test-0235_false-valid-deref.i false(valid-memtrack) 37.6  13.5  759033856 unknown 12.4  4.80 315756544 timeout (error (143)) 90.9  56.9  2675351552 unknown 36.5  19.3  1705861120 unknown 36.2  19.5  1735569408 unknown 34.6  18.8  1577938944 unknown 11.4  4.11 326651904
memsafety/960521-1_false-valid-free.i false(valid-memtrack) 8.95 3.37 237961216 unknown 29.1  11.4  898977792 unknown 8.69 3.22 254738432 timeout (error (143)) 96.0  76.6  1807024128 timeout (error (143)) 95.6  78.3  1883279360 timeout (error (143)) 95.6  77.6  1778651136 unknown 29.4  9.99 892190720
memsafety/test-0158_false-valid-free.i false(valid-memtrack) 10.1  3.71 258772992 unknown 46.7  30.2  1779523584 unknown 7.61 2.82 245039104 timeout (error (143)) 95.7  75.7  2181152768 timeout (error (143)) 96.0  72.4  2185838592 timeout (error (143)) 96.2  70.7  2191728640 unknown 46.2  29.4  1799774208
memsafety/test-0232_false-valid-free.i false(valid-memtrack) 11.6  4.22 278847488 unknown 48.8  28.1  1839132672 unknown 9.60 3.47 275755008 timeout (error (143)) 95.6  75.7  2155323392 timeout (error (143)) 95.5  67.7  2170281984 timeout (error (143)) 96.0  71.3  2159173632 unknown 46.7  26.7  1786875904
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 43.4  15.4  531460096 timeout (error (143)) 91.2  63.5  2198712320 unknown 44.8  19.3  2258030592 timeout (error (143)) 95.9  74.8  2195619840 timeout (error (143)) 96.3  70.2  2187112448 timeout (error (143)) 96.0  73.9  2194255872 timeout (error (143)) 92.7  64.2  2199490560
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 96.4  60.2  600449024 unknown 10.1  3.53 272621568 unknown 8.01 2.97 254582784 unknown 17.8  6.24 576667648 unknown 19.3  6.75 606257152 unknown 18.7  6.66 603607040 unknown 10.0  3.67 268087296
memsafety/lockfree-3.1_false-valid-memtrack.i timeout (false(valid-memtrack)) 91.7  47.0  1979604992 timeout (error (143)) 93.3  72.2  2185498624 unknown 15.6  5.42 435777536 timeout (error (143)) 95.9  74.1  2194604032 timeout (error (143)) 96.2  69.7  2196635648 timeout (error (143)) 95.8  74.7  2187108352 unknown 85.5  58.9  2199240704
memsafety/lockfree-3.2_false-valid-memtrack.i timeout (false(valid-memtrack)) 91.1  47.0  1481719808 timeout (error (143)) 91.7  66.1  2192793600 unknown 16.1  5.55 469958656 timeout (error (143)) 95.5  76.7  2182299648 timeout (error (143)) 95.5  76.0  2195398656 timeout (error (143)) 95.9  72.8  2204106752 timeout (error (143)) 91.4  68.8  2209652736
memsafety/lockfree-3.3_false-valid-memtrack.i timeout (false(valid-memtrack)) 91.1  43.4  1845129216 timeout (error (143)) 92.2  66.8  2185359360 unknown 14.6  4.99 455151616 timeout (error (143)) 95.4  67.9  2186993664 timeout (error (143)) 95.7  74.5  2207227904 timeout (error (143)) 95.7  75.4  2206240768 unknown 85.3  60.6  2199867392
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.2  4.18 280838144 unknown 14.7  6.17 338509824 unknown 7.82 2.86 248070144 unknown 65.1  40.8  2139271168 unknown 62.2  39.9  2140987392 unknown 62.0  40.9  2172813312 unknown 12.4  4.35 334209024
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 19.6  6.67 375713792 timeout (error (143)) 95.5  75.6  2185822208 unknown 13.7  4.69 359469056 timeout (error (143)) 96.2  71.1  2064703488 timeout (error (143)) 96.2  70.4  2190794752 timeout (error (143)) 96.1  71.7  2173808640 timeout (error (143)) 95.7  75.4  2176675840
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.38 3.27 238342144 unknown 28.9  11.6  892485632 unknown 6.73 2.58 207466496 timeout (error (143)) 96.3  64.0  2171842560 timeout (error (143)) 95.9  67.6  2175266816 timeout (error (143)) 95.2  71.9  2189094912 unknown 23.5  8.69 820260864
memsafety/test-0220_false-valid-memtrack.i error: exception 5.60 2.09 183902208 error: exception 6.77 3.09 179875840 error: exception 5.52 2.20 183435264 error: exception 5.35 2.04 179470336 error: exception 5.33 2.06 179101696 error: exception 5.53 2.06 179458048 error: exception 5.64 2.15 186060800
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 12.8  4.91 282234880 unknown 56.5  31.8  1916653568 unknown 8.82 3.21 264458240 timeout (error (143)) 95.8  73.3  2155495424 timeout (error (143)) 95.7  74.5  2163253248 timeout (error (143)) 95.7  74.9  2162642944 unknown 46.3  26.3  1797160960
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 31.2  11.1  561397760 unknown 11.6  4.28 275681280 unknown 41.3  17.6  1619111936 unknown 43.2  25.6  1936240640 unknown 43.9  25.7  1861050368 unknown 43.1  26.2  2066087936 unknown 11.6  4.10 324681728
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 39.2  13.9  584916992 unknown 11.5  4.20 330838016 timeout (error (143)) 91.2  56.2  2630930432 unknown 38.6  20.1  1772081152 unknown 38.7  20.4  1785679872 unknown 38.5  20.5  1694449664 unknown 10.5  3.84 311816192
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 95.9  74.7  535764992 unknown 25.2  10.1  774389760 unknown 8.21 3.01 255426560 timeout (error (143)) 95.7  77.5  1832296448 timeout (error (143)) 95.5  78.3  1819570176 timeout (error (143)) 95.8  78.0  1776066560 unknown 29.0  10.5  798654464
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.6  48.1  1435635712 timeout (error (143)) 91.6  63.9  2197688320 unknown 17.3  5.90 460955648 timeout (error (143)) 96.1  71.6  2191814656 timeout (error (143)) 96.2  72.1  2199924736 timeout (error (143)) 96.2  73.0  2185342976 timeout (error (143)) 91.1  68.5  2204205056
memsafety/test-0019_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.6  4.05 276717568 unknown 11.4  4.13 321400832 unknown 7.49 2.82 231796736 unknown 75.9  52.3  2148216832 unknown 73.7  52.0  2160562176 unknown 73.7  50.5  2162540544 unknown 11.3  3.92 340606976
memsafety/test-0102_true-valid-memsafety.i false(valid-memtrack) 19.3  6.61 377339904 timeout (error (143)) 95.5  76.5  2159259648 unknown 15.1  5.11 460267520 timeout (error (143)) 96.1  71.0  2176901120 timeout (error (143)) 95.8  74.1  2168680448 timeout (error (143)) 96.0  72.9  2160349184 timeout (error (143)) 95.5  76.4  2175164416
memsafety/test-0134_true-valid-memsafety.i false(valid-memtrack) 15.6  5.50 316162048 unknown 14.7  5.18 437694464 unknown 17.5  6.01 471392256 timeout (error (143)) 95.9  72.3  2179985408 timeout (error (143)) 96.1  71.3  2169806848 timeout (error (143)) 96.2  70.1  2189537280 unknown 14.2  5.08 432709632
memsafety/test-0158_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.89 3.59 246865920 unknown 22.9  8.73 747851776 unknown 6.72 2.62 210178048 timeout (error (143)) 96.2  75.7  2203693056 timeout (error (143)) 96.3  76.0  2196926464 timeout (error (143)) 97.6  76.1  2207555584 unknown 22.3  8.58 757915648
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 5.69 2.20 187396096 error: exception 5.36 2.08 178872320 error: exception 5.45 2.12 182587392 error: exception 5.45 2.06 179941376 error: exception 5.48 2.11 184299520 error: exception 5.64 2.16 186212352 error: exception 5.48 2.08 181587968
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 5.43 2.10 182112256 error: exception 5.45 2.11 179871744 error: exception 5.38 2.09 182910976 error: exception 5.59 2.10 183672832 error: exception 5.56 2.10 181121024 error: exception 5.64 2.14 181403648 error: exception 5.65 2.17 185405440
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 5.48 2.12 179580928 error: exception 5.31 2.03 180326400 error: exception 5.74 2.12 188108800 error: exception 5.41 2.11 182022144 error: exception 5.45 2.12 183566336 error: exception 5.34 2.09 181190656 error: exception 5.42 2.00 180715520
memsafety/test-0219_true-valid-memsafety.i error: exception 5.58 2.15 184721408 error: exception 5.29 2.12 178171904 error: exception 5.54 2.13 185298944 error: exception 5.18 2.08 180174848 error: exception 5.33 2.06 179408896 error: exception 5.34 2.11 180404224 error: exception 5.19 2.03 183255040
memsafety/test-0232_true-valid-memsafety.i false(valid-memtrack) 11.7  4.23 283336704 unknown 48.8  26.4  1755193344 unknown 9.10 3.39 275726336 timeout (error (143)) 95.8  73.6  2163785728 timeout (error (143)) 95.9  72.4  2162135040 timeout (error (143)) 95.8  72.8  2172612608 unknown 46.2  26.1  1866825728
memsafety/test-0234_true-valid-memsafety.i false(valid-memtrack) 31.2  11.2  594546688 unknown 10.9  3.93 320647168 unknown 49.0  19.3  2023874560 unknown 33.8  17.6  1980440576 unknown 36.6  18.5  1692323840 unknown 33.9  18.4  1607225344 unknown 10.9  3.88 314314752
memsafety/test-0235_true-valid-memsafety.i false(valid-memtrack) 38.7  13.7  809103360 unknown 12.1  4.36 331657216 timeout (error (143)) 91.0  56.2  2605629440 unknown 37.5  18.1  1926762496 unknown 33.2  17.1  1810751488 unknown 36.3  17.5  1969520640 unknown 11.6  4.13 311332864
memsafety/test-0236_true-valid-memsafety.i false(valid-memtrack) 32.6  11.3  551792640 unknown 11.4  4.22 331505664 unknown 38.8  16.1  1831944192 unknown 43.8  24.6  1915039744 unknown 43.9  25.1  1888755712 unknown 40.5  23.9  1824485376 unknown 11.1  3.97 330444800
memsafety/test-0237_true-valid-memsafety.i false(valid-memtrack) 33.2  11.5  572751872 unknown 11.0  3.93 330878976 unknown 38.7  16.3  1834184704 unknown 36.3  21.1  1708998656 unknown 37.6  20.9  1824116736 unknown 37.6  20.9  2042486784 unknown 10.5  3.81 310530048
memsafety/test-0504_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.5  60.0  1161142272 timeout (error (143)) 92.3  74.2  2179612672 unknown 13.1  4.60 372936704 timeout (error (143)) 95.9  75.8  2173915136 timeout (error (143)) 95.9  76.8  2167070720 timeout (error (143)) 95.8  76.8  2174009344 timeout (error (143)) 95.9  75.7  2179862528
memsafety/test-0513_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.5  60.4  733442048 timeout (error (143)) 91.6  67.2  2227900416 unknown 16.2  5.53 457687040 timeout (error (143)) 95.3  70.5  2215518208 timeout (error (143)) 94.9  72.0  2180829184 timeout (error (143)) 96.3  72.8  2197504000 timeout (error (143)) 92.2  70.3  2192408576
memsafety/test-0521_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.1  47.6  1475653632 timeout (error (143)) 95.8  73.4  2194034688 unknown 25.4  9.71 978411520 timeout (error (143)) 95.9  76.1  2185879552 timeout (error (143)) 95.9  77.2  2196160512 timeout (error (143)) 96.0  74.9  2207780864 timeout (error (143)) 95.8  67.2  2193891328
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.54 3.57 241569792 unknown 17.7  6.27 672477184 unknown 9.07 3.25 262623232 timeout (error (143)) 95.7  70.2  2225733632 timeout (error (143)) 96.5  72.3  2218168320 timeout (error (143)) 96.4  73.2  2212032512 unknown 17.8  6.34 662310912
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.1  55.6  640684032 timeout (error (143)) 92.6  71.5  2191474688 unknown 10.2  3.68 306892800 timeout (error (143)) 96.3  72.8  2214260736 timeout (error (143)) 96.4  71.0  2225381376 timeout (error (143)) 96.2  73.7  2218676224 timeout (error (143)) 92.0  71.5  2196897792
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error: exception 5.26 2.08 180158464 error: exception 5.16 2.11 182214656 error: exception 5.60 2.19 183152640 error: exception 5.58 2.22 181096448 error: exception 5.60 2.15 180121600 error: exception 5.42 2.09 179351552 error: exception 5.43 2.09 181686272
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error: exception 5.03 2.08 178548736 error: exception 5.37 2.06 180166656 error: exception 5.36 2.05 179654656 error: exception 5.52 2.15 180101120 error: exception 5.61 2.17 179326976 error: exception 5.41 2.10 180928512 error: exception 5.43 2.04 184655872
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (false(valid-memtrack)) 91.2  76.7  392708096 timeout (error (143)) 92.2  70.5  2196746240 unknown 14.0  4.93 352370688 timeout (error (143)) 96.3  74.1  2199887872 timeout (error (143)) 96.1  74.9  2199146496 timeout (error (143)) 96.2  73.9  2200907776 timeout (error (143)) 91.7  71.0  2197561344
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (false(valid-memtrack)) 90.6  66.7  511217664 timeout (error (143)) 95.9  74.3  2181443584 unknown 17.0  5.97 560435200 timeout (error (143)) 96.3  73.2  2203795456 timeout (error (143)) 95.4  68.7  2217414656 timeout (error (143)) 96.1  74.9  2201972736 timeout (error (143)) 91.0  59.2  2171244544
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.2  60.9  728580096 timeout (error (143)) 95.5  72.8  2186969088 unknown 17.5  5.95 641396736 timeout (error (143)) 96.2  70.5  2331377664 timeout (error (143)) 96.1  70.5  2310922240 timeout (error (143)) 97.3  69.9  2317361152 timeout (error (143)) 94.0  75.8  2189901824
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (false(valid-memtrack)) 90.8  73.3  486498304 timeout (error (143)) 95.7  76.4  2187681792 unknown 13.2  4.56 366649344 timeout (error (143)) 96.1  75.2  2206072832 timeout (error (143)) 96.3  71.8  2197786624 timeout (error (143)) 96.2  73.8  2207485952 timeout (error (143)) 95.5  71.0  2181640192
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (false(valid-memtrack)) 90.3  69.8  527286272 timeout (error (143)) 93.1  70.6  2197020672 unknown 13.6  4.73 362033152 timeout (error (143)) 95.7  67.2  2207760384 timeout (error (143)) 96.2  73.9  2187735040 timeout (error (143)) 96.2  74.4  2199134208 timeout (error (143)) 95.9  75.5  2194751488
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-memtrack) 20.2  6.75 498524160 timeout (error (143)) 95.9  73.3  2183135232 unknown 9.25 3.40 255049728 timeout (error (143)) 97.7  71.0  2208874496 timeout (error (143)) 97.2  71.4  2181533696 timeout (error (143)) 98.0  70.7  2174513152 timeout (error (143)) 96.1  72.3  2205896704
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 96.2  72.4  492249088 timeout (error (143)) 92.3  70.8  2218119168 unknown 29.5  10.4  955457536 timeout (error (143)) 96.3  73.3  2198196224 timeout (error (143)) 95.4  70.8  2217189376 timeout (error (143)) 96.2  72.8  2172616704 timeout (error (143)) 95.6  67.2  2203590656
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i false(valid-memtrack) 25.1  8.56 382255104 timeout (error (143)) 91.9  70.9  2203148288 unknown 31.2  11.4  1053843456 timeout (error (143)) 95.8  73.3  2183417856 timeout (error (143)) 97.0  69.1  2179891200 timeout (error (143)) 96.4  69.9  2194747392 timeout (error (143)) 92.8  65.5  2202394624
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 13.1  4.50 283582464 timeout (error (143)) 91.1  66.2  2173595648 unknown 8.78 3.20 254517248 timeout (error (143)) 95.3  67.2  2183757824 timeout (error (143)) 95.6  70.2  2187816960 timeout (error (143)) 95.7  72.3  2197426176 timeout (error (143)) 92.0  66.1  2176335872
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-memtrack) 10.8  3.91 270012416 timeout (error (143)) 93.8  73.4  2191298560 unknown 12.6  4.31 358445056 timeout (error (143)) 98.0  71.8  2178519040 timeout (error (143)) 95.7  64.9  2170839040 timeout (error (143)) 96.6  71.2  2189131776 timeout (error (143)) 91.9  69.2  2176376832
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 96.0  75.2  456904704 timeout (error (143)) 93.4  65.4  2213117952 unknown 28.2  10.2  949719040 timeout (error (143)) 95.4  70.8  2174107648 timeout (error (143)) 95.2  71.9  2207461376 timeout (error (143)) 95.3  70.5  2207956992 timeout (error (143)) 94.9  69.4  2198978560
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i false(valid-memtrack) 24.1  8.23 392126464 timeout (error (143)) 92.2  69.8  2190893056 unknown 29.1  11.0  1199042560 timeout (error (143)) 95.9  72.1  2183147520 timeout (error (143)) 96.3  71.5  2184749056 timeout (error (143)) 95.9  72.4  2184433664 timeout (error (143)) 91.6  67.7  2193137664
memsafety-ext2/length_test03_true-valid-memsafety.i false(valid-memtrack) 12.9  4.51 291319808 timeout (error (143)) 93.2  69.5  2182356992 unknown 8.58 3.14 254652416 timeout (error (143)) 96.2  71.5  2189135872 timeout (error (143)) 96.2  75.5  2165956608 timeout (error (143)) 95.0  73.5  2176212992 timeout (error (143)) 95.3  68.6  2194169856
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i false(valid-memtrack) 10.7  3.88 269737984 timeout (error (143)) 92.4  67.2  2193489920 unknown 12.3  4.31 350969856 timeout (error (143)) 97.1  69.1  2204282880 timeout (error (143)) 97.1  68.3  2207485952 timeout (error (143)) 96.4  71.7  2193797120 timeout (error (143)) 91.4  66.0  2186022912
memsafety-ext2/split_list_test05_true-valid-memsafety.i false(valid-memtrack) 20.2  6.78 584310784 timeout (error (143)) 91.6  66.4  2192781312 unknown 9.45 3.41 258166784 timeout (error (143)) 95.9  70.3  2200596480 timeout (error (143)) 95.5  72.5  2203602944 timeout (error (143)) 96.2  71.1  2219159552 timeout (error (143)) 93.4  68.8  2178785280
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-memtrack) 10.7  4.05 286814208 unknown 38.3  16.5  1293832192 unknown 9.38 3.40 266735616 timeout (error (143)) 91.7  72.8  1765593088 timeout (error (143)) 91.2  71.7  1919582208 timeout (error (143)) 91.7  73.1  1857519616 unknown 46.4  19.7  998846464
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (false(valid-memtrack)) 91.1  50.4  669569024 timeout (error (143)) 91.4  68.5  2192359424 unknown 12.2  4.27 346939392 timeout (error (143)) 95.9  73.7  2185273344 timeout (error (143)) 95.6  67.7  2169483264 timeout (error (143)) 95.8  74.8  2181144576 timeout (error (143)) 91.4  68.6  2181480448
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-memtrack) 10.0  3.65 247926784 timeout (error (143)) 96.0  72.9  2197938176 unknown 11.7  4.13 315916288 timeout (error (143)) 96.1  74.6  2187665408 timeout (error (143)) 96.2  74.4  2191302656 timeout (error (143)) 95.6  70.1  2198495232 timeout (error (143)) 95.7  76.0  2184253440
list-ext-properties/960521-1_1_false-valid-free.i false(valid-memtrack) 9.03 3.41 239349760 unknown 38.1  16.4  1310978048 unknown 8.86 3.17 264867840 timeout (error (143)) 93.1  72.8  2066341888 timeout (error (143)) 92.2  72.8  1819947008 timeout (error (143)) 95.2  74.9  1889636352 unknown 40.0  18.5  1319579648
list-ext-properties/test-0158_1_false-valid-free.i false(valid-memtrack) 10.5  3.87 277090304 timeout (error (143)) 92.8  73.6  2187132928 unknown 8.15 2.99 256704512 timeout (error (143)) 95.6  71.5  2194788352 timeout (error (143)) 96.1  68.8  2177736704 timeout (error (143)) 96.1  68.7  2179592192 timeout (error (143)) 94.5  75.2  2184134656
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.5  4.18 276398080 unknown 19.5  7.64 683106304 unknown 7.98 2.99 250044416 timeout (error (143)) 96.8  73.7  2211651584 timeout (error (143)) 96.5  73.1  2199048192 timeout (error (143)) 97.5  74.4  2215833600 unknown 20.4  6.98 681549824
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.02 3.33 240832512 unknown 39.7  23.5  1610313728 unknown 7.39 2.83 244416512 timeout (error (143)) 95.8  70.8  2175926272 timeout (error (143)) 95.8  68.2  2192613376 timeout (error (143)) 95.6  72.3  2177785856 unknown 38.6  24.2  1846882304
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 12.2  4.59 279744512 unknown 45.4  25.3  1711173632 unknown 9.30 3.32 274804736 timeout (error (143)) 95.7  72.3  2152628224 timeout (error (143)) 92.8  66.9  2200756224 timeout (error (143)) 91.6  67.9  2153242624 unknown 50.4  27.1  1869275136
list-ext-properties/960521-1_1_true-valid-memsafety.i false(valid-memtrack) 13.0  4.74 282656768 unknown 29.2  10.2  720187392 unknown 9.45 3.25 263389184 timeout (error (143)) 91.4  72.7  1805119488 timeout (error (143)) 91.8  70.4  1705656320 timeout (error (143)) 93.6  70.1  1738592256 unknown 24.0  9.15 727269376
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.3  54.3  636456960 timeout (error (143)) 92.4  64.4  2198409216 unknown 11.6  4.11 349163520 timeout (error (143)) 95.9  73.8  2177540096 timeout (error (143)) 95.9  74.1  2166628352 timeout (error (143)) 95.3  69.5  2175655936 timeout (error (143)) 96.0  72.8  2197454848
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.7  59.4  786006016 timeout (error (143)) 91.5  70.5  2186964992 unknown 12.2  4.31 346099712 timeout (error (143)) 95.6  76.3  2206150656 timeout (error (143)) 95.6  75.7  2207428608 timeout (error (143)) 95.8  73.5  2189287424 timeout (error (143)) 92.7  70.1  2194931712
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.6  56.9  694800384 timeout (error (143)) 90.8  65.1  2194817024 unknown 9.97 3.62 274747392 timeout (error (143)) 95.7  72.0  2184065024 timeout (error (143)) 95.7  77.8  2178019328 timeout (error (143)) 96.0  75.1  2184462336 timeout (error (143)) 92.5  72.8  2189742080
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.2  4.06 271081472 unknown 22.1  8.77 806961152 unknown 7.58 2.87 249643008 timeout (error (143)) 96.6  72.4  2219950080 timeout (error (143)) 96.7  72.4  2214363136 timeout (error (143)) 95.6  71.7  2196561920 unknown 21.9  8.42 731365376
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.80 3.68 258023424 timeout (error (143)) 92.0  73.3  2171789312 unknown 7.72 2.82 256606208 timeout (error (143)) 96.1  68.0  2214744064 timeout (error (143)) 96.8  75.0  2206470144 timeout (error (143)) 96.2  71.5  2202046464 timeout (error (143)) 92.5  74.2  2169954304
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 5.36 2.11 181932032 error: exception 5.39 2.08 182870016 error: exception 5.39 2.09 183144448 error: exception 5.58 2.17 184754176 error: exception 5.86 2.21 181456896 error: exception 5.47 2.09 184778752 error: exception 5.55 2.16 182599680
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 5.64 2.19 182251520 error: exception 5.62 2.10 179204096 error: exception 5.56 2.14 180666368 error: exception 5.45 2.24 180191232 error: exception 5.52 2.14 179552256 error: exception 5.55 2.16 185389056 error: exception 5.46 2.11 182857728
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.6  3.97 266452992 unknown 49.0  26.3  1851699200 unknown 9.26 3.34 284524544 timeout (error (143)) 96.4  70.6  2198908928 timeout (error (143)) 97.3  72.1  2166755328 timeout (error (143)) 96.7  70.8  2196705280 unknown 50.0  27.1  1645441024
list-ext-properties/test-0504_1_true-valid-memsafety.i false(valid-memtrack) 77.2  46.2  616443904 timeout (error (143)) 95.8  73.2  2209095680 unknown 13.0  4.58 313622528 timeout (error (143)) 95.9  76.4  2176884736 timeout (error (143)) 95.7  78.8  2154479616 timeout (error (143)) 95.8  77.1  2163445760 timeout (error (143)) 96.4  76.3  2200702976
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.1  54.4  736563200 timeout (error (143)) 91.5  74.6  2172432384 unknown 15.8  5.62 447090688 timeout (error (143)) 95.5  72.5  2168602624 timeout (error (143)) 95.5  72.7  2183327744 timeout (error (143)) 95.5  72.1  2179805184 timeout (error (143)) 92.8  74.1  2182086656
memory-alloca/c.03-alloca_true-valid-memsafety.i false(valid-memtrack) 13.6  5.21 303431680 timeout (error (143)) 91.5  68.6  2190393344 unknown 8.32 3.09 255528960 timeout (error (143)) 95.2  79.1  2164023296 timeout (error (143)) 95.8  78.6  2174316544 timeout (error (143)) 95.7  78.4  2176012288 timeout (error (143)) 91.2  69.0  2192240640
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c timeout (false(valid-memtrack)) 92.0  51.8  1880584192 unknown 17.8  6.15 581799936 unknown 9.01 3.24 259407872 unknown 44.0  26.5  1505038336 unknown 49.0  27.0  1422823424 unknown 46.8  26.4  1454198784 unknown 19.0  6.45 525193216
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c timeout (false(valid-memtrack)) 91.7  51.4  2109931520 unknown 17.7  6.03 561737728 unknown 9.17 3.39 261398528 unknown 49.4  27.8  1625309184 unknown 47.8  27.6  1636622336 unknown 48.6  28.1  1508536320 unknown 18.9  6.62 540372992
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c timeout (false(valid-memtrack)) 90.7  45.0  2209947648 unknown 9.21 3.32 268574720 unknown 7.83 2.94 251580416 unknown 14.2  4.96 422821888 unknown 14.7  5.10 410996736 unknown 14.6  5.10 418144256 unknown 9.46 3.36 263274496
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c timeout (false(valid-memtrack)) 91.2  44.1  2191978496 unknown 11.4  4.06 328855552 unknown 8.58 3.13 260657152 unknown 17.5  6.11 506109952 unknown 17.6  6.19 549543936 unknown 17.9  6.16 532951040 unknown 11.6  4.14 333520896
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (false(valid-memtrack)) 91.3  41.6  1870462976 unknown 18.6  6.39 527921152 unknown 9.22 3.34 263110656 unknown 24.1  9.11 746254336 unknown 23.8  9.24 822788096 unknown 23.9  8.86 760475648 unknown 18.6  6.44 570183680
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (false(valid-memtrack)) 91.3  38.2  1828663296 unknown 16.7  5.82 590049280 unknown 9.34 3.38 269361152 unknown 24.1  8.95 797941760 unknown 23.4  8.88 786116608 unknown 23.2  8.57 773120000 unknown 17.6  6.11 540131328
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-memtrack) 43.7  20.1  506925056 unknown 6.79 2.62 224681984 unknown 6.61 2.54 204013568 unknown 8.69 3.24 264429568 unknown 8.55 3.13 269058048 unknown 8.76 3.24 259751936 unknown 7.10 2.61 212107264
ldv-memsafety/memset3_false-valid-deref-write.c timeout (false(valid-memtrack)) 90.3  50.0  757325824 unknown 6.90 2.68 225124352 unknown 6.37 2.48 201748480 unknown 9.04 3.26 270168064 unknown 8.71 3.16 256909312 unknown 9.23 3.40 263716864 unknown 7.13 2.63 225292288
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-memtrack) 41.8  19.5  526577664 unknown 6.99 2.62 218791936 unknown 6.49 2.54 199331840 unknown 8.64 3.19 274276352 unknown 8.81 3.16 265969664 unknown 8.82 3.30 272506880 unknown 6.69 2.58 217165824
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c timeout (false(valid-memtrack)) 90.9  51.8  707788800 unknown 7.28 2.72 230858752 unknown 6.64 2.65 201691136 unknown 9.43 3.39 265854976 unknown 8.88 3.33 253657088 unknown 8.84 3.23 268562432 unknown 6.80 2.59 227196928
ldv-memsafety/memsetNonZero_false-valid-deref-write.c timeout (false(valid-memtrack)) 90.9  52.3  719212544 unknown 7.07 2.64 221937664 unknown 6.72 2.67 203870208 unknown 8.97 3.25 265728000 unknown 8.88 3.19 262860800 unknown 8.66 3.21 259915776 unknown 6.83 2.60 220553216
ldv-memsafety/memset_false-valid-deref-write.c timeout (false(valid-memtrack)) 90.9  51.9  769429504 unknown 6.94 2.58 221638656 unknown 7.00 2.73 201678848 unknown 9.03 3.33 273846272 unknown 8.31 3.11 260190208 unknown 8.83 3.17 255623168 unknown 6.54 2.57 208580608
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (false(valid-memtrack)) 90.4  43.3  1716912128 unknown 16.4  5.66 532893696 unknown 9.15 3.51 250540032 unknown 48.8  27.5  1514135552 unknown 48.8  27.6  1326813184 unknown 49.3  27.2  1544175616 unknown 17.4  5.98 523161600
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 90.9  45.6  1566400512 unknown 14.3  4.92 417681408 unknown 9.18 3.30 266670080 unknown 21.1  7.27 605032448 unknown 20.7  7.45 577716224 unknown 22.7  7.91 596107264 unknown 12.9  4.50 419418112
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (false(valid-memtrack)) 90.8  41.7  1855578112 unknown 15.8  5.43 416821248 unknown 9.23 3.37 263053312 unknown 24.7  8.34 733458432 unknown 21.4  7.80 746639360 unknown 23.0  8.22 696565760 unknown 14.5  5.02 412655616
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 91.3  43.2  1460760576 unknown 14.9  5.24 418471936 unknown 9.28 3.38 269172736 unknown 20.3  7.05 630009856 unknown 21.4  7.24 600899584 unknown 20.6  7.28 619503616 unknown 14.8  5.20 409903104
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (false(valid-memtrack)) 91.7  45.4  1888059392 unknown 12.2  4.35 355250176 unknown 8.68 3.21 264364032 unknown 19.1  6.62 534925312 unknown 16.1  5.48 542461952 unknown 16.4  5.72 523100160 unknown 12.0  4.22 340885504
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 91.6  43.7  2024067072 unknown 16.2  5.76 398249984 unknown 9.14 3.37 268390400 unknown 22.0  7.46 689942528 unknown 20.2  7.61 644636672 unknown 21.0  7.23 633446400 unknown 15.4  5.44 418693120
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error: type error 5.56 2.18 179322880 error: type error 5.74 2.34 182341632 error: type error 5.41 2.15 180125696 error: type error 5.60 2.12 184942592 error: type error 5.38 2.11 178651136 error: type error 5.67 2.11 179015680 error: type error 5.78 2.28 183296000
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error: type error 5.68 2.17 180629504 error: type error 5.69 2.26 179376128 error: type error 5.66 2.16 185667584 error: type error 5.44 2.16 177655808 error: type error 5.57 2.20 183840768 error: type error 5.39 2.08 176955392 error: type error 5.40 2.13 187207680
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 5.66 2.30 188416000 true 5.61 2.35 184799232 true 5.86 2.32 186359808 true 5.92 2.19 186220544 true 5.63 2.28 184795136 true 5.65 2.23 187363328 true 5.60 2.23 192045056
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c false(valid-memtrack) 56.5  29.9  589115392 unknown 7.00 2.69 218730496 unknown 6.51 2.49 196907008 unknown 8.58 3.12 259174400 unknown 8.52 3.08 258781184 unknown 8.51 3.21 262107136 unknown 6.93 2.65 219713536
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 91.0  53.2  691183616 unknown 7.12 2.69 221511680 unknown 6.25 2.49 199770112 unknown 8.53 3.13 262615040 unknown 9.05 3.29 270786560 unknown 8.73 3.24 263577600 unknown 7.12 2.68 229752832
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c false(valid-memtrack) 57.8  30.1  561188864 unknown 7.25 2.85 220663808 unknown 6.75 2.57 202928128 unknown 8.70 3.16 270635008 unknown 8.67 3.14 261017600 unknown 8.46 3.16 266317824 unknown 6.96 2.72 221659136
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 91.3  54.5  690806784 unknown 7.09 2.80 229679104 unknown 6.51 2.47 203325440 unknown 9.36 3.36 277467136 unknown 9.19 3.32 269193216 unknown 8.86 3.26 263176192 unknown 7.27 2.78 225050624
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 90.7  54.9  702820352 unknown 6.75 2.73 219283456 unknown 6.49 2.57 201023488 unknown 8.53 3.12 266338304 unknown 8.75 3.26 261611520 unknown 8.27 3.10 258990080 unknown 6.90 2.63 222019584
ldv-memsafety/memset_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 90.6  55.3  667443200 unknown 6.99 2.59 221392896 unknown 6.39 2.47 201203712 unknown 8.73 3.21 259338240 unknown 8.82 3.19 261660672 unknown 8.41 3.15 261431296 unknown 6.94 2.69 217837568
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 5.61 2.18 181825536 error: exception 5.59 2.20 177516544 error: exception 5.75 2.25 180981760 error: exception 5.52 2.15 178298880 error: exception 5.58 2.16 180633600 error: exception 5.54 2.18 182226944 error: exception 5.45 2.14 182849536
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-memtrack) 19.4  6.98 348291072 unknown 8.34 3.17 255569920 unknown 8.26 3.09 242348032 unknown 8.86 3.21 254582784 unknown 8.83 3.25 254128128 unknown 8.87 3.20 254050304 unknown 8.63 3.13 254922752
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-memtrack) 20.0  7.26 349306880 unknown 8.61 3.22 253349888 unknown 8.52 3.11 257564672 unknown 9.43 3.35 257441792 unknown 8.90 3.25 256053248 unknown 8.92 3.26 256626688 unknown 9.37 3.31 257953792
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 5.49 2.17 186802176 error: exception 5.57 2.14 180297728 error: exception 6.00 2.17 184995840 error: exception 5.45 2.08 178528256 error: exception 5.66 2.17 179675136 error: exception 5.45 2.13 178724864 error: exception 5.60 2.24 180199424
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error: exception 5.83 2.24 184389632 error: exception 5.72 2.22 186605568 error: exception 5.79 2.22 181784576 error: exception 5.58 2.16 181010432 error: exception 5.75 2.14 186580992 error: exception 5.52 2.13 183377920 error: exception 5.67 2.28 185237504
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 5.57 2.15 178970624 error: exception 5.40 2.55 180301824 error: exception 5.49 2.23 181075968 error: exception 5.51 2.08 181673984 error: exception 5.54 2.17 184082432 error: exception 5.55 2.12 179187712 error: exception 5.57 2.16 180568064
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-memtrack) 28.3  9.79 459165696 unknown 16.3  5.75 430374912 unknown 12.2  4.25 329924608 timeout (error (143)) 96.4  71.2  2180816896 timeout (error (143)) 96.1  72.9  2185568256 timeout (error (143)) 95.9  74.1  2179383296 unknown 15.6  5.47 434626560
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-memtrack) 11.6  4.30 277753856 unknown 7.69 2.93 233009152 unknown 7.51 2.93 217726976 unknown 8.51 3.17 252772352 unknown 8.50 3.12 253431808 unknown 8.78 3.19 250023936 unknown 8.00 2.94 237064192
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-memtrack) 19.0  7.20 365633536 unknown 9.40 3.35 270843904 unknown 7.76 2.92 228339712 unknown 37.5  23.4  1659310080 unknown 38.6  23.6  1666465792 unknown 39.7  24.0  1734619136 unknown 9.95 3.54 268333056
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-memtrack) 10.1  4.01 251301888 unknown 7.71 2.99 229908480 unknown 7.08 2.67 213561344 unknown 7.80 2.89 252592128 unknown 7.93 2.92 253661184 unknown 7.94 2.93 254738432 unknown 7.39 2.82 232534016
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-memtrack) 8.05 3.20 227524608 unknown 7.90 3.48 208297984 unknown 6.90 2.61 195227648 unknown 6.79 2.59 209674240 unknown 6.92 2.62 210427904 unknown 6.92 2.60 208547840 unknown 7.02 2.71 206258176
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-memtrack) 11.2  4.04 284782592 unknown 12.0  4.78 315969536 unknown 7.71 2.84 237957120 unknown 46.3  30.1  1893826560 unknown 45.8  29.3  2155614208 unknown 47.4  30.3  1865154560 unknown 10.1  3.67 309526528
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-memtrack) 10.9  4.02 277073920 unknown 8.64 4.76 224899072 unknown 7.31 2.68 219430912 unknown 7.87 2.93 253747200 unknown 7.69 2.82 246706176 unknown 8.05 2.92 256372736 unknown 7.56 2.92 225001472
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 12.3  4.58 293244928 unknown 9.42 4.62 226971648 unknown 7.15 2.70 213295104 unknown 8.09 2.95 254500864 unknown 8.48 2.97 253227008 unknown 8.16 2.98 251228160 unknown 7.60 2.86 229900288
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 5.56 2.18 180043776 error: exception 6.16 3.12 178106368 error: exception 5.61 2.14 180576256 error: exception 5.48 2.15 179683328 error: exception 5.40 2.04 181608448 error: exception 5.47 2.12 182874112 error: exception 5.46 2.32 178491392
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 5.30 2.04 178962432 error: exception 6.31 2.68 180252672 error: exception 5.50 2.09 184705024 error: exception 5.31 2.09 179744768 error: exception 5.25 2.04 182677504 error: exception 5.23 2.04 180408320 error: exception 5.50 2.07 180396032
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 5.67 2.17 180420608 error: exception 5.87 2.54 180383744 error: exception 5.40 2.14 180346880 error: exception 5.43 2.14 181825536 error: exception 5.77 2.40 181833728 error: exception 5.53 2.11 180477952 error: exception 5.58 2.17 181624832
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 5.04 2.03 180256768 error: exception 6.39 2.85 181702656 error: exception 5.54 2.03 181264384 error: exception 5.61 2.10 180748288 error: exception 5.54 2.16 179372032 error: exception 5.54 2.10 180903936 error: exception 5.40 2.08 183259136
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 5.75 2.12 183468032 error: exception 6.39 3.20 182403072 error: exception 5.56 2.15 183496704 error: exception 5.46 2.15 181510144 error: exception 5.66 2.21 181919744 error: exception 5.37 2.13 180416512 error: exception 5.59 2.26 183005184
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 37.1  16.2  462974976 unknown 47.9  28.2  1906712576 unknown 10.5  3.78 285917184 timeout (error (143)) 96.6  75.4  2390609920 timeout (error (143)) 96.0  75.0  2205913088 timeout (error (143)) 96.6  76.3  2418544640 unknown 41.9  22.3  1560035328
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 5.78 2.21 182730752 error: exception 6.07 2.57 181522432 error: exception 5.44 2.10 181428224 error: exception 5.56 2.25 182460416 error: exception 5.59 2.29 180744192 error: exception 5.65 2.12 179421184 error: exception 5.52 2.19 181686272
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 5.47 2.19 182288384 error: exception 6.40 3.30 179687424 error: exception 5.33 2.04 182800384 error: exception 5.59 2.15 180125696 error: exception 5.64 2.22 182452224 error: exception 5.55 2.20 181579776 error: exception 5.78 2.26 180002816
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 10.9  4.02 271331328 unknown 8.28 3.35 228499456 unknown 7.41 2.80 217161728 unknown 8.22 3.01 253431808 unknown 8.25 3.03 254267392 unknown 8.16 2.98 250777600 unknown 8.04 3.12 230109184
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 10.5  3.92 271650816 unknown 8.84 4.45 226037760 unknown 7.41 2.80 213155840 unknown 8.20 3.05 251973632 unknown 8.21 2.98 255246336 unknown 8.38 3.04 251719680 unknown 7.38 2.79 229187584
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.38 3.64 241979392 unknown 8.75 3.67 225677312 unknown 7.03 2.73 213839872 unknown 7.99 2.96 254246912 unknown 8.09 3.02 254382080 unknown 8.05 2.98 255070208 unknown 7.39 2.77 230748160
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.89 3.81 265494528 unknown 8.51 3.59 224321536 unknown 7.08 2.74 212852736 unknown 7.82 2.95 254570496 unknown 7.95 3.01 252575744 unknown 8.40 3.03 250351616 unknown 7.34 2.80 230559744
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.40 3.21 238919680 unknown 7.55 2.96 230379520 unknown 6.97 2.71 209592320 unknown 7.99 3.00 253755392 unknown 8.27 3.01 255143936 unknown 7.81 2.91 254722048 unknown 7.51 2.76 222052352
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.59 3.23 240087040 unknown 7.83 3.42 220712960 unknown 7.09 2.66 202215424 unknown 7.97 2.85 257392640 unknown 7.77 2.88 254967808 unknown 7.50 2.79 242618368 unknown 7.15 2.77 212860928
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 5.52 2.12 183242752 error: exception 5.87 2.41 182702080 error: exception 5.53 2.12 179060736 error: exception 5.53 2.15 182149120 error: exception 5.53 2.12 183656448 error: exception 5.41 2.11 177053696 error: exception 5.31 2.05 179752960
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 5.48 2.14 180424704 error: exception 5.97 2.56 180363264 error: exception 5.51 2.12 180523008 error: exception 5.38 2.13 180170752 error: exception 5.40 2.11 179728384 error: exception 5.43 2.08 183005184 error: exception 5.39 2.12 182493184
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 22.8  7.98 350662656 unknown 9.36 3.98 252936192 unknown 8.11 3.07 254160896 unknown 9.24 3.20 254943232 unknown 9.08 3.31 259657728 unknown 8.84 3.23 253833216 unknown 8.50 3.12 256520192
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.3  4.28 283373568 unknown 8.44 3.43 241553408 unknown 7.60 2.87 217993216 unknown 8.55 3.12 253149184 unknown 8.38 3.06 252305408 unknown 8.35 3.10 254074880 unknown 7.80 2.96 237973504
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 22.6  7.94 367284224 unknown 8.75 3.36 254492672 unknown 8.49 3.15 257179648 unknown 9.06 3.26 254517248 unknown 9.26 3.33 257609728 unknown 9.02 3.22 260636672 unknown 8.54 3.17 257314816
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.7  4.00 275861504 unknown 7.56 2.86 224935936 unknown 6.86 2.65 207679488 unknown 7.66 2.79 252796928 unknown 7.71 2.87 251117568 unknown 7.55 2.83 254304256 unknown 7.54 2.85 222281728
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.08 3.39 242569216 unknown 7.52 2.95 224329728 unknown 7.05 2.66 213671936 unknown 7.69 2.83 256266240 unknown 7.89 2.83 257691648 unknown 7.88 2.91 253186048 unknown 7.13 2.72 214814720
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.94 3.69 261881856 unknown 7.95 3.07 225554432 unknown 7.04 2.64 217460736 unknown 7.84 2.92 257421312 unknown 7.95 2.87 253427712 unknown 8.11 2.94 251424768 unknown 7.52 2.79 226308096
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.2  4.06 280485888 unknown 10.9  4.18 320454656 unknown 7.73 2.90 238727168 unknown 45.6  28.8  2039193600 unknown 49.0  29.5  2147409920 unknown 45.3  29.1  1866059776 unknown 10.4  3.80 316198912
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.2  4.13 278908928 unknown 11.1  5.02 319639552 unknown 7.72 2.85 243085312 unknown 41.6  25.1  1976279040 unknown 41.9  25.1  1727016960 unknown 40.5  25.0  2014326784 unknown 10.5  3.83 321024000
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.4  4.21 288358400 unknown 8.97 3.55 253566976 unknown 7.27 2.75 217997312 unknown 11.0  3.99 329625600 unknown 11.9  4.27 343060480 unknown 12.3  4.37 342863872 unknown 8.35 3.11 253644800
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.16 3.37 245972992 unknown 8.15 3.43 226828288 unknown 7.16 2.66 203313152 unknown 7.80 2.89 243806208 unknown 7.84 2.95 244584448 unknown 7.83 2.90 250912768 unknown 7.23 2.72 221306880
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.9  3.99 271978496 unknown 8.37 3.57 231940096 unknown 7.19 2.76 217051136 unknown 7.95 2.94 256094208 unknown 7.93 2.87 255459328 unknown 7.89 2.89 257191936 unknown 7.32 2.78 231559168
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.83 3.66 243990528 unknown 7.65 3.08 217198592 unknown 7.50 2.72 218312704 unknown 7.75 2.89 242102272 unknown 7.87 2.86 255385600 unknown 7.84 2.86 256770048 unknown 7.61 2.87 232792064
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i false(valid-memtrack) 16.0  6.33 324739072 unknown 7.97 3.44 229527552 unknown 7.53 2.93 216461312 unknown 8.07 3.00 253485056 unknown 8.46 3.01 255586304 unknown 8.06 3.02 251789312 unknown 7.82 2.93 230707200
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 5.60 2.13 183861248 error: exception 5.94 2.45 183414784 error: exception 5.67 2.15 188919808 error: exception 5.38 2.13 185491456 error: exception 5.53 2.06 182243328 error: exception 5.50 2.15 180674560 error: exception 5.51 2.15 178393088
ldv-memsafety/memleaks_test12_true-valid-memsafety.i false(valid-memtrack) 27.2  9.53 459038720 unknown 16.9  6.34 401006592 unknown 12.2  4.26 334077952 timeout (error (143)) 96.2  71.7  2176729088 timeout (error (143)) 96.0  73.7  2190180352 timeout (error (143)) 96.1  72.0  2178646016 unknown 14.9  5.16 436998144
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 5.60 2.16 179924992 error: exception 5.79 2.48 178307072 error: exception 5.62 2.47 180273152 error: exception 5.66 2.18 180543488 error: exception 5.81 2.20 183271424 error: exception 5.77 2.25 182362112 error: exception 5.49 2.13 183599104
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 5.85 2.27 182784000 error: exception 6.15 2.68 184602624 error: exception 5.58 2.19 185769984 error: exception 5.44 2.11 180187136 error: exception 5.66 2.23 186007552 error: exception 5.47 2.14 182988800 error: exception 5.65 2.21 177393664
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i false(valid-memtrack) 23.0  8.63 385822720 unknown 8.80 3.27 254988288 unknown 8.01 2.95 235905024 unknown 9.14 3.23 258912256 unknown 9.09 3.26 258932736 unknown 9.18 3.33 258359296 unknown 8.12 3.07 256827392
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 5.68 2.18 188153856 error: exception 5.80 2.34 180248576 error: exception 5.36 2.11 179081216 error: exception 5.40 2.13 179884032 error: exception 5.43 2.15 182120448 error: exception 5.43 2.11 180936704 error: exception 5.53 2.15 183083008
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.7  4.31 292777984 unknown 8.73 4.06 231903232 unknown 7.33 2.79 217665536 unknown 8.29 3.08 253546496 unknown 8.22 3.02 249679872 unknown 8.17 3.01 252448768 unknown 7.72 2.92 233738240
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i false(valid-memtrack) 12.1  4.38 279818240 unknown 9.14 4.22 246898688 unknown 7.53 2.80 223219712 unknown 8.24 3.05 248475648 unknown 8.59 3.05 251801600 unknown 8.39 3.09 252874752 unknown 7.88 2.92 252624896
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.1  3.81 271560704 unknown 7.86 3.20 226459648 unknown 7.22 2.79 218062848 unknown 8.13 2.99 256401408 unknown 8.02 2.97 256376832 unknown 8.30 2.91 255062016 unknown 7.51 2.78 231837696
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i false(valid-memtrack) 18.0  6.79 351031296 unknown 9.95 3.95 265195520 unknown 7.69 2.83 225468416 unknown 32.4  18.1  1642967040 unknown 33.8  18.2  1473781760 unknown 33.6  18.3  1421471744 unknown 9.72 3.44 266002432
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.76 3.74 246304768 unknown 7.91 3.55 227823616 unknown 6.67 2.51 213966848 unknown 7.45 2.81 245735424 unknown 7.54 2.81 256286720 unknown 8.21 3.00 257839104 unknown 7.36 2.81 224227328
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 5.64 2.14 184352768 error: exception 5.88 2.87 184868864 error: exception 5.49 2.07 182362112 error: exception 5.33 2.04 179953664 error: exception 5.33 2.18 179470336 error: exception 5.45 2.08 183209984 error: exception 5.40 2.09 183083008
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 5.34 2.10 178573312 error: exception 5.94 2.75 179707904 error: exception 5.32 2.11 181637120 error: exception 5.25 2.07 183242752 error: exception 5.35 2.08 178528256 error: exception 5.29 2.06 184676352 error: exception 5.75 2.26 184995840
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 18.2  6.62 349216768 unknown 8.99 3.73 255315968 unknown 8.19 3.02 246116352 unknown 8.86 3.10 265703424 unknown 8.69 3.16 254484480 unknown 8.96 3.21 261435392 unknown 8.45 3.18 255889408
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i false(valid-memtrack) 21.8  7.80 356741120 unknown 10.0  4.41 260415488 unknown 8.56 3.14 254255104 unknown 8.89 3.23 254103552 unknown 8.62 3.15 256188416 unknown 9.16 3.27 256450560 unknown 8.80 3.39 253247488
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i false(valid-memtrack) 24.7  8.87 401420288 unknown 10.4  5.11 250814464 unknown 8.70 3.27 256077824 unknown 8.87 3.30 257286144 unknown 9.28 3.35 257208320 unknown 8.64 3.18 257249280 unknown 9.47 3.57 251293696
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 5.79 2.28 181624832 error: exception 6.23 3.27 177201152 error: exception 5.68 2.25 183779328 error: exception 5.54 2.20 181161984 error: exception 5.49 2.08 182108160 error: exception 5.44 2.14 183599104 error: exception 5.68 2.42 180555776
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error: exception 5.75 2.32 180547584 error: exception 5.50 2.32 181010432 error: exception 5.51 2.14 180736000 error: exception 5.30 2.09 181018624 error: exception 5.51 2.10 180506624 error: exception 5.68 2.20 185667584 error: exception 5.66 2.15 183803904
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.0  4.15 275738624 unknown 7.52 2.86 233984000 unknown 7.24 2.84 211718144 unknown 7.83 2.90 255217664 unknown 7.86 2.88 254398464 unknown 8.09 2.91 257409024 unknown 7.73 2.80 229797888
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.78 3.77 253693952 unknown 7.58 2.97 227213312 unknown 6.97 2.64 209223680 unknown 7.72 2.84 253284352 unknown 7.57 2.86 253259776 unknown 7.85 2.96 251211776 unknown 7.42 2.78 227860480
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.1  3.86 276783104 unknown 8.03 3.21 227741696 unknown 7.30 2.83 210391040 unknown 8.08 3.01 253181952 unknown 7.74 2.85 254353408 unknown 8.19 3.14 249548800 unknown 7.48 3.00 225161216
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.0  4.15 281653248 unknown 10.6  4.03 313036800 unknown 7.60 2.76 239443968 unknown 46.6  30.0  2150359040 unknown 44.4  29.5  2156380160 unknown 46.0  29.4  2101379072 unknown 10.2  3.70 324014080
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i false(valid-memtrack) 12.6  4.50 280559616 unknown 8.77 3.59 251346944 unknown 7.52 2.81 222679040 unknown 11.4  4.05 325718016 unknown 10.7  3.82 322916352 unknown 12.4  4.42 341872640 unknown 8.35 3.04 251568128
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.7  3.98 278450176 unknown 8.11 3.34 230764544 unknown 7.01 2.64 217260032 unknown 7.73 2.91 256438272 unknown 8.03 2.92 256286720 unknown 7.83 2.95 256266240 unknown 7.35 2.79 229359616
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.2  4.08 293748736 unknown 7.87 3.09 234008576 unknown 7.17 2.72 219140096 unknown 7.51 2.85 257134592 unknown 7.70 2.85 245448704 unknown 8.03 2.90 256249856 unknown 7.55 2.80 224841728
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.42 3.28 239558656 unknown 21.2  8.08 651841536 unknown 7.17 2.71 244056064 timeout (error (143)) 91.0  71.6  2152235008 timeout (error (143)) 95.3  79.9  2045927424 timeout (error (143)) 95.3  78.6  2082168832 unknown 20.6  7.10 658366464
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.22 3.17 243474432 unknown 11.2  4.25 277778432 unknown 8.44 3.06 257085440 timeout (error (143)) 95.8  76.9  2174656512 timeout (error (143)) 95.7  75.3  2192871424 timeout (error (143)) 95.9  75.1  2185699328 unknown 11.0  4.02 331370496
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.71 3.28 241991680 unknown 11.0  4.29 337039360 unknown 8.44 3.10 251166720 timeout (error (143)) 95.8  75.5  2208657408 timeout (error (143)) 95.5  78.9  2193022976 timeout (error (143)) 95.5  77.5  2194214912 unknown 11.0  4.04 328740864
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.83 3.38 246763520 unknown 18.7  7.10 744722432 unknown 8.81 3.19 263774208 timeout (error (143)) 95.7  77.3  2188967936 timeout (error (143)) 95.6  78.1  2186317824 timeout (error (143)) 95.8  76.9  2178916352 unknown 18.2  7.01 639471616
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.72 3.35 245694464 unknown 14.7  5.64 465207296 unknown 10.0  3.72 288415744 timeout (error (143)) 95.9  78.5  2183335936 timeout (error (143)) 95.7  77.1  2189090816 timeout (error (143)) 95.8  77.8  2189971456 unknown 13.2  4.76 424878080
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-memtrack) 8.68 3.35 241758208 unknown 19.9  7.22 686186496 unknown 7.30 2.83 246784000 timeout (error (143)) 95.3  79.2  2049191936 timeout (error (143)) 91.1  72.1  2093875200 timeout (error (143)) 95.6  76.6  2135506944 unknown 20.0  7.84 665649152
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-memtrack) 8.63 3.22 243879936 unknown 11.6  4.39 327254016 unknown 8.26 3.06 251875328 timeout (error (143)) 96.0  74.3  2180001792 timeout (error (143)) 95.9  74.9  2188771328 timeout (error (143)) 95.5  77.4  2198757376 unknown 11.2  4.10 322088960
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-memtrack) 9.03 3.42 249032704 unknown 23.9  11.5  1014566912 unknown 8.90 3.23 274481152 timeout (error (143)) 95.6  77.4  2189352960 timeout (error (143)) 95.5  78.3  2195148800 timeout (error (143)) 95.6  78.4  2173685760 unknown 22.5  9.78 1112113152
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-memtrack) 9.01 3.34 246091776 unknown 15.3  6.04 435175424 unknown 10.3  3.70 289693696 timeout (error (143)) 96.1  77.6  2184331264 timeout (error (143)) 95.8  79.2  2182037504 timeout (error (143)) 96.0  78.1  2188742656 unknown 13.3  4.84 439017472
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-memtrack) 9.39 3.43 246616064 unknown 18.5  7.33 723718144 unknown 8.71 3.22 248930304 timeout (error (143)) 95.7  77.0  2181541888 timeout (error (143)) 95.8  76.2  2167767040 timeout (error (143)) 95.6  77.6  2168131584 unknown 18.2  6.96 649121792
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 17.2  6.16 398503936 unknown 16.5  5.82 436916224 unknown 76.9  43.3  2413527040 timeout (error (143)) 96.1  74.9  2158452736 timeout (error (143)) 96.7  73.1  2164559872 timeout (error (143)) 95.3  79.2  2157645824 unknown 15.1  5.35 417136640
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 5.46 2.17 185671680 error: exception 5.94 2.57 183824384 error: exception 5.53 2.16 179978240 error: exception 5.48 2.11 183390208 error: exception 5.70 2.18 179568640 error: exception 5.57 2.14 186101760 error: exception 5.41 2.10 181198848
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.2  65.3  741994496 timeout (error (143)) 94.2  72.0  2211147776 unknown 42.4  19.1  2235904000 timeout (error (143)) 95.5  70.2  2195402752 timeout (error (143)) 95.5  70.2  2183458816 timeout (error (143)) 95.7  69.3  2173034496 timeout (error (143)) 93.5  67.0  2233180160
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 5.55 2.17 180305920 error: exception 5.73 2.35 182046720 error: exception 5.17 2.06 179380224 error: exception 5.24 2.06 178692096 error: exception 5.33 2.06 181141504 error: exception 5.50 2.13 181424128 error: exception 5.51 2.16 178872320
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 5.27 2.17 178184192 error: exception 5.69 2.35 179236864 error: exception 5.33 2.08 181280768 error: exception 5.21 2.01 181235712 error: exception 5.23 2.08 180867072 error: exception 5.33 2.09 178937856 error: exception 5.51 2.16 182775808
heap-manipulation/tree_false-valid-deref.i error: exception 5.35 2.07 180232192 error: exception 5.49 2.78 178860032 error: exception 5.32 2.11 179019776 error: exception 5.52 2.14 188076032 error: exception 5.16 1.99 181190656 error: exception 5.26 2.09 181272576 error: exception 5.51 2.15 177467392
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (false(valid-memtrack)) 92.0  79.6  435625984 timeout (error (143)) 92.7  71.2  2173136896 timeout (error (143)) 91.2  53.5  2361413632 timeout (error (143)) 96.3  74.8  2215337984 timeout (error (143)) 96.3  75.6  2219257856 timeout (error (143)) 95.6  70.5  2219831296 timeout (error (143)) 95.6  76.9  2201350144
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout (false(valid-memtrack)) 90.6  61.6  577789952 timeout (error (143)) 96.3  71.4  2193711104 unknown 13.0  4.61 362848256 timeout (error (143)) 96.0  71.7  2237550592 timeout (error (143)) 96.3  71.1  2236375040 timeout (error (143)) 96.0  71.4  2213888000 timeout (error (143)) 95.8  75.3  2195881984
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 13.9  5.09 290615296 timeout (error (143)) 96.3  75.7  2208301056 unknown 13.1  4.59 363233280 timeout (error (143)) 95.7  72.4  2213658624 timeout (error (143)) 95.4  73.1  2163150848 timeout (error (143)) 96.3  75.2  2168233984 timeout (error (143)) 96.3  74.9  2209980416
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 11.8  4.44 285093888 timeout (error (143)) 95.9  75.8  2179088384 unknown 11.9  4.12 336334848 timeout (error (143)) 95.3  71.2  2226860032 timeout (error (143)) 95.5  70.8  2233393152 timeout (error (143)) 95.4  71.6  2237480960 timeout (error (143)) 96.0  73.9  2188492800
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.0  58.3  729825280 timeout (error (143)) 91.4  69.9  2207289344 unknown 11.0  3.90 336109568 timeout (error (143)) 96.1  73.3  2167132160 timeout (error (143)) 96.3  70.4  2194104320 timeout (error (143)) 97.0  69.6  2181664768 timeout (error (143)) 92.0  68.3  2209734656
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 72.0  42.4  1413955584 timeout (error (143)) 91.1  67.4  2190204928 unknown 9.94 3.53 269647872 timeout (error (143)) 96.1  74.8  2174009344 timeout (error (143)) 96.2  75.6  2200178688 timeout (error (143)) 96.1  69.9  2175844352 timeout (error (143)) 92.2  66.2  2198392832
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 19.5  7.63 340946944 timeout (error (143)) 91.4  71.4  2196672512 unknown 9.75 3.40 268029952 timeout (error (143)) 95.4  71.4  2181627904 timeout (error (143)) 96.4  73.0  2180190208 timeout (error (143)) 96.0  75.2  2170445824 timeout (error (143)) 91.2  71.6  2205732864
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.56 3.23 233680896 timeout (error (143)) 91.6  71.7  2188800000 unknown 8.01 2.97 254169088 timeout (error (143)) 95.9  73.2  2178867200 timeout (error (143)) 96.0  72.2  2183524352 timeout (error (143)) 96.2  69.7  2189111296 timeout (error (143)) 91.4  71.1  2206892032
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 28.7  12.7  567259136 timeout (error (143)) 91.5  67.7  2177966080 unknown 8.85 3.16 252026880 timeout (error (143)) 96.2  72.0  2183585792 timeout (error (143)) 96.3  71.4  2190430208 timeout (error (143)) 96.2  72.7  2202832896 timeout (error (143)) 90.7  70.9  2206523392
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 22.2  9.42 373202944 timeout (error (143)) 93.9  70.9  2206298112 unknown 12.5  4.36 350892032 timeout (error (143)) 95.7  71.5  2179186688 timeout (error (143)) 95.9  70.6  2183311360 timeout (error (143)) 95.8  69.8  2185822208 timeout (error (143)) 95.5  75.6  2202759168
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.07 2.39 181506048 unknown 6.24 2.37 183750656 unknown 5.74 2.21 181702656 unknown 6.20 2.35 181743616 unknown 5.98 2.26 185544704 unknown 5.73 2.18 181260288 unknown 5.83 2.18 179261440
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.01 2.30 182931456 unknown 6.02 2.30 182452224 unknown 5.74 2.22 180248576 unknown 5.81 2.22 179658752 unknown 5.83 2.20 181338112 unknown 5.80 2.27 182067200 unknown 6.08 2.26 182800384
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.99 2.44 180838400 unknown 5.96 2.24 181018624 unknown 5.98 2.28 180248576 unknown 6.05 2.27 181665792 unknown 5.97 2.28 181813248 unknown 5.97 2.23 186138624 unknown 5.92 2.22 182161408
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.14 2.26 181923840 unknown 5.84 2.16 181493760 unknown 5.92 2.23 183418880 unknown 6.00 2.24 186802176 unknown 5.83 2.20 185339904 unknown 6.01 2.22 181641216 unknown 6.01 2.26 182599680
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.87 2.18 180838400 unknown 6.11 2.29 182218752 unknown 5.85 2.18 181145600 unknown 5.65 2.18 182603776 unknown 6.10 2.17 182206464 unknown 6.18 2.32 179752960 unknown 6.15 2.34 180084736
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.96 2.30 181239808 unknown 5.96 2.21 184360960 unknown 6.08 2.26 181620736 unknown 6.06 2.25 182550528 unknown 5.77 2.14 182558720 unknown 6.11 2.24 186925056 unknown 5.78 2.16 179781632
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.95 2.22 179462144 unknown 5.62 2.20 181334016 unknown 5.95 2.20 180924416 unknown 5.82 2.19 180576256 unknown 6.00 2.28 183365632 unknown 5.92 2.24 182816768 unknown 5.94 2.25 183123968
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.09 2.17 183402496 unknown 6.23 2.30 185151488 unknown 5.80 2.22 182431744 unknown 6.02 2.29 179810304 unknown 5.89 2.14 182468608 unknown 6.06 2.28 184295424 unknown 5.68 2.23 181030912
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.32 182345728 unknown 5.82 2.18 179335168 unknown 6.19 2.29 185696256 unknown 5.96 2.21 183422976 unknown 5.76 2.19 180170752 unknown 6.01 2.24 181948416 unknown 5.88 2.22 181694464
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.21 2.19 185597952 unknown 5.79 2.17 180707328 unknown 6.32 2.27 184836096 unknown 6.04 2.25 180486144 unknown 6.03 2.20 180682752 unknown 6.16 2.28 179499008 unknown 5.87 2.25 182075392
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.06 2.27 182763520 unknown 5.99 2.26 183926784 unknown 6.00 2.20 184446976 unknown 6.04 2.28 183001088 unknown 5.70 2.23 177782784 unknown 6.06 2.33 183169024 unknown 6.07 2.26 179175424
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.92 2.21 182837248 unknown 5.93 2.26 181403648 unknown 6.00 2.25 180080640 unknown 5.82 2.22 181104640 unknown 6.14 2.21 184496128 unknown 6.03 2.23 180015104 unknown 6.00 2.18 181567488
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.99 2.25 184979456 unknown 5.80 2.17 180817920 unknown 5.82 2.24 182267904 unknown 5.86 2.18 180662272 unknown 6.01 2.23 181592064 unknown 6.05 2.26 179789824 unknown 5.77 2.44 178536448
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.8  60.8  638771200 timeout (error (143)) 94.5  76.1  2199281664 unknown 14.4  5.01 438431744 timeout (error (143)) 95.5  69.7  2217152512 timeout (error (143)) 95.5  70.1  2209914880 timeout (error (143)) 95.5  69.9  2214653952 timeout (error (143)) 93.2  73.1  2177048576
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.3  55.0  828256256 timeout (error (143)) 96.4  77.5  2181656576 unknown 14.7  5.04 451919872 timeout (error (143)) 96.2  72.6  2161897472 timeout (error (143)) 96.3  72.1  2146775040 timeout (error (143)) 96.7  72.3  2168606720 timeout (error (143)) 95.7  76.6  2174910464
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 15.7  5.58 297525248 timeout (error (143)) 96.0  72.7  2187042816 unknown 15.3  5.28 439947264 timeout (error (143)) 96.6  68.2  2199175168 timeout (error (143)) 97.2  72.5  2224156672 timeout (error (143)) 97.3  72.3  2214277120 timeout (error (143)) 91.5  69.2  2166808576
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.4  51.4  837177344 timeout (error (143)) 95.9  74.3  2187710464 unknown 17.3  6.11 615739392 timeout (error (143)) 96.3  71.6  2189381632 timeout (error (143)) 96.9  71.2  2194079744 timeout (error (143)) 96.6  68.6  2184495104 timeout (error (143)) 96.1  72.4  2182148096
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.3  52.0  660631552 timeout (error (143)) 95.7  76.4  2193887232 unknown 13.1  4.66 364756992 timeout (error (143)) 96.4  72.7  2184433664 timeout (error (143)) 96.5  73.3  2181955584 timeout (error (143)) 96.3  74.0  2172186624 timeout (error (143)) 92.3  67.9  2203799552
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.8  53.5  675799040 timeout (error (143)) 95.9  75.8  2197159936 unknown 12.5  4.42 371281920 timeout (error (143)) 95.9  70.5  2240671744 timeout (error (143)) 96.4  69.9  2238496768 timeout (error (143)) 96.1  69.1  2194702336 timeout (error (143)) 95.8  74.9  2185093120
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 16.8  6.13 318611456 timeout (error (143)) 93.9  72.8  2186903552 unknown 13.1  4.60 366137344 timeout (error (143)) 98.0  71.9  2178506752 timeout (error (143)) 97.2  71.9  2185785344 timeout (error (143)) 97.0  72.7  2180845568 timeout (error (143)) 91.6  72.0  2184081408
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.7  58.5  635686912 timeout (error (143)) 95.7  75.4  2181259264 unknown 16.1  5.50 445788160 timeout (error (143)) 96.9  72.6  2167218176 timeout (error (143)) 98.0  73.3  2178985984 timeout (error (143)) 96.7  71.8  2186702848 timeout (error (143)) 95.6  77.1  2182066176
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 89.8  51.8  735100928 timeout (error (143)) 96.1  76.7  2177159168 unknown 11.5  4.05 341155840 timeout (error (143)) 95.5  70.3  2184548352 timeout (error (143)) 95.7  69.9  2234089472 timeout (error (143)) 95.7  70.2  2225156096 timeout (error (143)) 93.3  72.0  2188640256
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.9  65.3  515948544 timeout (error (143)) 90.9  70.5  2187911168 unknown 15.2  5.45 452562944 timeout (error (143)) 96.6  71.3  2177024000 timeout (error (143)) 96.3  72.3  2199298048 timeout (error (143)) 95.6  69.8  2194124800 timeout (error (143)) 92.0  68.2  2197962752
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 82.5  54.5  615993344 timeout (error (143)) 95.5  77.0  2166239232 unknown 18.8  6.55 619380736 timeout (error (143)) 95.6  76.0  2177478656 timeout (error (143)) 95.4  77.8  2171863040 timeout (error (143)) 95.4  78.1  2172547072 timeout (error (143)) 95.5  76.1  2159681536
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 89.6  50.5  654254080 timeout (error (143)) 92.0  71.2  2163355648 unknown 14.6  5.13 439709696 timeout (error (143)) 95.6  75.0  2171281408 timeout (error (143)) 95.7  73.1  2169319424 timeout (error (143)) 95.7  73.6  2169950208 timeout (error (143)) 91.5  71.0  2178854912
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 15.5  5.54 293376000 timeout (error (143)) 91.0  69.5  2167668736 unknown 14.0  4.80 351375360 timeout (error (143)) 94.0  74.4  2169151488 timeout (error (143)) 93.9  73.4  2165248000 timeout (error (143)) 95.5  73.9  2165276672 timeout (error (143)) 94.8  75.5  2170998784
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.3  52.4  952291328 timeout (error (143)) 95.7  75.1  2179211264 unknown 17.9  6.17 548261888 timeout (error (143)) 95.7  69.4  2186661888 timeout (error (143)) 96.2  73.5  2166194176 timeout (error (143)) 95.6  70.5  2211827712 timeout (error (143)) 95.9  73.3  2188783616
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 15.4  5.48 289980416 timeout (error (143)) 91.7  68.2  2197340160 unknown 11.3  3.96 309936128 timeout (error (143)) 95.5  68.6  2185388032 timeout (error (143)) 96.6  74.4  2190155776 timeout (error (143)) 95.6  69.9  2176831488 timeout (error (143)) 94.1  71.3  2223824896
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.2  52.0  650821632 timeout (error (143)) 96.0  72.5  2198138880 unknown 11.7  4.14 344907776 timeout (error (143)) 96.0  74.0  2175381504 timeout (error (143)) 96.2  73.3  2186973184 timeout (error (143)) 96.2  74.4  2171228160 timeout (error (143)) 95.9  73.3  2191339520
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 16.8  6.01 317222912 timeout (error (143)) 93.2  68.5  2201513984 unknown 13.3  4.65 362930176 timeout (error (143)) 95.5  70.3  2194780160 timeout (error (143)) 95.5  72.1  2190450688 timeout (error (143)) 96.3  68.1  2202189824 timeout (error (143)) 93.5  70.4  2196144128
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.3  52.1  702681088 timeout (error (143)) 94.2  70.7  2169372672 unknown 15.7  5.45 454795264 timeout (error (143)) 96.1  69.4  2198347776 timeout (error (143)) 95.9  75.8  2158481408 timeout (error (143)) 95.5  69.6  2188513280 timeout (error (143)) 90.9  66.3  2181632000
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 92.1  59.9  725483520 timeout (error (143)) 93.4  74.2  2165227520 unknown 12.6  4.40 349253632 timeout (error (143)) 96.1  75.5  2163015680 timeout (error (143)) 96.2  75.4  2158055424 timeout (error (143)) 96.2  74.8  2189459456 timeout (error (143)) 95.8  74.2  2178134016
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-memtrack) 11.2  4.20 289591296 timeout (error (143)) 94.5  73.3  2196209664 unknown 12.9  4.57 357879808 timeout (error (143)) 96.5  72.0  2169618432 timeout (error (143)) 95.4  71.4  2197770240 timeout (error (143)) 96.3  73.1  2176937984 timeout (error (143)) 95.1  72.8  2189234176
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout (false(valid-memtrack)) 90.1  65.9  521072640 timeout (error (143)) 91.6  69.0  2198650880 unknown 15.6  5.38 458711040 timeout (error (143)) 95.6  72.1  2162110464 timeout (error (143)) 96.1  70.6  2203103232 timeout (error (143)) 95.6  72.2  2189385728 timeout (error (143)) 92.8  69.3  2194104320
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-memtrack) 10.6  3.95 290848768 timeout (error (143)) 95.7  75.9  2174435328 unknown 12.5  4.37 354037760 timeout (error (143)) 95.8  66.0  2244825088 timeout (error (143)) 96.2  72.4  2167336960 timeout (error (143)) 96.1  72.4  2205462528 timeout (error (143)) 91.4  68.9  2188726272
loop-acceleration/array3_false-valid-deref.i true 5.28 2.15 184266752 true 6.27 2.60 194797568 true 6.64 2.60 190377984 true 6.72 2.50 206376960 true 6.37 2.48 197050368 true 6.58 2.50 192106496 true 6.50 2.45 196194304
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.57 2.36 190177280 unknown 6.91 2.52 194805760 unknown 7.13 2.48 193089536 unknown 6.74 2.36 190910464 unknown 6.93 2.42 191000576 unknown 6.78 2.43 190853120 unknown 6.71 2.38 189521920
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.73 2.13 179023872 unknown 5.94 2.29 182542336 unknown 6.10 2.28 180178944 unknown 5.87 2.28 183607296 unknown 6.15 2.33 181194752 unknown 5.91 2.23 180695040 unknown 5.79 2.18 183586816
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.5  3.75 263618560 timeout (error (143)) 91.6  60.1  2487275520 timeout (error (143)) 90.5  59.0  2471747584 timeout (error (143)) 90.9  61.1  2455093248 timeout (error (143)) 91.1  60.2  2476937216 timeout (error (143)) 91.1  59.1  2465411072 timeout (error (143)) 90.9  58.8  2487042048
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.6  3.71 272883712 timeout (error (143)) 90.4  59.1  2448093184 timeout (error (143)) 90.8  57.8  2485436416 timeout (error (143)) 90.3  57.5  2462392320 timeout (error (143)) 90.8  61.5  2467962880 timeout (error (143)) 90.8  61.8  2476707840 timeout (error (143)) 90.3  58.8  2472529920
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.47 3.17 258957312 timeout (error (143)) 96.6  62.2  2655899648 timeout (error (143)) 92.4  58.8  2612060160 timeout (error (143)) 91.0  61.7  2561769472 timeout (error (143)) 91.6  59.0  2574385152 timeout (error (143)) 92.9  58.7  2554261504 timeout (error (143)) 90.9  59.0  2592624640
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.41 3.20 256331776 timeout (error (143)) 91.0  61.4  2543681536 timeout (error (143)) 90.3  57.3  2576228352 timeout (error (143)) 90.8  62.1  2544451584 timeout (error (143)) 95.1  63.1  2569183232 timeout (error (143)) 91.3  59.5  2519334912 timeout (error (143)) 90.8  58.3  2568200192
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.80 3.19 259375104 timeout (error (143)) 96.3  61.4  2595708928 timeout (error (143)) 91.1  60.7  2566971392 timeout (error (143)) 90.9  63.1  2538500096 timeout (error (143)) 90.9  61.9  2526347264 timeout (error (143)) 90.9  61.9  2537299968 timeout (error (143)) 94.8  61.9  2608779264
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.52 3.49 261427200 timeout (error (143)) 90.9  61.7  2563182592 timeout (error (143)) 91.0  60.2  2518323200 timeout (error (143)) 94.5  60.5  2565894144 timeout (error (143)) 90.8  61.7  2548604928 timeout (error (143)) 90.8  61.8  2537910272 timeout (error (143)) 91.0  61.1  2545995776
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.70 3.53 256696320 timeout (error (143)) 90.8  62.2  2549420032 timeout (error (143)) 90.8  61.2  2556080128 timeout (error (143)) 91.3  59.4  2491576320 timeout (error (143)) 91.3  59.9  2432544768 timeout (error (143)) 90.8  62.1  2546429952 timeout (error (143)) 91.2  57.6  2572013568
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.70 2.67 214872064 true 29.0  11.8  1161949184 true 29.6  12.2  1086218240 true 33.7  12.9  1269506048 true 28.1  12.3  1186050048 true 29.5  12.5  1135206400 true 30.3  11.7  1233387520
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.66 3.20 250925056 true 36.5  16.7  1736642560 true 36.5  16.7  1713238016 true 38.7  18.0  1708118016 true 36.4  17.9  1944506368 true 37.1  18.0  1814904832 true 37.8  17.3  1782235136
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.13 3.08 250400768 true 39.3  17.5  1659928576 true 36.3  17.2  1651548160 true 36.6  17.6  1792344064 true 35.8  17.5  1719549952 true 40.3  18.2  1709514752 true 40.5  18.2  1757188096
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 6.03 2.52 194338816 true 10.6  3.77 297381888 true 10.1  3.65 298258432 true 9.81 3.57 300617728 true 9.37 3.41 316276736 true 9.40 3.39 298409984 true 10.6  3.89 310595584
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 5.84 2.34 191762432 true 10.7  3.84 292286464 true 10.2  3.64 299409408 true 10.6  3.76 299720704 true 10.9  3.92 301453312 true 11.0  3.91 333000704 true 11.4  4.06 316301312
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 5.78 2.47 192651264 true 11.7  4.12 336175104 true 11.5  4.08 338935808 true 10.5  3.81 326090752 true 11.0  4.05 327716864 true 12.1  4.32 332648448 true 11.3  4.09 332341248
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 6.13 2.48 199520256 true 11.1  3.98 339357696 true 11.8  4.13 354062336 true 11.4  4.07 323117056 true 12.7  4.46 337928192 true 13.0  4.60 360198144 true 12.4  4.34 339832832
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 6.50 2.60 194465792 true 13.4  4.73 344154112 true 13.4  4.81 346669056 true 13.1  4.70 348348416 true 13.8  4.89 345047040 true 13.7  4.84 351879168 true 13.1  4.73 350355456
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 6.27 2.57 194957312 true 13.4  4.83 343441408 true 12.0  4.24 336740352 true 12.4  4.36 339480576 true 13.2  4.65 335499264 true 13.4  4.69 347406336 true 13.4  4.83 352464896
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 6.28 2.66 192487424 true 13.7  4.89 400814080 true 14.5  5.14 406249472 true 13.8  4.84 411095040 true 13.5  4.86 407887872 true 14.2  5.13 373092352 true 14.0  5.08 412082176
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.49 2.77 195424256 true 13.1  4.62 412016640 true 14.0  5.03 417943552 true 14.7  5.17 403238912 true 13.6  4.92 401887232 true 14.5  5.04 420069376 true 14.7  5.28 401973248
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 5.70 2.58 190959616 true 7.93 2.95 249622528 true 7.50 2.81 251404288 true 7.51 2.84 247144448 true 7.58 3.04 246636544 true 7.30 2.80 248401920 true 7.65 2.90 250728448
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 5.93 2.44 192618496 true 8.02 3.05 249745408 true 8.01 3.02 254205952 true 8.08 2.89 248197120 true 7.87 2.98 246857728 true 8.12 3.02 249028608 true 8.13 3.07 248504320
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 5.75 2.35 191848448 true 8.30 2.99 250916864 true 8.37 3.08 251072512 true 8.32 3.01 248500224 true 8.44 3.22 249778176 true 8.83 3.33 249737216 true 8.75 3.19 252108800
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 5.96 2.34 198598656 true 9.03 3.35 261079040 true 9.58 3.39 275533824 true 9.59 3.45 270852096 true 8.67 3.18 262336512 true 9.13 3.42 270569472 true 9.37 3.44 268206080
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 5.52 2.27 193863680 true 9.69 3.48 264495104 true 8.66 3.18 266825728 true 9.77 3.53 263880704 true 9.64 3.42 262283264 true 8.79 3.15 273424384 true 9.45 3.46 266944512
../../../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 status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 8890 4710 133661667328 326 12500 8080 328032735232 326 4360 1900 134295977984 326 17900 12900 436378329088 326 17900 12900 435336159232 326 17900 12900 435583098880 326 12300 7920 325949796352
local summary 7080 2390 12500 4070 4360 970 17900 6490 17900 6500 17900 6500 12300 3990
    correct results 0 0 0 0 0 0 0
        correct true 0 0 0 0 0 0 0
        correct false 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0 0
Run set AutomizerCamel AbsInt AbsInt_imprecise AbsInt_mostprecise AbsInt_precise AbsInt_preciseopt AbsInt_smtcomp