Tool ULTIMATE Automizer 0.1.23-2f49842c
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-20 21:54:15 CET
Run set AutomizerCamel AbsInt Taipan AbsInt_imprecise Taipan_imprecise AbsInt_mostprecise Taipan_mostprecise AbsInt_precise Taipan_precise AbsInt_preciseopt Taipan_preciseopt AbsInt_smtcomp Taipan_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/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Taipan+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/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Taipan+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/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Taipan+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/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Taipan+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/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Taipan+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 --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_Taipan+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 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.15 3.25 231915520 unknown 36.5  17.0  1290489856 false(valid-memtrack) 8.36 3.32 231223296 unknown 8.00 3.00 249446400 false(valid-memtrack) 8.28 3.11 232181760 timeout (error (143)) 93.1  65.3  2018320384 false(valid-memtrack) 9.11 4.04 230526976 timeout (error (143)) 94.0  71.9  1866170368 false(valid-memtrack) 8.87 3.72 231493632 timeout (error (143)) 95.8  71.4  1814548480 false(valid-memtrack) 8.21 3.08 233648128 unknown 38.6  17.1  1323544576 false(valid-memtrack) 8.16 3.14 231104512
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-memtrack) 7.35 2.93 227463168 unknown 13.6  5.01 398446592 false(valid-memtrack) 7.22 2.80 224223232 unknown 8.54 3.28 253186048 false(valid-memtrack) 7.10 3.11 231383040 unknown 78.0  60.4  2165809152 false(valid-memtrack) 7.49 3.24 231071744 unknown 72.9  57.3  1886011392 false(valid-memtrack) 7.79 3.43 225431552 unknown 74.3  58.0  1809723392 false(valid-memtrack) 7.20 2.85 233373696 unknown 12.7  4.68 405504000 false(valid-memtrack) 7.12 2.96 233975808
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-memtrack) 9.95 3.69 250175488 unknown 50.5  27.1  1948553216 false(valid-memtrack) 9.70 3.58 253235200 unknown 9.13 3.37 265150464 false(valid-memtrack) 10.0  3.68 252035072 timeout (error (143)) 92.1  69.6  2172379136 false(valid-memtrack) 10.4  4.55 252284928 timeout (error (143)) 95.0  73.9  2167181312 false(valid-memtrack) 9.91 3.99 251715584 timeout (error (143)) 91.8  65.2  2179485696 false(valid-memtrack) 9.70 3.69 254955520 unknown 49.2  27.5  1938657280 false(valid-memtrack) 9.85 3.76 250912768
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-memtrack) 7.19 2.83 231366656 unknown 19.2  7.79 687239168 false(valid-memtrack) 7.20 2.90 232239104 unknown 7.58 2.90 248967168 false(valid-memtrack) 7.17 2.81 229146624 timeout (error (143)) 95.7  74.6  2176786432 false(valid-memtrack) 8.21 3.76 235368448 timeout (error (143)) 95.7  74.9  2151153664 false(valid-memtrack) 7.69 3.12 225910784 timeout (error (143)) 96.1  74.2  2166726656 false(valid-memtrack) 7.49 2.87 226295808 unknown 20.0  8.34 745476096 false(valid-memtrack) 7.38 2.97 224624640
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-memtrack) 8.54 3.26 238759936 unknown 10.3  3.69 308867072 false(valid-memtrack) 8.61 3.28 239484928 unknown 6.91 2.66 207491072 false(valid-memtrack) 8.62 3.26 232693760 unknown 25.6  9.52 628801536 false(valid-memtrack) 9.10 3.87 232849408 unknown 18.9  6.79 673353728 false(valid-memtrack) 8.93 3.51 240357376 unknown 17.9  6.15 674869248 false(valid-memtrack) 8.73 3.32 236838912 unknown 10.4  3.70 320253952 false(valid-memtrack) 8.61 3.24 238362624
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-memtrack) 8.30 3.21 236904448 unknown 11.3  4.04 316076032 false(valid-memtrack) 8.65 3.15 241274880 unknown 6.80 2.59 204664832 false(valid-memtrack) 8.24 3.14 238485504 unknown 22.5  8.93 583380992 false(valid-memtrack) 9.38 3.87 235057152 unknown 23.0  7.97 634437632 false(valid-memtrack) 8.84 3.61 232017920 unknown 20.8  7.19 628727808 false(valid-memtrack) 8.30 3.10 232292352 unknown 10.9  3.91 327671808 false(valid-memtrack) 8.40 3.24 240308224
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-memtrack) 7.11 2.81 229216256 error: exception 7.43 2.89 250183680 false(valid-memtrack) 7.39 2.90 232153088 error: exception 6.83 2.62 210894848 false(valid-memtrack) 7.52 2.92 226279424 error: exception 19.6  7.96 673861632 false(valid-memtrack) 8.25 3.52 229576704 error: exception 16.4  5.71 541065216 false(valid-memtrack) 7.50 3.26 233062400 error: exception 16.3  5.84 608358400 false(valid-memtrack) 7.36 2.85 233431040 error: exception 7.93 3.00 249020416 false(valid-memtrack) 7.46 2.95 230133760
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-memtrack) 7.61 2.91 229478400 unknown 22.7  8.67 752537600 false(valid-memtrack) 7.36 2.87 232648704 unknown 7.42 2.77 251977728 false(valid-memtrack) 7.40 2.91 237977600 timeout (error (143)) 92.4  73.1  1830567936 false(valid-memtrack) 7.75 3.44 235782144 timeout (error (143)) 95.4  78.2  2127564800 false(valid-memtrack) 7.43 3.10 233148416 timeout (error (143)) 95.5  77.2  2191044608 false(valid-memtrack) 7.43 2.98 235606016 unknown 22.0  8.43 736948224 false(valid-memtrack) 7.36 2.81 232013824
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-memtrack) 10.0  3.53 244121600 unknown 11.8  4.31 334913536 false(valid-memtrack) 43.2  23.0  581226496 unknown 7.44 2.68 213733376 false(valid-memtrack) 20.4  7.53 358920192 unknown 26.0  10.5  733773824 timeout (error (143)) 96.1  64.8  1736601600 unknown 21.3  7.35 704196608 timeout (false(valid-memtrack)) 91.2  61.1  1456410624 unknown 20.9  7.75 628965376 timeout (false(valid-memtrack)) 91.2  60.7  1424986112 unknown 11.8  4.23 335896576 false(valid-memtrack) 49.3  23.8  637677568
array-memsafety/diff_usafe_false-valid-deref.i false(valid-memtrack) 7.32 2.87 229298176 error: exception 8.83 3.15 272961536 false(valid-memtrack) 7.51 2.92 228257792 error: exception 7.43 2.70 250122240 false(valid-memtrack) 7.54 3.07 230801408 error: exception 18.2  8.56 470007808 false(valid-memtrack) 7.77 3.36 229871616 error: exception 15.7  5.48 462684160 false(valid-memtrack) 7.57 3.14 228061184 error: exception 13.8  4.94 497377280 false(valid-memtrack) 7.31 2.93 227389440 error: exception 8.95 3.25 266874880 false(valid-memtrack) 7.53 3.00 230334464
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-memtrack) 15.5  5.60 320933888 unknown 69.3  40.8  2185719808 false(valid-memtrack) 25.2  8.79 508354560 unknown 14.2  4.93 415735808 false(valid-memtrack) 17.4  6.26 320139264 timeout (error (143)) 90.7  73.2  2149683200 timeout (error (143)) 95.7  78.5  2148884480 timeout (error (143)) 92.3  76.4  2148646912 timeout (false(valid-memtrack)) 90.5  74.5  2151071744 timeout (error (143)) 92.3  76.8  2114482176 timeout (error (143)) 95.3  79.3  1957998592 unknown 69.3  39.9  2169356288 false(valid-memtrack) 24.4  8.36 506368000
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-memtrack) 10.6  3.95 271978496 error: exception 27.7  12.3  1149693952 false(valid-memtrack) 10.9  4.02 271675392 error: exception 8.89 3.25 252997632 false(valid-memtrack) 11.1  4.03 271319040 timeout (error (143)) 90.4  73.3  2163179520 false(valid-memtrack) 11.5  4.56 268509184 timeout (error (143)) 91.3  72.7  2172215296 false(valid-memtrack) 10.6  5.18 268234752 timeout (error (143)) 92.5  73.2  2161205248 false(valid-memtrack) 10.7  3.86 268460032 error: exception 27.1  11.5  1137487872 false(valid-memtrack) 10.7  3.97 272277504
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-memtrack) 14.5  5.39 285868032 error: exception 63.6  40.9  2177613824 false(valid-memtrack) 18.4  6.55 513097728 unknown 9.81 3.55 269762560 false(valid-memtrack) 20.1  7.38 308129792 timeout (error (143)) 91.2  66.3  2171748352 timeout (error (143)) 96.0  72.6  2118254592 timeout (error (143)) 91.3  66.8  2161815552 timeout (false(valid-memtrack)) 92.4  70.4  1996062720 timeout (error (143)) 93.0  67.3  2116399104 timeout (error (143)) 95.7  74.9  2104152064 error: exception 60.9  39.0  2171518976 false(valid-memtrack) 21.1  7.46 509333504
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-memtrack) 26.7  12.0  391426048 error: exception 11.8  4.49 346943488 false(valid-memtrack) 51.6  23.9  879181824 error: exception 7.59 2.79 229650432 false(valid-memtrack) 35.5  16.5  450674688 error: exception 23.0  9.99 1042317312 timeout (false(valid-memtrack)) 91.8  72.2  1576673280 error: exception 24.6  9.93 983678976 timeout (false(valid-memtrack)) 91.2  80.7  1736749056 error: exception 24.6  10.1  957640704 timeout (error (143)) 95.6  76.3  1521180672 error: exception 11.7  4.13 336961536 false(valid-memtrack) 53.4  25.1  971059200
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-memtrack) 23.8  10.2  377032704 error: exception 11.6  4.16 335925248 false(valid-memtrack) 62.8  33.4  1182531584 error: exception 7.53 2.80 225492992 false(valid-memtrack) 33.6  15.0  429404160 error: exception 23.9  9.28 1054846976 timeout (error (143)) 95.7  73.6  2181881856 error: exception 23.0  9.80 1007853568 timeout (error (143)) 95.6  75.7  2195816448 error: exception 25.5  10.1  1007173632 timeout (error (143)) 95.6  75.2  2167083008 error: exception 11.0  3.78 336875520 false(valid-memtrack) 61.8  33.3  1359548416
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-memtrack) 6.91 2.81 228249600 unknown 13.2  4.76 409415680 false(valid-memtrack) 7.33 2.86 227442688 unknown 7.74 2.91 250707968 false(valid-memtrack) 7.23 2.87 227311616 unknown 83.7  66.3  1939034112 false(valid-memtrack) 7.70 3.20 228368384 unknown 84.0  67.2  1953353728 false(valid-memtrack) 7.05 4.94 229855232 unknown 83.6  67.0  1989214208 false(valid-memtrack) 7.17 2.80 229187584 unknown 13.1  4.70 380207104 false(valid-memtrack) 7.28 2.85 232697856
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-memtrack) 7.29 2.82 226988032 unknown 6.58 2.57 208318464 false(valid-memtrack) 7.27 2.79 222466048 unknown 7.09 2.62 202211328 false(valid-memtrack) 7.43 2.86 230133760 unknown 6.56 2.58 209309696 false(valid-memtrack) 7.41 2.97 227848192 unknown 6.70 2.59 205918208 false(valid-memtrack) 7.41 4.48 230383616 unknown 6.69 2.54 209391616 false(valid-memtrack) 7.04 2.78 227135488 unknown 6.84 2.62 208711680 false(valid-memtrack) 7.53 2.81 232734720
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.28 3.21 234233856 unknown 30.2  13.3  1112166400 false(valid-memtrack) 8.26 3.15 236126208 unknown 8.48 3.07 253009920 false(valid-memtrack) 8.36 3.19 237355008 timeout (error (143)) 95.2  70.3  1981050880 false(valid-memtrack) 9.28 3.47 234782720 timeout (error (143)) 96.2  72.6  2062565376 false(valid-memtrack) 8.27 3.23 232357888 timeout (error (143)) 96.1  72.9  1999831040 false(valid-memtrack) 8.15 3.21 230338560 unknown 33.3  13.5  1300099072 false(valid-memtrack) 7.92 3.15 231948288
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.35 3.60 234348544 unknown 15.7  5.40 367644672 false(valid-memtrack) 9.23 3.49 237375488 unknown 8.66 3.15 252702720 false(valid-memtrack) 9.21 3.44 239292416 unknown 37.8  20.1  1533173760 false(valid-memtrack) 9.98 3.94 233680896 unknown 37.3  20.5  1314426880 false(valid-memtrack) 9.27 3.60 237379584 unknown 39.3  20.4  1369620480 false(valid-memtrack) 9.23 3.47 237957120 unknown 13.1  4.51 375189504 false(valid-memtrack) 9.35 3.56 229826560
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.64 3.63 239878144 unknown 22.0  7.72 689676288 false(valid-memtrack) 9.60 3.64 238891008 unknown 10.4  3.71 269676544 false(valid-memtrack) 9.71 3.60 239226880 timeout (error (143)) 91.2  68.4  2113253376 false(valid-memtrack) 10.4  3.88 236052480 timeout (error (143)) 91.0  70.0  2085253120 false(valid-memtrack) 9.39 3.58 236953600 unknown 89.1  70.5  2060926976 false(valid-memtrack) 9.53 3.56 239538176 unknown 21.6  8.24 693227520 false(valid-memtrack) 10.0  3.71 253648896
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.52 3.60 238063616 error: exception 8.75 3.19 251609088 false(valid-memtrack) 9.54 3.62 239079424 error: exception 7.51 2.84 227983360 false(valid-memtrack) 10.0  3.72 244461568 error: exception 13.5  4.77 415547392 false(valid-memtrack) 10.5  4.11 245805056 error: exception 14.5  5.13 422563840 false(valid-memtrack) 9.36 3.77 238747648 error: exception 14.0  4.95 416751616 false(valid-memtrack) 9.30 3.50 237965312 error: exception 8.42 3.13 251412480 false(valid-memtrack) 9.74 3.63 239009792
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.41 3.62 234024960 unknown 22.8  7.87 655417344 false(valid-memtrack) 9.31 3.51 237449216 unknown 10.2  3.61 271663104 false(valid-memtrack) 8.98 3.41 239337472 timeout (error (143)) 90.5  72.7  1990959104 false(valid-memtrack) 9.66 4.16 235708416 timeout (error (143)) 95.5  78.0  2159378432 false(valid-memtrack) 9.10 3.65 240521216 timeout (error (143)) 93.3  78.1  1950715904 false(valid-memtrack) 9.06 3.44 239865856 unknown 22.1  7.79 640688128 false(valid-memtrack) 9.21 3.52 241172480
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.4  4.03 252887040 unknown 46.1  23.1  1723932672 false(valid-memtrack) 10.4  3.81 259571712 unknown 9.17 3.37 265736192 false(valid-memtrack) 9.72 3.72 250605568 timeout (error (143)) 95.7  75.6  2177404928 false(valid-memtrack) 10.6  4.09 254074880 timeout (error (143)) 91.1  70.0  2171297792 false(valid-memtrack) 10.2  3.82 254091264 timeout (error (143)) 95.7  75.2  2175516672 false(valid-memtrack) 9.66 3.55 254922752 unknown 43.9  22.7  1743343616 false(valid-memtrack) 9.68 3.73 252010496
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.8  4.08 267575296 timeout (error (143)) 90.9  60.6  2202087424 false(valid-memtrack) 10.6  4.05 269938688 unknown 13.0  4.55 349863936 false(valid-memtrack) 10.9  4.07 270606336 timeout (error (143)) 95.8  74.4  2163544064 false(valid-memtrack) 11.1  4.32 266715136 timeout (error (143)) 95.9  78.6  2165510144 false(valid-memtrack) 10.6  3.94 273334272 timeout (error (143)) 95.9  73.0  2156773376 false(valid-memtrack) 10.7  3.86 272424960 timeout (error (143)) 91.0  58.6  2187325440 false(valid-memtrack) 10.5  3.91 269062144
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.37 3.31 230813696 error: exception 11.6  4.05 339169280 false(valid-memtrack) 8.64 3.33 237719552 error: exception 7.26 2.75 220172288 false(valid-memtrack) 8.57 3.25 230207488 error: exception 48.8  30.1  1515581440 false(valid-memtrack) 8.95 3.49 230010880 error: exception 52.0  31.8  1641676800 false(valid-memtrack) 8.37 3.29 233140224 error: exception 54.6  31.1  1475981312 false(valid-memtrack) 8.50 3.21 234905600 error: exception 13.2  4.65 340037632 false(valid-memtrack) 8.41 3.31 233070592
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 12.0  4.46 291172352 error: exception 32.6  12.4  936873984 false(valid-memtrack) 12.0  4.42 291971072 error: exception 8.02 2.93 248492032 false(valid-memtrack) 12.6  4.54 291876864 timeout (error (143)) 96.1  74.4  2159599616 false(valid-memtrack) 12.5  4.75 283684864 timeout (error (143)) 96.9  73.9  2163695616 false(valid-memtrack) 11.7  4.38 291553280 timeout (error (143)) 92.1  68.0  2172887040 false(valid-memtrack) 11.4  4.17 284528640 error: exception 27.9  11.5  989540352 false(valid-memtrack) 12.0  4.39 283717632
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.94 3.74 248233984 unknown 56.8  27.4  1704316928 false(valid-memtrack) 9.87 3.70 246009856 unknown 9.45 3.40 267177984 false(valid-memtrack) 9.92 3.66 245919744 timeout (error (143)) 95.5  77.1  1908690944 false(valid-memtrack) 9.94 3.87 247615488 timeout (error (143)) 95.6  75.9  2029682688 false(valid-memtrack) 10.3  3.77 248942592 timeout (error (143)) 95.4  77.2  1889632256 false(valid-memtrack) 9.55 3.57 251580416 unknown 60.6  29.5  1460604928 false(valid-memtrack) 9.80 3.75 244555776
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.5  3.83 263069696 error: exception 32.7  13.8  1125941248 false(valid-memtrack) 10.5  3.93 263434240 error: exception 8.66 3.17 254410752 false(valid-memtrack) 10.3  3.78 268095488 timeout (error (143)) 95.7  65.2  2196824064 false(valid-memtrack) 10.6  4.16 261873664 timeout (error (143)) 91.8  64.1  2195521536 false(valid-memtrack) 10.6  4.02 263008256 timeout (error (143)) 91.9  65.6  2184097792 false(valid-memtrack) 9.94 3.69 260296704 error: exception 34.8  14.1  1203032064 false(valid-memtrack) 10.4  3.94 263856128
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.44 3.19 230862848 unknown 16.9  5.85 413196288 false(valid-memtrack) 8.19 3.15 235151360 unknown 8.15 3.17 253374464 false(valid-memtrack) 8.18 3.18 237207552 timeout 90.6  61.0  1667588096 false(valid-memtrack) 9.12 3.70 240824320 unknown 88.6  61.3  1741705216 false(valid-memtrack) 8.38 3.29 234295296 unknown 86.9  60.3  1700352000 false(valid-memtrack) 8.13 3.05 235958272 unknown 18.0  6.25 422232064 false(valid-memtrack) 7.75 3.12 234192896
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.8  4.01 274677760 error: exception 47.8  23.1  1757077504 false(valid-memtrack) 10.8  4.00 274182144 error: exception 9.31 3.39 275107840 false(valid-memtrack) 10.9  4.09 276094976 timeout (error (143)) 93.3  68.2  2163769344 false(valid-memtrack) 11.0  4.32 270331904 timeout (error (143)) 91.0  63.6  2157604864 false(valid-memtrack) 11.4  4.31 272179200 timeout (error (143)) 95.6  69.5  2179686400 false(valid-memtrack) 11.2  4.06 276512768 error: exception 44.7  23.4  1514819584 false(valid-memtrack) 10.5  3.90 270954496
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.58 3.65 240410624 error: exception 31.6  13.2  1202438144 false(valid-memtrack) 9.95 3.68 242434048 error: exception 8.85 3.26 252694528 false(valid-memtrack) 9.99 3.86 243458048 timeout (error (143)) 93.9  67.5  2168840192 false(valid-memtrack) 10.0  3.84 241954816 timeout (error (143)) 92.7  68.5  2160881664 false(valid-memtrack) 10.0  3.69 244776960 timeout (error (143)) 94.0  67.0  2161745920 false(valid-memtrack) 9.38 3.52 244170752 error: exception 33.8  14.7  1138520064 false(valid-memtrack) 9.85 3.65 240054272
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 13.8  5.04 284852224 error: exception 43.7  18.6  1274466304 false(valid-memtrack) 32.1  11.2  691245056 unknown 12.0  4.35 345350144 false(valid-memtrack) 16.0  6.18 312127488 timeout (error (143)) 96.1  71.6  2021097472 timeout (false(valid-memtrack)) 92.2  62.7  1492398080 timeout (error (143)) 96.0  73.7  2172813312 timeout (error (143)) 96.1  70.9  1792106496 timeout (error (143)) 96.1  72.2  1978978304 timeout (error (143)) 95.4  68.0  1775771648 error: exception 38.5  17.7  1296232448 false(valid-memtrack) 31.8  11.1  649297920
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.0  3.82 262561792 error: exception 36.0  14.4  1224806400 false(valid-memtrack) 10.5  3.89 259473408 error: exception 8.69 3.16 251334656 false(valid-memtrack) 10.6  3.94 264368128 timeout (error (143)) 93.1  67.2  2160812032 false(valid-memtrack) 11.1  4.42 260165632 timeout (error (143)) 92.2  62.6  2182029312 false(valid-memtrack) 11.0  4.19 264744960 timeout (error (143)) 97.3  71.6  2166788096 false(valid-memtrack) 10.5  4.03 261750784 error: exception 32.6  14.2  1196888064 false(valid-memtrack) 10.7  4.00 260177920
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.5  3.86 266510336 error: exception 34.2  14.6  1116377088 false(valid-memtrack) 11.5  4.12 269561856 error: exception 9.02 3.27 254238720 false(valid-memtrack) 10.8  4.01 271843328 timeout (error (143)) 96.7  65.0  2183639040 false(valid-memtrack) 11.6  4.66 265052160 timeout (error (143)) 95.4  71.8  2163404800 false(valid-memtrack) 11.3  4.35 272076800 timeout (error (143)) 95.7  69.5  2055491584 false(valid-memtrack) 11.1  4.05 267948032 error: exception 38.7  16.0  1254498304 false(valid-memtrack) 10.8  4.06 262922240
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 14.1  5.10 293662720 error: exception 22.1  7.91 654192640 false(valid-memtrack) 26.5  8.90 506871808 error: exception 9.22 3.34 268369920 false(valid-memtrack) 16.7  6.10 327942144 timeout (error (143)) 96.2  81.0  1801265152 timeout (false(valid-memtrack)) 95.7  72.2  1660899328 timeout (error (143)) 95.3  79.9  2023366656 timeout (false(valid-memtrack)) 92.1  71.7  1682153472 timeout (error (143)) 95.3  80.0  1988640768 timeout (false(valid-memtrack)) 93.1  71.1  1804038144 error: exception 26.2  8.97 702640128 false(valid-memtrack) 26.1  8.90 476299264
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.52 3.27 235462656 error: exception 12.6  4.46 349577216 false(valid-memtrack) 8.85 3.46 232980480 error: exception 8.62 3.20 250994688 false(valid-memtrack) 8.91 3.46 235896832 error: exception 25.6  11.7  1057882112 false(valid-memtrack) 8.96 3.60 238129152 error: exception 27.6  12.0  1059799040 false(valid-memtrack) 8.50 3.29 235659264 error: exception 27.5  11.9  993730560 false(valid-memtrack) 8.34 3.21 236478464 error: exception 13.0  4.54 334581760 false(valid-memtrack) 8.83 3.35 230526976
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.35 3.23 231313408 unknown 24.8  8.96 704495616 false(valid-memtrack) 8.49 3.20 231239680 unknown 9.42 3.34 274141184 false(valid-memtrack) 8.47 3.49 233156608 timeout (error (143)) 92.6  76.2  2087129088 false(valid-memtrack) 8.88 3.45 229707776 timeout (error (143)) 93.4  77.0  2148630528 false(valid-memtrack) 8.38 3.32 232263680 timeout (error (143)) 93.4  76.8  2045075456 false(valid-memtrack) 8.46 3.16 233824256 unknown 23.3  8.55 743895040 false(valid-memtrack) 9.00 3.29 233848832
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 17.3  6.46 317480960 error: exception 39.4  19.2  1725235200 false(valid-memtrack) 48.1  21.3  1176834048 error: exception 10.0  3.59 266747904 false(valid-memtrack) 20.5  7.86 357371904 timeout (error (143)) 91.0  70.7  2159857664 timeout (false(valid-memtrack)) 91.8  65.9  2186223616 timeout (error (143)) 92.0  73.8  2168418304 timeout (false(valid-memtrack)) 90.5  64.6  1873047552 timeout (error (143)) 91.5  71.7  2164805632 timeout (false(valid-memtrack)) 90.4  65.2  2190991360 error: exception 38.8  19.6  1622253568 false(valid-memtrack) 46.3  20.9  1258696704
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 15.2  5.56 299233280 timeout (error (143)) 90.9  69.5  2195464192 timeout (false(valid-memtrack)) 92.8  62.2  1288237056 unknown 9.82 3.50 267829248 false(valid-memtrack) 20.6  7.40 356675584 timeout (error (143)) 90.9  70.4  2159607808 timeout (false(valid-memtrack)) 91.9  59.9  2081136640 timeout (error (143)) 92.2  72.1  2173988864 timeout (false(valid-memtrack)) 90.7  62.5  2092515328 timeout (error (143)) 91.7  69.8  2173825024 timeout (false(valid-memtrack)) 91.1  60.1  1866137600 timeout (error (143)) 91.2  69.4  2196979712 timeout (false(valid-memtrack)) 90.4  61.7  1384374272
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.29 3.53 237146112 unknown 34.3  11.9  961077248 false(valid-memtrack) 9.36 3.49 237015040 unknown 8.90 3.18 254918656 false(valid-memtrack) 9.33 3.47 237420544 timeout (error (143)) 93.4  67.7  2044461056 false(valid-memtrack) 9.88 3.74 236367872 timeout (error (143)) 95.6  68.9  2193874944 false(valid-memtrack) 9.65 3.75 243298304 timeout (error (143)) 95.3  67.7  1970708480 false(valid-memtrack) 9.09 3.45 238985216 unknown 29.7  11.6  856842240 false(valid-memtrack) 9.27 3.44 233558016
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.85 3.70 251125760 unknown 18.0  6.15 416292864 false(valid-memtrack) 9.60 3.65 251576320 unknown 9.13 3.28 259407872 false(valid-memtrack) 9.51 3.66 255053824 unknown 51.2  28.7  1186078720 false(valid-memtrack) 10.0  3.80 255479808 unknown 52.5  29.6  1336950784 false(valid-memtrack) 9.78 3.76 249966592 unknown 51.4  28.5  1551826944 false(valid-memtrack) 9.62 3.61 255180800 unknown 15.9  5.51 410558464 false(valid-memtrack) 9.68 3.60 251469824
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.58 3.69 251359232 unknown 17.3  5.83 417382400 false(valid-memtrack) 9.36 3.55 246493184 unknown 8.96 3.31 265240576 false(valid-memtrack) 9.22 3.57 251256832 unknown 53.4  29.6  1393553408 false(valid-memtrack) 10.4  4.33 249167872 unknown 53.4  29.5  1281662976 false(valid-memtrack) 10.2  4.03 250085376 unknown 51.2  28.7  1366515712 false(valid-memtrack) 9.56 3.64 250093568 unknown 17.8  6.15 448655360 false(valid-memtrack) 9.29 3.55 245399552
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.73 3.65 243597312 unknown 25.3  9.02 800034816 false(valid-memtrack) 9.66 3.63 247435264 unknown 9.30 3.26 266498048 false(valid-memtrack) 9.53 3.69 243572736 timeout (error (143)) 91.1  67.6  1702572032 false(valid-memtrack) 10.3  4.27 245604352 timeout (error (143)) 91.3  65.9  1846484992 false(valid-memtrack) 9.86 3.68 242905088 timeout (error (143)) 92.4  68.7  1861595136 false(valid-memtrack) 9.83 3.57 242921472 unknown 24.1  8.88 718774272 false(valid-memtrack) 9.65 3.61 246026240
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.64 3.54 245215232 unknown 62.1  32.1  1787318272 false(valid-memtrack) 9.04 3.41 242356224 unknown 10.1  3.53 281702400 false(valid-memtrack) 9.41 3.55 245751808 timeout (error (143)) 95.9  74.3  2154467328 false(valid-memtrack) 10.1  4.01 242352128 timeout (error (143)) 95.4  72.6  2208555008 false(valid-memtrack) 10.3  3.95 242458624 timeout (error (143)) 96.0  73.6  2156253184 false(valid-memtrack) 9.77 3.66 242311168 unknown 58.2  32.4  1890656256 false(valid-memtrack) 9.25 3.47 249569280
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 14.9  5.44 298967040 timeout (error (143)) 92.1  65.0  2190299136 false(valid-memtrack) 14.8  5.40 305860608 unknown 12.5  4.40 359419904 false(valid-memtrack) 15.1  5.53 308051968 timeout (error (143)) 96.1  72.7  2170003456 false(valid-memtrack) 16.3  6.42 300298240 timeout (error (143)) 96.0  73.8  2163367936 false(valid-memtrack) 14.9  5.79 307929088 timeout (error (143)) 96.1  72.8  2171559936 false(valid-memtrack) 15.4  5.61 298749952 timeout (error (143)) 91.2  62.9  2195439616 false(valid-memtrack) 14.9  5.37 305913856
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.5  4.02 275451904 timeout (error (143)) 91.4  56.2  2187083776 false(valid-memtrack) 10.3  3.84 279470080 unknown 13.9  4.80 350609408 false(valid-memtrack) 11.0  4.15 277315584 timeout (error (143)) 95.8  76.2  2166415360 false(valid-memtrack) 12.9  5.62 275177472 timeout (error (143)) 95.8  74.7  2177392640 false(valid-memtrack) 11.2  4.43 272015360 timeout (error (143)) 95.9  73.3  2159570944 false(valid-memtrack) 11.0  4.13 273473536 timeout (error (143)) 90.9  60.8  2194055168 false(valid-memtrack) 10.4  3.87 273559552
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.1  3.77 257544192 unknown 51.4  22.9  1496981504 false(valid-memtrack) 9.54 3.59 257458176 unknown 10.1  3.59 297365504 false(valid-memtrack) 9.82 3.64 252637184 timeout (error (143)) 94.8  69.5  2174959616 false(valid-memtrack) 10.1  4.18 255635456 timeout (error (143)) 95.9  72.2  2171703296 false(valid-memtrack) 10.1  3.89 254164992 timeout (error (143)) 92.8  70.0  2156486656 false(valid-memtrack) 9.88 3.79 254705664 unknown 49.5  21.5  1490771968 false(valid-memtrack) 9.78 3.79 256557056
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.60 3.61 244891648 unknown 55.4  29.6  1616568320 false(valid-memtrack) 9.08 3.44 250126336 unknown 9.75 3.44 280621056 false(valid-memtrack) 9.36 3.50 245972992 timeout (error (143)) 95.8  73.8  2016043008 false(valid-memtrack) 10.2  3.92 246157312 timeout (error (143)) 95.6  75.6  2109239296 false(valid-memtrack) 9.91 3.82 242642944 timeout (error (143)) 95.6  75.9  1963245568 false(valid-memtrack) 9.53 3.58 244817920 unknown 51.7  29.9  1596338176 false(valid-memtrack) 9.04 3.44 249323520
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.4  3.86 256544768 unknown 48.4  21.7  1362632704 false(valid-memtrack) 9.75 3.59 264781824 unknown 12.5  4.33 348856320 false(valid-memtrack) 10.6  4.01 254648320 timeout (error (143)) 96.5  73.3  2165563392 false(valid-memtrack) 11.0  4.43 258777088 timeout (error (143)) 96.1  75.5  2167173120 false(valid-memtrack) 10.4  3.95 256143360 timeout (error (143)) 96.1  76.9  2162466816 false(valid-memtrack) 10.2  3.78 259592192 unknown 46.8  20.7  1563742208 false(valid-memtrack) 9.96 3.70 259424256
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 12.4  4.50 283365376 timeout (error (143)) 91.5  65.7  2183442432 false(valid-memtrack) 11.8  4.24 283312128 unknown 12.7  4.38 348098560 false(valid-memtrack) 12.8  4.53 285982720 timeout (error (143)) 95.2  69.7  2166620160 false(valid-memtrack) 13.8  5.54 282673152 timeout (error (143)) 92.3  64.7  2178699264 false(valid-memtrack) 13.1  4.90 288083968 timeout (error (143)) 91.1  63.1  2168647680 false(valid-memtrack) 12.2  4.55 292421632 timeout (error (143)) 90.5  63.4  2188697600 false(valid-memtrack) 12.5  4.44 275247104
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.43 3.24 242053120 unknown 17.4  6.02 429174784 false(valid-memtrack) 8.40 3.21 228995072 unknown 8.25 3.05 253935616 false(valid-memtrack) 8.52 3.26 235528192 unknown 82.9  58.2  1740611584 false(valid-memtrack) 9.00 3.71 231165952 unknown 89.0  63.4  1813319680 false(valid-memtrack) 8.29 3.30 233480192 unknown 82.0  58.4  1840807936 false(valid-memtrack) 8.24 3.21 234536960 unknown 16.9  5.85 425508864 false(valid-memtrack) 8.18 3.22 229416960
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.4  3.85 266846208 timeout (error (143)) 91.4  56.3  2200162304 false(valid-memtrack) 11.0  4.04 271003648 unknown 13.9  4.85 425246720 false(valid-memtrack) 10.8  3.99 271552512 timeout (error (143)) 90.6  67.5  2158768128 false(valid-memtrack) 11.5  4.59 271122432 timeout (error (143)) 93.3  69.9  2154037248 false(valid-memtrack) 10.7  4.21 269742080 timeout (error (143)) 91.4  70.0  2168942592 false(valid-memtrack) 10.6  4.02 267096064 timeout (error (143)) 91.3  57.1  2186412032 false(valid-memtrack) 10.4  3.91 267132928
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.13 3.48 241451008 unknown 51.8  26.8  1659998208 false(valid-memtrack) 9.43 3.54 238280704 unknown 12.2  4.13 327053312 false(valid-memtrack) 9.45 3.57 240291840 timeout (error (143)) 95.4  70.9  2176843776 false(valid-memtrack) 10.7  4.63 242581504 timeout (error (143)) 95.9  75.2  2166657024 false(valid-memtrack) 9.63 3.76 238886912 timeout (error (143)) 96.0  73.6  2151739392 false(valid-memtrack) 9.03 3.46 245518336 unknown 55.8  27.7  1720430592 false(valid-memtrack) 9.43 3.52 240353280
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.4  4.27 279375872 unknown 65.3  41.1  2139824128 false(valid-memtrack) 11.2  4.26 281907200 unknown 11.0  3.94 330219520 false(valid-memtrack) 11.6  4.49 282570752 timeout (error (143)) 95.6  75.5  2105720832 false(valid-memtrack) 11.9  4.77 284422144 timeout (error (143)) 95.7  74.5  1990578176 false(valid-memtrack) 11.2  4.44 282238976 timeout (error (143)) 95.5  75.9  2056056832 false(valid-memtrack) 11.7  4.36 281505792 unknown 75.7  42.8  2095329280 false(valid-memtrack) 11.4  4.35 277991424
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.2  4.16 283250688 error: exception 14.6  5.06 483721216 false(valid-memtrack) 11.7  4.27 273858560 error: exception 7.72 2.92 249143296 false(valid-memtrack) 11.4  4.19 279117824 error: exception 66.3  38.8  1553915904 false(valid-memtrack) 12.6  5.16 274173952 error: exception 60.0  39.0  1519276032 false(valid-memtrack) 11.7  4.47 273698816 error: exception 64.6  37.9  1843752960 false(valid-memtrack) 11.7  4.23 272429056 error: exception 14.7  5.06 444006400 false(valid-memtrack) 11.2  4.18 276021248
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.88 3.70 255098880 unknown 46.1  23.9  1577340928 false(valid-memtrack) 10.3  3.78 253595648 unknown 11.9  4.24 353030144 false(valid-memtrack) 11.0  4.11 259813376 timeout (error (143)) 92.1  69.7  2161336320 false(valid-memtrack) 10.7  4.58 249073664 timeout (error (143)) 90.6  65.3  2127900672 false(valid-memtrack) 10.9  4.22 263585792 timeout (error (143)) 93.8  64.8  2175750144 false(valid-memtrack) 9.94 3.74 255672320 unknown 49.5  24.9  1536180224 false(valid-memtrack) 10.0  3.83 253321216
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.90 3.69 257024000 unknown 51.2  21.4  1536241664 false(valid-memtrack) 10.2  3.81 260186112 unknown 11.5  4.05 325046272 false(valid-memtrack) 10.7  3.87 255348736 timeout (error (143)) 94.3  71.4  2164674560 false(valid-memtrack) 11.1  4.44 254107648 timeout (error (143)) 96.2  73.2  2193563648 false(valid-memtrack) 10.6  3.93 254730240 timeout (error (143)) 94.3  72.5  2147532800 false(valid-memtrack) 10.1  3.83 257454080 unknown 49.5  21.5  1534140416 false(valid-memtrack) 10.2  3.83 253239296
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.6  3.91 264953856 unknown 81.5  47.8  2078646272 false(valid-memtrack) 10.7  3.89 261738496 unknown 23.2  8.12 633716736 false(valid-memtrack) 10.2  4.00 257851392 timeout (error (143)) 91.7  68.7  2163773440 false(valid-memtrack) 10.9  4.09 262385664 timeout (error (143)) 92.5  71.1  2162098176 false(valid-memtrack) 10.3  3.81 256995328 timeout (error (143)) 91.3  67.9  2158137344 false(valid-memtrack) 10.4  3.90 257454080 unknown 77.8  47.6  2160766976 false(valid-memtrack) 10.7  3.82 258625536
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.11 3.14 230809600 unknown 19.0  6.56 506585088 false(valid-memtrack) 7.91 3.09 235286528 unknown 8.99 3.25 254586880 false(valid-memtrack) 7.94 3.05 229896192 timeout (error (143)) 91.6  67.0  1763966976 false(valid-memtrack) 9.11 3.91 236363776 timeout (error (143)) 94.9  68.0  1700220928 false(valid-memtrack) 8.34 3.23 240603136 timeout (error (143)) 92.2  68.7  1797144576 false(valid-memtrack) 8.03 3.15 231104512 unknown 18.7  6.46 515485696 false(valid-memtrack) 8.19 3.16 233959424
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.70 3.25 234614784 unknown 22.0  7.81 725241856 false(valid-memtrack) 8.25 3.22 232755200 unknown 10.6  3.84 277413888 false(valid-memtrack) 8.59 3.18 229982208 timeout (error (143)) 91.7  73.2  1970659328 false(valid-memtrack) 9.22 3.81 231555072 timeout (error (143)) 91.3  73.7  2087739392 false(valid-memtrack) 8.86 3.51 232407040 timeout (error (143)) 95.2  77.0  1980043264 false(valid-memtrack) 8.39 3.23 232849408 unknown 21.3  7.84 623984640 false(valid-memtrack) 8.73 3.28 232005632
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.27 3.52 236892160 unknown 9.44 3.39 271392768 false(valid-memtrack) 9.87 3.58 235360256 unknown 8.13 3.15 250507264 false(valid-memtrack) 9.29 3.50 239325184 unknown 16.7  5.75 457080832 false(valid-memtrack) 9.81 4.00 237420544 unknown 16.5  5.79 499118080 false(valid-memtrack) 9.48 3.62 234577920 unknown 16.3  5.66 498020352 false(valid-memtrack) 9.14 3.43 238383104 unknown 8.98 3.28 267014144 false(valid-memtrack) 9.29 3.44 239652864
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.47 3.63 236040192 unknown 16.2  5.62 406552576 false(valid-memtrack) 9.35 3.53 234942464 unknown 8.93 3.34 253919232 false(valid-memtrack) 9.18 3.57 233267200 unknown 40.8  22.3  1487577088 false(valid-memtrack) 10.2  4.17 241754112 unknown 40.7  23.3  1442398208 false(valid-memtrack) 9.53 3.73 237412352 unknown 39.3  22.0  1465655296 false(valid-memtrack) 9.52 3.55 234020864 unknown 14.2  4.86 432381952 false(valid-memtrack) 9.36 3.53 242692096
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.56 3.29 236228608 unknown 45.3  19.2  1214586880 false(valid-memtrack) 8.86 3.31 236503040 unknown 9.65 3.51 274653184 false(valid-memtrack) 8.50 3.25 235442176 timeout (error (143)) 92.1  61.1  1935015936 false(valid-memtrack) 9.70 4.21 232980480 timeout (error (143)) 95.5  69.3  2054410240 false(valid-memtrack) 9.09 3.38 233996288 timeout (error (143)) 94.9  73.0  1686585344 false(valid-memtrack) 8.61 3.16 239890432 unknown 39.3  18.2  1367973888 false(valid-memtrack) 8.60 3.29 234958848
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.50 3.57 245968896 error: exception 28.9  11.5  1098948608 false(valid-memtrack) 10.1  3.74 240664576 error: exception 7.80 2.87 253054976 false(valid-memtrack) 9.67 3.60 244994048 timeout (error (143)) 91.1  69.0  2161901568 false(valid-memtrack) 10.8  4.28 243564544 timeout (error (143)) 95.9  74.1  2161213440 false(valid-memtrack) 10.3  3.88 242987008 timeout (error (143)) 93.9  67.1  2169655296 false(valid-memtrack) 9.54 3.55 243748864 error: exception 29.4  10.9  1154891776 false(valid-memtrack) 9.76 3.67 247685120
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.5  3.85 259641344 error: exception 32.3  14.5  1170612224 false(valid-memtrack) 10.2  3.78 257769472 error: exception 8.68 3.15 258232320 false(valid-memtrack) 10.3  3.82 258703360 timeout (error (143)) 94.8  73.7  2158751744 false(valid-memtrack) 10.9  4.45 254742528 timeout (error (143)) 92.7  70.3  2184290304 false(valid-memtrack) 10.7  3.98 257638400 timeout (error (143)) 92.6  67.7  2185834496 false(valid-memtrack) 10.3  3.79 258985984 error: exception 30.1  14.1  1205420032 false(valid-memtrack) 10.1  3.77 257806336
array-examples/relax_false-valid-deref.i false(valid-memtrack) 11.0  4.11 275415040 error: exception 8.78 3.21 250298368 false(valid-memtrack) 10.3  4.10 272154624 error: exception 7.70 2.88 217837568 false(valid-memtrack) 11.2  4.12 274190336 error: exception 20.1  7.97 708763648 false(valid-memtrack) 11.3  4.60 269094912 error: exception 20.1  7.53 809107456 false(valid-memtrack) 11.4  4.34 269066240 error: exception 19.2  6.98 828338176 false(valid-memtrack) 11.0  4.12 272666624 error: exception 9.14 3.43 249470976 false(valid-memtrack) 10.6  4.04 271667200
array-examples/sanfoundry_24_false-valid-deref.i true 5.80 2.36 191102976 true 6.81 2.66 198021120 true 5.79 2.32 191832064 true 6.78 2.68 209903616 true 5.84 2.32 196247552 true 6.59 2.54 209100800 true 6.36 2.80 195207168 true 6.83 2.67 209256448 true 5.67 2.41 184016896 true 6.61 2.58 197582848 true 5.73 2.36 190341120 true 6.58 2.55 195919872 true 5.74 2.34 188338176
array-examples/standard_strcpy_false-valid-deref_ground.i true 5.43 2.23 187334656 true 7.62 2.89 251310080 true 5.77 2.38 188596224 true 6.75 2.54 214982656 true 5.76 2.30 191033344 true 7.93 2.93 248455168 true 6.04 2.77 187256832 true 7.80 3.11 244727808 true 5.80 2.41 187961344 true 8.01 2.90 246185984 true 5.61 2.30 187703296 true 7.57 2.84 242966528 true 5.57 2.30 186695680
array-examples/standard_strcpy_original_false-valid-deref.i true 5.44 2.16 190144512 true 7.50 2.77 242958336 true 5.60 2.22 190365696 true 6.97 2.72 212570112 true 5.53 2.21 189620224 true 7.94 2.85 246616064 true 6.51 2.79 192696320 true 8.49 3.19 250535936 true 5.62 2.32 190758912 true 7.71 2.91 251068416 true 5.69 2.30 193953792 true 7.57 2.91 247455744 true 5.68 2.30 192110592
memsafety/960521-1_false-valid-deref.i timeout (false(valid-memtrack)) 93.0  73.4  533700608 unknown 28.2  10.8  801030144 timeout (error (143)) 96.4  58.2  973828096 unknown 8.21 3.19 250843136 timeout (error (143)) 96.3  70.7  631033856 timeout (error (143)) 95.9  74.6  1794125824 timeout (error (143)) 96.1  70.0  1998524416 timeout (error (143)) 95.7  76.9  1793159168 timeout (false(valid-memtrack)) 93.9  71.9  1791909888 timeout (error (143)) 95.6  77.5  1818726400 timeout (error (143)) 96.1  75.1  1738448896 unknown 32.1  11.6  836489216 timeout (error (143)) 95.5  56.4  875991040
memsafety/test-0137_false-valid-deref.i false(valid-memtrack) 14.8  5.34 326836224 unknown 16.1  5.74 433967104 false(valid-memtrack) 14.9  5.37 314097664 unknown 15.7  5.41 482426880 false(valid-memtrack) 14.7  5.36 297652224 timeout (error (143)) 95.2  77.5  1912012800 false(valid-memtrack) 16.4  6.34 304574464 timeout (error (143)) 95.3  76.0  1850040320 false(valid-memtrack) 15.8  6.06 311955456 timeout (error (143)) 95.4  74.4  1791496192 false(valid-memtrack) 15.0  5.51 312135680 unknown 15.7  5.55 415678464 false(valid-memtrack) 14.8  5.40 300015616
memsafety/test-0235_false-valid-deref.i false(valid-memtrack) 38.7  13.5  815706112 unknown 11.4  4.18 311701504 timeout (false(valid-memtrack)) 91.0  59.7  1168175104 timeout (error (143)) 91.1  54.8  2662834176 timeout (error (143)) 93.5  43.0  1378144256 unknown 39.9  21.9  1845186560 timeout (error (143)) 97.5  62.9  2204905472 unknown 35.1  19.5  1712914432 timeout (error (143)) 97.3  60.2  2211700736 unknown 35.3  19.1  1911787520 timeout (error (143)) 93.1  61.8  2219675648 unknown 11.4  4.10 309317632 timeout (false(valid-memtrack)) 92.4  61.8  1122078720
memsafety/960521-1_false-valid-free.i false(valid-memtrack) 9.05 3.37 239534080 unknown 26.7  10.1  778571776 false(valid-memtrack) 9.05 3.38 240009216 unknown 8.70 3.19 253706240 false(valid-memtrack) 9.58 3.50 243920896 timeout (error (143)) 92.7  73.8  1752158208 false(valid-memtrack) 10.2  4.02 239468544 timeout (error (143)) 95.9  74.9  1796988928 false(valid-memtrack) 9.81 3.54 245825536 timeout (error (143)) 95.8  77.3  1806036992 false(valid-memtrack) 9.68 3.55 239083520 unknown 28.2  9.83 891052032 false(valid-memtrack) 9.10 3.40 241340416
memsafety/test-0158_false-valid-free.i false(valid-memtrack) 9.93 3.66 263389184 unknown 43.5  27.6  1956528128 false(valid-memtrack) 9.94 3.63 264011776 unknown 7.80 2.92 238993408 false(valid-memtrack) 9.97 3.69 254365696 timeout (error (143)) 95.8  75.2  2189168640 false(valid-memtrack) 11.6  5.10 253415424 timeout (error (143)) 96.0  72.6  2180055040 false(valid-memtrack) 10.4  4.04 259391488 timeout (error (143)) 95.9  72.7  2181947392 false(valid-memtrack) 9.64 3.57 252448768 error (13) 4.08 1.72 166440960 false(valid-memtrack) 9.47 3.58 263065600
memsafety/test-0232_false-valid-free.i false(valid-memtrack) 11.8  4.31 291463168 unknown 42.9  25.4  1691168768 false(valid-memtrack) 12.0  4.36 286322688 unknown 9.64 3.45 278110208 false(valid-memtrack) 11.6  4.24 292257792 timeout (error (143)) 95.5  68.7  2185973760 false(valid-memtrack) 12.8  4.89 292519936 timeout (error (143)) 95.7  75.1  2148175872 false(valid-memtrack) 12.1  4.47 286478336 timeout (error (143)) 95.6  75.2  2175971328 false(valid-memtrack) 12.1  4.37 284901376 unknown 45.6  26.0  1688895488 false(valid-memtrack) 11.2  4.09 282505216
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 45.7  15.9  538841088 timeout (error (143)) 91.3  63.7  2208342016 timeout (false(valid-memtrack)) 91.6  43.8  1542037504 error: exception 9.77 3.47 259538944 false(valid-memtrack) 56.5  22.9  611241984 timeout (error (143)) 96.0  73.7  2192203776 timeout (error (143)) 96.2  71.1  2186543104 timeout (error (143)) 96.0  73.4  2194636800 timeout (error (143)) 96.2  71.7  2206179328 timeout (error (143)) 96.0  72.8  2197766144 timeout (error (143)) 96.0  73.4  2211729408 timeout (error (143)) 90.8  64.3  2199891968 timeout (false(valid-memtrack)) 91.3  44.2  1547845632
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 96.3  60.2  617803776 unknown 9.81 3.55 275496960 timeout (error (143)) 96.3  60.9  694661120 unknown 8.25 2.92 255905792 timeout (error (143)) 96.2  63.4  630231040 unknown 18.0  8.99 560611328 timeout (false(valid-memtrack)) 91.2  52.8  921034752 unknown 18.7  8.13 587591680 timeout (false(valid-memtrack)) 91.3  46.0  1093545984 unknown 17.2  6.44 617140224 timeout (error (143)) 96.0  55.7  1022685184 unknown 10.1  3.55 266752000 timeout (error (143)) 96.2  60.2  651386880
memsafety/lockfree-3.1_false-valid-memtrack.i timeout (false(valid-memtrack)) 91.1  46.4  1833472000 error: exception 18.5  6.54 623566848 false(valid-memtrack) 13.3  4.72 295641088 error: exception 8.04 2.90 250224640 false(valid-memtrack) 13.3  4.72 294510592 timeout (error (143)) 96.1  71.4  2191351808 false(valid-memtrack) 14.4  5.18 288014336 timeout (error (143)) 96.0  72.4  2184306688 false(valid-memtrack) 13.1  4.67 293355520 timeout (error (143)) 95.8  73.6  2192605184 false(valid-memtrack) 13.2  4.65 288153600 error: exception 18.1  6.21 687083520 false(valid-memtrack) 13.7  4.75 286867456
memsafety/lockfree-3.2_false-valid-memtrack.i timeout (false(valid-memtrack)) 91.5  46.4  1568174080 error: exception 18.9  6.47 688173056 false(valid-memtrack) 13.9  4.74 291278848 error: exception 7.86 2.88 256180224 false(valid-memtrack) 13.8  4.78 295485440 timeout (error (143)) 96.1  72.5  2181468160 false(valid-memtrack) 15.4  5.59 300249088 timeout (error (143)) 95.9  73.9  2198876160 false(valid-memtrack) 13.7  4.87 286441472 timeout (error (143)) 95.7  75.2  2189885440 false(valid-memtrack) 13.7  4.77 287567872 error: exception 19.1  6.82 659488768 false(valid-memtrack) 13.7  4.74 286134272
memsafety/lockfree-3.3_false-valid-memtrack.i timeout (false(valid-memtrack)) 91.3  44.2  1853919232 error: exception 24.7  8.59 926666752 false(valid-memtrack) 24.7  9.59 651894784 error: exception 8.57 3.12 253239296 false(valid-memtrack) 13.3  4.69 292331520 timeout (error (143)) 95.9  74.5  2206466048 timeout (error (143)) 97.1  72.1  2201309184 timeout (error (143)) 95.9  74.8  2205601792 timeout (error (143)) 95.5  74.7  2192371712 timeout (error (143)) 96.0  72.2  2192793600 timeout (error (143)) 96.4  73.9  2171195392 error: exception 23.1  8.50 823201792 false(valid-memtrack) 26.1  9.51 727834624
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.8  4.36 280829952 unknown 12.2  4.24 330403840 false(valid-memtrack) 11.0  4.25 279691264 unknown 7.95 2.91 253956096 false(valid-memtrack) 10.9  4.05 282750976 unknown 63.7  42.3  2148524032 false(valid-memtrack) 13.1  5.72 293130240 unknown 62.6  41.1  2151002112 false(valid-memtrack) 11.3  4.33 280154112 unknown 68.8  41.1  2177585152 false(valid-memtrack) 11.4  4.36 284672000 unknown 11.2  3.98 329543680 false(valid-memtrack) 11.5  4.33 285925376
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 20.2  6.91 373612544 timeout (error (143)) 95.7  75.5  2156847104 timeout (error (143)) 95.7  74.7  2179268608 unknown 13.7  4.82 364326912 false(valid-memtrack) 86.0  39.4  1061314560 timeout (error (143)) 96.1  71.4  2164539392 timeout (error (143)) 95.3  69.4  1924624384 timeout (error (143)) 96.0  72.9  2169016320 timeout (error (143)) 95.6  66.5  2013069312 timeout (error (143)) 96.1  71.6  2163253248 timeout (error (143)) 95.4  68.5  2084876288 timeout (error (143)) 95.5  76.8  2177941504 timeout (error (143)) 96.0  71.9  2114080768
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.15 3.14 237547520 unknown 24.1  8.82 752103424 false(valid-memtrack) 8.65 3.31 239407104 unknown 6.16 2.50 205873152 false(valid-memtrack) 8.57 3.23 242196480 timeout (error (143)) 95.9  70.6  2175873024 false(valid-memtrack) 8.62 3.36 240132096 timeout (error (143)) 95.3  71.8  2186059776 false(valid-memtrack) 8.51 3.20 243994624 timeout (error (143)) 95.6  69.1  2175262720 false(valid-memtrack) 8.09 3.07 241246208 unknown 21.1  8.22 790593536 false(valid-memtrack) 8.64 3.28 241668096
memsafety/test-0220_false-valid-memtrack.i error: exception 5.48 2.12 178356224 error: exception 5.25 2.09 180322304 error: exception 5.74 2.24 179478528 error: exception 5.39 2.05 182980608 error: exception 5.70 2.20 180834304 error: exception 5.48 2.27 182448128 error: exception 5.78 2.35 179322880 error: exception 5.48 3.14 188555264 error: exception 5.51 2.22 179773440 error: exception 5.56 2.13 178466816 error: exception 5.55 2.16 179523584 error: exception 5.42 2.04 181026816 error: exception 5.79 2.34 185528320
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 13.6  5.19 281649152 unknown 48.4  26.8  1797644288 false(valid-memtrack) 12.5  4.76 280027136 unknown 8.28 3.00 258793472 false(valid-memtrack) 12.9  4.88 281210880 timeout (error (143)) 95.9  74.6  2137509888 false(valid-memtrack) 14.5  5.82 280961024 timeout (error (143)) 95.6  75.7  2163564544 false(valid-memtrack) 13.1  4.92 287809536 timeout (error (143)) 95.5  76.6  2157715456 false(valid-memtrack) 13.2  5.05 282591232 unknown 46.2  25.9  1714884608 false(valid-memtrack) 13.7  5.15 283422720
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 32.2  11.5  567861248 unknown 11.0  3.92 310411264 timeout (false(valid-memtrack)) 92.8  64.7  990113792 error: exception 19.3  6.51 495099904 timeout (error (143)) 93.0  47.8  1309851648 unknown 50.9  30.9  2151952384 timeout (error (143)) 102    66.5  2192080896 unknown 42.8  26.8  1866215424 timeout (error (143)) 95.5  65.4  2208600064 unknown 42.6  25.5  1932251136 timeout (error (143)) 96.0  63.3  2205122560 unknown 11.2  3.96 329150464 timeout (false(valid-memtrack)) 92.8  66.1  1030406144
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 39.5  13.8  820658176 unknown 11.4  3.99 328724480 timeout (false(valid-memtrack)) 92.4  61.7  1402814464 error: exception 76.4  44.9  2605932544 timeout (error (143)) 91.5  42.5  1362100224 unknown 45.7  26.4  2196869120 timeout (error (143)) 98.7  57.7  2253144064 unknown 38.7  20.7  1603522560 timeout (error (143)) 96.3  57.9  2249703424 unknown 40.3  20.4  2025824256 timeout (error (143)) 96.0  58.3  2224857088 unknown 11.7  4.22 317485056 timeout (false(valid-memtrack)) 91.0  61.2  1374285824
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 95.9  74.4  521850880 unknown 28.7  10.9  825966592 timeout (error (143)) 96.2  59.6  1026105344 unknown 8.55 3.06 251678720 timeout (error (143)) 96.3  71.0  617582592 timeout (error (143)) 95.8  73.4  2153779200 timeout (error (143)) 95.9  72.4  1664634880 timeout (error (143)) 91.0  69.3  1764478976 timeout (false(valid-memtrack)) 91.6  66.2  1642315776 timeout (error (143)) 95.8  76.6  2003341312 timeout (false(valid-memtrack)) 92.5  69.4  1605877760 unknown 25.3  10.2  777932800 timeout (error (143)) 96.3  58.7  994390016
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.3  46.2  1300533248 error: exception 20.1  6.97 619372544 false(valid-memtrack) 14.0  4.89 297971712 error: exception 8.62 3.19 254410752 false(valid-memtrack) 14.1  4.88 303411200 timeout (error (143)) 95.5  69.2  2185830400 false(valid-memtrack) 16.7  6.97 308039680 timeout (error (143)) 96.2  72.7  2183712768 false(valid-memtrack) 14.6  5.08 284057600 timeout (error (143)) 95.4  69.0  2194907136 false(valid-memtrack) 14.8  5.02 292864000 error: exception 18.6  6.60 631492608 false(valid-memtrack) 13.2  4.58 295104512
memsafety/test-0019_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.9  4.01 273637376 unknown 11.9  4.23 334823424 false(valid-memtrack) 11.1  4.27 278700032 unknown 7.80 2.86 230637568 false(valid-memtrack) 10.9  4.19 281534464 unknown 83.3  60.5  2154061824 false(valid-memtrack) 11.9  4.79 277172224 unknown 72.1  51.6  2150465536 false(valid-memtrack) 11.0  4.09 284409856 unknown 70.1  51.3  2147676160 false(valid-memtrack) 11.2  4.23 275034112 unknown 12.5  4.50 342495232 false(valid-memtrack) 10.9  4.21 278589440
memsafety/test-0102_true-valid-memsafety.i false(valid-memtrack) 18.7  6.35 363073536 timeout (error (143)) 95.5  76.7  2201640960 timeout (error (143)) 95.9  74.1  2111893504 unknown 15.8  5.35 446361600 false(valid-memtrack) 88.1  41.5  1345871872 timeout (error (143)) 96.2  72.1  2165538816 timeout (error (143)) 95.8  66.8  2041114624 timeout (error (143)) 96.2  70.8  2155986944 timeout (error (143)) 95.5  67.6  1926127616 timeout (error (143)) 95.8  74.5  2166497280 timeout (error (143)) 95.4  68.2  2099171328 timeout (error (143)) 95.6  75.9  2171609088 timeout (error (143)) 95.8  74.2  2068824064
memsafety/test-0134_true-valid-memsafety.i false(valid-memtrack) 15.0  5.30 309854208 unknown 16.1  5.64 454594560 false(valid-memtrack) 15.2  5.67 309063680 unknown 16.9  5.83 462385152 false(valid-memtrack) 14.6  5.31 299229184 timeout (error (143)) 95.3  70.4  2179395584 false(valid-memtrack) 15.8  6.03 316792832 timeout (error (143)) 96.2  69.1  2187669504 false(valid-memtrack) 14.6  5.28 316444672 timeout (error (143)) 95.7  64.9  2192883712 false(valid-memtrack) 14.9  5.44 313864192 unknown 15.9  5.54 450473984 false(valid-memtrack) 15.3  5.63 306286592
memsafety/test-0158_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.56 3.66 249520128 unknown 25.1  9.11 714129408 false(valid-memtrack) 10.0  3.76 259608576 unknown 6.93 2.62 209199104 false(valid-memtrack) 9.81 3.67 248901632 timeout (error (143)) 96.5  75.3  2202042368 false(valid-memtrack) 10.2  3.97 269697024 timeout (error (143)) 96.2  76.8  2210676736 false(valid-memtrack) 9.59 3.56 247767040 timeout (error (143)) 96.1  77.1  2188505088 false(valid-memtrack) 9.26 3.55 247234560 unknown 24.7  8.59 807362560 false(valid-memtrack) 9.63 3.62 248848384
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 5.55 2.24 183148544 error: exception 5.41 2.12 180711424 error: exception 5.43 2.10 179724288 error: exception 5.41 2.08 182972416 error: exception 5.48 2.12 183791616 error: exception 5.91 2.66 182280192 error: exception 6.06 2.65 185778176 error: exception 5.82 2.58 181407744 error: exception 5.34 2.13 182108160 error: exception 5.52 2.09 178323456 error: exception 5.70 2.24 184852480 error: exception 5.35 2.09 180162560 error: exception 5.59 2.12 183783424
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 5.50 2.12 186871808 error: exception 5.24 2.04 183357440 error: exception 5.33 2.06 179462144 error: exception 5.52 2.08 180928512 error: exception 5.70 2.13 182034432 error: exception 5.83 2.28 180363264 error: exception 5.68 2.28 177606656 error: exception 5.75 2.27 180396032 error: exception 5.39 2.05 182583296 error: exception 5.28 2.05 179707904 error: exception 5.38 2.08 183308288 error: exception 5.57 2.08 180928512 error: exception 5.38 2.18 181460992
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 5.62 2.19 180760576 error: exception 5.44 2.08 186060800 error: exception 5.80 2.13 186691584 error: exception 5.45 2.10 180379648 error: exception 5.51 2.06 183525376 error: exception 5.82 2.41 183980032 error: exception 5.65 2.36 180604928 error: exception 5.68 2.19 180518912 error: exception 5.44 2.11 181514240 error: exception 5.50 2.12 181035008 error: exception 5.51 2.12 179417088 error: exception 5.88 2.16 184717312 error: exception 5.54 2.11 184877056
memsafety/test-0219_true-valid-memsafety.i error: exception 5.63 2.11 178155520 error: exception 5.30 2.10 181362688 error: exception 5.15 2.03 178831360 error: exception 5.32 2.08 180834304 error: exception 5.28 2.09 178806784 error: exception 5.85 2.51 179384320 error: exception 6.10 2.72 180072448 error: exception 5.46 2.25 179191808 error: exception 5.35 2.00 183144448 error: exception 5.44 2.06 179204096 error: exception 5.64 2.10 178946048 error: exception 5.14 2.05 182673408 error: exception 5.33 2.11 181784576
memsafety/test-0232_true-valid-memsafety.i false(valid-memtrack) 11.9  4.39 292323328 unknown 47.7  25.8  1786728448 false(valid-memtrack) 11.8  4.24 284065792 unknown 9.35 3.32 275943424 false(valid-memtrack) 12.0  4.39 290283520 timeout (error (143)) 95.3  70.3  2190315520 false(valid-memtrack) 13.0  5.47 286765056 timeout (error (143)) 96.2  71.2  2178813952 false(valid-memtrack) 12.0  4.47 289259520 timeout (error (143)) 95.7  74.3  2161139712 false(valid-memtrack) 11.9  4.34 283332608 unknown 44.7  25.5  1781366784 false(valid-memtrack) 11.5  4.24 292093952
memsafety/test-0234_true-valid-memsafety.i false(valid-memtrack) 33.4  11.4  534507520 unknown 10.5  3.70 338583552 timeout (false(valid-memtrack)) 91.1  62.2  897495040 error: exception 20.9  7.08 637083648 timeout (error (143)) 91.8  52.3  1435373568 unknown 41.2  22.8  1825878016 timeout (error (143)) 96.3  59.0  2210684928 unknown 38.8  20.3  1889665024 timeout (error (143)) 97.1  59.9  2215645184 unknown 34.5  18.4  1665650688 timeout (error (143)) 95.0  61.0  2217025536 unknown 10.8  3.92 305012736 timeout (false(valid-memtrack)) 91.3  62.1  917041152
memsafety/test-0235_true-valid-memsafety.i false(valid-memtrack) 40.5  14.2  865361920 unknown 11.0  3.94 312467456 timeout (false(valid-memtrack)) 92.1  59.3  1662066688 error: exception 87.7  54.2  2618867712 timeout (error (143)) 91.3  43.8  1299181568 unknown 39.3  21.6  1901117440 timeout (error (143)) 96.9  56.5  2222481408 unknown 38.8  19.3  1645547520 timeout (error (143)) 96.1  60.8  2243072000 unknown 34.7  17.7  1832878080 timeout (error (143)) 97.3  60.0  2229620736 unknown 10.8  3.86 353136640 timeout (false(valid-memtrack)) 92.0  60.3  1532518400
memsafety/test-0236_true-valid-memsafety.i false(valid-memtrack) 32.3  11.3  546713600 unknown 10.9  3.95 318480384 timeout (false(valid-memtrack)) 91.4  61.5  935555072 error: exception 21.0  7.15 629248000 timeout (error (143)) 91.0  50.1  1505665024 unknown 46.8  28.6  2175447040 timeout (error (143)) 101    65.5  2200121344 unknown 44.5  26.3  1920667648 timeout (error (143)) 96.5  62.5  2227695616 unknown 40.4  24.1  2158239744 timeout (error (143)) 96.3  63.7  2225729536 unknown 10.3  3.68 336764928 timeout (false(valid-memtrack)) 91.8  61.8  847564800
memsafety/test-0237_true-valid-memsafety.i false(valid-memtrack) 31.0  11.0  543879168 unknown 11.2  4.08 307814400 timeout (false(valid-memtrack)) 92.9  64.2  936005632 error: exception 21.4  7.23 664748032 timeout (error (143)) 90.6  51.1  1480466432 unknown 42.0  24.5  1942855680 timeout (error (143)) 98.2  65.0  2214846464 unknown 40.2  23.0  1701732352 timeout (error (143)) 95.4  62.1  2222284800 unknown 41.2  21.3  2154110976 timeout (error (143)) 97.7  61.4  2241232896 unknown 10.7  3.84 319123456 timeout (false(valid-memtrack)) 90.9  60.7  940990464
memsafety/test-0504_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.1  63.0  1179955200 timeout (error (143)) 94.2  74.8  2177253376 timeout (false(valid-memtrack)) 92.6  72.6  2206318592 unknown 13.1  4.58 354115584 timeout (false(valid-memtrack)) 91.5  60.8  703823872 timeout (error (143)) 97.1  76.3  2170998784 timeout (error (143)) 95.6  73.4  2168909824 timeout (error (143)) 96.0  75.7  2166476800 timeout (error (143)) 96.1  74.0  2198171648 timeout (error (143)) 96.0  75.8  2172780544 timeout (error (143)) 95.8  76.7  2179690496 timeout (error (143)) 95.7  78.6  2182127616 timeout (false(valid-memtrack)) 92.8  74.4  2198171648
memsafety/test-0513_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.2  61.6  775483392 timeout (error (143)) 91.6  69.4  2197340160 timeout (false(valid-memtrack)) 93.5  68.1  2206900224 unknown 14.3  5.02 508506112 timeout (false(valid-memtrack)) 91.3  73.8  474419200 timeout (error (143)) 96.0  71.6  2218651648 timeout (error (143)) 96.3  69.7  2239635456 timeout (error (143)) 96.1  74.1  2183421952 timeout (error (143)) 95.7  68.3  2236059648 timeout (error (143)) 92.0  70.7  2174124032 timeout (error (143)) 95.7  68.7  2222764032 timeout (error (143)) 91.8  69.7  2202075136 timeout (false(valid-memtrack)) 91.0  61.2  2199621632
memsafety/test-0521_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.1  47.9  1435594752 timeout (error (143)) 96.3  70.1  2199302144 timeout (error (143)) 95.5  65.2  2207002624 error: exception 10.7  3.79 310263808 false(valid-memtrack) 23.3  8.43 384102400 timeout (error (143)) 96.2  75.2  2188505088 timeout (error (143)) 96.9  66.0  2213031936 timeout (error (143)) 96.3  74.0  2217000960 timeout (error (143)) 96.6  65.9  2205839360 timeout (error (143)) 96.0  76.0  2211581952 timeout (error (143)) 95.8  64.1  2200412160 timeout (error (143)) 93.8  66.0  2183733248 timeout (false(valid-memtrack)) 94.5  61.0  2209402880
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.56 3.69 242581504 unknown 17.3  6.54 625131520 false(valid-memtrack) 9.31 3.43 239849472 unknown 8.27 2.95 253882368 false(valid-memtrack) 8.97 3.33 240099328 timeout (error (143)) 95.6  70.8  2201464832 false(valid-memtrack) 10.2  4.15 242499584 timeout (error (143)) 96.4  71.8  2191278080 false(valid-memtrack) 9.87 3.67 243167232 timeout (error (143)) 96.3  72.2  2200449024 false(valid-memtrack) 9.48 3.63 240132096 unknown 19.2  6.79 635895808 false(valid-memtrack) 9.32 3.45 240627712
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.2  55.3  639365120 timeout (error (143)) 94.1  72.0  2202673152 timeout (false(valid-memtrack)) 90.4  60.8  2217046016 unknown 9.95 3.58 306532352 timeout (false(valid-memtrack)) 91.0  54.8  617783296 timeout (error (143)) 96.4  72.3  2226290688 timeout (error (143)) 96.4  71.4  2223566848 timeout (error (143)) 96.5  71.3  2229538816 timeout (error (143)) 96.3  71.8  2221871104 timeout (error (143)) 96.1  73.8  2223546368 timeout (error (143)) 95.4  69.4  2254315520 timeout (error (143)) 91.4  69.6  2198032384 timeout (false(valid-memtrack)) 91.6  65.6  2210664448
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error: exception 5.36 2.12 176857088 error: exception 5.36 2.19 182046720 error: exception 5.49 2.07 179716096 error: exception 5.39 2.11 180572160 error: exception 5.53 2.16 184213504 error: exception 6.21 2.63 179621888 error: exception 5.69 2.29 178081792 error: exception 5.18 2.38 181293056 error: exception 5.52 2.06 183111680 error: exception 5.65 2.24 181084160 error: exception 5.29 2.10 181145600 error: exception 5.34 2.21 182099968 error: exception 5.29 2.04 179851264
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error: exception 5.28 2.05 183099392 error: exception 5.26 2.06 180666368 error: exception 5.24 2.05 179957760 error: exception 5.32 2.06 177688576 error: exception 5.65 2.21 182763520 error: exception 5.69 2.23 177909760 error: exception 6.07 2.45 184782848 error: exception 5.69 2.45 180912128 error: exception 5.50 2.15 180285440 error: exception 5.62 2.16 182169600 error: exception 5.47 2.13 179404800 error: exception 4.97 2.08 178892800 error: exception 5.29 2.15 181776384
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (false(valid-memtrack)) 91.2  76.6  396374016 error: exception 79.1  57.4  2170531840 timeout (false(valid-memtrack)) 91.2  65.4  2075254784 error: exception 7.95 2.92 251121664 false(valid-memtrack) 16.9  6.18 319913984 timeout (error (143)) 96.2  73.8  2194219008 timeout (error (143)) 96.3  72.2  2205229056 timeout (error (143)) 95.5  69.9  2200166400 timeout (error (143)) 95.6  68.8  2207846400 timeout (error (143)) 96.2  73.6  2201030656 timeout (error (143)) 96.3  73.8  2207969280 error: exception 77.8  57.3  2190266368 timeout (false(valid-memtrack)) 91.2  63.1  1987739648
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (false(valid-memtrack)) 90.8  69.5  479834112 timeout (error (143)) 95.8  74.1  2182844416 timeout (error (143)) 96.6  71.4  2188955648 error: exception 8.23 3.09 256024576 false(valid-memtrack) 17.0  5.93 347762688 timeout (error (143)) 96.3  73.6  2195574784 timeout (error (143)) 96.3  72.3  2218070016 timeout (error (143)) 96.0  75.1  2215370752 timeout (error (143)) 95.4  69.3  2234531840 timeout (error (143)) 96.3  73.2  2217046016 timeout (error (143)) 96.3  71.6  2224824320 timeout (error (143)) 95.8  74.1  2191192064 timeout (false(valid-memtrack)) 92.9  72.3  2183639040
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.0  63.0  776151040 timeout (error (143)) 96.1  76.3  2204639232 timeout (error (143)) 96.1  74.7  2200485888 error: exception 8.91 3.17 264298496 false(valid-memtrack) 13.5  4.77 290738176 timeout (error (143)) 96.7  70.1  2267521024 timeout (error (143)) 96.9  66.8  2298585088 timeout (error (143)) 97.2  70.0  2313285632 timeout (error (143)) 96.6  60.2  2256424960 timeout (error (143)) 96.7  70.6  2226782208 timeout (error (143)) 97.3  67.2  2258571264 timeout (error (143)) 96.1  75.7  2195877888 timeout (error (143)) 95.8  75.3  2197651456
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (false(valid-memtrack)) 90.3  73.0  456744960 error: exception 67.1  49.2  2167357440 timeout (error (143)) 96.2  71.1  2215550976 error: exception 8.57 3.12 251809792 timeout (false(valid-memtrack)) 91.3  72.4  512835584 timeout (error (143)) 96.3  73.0  2232217600 timeout (error (143)) 95.6  68.3  2199068672 timeout (error (143)) 96.3  74.7  2219548672 timeout (error (143)) 95.4  68.8  2208804864 timeout (error (143)) 96.1  74.7  2208878592 timeout (error (143)) 96.4  70.7  2208501760 error: exception 68.4  49.5  2189991936 timeout (false(valid-memtrack)) 93.8  73.5  2207203328
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (false(valid-memtrack)) 90.4  71.9  528805888 timeout (error (143)) 91.5  69.9  2194280448 timeout (error (143)) 96.0  73.5  2213851136 error: exception 8.04 2.98 252923904 timeout (false(valid-memtrack)) 91.8  67.2  584019968 timeout (error (143)) 95.7  66.3  2238304256 timeout (error (143)) 95.8  68.0  2210144256 timeout (error (143)) 96.4  72.1  2192257024 timeout (error (143)) 96.4  71.8  2218573824 timeout (error (143)) 96.4  73.2  2206154752 timeout (error (143)) 96.4  71.6  2213560320 timeout (error (143)) 95.2  68.1  2201972736 timeout (error (143)) 95.8  64.6  2210201600
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-memtrack) 19.2  6.57 497057792 error: exception 35.6  15.7  1331101696 timeout (false(valid-memtrack)) 94.8  68.0  1959858176 error: exception 8.77 3.27 253247488 false(valid-memtrack) 30.7  10.4  538791936 timeout (error (143)) 98.2  70.9  2202492928 timeout (error (143)) 98.0  67.9  2196914176 timeout (error (143)) 96.2  67.7  2189516800 timeout (error (143)) 96.3  67.4  2213343232 timeout (error (143)) 99.3  71.3  2197086208 timeout (error (143)) 96.2  68.6  2205212672 error: exception 36.2  15.8  1326469120 timeout (error (143)) 96.4  68.1  2148126720
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 96.1  74.4  483217408 error: exception 52.1  31.0  2153574400 timeout (error (143)) 93.3  67.3  2230358016 error: exception 8.54 3.14 258908160 timeout (error (143)) 96.4  80.8  425631744 timeout (error (143)) 96.7  69.0  2221969408 timeout (error (143)) 97.1  70.5  2210705408 timeout (error (143)) 95.3  71.3  2187202560 timeout (error (143)) 95.4  66.6  2234957824 timeout (error (143)) 95.7  68.5  2216140800 timeout (error (143)) 95.4  70.0  2192998400 error: exception 51.2  30.4  2018332672 timeout (error (143)) 95.1  67.3  2236997632
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i false(valid-memtrack) 25.0  8.54 406609920 error: exception 56.9  36.6  2154151936 timeout (false(valid-memtrack)) 90.8  62.2  2229497856 error: exception 8.87 3.17 252338176 false(valid-memtrack) 30.8  10.3  441159680 timeout (error (143)) 98.2  73.5  2203480064 timeout (error (143)) 98.5  70.6  2230767616 timeout (error (143)) 98.8  68.1  2182496256 timeout (error (143)) 96.2  69.6  2244292608 timeout (error (143)) 96.2  71.1  2184863744 timeout (error (143)) 96.9  70.5  2192293888 error: exception 55.9  36.1  2148343808 timeout (false(valid-memtrack)) 93.0  61.3  2239352832
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 12.4  4.40 276172800 error: exception 70.1  49.8  2172030976 timeout (false(valid-memtrack)) 92.0  68.1  2218663936 error: exception 7.90 3.01 253149184 false(valid-memtrack) 20.6  7.12 380133376 timeout (error (143)) 95.7  75.4  2167644160 timeout (error (143)) 96.3  71.7  2187116544 timeout (error (143)) 96.0  73.9  2176073728 timeout (error (143)) 95.9  70.8  2188115968 timeout (error (143)) 95.7  71.8  2173583360 timeout (error (143)) 96.2  74.9  2186104832 error: exception 71.9  49.9  2163466240 timeout (error (143)) 96.4  72.0  2191286272
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-memtrack) 10.3  3.82 269438976 timeout (error (143)) 91.7  72.0  2186944512 false(valid-memtrack) 10.8  3.94 268390400 unknown 12.4  4.37 352845824 false(valid-memtrack) 10.8  3.85 274620416 timeout (error (143)) 97.0  71.1  2192867328 false(valid-memtrack) 11.9  5.17 270905344 timeout (error (143)) 96.6  72.0  2186924032 false(valid-memtrack) 10.9  3.99 273309696 timeout (error (143)) 97.1  70.1  2190630912 false(valid-memtrack) 11.0  3.98 269864960 timeout (error (143)) 91.1  70.0  2171580416 false(valid-memtrack) 11.0  4.09 280129536
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 96.1  73.8  453042176 error: exception 54.3  30.4  2163273728 timeout (error (143)) 95.8  67.9  2231144448 error: exception 8.84 3.26 255864832 timeout (error (143)) 96.3  80.9  438661120 timeout (error (143)) 95.8  71.1  2198687744 timeout (error (143)) 96.1  72.3  2211790848 timeout (error (143)) 95.8  67.7  2204844032 timeout (error (143)) 95.8  70.7  2219433984 timeout (error (143)) 95.3  72.0  2207117312 timeout (error (143)) 95.6  70.1  2219184128 error: exception 55.4  30.8  1958060032 timeout (error (143)) 91.1  62.0  1966407680
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i false(valid-memtrack) 24.8  8.44 385757184 error: exception 62.1  39.2  2151583744 timeout (error (143)) 90.8  62.8  2228928512 error: exception 8.83 3.19 253800448 false(valid-memtrack) 29.0  9.77 435679232 timeout (error (143)) 99.8  70.7  2194747392 timeout (error (143)) 95.7  71.4  2194087936 timeout (error (143)) 97.0  72.6  2193043456 timeout (error (143)) 96.8  69.5  2200621056 timeout (error (143)) 96.3  70.2  2198237184 timeout (error (143)) 98.3  69.8  2220847104 error: exception 62.7  38.8  2167562240 timeout (error (143)) 92.7  64.9  2225401856
memsafety-ext2/length_test03_true-valid-memsafety.i false(valid-memtrack) 12.7  4.50 287080448 error: exception 67.9  47.4  2165665792 timeout (false(valid-memtrack)) 94.9  71.2  2194984960 error: exception 7.94 2.96 253661184 false(valid-memtrack) 19.2  6.73 368222208 timeout (error (143)) 96.1  72.8  2166693888 timeout (error (143)) 95.8  65.5  2187563008 timeout (error (143)) 96.0  71.5  2184257536 timeout (error (143)) 96.2  71.2  2212827136 timeout (error (143)) 96.0  73.0  2175053824 timeout (error (143)) 95.4  67.9  2212208640 error: exception 73.9  49.4  2177839104 timeout (error (143)) 95.4  70.4  2183127040
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i false(valid-memtrack) 10.7  3.82 267948032 timeout (error (143)) 92.8  69.5  2187051008 false(valid-memtrack) 10.6  3.76 271179776 unknown 12.7  4.48 362668032 false(valid-memtrack) 10.7  3.80 276049920 timeout (error (143)) 96.2  71.8  2194247680 false(valid-memtrack) 14.5  6.91 271110144 timeout (error (143)) 96.2  70.6  2206842880 false(valid-memtrack) 10.8  3.98 269365248 timeout (error (143)) 97.1  69.5  2201800704 false(valid-memtrack) 10.8  3.97 269213696 timeout (error (143)) 92.5  70.1  2186547200 false(valid-memtrack) 11.1  3.93 270381056
memsafety-ext2/split_list_test05_true-valid-memsafety.i false(valid-memtrack) 20.5  6.93 635117568 error: exception 33.8  15.5  1335660544 timeout (false(valid-memtrack)) 94.0  63.4  2032652288 error: exception 9.02 3.24 254459904 false(valid-memtrack) 29.0  9.75 598806528 timeout (error (143)) 96.5  72.6  2204483584 timeout (error (143)) 95.3  69.7  2207834112 timeout (error (143)) 96.5  71.0  2209992704 timeout (error (143)) 96.6  68.5  2203893760 timeout (error (143)) 95.7  71.0  2189086720 timeout (error (143)) 95.8  69.0  2205093888 error: exception 34.6  15.4  1346101248 timeout (false(valid-memtrack)) 93.2  59.8  2081222656
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-memtrack) 11.2  4.19 287731712 unknown 36.5  15.2  1276063744 false(valid-memtrack) 10.7  3.98 284823552 unknown 9.10 3.29 268132352 false(valid-memtrack) 11.2  4.14 275865600 timeout (error (143)) 94.9  74.8  2074009600 false(valid-memtrack) 14.8  9.95 307355648 timeout (error (143)) 93.6  72.5  1872646144 false(valid-memtrack) 11.5  4.16 289476608 timeout (error (143)) 93.4  73.8  2152148992 false(valid-memtrack) 11.9  4.51 290680832 unknown 41.3  17.3  1310527488 false(valid-memtrack) 10.8  4.11 294518784
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (false(valid-memtrack)) 90.5  47.2  611659776 error: exception 8.13 2.99 256589824 false(valid-memtrack) 25.6  8.98 767365120 error: exception 7.51 2.83 213741568 false(valid-memtrack) 12.2  4.41 281841664 error: exception 10.3  3.98 263573504 timeout (false(valid-memtrack)) 96.1  70.3  2207588352 error: exception 10.3  3.86 269443072 timeout (false(valid-memtrack)) 95.5  71.3  2183462912 error: exception 9.31 3.47 271990784 timeout (false(valid-memtrack)) 94.7  70.8  2179268608 error: exception 7.95 2.94 250388480 false(valid-memtrack) 27.0  9.34 747479040
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-memtrack) 9.86 3.70 247488512 error: exception 7.76 2.87 252276736 false(valid-memtrack) 9.63 3.57 250167296 error: exception 7.32 2.87 212471808 false(valid-memtrack) 10.0  3.75 250568704 error: exception 10.1  3.81 273440768 false(valid-memtrack) 11.6  5.40 251056128 error: exception 10.4  3.77 263774208 false(valid-memtrack) 9.51 3.64 244678656 error: exception 9.53 3.46 268722176 false(valid-memtrack) 10.1  3.78 248430592 error: exception 7.95 2.89 251703296 false(valid-memtrack) 9.65 3.63 252817408
list-ext-properties/960521-1_1_false-valid-free.i false(valid-memtrack) 8.91 3.35 237301760 unknown 37.6  16.2  1073922048 false(valid-memtrack) 8.97 3.45 236040192 unknown 9.05 3.31 266592256 false(valid-memtrack) 8.93 3.35 236900352 timeout (error (143)) 93.3  73.1  2087395328 false(valid-memtrack) 10.8  5.75 242188288 timeout (error (143)) 94.3  72.2  1693327360 false(valid-memtrack) 8.55 3.24 236425216 timeout (error (143)) 93.5  73.6  1907355648 false(valid-memtrack) 9.17 3.47 244924416 unknown 37.1  14.8  1286877184 false(valid-memtrack) 8.75 3.35 238002176
list-ext-properties/test-0158_1_false-valid-free.i false(valid-memtrack) 10.2  3.76 273170432 error: exception 27.8  12.3  1114517504 false(valid-memtrack) 10.5  4.04 276328448 error: exception 7.24 2.78 226734080 false(valid-memtrack) 10.6  3.93 278724608 timeout (error (143)) 96.3  68.2  2178551808 false(valid-memtrack) 12.5  5.41 272519168 timeout (error (143)) 95.9  70.0  2173517824 false(valid-memtrack) 10.2  3.83 272236544 timeout (error (143)) 96.4  65.5  2187755520 false(valid-memtrack) 10.3  3.94 273801216 error: exception 27.8  12.4  1108414464 false(valid-memtrack) 10.4  4.02 271024128
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.2  4.14 272166912 unknown 22.7  7.97 764338176 false(valid-memtrack) 11.3  4.19 271544320 unknown 7.81 3.00 253562880 false(valid-memtrack) 11.2  4.11 267796480 timeout (error (143)) 96.2  72.2  2184118272 false(valid-memtrack) 12.1  5.23 273539072 timeout (error (143)) 96.4  70.8  2207985664 false(valid-memtrack) 11.1  4.06 272338944 timeout (error (143)) 96.5  73.6  2214727680 false(valid-memtrack) 11.7  4.30 271736832 unknown 22.6  7.96 686288896 false(valid-memtrack) 12.0  4.27 273207296
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.11 3.34 240996352 error: exception 26.2  12.6  1155477504 false(valid-memtrack) 8.74 3.30 247042048 error: exception 7.28 2.71 222502912 false(valid-memtrack) 8.39 3.26 237522944 timeout (error (143)) 97.0  73.2  2183409664 false(valid-memtrack) 9.70 4.09 241082368 timeout (error (143)) 96.2  74.2  2191175680 false(valid-memtrack) 8.20 3.07 239996928 timeout (error (143)) 96.5  75.0  2170093568 false(valid-memtrack) 8.63 3.35 239603712 error: exception 30.0  13.6  1149313024 false(valid-memtrack) 8.51 3.26 244879360
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 12.4  4.61 282861568 unknown 45.1  25.2  1964912640 false(valid-memtrack) 12.2  4.55 283136000 unknown 9.25 3.44 282660864 false(valid-memtrack) 12.2  4.58 287514624 timeout (error (143)) 95.3  69.7  2175234048 false(valid-memtrack) 12.9  5.35 286347264 timeout (error (143)) 92.0  67.9  2219872256 false(valid-memtrack) 12.0  4.52 287776768 timeout (error (143)) 92.3  66.5  2160234496 false(valid-memtrack) 12.3  4.55 284471296 unknown 47.2  26.5  1665941504 false(valid-memtrack) 12.3  4.60 283000832
list-ext-properties/960521-1_1_true-valid-memsafety.i false(valid-memtrack) 12.5  4.76 277200896 unknown 25.7  8.87 776802304 false(valid-memtrack) 12.5  4.61 281034752 unknown 9.51 3.42 273948672 false(valid-memtrack) 13.0  4.72 288043008 timeout (error (143)) 91.8  72.9  1811263488 false(valid-memtrack) 13.5  5.57 269312000 timeout (error (143)) 93.2  72.3  1785520128 false(valid-memtrack) 12.8  4.79 279269376 timeout (error (143)) 93.0  73.6  1755512832 false(valid-memtrack) 12.6  4.74 285356032 unknown 24.8  9.42 796856320 false(valid-memtrack) 12.4  4.61 283455488
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.2  54.0  650354688 error: exception 7.94 2.98 253341696 false(valid-memtrack) 34.8  15.7  1207980032 error: exception 7.61 2.82 211329024 false(valid-memtrack) 13.0  4.59 284393472 error: exception 10.5  4.14 276406272 timeout (error (143)) 95.4  69.5  2181816320 error: exception 9.88 3.81 271212544 timeout (error (143)) 96.1  71.5  2196611072 error: exception 9.72 3.39 268947456 timeout (error (143)) 95.2  69.5  2199625728 error: exception 7.89 2.89 253071360 false(valid-memtrack) 34.9  15.8  1171144704
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.8  61.3  693768192 error: exception 7.99 2.94 251285504 false(valid-memtrack) 32.0  12.5  1048743936 error: exception 7.21 2.76 212058112 false(valid-memtrack) 11.6  4.25 292573184 error: exception 10.4  4.08 268095488 timeout (error (143)) 96.1  70.2  2196156416 error: exception 9.43 3.52 265039872 timeout (error (143)) 95.3  65.9  2190815232 error: exception 9.53 3.47 275140608 timeout (error (143)) 95.9  71.0  2187423744 error: exception 7.81 2.89 249516032 false(valid-memtrack) 30.2  12.8  926760960
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.0  55.9  700542976 error: exception 7.86 2.95 253628416 false(valid-memtrack) 37.2  19.1  1558794240 error: exception 7.11 2.67 210235392 false(valid-memtrack) 11.5  4.16 282877952 error: exception 9.76 3.81 271147008 timeout (error (143)) 95.6  69.5  2174201856 error: exception 9.22 3.41 275755008 timeout (error (143)) 95.2  70.2  2179383296 error: exception 9.12 3.36 263233536 timeout (error (143)) 95.5  68.1  2205237248 error: exception 7.75 2.99 254099456 false(valid-memtrack) 37.8  19.6  1431801856
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.1  4.09 267763712 unknown 26.6  9.19 877232128 false(valid-memtrack) 11.6  4.21 271249408 unknown 7.87 2.92 249180160 false(valid-memtrack) 11.6  4.21 274841600 timeout (error (143)) 96.2  72.8  2188378112 false(valid-memtrack) 13.0  5.41 268263424 timeout (error (143)) 95.5  72.3  2194300928 false(valid-memtrack) 11.4  4.10 278196224 timeout (error (143)) 96.7  73.3  2197716992 false(valid-memtrack) 11.8  4.30 273555456 unknown 25.4  8.95 830001152 false(valid-memtrack) 11.5  4.39 274145280
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.89 3.68 251486208 error: exception 32.4  15.4  1198850048 false(valid-memtrack) 9.93 3.74 254369792 error: exception 7.17 2.71 226820096 false(valid-memtrack) 10.0  3.68 258605056 timeout (error (143)) 96.3  71.1  2191405056 false(valid-memtrack) 11.1  4.03 262561792 timeout (error (143)) 95.8  72.0  2217693184 false(valid-memtrack) 10.2  3.81 250765312 timeout (error (143)) 95.9  70.7  2209996800 false(valid-memtrack) 9.86 3.70 265777152 error: exception 31.4  15.0  1299492864 false(valid-memtrack) 10.1  3.82 264306688
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 5.45 2.18 182738944 error: exception 5.32 2.07 184741888 error: exception 5.45 2.05 180662272 error: exception 6.10 2.18 187875328 error: exception 5.67 2.18 180940800 error: exception 5.83 2.38 178368512 error: exception 5.91 3.10 179548160 error: exception 5.74 2.27 180006912 error: exception 5.63 2.18 181014528 error: exception 5.44 2.13 183140352 error: exception 5.59 2.16 181985280 error: exception 5.47 2.19 180187136 error: exception 5.55 2.13 178728960
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 5.64 2.21 180822016 error: exception 5.58 2.17 183341056 error: exception 5.36 2.09 179830784 error: exception 5.50 2.16 181403648 error: exception 5.56 2.11 182968320 error: exception 5.51 2.28 179568640 error: exception 6.37 2.64 185946112 error: exception 5.47 2.28 180649984 error: exception 5.46 2.04 183316480 error: exception 5.60 2.15 181907456 error: exception 5.56 2.14 181129216 error: exception 5.75 2.23 182870016 error: exception 5.76 2.20 180707328
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.7  3.92 268804096 unknown 44.1  25.9  1811415040 false(valid-memtrack) 10.4  3.84 267988992 unknown 9.30 3.29 279977984 false(valid-memtrack) 10.2  3.81 268984320 timeout (error (143)) 95.9  72.6  2177777664 false(valid-memtrack) 11.0  4.15 264908800 timeout (error (143)) 90.9  67.3  2150367232 false(valid-memtrack) 10.5  3.88 266522624 timeout (error (143)) 91.6  66.0  2208571392 false(valid-memtrack) 10.6  3.92 266846208 unknown 52.8  28.1  1705185280 false(valid-memtrack) 10.3  3.79 266166272
list-ext-properties/test-0504_1_true-valid-memsafety.i false(valid-memtrack) 88.3  54.7  574484480 error: exception 7.44 2.86 209772544 false(valid-memtrack) 66.4  44.7  2098458624 error: exception 7.74 2.76 209084416 false(valid-memtrack) 9.49 3.64 246898688 error: exception 8.06 3.21 212373504 timeout (false(valid-memtrack)) 92.9  73.8  2174582784 error: exception 7.15 3.23 218509312 timeout (error (143)) 96.7  77.1  2184052736 error: exception 7.26 2.72 213487616 timeout (error (143)) 95.6  76.9  2174619648 error: exception 7.65 2.96 213409792 false(valid-memtrack) 64.8  44.7  2060673024
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.6  54.6  675381248 error: exception 7.55 2.84 218640384 false(valid-memtrack) 57.5  33.4  1894920192 error: exception 7.50 2.84 217051136 false(valid-memtrack) 16.2  5.86 307834880 error: exception 8.11 3.32 222400512 timeout (error (143)) 95.9  66.6  2198839296 error: exception 7.78 3.00 219037696 timeout (error (143)) 96.7  70.1  2223054848 error: exception 7.47 2.80 217894912 timeout (error (143)) 98.0  68.9  2239905792 error: exception 7.80 2.98 223338496 false(valid-memtrack) 60.5  33.6  2087047168
memory-alloca/c.03-alloca_true-valid-memsafety.i false(valid-memtrack) 13.1  4.99 297697280 timeout (error (143)) 91.6  69.3  2192715776 false(valid-memtrack) 14.6  5.38 323293184 unknown 7.75 2.90 249634816 false(valid-memtrack) 14.6  5.41 305803264 timeout (error (143)) 96.2  76.6  2156851200 false(valid-memtrack) 16.8  7.46 311721984 timeout (error (143)) 95.8  77.7  2167709696 false(valid-memtrack) 13.6  5.13 297873408 timeout (error (143)) 95.7  77.9  2177597440 false(valid-memtrack) 13.9  5.23 314798080 timeout (error (143)) 91.2  65.1  2195775488 false(valid-memtrack) 13.9  5.19 307273728
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c timeout (false(valid-memtrack)) 91.9  52.6  1804738560 unknown 17.9  6.18 501420032 timeout (false(valid-memtrack)) 93.6  63.4  805130240 unknown 9.07 3.30 269004800 timeout (false(valid-memtrack)) 92.0  63.7  811032576 unknown 51.1  30.6  1443389440 timeout (error (143)) 96.0  63.4  1843232768 unknown 50.1  27.9  1688403968 timeout (false(valid-memtrack)) 92.1  61.4  1547010048 unknown 45.3  26.3  1547010048 timeout (false(valid-memtrack)) 93.2  62.1  1430335488 unknown 18.7  6.41 518569984 timeout (false(valid-memtrack)) 94.1  63.4  835039232
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c timeout (false(valid-memtrack)) 91.8  49.8  1855668224 unknown 19.0  6.56 532701184 timeout (false(valid-memtrack)) 92.5  58.7  984387584 unknown 9.08 3.33 260542464 timeout (false(valid-memtrack)) 93.5  60.3  987578368 unknown 53.1  32.9  1481183232 timeout (false(valid-memtrack)) 91.6  62.1  1622495232 unknown 48.6  28.7  1473490944 timeout (false(valid-memtrack)) 90.6  57.5  1573539840 unknown 47.5  27.7  1635540992 timeout (error (143)) 96.5  65.0  1717190656 unknown 16.3  5.53 544616448 timeout (false(valid-memtrack)) 92.5  59.1  894656512
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c timeout (false(valid-memtrack)) 90.5  44.1  2212352000 unknown 9.68 3.52 269213696 timeout (error (143)) 96.1  69.4  798916608 unknown 7.85 3.03 249978880 timeout (error (143)) 96.0  71.4  708136960 unknown 16.4  5.99 404246528 timeout (error (143)) 95.6  65.2  871895040 unknown 15.3  5.62 403525632 timeout (error (143)) 96.2  68.3  911187968 unknown 15.2  5.27 413454336 timeout (error (143)) 96.2  69.7  872452096 unknown 9.41 3.30 266526720 timeout (error (143)) 96.1  69.6  783114240
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c timeout (false(valid-memtrack)) 92.1  43.2  1997742080 error: exception 9.89 3.52 306552832 timeout (error (143)) 95.4  57.6  966463488 error: exception 7.65 2.92 252047360 timeout (error (143)) 95.9  63.0  908800000 error: exception 16.2  6.00 422723584 timeout (error (143)) 95.9  54.2  1036058624 error: exception 15.2  5.41 411217920 timeout (error (143)) 96.4  58.6  1075253248 error: exception 15.5  5.38 408367104 timeout (error (143)) 96.4  58.5  908349440 error: exception 10.4  3.65 316710912 timeout (error (143)) 96.1  61.3  883064832
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (false(valid-memtrack)) 90.8  37.5  1552117760 error: exception 8.51 3.06 266911744 timeout (error (143)) 95.4  64.8  874999808 error: exception 7.15 2.72 227389440 timeout (error (143)) 96.2  68.7  797323264 error: exception 14.1  5.62 366149632 timeout (error (143)) 96.2  60.7  967270400 error: exception 12.8  4.63 341172224 timeout (error (143)) 95.9  61.1  964780032 error: exception 11.5  4.01 327294976 timeout (error (143)) 95.8  61.5  952844288 error: exception 9.21 3.28 266706944 timeout (error (143)) 96.4  66.9  892043264
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (false(valid-memtrack)) 90.9  47.4  2211102720 error: exception 9.15 3.25 269934592 timeout (error (143)) 95.5  57.2  1001897984 error: exception 7.04 2.64 227028992 timeout (error (143)) 95.9  62.5  980475904 error: exception 12.7  4.87 328802304 timeout (error (143)) 96.3  48.3  1084694528 error: exception 12.4  4.51 342441984 timeout (error (143)) 95.5  51.0  1024405504 error: exception 12.3  4.32 343416832 timeout (error (143)) 96.2  53.5  1045700608 error: exception 9.26 3.35 269307904 timeout (error (143)) 95.6  56.9  968073216
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-memtrack) 44.9  20.1  524795904 unknown 6.84 2.57 219860992 timeout (false(valid-memtrack)) 90.2  57.1  688898048 unknown 6.53 2.47 201990144 timeout (false(valid-memtrack)) 91.2  56.8  697434112 unknown 9.55 3.87 260435968 timeout (false(valid-memtrack)) 91.0  58.9  695181312 unknown 8.64 3.39 260972544 timeout (false(valid-memtrack)) 91.5  57.3  714022912 unknown 8.66 3.19 266608640 timeout (false(valid-memtrack)) 91.9  57.4  721010688 unknown 6.68 2.57 221474816 timeout (false(valid-memtrack)) 90.3  57.4  720629760
ldv-memsafety/memset3_false-valid-deref-write.c timeout (false(valid-memtrack)) 90.1  49.8  743378944 unknown 6.88 2.64 223723520 timeout (false(valid-memtrack)) 91.1  58.0  718307328 unknown 6.94 2.61 209575936 timeout (false(valid-memtrack)) 90.3  55.9  691896320 unknown 9.54 3.85 267866112 timeout (false(valid-memtrack)) 91.1  59.5  683900928 unknown 9.47 3.56 264679424 timeout (false(valid-memtrack)) 91.5  57.0  702308352 unknown 9.21 3.31 263041024 timeout (false(valid-memtrack)) 90.2  56.8  714584064 unknown 6.86 2.64 226775040 timeout (false(valid-memtrack)) 91.2  58.0  670728192
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-memtrack) 42.8  20.0  512962560 unknown 6.90 2.63 221528064 timeout (false(valid-memtrack)) 92.4  58.6  742846464 unknown 6.60 2.50 200699904 timeout (false(valid-memtrack)) 91.9  58.3  719245312 unknown 9.43 3.82 261029888 timeout (false(valid-memtrack)) 91.3  58.2  660951040 unknown 8.97 3.42 264110080 timeout (false(valid-memtrack)) 91.2  57.6  647557120 unknown 9.19 3.34 269664256 timeout (false(valid-memtrack)) 90.1  56.4  730828800 unknown 6.77 2.55 217174016 timeout (false(valid-memtrack)) 92.0  58.0  726204416
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c timeout (false(valid-memtrack)) 91.4  52.1  719757312 unknown 6.95 2.69 228855808 timeout (false(valid-memtrack)) 91.1  58.2  695848960 unknown 6.39 2.49 202498048 timeout (false(valid-memtrack)) 91.3  57.4  689184768 unknown 9.74 3.93 254042112 timeout (false(valid-memtrack)) 91.3  62.4  708771840 unknown 9.69 3.72 269410304 timeout (false(valid-memtrack)) 90.3  55.5  729391104 unknown 8.63 3.14 260759552 timeout (false(valid-memtrack)) 90.4  57.0  706445312 unknown 6.95 2.66 221347840 timeout (false(valid-memtrack)) 91.2  58.0  730128384
ldv-memsafety/memsetNonZero_false-valid-deref-write.c timeout (false(valid-memtrack)) 90.8  52.7  729108480 unknown 6.84 2.63 221593600 timeout (false(valid-memtrack)) 91.4  57.2  714031104 unknown 6.65 2.67 200822784 timeout (false(valid-memtrack)) 91.5  57.2  680685568 unknown 9.26 3.77 259092480 timeout (false(valid-memtrack)) 90.2  63.6  649113600 unknown 9.29 3.61 270798848 timeout (false(valid-memtrack)) 91.2  57.6  689684480 unknown 8.78 3.27 275165184 timeout (false(valid-memtrack)) 90.5  55.2  698425344 unknown 6.73 2.65 210305024 timeout (false(valid-memtrack)) 91.1  57.8  708124672
ldv-memsafety/memset_false-valid-deref-write.c timeout (false(valid-memtrack)) 90.8  51.7  706162688 unknown 6.56 2.54 220647424 timeout (false(valid-memtrack)) 90.4  56.6  719257600 unknown 6.25 2.45 193839104 timeout (false(valid-memtrack)) 91.3  57.2  697692160 unknown 9.47 3.93 262582272 timeout (false(valid-memtrack)) 91.3  60.6  652029952 unknown 9.32 3.50 261455872 timeout (false(valid-memtrack)) 91.2  56.5  675885056 unknown 8.85 3.21 269594624 timeout (false(valid-memtrack)) 91.8  56.0  690728960 unknown 6.73 2.56 223404032 timeout (false(valid-memtrack)) 91.1  58.3  713502720
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 96.0  52.6  1809596416 unknown 16.2  5.57 529866752 timeout (false(valid-memtrack)) 90.3  50.7  1146580992 unknown 9.29 3.22 257032192 timeout (false(valid-memtrack)) 94.0  54.2  1292906496 unknown 53.6  32.1  1685282816 timeout (false(valid-memtrack)) 91.3  60.7  1947463680 unknown 52.6  29.6  1612251136 timeout (error (143)) 96.2  66.2  1654767616 unknown 47.2  26.6  1594556416 timeout (error (143)) 96.2  65.2  1613533184 unknown 18.6  6.34 565444608 timeout (false(valid-memtrack)) 92.3  51.1  1148014592
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 91.4  47.3  1754148864 error: exception 8.75 3.17 250331136 timeout (error (143)) 95.7  55.9  912556032 error: exception 6.85 2.68 223129600 timeout (error (143)) 95.5  57.2  882671616 error: exception 13.0  5.15 326881280 timeout (error (143)) 95.8  52.5  1045364736 error: exception 12.4  4.55 318255104 timeout (error (143)) 95.8  56.0  982433792 error: exception 12.4  4.32 331128832 timeout (error (143)) 95.6  51.3  973651968 error: exception 9.18 3.46 264454144 timeout (error (143)) 95.9  55.3  969240576
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (false(valid-memtrack)) 91.4  44.0  2071277568 error: exception 9.60 3.40 263823360 timeout (error (143)) 95.8  50.3  958914560 error: exception 7.10 2.71 225148928 timeout (error (143)) 96.4  59.4  827416576 error: exception 14.5  6.15 348442624 timeout (error (143)) 96.3  47.7  955772928 error: exception 13.4  4.82 350208000 timeout (error (143)) 95.9  49.6  1032892416 error: exception 13.1  4.61 367243264 timeout (error (143)) 96.1  49.3  1043918848 error: exception 9.46 3.38 263106560 timeout (error (143)) 96.4  58.5  922775552
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 91.3  46.0  1614221312 error: exception 8.84 3.15 266252288 timeout (error (143)) 96.0  55.2  959369216 error: exception 7.11 2.68 223555584 timeout (error (143)) 95.6  52.0  945451008 error: exception 12.7  4.59 332947456 timeout (error (143)) 96.0  49.8  984207360 error: exception 12.9  4.65 332816384 timeout (error (143)) 95.9  50.8  1057443840 error: exception 12.2  4.32 348499968 timeout (error (143)) 96.0  54.9  1124462592 error: exception 8.91 3.33 264527872 timeout (error (143)) 96.0  55.2  950546432
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (false(valid-memtrack)) 90.5  44.6  1947385856 error: exception 10.1  3.68 322342912 timeout (error (143)) 95.8  66.0  807055360 error: exception 7.90 2.90 248107008 timeout (error (143)) 95.5  68.4  790753280 error: exception 16.5  6.32 477736960 timeout (error (143)) 96.0  61.4  900034560 error: exception 15.8  5.54 424329216 timeout (error (143)) 96.2  64.1  911536128 error: exception 14.0  4.91 414003200 timeout (error (143)) 95.4  57.5  857882624 error: exception 9.76 3.54 295165952 timeout (error (143)) 96.2  64.2  876060672
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 90.5  40.9  2020610048 error: exception 9.66 3.44 262356992 timeout (error (143)) 96.0  61.1  911937536 error: exception 7.43 2.79 224542720 timeout (error (143)) 95.7  63.2  890765312 error: exception 13.4  5.01 342122496 timeout (error (143)) 95.6  57.0  1018048512 error: exception 11.4  4.18 326221824 timeout (error (143)) 96.4  58.3  917639168 error: exception 12.2  4.33 339140608 timeout (error (143)) 95.8  55.4  982777856 error: exception 9.72 3.44 268505088 timeout (error (143)) 96.3  59.0  866287616
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error: type error 5.46 2.12 178626560 error: type error 5.33 2.06 181227520 error: type error 5.17 2.07 181669888 error: type error 5.47 2.10 176496640 error: type error 5.33 2.11 180002816 error: type error 5.90 2.51 177655808 error: type error 6.08 2.54 185458688 error: type error 5.43 2.18 183275520 error: type error 5.26 2.03 179752960 error: type error 5.36 2.12 178552832 error: type error 5.07 1.96 180543488 error: type error 5.47 2.10 178159616 error: type error 5.42 2.16 180613120
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error: type error 5.66 2.16 180912128 error: type error 5.47 2.11 179146752 error: type error 5.21 2.08 178692096 error: type error 5.56 2.13 184356864 error: type error 5.58 2.09 179867648 error: type error 6.05 2.80 176910336 error: type error 5.87 2.49 176791552 error: type error 5.64 2.31 180535296 error: type error 5.37 2.16 179982336 error: type error 5.59 2.11 178286592 error: type error 5.15 2.03 180649984 error: type error 5.32 2.10 182693888 error: type error 5.46 2.18 179359744
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 5.58 2.27 187179008 true 6.24 2.37 189566976 true 5.32 2.18 187920384 true 5.56 2.33 184385536 true 5.45 2.21 184238080 true 6.10 2.68 188022784 true 5.99 2.72 185524224 true 5.85 2.44 185659392 true 5.25 2.20 187760640 true 5.68 2.41 190824448 true 5.24 2.16 186023936 true 5.52 2.26 185761792 true 5.49 2.22 185950208
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c false(valid-memtrack) 58.0  30.2  567279616 unknown 6.97 2.60 222593024 timeout (false(valid-memtrack)) 91.1  58.3  709873664 unknown 6.35 2.43 201498624 timeout (false(valid-memtrack)) 90.4  56.2  680628224 unknown 9.70 4.10 260591616 timeout (false(valid-memtrack)) 91.1  58.4  675930112 unknown 8.96 3.51 260235264 timeout (false(valid-memtrack)) 91.3  56.8  715264000 unknown 8.77 3.12 267046912 timeout (false(valid-memtrack)) 91.4  58.1  648970240 unknown 6.95 2.65 221970432 timeout (false(valid-memtrack)) 91.3  57.9  698638336
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 91.1  54.7  690905088 unknown 6.60 2.65 220028928 timeout (false(valid-memtrack)) 90.2  56.4  719802368 unknown 6.49 2.49 201592832 timeout (false(valid-memtrack)) 90.2  55.7  679825408 unknown 9.30 3.63 251367424 timeout (false(valid-memtrack)) 90.9  60.7  684720128 unknown 9.14 3.54 258183168 timeout (false(valid-memtrack)) 90.6  56.3  718614528 unknown 9.13 3.37 268664832 timeout (false(valid-memtrack)) 90.6  55.5  703819776 unknown 7.10 2.65 224665600 timeout (false(valid-memtrack)) 91.2  57.7  677744640
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c false(valid-memtrack) 58.0  30.2  592736256 unknown 6.90 2.57 221442048 timeout (false(valid-memtrack)) 91.3  57.4  680304640 unknown 6.38 2.48 200355840 timeout (false(valid-memtrack)) 91.3  57.6  713474048 unknown 9.35 3.78 265379840 timeout (false(valid-memtrack)) 90.9  60.2  653111296 unknown 8.82 3.50 266326016 timeout (false(valid-memtrack)) 91.7  57.0  691499008 unknown 8.78 3.19 263991296 timeout (false(valid-memtrack)) 91.4  57.4  736382976 unknown 7.00 2.63 218177536 timeout (false(valid-memtrack)) 91.2  58.2  670859264
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 90.8  52.9  659755008 unknown 7.12 2.62 226119680 timeout (false(valid-memtrack)) 91.2  57.5  710975488 unknown 6.44 2.56 200302592 timeout (false(valid-memtrack)) 90.5  56.4  712323072 unknown 9.95 4.15 253554688 timeout (false(valid-memtrack)) 91.1  60.0  743452672 unknown 9.43 3.61 265752576 timeout (false(valid-memtrack)) 90.2  56.0  690475008 unknown 8.96 3.29 266997760 timeout (false(valid-memtrack)) 90.3  55.8  739569664 unknown 6.99 2.65 218411008 timeout (false(valid-memtrack)) 90.2  56.4  698810368
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 90.9  54.8  712142848 unknown 6.97 2.65 222035968 timeout (false(valid-memtrack)) 91.2  57.6  730165248 unknown 6.54 2.47 201252864 timeout (false(valid-memtrack)) 91.2  57.4  697778176 unknown 9.65 3.90 245997568 timeout (false(valid-memtrack)) 90.9  66.1  686841856 unknown 8.99 3.32 274407424 timeout (false(valid-memtrack)) 90.3  56.2  720355328 unknown 8.94 3.26 273784832 timeout (false(valid-memtrack)) 91.3  57.4  719536128 unknown 6.93 2.68 221011968 timeout (false(valid-memtrack)) 91.1  58.1  721002496
ldv-memsafety/memset_true-valid-memsafety_true-termination.c timeout (false(valid-memtrack)) 90.7  54.8  673292288 unknown 6.87 2.63 220397568 timeout (false(valid-memtrack)) 91.1  58.1  698961920 unknown 6.45 2.47 200830976 timeout (false(valid-memtrack)) 90.4  55.9  684711936 unknown 9.36 3.71 248254464 timeout (false(valid-memtrack)) 90.5  64.5  607510528 unknown 9.02 3.45 258015232 timeout (false(valid-memtrack)) 90.4  56.1  676052992 unknown 8.86 3.11 264605696 timeout (false(valid-memtrack)) 90.2  56.5  701874176 unknown 6.87 2.67 217739264 timeout (false(valid-memtrack)) 91.2  57.9  680804352
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 5.56 2.17 181678080 error: exception 5.72 2.20 182616064 error: exception 5.40 2.07 182255616 error: exception 5.49 2.17 181633024 error: exception 5.28 2.04 180592640 error: exception 6.18 2.65 184700928 error: exception 6.17 5.01 181301248 error: exception 5.70 2.32 184610816 error: exception 5.64 2.11 181141504 error: exception 5.71 2.22 183005184 error: exception 5.46 2.16 183676928 error: exception 5.52 2.23 184225792 error: exception 5.31 2.17 180080640
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-memtrack) 20.5  7.66 341426176 unknown 8.77 3.23 254844928 false(valid-memtrack) 19.8  6.99 348921856 unknown 7.80 2.99 248741888 false(valid-memtrack) 20.5  7.41 353738752 unknown 9.77 3.85 252698624 false(valid-memtrack) 22.6  9.33 294776832 unknown 9.33 3.61 254988288 false(valid-memtrack) 20.8  7.39 363704320 unknown 8.65 3.20 255016960 false(valid-memtrack) 18.5  6.77 349024256 unknown 8.67 3.25 260587520 false(valid-memtrack) 19.0  6.98 334733312
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-memtrack) 20.7  7.45 353591296 unknown 8.98 3.22 256491520 false(valid-memtrack) 21.8  7.73 356798464 unknown 8.23 3.09 253263872 false(valid-memtrack) 20.4  7.39 354127872 unknown 9.88 4.07 255029248 false(valid-memtrack) 24.9  10.3  354242560 unknown 9.34 3.53 253861888 false(valid-memtrack) 21.3  7.71 358633472 unknown 9.16 3.34 252743680 false(valid-memtrack) 20.8  7.52 358240256 unknown 8.86 3.14 265986048 false(valid-memtrack) 20.4  7.29 350408704
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 5.59 2.15 181252096 error: exception 5.88 2.18 181329920 error: exception 5.63 2.23 185008128 error: exception 5.55 2.16 184201216 error: exception 5.76 2.28 177819648 error: exception 6.41 2.74 181968896 error: exception 6.14 2.49 179859456 error: exception 5.60 2.25 181145600 error: exception 5.83 2.22 181243904 error: exception 5.54 2.13 184111104 error: exception 6.01 2.25 178233344 error: exception 5.68 2.23 182108160 error: exception 5.61 2.14 180609024
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error: exception 5.52 2.14 181710848 error: exception 5.76 2.18 182288384 error: exception 5.45 2.10 179601408 error: exception 5.43 2.08 180076544 error: exception 5.58 2.20 179154944 error: exception 6.11 2.55 184119296 error: exception 5.93 2.37 180928512 error: exception 5.94 2.34 185319424 error: exception 5.73 2.25 185991168 error: exception 5.52 2.09 180248576 error: exception 5.97 2.16 185581568 error: exception 5.91 2.21 184418304 error: exception 5.67 2.20 180498432
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 5.27 2.11 178843648 error: exception 5.73 2.14 179355648 error: exception 5.60 2.18 183648256 error: exception 5.62 2.12 182157312 error: exception 5.80 2.52 185671680 error: exception 6.25 2.80 180187136 error: exception 6.21 2.64 180592640 error: exception 5.77 2.33 181399552 error: exception 5.46 2.11 182358016 error: exception 5.69 2.17 185294848 error: exception 5.55 2.09 185741312 error: exception 5.37 2.18 182026240 error: exception 5.45 2.09 177885184
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-memtrack) 28.0  9.69 460406784 unknown 14.8  5.34 436764672 false(valid-memtrack) 26.9  9.31 464482304 unknown 12.3  4.24 330141696 false(valid-memtrack) 27.2  9.66 479784960 timeout (error (143)) 96.3  69.9  2184413184 false(valid-memtrack) 29.9  10.8  407764992 timeout (error (143)) 95.4  68.4  2190823424 false(valid-memtrack) 27.0  9.32 461897728 timeout (error (143)) 96.2  71.0  2185658368 false(valid-memtrack) 29.2  10.0  475340800 unknown 15.3  5.30 424591360 false(valid-memtrack) 27.6  9.58 450744320
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-memtrack) 11.6  4.27 288886784 unknown 8.07 3.03 238067712 false(valid-memtrack) 11.6  4.36 278577152 unknown 7.45 2.78 213270528 false(valid-memtrack) 12.2  4.42 285581312 unknown 9.42 3.92 254201856 false(valid-memtrack) 13.2  5.52 291401728 unknown 8.54 3.38 250802176 false(valid-memtrack) 11.8  4.35 281436160 unknown 8.54 3.15 251535360 false(valid-memtrack) 11.9  4.37 286642176 unknown 7.90 3.01 236347392 false(valid-memtrack) 11.7  4.36 291008512
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-memtrack) 18.6  7.12 346820608 unknown 9.20 3.33 267026432 error: exception 28.2  9.60 472608768 unknown 7.80 2.94 228237312 error: exception 18.2  6.57 289783808 unknown 46.1  28.7  1472315392 timeout (error (143)) 94.4  69.6  2188451840 unknown 40.1  24.5  1700061184 timeout (error (143)) 95.9  74.2  2183847936 unknown 39.0  23.8  1742893056 timeout (error (143)) 96.1  73.1  2186469376 unknown 9.32 3.37 264663040 error: exception 29.4  9.98 479428608
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-memtrack) 10.6  3.90 254390272 unknown 8.12 2.93 221675520 false(valid-memtrack) 9.93 3.82 251236352 unknown 7.07 2.65 212398080 false(valid-memtrack) 10.1  3.72 245006336 unknown 8.90 3.29 256192512 false(valid-memtrack) 11.0  5.46 248786944 unknown 8.09 2.98 255991808 false(valid-memtrack) 9.68 3.74 260341760 unknown 7.50 2.87 245760000 false(valid-memtrack) 10.2  3.75 256184320 unknown 7.44 2.78 229097472 false(valid-memtrack) 9.99 3.78 257523712
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-memtrack) 8.17 3.09 236158976 unknown 6.82 2.60 200708096 false(valid-memtrack) 7.95 3.14 229728256 unknown 6.89 2.65 198275072 false(valid-memtrack) 8.22 3.12 233971712 unknown 7.61 3.02 212267008 false(valid-memtrack) 9.18 5.80 227807232 unknown 7.06 2.90 209227776 false(valid-memtrack) 8.04 3.06 228663296 unknown 6.88 2.64 209076224 false(valid-memtrack) 7.84 3.06 231821312 unknown 7.28 2.73 207691776 false(valid-memtrack) 8.03 3.16 232239104
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-memtrack) 11.8  4.24 285216768 unknown 10.7  3.92 318418944 false(valid-memtrack) 11.1  4.06 280760320 unknown 7.85 2.92 243593216 false(valid-memtrack) 11.5  4.17 283287552 unknown 49.7  32.7  2140291072 false(valid-memtrack) 12.2  6.07 292040704 unknown 46.4  29.8  2147590144 false(valid-memtrack) 11.1  4.10 286973952 unknown 48.3  30.4  2160582656 false(valid-memtrack) 11.1  4.06 286019584 unknown 9.62 3.52 320122880 false(valid-memtrack) 11.2  4.11 275435520
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-memtrack) 11.0  4.11 277327872 unknown 7.32 2.77 217845760 false(valid-memtrack) 10.9  4.10 281059328 unknown 7.23 2.79 220680192 false(valid-memtrack) 11.6  4.29 286244864 unknown 8.74 3.60 251392000 false(valid-memtrack) 11.7  4.55 284282880 unknown 7.84 3.28 262344704 false(valid-memtrack) 10.7  3.99 287113216 unknown 7.80 2.89 256401408 false(valid-memtrack) 10.8  4.01 283619328 unknown 7.61 2.84 231477248 false(valid-memtrack) 11.2  4.13 281133056
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 12.6  4.73 296869888 unknown 7.50 2.87 231174144 false(valid-memtrack) 23.4  7.88 373424128 unknown 7.51 2.76 217214976 false(valid-memtrack) 18.4  6.63 340467712 unknown 9.17 3.96 253841408 false(valid-memtrack) 42.5  16.0  702951424 unknown 8.57 3.29 250912768 false(valid-memtrack) 38.8  13.1  608239616 unknown 7.93 2.96 252178432 false(valid-memtrack) 38.0  12.8  634855424 unknown 7.64 2.86 231989248 false(valid-memtrack) 23.4  7.91 386863104
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 5.69 2.21 181080064 error: exception 5.48 2.07 181338112 error: exception 5.64 2.18 182624256 error: exception 5.47 2.15 180252672 error: exception 5.74 2.25 183119872 error: exception 6.34 2.82 179236864 error: exception 6.08 2.74 182259712 error: exception 5.84 2.48 181723136 error: exception 5.79 2.25 180875264 error: exception 5.52 2.08 186548224 error: exception 5.40 2.14 180297728 error: exception 5.87 2.17 183664640 error: exception 5.81 2.22 181727232
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 5.36 2.20 182771712 error: exception 5.54 2.14 179384320 error: exception 5.48 2.21 178257920 error: exception 5.38 2.02 178618368 error: exception 5.47 2.09 178774016 error: exception 6.21 2.54 178470912 error: exception 5.98 2.32 181325824 error: exception 5.74 2.39 184061952 error: exception 5.38 2.07 181342208 error: exception 5.62 2.13 181129216 error: exception 5.38 2.05 177258496 error: exception 5.32 2.11 181047296 error: exception 5.83 2.26 181280768
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 5.37 2.12 179331072 error: exception 5.42 2.10 182497280 error: exception 5.82 2.21 181702656 error: exception 5.74 2.19 180699136 error: exception 5.48 2.15 179769344 error: exception 6.42 2.63 185225216 error: exception 5.79 2.38 179736576 error: exception 5.91 2.41 181866496 error: exception 5.36 2.09 181514240 error: exception 5.46 2.10 182112256 error: exception 5.42 2.15 181870592 error: exception 5.36 2.10 179679232 error: exception 5.59 2.25 178982912
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 5.50 2.17 185597952 error: exception 5.45 2.13 182779904 error: exception 5.39 2.07 178933760 error: exception 5.47 2.06 184614912 error: exception 5.68 2.12 181776384 error: exception 6.16 2.75 182026240 error: exception 6.26 2.65 182767616 error: exception 5.66 2.31 185528320 error: exception 5.55 2.09 179822592 error: exception 5.63 2.11 182960128 error: exception 5.55 2.16 182054912 error: exception 5.36 2.11 181944320 error: exception 5.33 2.06 178724864
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 5.51 2.15 182075392 error: exception 5.64 2.12 179154944 error: exception 5.34 2.07 180662272 error: exception 5.44 2.11 178266112 error: exception 5.58 2.12 179834880 error: exception 6.04 2.50 177434624 error: exception 6.15 2.59 177594368 error: exception 5.94 2.42 183185408 error: exception 5.50 2.14 179494912 error: exception 5.58 2.11 180535296 error: exception 5.47 2.16 181968896 error: exception 5.58 2.18 180985856 error: exception 5.64 2.14 181317632
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 40.0  16.8  468934656 unknown 43.1  23.4  1598730240 timeout (false(valid-memtrack)) 92.6  40.2  1787822080 unknown 10.6  3.80 281591808 timeout (false(valid-memtrack)) 92.6  57.1  612564992 timeout (error (143)) 96.2  75.7  2422841344 timeout (error (143)) 96.3  71.2  2211889152 timeout (error (143)) 96.5  75.8  2433515520 timeout (error (143)) 96.6  72.3  2202136576 timeout (error (143)) 96.0  74.3  2286653440 timeout (error (143)) 96.7  71.2  2214551552 unknown 45.9  25.4  1545080832 timeout (false(valid-memtrack)) 91.0  37.3  1652625408
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 5.50 2.13 178393088 error: exception 5.38 2.11 180486144 error: exception 5.81 2.23 185532416 error: exception 5.93 2.16 185720832 error: exception 5.58 2.20 184913920 error: exception 6.15 2.64 180367360 error: exception 5.82 2.89 183402496 error: exception 5.69 2.44 179433472 error: exception 5.38 2.10 182444032 error: exception 5.32 2.10 179138560 error: exception 5.39 2.45 181338112 error: exception 5.57 2.19 181567488 error: exception 5.62 2.27 180097024
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 5.80 2.21 183373824 error: exception 5.54 2.14 181895168 error: exception 5.38 2.15 179388416 error: exception 5.48 2.17 178692096 error: exception 5.63 2.16 180944896 error: exception 6.31 2.89 182513664 error: exception 5.67 2.35 181026816 error: exception 6.22 2.54 178634752 error: exception 5.51 2.17 181850112 error: exception 5.57 2.14 179425280 error: exception 5.24 2.11 179986432 error: exception 5.80 2.20 184627200 error: exception 5.91 2.48 179261440
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 11.1  4.14 269766656 unknown 7.85 2.97 232636416 false(valid-memtrack) 11.1  4.15 274419712 unknown 7.37 2.87 215048192 false(valid-memtrack) 11.2  4.13 267239424 unknown 8.89 3.54 255332352 false(valid-memtrack) 11.6  4.65 272568320 unknown 8.59 3.27 251367424 false(valid-memtrack) 10.9  3.94 272027648 unknown 8.17 3.04 253865984 false(valid-memtrack) 10.8  4.00 272437248 unknown 7.31 2.92 228483072 false(valid-memtrack) 11.3  4.32 271273984
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 10.5  3.96 265351168 unknown 7.52 2.89 226250752 false(valid-memtrack) 10.9  4.09 268550144 unknown 7.15 2.78 217169920 false(valid-memtrack) 10.7  3.97 269447168 unknown 8.88 3.65 252956672 false(valid-memtrack) 11.3  4.51 269217792 unknown 8.46 3.23 252506112 false(valid-memtrack) 10.6  3.91 265732096 unknown 7.95 2.94 250048512 false(valid-memtrack) 10.3  3.81 268791808 unknown 7.48 2.84 230047744 false(valid-memtrack) 10.7  4.05 272289792
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.67 3.63 242511872 unknown 7.53 2.90 230752256 false(valid-memtrack) 9.55 3.52 241582080 unknown 7.78 2.88 215916544 false(valid-memtrack) 9.60 3.56 239976448 unknown 8.56 3.41 257331200 false(valid-memtrack) 9.87 4.06 243232768 unknown 8.31 3.14 255336448 false(valid-memtrack) 9.16 3.50 242941952 unknown 8.53 3.13 255090688 false(valid-memtrack) 9.89 3.65 244744192 unknown 7.26 2.66 236711936 false(valid-memtrack) 9.68 3.58 243965952
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.92 3.76 267763712 unknown 8.06 3.14 228409344 false(valid-memtrack) 15.3  5.38 320598016 unknown 7.23 2.74 215859200 false(valid-memtrack) 13.4  4.86 292659200 unknown 8.91 3.50 251334656 false(valid-memtrack) 26.2  9.61 554217472 unknown 8.24 3.11 254836736 false(valid-memtrack) 23.8  8.14 550477824 unknown 8.22 2.97 254627840 false(valid-memtrack) 24.4  8.52 568954880 unknown 7.57 2.85 229646336 false(valid-memtrack) 16.0  5.61 342851584
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.83 3.36 232493056 unknown 7.32 2.74 226914304 false(valid-memtrack) 8.69 3.26 238116864 unknown 6.88 2.63 213970944 false(valid-memtrack) 8.62 3.27 235773952 unknown 8.96 3.62 255803392 false(valid-memtrack) 10.0  4.47 229531648 unknown 8.15 3.25 257245184 false(valid-memtrack) 8.95 3.30 239865856 unknown 8.07 2.93 253497344 false(valid-memtrack) 8.30 3.24 238788608 unknown 7.51 2.78 229228544 false(valid-memtrack) 8.63 3.28 238989312
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.34 3.22 239210496 unknown 6.98 2.69 212860928 false(valid-memtrack) 8.73 3.19 240766976 unknown 7.05 2.70 211046400 false(valid-memtrack) 8.31 3.12 245215232 unknown 8.91 3.48 257056768 false(valid-memtrack) 9.28 3.44 247410688 unknown 8.03 3.08 257101824 false(valid-memtrack) 8.56 3.27 240812032 unknown 7.81 2.93 255340544 false(valid-memtrack) 8.34 3.34 244658176 unknown 7.07 2.71 210305024 false(valid-memtrack) 8.94 3.49 245264384
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 5.51 2.12 179908608 error: exception 5.45 2.14 184377344 error: exception 5.56 2.15 179552256 error: exception 5.34 2.11 178294784 error: exception 5.38 2.02 182702080 error: exception 5.89 2.56 179662848 error: exception 5.63 2.22 180494336 error: exception 5.51 2.21 181313536 error: exception 5.43 2.09 180080640 error: exception 5.44 2.12 180977664 error: exception 5.47 2.15 178536448 error: exception 5.54 2.10 179011584 error: exception 6.17 2.22 185917440
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 5.29 2.11 181436416 error: exception 5.00 2.06 183218176 error: exception 5.72 2.23 178343936 error: exception 5.77 2.18 180985856 error: exception 5.64 2.14 180350976 error: exception 5.74 2.51 180903936 error: exception 5.42 2.19 179408896 error: exception 5.77 2.24 180137984 error: exception 5.44 2.12 180469760 error: exception 5.57 2.10 177954816 error: exception 5.37 2.11 180420608 error: exception 5.57 2.21 179331072 error: exception 5.50 2.29 176861184
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 22.8  7.95 358694912 unknown 8.47 3.20 256094208 false(valid-memtrack) 21.5  7.56 359694336 unknown 8.69 3.22 256159744 false(valid-memtrack) 21.8  7.57 363311104 unknown 9.66 3.87 258359296 false(valid-memtrack) 24.5  8.87 363810816 unknown 9.13 3.41 257298432 false(valid-memtrack) 20.8  7.28 353329152 unknown 8.86 3.23 255340544 false(valid-memtrack) 22.4  7.90 359477248 unknown 8.58 3.11 255602688 false(valid-memtrack) 23.7  8.23 366583808
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.5  4.28 273502208 unknown 7.84 2.89 243437568 false(valid-memtrack) 12.0  4.27 282689536 unknown 7.44 2.94 221999104 false(valid-memtrack) 11.1  4.06 287285248 unknown 9.07 3.57 252432384 false(valid-memtrack) 13.2  5.56 296910848 unknown 8.30 3.12 255197184 false(valid-memtrack) 11.3  4.23 275922944 unknown 8.43 3.05 261763072 false(valid-memtrack) 11.6  4.28 291696640 unknown 7.97 2.92 238981120 false(valid-memtrack) 11.7  4.27 287887360
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 22.6  7.91 371830784 unknown 8.77 3.18 256004096 false(valid-memtrack) 22.8  8.03 365277184 unknown 9.10 3.52 250482688 false(valid-memtrack) 23.8  8.38 366317568 unknown 9.78 3.88 255447040 false(valid-memtrack) 28.2  11.7  322273280 unknown 9.24 3.48 256348160 false(valid-memtrack) 22.5  8.04 360607744 unknown 9.04 3.22 256466944 false(valid-memtrack) 23.1  8.25 367419392 unknown 8.62 3.19 252284928 false(valid-memtrack) 22.4  7.91 310980608
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.9  4.04 272392192 unknown 7.41 2.80 225886208 false(valid-memtrack) 15.3  5.34 330825728 unknown 7.48 2.96 209068032 false(valid-memtrack) 12.4  4.60 291586048 unknown 8.70 3.50 247844864 false(valid-memtrack) 25.2  9.63 470331392 unknown 8.01 2.97 253616128 false(valid-memtrack) 21.4  7.34 569679872 unknown 7.94 2.91 256471040 false(valid-memtrack) 21.5  7.56 486801408 unknown 7.23 2.77 219783168 false(valid-memtrack) 14.9  5.29 314081280
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.04 3.46 244133888 unknown 7.57 2.79 228384768 false(valid-memtrack) 9.01 3.44 239337472 unknown 7.04 2.70 213012480 false(valid-memtrack) 8.97 3.55 238915584 unknown 8.22 3.24 254136320 false(valid-memtrack) 9.65 4.10 239050752 unknown 7.89 3.10 243609600 false(valid-memtrack) 9.00 3.46 241750016 unknown 7.85 2.99 256077824 false(valid-memtrack) 9.06 3.44 241045504 unknown 7.56 2.81 225443840 false(valid-memtrack) 8.84 3.42 249180160
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.0  3.76 253337600 unknown 7.38 2.76 225046528 false(valid-memtrack) 9.76 3.68 263143424 unknown 7.15 2.73 215904256 false(valid-memtrack) 9.97 3.76 257081344 unknown 8.66 3.45 252256256 false(valid-memtrack) 11.2  4.90 260124672 unknown 8.00 3.14 252133376 false(valid-memtrack) 10.1  3.80 268443648 unknown 7.85 2.93 254443520 false(valid-memtrack) 10.6  4.18 267145216 unknown 7.22 2.75 228134912 false(valid-memtrack) 10.1  3.76 259649536
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.0  4.14 284094464 unknown 10.9  3.89 328441856 false(valid-memtrack) 11.1  4.07 282267648 unknown 7.70 2.90 240369664 false(valid-memtrack) 10.8  4.05 285347840 unknown 52.3  34.6  2157207552 false(valid-memtrack) 12.8  5.36 275951616 unknown 47.9  30.7  2164088832 false(valid-memtrack) 11.1  4.05 279474176 unknown 46.3  29.7  2131365888 false(valid-memtrack) 11.4  4.33 282492928 unknown 10.4  3.88 332484608 false(valid-memtrack) 11.3  4.02 278814720
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.5  4.17 281903104 unknown 10.8  3.77 325140480 false(valid-memtrack) 11.5  4.22 279568384 unknown 7.70 3.01 238571520 false(valid-memtrack) 11.1  4.09 281821184 unknown 50.1  29.9  2156376064 false(valid-memtrack) 13.1  5.54 282828800 unknown 42.8  26.7  2157010944 false(valid-memtrack) 11.3  4.09 279277568 unknown 39.7  24.7  2128343040 false(valid-memtrack) 11.3  4.21 282238976 unknown 10.6  3.86 322707456 false(valid-memtrack) 11.2  4.16 279941120
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.6  4.19 284008448 unknown 8.18 3.06 250388480 false(valid-memtrack) 11.2  4.08 283848704 unknown 7.69 2.92 223473664 false(valid-memtrack) 11.6  4.30 276721664 unknown 11.7  4.34 330280960 false(valid-memtrack) 12.5  4.64 272822272 unknown 12.7  4.72 342065152 false(valid-memtrack) 11.5  4.23 277504000 unknown 11.8  4.21 344940544 false(valid-memtrack) 11.8  4.36 286158848 unknown 8.20 3.05 252665856 false(valid-memtrack) 11.6  4.35 283914240
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.16 3.42 252260352 unknown 7.28 2.75 230248448 false(valid-memtrack) 9.14 3.44 240861184 unknown 7.12 2.68 216416256 false(valid-memtrack) 9.35 3.46 246771712 unknown 8.46 3.59 246398976 false(valid-memtrack) 10.0  4.05 251797504 unknown 7.79 3.10 245346304 false(valid-memtrack) 8.97 3.43 253566976 unknown 7.83 2.84 245202944 false(valid-memtrack) 9.33 3.52 238960640 unknown 7.21 2.81 219471872 false(valid-memtrack) 9.42 3.46 242622464
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.6  3.87 276164608 unknown 7.39 2.75 230731776 false(valid-memtrack) 10.6  3.88 274882560 unknown 7.15 2.67 215171072 false(valid-memtrack) 10.5  3.90 274968576 unknown 9.45 3.97 254099456 false(valid-memtrack) 11.9  4.82 270073856 unknown 8.33 3.17 257388544 false(valid-memtrack) 10.6  3.94 273911808 unknown 8.06 2.92 254894080 false(valid-memtrack) 10.5  3.92 273686528 unknown 7.46 2.84 232914944 false(valid-memtrack) 10.6  3.82 272371712
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.94 3.59 246788096 unknown 7.45 2.73 231448576 false(valid-memtrack) 9.79 3.62 244658176 unknown 7.12 2.67 213942272 false(valid-memtrack) 9.42 3.48 249278464 unknown 8.48 3.39 256204800 false(valid-memtrack) 10.7  4.62 236957696 unknown 7.91 2.96 254140416 false(valid-memtrack) 9.61 3.61 250712064 unknown 8.02 2.93 256163840 false(valid-memtrack) 9.75 3.77 251523072 unknown 7.36 2.75 230907904 false(valid-memtrack) 9.70 3.61 237563904
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i false(valid-memtrack) 16.5  6.68 327360512 unknown 7.39 2.97 228548608 error: exception 17.6  6.20 363433984 unknown 7.24 2.81 216813568 error: exception 15.6  5.41 320167936 unknown 9.23 3.84 253804544 error: exception 34.8  15.1  595283968 unknown 8.26 3.14 251465728 error: exception 28.1  9.59 570683392 unknown 8.24 3.00 252116992 error: exception 28.5  9.68 547840000 unknown 7.74 2.89 226951168 error: exception 17.8  6.14 360443904
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 5.92 2.19 185794560 error: exception 5.73 2.17 184295424 error: exception 5.49 2.18 179625984 error: exception 5.89 2.13 179912704 error: exception 5.58 2.10 180838400 error: exception 5.76 2.48 184545280 error: exception 6.31 3.06 180961280 error: exception 5.66 2.26 181346304 error: exception 5.59 2.23 179765248 error: exception 5.28 2.07 182775808 error: exception 5.84 2.20 181673984 error: exception 5.45 2.14 179347456 error: exception 5.42 2.13 178864128
ldv-memsafety/memleaks_test12_true-valid-memsafety.i false(valid-memtrack) 26.7  9.24 486936576 unknown 15.3  5.43 445972480 false(valid-memtrack) 27.7  9.60 463261696 unknown 12.2  4.34 330620928 false(valid-memtrack) 27.4  9.49 469295104 timeout (error (143)) 95.9  73.7  2169004032 false(valid-memtrack) 33.7  14.9  514330624 timeout (error (143)) 96.0  73.9  2179432448 false(valid-memtrack) 28.5  9.87 468926464 timeout (error (143)) 96.1  72.2  2188103680 false(valid-memtrack) 27.9  9.72 457469952 unknown 15.1  5.29 436826112 false(valid-memtrack) 28.0  9.64 468209664
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 5.73 2.18 181145600 error: exception 5.37 2.11 180912128 error: exception 5.57 2.18 181723136 error: exception 5.69 2.17 179228672 error: exception 5.63 2.17 182427648 error: exception 6.53 2.52 184909824 error: exception 6.37 2.79 179904512 error: exception 5.98 2.48 180633600 error: exception 5.59 2.24 179539968 error: exception 5.74 2.25 183046144 error: exception 5.62 2.14 187895808 error: exception 5.79 2.19 184156160 error: exception 5.90 2.22 181960704
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 5.69 2.21 184107008 error: exception 5.55 2.18 182362112 error: exception 5.58 2.16 179400704 error: exception 5.72 2.16 182784000 error: exception 5.63 2.19 183808000 error: exception 6.41 2.84 183681024 error: exception 6.35 2.74 188989440 error: exception 5.89 2.37 179777536 error: exception 5.68 2.17 180690944 error: exception 5.52 2.16 182632448 error: exception 5.71 2.18 178180096 error: exception 5.86 2.29 182644736 error: exception 5.70 2.14 181596160
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i false(valid-memtrack) 22.3  8.51 398671872 unknown 8.06 3.08 254513152 error: exception 30.8  10.5  599121920 unknown 7.92 2.91 241672192 error: exception 17.9  6.63 344506368 unknown 9.85 4.04 255049728 timeout (error (143)) 95.5  58.6  2295709696 unknown 8.88 3.53 254595072 timeout (error (143)) 96.4  65.0  2319790080 unknown 9.19 3.36 262356992 timeout (error (143)) 96.3  64.4  2285207552 unknown 8.37 3.12 255631360 error: exception 31.0  10.7  589914112
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 5.41 2.16 182853632 error: exception 5.39 2.12 183435264 error: exception 5.41 2.18 180953088 error: exception 5.52 2.33 182521856 error: exception 5.51 2.16 184852480 error: exception 5.91 2.47 181063680 error: exception 5.73 2.37 180023296 error: exception 5.46 2.14 176922624 error: exception 5.27 2.11 179208192 error: exception 5.54 2.09 182046720 error: exception 5.49 2.22 181014528 error: exception 5.63 2.17 185745408 error: exception 5.44 2.13 182509568
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.8  4.26 285274112 unknown 7.52 2.86 234135552 false(valid-memtrack) 12.3  4.64 291274752 unknown 7.62 2.86 220061696 false(valid-memtrack) 11.8  4.29 287219712 unknown 8.90 3.73 250114048 false(valid-memtrack) 13.9  5.94 278085632 unknown 8.38 3.26 253186048 false(valid-memtrack) 12.2  4.42 283271168 unknown 8.41 3.06 253468672 false(valid-memtrack) 12.0  4.47 291643392 unknown 8.02 2.94 240246784 false(valid-memtrack) 12.0  4.38 284913664
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.9  4.35 282083328 unknown 8.06 2.92 242020352 false(valid-memtrack) 11.8  4.36 289337344 unknown 7.47 2.79 225083392 false(valid-memtrack) 12.2  4.41 287068160 unknown 9.06 3.48 253362176 false(valid-memtrack) 13.8  5.85 290467840 unknown 8.64 3.30 252895232 false(valid-memtrack) 12.5  4.64 290906112 unknown 8.43 3.10 252887040 false(valid-memtrack) 12.4  4.45 278884352 unknown 7.88 2.99 251273216 false(valid-memtrack) 11.9  4.44 283471872
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.1  3.81 268509184 unknown 7.46 2.85 232341504 false(valid-memtrack) 10.0  3.79 272715776 unknown 7.27 2.74 212733952 false(valid-memtrack) 10.4  3.91 267485184 unknown 8.97 3.61 254398464 false(valid-memtrack) 10.9  4.20 273907712 unknown 8.43 3.21 255827968 false(valid-memtrack) 10.3  3.94 267665408 unknown 8.65 3.06 252854272 false(valid-memtrack) 10.8  3.89 272539648 unknown 7.61 2.89 227274752 false(valid-memtrack) 10.5  3.92 266944512
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i false(valid-memtrack) 18.5  7.04 370900992 unknown 9.34 3.35 265805824 error: exception 29.4  9.93 483856384 unknown 7.72 2.88 225812480 error: exception 18.4  6.55 342011904 unknown 38.3  21.2  1717501952 timeout (error (143)) 95.9  72.2  2173227008 unknown 32.8  18.4  1546723328 timeout (error (143)) 91.5  71.1  2186498048 unknown 32.8  18.3  1544024064 timeout (error (143)) 95.8  72.3  2178736128 unknown 9.64 3.55 272293888 error: exception 30.4  10.2  473944064
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.56 3.68 250195968 unknown 7.53 2.76 222420992 false(valid-memtrack) 9.91 3.79 254152704 unknown 6.67 2.55 210333696 false(valid-memtrack) 10.0  3.84 250089472 unknown 8.36 3.31 242872320 false(valid-memtrack) 10.6  4.98 246861824 unknown 7.88 3.07 244797440 false(valid-memtrack) 10.2  3.66 254164992 unknown 7.94 2.84 256274432 false(valid-memtrack) 9.39 3.61 247398400 unknown 7.08 2.70 210280448 false(valid-memtrack) 9.83 3.66 248205312
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 5.72 2.21 184053760 error: exception 5.42 2.09 178790400 error: exception 5.58 2.24 180170752 error: exception 5.57 2.20 180318208 error: exception 5.61 2.13 186335232 error: exception 6.05 2.48 183283712 error: exception 5.76 2.61 181702656 error: exception 5.34 2.14 185176064 error: exception 5.32 2.10 182706176 error: exception 5.43 2.08 181121024 error: exception 5.44 2.09 181850112 error: exception 5.48 2.13 185180160 error: exception 5.55 2.25 180125696
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 5.49 2.15 179769344 error: exception 5.38 2.13 180228096 error: exception 5.56 2.18 179494912 error: exception 5.47 2.16 177807360 error: exception 5.26 2.10 179752960 error: exception 5.77 2.32 180285440 error: exception 5.93 2.54 181231616 error: exception 5.61 2.27 179896320 error: exception 5.57 2.18 179961856 error: exception 5.46 2.08 183332864 error: exception 5.35 2.12 179318784 error: exception 5.42 2.12 179740672 error: exception 5.62 2.16 181080064
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i false(valid-memtrack) 18.6  6.68 346439680 unknown 7.83 3.00 253329408 false(valid-memtrack) 18.8  6.85 347205632 unknown 8.19 3.03 248729600 false(valid-memtrack) 18.1  6.60 325763072 unknown 9.13 3.52 255287296 false(valid-memtrack) 18.7  7.01 339046400 unknown 8.91 3.32 251785216 false(valid-memtrack) 18.4  6.64 347926528 unknown 8.82 3.17 255156224 false(valid-memtrack) 18.4  6.52 350601216 unknown 8.42 3.10 255569920 false(valid-memtrack) 19.0  6.83 350765056
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i false(valid-memtrack) 23.0  8.12 354676736 unknown 8.79 3.30 256720896 false(valid-memtrack) 22.1  7.72 389775360 unknown 8.43 3.10 257507328 false(valid-memtrack) 22.4  7.97 356077568 unknown 9.99 3.98 255451136 false(valid-memtrack) 25.8  9.77 368484352 unknown 9.07 3.53 254038016 false(valid-memtrack) 21.8  7.89 347185152 unknown 9.11 3.21 253964288 false(valid-memtrack) 21.3  7.59 359325696 unknown 8.91 3.33 257703936 false(valid-memtrack) 22.3  7.88 360570880
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i false(valid-memtrack) 25.9  9.21 407650304 unknown 9.09 3.31 254382080 false(valid-memtrack) 26.1  9.29 381710336 unknown 8.88 3.28 254447616 false(valid-memtrack) 25.1  8.89 387375104 unknown 9.76 3.86 253353984 false(valid-memtrack) 28.6  10.7  408801280 unknown 9.06 3.34 253001728 false(valid-memtrack) 27.1  9.59 407183360 unknown 9.36 3.32 259051520 false(valid-memtrack) 24.3  8.69 390709248 unknown 8.68 3.29 254959616 false(valid-memtrack) 24.8  8.83 402952192
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 5.75 2.24 183644160 error: exception 5.60 2.21 181338112 error: exception 5.79 2.24 185339904 error: exception 5.43 2.16 181309440 error: exception 5.70 2.23 182493184 error: exception 6.01 2.50 180707328 error: exception 5.98 2.34 183742464 error: exception 5.49 2.18 182624256 error: exception 5.66 2.25 183906304 error: exception 5.58 2.08 179675136 error: exception 5.80 2.26 184324096 error: exception 5.64 2.16 180985856 error: exception 5.83 2.21 183910400
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error: exception 5.88 2.32 185061376 error: exception 5.55 2.12 184340480 error: exception 5.69 2.21 182681600 error: exception 5.32 2.15 182542336 error: exception 5.68 2.24 181321728 error: exception 6.11 2.58 185724928 error: exception 6.01 3.35 182394880 error: exception 5.90 2.23 188030976 error: exception 5.66 2.16 180707328 error: exception 5.43 2.12 182751232 error: exception 5.76 2.23 181891072 error: exception 5.57 2.17 181932032 error: exception 5.83 2.32 183902208
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.8  3.97 275828736 unknown 7.43 2.79 229126144 false(valid-memtrack) 10.9  4.00 270929920 unknown 7.02 2.68 211210240 false(valid-memtrack) 10.5  4.05 273993728 unknown 8.38 3.29 255463424 false(valid-memtrack) 10.7  4.25 273084416 unknown 8.10 3.08 253902848 false(valid-memtrack) 10.6  4.09 273559552 unknown 7.98 2.87 252948480 false(valid-memtrack) 11.2  4.22 276389888 unknown 7.45 2.72 230998016 false(valid-memtrack) 10.7  4.04 274489344
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.99 3.78 251666432 unknown 7.47 2.72 224313344 false(valid-memtrack) 15.5  5.40 324079616 unknown 7.02 2.72 210984960 false(valid-memtrack) 13.2  4.83 285675520 unknown 8.37 3.39 256946176 false(valid-memtrack) 23.1  8.25 476684288 unknown 7.95 3.09 254251008 false(valid-memtrack) 22.6  7.91 457252864 unknown 7.86 2.90 258842624 false(valid-memtrack) 20.4  7.08 459890688 unknown 7.40 2.84 230379520 false(valid-memtrack) 15.8  5.60 321089536
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i false(valid-memtrack) 10.3  3.83 273600512 unknown 7.55 2.87 229195776 false(valid-memtrack) 11.1  3.96 278736896 unknown 7.38 2.79 210882560 false(valid-memtrack) 11.1  3.89 274644992 unknown 8.89 3.81 249638912 false(valid-memtrack) 12.0  5.15 269492224 unknown 7.99 3.12 254341120 false(valid-memtrack) 10.6  3.90 271020032 unknown 7.84 2.92 248692736 false(valid-memtrack) 10.6  3.87 273596416 unknown 7.35 2.85 228007936 false(valid-memtrack) 10.8  3.97 272121856
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.6  4.18 280440832 unknown 10.6  3.98 321777664 false(valid-memtrack) 11.6  4.24 281280512 unknown 7.61 2.87 239865856 false(valid-memtrack) 11.2  4.22 286318592 unknown 52.9  36.0  2161033216 false(valid-memtrack) 12.9  5.29 285958144 unknown 48.0  31.2  2157621248 false(valid-memtrack) 11.7  4.35 279855104 unknown 46.2  29.6  2145542144 false(valid-memtrack) 11.5  4.35 281264128 unknown 10.7  3.86 321540096 false(valid-memtrack) 11.3  4.20 286048256
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i false(valid-memtrack) 12.8  4.59 284442624 unknown 8.35 3.08 251211776 false(valid-memtrack) 12.2  4.49 286789632 unknown 7.52 2.88 221335552 false(valid-memtrack) 12.3  4.52 288268288 unknown 13.2  5.11 332636160 false(valid-memtrack) 13.1  5.02 284774400 unknown 11.9  4.31 337547264 false(valid-memtrack) 12.7  4.75 284323840 unknown 11.2  3.95 338100224 false(valid-memtrack) 12.7  4.57 284581888 unknown 8.28 3.13 253829120 false(valid-memtrack) 12.4  4.51 279117824
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.1  4.07 275595264 unknown 7.65 2.80 233586688 false(valid-memtrack) 10.8  4.07 276836352 unknown 7.14 2.66 217710592 false(valid-memtrack) 10.8  3.97 277102592 unknown 8.83 3.52 253468672 false(valid-memtrack) 11.6  4.37 280866816 unknown 8.55 3.25 256864256 false(valid-memtrack) 11.4  4.35 282619904 unknown 8.30 3.05 255225856 false(valid-memtrack) 11.3  4.17 281001984 unknown 7.69 2.83 232042496 false(valid-memtrack) 10.8  4.06 283758592
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i false(valid-memtrack) 11.4  4.25 279650304 unknown 7.30 2.84 233607168 false(valid-memtrack) 11.2  4.12 293511168 unknown 7.44 2.76 217022464 false(valid-memtrack) 11.5  4.23 286564352 unknown 8.84 3.50 253288448 false(valid-memtrack) 11.9  4.82 283553792 unknown 7.89 3.12 248414208 false(valid-memtrack) 11.4  4.16 285446144 unknown 8.03 2.97 257224704 false(valid-memtrack) 11.7  4.22 286052352 unknown 7.54 2.75 229883904 false(valid-memtrack) 11.3  4.16 287924224
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.85 3.35 241999872 unknown 21.4  7.37 668250112 false(valid-memtrack) 8.43 3.26 242102272 unknown 7.34 2.83 246472704 false(valid-memtrack) 8.46 3.28 241848320 timeout (error (143)) 90.6  74.4  2155462656 false(valid-memtrack) 9.33 3.69 245399552 timeout (error (143)) 95.2  80.2  2144043008 false(valid-memtrack) 8.65 3.23 242671616 timeout (error (143)) 95.4  77.5  2030006272 false(valid-memtrack) 8.29 3.27 246730752 unknown 19.1  7.26 698290176 false(valid-memtrack) 8.84 3.51 245141504
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.52 3.28 239792128 unknown 11.1  4.00 325644288 false(valid-memtrack) 8.57 3.26 244412416 unknown 8.32 3.16 248795136 false(valid-memtrack) 8.81 3.24 241889280 timeout (error (143)) 95.9  75.5  2180427776 false(valid-memtrack) 9.48 3.70 241819648 timeout (error (143)) 95.7  76.7  2175025152 false(valid-memtrack) 8.55 3.30 245186560 timeout (error (143)) 95.6  76.7  2181988352 false(valid-memtrack) 8.55 3.30 239669248 unknown 11.5  4.10 333709312 false(valid-memtrack) 8.64 3.21 240205824
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.00 3.21 242827264 unknown 10.1  3.71 329859072 false(valid-memtrack) 8.71 3.30 242561024 unknown 8.80 3.33 258355200 false(valid-memtrack) 8.70 3.26 246886400 timeout (error (143)) 95.6  76.8  2173235200 false(valid-memtrack) 9.02 3.77 241221632 timeout (error (143)) 95.5  78.1  2200756224 false(valid-memtrack) 8.78 3.26 244240384 timeout (error (143)) 95.7  77.5  2191421440 false(valid-memtrack) 8.62 3.28 244326400 unknown 10.7  3.75 328327168 false(valid-memtrack) 8.68 3.33 245018624
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i false(valid-memtrack) 9.20 3.45 238534656 unknown 19.2  7.24 661590016 false(valid-memtrack) 9.53 3.59 246210560 unknown 8.96 3.23 264749056 false(valid-memtrack) 8.91 3.34 242790400 timeout (error (143)) 95.6  76.7  2184859648 false(valid-memtrack) 9.38 3.78 245469184 timeout (error (143)) 95.6  80.0  2192785408 false(valid-memtrack) 8.97 3.83 240103424 timeout (error (143)) 95.6  77.9  2177998848 false(valid-memtrack) 9.01 3.41 248836096 unknown 20.1  7.48 641290240 false(valid-memtrack) 8.78 3.35 244379648
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i false(valid-memtrack) 8.88 3.40 243871744 unknown 12.6  4.53 411045888 false(valid-memtrack) 9.67 3.63 253722624 unknown 10.3  3.72 291422208 false(valid-memtrack) 9.08 3.43 251465728 timeout (error (143)) 95.7  76.3  2197020672 false(valid-memtrack) 10.3  4.22 250597376 timeout (error (143)) 95.5  78.3  2189180928 false(valid-memtrack) 8.92 3.56 249548800 timeout (error (143)) 95.9  76.6  2184773632 false(valid-memtrack) 8.68 3.39 251445248 unknown 14.9  5.57 436740096 false(valid-memtrack) 8.98 3.32 243183616
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-memtrack) 8.34 3.23 242003968 unknown 21.9  7.61 682602496 false(valid-memtrack) 8.44 3.26 245641216 unknown 7.53 2.82 246611968 false(valid-memtrack) 8.68 3.35 244121600 timeout (error (143)) 91.3  71.5  2159980544 false(valid-memtrack) 8.66 3.36 249065472 timeout (error (143)) 94.1  74.7  2017804288 false(valid-memtrack) 8.67 3.38 246059008 timeout (error (143)) 95.4  77.9  2061484032 false(valid-memtrack) 8.49 3.27 241270784 unknown 18.8  7.06 676163584 false(valid-memtrack) 8.54 3.26 251932672
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-memtrack) 8.74 3.29 243912704 unknown 11.1  4.04 327118848 false(valid-memtrack) 8.99 3.72 241958912 unknown 8.75 3.16 254111744 false(valid-memtrack) 8.42 3.22 245506048 timeout (error (143)) 95.9  74.4  2175094784 false(valid-memtrack) 9.22 3.74 244842496 timeout (error (143)) 95.7  76.9  2185506816 false(valid-memtrack) 8.37 3.19 244723712 timeout (error (143)) 95.6  76.8  2195193856 false(valid-memtrack) 8.60 3.28 247115776 unknown 11.2  4.04 325185536 false(valid-memtrack) 8.52 3.25 239087616
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-memtrack) 9.18 3.41 247980032 unknown 22.3  9.56 1103360000 false(valid-memtrack) 9.23 3.68 249348096 unknown 9.15 3.38 270041088 false(valid-memtrack) 9.24 3.45 249856000 timeout (error (143)) 95.8  76.0  2194026496 false(valid-memtrack) 9.46 3.91 253288448 timeout (error (143)) 95.7  78.0  2194018304 false(valid-memtrack) 9.17 3.40 248045568 timeout (error (143)) 95.5  78.2  2184400896 false(valid-memtrack) 9.28 3.42 246824960 unknown 22.7  10.1  1042853888 false(valid-memtrack) 9.32 3.48 241364992
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-memtrack) 8.71 3.26 248311808 unknown 14.8  5.34 413192192 false(valid-memtrack) 8.98 3.41 247689216 unknown 10.2  3.72 291602432 false(valid-memtrack) 9.20 3.41 247906304 timeout (error (143)) 95.9  74.3  2172952576 false(valid-memtrack) 10.1  4.07 251195392 timeout (error (143)) 95.8  80.3  2209873920 false(valid-memtrack) 9.16 3.44 252911616 timeout (error (143)) 96.0  73.2  2178695168 false(valid-memtrack) 9.15 3.50 250499072 unknown 14.7  5.22 458596352 false(valid-memtrack) 8.88 3.42 251699200
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-memtrack) 8.88 3.26 246591488 unknown 19.8  7.40 722284544 false(valid-memtrack) 8.78 3.29 245268480 unknown 9.04 3.23 255352832 false(valid-memtrack) 8.72 3.34 248725504 timeout (error (143)) 95.7  76.0  2170441728 false(valid-memtrack) 9.28 3.60 245575680 timeout (error (143)) 95.8  75.9  2179715072 false(valid-memtrack) 8.95 3.38 245760000 timeout (error (143)) 95.8  74.7  2187837440 false(valid-memtrack) 9.03 3.44 249913344 unknown 17.8  6.49 646254592 false(valid-memtrack) 9.10 3.42 251142144
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 16.5  5.93 398462976 unknown 16.3  5.67 426057728 false(valid-memtrack) 18.4  6.87 355385344 error: exception 40.6  17.4  1755197440 false(valid-memtrack) 17.5  6.20 399020032 timeout (error (143)) 95.3  77.2  2169126912 false(valid-memtrack) 20.9  8.72 407396352 timeout (error (143)) 95.9  74.1  2158546944 false(valid-memtrack) 17.2  6.15 392790016 timeout (error (143)) 96.0  76.0  2170597376 false(valid-memtrack) 18.5  6.48 400990208 unknown 15.8  5.50 421765120 false(valid-memtrack) 17.6  6.25 385097728
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 5.63 2.24 183078912 error: exception 5.39 2.12 179613696 error: exception 5.70 2.47 178503680 error: exception 5.74 2.19 182300672 error: exception 5.53 2.16 179478528 error: exception 5.87 2.51 184758272 error: exception 5.88 2.52 179281920 error: exception 5.64 2.31 180903936 error: exception 5.48 2.19 181297152 error: exception 5.60 2.09 181387264 error: exception 5.60 2.23 180875264 error: exception 5.47 2.24 177491968 error: exception 5.44 2.12 181374976
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 92.2  64.0  701509632 timeout (error (143)) 93.1  67.6  2223009792 timeout (false(valid-memtrack)) 91.6  59.1  2190221312 error: exception 16.0  5.57 470466560 false(valid-memtrack) 39.2  16.4  674369536 timeout (error (143)) 95.5  69.0  2186391552 timeout (false(valid-memtrack)) 95.8  67.4  2212933632 timeout (error (143)) 96.2  66.8  2189664256 timeout (error (143)) 96.8  63.0  2212405248 timeout (error (143)) 95.4  70.5  2186002432 timeout (error (143)) 95.7  63.4  2219409408 timeout (error (143)) 91.2  71.5  2219155456 timeout (false(valid-memtrack)) 93.8  63.1  2206244864
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 5.30 2.11 180506624 error: exception 5.50 2.17 183365632 error: exception 5.65 2.30 178036736 error: exception 5.68 2.14 182628352 error: exception 5.62 2.10 180264960 error: exception 6.19 2.79 178647040 error: exception 6.17 2.77 184102912 error: exception 5.51 2.35 185622528 error: exception 5.55 2.22 181489664 error: exception 5.49 2.11 177209344 error: exception 5.11 2.05 181166080 error: exception 5.37 2.12 180207616 error: exception 5.69 2.22 184573952
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 5.49 2.10 178515968 error: exception 5.46 2.17 180924416 error: exception 6.03 2.66 178614272 error: exception 5.46 2.14 179064832 error: exception 5.49 2.16 180109312 error: exception 5.81 2.41 182063104 error: exception 6.39 3.26 181112832 error: exception 5.37 2.24 180830208 error: exception 5.63 2.14 185434112 error: exception 5.30 2.02 180400128 error: exception 5.62 2.25 181751808 error: exception 5.55 2.16 181587968 error: exception 5.39 2.11 176558080
heap-manipulation/tree_false-valid-deref.i error: exception 5.45 2.10 181702656 error: exception 5.27 2.12 180477952 error: exception 6.53 3.31 179929088 error: exception 5.40 2.13 182132736 error: exception 5.73 2.14 184446976 error: exception 5.76 2.50 182231040 error: exception 6.51 2.90 182382592 error: exception 5.38 2.28 180015104 error: exception 5.43 2.13 182218752 error: exception 5.40 2.13 183902208 error: exception 5.47 2.13 181706752 error: exception 5.75 2.17 178741248 error: exception 5.64 2.22 178798592
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (false(valid-memtrack)) 91.2  79.0  453128192 timeout (error (143)) 95.4  79.3  2174210048 timeout (false(valid-memtrack)) 94.1  72.2  2178555904 error: exception 16.8  5.72 451665920 timeout (error (143)) 95.5  75.8  552366080 timeout (error (143)) 96.3  74.3  2194288640 timeout (error (143)) 95.4  70.5  2205634560 timeout (error (143)) 96.4  73.8  2202869760 timeout (error (143)) 95.5  70.0  2211704832 timeout (error (143)) 96.2  75.9  2217689088 timeout (error (143)) 96.4  71.9  2212286464 timeout (error (143)) 95.5  77.5  2189520896 timeout (error (143)) 95.5  76.8  2186051584
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout (false(valid-memtrack)) 91.1  64.4  561766400 timeout (error (143)) 95.8  77.5  2181971968 timeout (false(valid-memtrack)) 93.8  70.4  2200100864 unknown 13.4  4.63 351780864 timeout (false(valid-memtrack)) 93.0  60.3  715898880 timeout (error (143)) 96.0  69.8  2228158464 timeout (error (143)) 97.0  62.7  2220265472 timeout (error (143)) 97.8  72.5  2217156608 timeout (error (143)) 95.9  66.8  2215165952 timeout (error (143)) 96.7  67.7  2217402368 timeout (error (143)) 96.3  65.8  2212151296 timeout (error (143)) 95.9  75.2  2201509888 timeout (error (143)) 96.6  72.7  2214924288
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 14.0  5.12 285306880 timeout (error (143)) 95.8  72.7  2240126976 timeout (false(valid-memtrack)) 91.4  68.6  2225602560 unknown 13.3  4.58 341917696 false(valid-memtrack) 16.1  5.64 338423808 timeout (error (143)) 97.3  73.1  2185502720 timeout (error (143)) 96.8  69.9  2196512768 timeout (error (143)) 95.7  72.0  2171531264 timeout (error (143)) 96.4  70.7  2232246272 timeout (error (143)) 95.9  73.8  2197966848 timeout (error (143)) 97.5  69.1  2242117632 timeout (error (143)) 95.5  73.6  2221969408 timeout (false(valid-memtrack)) 91.2  69.1  2202116096
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 11.7  4.44 281047040 timeout (error (143)) 91.3  65.1  2201866240 timeout (error (143)) 96.1  67.6  2217676800 unknown 13.1  4.53 354279424 false(valid-memtrack) 13.1  4.80 290824192 timeout (error (143)) 95.4  71.9  2167607296 timeout (error (143)) 95.8  66.6  2194792448 timeout (error (143)) 95.6  69.9  2231406592 timeout (error (143)) 95.8  68.8  2238795776 timeout (error (143)) 95.6  71.1  2266550272 timeout (error (143)) 95.8  68.4  2237390848 timeout (error (143)) 96.2  74.9  2191695872 timeout (error (143)) 95.3  67.2  2202021888
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.1  55.6  727638016 timeout (error (143)) 93.5  67.8  2205765632 timeout (error (143)) 95.9  65.1  2225737728 unknown 11.7  4.11 356290560 timeout (false(valid-memtrack)) 90.4  59.8  665468928 timeout (error (143)) 94.8  71.6  2161524736 timeout (false(valid-memtrack)) 92.7  66.3  2190241792 timeout (error (143)) 96.7  72.8  2184327168 timeout (error (143)) 97.3  70.9  2192838656 timeout (error (143)) 97.1  70.8  2183950336 timeout (error (143)) 99.0  71.1  2186772480 timeout (error (143)) 92.6  68.6  2222157824 timeout (error (143)) 95.9  65.4  2238599168
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 63.8  34.2  1378541568 timeout (error (143)) 93.2  67.1  2188697600 timeout (false(valid-memtrack)) 92.3  71.0  2200756224 unknown 9.69 3.44 264785920 timeout (false(valid-memtrack)) 92.4  70.2  570212352 timeout (error (143)) 96.1  73.7  2182209536 timeout (error (143)) 96.1  71.0  2191556608 timeout (error (143)) 96.3  74.8  2188886016 timeout (error (143)) 95.7  69.6  2182078464 timeout (error (143)) 95.5  71.4  2166976512 timeout (error (143)) 96.3  73.6  2194309120 timeout (error (143)) 91.7  69.0  2207117312 timeout (false(valid-memtrack)) 91.2  71.2  2209648640
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 18.1  7.31 337158144 timeout (error (143)) 91.0  69.9  2214289408 timeout (false(valid-memtrack)) 91.5  67.9  2201571328 unknown 10.4  3.76 279384064 false(valid-memtrack) 45.7  25.6  469729280 timeout (error (143)) 95.5  69.7  2178060288 timeout (error (143)) 95.8  77.8  2194776064 timeout (error (143)) 96.2  73.9  2184187904 timeout (error (143)) 96.2  70.3  2195550208 timeout (error (143)) 96.3  74.5  2181902336 timeout (error (143)) 95.3  69.7  2197860352 timeout (error (143)) 91.2  69.5  2203258880 timeout (false(valid-memtrack)) 91.9  68.2  2203639808
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.51 3.27 235732992 timeout (error (143)) 92.0  73.4  2194444288 false(valid-memtrack) 8.63 3.23 236879872 unknown 8.35 3.11 254296064 false(valid-memtrack) 8.62 3.32 237711360 timeout (error (143)) 96.1  70.2  2208321536 false(valid-memtrack) 8.59 3.67 240914432 timeout (error (143)) 96.2  70.1  2185293824 false(valid-memtrack) 8.71 3.39 239493120 timeout (error (143)) 95.8  73.7  2200936448 false(valid-memtrack) 8.43 3.25 238952448 timeout (error (143)) 92.0  73.8  2205761536 false(valid-memtrack) 8.43 3.29 242335744
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 28.1  12.6  478789632 timeout (error (143)) 95.5  70.9  2186440704 timeout (false(valid-memtrack)) 91.5  69.8  2210197504 unknown 8.98 3.20 259268608 false(valid-memtrack) 16.2  5.71 322330624 timeout (error (143)) 96.3  72.6  2178510848 timeout (error (143)) 97.8  68.6  2193612800 timeout (error (143)) 96.4  71.7  2192662528 timeout (error (143)) 96.3  72.0  2230108160 timeout (error (143)) 96.2  73.2  2204004352 timeout (error (143)) 95.5  68.7  2204983296 timeout (error (143)) 92.0  70.5  2196156416 timeout (false(valid-memtrack)) 91.0  65.0  2205949952
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 23.1  9.82 369479680 timeout (error (143)) 92.2  69.6  2198859776 false(valid-memtrack) 42.4  18.0  1289310208 unknown 13.8  4.84 356225024 timeout (false(valid-memtrack)) 92.1  67.2  597573632 timeout (error (143)) 96.1  71.2  2191982592 timeout (error (143)) 96.4  67.8  2207313920 timeout (error (143)) 95.9  70.4  2180538368 timeout (error (143)) 95.6  71.5  2208223232 timeout (error (143)) 95.7  71.2  2186321920 timeout (error (143)) 95.6  71.2  2198900736 timeout (error (143)) 91.6  67.8  2199490560 false(valid-memtrack) 40.5  17.6  1388720128
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.88 2.20 180842496 unknown 6.14 2.34 182067200 unknown 5.94 2.31 181121024 unknown 6.13 2.31 184098816 unknown 6.16 2.32 182214656 unknown 6.37 2.84 182329344 unknown 5.81 3.96 186241024 unknown 5.81 2.33 182943744 unknown 5.93 2.25 181981184 unknown 6.02 2.25 180781056 unknown 6.00 2.37 183472128 unknown 6.56 2.49 185352192 unknown 5.91 2.25 181903360
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.21 2.29 184000512 unknown 6.25 2.51 184274944 unknown 5.88 2.20 180654080 unknown 6.01 2.30 180518912 unknown 6.15 2.31 184500224 unknown 6.34 2.69 180473856 unknown 5.91 2.38 180441088 unknown 6.20 2.41 184168448 unknown 6.13 2.24 179093504 unknown 5.99 2.25 183971840 unknown 5.92 2.24 180985856 unknown 6.60 2.59 180449280 unknown 5.97 2.26 182820864
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.10 2.21 181370880 unknown 6.10 2.54 184598528 unknown 5.92 2.23 182976512 unknown 6.05 2.21 181485568 unknown 5.85 2.19 180899840 unknown 6.44 2.81 183562240 unknown 6.12 2.42 183402496 unknown 6.15 2.49 181284864 unknown 5.83 2.17 178888704 unknown 6.08 2.26 181567488 unknown 6.10 2.31 184016896 unknown 6.17 2.31 180666368 unknown 5.91 2.23 180764672
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.10 2.27 179924992 unknown 6.15 2.59 180289536 unknown 5.66 2.10 180412416 unknown 5.95 2.23 180965376 unknown 6.02 2.27 178364416 unknown 6.54 2.67 179232768 unknown 6.02 2.39 179634176 unknown 6.15 2.48 183693312 unknown 5.98 2.23 182992896 unknown 6.21 2.48 184070144 unknown 5.90 2.21 182218752 unknown 6.00 2.25 183832576 unknown 5.80 2.22 182693888
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.15 2.23 183771136 unknown 6.16 2.50 180944896 unknown 5.89 2.23 182345728 unknown 5.95 2.15 180051968 unknown 5.93 2.23 181280768 unknown 6.46 2.70 181596160 unknown 6.00 2.46 183812096 unknown 6.29 2.33 183365632 unknown 5.80 2.23 181653504 unknown 5.93 2.25 182071296 unknown 5.93 2.25 182190080 unknown 5.87 2.25 184426496 unknown 5.78 2.19 182198272
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.96 2.23 182824960 unknown 5.97 2.38 180801536 unknown 5.92 2.29 179978240 unknown 5.89 2.28 180289536 unknown 6.15 2.27 180604928 unknown 6.78 2.72 183812096 unknown 6.05 2.31 179826688 unknown 6.35 2.57 181469184 unknown 6.00 2.20 180469760 unknown 5.87 2.19 185802752 unknown 5.87 2.25 182173696 unknown 5.76 2.25 179474432 unknown 5.94 2.25 184254464
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 6.02 2.29 183169024 unknown 6.15 2.45 179871744 unknown 5.88 2.23 183623680 unknown 6.10 2.26 184397824 unknown 5.64 2.19 181755904 unknown 6.26 2.71 183795712 unknown 5.98 2.37 181997568 unknown 6.07 2.45 182177792 unknown 5.73 2.20 180670464 unknown 6.17 2.27 183177216 unknown 5.85 2.20 180744192 unknown 5.96 2.18 181923840 unknown 6.01 2.24 180080640
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.90 2.26 181993472 unknown 6.28 2.50 183009280 unknown 5.86 2.19 182325248 unknown 6.14 2.32 185044992 unknown 6.01 2.30 180068352 unknown 6.42 2.62 178741248 unknown 6.11 2.36 180178944 unknown 6.21 2.46 184221696 unknown 6.09 2.31 180551680 unknown 6.01 2.26 180264960 unknown 5.62 2.24 180224000 unknown 5.98 2.23 183791616 unknown 5.86 2.19 178663424
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 6.07 2.16 180076544 unknown 6.28 2.57 184315904 unknown 5.78 2.17 181309440 unknown 5.94 2.28 181837824 unknown 6.07 2.27 178638848 unknown 6.41 2.78 181788672 unknown 6.13 2.37 179941376 unknown 6.11 2.47 179466240 unknown 6.10 2.28 181964800 unknown 5.84 2.21 181379072 unknown 5.81 2.30 182898688 unknown 6.19 2.32 181129216 unknown 5.92 2.23 180109312
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 6.01 2.24 181743616 unknown 6.19 2.32 181694464 unknown 5.98 2.24 183386112 unknown 6.13 2.31 185126912 unknown 5.84 2.17 181968896 unknown 6.56 2.69 182546432 unknown 5.96 2.40 182616064 unknown 6.23 2.60 182263808 unknown 5.99 2.29 184573952 unknown 6.02 2.24 179519488 unknown 6.02 2.32 182468608 unknown 5.94 2.25 186019840 unknown 6.25 2.39 185880576
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.95 2.22 185733120 unknown 5.97 2.32 182198272 unknown 6.04 2.23 182476800 unknown 6.16 2.49 179326976 unknown 5.84 2.23 180502528 unknown 6.59 2.73 184553472 unknown 6.04 2.38 178745344 unknown 6.18 2.56 182198272 unknown 6.07 2.28 182874112 unknown 6.07 2.22 180084736 unknown 6.19 2.37 182501376 unknown 5.91 2.32 181551104 unknown 6.01 2.26 183259136
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.28 182607872 unknown 6.67 2.84 183812096 unknown 5.95 2.26 182091776 unknown 6.03 2.30 181649408 unknown 5.91 2.24 181796864 unknown 6.35 2.87 180637696 unknown 6.07 2.26 180891648 unknown 6.22 2.44 180830208 unknown 6.21 2.30 179978240 unknown 5.98 2.21 183095296 unknown 6.07 2.26 184188928 unknown 5.95 2.26 184504320 unknown 5.85 2.23 179634176
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.88 2.22 181317632 unknown 6.40 2.63 179560448 unknown 5.60 2.13 180699136 unknown 5.96 2.21 183021568 unknown 6.04 2.24 183865344 unknown 6.41 2.63 184684544 unknown 6.28 2.38 183255040 unknown 5.94 2.40 178331648 unknown 6.19 2.50 184397824 unknown 6.13 2.24 185069568 unknown 5.94 2.23 181071872 unknown 5.86 2.23 181673984 unknown 5.89 2.25 180912128
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.6  62.4  613335040 timeout (error (143)) 92.7  71.4  2183122944 timeout (false(valid-memtrack)) 95.1  73.0  2217963520 error: exception 13.1  4.59 345313280 false(valid-memtrack) 14.3  5.06 292335616 timeout (error (143)) 96.0  67.9  2214576128 timeout (error (143)) 95.8  68.6  2223509504 timeout (error (143)) 96.4  71.6  2209685504 timeout (error (143)) 95.7  67.4  2210394112 timeout (error (143)) 95.5  70.0  2230063104 timeout (error (143)) 95.5  70.2  2221170688 timeout (error (143)) 95.0  75.6  2210979840 timeout (false(valid-memtrack)) 91.5  68.6  2202472448
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.0  52.7  875245568 timeout (error (143)) 95.8  74.5  2197364736 timeout (false(valid-memtrack)) 93.4  69.4  2212696064 error: exception 9.84 3.57 277491712 false(valid-memtrack) 16.5  6.10 340369408 timeout (error (143)) 97.8  72.7  2169896960 timeout (false(valid-memtrack)) 94.3  66.4  2124931072 timeout (error (143)) 96.8  71.1  2163793920 timeout (false(valid-memtrack)) 93.7  65.1  1980080128 timeout (error (143)) 96.6  72.9  2150883328 timeout (error (143)) 95.7  64.5  1989767168 timeout (error (143)) 96.4  77.5  2187177984 timeout (false(valid-memtrack)) 92.7  64.8  2231533568
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 16.0  5.53 296415232 timeout (error (143)) 91.9  69.3  2179309568 timeout (false(valid-memtrack)) 95.0  73.0  2199724032 error: exception 8.73 3.24 256622592 false(valid-memtrack) 14.5  4.95 293994496 timeout (error (143)) 96.1  69.8  2200702976 timeout (error (143)) 96.1  65.7  2210762752 timeout (error (143)) 96.9  71.9  2212741120 timeout (error (143)) 96.2  70.3  2238558208 timeout (error (143)) 95.9  72.2  2216988672 timeout (error (143)) 95.9  66.8  2201755648 timeout (error (143)) 94.2  72.2  2178154496 timeout (error (143)) 96.1  72.8  2204033024
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.8  52.9  929538048 timeout (error (143)) 91.5  64.3  2194927616 timeout (error (143)) 96.1  71.5  2192760832 error: exception 8.78 3.19 249716736 timeout (false(valid-memtrack)) 90.8  65.6  601264128 timeout (error (143)) 97.2  73.1  2171596800 timeout (error (143)) 96.7  70.7  2189197312 timeout (error (143)) 96.7  72.4  2175934464 timeout (error (143)) 97.0  70.1  2178355200 timeout (error (143)) 96.2  72.6  2186690560 timeout (error (143)) 97.4  70.6  2186944512 timeout (error (143)) 95.8  75.1  2178224128 timeout (error (143)) 96.1  71.4  2198241280
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.3  52.2  637575168 timeout (error (143)) 95.5  70.0  2194374656 timeout (error (143)) 96.1  73.7  2217750528 unknown 12.3  4.17 356102144 timeout (false(valid-memtrack)) 91.2  60.4  737435648 timeout (error (143)) 96.2  69.1  2180202496 timeout (error (143)) 96.1  67.2  2199912448 timeout (error (143)) 95.6  71.3  2186768384 timeout (error (143)) 96.0  67.8  2195972096 timeout (error (143)) 96.4  73.6  2157015040 timeout (error (143)) 95.8  68.2  2190041088 timeout (error (143)) 96.1  76.3  2204164096 timeout (error (143)) 96.3  71.6  2211454976
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 95.4  57.4  680148992 timeout (error (143)) 96.3  73.7  2189426688 timeout (false(valid-memtrack)) 92.3  64.7  2218483712 unknown 13.0  4.53 349450240 timeout (false(valid-memtrack)) 90.2  56.5  753590272 timeout (error (143)) 96.3  69.4  2209792000 timeout (error (143)) 97.5  68.1  2207903744 timeout (error (143)) 96.3  68.4  2170986496 timeout (error (143)) 97.6  66.7  2214596608 timeout (error (143)) 95.8  70.9  2200698880 timeout (error (143)) 97.2  66.2  2273017856 timeout (error (143)) 95.4  69.3  2194747392 timeout (false(valid-memtrack)) 91.0  62.5  2204012544
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 17.5  6.36 330891264 timeout (error (143)) 91.8  67.8  2181296128 timeout (error (143)) 95.5  69.4  2196692992 error: exception 8.29 3.06 253419520 false(valid-memtrack) 21.8  7.55 393998336 timeout (error (143)) 98.1  74.3  2183745536 timeout (error (143)) 99.8  71.0  2193977344 timeout (error (143)) 97.9  72.9  2177191936 timeout (error (143)) 98.9  71.5  2203611136 timeout (error (143)) 96.9  73.7  2164199424 timeout (error (143)) 99.2  70.0  2191015936 timeout (error (143)) 91.4  69.3  2188210176 timeout (error (143)) 95.5  69.2  2195603456
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 19.1  6.85 350646272 timeout (error (143)) 95.7  75.5  2183127040 timeout (error (143)) 96.0  72.8  2187157504 error: exception 10.6  3.70 276660224 false(valid-memtrack) 15.0  5.36 328024064 timeout (error (143)) 97.4  72.8  2175479808 timeout (error (143)) 97.0  72.1  2196967424 timeout (error (143)) 98.2  72.0  2185048064 timeout (error (143)) 98.4  71.2  2202869760 timeout (error (143)) 97.3  73.1  2180411392 timeout (error (143)) 98.5  71.0  2183360512 timeout (error (143)) 95.7  76.2  2181242880 timeout (error (143)) 96.0  71.4  2204557312
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.6  53.2  703049728 timeout (error (143)) 94.7  74.8  2174029824 timeout (false(valid-memtrack)) 92.5  65.7  2201534464 unknown 12.1  4.18 348459008 timeout (false(valid-memtrack)) 90.9  58.0  680067072 timeout (error (143)) 95.3  68.6  2225610752 timeout (error (143)) 97.3  65.0  2228813824 timeout (error (143)) 95.9  70.2  2265456640 timeout (error (143)) 96.4  64.3  2231894016 timeout (error (143)) 95.4  71.1  2180984832 timeout (error (143)) 95.9  64.1  2239578112 timeout (error (143)) 96.2  76.2  2179538944 timeout (error (143)) 95.4  68.7  2189946880
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.3  66.8  565125120 timeout (error (143)) 91.8  68.1  2185621504 timeout (false(valid-memtrack)) 94.2  68.1  2244001792 error: exception 8.22 3.09 252887040 false(valid-memtrack) 14.0  4.91 287326208 timeout (error (143)) 98.2  70.6  2174865408 timeout (error (143)) 95.6  69.3  2219040768 timeout (error (143)) 96.5  69.3  2197204992 timeout (error (143)) 96.5  71.7  2220498944 timeout (error (143)) 96.1  66.8  2212052992 timeout (error (143)) 95.4  70.0  2215350272 timeout (error (143)) 94.1  73.6  2201796608 timeout (false(valid-memtrack)) 95.4  68.5  2231173120
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 78.3  51.3  615407616 timeout (error (143)) 95.5  78.1  2173927424 timeout (error (143)) 95.8  72.6  2179280896 unknown 19.0  6.52 590835712 false(valid-memtrack) 34.9  14.3  500764672 timeout (error (143)) 95.8  75.0  2190835712 timeout (error (143)) 96.1  72.6  2214080512 timeout (error (143)) 95.5  77.4  2177773568 timeout (error (143)) 95.7  74.6  2214518784 timeout (error (143)) 95.4  77.6  2176606208 timeout (error (143)) 96.0  72.2  2233757696 timeout (error (143)) 95.5  76.5  2169581568 timeout (error (143)) 96.0  72.4  2180702208
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 89.4  50.8  605999104 timeout (error (143)) 95.0  75.8  2194882560 timeout (false(valid-memtrack)) 92.6  67.7  2199916544 error: exception 9.42 3.44 277180416 false(valid-memtrack) 59.6  35.4  518881280 timeout (error (143)) 95.8  73.4  2181013504 timeout (error (143)) 95.9  63.3  2178199552 timeout (error (143)) 95.2  65.4  2169020416 timeout (error (143)) 96.2  68.2  2189066240 timeout (error (143)) 95.9  71.8  2164948992 timeout (error (143)) 95.3  66.1  2116202496 timeout (error (143)) 93.7  74.2  2187378688 timeout (false(valid-memtrack)) 94.3  67.4  2204852224
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 14.4  5.20 289964032 timeout (error (143)) 94.5  75.6  2190745600 timeout (error (143)) 96.6  70.8  2221187072 error: exception 9.56 3.41 257236992 false(valid-memtrack) 14.4  5.18 286658560 timeout (error (143)) 94.5  72.2  2171486208 timeout (error (143)) 95.8  75.3  2192842752 timeout (error (143)) 95.3  75.4  2176499712 timeout (error (143)) 95.8  71.1  2200055808 timeout (error (143)) 96.1  75.8  2174316544 timeout (false(valid-memtrack)) 91.2  67.7  2197618688 timeout (error (143)) 91.8  72.2  2191626240 timeout (error (143)) 96.3  72.1  2216464384
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 90.6  52.4  968581120 timeout (error (143)) 95.6  77.5  2170138624 timeout (false(valid-memtrack)) 91.1  61.3  2193973248 error: exception 8.49 3.13 257069056 timeout (false(valid-memtrack)) 90.4  72.0  404140032 timeout (error (143)) 96.8  67.8  2184290304 timeout (error (143)) 96.3  67.5  2246713344 timeout (error (143)) 95.5  71.4  2219675648 timeout (error (143)) 96.1  67.8  2241769472 timeout (error (143)) 95.7  70.7  2225254400 timeout (error (143)) 95.5  69.8  2203475968 timeout (error (143)) 96.0  72.7  2179145728 timeout (false(valid-memtrack)) 91.3  64.5  2191417344
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 14.5  5.14 290856960 timeout (error (143)) 93.5  70.6  2215927808 timeout (error (143)) 96.2  71.8  2218287104 unknown 11.6  4.01 340594688 false(valid-memtrack) 18.0  6.49 352088064 timeout (error (143)) 95.9  68.0  2173952000 timeout (error (143)) 95.4  71.3  2205728768 timeout (error (143)) 95.7  69.1  2202460160 timeout (error (143)) 95.9  68.5  2207674368 timeout (error (143)) 95.4  68.7  2201059328 timeout (error (143)) 96.4  71.6  2195222528 timeout (error (143)) 95.0  72.5  2230550528 timeout (error (143)) 96.0  72.8  2206638080
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.0  52.4  690253824 timeout (error (143)) 95.9  76.1  2217529344 timeout (false(valid-memtrack)) 95.2  72.9  2216775680 unknown 11.7  4.18 310956032 timeout (false(valid-memtrack)) 92.4  52.6  787214336 timeout (error (143)) 95.5  70.0  2178555904 timeout (error (143)) 96.0  72.8  2186260480 timeout (error (143)) 96.2  73.6  2179878912 timeout (error (143)) 96.2  72.7  2182799360 timeout (error (143)) 96.2  72.5  2177384448 timeout (error (143)) 96.1  73.1  2190450688 timeout (error (143)) 95.8  74.9  2192977920 timeout (error (143)) 95.9  72.7  2208346112
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i false(valid-memtrack) 16.0  5.98 304263168 timeout (error (143)) 91.5  65.2  2203615232 timeout (error (143)) 95.3  67.1  2203217920 error: exception 8.07 3.03 252190720 false(valid-memtrack) 21.1  7.43 363589632 timeout (error (143)) 95.3  69.4  2172551168 timeout (error (143)) 96.1  72.6  2196783104 timeout (error (143)) 95.9  70.6  2188472320 timeout (error (143)) 95.9  69.4  2189697024 timeout (error (143)) 95.9  70.3  2174496768 timeout (error (143)) 95.8  67.9  2211192832 timeout (error (143)) 91.5  67.6  2189979648 timeout (false(valid-memtrack)) 91.0  58.6  2211135488
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 91.1  50.0  749424640 timeout (error (143)) 96.5  72.9  2177961984 timeout (error (143)) 95.6  66.3  2188386304 error: exception 8.78 3.20 257650688 false(valid-memtrack) 15.3  5.90 287608832 timeout (error (143)) 96.2  71.2  2168856576 timeout (error (143)) 95.4  67.4  2183368704 timeout (error (143)) 96.2  74.1  2176237568 timeout (error (143)) 95.5  68.0  2197323776 timeout (error (143)) 96.2  73.0  2165972992 timeout (error (143)) 96.2  69.0  2203566080 timeout (error (143)) 96.7  75.2  2180317184 timeout (error (143)) 95.6  66.5  2215395328
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (false(valid-memtrack)) 92.2  59.0  747909120 timeout (error (143)) 92.1  71.7  2178629632 timeout (error (143)) 95.9  67.8  2136055808 unknown 11.6  4.10 349392896 false(valid-memtrack) 77.2  45.7  740253696 timeout (error (143)) 95.4  73.0  2170261504 timeout (error (143)) 98.6  68.3  2205556736 timeout (error (143)) 96.4  74.2  2164543488 timeout (error (143)) 96.0  69.9  2193944576 timeout (error (143)) 95.4  71.2  2171461632 timeout (error (143)) 96.1  69.9  2216513536 timeout (error (143)) 91.0  71.2  2182320128 timeout (error (143)) 96.1  66.2  2197307392
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-memtrack) 11.6  4.31 293576704 timeout (error (143)) 93.4  73.3  2190327808 false(valid-memtrack) 11.7  4.45 288165888 unknown 12.3  4.39 342048768 false(valid-memtrack) 12.3  5.17 274624512 timeout (error (143)) 95.6  70.4  2171805696 false(valid-memtrack) 11.9  4.93 286744576 timeout (error (143)) 95.8  68.8  2212233216 false(valid-memtrack) 11.6  4.34 280223744 timeout (error (143)) 96.4  72.7  2174431232 false(valid-memtrack) 11.5  4.31 292765696 timeout (error (143)) 92.6  73.0  2187071488 false(valid-memtrack) 11.6  4.41 288722944
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout (false(valid-memtrack)) 91.7  66.4  531095552 timeout (error (143)) 93.8  72.2  2194374656 timeout (error (143)) 96.1  68.3  2233581568 error: exception 8.09 3.03 253079552 false(valid-memtrack) 15.0  5.42 286547968 timeout (error (143)) 96.2  70.2  2181017600 timeout (error (143)) 95.4  69.5  2200961024 timeout (error (143)) 96.1  70.8  2185818112 timeout (error (143)) 95.5  68.2  2205986816 timeout (error (143)) 96.2  70.8  2193711104 timeout (error (143)) 96.4  71.7  2206199808 timeout (error (143)) 90.6  65.9  2211971072 timeout (error (143)) 96.6  71.2  2230796288
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-memtrack) 10.6  4.00 281849856 timeout (error (143)) 92.1  69.5  2190962688 false(valid-memtrack) 10.7  4.02 279027712 unknown 12.2  4.38 346394624 false(valid-memtrack) 11.0  4.14 292216832 timeout (error (143)) 93.6  70.7  2210381824 false(valid-memtrack) 11.1  4.18 284196864 timeout (error (143)) 96.1  72.4  2191319040 false(valid-memtrack) 11.2  4.21 289140736 timeout (error (143)) 97.1  72.2  2214989824 false(valid-memtrack) 11.5  4.38 289611776 timeout (error (143)) 91.0  68.1  2189336576 false(valid-memtrack) 11.3  4.24 280866816
loop-acceleration/array3_false-valid-deref.i true 5.62 2.20 184954880 true 6.52 2.47 197914624 true 5.43 2.17 182583296 true 6.70 2.59 191426560 true 6.29 2.70 186953728 true 6.90 2.85 194191360 true 5.34 2.33 186474496 true 6.71 2.86 201502720 true 5.49 2.25 188129280 true 6.95 2.54 199536640 true 5.44 2.21 186314752 true 6.78 2.58 201388032 true 5.31 2.22 187641856
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.46 2.31 191492096 unknown 6.64 2.42 191922176 unknown 6.40 2.33 191086592 unknown 7.04 2.49 190980096 unknown 7.67 3.12 188370944 unknown 7.12 2.65 192262144 unknown 6.86 2.50 189198336 unknown 6.94 2.59 188329984 unknown 6.77 2.55 194744320 unknown 6.91 2.45 190685184 unknown 6.73 2.42 192057344 unknown 6.78 2.44 194605056 unknown 6.64 2.47 193404928
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.72 2.13 178421760 unknown 5.76 2.22 180260864 unknown 6.21 2.23 182501376 unknown 6.03 2.22 179757056 unknown 6.64 2.78 179961856 unknown 6.46 2.58 185475072 unknown 6.08 2.31 180391936 unknown 6.18 2.43 183705600 unknown 6.11 2.29 185004032 unknown 6.00 2.32 184057856 unknown 6.04 2.23 182005760 unknown 5.93 2.25 182185984 unknown 5.99 2.20 183709696
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.6  3.76 264425472 error: exception 12.2  4.29 295710720 true 10.8  3.80 263221248 error: exception 13.0  4.38 304832512 true 11.6  4.29 267849728 error: exception 13.7  5.23 305205248 true 11.4  4.12 265445376 error: exception 12.6  4.40 293130240 true 11.2  3.98 267444224 error: exception 12.7  4.35 303267840 true 11.2  3.97 275632128 error: exception 12.1  4.21 291287040 true 10.7  3.75 264458240
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.5  4.00 275783680 error: exception 12.1  4.13 288739328 true 10.9  3.88 264499200 error: exception 12.5  4.43 295297024 true 11.1  3.97 261615616 error: exception 13.2  5.08 287604736 true 10.9  3.78 269148160 error: exception 12.5  4.87 293183488 true 11.3  3.97 269029376 error: exception 12.8  4.41 291991552 true 11.6  4.03 271986688 error: exception 12.6  4.36 296415232 true 10.1  3.64 261115904
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.87 3.27 262660096 error: exception 9.97 3.63 262021120 true 8.65 3.27 261160960 error: exception 10.6  3.73 267128832 true 8.80 3.21 258936832 error: exception 11.1  4.13 263069696 true 8.99 3.37 259584000 error: exception 11.0  4.46 265240576 true 9.01 3.28 257925120 error: exception 10.4  3.67 261009408 true 8.85 3.26 258334720 error: exception 10.2  3.67 258240512 true 8.65 3.42 261738496
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.61 3.24 257982464 error: exception 10.3  3.64 259870720 true 8.95 3.28 262778880 error: exception 10.4  3.71 267075584 true 9.03 3.31 262270976 error: exception 11.3  4.71 262230016 true 9.10 3.32 255614976 error: exception 11.6  4.57 256757760 true 8.72 3.23 260005888 error: exception 10.9  4.00 268111872 true 8.63 3.25 261107712 error: exception 9.71 3.56 266625024 true 9.04 3.61 260988928
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.78 3.24 255614976 error: exception 10.3  3.64 266567680 true 9.18 3.37 261816320 error: exception 10.3  3.68 258707456 true 9.51 3.59 259338240 error: exception 10.9  4.30 262590464 true 8.97 3.34 259522560 error: exception 10.7  3.89 265101312 true 9.07 3.42 262778880 error: exception 10.3  3.64 260038656 true 8.96 3.38 260829184 error: exception 10.5  3.75 261492736 true 9.42 3.56 259043328
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.2  3.73 266481664 error: exception 11.2  3.88 277721088 true 10.3  3.69 262496256 error: exception 11.6  4.11 272707584 true 10.9  4.21 256237568 error: exception 12.7  4.83 283127808 true 9.82 3.86 263012352 error: exception 12.0  4.46 288374784 true 9.84 3.50 263000064 error: exception 12.1  4.16 285462528 true 10.2  3.65 264155136 error: exception 11.2  3.88 279613440 true 10.0  3.88 263798784
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.3  3.63 267235328 error: exception 12.0  4.12 274604032 true 10.2  3.66 273879040 error: exception 11.4  3.97 277925888 true 10.4  4.14 261607424 error: exception 13.2  5.16 286703616 true 10.1  3.66 265760768 error: exception 12.5  4.73 287555584 true 9.86 3.56 262766592 error: exception 11.8  4.28 291573760 true 10.3  3.68 264814592 error: exception 11.7  4.07 277172224 true 10.4  3.84 267800576
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.01 2.83 213803008 error: exception 8.69 3.22 253685760 true 7.35 2.88 214519808 error: exception 8.39 3.08 254558208 true 7.66 3.13 218402816 error: exception 9.55 3.91 255631360 true 7.14 2.86 216387584 error: exception 9.08 3.50 251052032 true 7.35 2.86 211820544 error: exception 8.86 3.30 256307200 true 7.31 2.85 217812992 error: exception 8.59 3.10 254189568 true 7.32 2.82 218456064
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.25 3.10 253988864 error: exception 9.37 3.49 255889408 true 7.75 3.01 250036224 error: exception 9.44 3.41 256475136 true 8.51 3.51 248348672 error: exception 9.85 3.93 256204800 true 8.19 3.20 248688640 error: exception 10.1  4.02 261472256 true 8.24 3.13 251600896 error: exception 10.0  3.52 257265664 true 8.26 3.14 249745408 error: exception 9.33 3.37 253714432 true 8.42 3.08 253247488
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.25 3.17 250003456 error: exception 9.28 3.40 264409088 true 8.21 3.11 250957824 error: exception 9.34 3.41 255557632 true 8.65 3.46 249294848 error: exception 11.6  4.64 258945024 true 8.44 3.15 248889344 error: exception 10.7  4.03 261464064 true 7.96 3.09 249368576 error: exception 9.49 3.45 263122944 true 8.04 3.16 251293696 error: exception 9.11 3.44 254070784 true 8.41 3.23 250785792
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 5.83 2.30 193474560 true 10.3  3.73 311848960 true 5.86 2.37 195833856 true 10.3  3.65 302870528 true 6.03 2.72 194768896 true 11.3  4.50 285847552 true 6.01 2.55 196710400 true 10.5  3.98 288681984 true 6.10 2.40 196747264 true 10.6  3.83 319135744 true 5.72 2.39 192573440 true 9.40 3.36 301744128 true 5.85 2.52 193400832
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 5.89 2.36 195956736 true 11.4  4.02 313569280 true 5.88 2.39 194437120 true 11.1  3.90 307089408 true 6.21 2.50 195723264 true 11.3  4.51 314036224 true 6.03 2.37 191741952 true 11.3  4.22 307994624 true 5.97 2.35 202207232 true 11.3  4.01 300032000 true 6.13 2.45 195842048 true 11.0  3.90 314458112 true 6.05 2.46 193851392
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 5.96 2.37 194256896 true 12.3  4.35 330362880 true 5.79 2.38 196263936 true 11.4  3.98 329928704 true 6.56 2.87 190853120 true 12.5  4.84 330153984 true 6.15 2.48 194494464 true 12.3  4.73 340676608 true 6.08 2.42 194097152 true 11.8  4.16 328339456 true 5.91 2.44 194064384 true 12.0  4.30 332550144 true 6.11 2.41 193740800
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 6.23 2.41 194686976 true 11.6  4.17 329519104 true 6.15 2.51 197324800 true 12.8  4.40 340934656 true 6.40 2.71 195530752 true 14.0  5.43 341295104 true 6.00 2.46 192790528 true 13.9  5.24 336318464 true 6.06 2.42 196636672 true 12.9  4.53 337063936 true 6.20 2.47 195026944 true 12.8  4.56 337080320 true 6.13 2.44 195010560
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 6.04 2.36 195440640 true 12.5  4.37 337465344 true 6.01 2.44 192544768 true 13.2  4.71 362913792 true 6.35 2.60 193687552 true 14.2  5.29 364437504 true 6.23 2.76 198447104 true 13.7  5.05 337104896 true 6.26 2.53 197259264 true 12.2  4.23 337272832 true 6.34 2.57 195043328 true 12.8  4.60 343961600 true 6.33 2.49 197816320
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 6.44 2.54 195780608 true 13.6  4.77 342278144 true 6.09 2.45 196571136 true 11.8  4.27 335327232 true 6.26 2.59 192630784 true 13.2  5.19 352124928 true 6.13 2.54 196263936 true 14.5  5.49 342929408 true 6.16 2.54 197824512 true 13.3  4.65 344444928 true 6.06 2.45 195477504 true 13.4  4.79 351617024 true 6.58 2.49 192606208
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 6.05 2.43 196530176 true 14.6  5.18 398925824 true 6.29 2.49 198541312 true 14.7  5.20 360382464 true 6.87 3.05 201322496 true 15.4  6.01 414068736 true 6.05 2.62 195731456 true 15.3  5.62 402132992 true 5.75 2.47 197554176 true 14.5  5.09 416264192 true 6.11 2.45 196460544 true 12.7  4.52 403177472 true 6.15 2.43 198336512
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 5.97 2.42 199671808 true 14.2  5.15 393105408 true 6.33 2.41 196763648 true 13.5  4.67 410103808 true 6.41 2.61 195010560 true 15.6  6.01 422875136 true 6.14 2.43 196558848 true 13.7  5.02 368054272 true 6.15 2.46 195907584 true 13.8  4.93 416608256 true 6.00 2.48 195125248 true 14.4  5.15 408326144 true 6.44 2.46 195248128
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 5.73 2.29 191991808 true 7.95 2.95 247545856 true 5.75 2.33 193679360 true 7.67 2.94 251584512 true 6.54 2.60 196771840 true 8.48 3.62 246390784 true 5.76 2.43 190922752 true 8.48 3.31 251109376 true 5.62 2.29 192897024 true 7.44 2.94 252760064 true 5.94 2.36 189480960 true 7.86 2.96 249733120 true 5.63 2.35 188780544
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 5.83 2.36 194371584 true 8.02 2.96 246067200 true 5.66 2.30 189775872 true 7.96 2.96 241655808 true 6.31 2.53 191713280 true 8.49 3.34 246599680 true 5.91 2.51 194924544 true 8.74 3.43 248635392 true 5.40 2.26 192905216 true 7.98 2.88 250810368 true 5.89 2.35 193626112 true 7.60 2.96 248602624 true 5.74 2.21 193146880
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 5.81 2.36 196599808 true 8.17 3.03 247955456 true 5.74 2.33 193851392 true 8.48 3.07 247947264 true 6.52 2.76 195092480 true 9.28 3.73 251269120 true 5.95 2.47 192040960 true 9.64 3.65 255328256 true 5.73 2.32 193585152 true 8.44 3.10 254836736 true 6.03 2.32 197779456 true 8.86 3.32 250310656 true 6.04 2.41 196702208
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 5.79 2.36 197115904 true 9.09 3.33 266551296 true 5.96 2.31 195710976 true 8.82 3.25 262344704 true 6.25 2.72 195039232 true 9.84 4.04 263667712 true 5.80 2.40 194760704 true 9.68 3.47 261521408 true 6.09 2.36 195231744 true 8.82 3.18 249413632 true 5.85 2.49 194547712 true 9.35 3.45 265003008 true 5.80 2.39 193007616
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 6.02 2.37 195653632 true 8.83 3.31 264941568 true 5.62 2.24 193335296 true 8.77 3.23 262688768 true 6.10 2.54 195682304 true 9.80 3.78 254562304 true 5.49 2.23 194420736 true 10.5  4.10 255401984 true 5.37 2.11 191410176 true 9.43 3.42 271331328 true 6.19 2.30 193826816 true 9.52 3.55 268050432 true 5.66 2.30 194605056
../../../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 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 8840 4690 133475315712 326 9590 5810 266567843840 326 10800 6580 212381863936 326 3120 1200 92697812992 326 8300 4530 116816564224 326 16400 11700 395123687424 326 12300 7860 248690176000 326 16300 11600 393897009152 326 12000 7690 248320921600 326 16200 11600 394541486080 326 12000 7700 248091889664 326 9540 5810 264667287552 326 10800 6560 211742646272
local summary 6950 2380 9590 2930 9740 3330 3120 622 6460 2300 16400 5880 11500 3980 16200 5870 11200 3900 16200 5830 11200 3900 9540 2930 9740 3320
    correct results 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct true 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct false 0 0 0 0 0 0 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0 0 0 0 0 0 0 0
Run set AutomizerCamel AbsInt Taipan AbsInt_imprecise Taipan_imprecise AbsInt_mostprecise Taipan_mostprecise AbsInt_precise Taipan_precise AbsInt_preciseopt Taipan_preciseopt AbsInt_smtcomp Taipan_smtcomp