Tool 2LS 0.5.0 CBMC 5.6 Ceagle Ceagle 1.3 @ 53cfa89 CPAchecker 1.6.1-svn 24048 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 3.1 64-bit x86_64 linux Predator-HP SMACK+Corral 1.7.2 symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a ULTIMATE Automizer f7c3ed31 ULTIMATE Kojak f7c3ed31 ULTIMATE Taipan f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-11 09:48:02 CET [[ 2017-01-14 21:34:09 CET ]] [[ 2017-01-14 21:49:16 CET ]] [[ 2017-01-14 21:34:25 CET ]] [[ 2017-01-14 21:52:20 CET ]] 2017-01-11 10:20:18 CET [[ 2017-01-14 21:14:41 CET ]] [[ 2017-01-14 21:35:33 CET ]] [[ 2017-01-14 21:19:46 CET ]] [[ 2017-01-14 21:37:38 CET ]] 2017-01-11 09:49:51 CET [[ 2017-01-14 20:52:01 CET ]] [[ 2017-01-14 21:02:28 CET ]] [[ 2017-01-14 20:57:34 CET ]] [[ 2017-01-14 21:06:31 CET ]] 2017-01-11 10:43:32 CET [[ 2017-01-14 21:41:35 CET ]] [[ 2017-01-14 21:45:05 CET ]] [[ 2017-01-14 21:43:06 CET ]] [[ 2017-01-14 21:46:49 CET ]] 2017-01-13 04:38:11 CET [[ 2017-01-14 23:48:17 CET ]] [[ 2017-01-14 23:57:43 CET ]] [[ 2017-01-14 23:52:59 CET ]] [[ 2017-01-15 00:03:21 CET ]] 2017-01-13 04:51:53 CET [[ 2017-01-15 00:05:22 CET ]] [[ 2017-01-15 00:31:32 CET ]] [[ 2017-01-15 00:11:25 CET ]] [[ 2017-01-15 00:39:18 CET ]] 2017-01-13 04:52:43 CET [[ 2017-01-15 00:23:14 CET ]] [[ 2017-01-15 00:35:58 CET ]] [[ 2017-01-15 00:29:47 CET ]] [[ 2017-01-15 00:40:29 CET ]] 2017-01-13 05:20:12 CET [[ 2017-01-15 00:51:08 CET ]] [[ 2017-01-15 01:00:54 CET ]] [[ 2017-01-15 00:55:05 CET ]] [[ 2017-01-15 01:06:26 CET ]] 2017-01-13 05:51:33 CET [[ 2017-01-15 01:19:13 CET ]] [[ 2017-01-15 01:22:10 CET ]] [[ 2017-01-15 01:20:47 CET ]] [[ 2017-01-15 01:23:25 CET ]] 2017-01-13 06:35:22 CET [[ 2017-01-15 01:30:25 CET ]] [[ 2017-01-15 01:30:43 CET ]] [[ 2017-01-15 01:30:33 CET ]] [[ 2017-01-15 01:30:54 CET ]] 2017-01-13 12:06:28 CET [[ 2017-01-15 02:02:31 CET ]] [[ 2017-01-15 02:04:15 CET ]] [[ 2017-01-15 02:04:05 CET ]] [[ 2017-01-15 02:06:30 CET ]] 2017-01-14 05:56:27 CET [[ 2017-01-15 04:08:20 CET ]] [[ 2017-01-15 04:18:47 CET ]] [[ 2017-01-15 04:12:29 CET ]] [[ 2017-01-15 04:25:58 CET ]] 2017-01-14 11:37:51 CET [[ 2017-01-15 04:18:56 CET ]] [[ 2017-01-15 04:38:06 CET ]] [[ 2017-01-15 04:27:27 CET ]] [[ 2017-01-15 04:45:45 CET ]] 2017-01-14 06:16:04 CET [[ 2017-01-15 05:34:44 CET ]] [[ 2017-01-15 05:49:53 CET ]] [[ 2017-01-15 05:35:06 CET ]] [[ 2017-01-15 05:51:11 CET ]] 2017-01-14 06:29:29 CET [[ 2017-01-15 05:44:30 CET ]] [[ 2017-01-15 05:59:35 CET ]] [[ 2017-01-15 05:44:48 CET ]] [[ 2017-01-15 06:00:32 CET ]] 2017-01-14 16:15:06 CET [[ 2017-01-15 05:45:52 CET ]] [[ 2017-01-15 06:00:59 CET ]] [[ 2017-01-15 05:46:10 CET ]] [[ 2017-01-15 06:02:27 CET ]]
Run set 2ls.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cbmc.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] ceagle.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cpa-kind.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cpa-seq.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] depthk.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-falsi.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-incr.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-kind.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] predatorhp.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] smack.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] symbiotic4.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] uautomizer.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] ukojak.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] utaipan.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]
Options --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cbmc.2017-01-11_1020.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --compiler clang-3.7 [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -sv-comp17-k-induction -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-kind.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-kind.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-kind.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-kind.2017-01-11_1043.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -sv-comp17 -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/depthk.2017-01-13_0451.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s fixed [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s falsi [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-falsi.2017-01-13_0520.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-falsi.2017-01-13_0520.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-falsi.2017-01-13_0520.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-falsi.2017-01-13_0520.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s incr [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-incr.2017-01-13_0551.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-incr.2017-01-13_0551.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-incr.2017-01-13_0551.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-incr.2017-01-13_0551.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -s kinduction [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --witness error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] -w error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/uautomizer.2017-01-14_0616.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]] [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_1615.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_1615.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_1615.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_1615.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i error (8) .19  26 1.4  false(valid-deref) .19 20 1.8  false(valid-deref) .028 8.0 .17 error (1) .42 40 3.4 error 2.4 210 22 false(valid-deref) .50 29 6.9 false(valid-deref) 130    3300 1500   false(valid-deref) .21  24 2.2  false(valid-deref) .20  24 2.1  false(valid-deref) .21  24 2.2  unknown .11  23 1.7 false(valid-deref) 1.8 79 22 false(valid-deref) .22 10   2.8 false(valid-deref) 6.2 340 47 false(valid-deref) 6.6 320 53 false(valid-deref) 6.1 320 49
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) .13  25 .87 false(valid-deref) .11 17 .98 false(valid-deref) .022 7.9 .15 error (1) .42 40 4.1 timeout 920   11000 7300 false(valid-deref) .36 28 3.8 timeout 900    12000 5500   false(valid-deref) .10  23 1.1  false(valid-deref) .096 23 .91 false(valid-deref) .093 23 1.0  false(valid-deref) .16  22 1.9 false(valid-deref) 1.9 73 24 false(valid-deref) .24 11   2.7 false(valid-deref) 6.5 360 50 false(valid-deref) 5.9 330 49 false(valid-deref) 6.2 320 45
array-memsafety/count_down_unsafe_false-valid-deref.i error (8) .17  26 1.4  false(valid-deref) .25 24 2.3  false(valid-deref) .029 7.8 .18 error (1) .44 40 3.9 error 2.5 220 21 false(valid-deref) .55 29 6.3 out of memory 230    15000 2900   false(valid-deref) .21  24 1.9  false(valid-deref) .20  24 2.1  false(valid-deref) .20  24 2.0  unknown .11  23 1.8 false(valid-deref) 1.9 79 25 false(valid-deref) .23 11   2.8 false(valid-deref) 7.2 370 55 false(valid-deref) 6.8 320 52 false(valid-deref) 6.4 350 49
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) .13  23 .86 false(valid-deref) .11 20 1.1  false(valid-deref) .027 7.5 .11 error (1) .41 38 4.3 false(valid-deref) 2.2 230 19 false(valid-deref) .33 28 4.1 false(valid-deref) 15    850 170   false(valid-deref) .12  23 .96 false(valid-deref) .089 23 .99 false(valid-deref) .094 23 .91 false(valid-deref) .12  21 1.9 false(valid-deref) 1.8 86 23 false(valid-deref) .63 12   6.1 false(valid-deref) 5.7 340 44 false(valid-deref) 5.7 320 47 false(valid-deref) 5.9 330 43
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) .12  25 1.2  false(valid-deref) .12 19 1.1  false(valid-deref) .064 33   .48 error (1) .42 37 3.6 error 2.6 220 25 false(valid-deref) .36 29 4.2 false(valid-deref) 3.4  280 44   false(valid-deref) .13  24 1.2  false(valid-deref) .11  24 1.2  false(valid-deref) .10  24 1.2  unknown .14  23 1.7 false(valid-deref) 2.0 84 22 error .41 10   5.2 false(valid-deref) 12   490 95 false(valid-deref) 9.9 490 83 false(valid-deref) 14   490 120
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) .19  26 1.4  false(valid-deref) .21 20 1.7  false(valid-deref) .027 8.0 .16 error (1) .39 37 3.5 error 2.5 220 25 false(valid-deref) .37 29 4.3 false(valid-deref) 1.9  180 26   false(valid-deref) .10  24 1.2  false(valid-deref) .097 24 1.1  false(valid-deref) .14  24 1.1  unknown .14  23 1.8 false(valid-deref) 1.9 84 26 error .60 11   7.3 false(valid-deref) 7.6 400 61 false(valid-deref) 11   480 85 false(valid-deref) 7.9 380 61
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) .11  23 1.2  false(valid-deref) .12 21 1.1  false(valid-deref) .035 8.0 .13 error (1) .39 37 3.5 false(valid-deref) 2.2 230 18 false(valid-deref) .36 28 3.8 false(valid-deref) 20    1600 260   false(valid-deref) .13  23 1.0  false(valid-deref) .11  23 1.1  false(valid-deref) .11  23 1.1  false(valid-deref) .13  22 1.8 false(valid-deref) 1.9 81 22 false(valid-deref) 1.2  12   11   false(valid-deref) 5.5 320 48 false(valid-deref) 5.7 320 42 false(valid-deref) 5.8 320 43
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) .10  23 .91 false(valid-deref) .12 21 1.3  false(valid-deref) .026 7.7 .12 error (1) .40 38 4.0 false(valid-deref) 2.3 230 20 false(valid-deref) .36 28 3.8 false(valid-deref) 890    9100 7000   false(valid-deref) .12  23 .98 false(valid-deref) .095 23 1.1  false(valid-deref) .094 23 1.2  false(valid-deref) .12  21 1.9 false(valid-deref) 1.9 85 26 false(valid-deref) 1.3  12   13   false(valid-deref) 5.7 320 45 false(valid-deref) 6.6 350 50 false(valid-deref) 6.0 340 50
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) .12  26 1.3  false(valid-deref) .13 20 1.3  false(valid-deref) .043 8.0 .21 error (1) .43 37 3.9 error 2.6 220 21 false(valid-deref) .35 29 4.5 timeout 900    5700 7700   false(valid-deref) .12  24 1.3  false(valid-deref) .099 24 1.4  false(valid-deref) .11  24 1.3  unknown .11  24 1.6 false(valid-deref) 2.2 85 25 error .36 11   3.8 false(valid-deref) 9.7 400 73 false(valid-deref) 11   480 83 false(valid-deref) 180   690 2000
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) .12  23 1.1  false(valid-deref) .11 20 1.1  false(valid-deref) .035 7.9 .13 error (1) .42 38 3.7 false(valid-deref) 2.4 240 21 false(valid-deref) .35 28 3.7 timeout 900    7200 9100   false(valid-deref) .12  23 .95 false(valid-deref) .094 23 1.1  false(valid-deref) .098 23 1.0  false(valid-deref) .15  23 2.4 false(valid-deref) 1.8 80 25 false(valid-deref) .25 12   2.6 false(valid-deref) 6.1 320 45 false(valid-deref) 6.2 320 49 false(valid-deref) 6.1 330 46
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) .22  30 2.6  false(valid-deref) .39 39 3.7  false(valid-deref) .029 8.0 .15 error (1) .43 40 4.0 error 10   220 14 false(valid-deref) .88 29 12   out of memory 540    15000 3400   false(valid-deref) .29  24 3.5  false(valid-deref) .30  25 3.5  false(valid-deref) .30  24 3.8  unknown .21  34 1.7 false(valid-deref) 2.0 86 24 false(valid-deref) .30 13   2.9 false(valid-deref) 9.5 380 71 false(valid-deref) 8.1 380 58 false(valid-deref) 11   380 90
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) .29  34 2.8  false(valid-deref) .24 20 1.8  false(valid-deref) .034 7.8 .21 error (1) .42 38 3.6 error 2.5 220 23 false(valid-deref) .73 29 7.9 out of memory 32    15000 380   false(valid-deref) .27  24 3.3  false(valid-deref) .26  24 3.4  false(valid-deref) .29  25 3.5  unknown .12  23 1.7 false(valid-deref) 2.2 95 27 unknown .29 14   3.6 false(valid-deref) 10   410 75 false(valid-deref) 41   700 440 false(valid-deref) 18   460 150
array-memsafety/mult_array_unsafe_false-valid-deref.i error (8) .19  28 1.4  false(valid-deref) .25 27 2.8  false(valid-deref) .039 8.1 .19 error (1) .41 40 4.3 error 2.6 220 21 false(valid-deref) .64 29 8.8 false(valid-deref) 20    1300 240   false(valid-deref) .28  27 3.9  false(valid-deref) .28  26 3.3  false(valid-deref) .31  26 3.4  unknown .13  23 1.7 false(valid-deref) 1.9 82 24 false(valid-deref) .36 17   4.5 false(valid-deref) 6.6 330 50 false(valid-deref) 7.1 320 59 false(valid-deref) 7.2 330 63
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) .27  33 2.7  false(valid-deref) .32 33 3.0  false(valid-deref) .052 43   .74 error (1) .39 38 3.4 error 2.4 210 20 false(valid-deref) 1.8  29 25   timeout 900    4200 11000   false(valid-deref) .51  25 7.3  false(valid-deref) .51  27 6.7  false(valid-deref) .51  27 6.7  unknown .12  23 1.9 false(valid-deref) 2.0 84 22 false(valid-deref) .40 11   4.3 false(valid-deref) 8.0 360 62 false(valid-deref) 11   510 89 false(valid-deref) 7.0 360 55
array-memsafety/reverse_array_unsafe_false-valid-deref.i error (8) .21  38 1.9  false(valid-deref) .70 83 9.5  false(valid-deref) .027 7.9 .20 error (1) .42 39 4.0 error 2.6 220 21 false(valid-deref) .59 29 8.1 timeout 900    2000 11000   false(valid-deref) .20  24 2.5  false(valid-deref) .19  24 2.8  false(valid-deref) .21  24 2.5  unknown .11  25 2.0 false(valid-deref) 1.9 81 28 false(valid-deref) .23 11   2.5 false(valid-deref) 7.0 370 50 false(valid-deref) 7.5 350 64 false(valid-deref) 7.1 350 53
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) .15  26 .95 false(valid-deref) .11 18 1.0  false(valid-deref) .021 7.8 .10 error (1) .44 37 3.3 false(valid-deref) 2.4 230 22 false(valid-deref) .36 28 4.1 timeout 900    7200 8000   false(valid-deref) .13  23 .85 false(valid-deref) .13  23 1.0  false(valid-deref) .11  23 1.2  false(valid-deref) .12  24 1.8 false(valid-deref) 1.9 73 23 false(valid-deref) .22 11   2.9 false(valid-deref) 6.7 340 49 false(valid-deref) 6.7 330 47 false(valid-deref) 6.1 330 55
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) .12  22 .79 false(valid-deref) .12 17 .88 false(valid-deref) .067 43   .45 error (1) .40 37 3.8 false(valid-deref) 2.3 230 20 false(valid-deref) .35 27 3.9 false(valid-deref) 2.9  310 33   false(valid-deref) .093 23 1.0  false(valid-deref) .090 23 1.1  false(valid-deref) .10  23 1.1  false(valid-deref) .17  21 1.8 false(valid-deref) 1.8 82 21 false(valid-deref) .58 11   6.7 false(valid-deref) 5.7 320 48 false(valid-deref) 5.6 320 41 false(valid-deref) 6.6 350 54
array-memsafety/add_last-alloca_true-valid-memsafety.i false(valid-deref) .27  31 2.6  error (134) 120    13000 1200    true .030 8.2 .17 error (1) .40 38 3.7 error 2.5 210 21 unknown 900    69 2100   true 890    4100 11000   timeout 900     2700 9500    timeout 900     4600 11000    timeout 900     5800 11000    unknown .11  22 1.8 true 750   330 8200 true .26 10   3.2 timeout 900   1600 11000 timeout 900   860 14000 timeout 900   4700 9600
array-memsafety/array01-alloca_true-valid-memsafety.i true .37  28 3.7  error (42) 850    8900 6300    true .028 8.1 .19 error (1) .39 37 3.5 error 2.5 220 21 unknown 890    280 10000   out of memory 230    15000 2500   out of memory 850     15000 9200    timeout 900     380 10000    timeout 900     430 9000    unknown .15  23 1.6 true 750   500 7800 timeout (timeout) 900    790   12000   true 10   430 82 true 15   540 150 true 10   450 86
array-memsafety/array02-alloca_true-valid-memsafety.i true .47  30 5.3  error (1) 470    14000 3700    true .026 7.9 .23 error (1) .40 38 3.7 error 2.6 220 25 unknown 890    280 9300   out of memory 300    15000 2300   timeout 900     10000 8400    timeout 900     390 8800    timeout 900     410 12000    unknown .15  23 1.7 true 760   580 7200 timeout (timeout) 900    950   11000   true 9.2 420 71 true 19   530 180 true 11   480 90
array-memsafety/array03-alloca_true-valid-memsafety.i true .38  29 3.7  error (134) 510    14000 3700    true .041 44   .94 error (1) .39 38 3.7 error 2.5 210 23 unknown 890    280 1700   out of memory 50    15000 570   timeout 900     13000 9000    timeout 900     800 7200    timeout 900     880 7700    unknown .12  23 1.6 true 750   390 7000 timeout (timeout) 900    760   9700   true 9.1 430 77 timeout 900   1000 12000 true 11   500 99
array-memsafety/bubblesort-alloca_true-valid-memsafety.i timeout 900     13000 5300    error (42) 850    2700 6600    true .066 44   .40 error (1) .41 37 3.8 error 2.5 210 23 unknown 890    310 8600   out of memory 330    15000 3000   timeout 900     4200 2200    timeout 900     460 11000    timeout 900     530 8100    unknown .11  24 1.9 true 750   510 6600 true .24 11   2.9 true 10   400 76 true 38   880 380 true 11   440 85
array-memsafety/count_down-alloca_true-valid-memsafety.i true .55  30 5.7  error (42) 850    9000 5400    true .029 7.9 .21 error (1) .42 38 4.2 error 2.6 230 25 unknown 890    300 11000   out of memory 250    15000 2300   out of memory 380     15000 4500    timeout 900     380 8200    timeout 900     390 9200    unknown .11  23 1.7 true 750   210 8500 timeout (timeout) 900    570   11000   true 12   490 95 true 46   700 550 true 13   500 100
array-memsafety/cstrcat-alloca_true-valid-memsafety.i false(valid-deref) .26  29 2.4  error (134) 110    14000 1100    true .030 8.1 .18 error (1) .41 42 3.9 error 2.6 220 24 unknown 900    84 12000   true 390    1600 4700   timeout 900     1300 12000    timeout 900     2800 13000    unknown .23  24 2.6  unknown .14  23 1.8 true 750   280 8800 true 1.2  13   13   timeout 900   3000 13000 timeout 900   1300 15000 timeout 900   2900 11000
array-memsafety/cstrchr-alloca_true-valid-memsafety.i false(valid-deref) .22  26 1.8  error (42) 850    4600 6700    true .028 7.9 .18 error (1) .44 40 3.6 error 2.4 210 23 unknown 170    46 2400   true 20    490 210   timeout 900     4000 13000    timeout 900     8900 12000    timeout 900     12000 12000    unknown .11  22 1.9 true 750   170 10000 true .23 11   2.3 true 13   490 100 true 27   580 300 true 15   520 130
array-memsafety/cstrcmp-alloca_true-valid-memsafety.i false(valid-deref) .26  27 2.2  error (42) 850    1800 9700    true .028 7.8 .20 error (1) .42 40 3.6 error 2.5 220 20 unknown 39    35 520   true 320    850 1100   timeout 900     1200 2100    timeout 900     6200 12000    timeout 900     8600 13000    unknown .16  33 1.8 true 750   210 8300 true 3.3  20   36   true 27   680 260 true 230   1000 3400 true 44   830 420
array-memsafety/cstrcpy-alloca_true-valid-memsafety.i false(valid-deref) .24  28 2.5  error (134) 83    13000 940    true .059 8.0 .15 error (1) .43 40 4.0 error 2.6 220 23 unknown 140    48 1600   true 21    860 260   timeout 900     7800 11000    out of memory 640     15000 7600    unknown .16  24 1.9  unknown .21  33 1.6 true 750   220 9100 true .37 11   4.0 timeout 900   1200 13000 timeout 900   1800 12000 timeout 900   1200 13000
array-memsafety/cstrcspn-alloca_true-valid-memsafety.i false(valid-deref) .37  33 3.3  error (42) 850    9000 7300    true .028 8.3 .20 error (1) .42 40 4.0 error 2.4 210 22 unknown 900    170 12000   timeout 900    10000 8800   timeout 900     500 11000    timeout 900     990 11000    timeout 900     1600 12000    unknown .11  24 1.8 true 750   610 7600 timeout (timeout) 900    550   9900   true 24   550 250 timeout 900   1500 13000 true 36   610 340
array-memsafety/cstrlen-alloca_true-valid-memsafety.i false(valid-deref) .21  26 1.7  error (42) 850    3900 4500    true .030 7.9 .16 error (1) .42 38 3.5 error 2.7 220 21 unknown 100    30 1300   true 11    290 140   out of memory 690     15000 8400    out of memory 480     15000 6700    out of memory 520     15000 7600    unknown .13  24 1.7 true 750   150 9300 true .23 10   2.6 true 13   500 91 true 17   520 160 true 14   500 110
array-memsafety/cstrncat-alloca_true-valid-memsafety.i false(valid-deref) .45  32 4.7  error (134) 380    14000 3600    true .039 8.0 .17 error (1) .43 40 3.7 error 2.6 220 22 unknown 900    150 10000   true 890    3100 12000   timeout 900     650 12000    timeout 900     790 11000    timeout 900     1000 12000    unknown .11  24 1.8 true 750   260 8700 true 2.7  17   31   timeout 900   1000 11000 timeout 900   1400 11000 timeout 900   1600 11000
array-memsafety/cstrncmp-alloca_true-valid-memsafety.i false(valid-deref) .32  29 3.1  error (42) 850    2000 8500    true .079 43   .55 error (1) .40 40 3.3 error 2.6 220 24 unknown 62    79 870   true 210    3700 2700   timeout 900     3200 12000    timeout 900     7800 13000    unknown .23  24 2.7  unknown .15  22 1.6 true 750   240 8000 true 5.4  22   65   true 29   540 300 true 410   1300 5000 true 37   770 420
array-memsafety/cstrncpy-alloca_true-valid-memsafety.i false(valid-deref) 1.9   120 22    error (134) 220    14000 3000    true .027 7.8 .19 error (1) .39 38 3.4 error 2.5 210 20 timeout 900    960 11000   out of memory 170    15000 1900   out of memory 720     15000 7400    out of memory 590     15000 4100    unknown .20  24 1.9  unknown .11  24 1.8 true 750   240 7100 true 4.3  28   56   timeout 900   1600 14000 timeout 900   2600 14000 timeout 900   1500 12000
array-memsafety/cstrpbrk-alloca_true-valid-memsafety.i false(valid-deref) .34  46 3.7  error (42) 850    9200 8600    true .029 7.9 .17 error (1) .40 37 3.9 error 2.6 220 22 unknown 900    140 11000   timeout 900    10000 7900   timeout 900     360 11000    timeout 900     680 13000    timeout 900     1100 12000    unknown .14  24 1.7 true 750   550 6500 timeout (timeout) 900    500   7000   true 43   730 450 timeout 900   1600 12000 true 61   880 650
array-memsafety/cstrspn-alloca_true-valid-memsafety.i false(valid-deref) .33  33 3.7  error (42) 850    9100 7400    true .082 43   .47 error (1) .42 38 3.4 error 10   220 14 unknown 900    150 12000   timeout 900    10000 11000   timeout 900     390 11000    timeout 900     760 12000    timeout 900     1200 11000    unknown .11  23 1.7 true 750   510 6100 timeout (timeout) 900    510   8300   true 45   690 510 timeout 900   1600 13000 true 62   700 740
array-memsafety/diff-alloca_true-valid-memsafety.i timeout 900     6200 5200    error (42) 850    6500 3400    true .038 8.0 .19 error (1) .45 40 4.0 error 2.6 220 20 unknown 890    180 7800   timeout 900    12000 11000   timeout 900     340 9500    timeout 900     500 10000    timeout 900     700 10000    unknown .12  24 1.6 true 750   150 11000 true .28 13   3.0 true 16   530 130 timeout 900   1000 12000 true 33   690 340
array-memsafety/insertionsort-alloca_true-valid-memsafety.i out of memory 750     15000 5200    error (42) 850    9000 3700    true .026 8.0 .15 error (1) .45 38 4.2 error 2.6 220 22 unknown 890    180 9000   timeout 900    8300 8100   timeout 900     710 6800    timeout 900     360 9100    timeout 900     400 10000    unknown .11  24 1.7 true 750   440 6100 true .22 11   2.6 true 12   480 90 true 30   610 270 true 15   500 110
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety.i true .52  30 5.9  error (42) 850    2800 6500    true .023 8.2 .17 error (1) .45 38 3.8 error 2.5 220 21 unknown 890    300 8900   out of memory 550    15000 2600   timeout 900     8900 10000    timeout 900     480 9400    timeout 900     510 8800    unknown .12  23 1.7 true 750   460 8100 true .23 11   2.5 true 9.7 400 76 true 32   670 380 true 11   440 78
array-memsafety/lis-alloca_true-valid-memsafety.i timeout 900     340 10000    error (42) 850    2500 5700    true .030 8.1 .18 error (1) .41 37 3.2 error 2.6 220 20 unknown 890    190 10000   out of memory 150    15000 400   out of memory 440     15000 5500    timeout 900     360 8600    timeout 900     490 8500    unknown .11  24 1.8 true 750   350 6500 true .24 12   3.0 true 15   500 130 timeout 900   1400 11000 timeout 900   790 9200
array-memsafety/mult_array-alloca_true-valid-memsafety.i timeout 900     190 10000    error (134) 110    14000 1300    true .040 8.1 .16 error (1) .42 38 3.9 error 2.6 220 21 unknown 320    89 3600   true 25    1300 260   timeout 900     6100 10000    timeout 900     13000 9600    timeout 900     13000 9600    unknown .15  23 2.0 true 750   370 7700 true .52 15   6.8 true 18   510 180 timeout 900   740 13000 true 65   530 800
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety.i timeout 900     11000 8800    error (1) 83    13000 1100    true .081 44   .65 error (1) .40 37 3.9 error 2.5 220 22 unknown 100    33 1300   true 5.2  450 57   timeout 900     9100 13000    out of memory 490     15000 6500    unknown .13  24 1.6  unknown .10  24 2.2 true 750   320 11000 true .79 12   9.7 true 12   480 94 true 18   540 180 true 15   570 110
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety.i timeout 900     3400 9700    error (42) 850    1300 5900    true .026 8.2 .23 error (1) .39 37 3.3 error 2.5 220 21 unknown 110    43 1300   true 42    1000 130   out of memory 710     15000 9400    out of memory 280     15000 4000    unknown .13  24 1.7  unknown .14  23 1.6 true 750   410 11000 true 1.2  15   14   true 12   540 90 true 12   480 100 true 14   510 110
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety.i false(valid-deref) .18  26 1.5  error (42) 850    1000 3900    true .030 7.8 .15 error (1) .42 38 3.6 error 2.6 210 21 unknown 32    34 410   unknown 5.9  840 83   unknown .14  24 1.3  unknown .14  24 1.3  unknown .13  24 1.4  unknown .14  24 1.6 true 750   450 8900 true 1.6  15   18   true 16   530 140 true 12   480 120 true 27   530 260
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety.i error (8) .19  26 1.5  error (1) 84    13000 870    true .030 7.8 .16 error (1) .40 37 3.4 error 2.5 220 20 unknown 93    32 1200   true 4.9  410 64   out of memory 800     15000 10000    out of memory 310     15000 4300    unknown .13  24 1.5  unknown .11  24 1.8 true 750   410 8400 true .30 11   3.9 true 11   470 100 true 12   490 110 true 14   500 120
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety.i false(valid-deref) .27  28 2.4  error (1) 93    13000 1000    true .027 8.2 .23 error (1) .41 37 3.5 error 2.7 220 22 unknown 130    45 2000   true 20    760 210   timeout 900     7900 9700    out of memory 660     15000 8700    unknown .16  24 1.7  unknown .15  22 1.6 true 750   270 8500 true .37 11   4.3 timeout 900   1100 12000 timeout 900   1600 12000 timeout 900   1500 12000
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety.i false(valid-deref) 2.5   120 24    error (134) 220    14000 2600    true .042 8.3 .18 error (1) .39 37 3.5 error 2.6 230 22 timeout 900    940 13000   out of memory 170    15000 2200   out of memory 640     15000 7900    out of memory 260     15000 3700    unknown .18  24 2.3  unknown .12  25 2.0 true 750   230 7100 true 4.2  28   53   timeout 900   900 12000 timeout 900   1100 14000 timeout 910   9900 7700
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety.i false(valid-deref) .23  28 3.0  error (134) 110    14000 1300    true .029 7.9 .18 error (1) .42 40 4.0 error 2.4 210 23 unknown 900    85 13000   true 380    1600 4000   timeout 900     1200 11000    timeout 900     2700 10000    unknown .21  24 2.9  unknown .11  24 2.0 true 750   290 8100 true 1.5  13   15   timeout 900   2600 11000 timeout 900   1400 11000 timeout 900   3100 11000
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety.i false(valid-deref) .29  31 2.5  error (42) 850    2200 8900    true .031 7.9 .15 error (1) .39 37 3.3 error 2.6 210 22 unknown 270    81 3800   true 84    2300 1000   timeout 900     5200 11000    timeout 900     12000 11000    unknown .22  24 2.3  unknown .11  23 1.7 true 750   230 8500 true 3.2  20   38   true 34   560 320 true 350   1200 4800 true 67   620 770
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety.i false(valid-deref) .23  28 2.4  error (134) 96    13000 1100    true .080 44   .49 error (1) .41 37 4.2 error 2.5 220 22 unknown 130    45 1600   true 20    760 240   timeout 900     7900 11000    out of memory 680     15000 9400    unknown .16  25 1.8  unknown .10  24 1.9 true 750   230 9000 true .36 11   3.5 timeout 900   1000 12000 timeout 900   1800 12000 timeout 900   1700 12000
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety.i false(valid-deref) .31  30 3.0  error (42) 850    380 2600    true .065 44   .49 error (1) .40 37 3.7 error 2.7 220 23 unknown 900    1100 12000   timeout 900    14000 6600   timeout 900     1600 2100    timeout 900     9500 12000    unknown .20  25 1.9  unknown .11  23 1.7 true 750   230 8100 timeout (timeout) 900    620   12000   timeout 900   1600 14000 timeout 900   1600 12000 timeout 900   1500 11000
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety.i false(valid-deref) .36  30 3.6  error (42) 850    13000 4600    true .032 8.0 .16 error (1) .42 38 3.5 error 2.6 220 21 unknown 900    95 9500   true 890    4400 8600   timeout 900     790 13000    timeout 900     1700 11000    unknown .22  25 2.8  unknown .14  24 1.8 true 750   250 10000 true 1.3  13   12   timeout 900   1200 15000 timeout 900   1200 11000 timeout 900   930 12000
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety.i false(valid-deref) .21  26 1.8  error (42) 850    4700 5100    true .027 8.0 .19 error (1) .40 37 3.7 error 11   220 12 unknown 390    30 760   true 46    290 91   out of memory 510     15000 7300    out of memory 260     15000 3100    out of memory 300     15000 3700    unknown .14  24 1.6 true 750   150 9100 true .21 10   2.4 true 12   470 92 true 16   590 140 true 14   550 120
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety.i false(valid-deref) .43  32 4.2  error (134) 430    14000 2500    true .040 8.3 .20 error (1) .43 40 3.7 error 2.5 220 20 unknown 900    64 11000   true 680    2700 9400   timeout 900     500 11000    timeout 900     1000 12000    unknown .37  25 5.2  unknown .15  23 1.6 true 750   260 11000 true 2.8  16   25   timeout 900   1400 10000 timeout 900   1300 11000 timeout 900   11000 5900
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety.i false(valid-deref) .32  31 3.4  error (42) 850    2100 8800    true .041 7.9 .16 error (1) .42 38 3.7 error 2.8 220 20 unknown 220    120 2600   true 100    4700 1400   timeout 900     13000 14000    out of memory 340     15000 4100    unknown .19  24 2.2  unknown .11  24 1.7 true 750   210 8400 true 4.1  20   58   true 32   570 300 true 310   1300 4400 true 94   800 1100
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety.i false(valid-deref) 2.1   120 25    error (134) 200    14000 2400    true .032 8.0 .17 error (1) .43 40 3.9 error 2.6 220 20 timeout 900    970 10000   out of memory 170    15000 2200   out of memory 570     15000 7500    out of memory 260     15000 3000    unknown .18  24 2.1  unknown .13  23 1.7 true 750   230 8800 true 3.4  24   44   timeout 900   1100 12000 timeout 900   1600 11000 timeout 900   910 12000
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety.i false(valid-deref) .32  28 2.9  error (42) 850    2100 4700    true .030 8.2 .21 error (1) .43 40 3.4 error 2.6 220 24 unknown 110    32 1500   true 13    340 180   timeout 900     12000 8000    out of memory 490     15000 6700    out of memory 490     15000 6600    unknown .13  24 1.6 true 750   180 9300 true 1.6  15   21   true 13   530 110 true 27   580 280 true 16   640 130
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety.i false(valid-deref) .42  37 6.0  error (42) 850    300 3900    true .039 8.0 .18 error (1) .40 37 3.7 error 2.5 220 23 unknown 900    370 10000   timeout 900    9700 7200   timeout 900     3100 13000    timeout 900     7000 11000    unknown .17  25 2.0  unknown .11  23 1.8 true 750   600 6900 timeout (timeout) 900    580   12000   true 31   530 320 timeout 900   1400 13000 true 49   720 540
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety.i timeout 900     27 11000    error (42) 850    920 4900    true .078 44   .44 error (1) .43 37 3.8 error 2.7 220 22 unknown 890    120 9900   out of memory 38    15000 460   timeout 900     170 11000    timeout 900     230 10000    unknown .18  24 2.2  unknown .11  23 1.8 true 750   320 7500 timeout (timeout) 900    800   9900   true 39   720 420 timeout 900   1700 12000 true 85   660 1100
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety.i timeout 900     27 13000    error (42) 850    7600 3100    true .029 8.2 .19 error (1) .43 40 3.6 error 2.7 220 24 unknown 900    590 14000   out of memory 45    15000 530   unknown .18  25 1.3  unknown .15  24 1.7  unknown .16  25 1.9  unknown .13  25 1.8 timeout 750   290 7400 timeout (timeout) 900    800   7600   timeout 900   900 14000 timeout 900   1500 12000 timeout 900   1200 10000
array-memsafety/rec_strlen-alloca_true-valid-memsafety.i error (5) .20  38 1.8  error (42) 850    8300 5000    true .033 8.1 .14 error (1) .39 40 3.6 error 10   220 14 true 1.1  29 13   true 15    510 180   timeout 900     14000 12000    out of memory 550     15000 7000    out of memory 480     15000 5700    unknown .14  23 1.6 true 750   240 9200 true .23 10   2.4 true 23   510 200 true 17   510 150 true 19   510 170
array-memsafety/selectionsort-alloca_true-valid-memsafety.i out of memory 510     15000 3600    error (134) 63    14000 640    true .023 8.1 .16 error (1) .43 38 3.7 error 2.5 220 21 unknown 890    310 6500   timeout 900    12000 6400   timeout 900     680 6500    timeout 900     570 11000    timeout 900     610 8200    unknown .11  23 1.8 true 750   470 6600 true .24 11   2.4 true 13   490 99 timeout 900   2100 12000 true 14   570 110
array-memsafety/stroeder1-alloca_true-valid-memsafety.i timeout 900     5700 8100    error (134) 76    14000 1000    true .029 7.9 .16 error (1) .41 37 4.0 error 2.5 220 21 unknown 100    53 1400   true 4.3  400 50   out of memory 320     15000 3800    out of memory 190     15000 2400    out of memory 190     15000 2400    unknown .13  22 1.7 true 750   180 8200 true .23 10   2.8 true 9.4 470 73 true 9.9 480 88 true 10   470 80
array-memsafety/stroeder2-alloca_true-valid-memsafety.i error (8) .17  26 1.6  error (134) 61    14000 560    true .040 8.2 .18 error (1) .44 40 3.9 error 2.5 220 22 unknown 890    270 8800   timeout 900    14000 1800   timeout 900     3500 9200    timeout 900     360 12000    timeout 900     440 10000    unknown .15  25 2.0 true 760   660 6000 true 1.2  13   15   true 10   490 79 true 21   710 200 true 12   480 83
array-memsafety/strreplace-alloca_true-valid-memsafety.i false(valid-deref) .32  29 3.1  error (134) 220    14000 1300    true .052 43   .44 error (1) .41 40 3.8 error 2.5 220 22 unknown 890    59 10000   timeout 900    1000 11000   timeout 900     150 14000    timeout 900     370 11000    timeout 900     460 14000    unknown .14  24 1.7 true 750   130 9100 true .22 11   2.6 true 20   500 180 true 26   590 240 true 19   590 140
array-memsafety/subseq-alloca_true-valid-memsafety.i false(valid-deref) .24  27 2.6  error (42) 850    1900 4700    true .031 8.0 .15 error (1) .39 37 3.7 error 2.5 220 23 unknown 890    59 13000   true 890    2200 9400   timeout 900     340 12000    timeout 900     620 13000    timeout 900     820 11000    unknown .10  24 1.8 true 750   210 8600 timeout (timeout) 900    570   6900   true 60   590 730 true 470   1600 5900 true 91   730 1000
array-memsafety/substring-alloca_true-valid-memsafety.i false(valid-deref) .25  29 2.5  error (42) 850    10000 6500    true .030 8.2 .17 error (1) .40 37 3.5 error 2.5 220 22 unknown 900    220 12000   out of memory 41    15000 560   timeout 900     650 13000    timeout 900     1400 12000    timeout 900     2000 11000    unknown .11  27 1.8 true 750   510 6600 timeout (timeout) 900    760   9700   true 61   620 770 timeout 900   1500 11000 true 50   820 520
array-examples/relax_false-valid-deref.i false(valid-deref) .23  27 2.2  false(valid-deref) .20 20 1.9  unknown .028 8.0 .16 error (1) .41 40 4.0 error 2.7 220 22 false(valid-deref) .63 29 7.4 false(valid-deref) 900    5400 1900   false(valid-deref) .26  25 2.9  false(valid-deref) .25  25 3.0  false(valid-deref) .28  25 3.3  unknown .15  24 1.7 true 750   220 8800 timeout (timeout) 900    2300   7400   false(valid-deref) 6.1 330 44 false(valid-deref) 23   340 200 false(valid-deref) 6.4 320 53
array-examples/sanfoundry_24_false-valid-deref.i out of memory 320     15000 2800    error (42) 850    6200 5200    false(valid-deref) .027 7.9 .15 error (1) .41 38 3.4 timeout 900   2900 1700 unknown 440    100 830   true 61    590 120   timeout 900     680 10000    out of memory 630     15000 9200    out of memory 370     15000 4800    timeout 900     2600 5300   false(valid-deref) 6.2 92 79 timeout (timeout) 900    3500   6500   timeout 900   1500 15000 timeout 900   1300 14000 timeout 900   1700 14000
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 900     14000 10000    out of memory 74    15000 930    false(valid-deref) .024 7.9 .13 error (1) .41 37 3.8 timeout 900   3700 12000 unknown 67    31 920   true 5.4  620 63   timeout 900     1100 9400    out of memory 870     15000 5400    unknown .11  23 .66 timeout 900     6000 9100   false(valid-deref) 8.4 95 100 timeout (timeout) 900    1600   9100   timeout 900   2000 12000 timeout 900   1400 13000 timeout 900   1900 14000
array-examples/standard_strcpy_original_false-valid-deref.i timeout 900     14000 9800    out of memory 74    15000 960    false(valid-deref) .023 7.8 .11 error (1) .39 38 3.7 timeout 900   3700 11000 unknown 67    31 710   true 5.4  620 65   timeout 900     1100 11000    out of memory 470     15000 4900    unknown .11  23 .69 timeout 900     5300 10000   false(valid-deref) 11   100 160 timeout (timeout) 900    1800   11000   timeout 900   1400 14000 timeout 900   1500 13000 timeout 900   1700 14000
memsafety/960521-1_false-valid-deref.i timeout 900     9600 5100    false(valid-deref) 2.7  51 28    unknown .029 8.1 .19 error (1) .40 37 3.7 false(valid-deref) 17   2300 170 unknown 440    75 1000   false(valid-deref) 48    70 600   false(valid-deref) 41     260 590    false(valid-deref) 44     520 530    false(valid-deref) 110     2300 1300    false(valid-deref) 8.0   170 83   timeout 880   440 8700 false(valid-deref) .32 13   4.0 timeout 900   920 12000 timeout 900   1700 11000 false(valid-deref) 440   4800 6800
memsafety/test-0137_false-valid-deref.i false(valid-deref) .26  31 2.4  error (1) .21 20 2.3  unknown .035 8.1 .29 error (1) .42 37 3.9 false(valid-deref) 3.6 270 29 false(valid-deref) .51 29 6.9 out of memory 81    15000 750   false(valid-deref) .14  25 1.4  false(valid-deref) .13  25 1.7  false(valid-deref) .13  25 1.4  false(valid-deref) 1.1   50 14   false(valid-deref) 2.8 85 33 false(valid-deref) .38 31   5.4 false(valid-deref) 69   790 750 false(valid-deref) 170   1600 2100 timeout 910   13000 3100
memsafety/test-0235_false-valid-deref.i error (8) .87  63 8.4  error (1) 1.0  33 12    unknown .063 8.3 .39 error (1) .43 38 3.9 false(valid-deref) 5.0 270 39 unknown 600    510 6600   timeout 900    150 12000   out of memory 540     15000 3400    out of memory 550     15000 4000    unknown .13  26 1.2  false(valid-deref) 4.2   120 44   false(valid-deref) 37   130 430 false(valid-deref) .72 36   9.2 timeout 900   610 11000 timeout 900   530 12000 error 200   950 2500
memsafety/960521-1_false-valid-free.i true .26  27 2.8  false(valid-free) 2.7  40 30    unknown .029 7.8 .15 error (1) .43 40 4.1 false(valid-free) 17   2500 160 unknown 110    77 1500   false(valid-free) 48    71 550   false(valid-free) 40     270 480    false(valid-free) 43     510 610    false(valid-free) 100     2300 1200    false(valid-free) 8.0   180 87   timeout 880   430 11000 false(valid-free) .31 13   4.0 timeout 900   1000 13000 timeout 900   1700 12000 false(valid-free) 440   3900 5800
memsafety/test-0158_false-valid-free.i false(valid-free) .19  26 1.5  false(valid-free) .20 20 1.5  unknown .026 8.0 .18 error (1) .39 38 3.5 false(valid-free) 3.5 260 27 false(valid-deref) 16    490 110   false(valid-free) 7.1  3300 61   false(valid-free) .77  25 1.5  false(valid-free) .22  25 2.6  false(valid-free) .19  25 2.2  false(valid-free) .13  23 1.9 false(valid-free) 2.7 77 32 false(valid-free) .21 11   2.7 false(valid-free) 8.5 430 71 false(valid-free) 15   500 120 false(valid-free) 8.8 470 77
memsafety/test-0232_false-valid-free.i false(valid-deref) .27  28 2.5  false(valid-free) .21 21 2.2  unknown .033 7.9 .20 error (1) .40 38 3.2 false(valid-free) 3.4 260 28 false(valid-deref) 1.4  29 16   out of memory 47    15000 590   false(valid-free) .30  24 4.1  false(valid-free) .33  24 3.8  false(valid-free) .33  24 4.0  false(valid-free) .14  24 1.8 false(valid-free) 750   280 6600 false(valid-free) .30 16   3.4 false(valid-free) 190   900 2000 timeout 900   1800 11000 timeout 900   2100 7400
memsafety/20020406-1_false-valid-memtrack.i error (5) .35  29 3.0  error (134) 46    13000 550    unknown .055 8.3 .42 error (1) .38 38 3.6 error 2.6 210 23 unknown 890    4800 6600   out of memory 150    15000 2000   timeout 900     1900 7200    timeout 900     1900 7300    unknown .21  27 2.1  false(valid-memtrack) .16  27 2.1 false(valid-memtrack) 7.9 95 97 false(valid-memtrack) .44 39   4.7 timeout 900   3500 11000 timeout 900   1100 12000 timeout 900   3200 7300
memsafety/20051113-1.c_false-valid-memtrack.i error (8) .19  26 1.8  false(valid-memtrack) 3.3  85 44    unknown .031 8.0 .17 error (1) .41 37 3.9 false(valid-memtrack) 3.6 270 30 unknown 530    170 6600   false(valid-memtrack) 26    1000 340   false(valid-memtrack) 6.0   200 87    false(valid-memtrack) 9.5   400 130    false(valid-memtrack) 270     5100 2900    false(valid-memtrack) .14  24 1.9 false(valid-memtrack) 5.3 86 67 false(valid-memtrack) .27 14   2.7 timeout 900   1700 11000 timeout 900   2200 12000 timeout 900   1100 6800
memsafety/lockfree-3.1_false-valid-memtrack.i error (134) 430     490 3000    false(valid-memtrack) 3.6  150 49    unknown .034 8.3 .20 error (1) .41 40 3.8 timeout 900   4800 11000 false(valid-memtrack) 7.3  40 88   timeout 900    13000 10000   false(valid-memtrack) .84  49 11    false(valid-memtrack) 1.7   74 25    false(valid-memtrack) 1.7   100 19    false(valid-memtrack) .19  24 2.6 false(valid-memtrack) 840   210 8300 false(valid-memtrack) .55 18   6.3 unknown 71   1300 630 timeout 900   3100 12000 unknown 170   1400 1800
memsafety/lockfree-3.2_false-valid-memtrack.i error (134) .34  30 3.6  false(valid-memtrack) .21 23 2.0  unknown .032 7.9 .24 error (1) .38 37 3.9 timeout 900   4800 10000 false(valid-memtrack) 1.2  29 14   timeout 900    13000 11000   false(valid-memtrack) .15  24 2.0  false(valid-memtrack) .16  24 1.6  false(valid-memtrack) .18  24 1.8  false(valid-memtrack) .18  24 2.0 false(valid-memtrack) 830   200 11000 false(valid-memtrack) .32 16   4.4 unknown 21   520 190 unknown 23   540 220 unknown 70   1400 910
memsafety/lockfree-3.3_false-valid-memtrack.i error (134) 270     380 2300    false(valid-memtrack) 3.8  160 43    unknown .030 8.2 .30 error (1) .38 38 3.5 timeout 910   4700 8200 false(valid-memtrack) 42    83 530   timeout 900    13000 9500   false(valid-memtrack) 14     140 170    false(valid-memtrack) 22     230 270    false(valid-memtrack) 26     340 380    false(valid-memtrack) .23  26 2.3 false(valid-memtrack) 850   200 8800 false(valid-memtrack) 2.1  56   28   unknown 120   4900 1000 timeout 900   4000 12000 unknown 550   2700 6100
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) .19  26 1.6  false(valid-memtrack) .19 20 1.7  unknown .033 8.1 .18 error (1) .41 37 3.7 false(valid-memtrack) 2.9 260 24 false(valid-memtrack) .54 29 6.7 false(valid-memtrack) .21 24 2.2 false(valid-memtrack) .17  24 1.4  false(valid-memtrack) .13  24 1.6  false(valid-memtrack) .14  24 1.6  false(valid-memtrack) .20  33 2.0 false(valid-memtrack) 3.7 78 46 false(valid-memtrack) .23 13   3.0 unknown 21   490 190 unknown 42   600 450 unknown 22   610 200
memsafety/test-0102_false-valid-memtrack.i false(valid-deref) .29  30 2.7  false(valid-memtrack) .27 23 3.1  unknown .039 8.2 .21 error (1) .41 37 3.5 false(valid-memtrack) 3.8 260 33 false(valid-memtrack) 11    110 130   timeout 900    8500 6800   false(valid-memtrack) 7.2   110 79    false(valid-memtrack) 4.9   120 54    false(valid-memtrack) 4.8   120 51    false(valid-memtrack) 40     770 400   false(valid-memtrack) 830   320 7000 false(valid-memtrack) .32 22   3.9 timeout 900   2900 13000 timeout 900   2000 12000 timeout 900   1600 11000
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) .21  33 1.7  false(valid-memtrack) .21 22 1.7  unknown .028 8.0 .18 error (1) .39 37 3.5 false(valid-memtrack) 2.9 250 22 false(valid-memtrack) 1.7  29 3.4 false(valid-memtrack) .16 24 2.2 false(valid-memtrack) .12  24 1.2  false(valid-memtrack) .098 24 1.2  false(valid-memtrack) .10  24 1.2  false(valid-memtrack) .15  23 1.7 false(valid-memtrack) 3.5 76 42 false(valid-memtrack) .20 11   2.6 unknown 12   330 96 unknown 16   460 140 unknown 13   350 97
memsafety/test-0220_false-valid-memtrack.i error (8) .21  27 2.0  error (1) .20 21 2.2  unknown .039 8.0 .23 error (1) .44 40 3.6 timeout 960   11000 5100 unknown 900    8300 4500   out of memory 830    15000 7700   timeout 900     3400 4900    timeout 900     3500 5700    unknown .12  25 1.4  false(valid-memtrack) 1.1   50 13   false(valid-memtrack) 830   350 7200 false(valid-memtrack) .38 19   4.1 timeout 900   580 12000 timeout 900   760 11000 timeout 910   12000 6400
memsafety/test-0232_false-valid-memtrack.i false(valid-deref) .29  28 3.5  false(valid-memtrack) .18 20 2.7  unknown .031 8.0 .22 error (1) .41 40 3.9 false(valid-memtrack) 3.0 260 23 false(valid-memtrack) 2.2  29 4.4 out of memory 420    15000 3400   false(valid-memtrack) .19  24 1.8  false(valid-memtrack) .15  24 1.9  false(valid-memtrack) .19  24 1.7  false(valid-memtrack) .13  23 2.4 false(valid-memtrack) 830   330 7000 false(valid-memtrack) .28 15   3.6 unknown 48   670 450 unknown 400   1700 5300 timeout 900   5200 6600
memsafety/test-0234_false-valid-memtrack.i error (8) .34  27 3.2  error (1) .67 21 6.8  unknown .047 7.9 .32 error (1) .39 38 4.5 false(valid-memtrack) 3.9 270 33 unknown 630    520 5300   timeout 900    150 13000   out of memory 550     15000 3400    out of memory 530     15000 4000    unknown .11  25 1.3  false(valid-memtrack) 3.6   120 39   false(valid-memtrack) 830   370 6800 false(valid-memtrack) .47 29   6.8 timeout 900   610 11000 timeout 900   600 11000 error 450   1000 4500
memsafety/test-0235_false-valid-memtrack.i error (8) .65  51 7.3  error (1) .77 22 8.7  unknown .046 7.9 .41 error (1) .40 37 4.1 false(valid-memtrack) 4.1 270 36 unknown 600    510 5400   timeout 900    150 12000   out of memory 540     15000 4100    out of memory 530     15000 4100    unknown .13  25 1.3  false(valid-memtrack) 3.7   130 44   false(valid-memtrack) 830   430 7300 false(valid-memtrack) .61 36   7.7 timeout 900   710 11000 timeout 900   570 13000 error 170   870 1900
memsafety/960521-1_true-valid-memsafety.i true .34  27 3.5  out of memory 140    15000 1900    unknown .026 8.2 .13 error (1) .41 37 3.6 timeout 900   4000 12000 unknown 440    72 1600   true 1.7  67 21   out of memory 440     15000 5000    out of memory 300     15000 3700    timeout 900     13000 7100    timeout 900     8600 8000   timeout 900   220 10000 true 14    64   190   timeout 900   900 13000 timeout 900   1400 12000 timeout 900   1900 11000
memsafety/lockfree-3.0_true-valid-memsafety.i error (134) 450     460 3200    error (42) 850    2100 6200    unknown .035 8.0 .18 error (1) .45 40 3.7 timeout 900   4700 12000 unknown 890    200 9800   timeout 900    13000 11000   timeout 900     280 2100    timeout 900     770 10000    timeout 900     1100 11000    true 40     240 360   true 880   200 10000 timeout (timeout) 900    2600   4900   timeout 900   8100 8400 timeout 900   4000 14000 timeout 900   11000 9300
memsafety/test-0019_true-valid-memsafety.i true .19  26 1.8  true .35 20 3.0  unknown .098 43   .49 error (1) .41 40 3.7 true 2.9 250 24 true .88 29 8.9 true .18 24 1.9 out of memory 88     15000 1200    true .10  24 .95 true .081 24 .84 true .11  23 1.7 true 3.4 70 45 true .24 13   2.9 true 13   510 98 true 35   760 400 true 62   550 680
memsafety/test-0102_true-valid-memsafety.i false(valid-deref) .31  31 2.9  error (1) 16    270 230    unknown .033 8.1 .26 error (1) .41 39 3.8 timeout 960   11000 5000 unknown 890    550 8500   timeout 900    8500 5200   timeout 900     2000 10000    timeout 900     690 8800    unknown 12     160 140    true 2.2   130 23   timeout 880   340 9000 timeout (timeout) 900    5000   10000   timeout 900   930 11000 timeout 900   2300 13000 timeout 900   1600 11000
memsafety/test-0134_true-valid-memsafety.i false(valid-memtrack) .57  39 5.7  error (1) .21 20 2.3  unknown .036 7.9 .33 error (1) .43 40 3.6 timeout 910   8300 11000 unknown 890    290 12000   out of memory 80    15000 730   timeout 900     410 12000    timeout 900     510 10000    unknown .83  53 10    true 2.6   110 28   timeout 880   360 6800 timeout (timeout) 900    2900   8800   timeout 900   830 10000 timeout 900   1600 12000 timeout 900   2500 12000
memsafety/test-0158_true-valid-memsafety.i true .18  27 1.5  true .33 20 3.5  unknown .054 43   .60 error (1) .41 38 3.9 true 11   250 14 true 3.5  29 13   true .22 24 2.5 out of memory 150     15000 1900    true .098 24 1.3  true .099 24 1.1  true .10  23 1.8 true 3.2 70 46 true .22 11   2.4 true 8.1 440 64 true 11   480 91 true 9.4 490 75
memsafety/test-0214_true-valid-memsafety.i false(valid-deref) 6.6   150 50    error (42) 850    1800 5400    unknown .039 8.6 .33 error (1) .45 40 3.9 timeout 900   11000 6100 unknown 890    2000 7800   out of memory 280    15000 3300   timeout 900     500 7500    timeout 900     520 9600    unknown 7.1   65 85    true 1.2   34 15   timeout 880   230 10000 timeout (timeout) 900    240   7300   timeout 900   840 11000 timeout 900   1000 12000 timeout 900   3800 5300
memsafety/test-0217_true-valid-memsafety.i error (134) .28  35 2.8  error (1) 42    13000 560    unknown .040 8.4 .31 error (1) .44 39 3.7 timeout 920   6600 1100 unknown 890    1900 6000   out of memory 52    15000 630   timeout 900     240 11000    timeout 900     250 8500    timeout 900     250 8600    true 1.2   45 14   timeout 880   280 7800 timeout (timeout) 900    280   8000   timeout 900   1500 13000 timeout 900   1100 12000 timeout 900   1200 10000
memsafety/test-0218_true-valid-memsafety.i error (134) .25  32 2.8  error (42) 850    4100 5300    unknown .099 33   .44 error (1) .40 38 3.5 timeout 920   11000 6000 unknown 890    1900 5800   out of memory 52    15000 610   timeout 900     230 9600    timeout 900     210 6900    timeout 900     220 8100    true 1.2   44 15   timeout 880   280 7900 timeout (timeout) 900    230   7400   error 830   2800 11000 timeout 900   1600 12000 timeout 910   12000 6300
memsafety/test-0219_true-valid-memsafety.i error (8) .22  27 2.4  error (1) .22 20 2.0  unknown .036 8.0 .26 error (1) .44 40 4.4 timeout 960   11000 5400 unknown 900    8500 5600   out of memory 860    15000 4500   timeout 900     3500 6500    timeout 900     3500 5000    unknown .11  25 1.1  true 2.4   95 26   timeout 880   360 7500 timeout (timeout) 900    4100   8600   timeout 900   590 12000 timeout 900   710 11000 timeout 900   13000 5700
memsafety/test-0232_true-valid-memsafety.i false(valid-deref) .28  35 2.3  error (1) 29    190 370    unknown .035 8.0 .26 error (1) .43 37 3.7 timeout 900   6700 7800 unknown 890    260 9500   timeout 900    7300 7900   timeout 900     2800 10000    timeout 900     1600 8900    unknown .12  24 1.3  true 1.1   26 14   true 880   310 9200 timeout (timeout) 900    1900   11000   timeout 900   1100 9800 timeout 900   2000 13000 timeout 900   2700 9100
memsafety/test-0234_true-valid-memsafety.i error (8) .32  27 3.5  error (1) .74 22 7.4  unknown .044 7.8 .27 error (1) .42 37 3.6 timeout 970   11000 4800 unknown 590    510 6500   timeout 900    150 11000   out of memory 540     15000 3000    out of memory 840     15000 3400    unknown .11  25 1.3  true 2.5   120 25   timeout 880   380 7400 timeout (timeout) 900    4900   8200   timeout 900   790 10000 timeout 900   520 12000 error 650   1200 9500
memsafety/test-0235_true-valid-memsafety.i error (8) .75  56 8.3  error (1) .97 26 11    unknown .057 8.0 .38 error (1) .43 40 3.6 timeout 970   11000 4700 unknown 590    510 6400   timeout 900    150 13000   out of memory 560     15000 3300    out of memory 550     15000 3100    unknown .12  25 1.3  true 5.8   160 55   timeout 880   410 8900 timeout (timeout) 900    5000   9400   timeout 900   640 11000 timeout 900   510 12000 error 380   1100 4500
memsafety/test-0236_true-valid-memsafety.i error (8) .34  28 3.7  error (1) .82 23 8.5  unknown .065 8.0 .30 error (1) .39 37 3.2 timeout 970   11000 5000 unknown 690    510 5700   timeout 900    150 12000   out of memory 530     15000 3800    out of memory 530     15000 3600    unknown .11  25 1.3  true 2.5   94 23   timeout 880   440 8400 timeout (timeout) 900    4900   12000   timeout 900   690 10000 timeout 900   540 12000 error 160   840 1700
memsafety/test-0237_true-valid-memsafety.i error (8) .35  27 3.7  error (1) .80 23 11    unknown .11  44   .64 error (1) .41 38 3.9 timeout 970   11000 4800 unknown 660    510 5600   timeout 900    150 13000   out of memory 840     15000 3100    out of memory 530     15000 4500    unknown .11  25 1.2  true 2.5   110 24   timeout 880   390 8000 timeout (timeout) 900    4900   9400   timeout 900   830 11000 timeout 900   570 11000 error 420   1100 5600
memsafety/test-0504_true-valid-memsafety.i error (8) .41  34 4.0  error (1) 310    670 3900    unknown .035 8.1 .21 error (1) .42 40 3.9 timeout 900   8000 9000 unknown 890    380 9800   timeout 900    9200 5100   timeout 900     460 12000    timeout 900     490 11000    unknown .22  29 2.7  true 2.2   42 21   timeout 880   380 7900 timeout (timeout) 900    3100   7400   timeout 900   980 10000 timeout 900   2200 14000 timeout 900   1100 11000
memsafety/test-0513_true-valid-memsafety.i true 180     1300 1500    error (42) 850    1900 5600    unknown .036 8.3 .23 error (1) .46 39 3.6 timeout 900   4500 13000 unknown 890    250 11000   out of memory 120    15000 1400   timeout 900     390 9200    timeout 900     530 9600    unknown .17  26 1.8  true 2.2   29 24   timeout 880   440 8600 timeout (timeout) 900    1300   9700   timeout 900   1100 11000 timeout 900   1500 11000 timeout 910   14000 3200
memsafety/test-0521_true-valid-memsafety.i true 43     1000 460    error (134) 150    14000 1800    unknown .037 8.1 .25 error (1) .38 38 3.4 timeout 900   4700 11000 unknown 890    750 11000   out of memory 10    15000 140   timeout 900     1200 10000    timeout 900     910 10000    unknown .52  48 6.0  true 2.3   34 23   timeout 880   370 7600 timeout (timeout) 900    2500   6600   timeout 900   2800 11000 timeout 900   1900 12000 timeout 900   1000 11000
memsafety/test-memleak_nexttime_true-valid-memsafety.i false(valid-memtrack) .36  30 3.9  error (1) .18 21 1.9  unknown .070 44   .47 error (1) .39 38 3.7 true 3.2 260 29 unknown 890    630 6900   true 7.9  3300 56   timeout 900     500 2600    true 1.8   28 22    true 1.9   31 26    true .11  25 1.9 true 3.3 69 47 true .22 11   3.1 true 57   670 640 true 110   890 1400 timeout 900   900 11000
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i false(valid-free) .33  30 3.2  error (1) 78    300 960    unknown .033 7.9 .21 error (1) .38 38 4.1 timeout 900   8700 9200 unknown 890    220 12000   out of memory 80    15000 870   timeout 900     650 12000    timeout 900     380 7600    unknown .20  27 2.1  timeout 900     890 5600   true 880   230 10000 timeout (timeout) 900    3300   7000   timeout 900   860 11000 timeout 900   1900 12000 timeout 900   1200 9800
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error (134) .38  32 3.8  error (42) 850    420 8000    unknown .036 8.1 .22 error (1) .42 40 3.8 timeout 900   9500 9500 unknown 890    93 9900   out of memory 53    15000 550   timeout 900     140 12000    timeout 900     200 10000    unknown .18  24 2.4  timeout 900     1600 7900   timeout 880   280 8400 timeout (timeout) 900    2800   6400   timeout 900   740 12000 timeout 900   1700 10000 timeout 900   13000 3700
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error (134) .56  36 5.8  error (42) 850    630 8300    unknown .044 7.9 .23 error (1) .41 40 3.7 timeout 900   9700 9100 unknown 890    110 12000   out of memory 54    15000 630   timeout 900     150 12000    timeout 900     210 11000    unknown .24  25 2.8  timeout 900     1200 8500   timeout 880   280 6900 timeout (timeout) 900    2700   7100   timeout 900   980 12000 timeout 900   1800 12000 timeout 910   14000 5400
memsafety-ext/tree_cnstr_true-valid-memsafety.i error (134) .37  34 3.5  error (42) 850    2100 4900    unknown .034 8.0 .21 error (1) .43 40 4.1 timeout 920   11000 5400 unknown 890    160 10000   out of memory 95    15000 970   timeout 900     190 12000    timeout 900     220 9900    unknown .50  33 5.5  timeout 900     460 6000   timeout 880   290 9000 timeout (timeout) 900    3400   6400   timeout 900   790 13000 timeout 900   1200 13000 timeout 900   3200 9100
memsafety-ext/tree_dsw_true-valid-memsafety.i error (134) .45  39 5.6  error (42) 850    1700 4100    unknown .034 8.1 .27 error (1) .43 37 3.4 timeout 920   11000 4800 unknown 890    340 10000   out of memory 97    15000 1000   timeout 900     210 11000    timeout 900     330 11000    unknown .74  43 10    timeout 900     280 7100   timeout 880   270 9200 timeout (timeout) 900    3700   7000   timeout 900   1900 11000 timeout 900   1500 13000 timeout 900   1000 12000
memsafety-ext/tree_of_cslls_true-valid-memsafety.i false(valid-deref) 2.2   110 25    error (42) 850    1000 8100    unknown .045 44   .90 error (1) .40 37 4.0 timeout 910   11000 6100 unknown 890    520 11000   out of memory 580    15000 4400   timeout 900     420 9800    timeout 900     440 11000    unknown 4.0   75 47    timeout 900     500 5500   timeout 880   360 7200 timeout (timeout) 900    4000   8700   timeout 900   1100 12000 timeout 900   1600 14000 timeout 910   11000 6500
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i error (134) .46  38 4.9  error (42) 850    2000 5800    unknown .033 8.0 .26 error (1) .40 38 3.4 timeout 930   11000 5300 unknown 890    270 12000   out of memory 120    15000 1500   timeout 900     310 12000    timeout 900     380 10000    unknown 2.2   50 26    timeout 900     440 6300   timeout 880   300 7500 timeout (timeout) 900    3900   6300   timeout 900   1000 12000 timeout 900   1700 12000 timeout 900   2400 8100
memsafety-ext/tree_stack_true-valid-memsafety.i error (134) .43  33 4.9  error (42) 850    1400 4900    unknown .043 7.9 .24 error (1) .40 38 3.8 timeout 940   11000 5200 unknown 890    330 12000   out of memory 93    15000 1000   timeout 900     200 5700    timeout 900     280 12000    unknown .96  40 12    timeout 900     430 6800   timeout 880   280 7300 timeout (timeout) 900    4300   6700   timeout 900   1100 13000 timeout 900   1900 13000 timeout 900   3400 6800
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-deref) 10     290 97    out of memory 310    15000 4100    unknown .12  43   .61 error (1) .40 40 4.3 false(valid-deref) 5.5 290 45 unknown 900    15000 10000   timeout 900    7300 6300   out of memory 220     15000 1700    out of memory 230     15000 1500    out of memory 230     15000 1800    timeout 900     970 8800   timeout 880   430 8400 false(valid-deref) 29    320   370   timeout 900   1200 12000 timeout 900   2000 11000 timeout 900   2600 10000
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error (134) .74  54 8.5  false(valid-memtrack) 17    630 190    unknown .10  44   .56 error (1) .42 38 4.2 timeout 900   10000 7700 unknown 890    550 6800   timeout 900    8900 5000   timeout 900     4300 6100    timeout 900     1400 7500    unknown .88  40 11    false(valid-memtrack) .17  25 2.5 false(valid-memtrack) 840   450 6800 false(valid-memtrack) .44 28   5.8 timeout 900   3500 13000 timeout 900   1500 13000 timeout 900   1500 7700
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error (134) 1.2   72 14    false(valid-memtrack) 1.9  110 25    unknown .040 8.0 .28 error (1) .40 39 3.7 timeout 930   11000 5500 unknown 890    490 7200   out of memory 750    15000 7000   false(valid-memtrack) 780     500 6100    timeout 900     520 6500    unknown .41  40 5.5  false(valid-memtrack) .15  25 1.8 false(valid-memtrack) 830   380 10000 false(valid-memtrack) .45 28   5.5 timeout 900   3100 12000 timeout 900   1600 12000 timeout 900   1500 6400
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-deref) 2.0   67 21    false(valid-memtrack) 1.4  34 16    unknown .11  43   .54 error (1) .40 40 4.1 false(valid-memtrack) 3.9 260 31 false(valid-memtrack) 10    48 130   out of memory 550    15000 5100   false(valid-memtrack) 3.4   64 40    false(valid-memtrack) 2.4   81 30    unknown .17  25 1.5  false(valid-memtrack) .97  31 10   false(valid-memtrack) 830   320 8200 false(valid-memtrack) .36 22   4.8 timeout 910   14000 4200 timeout 900   1500 10000 timeout 900   2000 11000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i error (134) .35  31 3.7  false(valid-memtrack) 16    280 200    unknown .032 7.9 .28 error (1) .41 37 3.7 timeout 900   11000 5700 false(valid-deref) .82 29 9.6 out of memory 140    15000 1100   false(valid-free) .36  24 4.1  false(valid-free) .33  25 4.5  false(valid-free) .33  24 4.1  false(valid-memtrack) 1.0   25 12   false(valid-memtrack) 830   410 7100 false(valid-memtrack) .41 20   4.6 timeout 900   1100 8700 timeout 900   2000 12000 timeout 900   2000 7600
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error (134) .62  50 7.2  error (42) 850    2500 10000    unknown .038 8.1 .21 error (1) .41 37 3.7 timeout 960   10000 8800 unknown 890    640 7100   timeout 900    8900 4300   timeout 900     4300 6200    timeout 900     1200 6500    unknown .49  40 5.5  timeout 900     1800 7100   timeout 880   440 7400 timeout (timeout) 900    4100   9500   timeout 900   3400 13000 timeout 900   1600 12000 timeout 900   1300 8100
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error (134) 1.2   85 14    error (1) 52    480 600    unknown .038 8.0 .27 error (1) .39 38 3.9 timeout 910   11000 5400 unknown 890    500 6600   out of memory 770    15000 4900   timeout 900     490 6700    false(valid-memtrack) 770     520 5900    unknown .61  41 6.8  timeout 900     1900 5400   timeout 880   440 10000 timeout (timeout) 900    3800   7800   timeout 900   3400 9600 timeout 900   1800 11000 timeout 900   1400 8300
memsafety-ext2/length_test03_true-valid-memsafety.i false(valid-deref) 1.8   62 23    error (42) 850    2000 4200    unknown .039 7.9 .27 error (1) .44 40 4.0 timeout 900   8000 8300 unknown 890    190 9200   timeout 900    4400 6800   timeout 900     1100 9200    timeout 900     1200 11000    unknown .17  25 1.7  timeout 900     2500 11000   true 880   320 8400 true .34 22   4.3 timeout 910   14000 4400 timeout 900   1600 10000 timeout 900   1700 11000
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error (134) .47  36 5.9  error (1) 200    800 2100    unknown .034 7.8 .25 error (1) .42 38 4.1 timeout 910   11000 5000 false(valid-deref) .79 29 11   out of memory 140    15000 1100   false(valid-free) .33  25 4.1  false(valid-free) .33  24 4.2  false(valid-free) .33  24 3.9  timeout 900     1800 5100   timeout 880   420 8400 timeout (timeout) 900    3300   7100   timeout 900   1000 9100 timeout 900   2000 12000 timeout 900   1400 11000
memsafety-ext2/split_list_test05_true-valid-memsafety.i false(valid-deref) 10     310 83    out of memory 210    15000 2500    unknown .046 8.0 .36 error (1) .40 37 3.8 timeout 900   6600 7500 unknown 900    15000 10000   timeout 900    7200 6200   out of memory 230     15000 2000    out of memory 220     15000 2400    out of memory 230     15000 1900    timeout 900     890 8800   timeout 880   320 7600 timeout (timeout) 900    3700   8300   timeout 900   1600 11000 timeout 900   1600 10000 timeout 900   2600 10000
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) .38  32 4.4  false(valid-deref) .20 20 1.8  unknown .035 8.0 .25 error (1) .41 37 3.8 false(valid-deref) 3.2 260 28 false(valid-deref) 1.5  29 19   false(valid-deref) 20    1900 280   false(valid-deref) .31  24 4.2  false(valid-deref) .32  24 4.6  false(valid-deref) .36  24 3.6  false(valid-deref) .16  23 1.8 false(valid-deref) 2.5 83 31 false(valid-deref) .29 14   3.2 false(valid-deref) 11   420 83 false(valid-deref) 17   480 150 false(valid-deref) 15   510 120
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1.1   39 12    false(valid-deref) 100    390 1100    unknown .036 7.9 .20 error (1) .41 40 4.8 false(valid-deref) 3.3 250 28 false(valid-deref) 1.3  30 19   false(valid-deref) 470    2700 4700   false(valid-deref) .22  25 2.5  false(valid-deref) .20  26 2.5  false(valid-deref) .20  26 2.7  false(valid-deref) 4.1   55 33   timeout 880   290 7500 false(valid-deref) 1.8  24   23   timeout 900   730 12000 timeout 900   1500 12000 timeout 900   3200 8600
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-free) .48  31 5.3  false(valid-deref) .26 21 1.9  unknown .040 8.3 .26 error (1) .45 40 3.8 false(valid-deref) 3.2 260 26 false(valid-deref) 1.3  29 15   out of memory 460    15000 3900   false(valid-deref) .19  24 2.3  false(valid-deref) .19  25 2.7  false(valid-deref) .19  24 2.4  false(valid-deref) .15  23 2.0 false(valid-deref) 2.3 91 27 false(valid-deref) .31 18   3.7 false(valid-deref) 8.4 400 67 false(valid-deref) 38   720 410 false(valid-deref) 9.2 400 69
list-ext-properties/960521-1_1_false-valid-free.i true .34  28 3.5  false(valid-free) .20 20 2.1  unknown .034 7.9 .20 error (1) .42 37 3.8 false(valid-free) 2.9 250 26 unknown 1.5  29 21   false(valid-free) 41    1900 470   false(valid-free) .32  24 3.7  false(valid-free) .36  24 4.7  false(valid-free) .35  24 5.0  false(valid-free) .12  24 2.1 false(valid-free) 640   330 7000 false(valid-free) .29 13   3.3 false(valid-free) 12   490 98 false(valid-free) 32   610 330 false(valid-free) 16   550 160
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .21  26 1.6  false(valid-free) .18 20 1.8  unknown .039 7.9 .20 error (1) .44 40 3.5 false(valid-free) 3.0 250 23 false(valid-deref) .57 29 6.6 false(valid-free) .25 25 2.8 false(valid-free) .25  24 2.8  false(valid-free) .24  24 3.1  false(valid-free) .26  24 3.5  false(valid-free) .12  22 1.8 false(valid-free) 2.8 73 37 false(valid-free) .24 12   2.7 false(valid-free) 8.6 400 73 false(valid-free) 26   660 250 false(valid-free) 8.4 430 66
list-ext-properties/test-0019_1_false-valid-memtrack.i error (134) .19  26 1.8  false(valid-memtrack) .21 20 1.6  unknown .032 7.9 .17 error (1) .40 38 3.6 false(valid-memtrack) 3.0 260 27 false(valid-memtrack) .52 29 5.9 false(valid-memtrack) .20 25 2.3 false(valid-memtrack) .17  25 1.7  false(valid-memtrack) .17  24 1.8  false(valid-memtrack) .14  24 1.6  false(valid-memtrack) .13  23 2.0 false(valid-memtrack) 3.9 84 49 false(valid-memtrack) .23 14   3.0 unknown 240   1100 2600 unknown 220   1000 2600 timeout 900   4600 15000
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) .17  26 1.5  false(valid-memtrack) .21 20 1.5  unknown .032 8.0 .18 error (1) .41 37 3.7 false(valid-memtrack) 2.9 260 26 false(valid-memtrack) .47 29 5.8 false(valid-memtrack) .16 24 1.8 false(valid-memtrack) .13  24 1.1  false(valid-memtrack) .10  24 1.2  false(valid-memtrack) .12  24 1.1  false(valid-memtrack) .12  23 1.8 false(valid-memtrack) 3.7 80 46 false(valid-memtrack) .25 11   2.6 unknown 13   330 99 unknown 23   510 210 unknown 13   340 110
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-deref) .21  26 1.6  false(valid-memtrack) .23 20 2.1  unknown .031 7.9 .23 error (1) .38 37 3.5 false(valid-memtrack) 3.1 250 27 false(valid-memtrack) .57 29 6.7 false(valid-memtrack) 34    1600 350   false(valid-memtrack) .14  24 1.5  false(valid-memtrack) .14  24 1.6  false(valid-memtrack) .18  24 1.9  false(valid-memtrack) .13  24 1.9 false(valid-memtrack) 830   350 8000 false(valid-memtrack) .29 15   3.1 unknown 42   670 420 unknown 250   1200 3200 unknown 50   650 480
list-ext-properties/960521-1_1_true-valid-memsafety.i true .37  30 4.9  true 56    850 730    unknown .042 8.2 .23 error (1) .41 40 3.9 true 40   690 50 unknown 890    110 10000   true 26    1200 320   timeout 900     260 11000    timeout 900     300 10000    unknown .19  24 1.9  true .88  35 9.0 true 830   320 9500 true .59 14   7.7 timeout 900   2000 11000 timeout 900   1500 11000 timeout 900   840 11000
list-ext-properties/list-ext_1_true-valid-memsafety.i error (134) .76  50 8.3  true 110    290 1200    unknown .037 7.9 .20 error (1) .39 37 3.9 true 25   1800 220 unknown 890    220 10000   true 270    2300 2400   timeout 900     760 11000    timeout 900     850 9900    timeout 900     830 10000    true 2.9   56 26   true 880   350 8100 true 3.2  27   39   timeout 900   820 12000 timeout 900   1400 13000 timeout 910   9800 8600
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error (134) .52  32 5.8  true 45    150 650    unknown .032 8.0 .24 error (1) .41 38 3.7 timeout 900   4800 11000 unknown 890    200 9600   true 110    3500 1400   timeout 900     1700 9200    true 210     680 2500    timeout 900     860 8000    timeout 900     480 5800   true 880   240 8400 timeout (timeout) 900    2200   7200   timeout 900   950 12000 timeout 900   1300 14000 timeout 910   10000 7800
list-ext-properties/simple-ext_1_true-valid-memsafety.i error (134) .41  31 4.3  true 48    270 550    unknown .035 8.1 .19 error (1) .42 38 3.9 true 47   810 59 unknown 890    190 10000   true 900    4700 7600   timeout 900     1400 9100    true 680     1300 7300    timeout 900     930 9600    true 310     2000 2600   true 880   290 11000 true 1.2  18   17   timeout 900   1100 13000 timeout 900   1700 11000 timeout 900   12000 5500
list-ext-properties/test-0019_1_true-valid-memsafety.i error (134) .21  26 1.6  true .33 20 3.2  unknown .025 8.0 .24 error (1) .40 37 3.4 true 2.8 250 23 true .84 29 10   true .21 24 2.1 out of memory 110     15000 1300    true .084 24 .88 true .082 24 1.1  true .11  23 1.7 true 3.6 74 41 true .23 14   2.8 true 30   730 320 true 74   890 940 timeout 910   13000 2800
list-ext-properties/test-0158_1_true-valid-memsafety.i true .18  26 1.4  true .33 20 2.9  unknown .061 8.0 .17 error (1) .44 40 3.6 true 3.0 250 27 true 1.1  29 12   true .21 24 2.5 timeout 900     3100 2600    true .22  24 2.8  true .22  24 2.9  true .11  21 1.8 true 3.3 66 41 true .23 12   2.5 true 8.1 430 65 true 23   690 240 true 9.1 480 72
list-ext-properties/test-0214_1_true-valid-memsafety.i error (134) 15     180 120    true 430    460 3300    unknown .046 8.4 .29 error (1) .41 37 3.9 timeout 900   5900 9400 unknown 890    870 2700   timeout 900    5400 2000   timeout 900     330 11000    timeout 900     320 6600    timeout 900     330 5600    true 12     530 160   timeout 880   270 6900 timeout (timeout) 900    170   6700   timeout 900   940 11000 timeout 900   1400 10000 timeout 900   1000 11000
list-ext-properties/test-0217_1_true-valid-memsafety.i error (134) .28  35 2.6  true 400    390 3400    unknown .042 8.2 .30 error (1) .42 37 3.5 timeout 900   5300 11000 unknown 890    1100 5300   timeout 900    5100 6800   timeout 900     720 7700    timeout 900     740 8300    timeout 900     760 9700    true 3.9   120 38   timeout 880   360 8700 timeout (timeout) 900    190   9100   timeout 900   860 13000 timeout 900   1400 11000 timeout 900   980 13000
list-ext-properties/test-0232_1_true-valid-memsafety.i false(valid-deref) .21  28 1.9  true 6.1  62 88    unknown .087 44   .64 error (1) .43 37 3.5 true 33   390 33 true 190    150 2100   true 59    1600 680   timeout 900     5000 12000    true 190     820 2400    unknown .13  24 1.4  true 1.6   25 18   true 880   340 8100 true .58 16   6.5 timeout 900   840 9500 timeout 900   2200 10000 error 720   1200 8900
list-ext-properties/test-0504_1_true-valid-memsafety.i error (8) .69  39 7.6  true 4.6  87 64    unknown .030 7.8 .26 error (1) .40 37 3.4 timeout 900   5400 9000 unknown 890    440 8100   timeout 900    8000 2400   timeout 900     600 10000    true 590     420 5700    timeout 900     560 6900    timeout 900     6100 5200   timeout 880   380 7300 true 29    170   350   timeout 900   920 10000 timeout 900   1900 13000 timeout 900   1600 10000
list-ext-properties/test-0513_1_true-valid-memsafety.i true 3.7   150 36    true 10    290 110    unknown .035 7.9 .25 error (1) .39 37 4.0 true 4.7 290 34 unknown 890    2600 8900   out of memory 99    15000 1200   timeout 900     460 2600    true 360     430 3800    true 230     460 2500    true .26  25 2.8 true 370   310 3100 true .41 23   4.7 timeout 900   1200 13000 timeout 900   1700 13000 timeout 910   13000 4700
memory-alloca/c.03-alloca_true-valid-memsafety.i true .22  28 1.6  error (42) 850    2100 6900    unknown .037 8.0 .22 error (1) .40 37 3.7 timeout 900   8000 10000 unknown 160    71 1800   true 18    1300 210   out of memory 890     15000 2700    out of memory 280     15000 3300    out of memory 230     15000 2800    true 1.2   45 14   true 4.1 81 47 timeout (timeout) 900    290   11000   true 12   520 86 true 210   1300 3000 true 41   500 450
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) .20  34 1.9  false(valid-deref) .15 18 .97 unknown .025 7.9 .14 error (1) .40 37 3.5 false(valid-deref) 2.4 240 23 false(valid-deref) .39 28 4.7 false(valid-deref) 440    930 6200   false(valid-deref) .43  23 1.6  false(valid-deref) .11  23 1.3  false(valid-deref) .11  23 1.4  false(valid-deref) .16  23 1.7 false(valid-deref) 3.9 83 50 false(valid-deref) .22 12   2.7 false(valid-deref) 6.8 340 51 false(valid-deref) 7.7 360 56 false(valid-deref) 7.0 340 50
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) .23  34 1.8  false(valid-deref) .15 18 .92 unknown .027 7.9 .16 error (1) .41 38 3.6 false(valid-deref) 2.4 240 21 unknown .36 28 4.2 false(valid-deref) 440    930 5500   false(valid-deref) .11  23 .63 false(valid-deref) .072 23 .80 false(valid-deref) .087 23 .85 false(valid-deref) .16  25 1.9 false(valid-deref) 3.5 84 45 false(valid-deref) .23 11   2.3 false(valid-deref) 8.3 390 57 false(valid-deref) 8.6 440 68 false(valid-deref) 8.1 440 71
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) .18  33 1.7  false(valid-deref) .14 18 .94 unknown .026 7.8 .14 error (1) .41 38 3.4 false(valid-deref) 2.2 230 20 unknown .36 27 4.0 false(valid-deref) 4.7  82 61   false(valid-deref) .073 23 .81 false(valid-deref) .078 23 .83 false(valid-deref) .097 23 .88 false(valid-deref) .16  23 1.7 false(valid-deref) 3.2 82 39 false(valid-deref) .22 11   2.1 false(valid-deref) 6.7 340 51 false(valid-deref) 6.2 340 56 false(valid-deref) 6.3 310 53
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) .22  47 2.6  false(valid-deref) .12 18 .90 unknown .026 7.7 .14 error (1) .42 40 4.2 false(valid-deref) 2.2 230 19 unknown .37 27 4.3 false(valid-deref) 4.6  39 63   false(valid-deref) .090 23 .89 false(valid-deref) .086 23 .90 false(valid-deref) .076 23 .79 false(valid-deref) .16  22 1.8 false(valid-deref) 4.1 95 63 false(valid-deref) .22 11   2.2 false(valid-deref) 5.9 330 53 false(valid-deref) 6.3 350 45 false(valid-deref) 6.3 330 51
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 43     1400 430    false(valid-deref) 1.7  26 17    unknown .028 8.2 .13 error (1) .41 40 3.8 false(valid-deref) 12   740 98 false(valid-deref) 610    570 5600   false(valid-deref) .79 23 11   false(valid-deref) 2.5   23 30    false(valid-deref) 4.8   58 58    false(valid-deref) 470     2300 4300    false(valid-deref) 1.6   39 20   timeout 750   480 7500 false(valid-deref) .81 24   9.9 false(valid-deref) 540   4900 7000 timeout 900   1200 14000 false(valid-deref) 870   5300 11000
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 42     1400 400    false(valid-deref) 1.7  26 19    unknown .027 7.8 .14 error (1) .44 40 4.2 false(valid-deref) 12   740 87 unknown 900    430 1900   false(valid-deref) 3.0  23 6.8 false(valid-deref) 2.5   23 36    false(valid-deref) 4.7   58 53    false(valid-deref) 420     2300 3900    false(valid-deref) 3.8   53 46   timeout 750   420 6900 false(valid-deref) .88 26   11   false(valid-deref) 470   4800 7400 timeout 900   1000 13000 false(valid-deref) 730   5100 10000
ldv-memsafety/memset2_false-valid-deref-write.c timeout 900     1600 9800    false(valid-deref) 2.0  19 22    unknown .026 7.7 .13 error (1) .46 40 4.1 false(valid-deref) 2.4 230 21 unknown 75    29 930   false(valid-deref) .44 23 5.6 false(valid-deref) 3.1   23 43    false(valid-deref) 6.0   58 72    false(valid-deref) 6.8   150 110    false(valid-deref) .14  21 1.9 false(valid-deref) 1.7 73 23 false(valid-deref) .19 9.6 1.8 false(valid-deref) 5.8 330 41 false(valid-deref) 5.9 320 47 false(valid-deref) 5.7 320 44
ldv-memsafety/memset3_false-valid-deref-write.c timeout 900     1100 11000    false(valid-deref) 2.1  19 20    unknown .026 7.6 .13 error (1) .40 37 3.5 false(valid-deref) 2.4 240 20 unknown 270    39 3100   false(valid-deref) 1.6  23 23   false(valid-deref) 31     24 390    false(valid-deref) 61     370 950    false(valid-deref) 65     700 790    false(valid-deref) .12  21 1.8 false(valid-deref) 1.6 73 23 false(valid-deref) .17 9.9 2.2 false(valid-deref) 6.3 340 50 false(valid-deref) 5.7 320 49 false(valid-deref) 5.8 320 44
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c timeout 900     1600 10000    false(valid-deref) 2.0  19 21    unknown .028 7.8 .12 error (1) .41 38 3.6 false(valid-deref) 9.5 240 11 unknown 75    28 960   false(valid-deref) .44 23 5.5 false(valid-deref) 3.1   23 38    false(valid-deref) 6.0   58 85    false(valid-deref) 6.7   150 82    false(valid-deref) .15  23 1.8 false(valid-deref) 1.6 82 21 false(valid-deref) .18 9.7 2.0 false(valid-deref) 5.9 320 53 false(valid-deref) 6.2 320 43 false(valid-deref) 5.9 340 46
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c timeout 900     1100 13000    false(valid-deref) 2.1  19 21    unknown .025 7.9 .13 error (1) .40 38 4.1 false(valid-deref) 2.3 240 19 unknown 270    38 3600   false(valid-deref) 1.7  23 22   false(valid-deref) 31     24 480    false(valid-deref) 62     380 860    false(valid-deref) 65     700 720    false(valid-deref) .11  22 1.7 false(valid-deref) 1.6 82 22 false(valid-deref) .20 9.8 1.9 false(valid-deref) 5.8 320 45 false(valid-deref) 5.7 320 46 false(valid-deref) 5.8 330 49
ldv-memsafety/memsetNonZero_false-valid-deref-write.c timeout 900     1100 10000    false(valid-deref) 2.1  18 21    unknown .024 7.8 .13 error (1) .43 37 3.8 false(valid-deref) 2.3 230 21 unknown 270    39 3400   false(valid-deref) 1.7  23 23   false(valid-deref) 31     24 390    false(valid-deref) 62     380 780    false(valid-deref) 65     700 800    false(valid-deref) .16  32 1.9 false(valid-deref) 1.6 73 21 false(valid-deref) .17 9.9 2.2 false(valid-deref) 5.9 320 46 false(valid-deref) 6.0 330 50 false(valid-deref) 5.8 320 46
ldv-memsafety/memset_false-valid-deref-write.c timeout 900     1100 12000    false(valid-deref) 2.1  19 20    unknown .023 7.8 .15 error (1) .43 41 3.9 false(valid-deref) 2.2 230 18 unknown 270    39 3500   false(valid-deref) 1.6  23 24   false(valid-deref) 31     24 400    false(valid-deref) 61     370 830    false(valid-deref) 65     700 760    false(valid-deref) .11  22 1.7 false(valid-deref) 1.6 76 20 false(valid-deref) .19 10   2.0 false(valid-deref) 5.9 330 42 false(valid-deref) 6.3 340 55 false(valid-deref) 6.3 330 49
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c false(valid-deref) 7.4   88 83    error (42) 850    5500 4300    unknown .024 7.9 .19 error (1) .44 38 4.0 true 76   4100 820 unknown 900    1800 9500   true 8.4  100 110   timeout 900     3300 12000    timeout 900     8000 11000    timeout 900     11000 12000    true 770     1800 6900   true 760   340 7400 timeout (timeout) 900    4800   12000   timeout 900   3700 8600 timeout 900   1600 13000 error 260   1100 3500
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true .28  34 3.0  true 2.0  19 25    unknown .026 8.2 .13 error (1) .44 41 4.3 true 14   2300 100 unknown 900    690 6400   true .99 23 12   timeout 900     3500 12000    true 1.3   28 14    timeout 900     2300 9200    true 2.0   73 20   true 750   560 6700 true 1.0  12   13   true 8.1 380 58 timeout 900   1700 13000 true 8.9 370 69
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true .86  33 10    true 1.7  19 19    unknown .026 7.9 .14 error (1) .42 38 4.3 true 8.7 470 63 true 670    590 5500   true .63 23 7.7 timeout 900     3700 11000    true 4.5   57 54    true 500     2200 4400    true 3.2   47 36   timeout 750   400 10000 true .75 11   11   true 10   450 86 timeout 900   1000 13000 true 11   550 82
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true .31  46 2.9  true 2.0  19 25    unknown .037 7.9 .15 error (1) .40 37 3.3 true 15   2300 130 unknown 900    800 8600   true .99 23 11   timeout 900     3500 10000    true 1.3   28 18    timeout 900     2100 8900    true 2.0   73 21   true 750   540 6500 true 1.2  12   13   true 8.6 420 63 timeout 900   1300 12000 true 8.5 350 64
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 4.0   45 43    true 6.1  67 80    unknown .025 7.8 .14 error (1) .43 40 4.1 true 47   3900 390 unknown 900    640 7000   true 4.2  38 63   timeout 900     3200 10000    true 140     1000 1800    timeout 900     1700 6400    true 200     690 2400   true 760   330 7800 true 16    65   230   true 11   450 88 timeout 900   920 12000 true 13   500 120
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true .83  32 9.3  true 1.7  19 20    unknown .024 8.2 .19 error (1) .42 37 3.9 true 7.7 480 53 true 660    620 5600   true .68 23 8.0 timeout 900     3700 11000    true 4.9   59 59    true 420     2200 3900    true 3.5   51 37   timeout 750   460 8300 true .75 11   12   true 8.6 430 75 timeout 900   940 15000 true 9.2 390 64
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .10  23 .97 true .18 17 2.1  unknown .047 43   .51 error (1) .42 37 3.6 true 2.3 230 21 true 3.7  230 36   true .21 25 2.2 timeout 900     200 3200    true .14  24 1.1  true .11  24 1.3  true .10  22 1.6 true 3.1 71 38 true .18 9.8 2.2 error 4.8 300 38 error 5.1 320 38 error 4.7 300 34
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .10  22 .88 true .19 17 1.6  unknown .027 8.1 .16 error (1) .45 40 3.8 true 2.4 240 19 true 3.7  250 36   true .20 25 2.3 timeout 900     760 13000    true .12  25 1.4  true .12  24 1.2  true .099 22 1.7 true 3.2 67 41 true .18 9.6 1.9 error 5.1 310 41 error 5.4 320 41 error 5.2 310 41
ldv-memsafety/StructInitialization_true-valid-memsafety.c true .089 22 .82 true .19 17 1.9  unknown .026 7.8 .15 error (1) .40 37 3.6 true 2.2 230 18 true 3.2  230 29   true .16 23 1.7 timeout 900     1900 11000    true .097 23 .86 true .084 23 .93 true .13  21 1.5 true 3.0 70 33 true .17 9.4 2.2 true 5.1 310 42 true 5.9 350 46 true 5.3 320 39
ldv-memsafety/memset2_true-valid-memsafety.c true .18  24 1.6  true 2.2  19 24    unknown .026 7.7 .12 error (1) .42 37 3.9 true 2.3 240 20 true 40    240 530   true .42 23 5.5 timeout 900     340 13000    true 6.1   57 78    true 7.0   150 90    true .10  22 1.6 true 3.1 73 34 true .20 9.7 2.2 true 6.9 340 50 true 32   900 320 true 7.1 350 57
ldv-memsafety/memset3_true-valid-memsafety.c true .22  27 1.5  true 2.2  19 22    unknown .025 7.8 .13 error (1) .40 38 3.9 true 2.3 240 19 true 230    250 3400   true 1.6  23 18   timeout 900     150 13000    true 62     370 780    true 66     710 780    true .13  21 1.6 true 3.1 69 36 true .18 9.9 2.4 true 6.9 350 55 true 92   1000 1100 true 6.8 350 54
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true .18  24 1.5  true 2.2  19 22    unknown .023 7.8 .17 error (1) .45 38 3.7 true 2.2 230 17 true 40    250 550   true .41 23 5.0 timeout 900     330 10000    true 6.2   57 89    true 7.0   150 92    true .13  21 1.6 true 3.0 67 38 true .17 9.6 2.0 true 7.6 360 58 true 30   720 340 true 7.8 370 59
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true .18  25 1.5  true 2.3  21 19    unknown .064 43   .50 error (1) .43 38 3.4 true 2.3 240 20 true 230    250 3200   true 1.6  23 22   timeout 900     150 11000    true 62     370 880    true 66     700 920    true .10  21 1.7 true 3.1 68 37 true .19 9.9 1.8 true 6.9 360 56 true 95   1200 1300 true 7.2 360 53
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true .18  25 1.6  true 2.2  19 24    unknown .025 7.7 .16 error (1) .41 37 3.4 true 2.2 220 21 true 230    250 3000   true 1.7  23 21   timeout 900     150 11000    true 62     370 940    true 66     700 820    true .13  21 1.7 true 3.1 71 37 true .18 9.7 1.9 true 7.9 370 58 true 93   1000 1300 true 7.1 360 54
ldv-memsafety/memset_true-valid-memsafety.c true .19  25 1.5  true 2.1  19 28    unknown .026 7.6 .12 error (1) .42 37 3.9 true 2.2 230 20 true 230    240 3100   true 1.6  23 19   timeout 900     150 11000    true 62     370 820    true 66     700 880    true .10  22 1.6 true 3.0 71 33 true .20 9.9 2.0 true 7.0 350 54 true 93   1000 1100 true 6.9 370 59
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (134) .24  29 1.9  false(valid-deref) .26 26 2.3  unknown .035 8.6 .18 error (1) .40 37 3.5 false(valid-deref) 3.7 260 33 false(valid-deref) .81 35 10   out of memory 470    15000 4400   false(valid-deref) .31  26 3.1  false(valid-deref) .27  26 3.4  false(valid-deref) .30  26 3.2  false(valid-deref) .20  28 2.1 false(valid-deref) 2.7 93 35 false(valid-deref) .48 24   6.0 false(valid-deref) 140   600 1700 false(valid-deref) 730   1100 10000 false(valid-deref) 220   860 3200
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) .63  35 8.1  false(valid-deref) 1.5  28 15    unknown .043 8.1 .17 error (1) .40 38 3.8 false(valid-deref) 3.8 260 33 false(valid-deref) 34    36 470   false(valid-deref) .40 26 4.6 false(valid-deref) 1.0   56 12    false(valid-deref) 1.1   89 13    false(valid-deref) 11     160 170    false(valid-deref) .21  27 2.1 false(valid-deref) 2.7 82 34 false(valid-deref) .44 21   5.8 false(valid-deref) 280   730 3600 timeout 900   1300 12000 timeout 900   3200 12000
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) .65  35 7.2  false(valid-deref) 1.5  27 19    unknown .034 8.3 .20 error (1) .40 37 3.6 false(valid-deref) 3.9 260 32 false(valid-deref) 140    36 320   false(valid-deref) .42 26 5.5 false(valid-deref) .84  54 9.7  false(valid-deref) 1.1   89 14    false(valid-deref) 11     150 160    false(valid-deref) .21  27 2.2 false(valid-deref) 2.8 83 31 false(valid-deref) .45 21   5.4 false(valid-deref) 220   960 2800 timeout 900   1300 10000 timeout 900   3200 12000
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error (134) .89  130 9.9  false(valid-deref) 10    220 120    unknown .031 8.3 .21 error (1) .42 40 3.7 false(valid-deref) 3.6 260 30 false(valid-deref) 560    350 5500   out of memory 600    15000 5400   false(valid-deref) 220     270 1800    false(valid-deref) 240     300 2000    unknown .15  27 1.7  unknown .18  30 2.4 false(valid-deref) 3.8 93 47 false(valid-deref) .78 76   9.8 timeout 900   900 11000 timeout 900   1400 12000 timeout 900   8800 9700
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error (134) .87  130 10    false(valid-deref) 10    220 110    unknown .034 8.3 .22 error (1) .41 40 4.4 false(valid-deref) 4.1 260 33 false(valid-deref) 600    330 6200   out of memory 800    15000 6100   false(valid-deref) 310     270 2700    false(valid-deref) 200     280 1700    unknown .15  27 1.7  unknown .17  29 2.6 false(valid-deref) 3.4 89 43 false(valid-deref) .71 74   9.3 timeout 900   710 12000 timeout 900   1500 12000 error 850   2600 10000
ldv-memsafety/memleaks_test11_1_false-valid-free.i error (134) .26  30 2.6  false(valid-free) .25 27 2.8  unknown .031 8.2 .20 error (1) .43 37 3.8 false(valid-free) 3.8 260 30 false(valid-deref) 1.7  36 23   false(valid-free) .76 28 8.8 false(valid-deref) .82  31 10    false(valid-deref) .82  30 11    false(valid-deref) .85  31 9.7  false(valid-free) .20  28 2.9 false(valid-free) 3.6 82 45 false(valid-free) .51 20   5.8 false(valid-free) 370   660 5200 timeout 900   590 13000 false(valid-free) 740   1400 10000
ldv-memsafety/memleaks_test12_false-valid-free.i error (8) .45  63 4.7  error (1) .37 36 3.9  unknown .046 8.2 .21 error (1) .40 37 4.0 false(valid-free) 22   280 23 unknown 260    210 3300   unknown 240    10000 2800   unknown .70  46 9.9  unknown 4.5   82 53    unknown 52     170 580    false(valid-free) .26  32 2.9 false(valid-free) 20   110 270 false(valid-free) 1.4  150   17   timeout 900   820 12000 timeout 900   790 12000 timeout 900   1700 9900
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-deref) 3.9   92 40    false(valid-free) 1.6  53 17    unknown .042 8.3 .20 error (1) .43 40 4.3 false(valid-free) 4.1 270 32 unknown 890    310 8900   false(valid-free) 71    2100 660   false(valid-free) 440     320 4300    false(valid-free) 530     330 5000    timeout 900     450 8500    false(valid-free) .50  30 5.3 false(valid-free) 40   140 560 false(valid-free) .48 16   6.1 timeout 900   2100 13000 timeout 900   1400 11000 timeout 900   900 10000
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) .24  27 2.0  false(valid-free) .21 23 2.0  unknown .034 8.7 .21 error (1) .41 37 3.4 false(valid-free) 3.8 260 32 false(valid-deref) .74 30 9.1 false(valid-free) .30 26 3.1 false(valid-free) .26  26 3.7  false(valid-free) .26  26 3.6  false(valid-free) .29  26 3.4  false(valid-free) .21  28 2.3 false(valid-free) 3.3 80 39 false(valid-free) .47 16   5.9 false(valid-free) 220   590 2600 timeout 900   940 11000 false(valid-free) 550   1500 8400
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) .19  27 1.9  false(valid-free) .21 23 1.6  unknown .053 44   .76 error (1) .40 40 3.6 false(valid-free) 3.5 260 32 false(valid-deref) .52 30 8.0 false(valid-free) .21 26 2.5 false(valid-free) .15  26 1.9  false(valid-free) .17  26 1.6  false(valid-free) .17  26 1.8  false(valid-free) .16  27 2.3 false(valid-free) 2.6 82 40 false(valid-free) .43 12   4.9 false(valid-free) 7.0 350 58 false(valid-free) 6.7 320 52 false(valid-free) 7.1 360 51
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) .19  27 1.7  false(valid-free) .22 21 1.7  unknown .029 8.0 .20 error (1) .42 38 3.5 false(valid-free) 3.6 250 31 false(valid-deref) .38 30 4.6 false(valid-free) .21 26 1.9 false(valid-free) .41  26 1.1  false(valid-free) .14  26 1.1  false(valid-free) .14  26 1.1  false(valid-free) .21  28 2.1 false(valid-free) 2.6 83 34 false(valid-free) .44 11   5.4 false(valid-free) 5.8 320 40 false(valid-free) 5.6 330 46 false(valid-free) 6.1 330 44
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) .21  27 1.6  false(valid-free) .23 21 1.8  unknown .029 8.2 .25 error (1) .40 37 3.5 false(valid-free) 3.7 260 31 false(valid-deref) .57 30 7.4 false(valid-free) .22 26 2.7 false(valid-free) .19  26 2.0  false(valid-free) .16  26 1.8  false(valid-free) .16  26 2.1  false(valid-free) .22  29 2.1 false(valid-free) 2.9 76 36 false(valid-free) .44 15   5.5 false(valid-free) 170   520 2100 false(valid-free) 130   850 1600 false(valid-free) 230   1000 2700
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .20  27 1.5  false(valid-free) .20 20 2.0  unknown .034 8.4 .18 error (1) .41 38 4.1 false(valid-free) 3.6 260 28 false(valid-deref) .55 30 7.5 false(valid-free) .20 26 2.9 false(valid-free) .15  26 2.2  false(valid-free) .17  26 1.6  false(valid-free) .17  26 1.6  false(valid-free) .19  27 2.2 false(valid-free) 2.9 78 38 false(valid-free) .42 12   5.2 false(valid-free) 8.1 380 69 false(valid-free) 7.6 380 63 false(valid-free) 7.3 340 57
ldv-memsafety/memleaks_test10_false-valid-memtrack.i error (134) .28  38 1.9  false(valid-memtrack) .25 22 2.3  unknown .033 8.2 .18 error (1) .45 40 3.8 false(valid-memtrack) 15   260 17 false(valid-deref) .75 31 9.8 false(valid-deref) .56 26 6.8 false(valid-memtrack) .46  26 5.7  false(valid-memtrack) .43  26 6.0  false(valid-memtrack) .45  26 4.8  false(valid-memtrack) .19  28 2.6 false(valid-memtrack) 4.4 74 54 false(valid-memtrack) .45 15   5.5 timeout 900   1000 11000 timeout 900   1200 13000 timeout 900   1800 13000
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i error (134) .24  29 2.0  false(valid-memtrack) .26 25 2.5  unknown .083 44   .54 error (1) .44 40 3.7 false(valid-memtrack) 3.9 270 29 false(valid-deref) 1.2  32 14   false(valid-deref) .61 26 8.1 false(valid-deref) .63  27 7.9  false(valid-deref) .63  27 7.7  false(valid-deref) .66  27 9.2  false(valid-memtrack) .21  29 2.1 false(valid-memtrack) 4.7 85 67 false(valid-memtrack) .51 20   5.2 timeout 900   1200 12000 timeout 900   630 9900 timeout 900   2100 13000
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i error (134) .21  27 1.4  false(valid-memtrack) .20 21 2.0  unknown .031 8.0 .17 error (1) .43 40 3.9 false(valid-memtrack) 3.7 260 30 false(valid-memtrack) .50 30 6.1 false(valid-memtrack) .80 26 2.9 false(valid-memtrack) .66  26 1.7  false(valid-memtrack) .17  26 2.1  false(valid-memtrack) .17  26 2.2  false(valid-memtrack) .19  27 2.1 false(valid-memtrack) 3.9 81 42 false(valid-memtrack) .44 15   5.2 unknown 180   570 2400 error 140   860 1500 unknown 170   560 2000
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error (134) .21  27 1.9  false(valid-memtrack) .29 35 2.6  unknown .041 8.8 .21 error (1) .44 40 3.8 false(valid-memtrack) 3.8 270 28 false(valid-memtrack) 4.3  44 53   out of memory 490    15000 4900   false(valid-memtrack) 1.5   35 19    false(valid-memtrack) 1.5   38 19    false(valid-memtrack) 1.5   38 18    false(valid-memtrack) .21  27 2.1 false(valid-memtrack) 5.3 89 62 false(valid-memtrack) .47 24   5.5 unknown 470   940 6400 timeout 900   1100 11000 timeout 900   2000 12000
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i error (134) .19  27 2.0  false(valid-memtrack) .22 23 1.9  unknown .041 8.2 .20 error (1) .41 37 3.8 false(valid-memtrack) 3.6 260 31 false(valid-memtrack) .49 30 5.9 false(valid-memtrack) .23 26 2.4 false(valid-memtrack) .19  26 1.8  false(valid-memtrack) .19  26 2.2  false(valid-memtrack) .17  26 1.9  false(valid-memtrack) .21  27 2.2 false(valid-memtrack) 3.9 82 48 false(valid-memtrack) .44 15   5.8 unknown 120   530 1300 error 55   580 730 unknown 150   640 1900
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (134) .24  29 1.8  false(valid-memtrack) .23 24 3.0  unknown .034 9.1 .23 error (1) .39 37 3.6 false(valid-memtrack) 4.1 260 29 false(valid-memtrack) 3.8  44 46   out of memory 580    15000 6200   false(valid-memtrack) 1.3   34 17    false(valid-memtrack) 1.2   37 14    false(valid-memtrack) 1.2   37 16    false(valid-memtrack) .17  28 2.4 false(valid-memtrack) 5.2 87 55 false(valid-memtrack) .51 24   5.7 unknown 330   940 4200 timeout 900   1100 11000 unknown 310   920 4200
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error (134) .36  41 4.2  false(valid-memtrack) .21 21 2.8  unknown .043 8.8 .23 error (1) .43 40 3.5 false(valid-memtrack) 3.7 260 34 false(valid-memtrack) 77    74 1000   false(valid-deref) .91 32 12   false(valid-deref) 2.1   61 30    false(valid-deref) 3.1   110 38    false(valid-deref) 40     520 450    false(valid-memtrack) .23  28 2.5 false(valid-memtrack) 9.3 87 110 false(valid-memtrack) .54 24   7.5 timeout 910   5200 9400 timeout 900   900 11000 timeout 900   1900 12000
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) .21  27 1.6  false(valid-memtrack) .23 21 1.7  unknown .045 8.3 .18 error (1) .40 37 4.1 false(valid-memtrack) 3.9 260 28 false(valid-memtrack) .47 30 6.4 false(valid-memtrack) .22 26 2.4 false(valid-memtrack) .49  26 1.8  false(valid-memtrack) .13  26 1.6  false(valid-memtrack) .13  26 1.7  false(valid-memtrack) .20  27 2.2 false(valid-memtrack) 3.6 78 43 false(valid-memtrack) .43 13   5.7 unknown 16   430 130 error 10   320 81 unknown 16   430 120
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) .19  27 1.5  false(valid-memtrack) .21 20 1.8  unknown .030 8.2 .17 error (1) .43 40 3.7 false(valid-memtrack) 3.7 260 34 false(valid-memtrack) .47 30 5.5 false(valid-memtrack) .19 26 2.3 false(valid-memtrack) .14  26 1.1  false(valid-memtrack) .12  26 1.2  false(valid-memtrack) .12  26 1.4  false(valid-memtrack) .17  37 2.7 false(valid-memtrack) 3.6 78 47 false(valid-memtrack) .44 12   4.6 unknown 11   340 88 error 11   340 90 unknown 12   360 91
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-deref) 5.1   100 54    false(valid-memtrack) 2.2  67 21    unknown .065 8.0 .17 error (1) .41 40 3.5 false(valid-memtrack) 4.5 270 39 unknown 890    260 7400   false(valid-memtrack) 41    2100 480   timeout 900     360 12000    false(valid-memtrack) 530     360 6200    timeout 900     460 8500    false(valid-memtrack) .26  29 2.7 false(valid-memtrack) 95   150 1100 false(valid-memtrack) .47 16   6.1 timeout 900   2000 11000 timeout 900   1400 11000 timeout 900   950 13000
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 4.5   96 52    false(valid-memtrack) 1.9  55 20    unknown .033 8.1 .18 error (1) .40 37 4.0 false(valid-memtrack) 5.6 290 43 false(valid-memtrack) 380    180 5200   false(valid-memtrack) 66    2000 900   false(valid-memtrack) 150     170 1200    false(valid-memtrack) 140     180 1200    false(valid-memtrack) 210     260 2100    false(valid-memtrack) .22  27 2.9 false(valid-memtrack) 45   130 520 false(valid-memtrack) .54 16   6.0 timeout 900   660 12000 timeout 900   1500 12000 timeout 900   1100 11000
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) .23  29 2.5  false(valid-memtrack) .24 24 2.3  unknown .083 44   .55 error (1) .46 38 3.8 false(valid-memtrack) 3.7 260 31 false(valid-memtrack) .50 30 5.7 false(valid-memtrack) 37    2000 380   false(valid-memtrack) .21  26 2.5  false(valid-memtrack) .19  26 2.5  false(valid-memtrack) .20  26 2.4  false(valid-memtrack) .21  28 2.5 false(valid-memtrack) 32   120 490 false(valid-memtrack) .43 14   5.3 unknown 61   480 680 error 26   470 260 unknown 170   650 2000
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-deref) .53  47 4.8  false(valid-memtrack) 1.5  42 15    unknown .032 8.0 .18 error (1) .42 37 3.7 false(valid-memtrack) 20   290 23 false(valid-memtrack) 640    160 6000   false(valid-memtrack) 59    2100 720   false(valid-memtrack) 230     250 2200    false(valid-memtrack) 450     390 3800    false(valid-memtrack) 440     450 4200    false(valid-memtrack) .24  27 2.5 false(valid-memtrack) 27   110 350 false(valid-memtrack) .51 14   5.7 timeout 900   680 13000 timeout 900   770 11000 timeout 900   1600 11000
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) .72  43 7.6  false(valid-memtrack) 1.0  27 12    unknown .031 8.6 .19 error (1) .39 37 3.5 false(valid-memtrack) 4.6 270 37 false(valid-memtrack) 10    37 130   false(valid-memtrack) 1.4  37 17   false(valid-memtrack) 1.3   56 16    false(valid-memtrack) 2.4   87 31    false(valid-memtrack) 2.3   110 27    false(valid-memtrack) 130     690 1100   false(valid-memtrack) 5.9 80 63 false(valid-memtrack) .85 16   10   timeout 900   660 10000 timeout 900   1600 12000 timeout 900   1500 11000
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) .19  27 1.5  false(valid-memtrack) .19 20 1.8  unknown .030 8.3 .20 error (1) .44 39 4.1 false(valid-memtrack) 3.5 260 28 false(valid-memtrack) .49 30 5.2 false(valid-memtrack) .20 26 2.1 false(valid-memtrack) .11  26 1.3  false(valid-memtrack) .11  26 1.4  false(valid-memtrack) .12  26 1.2  false(valid-memtrack) .16  28 2.2 false(valid-memtrack) 3.5 80 54 false(valid-memtrack) .42 12   4.5 unknown 10   330 90 error 10   330 81 unknown 11   350 84
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) .19  27 1.7  false(valid-memtrack) .21 21 1.7  unknown .044 8.4 .18 error (1) .41 40 3.6 false(valid-memtrack) 3.7 260 30 false(valid-memtrack) .49 30 5.6 false(valid-memtrack) .19 26 2.2 false(valid-memtrack) .15  26 1.1  false(valid-memtrack) .14  26 1.1  false(valid-memtrack) .11  26 1.2  false(valid-memtrack) .18  27 2.3 false(valid-memtrack) 3.7 78 46 false(valid-memtrack) .41 13   5.1 unknown 12   330 89 error 10   320 83 unknown 13   390 96
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) .21  27 1.6  false(valid-memtrack) .22 21 1.7  unknown .039 8.2 .21 error (1) .44 40 3.7 false(valid-memtrack) 3.7 260 27 false(valid-memtrack) .48 30 6.2 false(valid-memtrack) .22 26 2.6 false(valid-memtrack) .11  26 1.3  false(valid-memtrack) .12  26 1.4  false(valid-memtrack) .11  26 1.5  false(valid-memtrack) .20  27 2.0 false(valid-memtrack) 3.6 80 48 false(valid-memtrack) .41 12   4.6 unknown 11   330 84 error 10   320 85 unknown 11   330 93
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i error (134) .56  35 6.4  false(valid-memtrack) 1.5  25 14    unknown .051 44   .67 error (1) .43 40 4.2 false(valid-memtrack) 4.1 260 31 false(valid-memtrack) 29    34 390   false(valid-memtrack) .36 26 4.1 false(valid-memtrack) .71  52 9.4  false(valid-memtrack) 1.1   85 15    false(valid-memtrack) 9.7   140 150    false(valid-memtrack) .17  27 2.3 false(valid-memtrack) 4.7 77 60 false(valid-memtrack) .45 23   5.9 unknown 440   850 6100 error 73   880 760 unknown 100   830 1200
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i error (134) .48  35 5.3  false(valid-memtrack) 1.4  24 15    unknown .032 8.3 .20 error (1) .39 38 3.7 false(valid-memtrack) 3.8 260 30 false(valid-memtrack) 15    30 190   false(valid-memtrack) .26 26 2.8 false(valid-memtrack) .47  44 6.1  false(valid-memtrack) .75  74 11    false(valid-memtrack) 1.1   110 14    false(valid-memtrack) .20  27 2.1 false(valid-memtrack) 3.9 86 48 false(valid-memtrack) .41 15   5.6 unknown 350   620 4100 error 38   610 420 unknown 48   750 460
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i error (134) .56  36 7.5  false(valid-memtrack) 1.5  27 14    unknown .082 44   .60 error (1) .43 38 4.0 false(valid-memtrack) 3.8 260 29 false(valid-memtrack) 29    34 390   false(valid-memtrack) 1.4  26 3.3 false(valid-memtrack) .84  52 11    false(valid-memtrack) 1.1   85 13    false(valid-memtrack) 9.1   140 130    false(valid-memtrack) .22  27 2.3 false(valid-memtrack) 4.8 80 56 false(valid-memtrack) .47 23   5.6 unknown 450   880 5600 error 74   880 810 unknown 96   830 950
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) .19  27 2.0  false(valid-memtrack) .20 21 1.7  unknown .060 8.1 .19 error (1) .40 37 4.0 false(valid-memtrack) 3.6 260 27 false(valid-memtrack) .53 30 5.8 false(valid-memtrack) .23 26 2.7 false(valid-memtrack) .16  26 1.9  false(valid-memtrack) .17  26 1.8  false(valid-memtrack) .16  26 2.0  false(valid-memtrack) .20  27 2.1 false(valid-memtrack) 3.6 84 45 false(valid-memtrack) .43 13   5.1 unknown 14   370 110 error 11   320 92 unknown 16   470 120
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) .19  27 1.8  false(valid-memtrack) .19 21 1.7  unknown .048 8.1 .23 error (1) .40 37 3.6 false(valid-memtrack) 3.8 260 30 false(valid-memtrack) .49 30 5.3 false(valid-memtrack) .19 26 2.7 false(valid-memtrack) .14  26 1.1  false(valid-memtrack) .11  26 1.3  false(valid-memtrack) .13  26 1.4  false(valid-memtrack) .18  26 2.2 false(valid-memtrack) 3.5 73 47 false(valid-memtrack) .41 12   4.8 unknown 11   330 84 error 10   340 89 unknown 10   330 77
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) .19  27 1.7  false(valid-memtrack) .20 21 1.7  unknown .031 8.3 .22 error (1) .42 38 4.1 false(valid-memtrack) 3.4 260 31 false(valid-memtrack) .47 30 5.7 false(valid-memtrack) .19 26 2.1 false(valid-memtrack) .14  26 1.1  false(valid-memtrack) .12  26 1.2  false(valid-memtrack) .13  26 1.2  false(valid-memtrack) .17  27 2.8 false(valid-memtrack) 3.6 78 44 false(valid-memtrack) .44 12   4.8 unknown 13   340 100 error 11   330 84 unknown 13   360 94
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) .20  27 2.1  false(valid-memtrack) .24 21 1.7  unknown .056 44   .63 error (1) .41 40 3.9 false(valid-memtrack) 15   260 18 false(valid-memtrack) .50 30 5.2 false(valid-memtrack) .22 26 2.5 false(valid-memtrack) .14  26 1.6  false(valid-memtrack) .14  26 1.6  false(valid-memtrack) .15  26 2.0  false(valid-memtrack) .19  28 2.3 false(valid-memtrack) 4.0 86 48 false(valid-memtrack) .45 15   5.1 unknown 240   850 3100 error 93   720 1200 unknown 200   850 2700
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) .20  27 1.7  false(valid-memtrack) .19 21 1.9  unknown .033 8.2 .17 error (1) .43 40 4.0 false(valid-memtrack) 3.7 260 29 false(valid-memtrack) .51 30 5.2 false(valid-memtrack) .23 26 2.3 false(valid-memtrack) .14  26 1.7  false(valid-memtrack) .13  26 1.5  false(valid-memtrack) .15  26 1.4  false(valid-memtrack) .17  28 2.3 false(valid-memtrack) 3.9 80 45 false(valid-memtrack) .46 14   5.1 unknown 210   680 2900 error 290   730 4100 unknown 160   690 1800
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) .22  27 1.7  false(valid-memtrack) .23 33 2.4  unknown .081 44   .53 error (1) .39 37 4.2 false(valid-memtrack) 3.8 270 31 false(valid-memtrack) .50 30 6.1 false(valid-memtrack) .21 26 2.2 false(valid-memtrack) .50  26 1.1  false(valid-memtrack) .13  26 1.6  false(valid-memtrack) .13  26 1.4  false(valid-memtrack) .21  28 2.2 false(valid-memtrack) 3.8 78 49 false(valid-memtrack) .46 14   4.9 unknown 100   550 1200 error 260   550 3300 unknown 54   560 620
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) .19  27 1.7  false(valid-memtrack) .21 21 1.6  unknown .083 44   .52 error (1) .38 37 4.0 false(valid-memtrack) 3.5 260 30 false(valid-memtrack) .46 30 5.4 false(valid-memtrack) .19 26 2.1 false(valid-memtrack) .11  26 1.3  false(valid-memtrack) .11  26 1.3  false(valid-memtrack) .13  26 1.3  false(valid-memtrack) .17  29 2.2 false(valid-memtrack) 3.7 73 48 false(valid-memtrack) .48 11   4.3 unknown 11   330 96 error 9.8 320 82 unknown 11   340 77
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) .23  35 1.8  false(valid-memtrack) .21 21 2.0  unknown .055 8.3 .19 error (1) .42 39 3.5 false(valid-memtrack) 3.6 260 31 false(valid-memtrack) .50 30 6.4 false(valid-memtrack) .20 26 2.4 false(valid-memtrack) .13  26 1.2  false(valid-memtrack) .12  26 1.2  false(valid-memtrack) .11  26 1.1  false(valid-memtrack) .18  26 2.4 false(valid-memtrack) 3.7 84 40 false(valid-memtrack) .42 11   5.4 unknown 13   340 100 error 10   330 89 unknown 13   370 110
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) .20  39 2.0  false(valid-memtrack) .20 21 2.2  unknown .076 44   .48 error (1) .42 39 3.6 false(valid-memtrack) 3.5 260 29 false(valid-memtrack) .46 30 6.0 false(valid-memtrack) .21 26 2.3 false(valid-memtrack) .14  26 1.1  false(valid-memtrack) .13  26 1.1  false(valid-memtrack) .11  26 1.3  false(valid-memtrack) .17  27 2.2 false(valid-memtrack) 3.6 81 43 false(valid-memtrack) .40 12   4.5 unknown 11   330 94 error 10   320 77 unknown 11   340 92
ldv-memsafety/memleaks_test10_true-valid-memsafety.i error (134) .23  30 2.7  true .44 23 5.1  unknown .029 8.3 .19 error (1) .41 37 3.9 true 3.6 260 27 false(valid-deref) .86 31 10   false(valid-deref) .56 26 7.6 false(valid-deref) .55  27 6.6  false(valid-deref) .59  27 7.3  false(valid-deref) .55  27 6.6  true .17  28 2.0 true 4.3 73 49 true .47 16   5.5 timeout 900   840 11000 timeout 900   3200 11000 timeout 900   1500 11000
ldv-memsafety/memleaks_test11_true-valid-memsafety.i error (134) .25  28 2.1  true .49 26 4.4  unknown .035 8.1 .19 error (1) .42 38 3.9 true 3.9 270 30 false(valid-deref) 1.7  35 22   false(valid-deref) .75 28 11   false(valid-deref) .65  29 7.7  false(valid-deref) .65  28 8.5  false(valid-deref) .63  29 8.6  true .19  28 2.1 true 4.2 73 54 true .48 20   6.5 timeout 900   670 13000 timeout 900   550 11000 timeout 900   2100 11000
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error (8) .43  62 5.5  error (1) .36 36 4.7  unknown .032 8.6 .25 error (1) .42 37 3.6 true 22   290 23 unknown 280    210 3500   unknown 240    10000 2600   unknown .69  46 9.8  unknown 3.6   80 49    unknown 26     140 300    true .27  30 3.0 true 330   210 3300 true 1.4  150   17   timeout 900   890 12000 timeout 900   670 13000 timeout 900   1100 11000
ldv-memsafety/memleaks_test13_true-valid-memsafety.i false(valid-deref) .25  29 2.4  true .47 38 4.6  unknown .029 8.4 .21 error (1) .44 40 4.3 true 3.8 260 30 true 31    360 270   out of memory 450    15000 4400   timeout 900     3100 7900    true 1.5   42 23    true 1.5   42 22    true .18  27 2.0 true 5.0 91 69 true .50 25   5.6 true 790   670 10000 timeout 900   1000 12000 timeout 910   12000 6500
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (134) .24  28 2.0  true .44 26 6.1  unknown .036 8.2 .15 error (1) .42 38 3.8 true 3.7 270 27 true 20    290 170   out of memory 530    15000 5400   timeout 900     3500 8200    true 1.6   41 20    true 1.6   41 19    true .20  27 2.1 true 4.8 80 54 true .51 25   5.3 true 150   600 1800 timeout 900   930 11000 true 390   1300 5100
ldv-memsafety/memleaks_test15_true-valid-memsafety.i error (134) .27  31 2.3  error (1) .24 23 2.4  unknown .031 8.4 .27 error (1) .43 37 3.5 false(valid-memtrack) 4.2 260 33 false(valid-deref) .99 35 13   false(valid-deref) 1.1  31 13   false(valid-deref) .56  28 7.6  false(valid-deref) .57  28 7.5  false(valid-deref) .53  28 5.9  true .20  29 2.6 true 8.6 87 100 true .57 29   6.2 timeout 900   700 12000 timeout 900   1200 12000 timeout 900   1400 12000
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true .19  27 1.8  true .38 21 3.4  unknown .032 8.4 .18 error (1) .44 40 3.7 true 3.4 260 29 true .99 30 14   true .22 26 2.1 out of memory 82     15000 960    true .11  26 1.3  true .097 26 1.1  true .19  27 2.2 true 3.2 68 42 true .42 14   5.9 true 8.9 430 66 true 7.8 380 57 true 45   480 500
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i false(valid-free) 5.6   100 55    true 3.2  66 37    unknown .048 8.8 .20 error (1) .39 37 4.2 true 5.1 290 43 unknown 890    290 9200   false(valid-free) 82    2100 990   timeout 900     340 11000    true 600     310 5700    timeout 900     450 11000    true .25  27 2.6 true 110   150 1400 true .56 17   7.1 timeout 900   2000 9500 timeout 900   1600 12000 timeout 900   870 11000
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i error (8) .19  27 1.7  error (134) 580    14000 4500    unknown .029 8.2 .26 error (1) .42 40 3.5 error 3.3 260 29 unknown 890    270 9000   timeout 900    12000 2000   timeout 900     410 8700    timeout 900     520 12000    timeout 900     580 8700    unknown .20  28 2.5 true 880   310 11000 timeout (timeout) 900    2500   12000   timeout 900   830 12000 timeout 900   890 11000 timeout 900   3600 10000
ldv-memsafety/memleaks_test18_true-valid-memsafety.i false(valid-memtrack) .56  38 5.6  true 2.1  41 19    unknown .031 8.2 .21 error (1) .41 37 3.4 true 4.6 270 39 true 840    240 7000   true 170    2200 1700   timeout 900     460 7900    true 500     410 6500    true 590     460 5400    true .33  29 4.0 true 43   110 580 true .52 14   6.1 timeout 900   720 11000 timeout 900   640 11000 timeout 900   1600 12000
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true .21  27 1.9  true .40 21 3.5  unknown .031 8.3 .19 error (1) .42 40 3.8 true 3.8 260 33 true 1.1  30 12   true .26 26 2.6 out of memory 140     15000 1800    true .12  26 1.3  true .14  26 1.1  true .16  28 2.3 true 4.0 70 55 true .45 16   5.8 true 210   690 2200 timeout 900   1100 10000 error 480   1500 6600
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true .22  27 1.4  true .36 21 3.8  unknown .030 8.4 .26 error (1) .45 41 3.4 true 3.4 260 28 true .99 30 12   true .19 26 2.4 out of memory 70     15000 810    true .10  26 1.1  true .098 26 1.0  true .16  26 2.2 true 3.2 70 36 true .43 12   4.9 true 7.3 370 57 true 7.2 340 56 true 26   370 260
ldv-memsafety/memleaks_test20_true-valid-memsafety.i false(valid-memtrack) .22  27 1.7  true .36 21 3.4  unknown .040 8.0 .21 error (1) .44 38 3.7 true 3.6 260 26 true 1.0  30 14   true .20 26 2.1 out of memory 91     15000 1000    true .11  26 1.0  true .11  26 1.3  true .20  27 2.1 true 3.4 72 47 true .42 14   4.9 true 9.8 460 85 true 9.4 420 79 true 71   500 950
ldv-memsafety/memleaks_test21_true-valid-memsafety.i false(valid-memtrack) .19  27 1.7  true .40 33 3.7  unknown .034 8.2 .23 error (1) .42 38 3.8 true 3.7 270 29 true 1.0  30 13   true .19 26 2.4 out of memory 90     15000 1100    true .11  26 1.0  true .098 26 1.1  true .19  27 2.1 true 3.2 68 37 true .44 14   5.5 true 8.7 430 70 true 7.9 380 57 true 42   500 460
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i error (134) .54  36 5.6  true 1.7  26 19    unknown .081 44   .51 error (1) .40 38 3.8 true 3.8 260 35 true 28    33 360   true .34 26 3.4 out of memory 830     15000 12000    true 1.0   85 13    true 7.8   140 99    true .20  26 2.1 true 4.2 73 55 true .44 20   5.2 true 280   720 3800 timeout 900   1400 11000 timeout 900   3300 11000
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i error (134) .64  35 6.8  true 1.9  28 17    unknown .028 8.7 .26 error (1) .41 38 3.5 true 3.9 270 32 true 37    36 500   true .35 26 4.5 out of memory 730     15000 9700    true 1.1   93 14    true 15     170 200    true .19  27 2.1 true 5.0 76 62 true .44 23   5.1 timeout 900   1600 9800 timeout 900   1800 12000 timeout 900   960 11000
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i error (134) .66  43 7.5  true 1.8  28 16    unknown .032 8.1 .18 error (1) .42 37 3.6 true 3.9 270 31 true 37    36 410   true .36 26 4.8 out of memory 730     15000 10000    true 1.3   96 17    true 15     170 180    true .20  28 2.4 true 5.2 78 58 true .44 24   5.5 timeout 900   1200 11000 timeout 900   1900 11000 timeout 900   1100 13000
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error (134) .90  130 9.6  error (42) 850    10000 5900    unknown .061 44   .55 error (1) .43 40 4.4 false(valid-deref) 3.6 260 31 false(valid-deref) 480    340 4800   timeout 900    4300 6100   false(valid-deref) 220     260 1900    false(valid-deref) 370     320 2900    unknown .14  27 1.6  unknown .18  30 2.3 true 880   330 8400 timeout (timeout) 900    2000   9500   timeout 900   990 11000 timeout 900   2100 11000 timeout 910   7200 9400
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error (134) .90  130 9.4  error (42) 850    10000 6900    unknown .034 8.3 .19 error (1) .39 37 4.2 false(valid-deref) 4.2 260 31 false(valid-deref) 200    210 1900   timeout 900    4200 8000   false(valid-deref) 330     310 3000    false(valid-deref) 150     240 1400    unknown .14  27 1.7  unknown .18  29 2.4 timeout 880   290 7100 timeout (timeout) 900    1800   10000   timeout 900   700 12000 timeout 900   2400 12000 error 670   2500 8400
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true .19  27 1.6  true .38 21 3.3  unknown .074 44   .51 error (1) .43 38 3.7 true 3.3 250 30 true .98 30 11   true .21 26 2.6 out of memory 70     15000 930    true .12  26 .99 true .095 26 1.0  true .17  27 1.9 true 3.2 73 44 true .41 12   4.3 true 8.4 400 56 true 7.6 340 52 true 27   380 260
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true .19  27 1.6  true .38 21 3.3  unknown .034 8.0 .22 error (1) .42 38 3.6 true 3.4 260 28 true .98 30 13   true .20 26 2.4 out of memory 72     15000 790    true .094 26 1.0  true .12  26 .99 true .19  26 2.0 true 3.2 69 44 true .43 12   4.5 true 8.3 390 64 true 7.2 370 56 true 30   450 310
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true .18  27 1.6  true .38 21 3.3  unknown .030 8.2 .19 error (1) .42 40 4.4 true 3.4 260 30 true 1.0  30 12   true .22 26 2.6 out of memory 93     15000 990    true .097 26 .95 true .097 26 1.0  true .16  26 2.0 true 3.2 70 49 true .44 12   5.6 true 11   470 84 true 9.5 470 74 true 59   570 620
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true .19  27 2.0  true .36 21 4.3  unknown .034 8.2 .19 error (1) .41 37 3.8 true 14   260 18 true .99 30 13   true .19 26 2.2 out of memory 73     15000 880    true .11  26 1.1  true .094 26 1.1  true .16  28 2.1 true 3.2 69 42 true .42 13   5.1 true 8.8 420 68 true 7.1 360 55 true 41   470 410
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true .20  27 1.6  true .37 21 3.1  unknown .019 8.3 .25 error (1) .44 40 3.7 true 3.9 270 29 true 1.1  30 13   true .20 26 2.8 out of memory 110     15000 1500    true .13  26 1.0  true .10  26 1.3  true .20  27 2.1 true 3.5 73 41 true .46 15   5.9 true 160   530 2000 true 500   770 6200 true 240   870 2900
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true .20  27 1.9  true .36 21 3.7  unknown .055 44   .56 error (1) .43 37 3.5 true 3.7 270 32 true 1.1  30 13   true .20 26 2.5 out of memory 500     15000 1000    true .12  26 1.1  true .12  26 1.1  true .20  27 2.0 true 3.5 75 42 true .45 15   5.1 true 86   540 1100 timeout 900   550 9800 true 130   890 1700
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true .20  29 1.6  true .40 21 3.3  unknown .040 44   1.2  error (1) .39 38 3.7 true 3.4 260 26 true 1.0  30 12   true .21 26 2.2 out of memory 72     15000 800    true .094 26 1.0  true .12  26 1.1  true .19  36 2.3 true 3.3 70 40 true .41 12   5.4 true 9.2 400 67 true 8.3 380 64 true 27   450 260
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true .20  27 1.5  true .39 21 3.0  unknown .031 8.2 .17 error (1) .40 38 4.2 true 3.6 260 28 true 1.0  30 12   true .18 26 2.3 out of memory 75     15000 960    true .12  26 1.2  true .11  26 1.1  true .15  27 2.3 true 3.4 70 41 true .40 12   5.0 true 8.4 380 67 true 7.6 400 59 true 35   480 390
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i error (8) .19  23 1.4  true .36 18 2.8  unknown .025 7.9 .15 error (1) .44 40 3.9 true 9.5 230 12 unknown 17    28 200   false(valid-deref) .16 23 2.1 unknown .085 23 .71 unknown .086 23 .89 unknown .071 23 .91 unknown .11  21 1.7 true 3.5 75 40 true .23 12   2.5 unknown 4.5 300 35 unknown 4.9 300 40 unknown 4.9 310 37
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i error (8) .18  24 1.4  true .63 19 6.0  unknown .025 7.9 .13 error (1) .40 38 3.5 true 2.3 230 22 unknown 18    28 210   false(valid-deref) .18 23 1.9 unknown .091 23 .75 unknown .099 23 .78 unknown .10  23 .87 unknown .14  22 1.7 true 3.7 75 52 true .23 13   2.8 unknown 5.3 320 38 unknown 5.5 330 36 unknown 5.2 310 42
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i error (8) .25  37 1.7  true .71 21 5.3  unknown .024 8.0 .19 error (1) .40 38 3.7 true 2.4 240 21 unknown 18    28 240   false(valid-deref) .19 23 2.1 unknown .099 23 .73 unknown .10  23 .73 unknown .097 23 .79 unknown .13  21 1.7 true 3.9 69 54 true .23 13   2.7 unknown 4.8 300 37 unknown 5.3 320 43 unknown 4.7 300 41
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i true .20  25 1.7  true .93 19 9.5  unknown .024 7.7 .17 error (1) .39 37 3.5 true 2.3 240 19 unknown 8.9  28 110   true .57 23 7.4 unknown .44  23 6.2  unknown .71  27 9.5  unknown .96  49 11    unknown .11  21 1.9 true 3.8 73 50 true .23 12   2.8 unknown 5.2 330 41 unknown 6.2 350 43 unknown 5.5 310 40
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i true .22  25 2.0  true 1.0  19 9.1  unknown .026 7.9 .15 error (1) .42 37 3.3 true 2.5 230 23 false(valid-deref) 9.6  28 130   false(valid-deref) .89 24 11   false(valid-deref) .54  23 6.7  false(valid-deref) .86  27 11    false(valid-deref) 1.2   50 15    unknown .11  22 1.8 true 4.3 72 54 true .26 13   2.7 unknown 4.9 320 37 unknown 5.5 320 39 unknown 5.4 320 43
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) .18  24 1.5  false(valid-deref) .18 18 1.8  unknown .025 7.9 .16 error (1) .43 40 3.6 false(valid-deref) 9.7 240 12 unknown 17    28 200   false(valid-deref) .16 23 1.9 unknown .10  23 .67 unknown .072 23 .97 unknown .078 23 .81 unknown .13  23 1.6 false(valid-deref) 1.9 77 26 false(valid-deref) .23 12   2.5 unknown 5.3 320 45 unknown 5.1 300 35 unknown 4.7 300 36
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (8) .19  24 1.4  false(valid-deref) .50 19 4.4  unknown .024 8.0 .14 error (1) .40 37 3.6 false(valid-deref) 2.5 240 23 unknown 18    29 270   false(valid-deref) .73 24 1.4 unknown .075 23 .87 unknown .10  23 .70 unknown .082 23 .87 unknown .13  31 2.2 false(valid-deref) 1.9 78 25 false(valid-deref) .23 13   2.5 unknown 5.5 330 45 unknown 4.8 300 35 unknown 5.1 320 38
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) .62  34 7.8  false(valid-deref) .86 19 7.6  unknown .029 7.9 .13 error (1) .41 40 3.7 false(valid-deref) 2.3 240 20 unknown 160    29 450   unknown .58 23 9.0 unknown 3.1   23 7.3  unknown 1.4   29 19    unknown 1.7   66 22    unknown .12  23 1.9 false(valid-deref) 1.7 70 22 false(valid-deref) .23 12   2.8 unknown 4.8 300 38 unknown 5.4 310 41 unknown 4.8 300 35
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) .73  36 8.2  false(valid-deref) .78 19 11    unknown .035 7.6 .13 error (1) .45 40 3.9 false(valid-deref) 2.3 240 20 false(valid-deref) 9.5  28 110   false(valid-deref) 3.7  24 8.5 false(valid-deref) .52  23 6.3  false(valid-deref) .86  27 9.4  false(valid-deref) 1.1   50 13    unknown .13  22 1.7 false(valid-deref) 1.8 70 23 false(valid-deref) .23 13   3.0 unknown 5.5 330 42 unknown 4.8 310 39 unknown 4.9 300 38
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (8) .17  24 1.5  false(valid-free) .49 19 5.1  unknown .063 44   .58 error (1) .41 38 3.8 false(valid-free) 2.4 240 20 unknown 19    28 230   false(valid-deref) .19 23 2.0 unknown .077 23 .81 unknown .076 23 .92 unknown .10  23 .75 unknown .14  21 1.6 false(valid-free) 3.3 81 43 false(valid-free) .23 12   2.4 unknown 5.7 330 43 unknown 4.8 300 37 unknown 5.8 330 41
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error (134) .47  46 5.0  error (1) .30 21 2.4  unknown .046 8.2 .37 error (1) .43 40 3.8 error 11   220 15 unknown 890    1100 12000   out of memory 490    15000 5900   timeout 900     1900 10000    timeout 900     1400 9600    unknown 3.4   150 44    true 1.5   50 16   timeout 880   570 7200 timeout (timeout) 900    3100   10000   timeout 900   960 12000 timeout 900   1300 13000 timeout 900   5000 11000
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error (5) .37  27 3.1  error (42) 850    3300 9100    unknown .038 8.2 .41 error (1) .41 37 3.8 error (recursion) 2.7 220 25 unknown 890    360 7800   out of memory 740    15000 4200   timeout 900     830 11000    timeout 900     630 9000    unknown 2.8   72 34    true 2.5   59 27   timeout 880   320 7800 timeout (timeout) 900    3900   9500   timeout 900   2300 11000 timeout 900   2100 9900 timeout 900   770 12000
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i true 25     1000 260    error (134) 400    13000 3700    unknown .057 32   .53 error (1) .42 41 3.7 timeout 910   4400 1500 unknown 890    850 12000   out of memory 320    15000 3300   timeout 900     1100 12000    timeout 900     700 11000    unknown .34  34 4.0  true 1.6   69 20   timeout 880   510 7700 timeout (timeout) 900    2100   7400   timeout 900   990 12000 timeout 900   1200 13000 timeout 900   1500 12000
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i false(valid-deref) .31  31 3.3  error (42) 850    4300 4500    unknown .044 8.1 .30 error (1) .39 38 3.7 timeout 930   7800 9300 unknown 890    310 11000   timeout 900    4600 2200   timeout 900     430 12000    timeout 900     490 9700    unknown .55  35 7.0  true 2.2   72 23   timeout 880   250 11000 true .44 34   4.8 timeout 910   13000 3500 timeout 900   1900 12000 timeout 900   8500 8900
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) .57  46 4.9  false(valid-deref) .47 36 4.5  unknown .042 7.9 .22 error (1) .42 40 4.3 false(valid-deref) 3.6 260 32 false(valid-deref) 1.4  30 16   out of memory 110    15000 1200   false(valid-deref) .31  25 3.4  false(valid-deref) .26  26 3.4  false(valid-deref) .27  26 3.4  false(valid-deref) 2.1   25 24   false(valid-deref) 5.1 100 58 false(valid-deref) .41 28   5.3 false(valid-deref) 290   610 4100 false(valid-deref) 570   1800 8000 timeout 900   13000 5400
heap-manipulation/tree_false-valid-deref.i false(valid-deref) .29  30 2.4  false(valid-deref) .44 37 4.9  unknown .042 8.0 .24 error (1) .41 40 3.9 false(valid-deref) 3.1 250 28 false(valid-deref) .39 29 4.4 out of memory 110    15000 1500   false(valid-deref) .15  25 1.1  false(valid-deref) .12  25 1.2  false(valid-deref) .11  25 1.5  false(valid-deref) .15  25 2.1 false(valid-deref) 2.2 91 23 false(valid-deref) .36 29   4.0 false(valid-deref) 6.6 360 53 false(valid-deref) 7.7 340 56 false(valid-deref) 6.7 360 50
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error (5) .20  26 1.4  false(valid-memtrack) .30 26 2.5  unknown .087 44   .51 error (1) .40 37 3.8 false(valid-memtrack) 3.4 260 27 false(valid-memtrack) 4.7  29 13   out of memory 300    15000 3500   false(valid-memtrack) .18  25 1.8  false(valid-memtrack) .20  25 1.7  false(valid-memtrack) .19  25 2.1  false(valid-memtrack) .14  25 2.0 false(valid-memtrack) 750   220 8900 false(valid-memtrack) .34 17   4.1 timeout 900   1000 10000 timeout 900   1300 12000 timeout 900   1500 10000
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) .51  37 5.1  false(valid-memtrack) .40 33 4.5  unknown .038 8.2 .22 error (1) .40 37 3.2 timeout 900   7300 9000 false(valid-memtrack) 1.7  38 20   out of memory 91    15000 1200   false(valid-memtrack) 1.8   32 4.0  false(valid-memtrack) .48  33 5.5  false(valid-memtrack) .50  33 5.4  false(valid-memtrack) .17  23 1.9 false(valid-memtrack) 830   280 6900 false(valid-memtrack) .36 27   4.5 error 8.4 320 65 error 8.5 310 66 error 8.6 300 60
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error (134) .45  31 4.2  false(valid-memtrack) .29 27 2.9  unknown .069 44   .50 error (1) .44 40 4.2 false(valid-memtrack) 13   260 16 false(valid-memtrack) 5.6  33 20   out of memory 500    15000 5900   false(valid-memtrack) .32  30 3.2  false(valid-memtrack) .30  30 3.7  false(valid-memtrack) .30  30 3.7  false(valid-memtrack) .17  23 2.6 false(valid-memtrack) 830   350 7300 false(valid-memtrack) .37 25   4.6 unknown 200   1000 2300 timeout 900   1700 11000 timeout 910   14000 4400
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error (134) .41  30 3.9  false(valid-memtrack) .27 25 2.5  unknown .064 43   .52 error (1) .41 37 3.2 false(valid-memtrack) 3.3 260 25 false(valid-memtrack) 1.3  29 16   out of memory 760    15000 8200   false(valid-memtrack) .25  26 2.9  false(valid-memtrack) .28  27 2.9  false(valid-memtrack) .28  27 3.5  false(valid-memtrack) .16  23 1.8 false(valid-memtrack) 830   330 7200 false(valid-memtrack) .34 22   3.5 unknown 170   1000 2200 timeout 900   1700 11000 timeout 900   7600 6100
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i error (134) .41  30 4.1  error (42) 850    4400 4900    unknown .036 8.1 .18 error (1) .42 37 3.5 timeout 940   9400 9200 unknown 890    190 9200   timeout 900    3900 7100   timeout 900     1400 9700    timeout 900     1400 9200    unknown .12  24 1.4  timeout 900     2000 7100   true 880   320 9900 timeout (timeout) 900    2100   9700   timeout 900   1100 11000 timeout 900   2100 14000 timeout 900   6400 7300
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .21  26 1.8  false(valid-memtrack) .24 20 1.8  unknown .090 44   .50 error (1) .40 37 3.9 timeout 900   7500 6800 false(valid-memtrack) .47 29 5.2 out of memory 240    15000 2600   false(valid-memtrack) .16  24 1.3  false(valid-memtrack) .12  24 1.3  false(valid-memtrack) .12  24 1.7  false(valid-memtrack) .13  24 1.9 false(valid-memtrack) 750   320 5400 false(valid-memtrack) .30 17   4.2 unknown 13   330 100 unknown 30   640 290 unknown 13   350 97
list-properties/list_search_true-unreach-call_false-valid-memtrack.i true .38  32 3.6  false(valid-memtrack) .65 24 5.0  unknown .028 8.3 .33 error (1) .40 37 3.4 error 2.6 220 25 false(valid-memtrack) 44    480 350   false(valid-memtrack) 39    1100 480   false(valid-memtrack) .28  25 3.3  false(valid-memtrack) .34  30 3.8  false(valid-memtrack) .41  36 6.1  false(valid-memtrack) .15  25 2.2 false(valid-memtrack) 14   110 210 false(valid-memtrack) .33 18   3.6 timeout 900   1000 10000 timeout 900   1000 11000 timeout 900   4400 8800
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .21  27 1.9  false(valid-memtrack) .28 26 2.6  unknown .039 8.0 .22 error (1) .42 38 4.3 timeout 900   7300 9000 false(valid-memtrack) .46 29 4.9 out of memory 450    15000 5000   false(valid-memtrack) .13  24 1.4  false(valid-memtrack) .12  24 1.4  false(valid-memtrack) .12  24 1.4  false(valid-memtrack) .13  23 1.9 false(valid-memtrack) 750   290 6500 false(valid-memtrack) .32 19   3.6 unknown 20   480 170 unknown 46   710 470 unknown 21   510 170
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .29  27 2.8  false(valid-memtrack) .22 19 1.6  unknown .036 8.1 .21 error (1) .42 37 4.0 timeout 900   8100 5800 false(valid-memtrack) 1.0  29 13   out of memory 170    15000 1700   false(valid-memtrack) .16  24 1.3  false(valid-memtrack) .13  24 1.5  false(valid-memtrack) .16  24 1.3  false(valid-memtrack) .13  23 1.9 false(valid-memtrack) 750   310 7800 false(valid-memtrack) .27 13   3.2 unknown 15   390 100 unknown 24   500 250 unknown 15   400 110
list-properties/simple_true-unreach-call_false-valid-memtrack.i error (134) .23  28 2.9  false(valid-memtrack) .23 22 1.5  unknown .042 8.0 .21 error (1) .43 38 3.7 timeout 900   7700 9000 false(valid-memtrack) 1.0  29 12   out of memory 530    15000 5300   false(valid-memtrack) .13  24 1.5  false(valid-memtrack) .16  24 1.6  false(valid-memtrack) .16  24 1.4  false(valid-memtrack) .14  23 1.7 false(valid-memtrack) 750   270 6300 false(valid-memtrack) .29 16   3.3 unknown 19   470 180 unknown 42   710 530 unknown 20   470 160
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .21  27 1.9  false(valid-memtrack) .26 25 2.0  unknown .037 8.2 .22 error (1) .40 37 4.1 false(valid-memtrack) 3.5 270 33 false(valid-memtrack) .47 29 5.1 out of memory 530    15000 6100   false(valid-memtrack) .12  25 1.4  false(valid-memtrack) .12  25 1.4  false(valid-memtrack) .13  24 1.4  false(valid-memtrack) .13  24 1.8 false(valid-memtrack) 750   340 6800 false(valid-memtrack) .31 20   3.5 unknown 14   350 110 unknown 20   500 170 unknown 14   360 110
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i false(valid-deref) 65     1000 550    true 49    930 580    unknown .048 9.9 .41 error (1) .42 38 3.6 false(valid-memtrack) 7.3 420 56 unknown 890    1100 10000   out of memory 120    15000 1300   false(valid-memtrack) 230     840 2200    timeout 900     620 11000    unknown .38  69 4.1  true .58  52 5.5 true 88   250 1100 true 2.1  150   25   true 180   1600 1200 true 410   5000 5400 true 320   1600 1500
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i false(valid-deref) 67     960 450    true 43    910 480    unknown .062 10   .34 error (1) .41 38 3.7 false(valid-memtrack) 6.9 420 50 unknown 890    990 9900   out of memory 120    15000 1500   false(valid-memtrack) 590     850 6900    false(valid-memtrack) 620     860 6900    unknown .33  68 3.6  true .55  51 4.8 true 87   250 1100 true 2.2  160   29   true 170   1500 1100 true 410   5400 5300 true 290   1600 1500
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i false(valid-memtrack) 63     980 480    true 48    920 530    unknown .091 45   .88 error (1) .42 40 4.1 false(valid-memtrack) 6.8 410 54 unknown 890    940 11000   out of memory 120    15000 1400   false(valid-memtrack) 300     630 3400    timeout 900     1000 10000    unknown .34  69 4.0  true .53  52 4.6 true 89   250 1100 true 2.1  150   25   true 170   1700 1400 true 410   5300 6200 true 290   1600 1700
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i false(valid-deref) 62     950 490    false(valid-memtrack) 38    1100 430    unknown .048 10   .46 error (1) .42 38 3.8 false(valid-memtrack) 6.8 410 52 unknown 890    990 9500   out of memory 120    15000 1400   false(valid-memtrack) 800     1100 8500    false(valid-memtrack) 460     890 5400    unknown .33  67 3.7  false(valid-memtrack) .49  52 4.6 false(valid-deref) 680   360 7200 false(valid-memtrack) 2.3  160   24   unknown 630   5500 4800 timeout 900   7000 11000 unknown 480   1600 4300
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i false(valid-deref) 63     960 500    false(valid-memtrack) 39    1100 470    unknown .10  34   .58 error (1) .42 40 3.5 false(valid-memtrack) 6.6 420 57 unknown 890    970 11000   out of memory 490    15000 1000   timeout 900     460 1900    timeout 900     630 12000    unknown .34  67 3.8  false(valid-memtrack) .51  53 4.4 false(valid-deref) 670   360 7900 false(valid-memtrack) 2.2  160   27   unknown 630   4900 5000 timeout 900   5800 12000 unknown 480   1700 3200
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i false(valid-deref) 62     950 530    false(valid-memtrack) 38    1100 510    unknown .046 10   .41 error (1) .41 40 4.3 false(valid-memtrack) 6.7 420 53 unknown 890    970 10000   out of memory 120    15000 1400   timeout 900     920 13000    timeout 900     910 9800    unknown .34  67 4.1  false(valid-memtrack) .52  52 5.2 false(valid-deref) 680   360 8100 false(valid-memtrack) 2.3  160   27   unknown 630   5500 4800 timeout 900   6400 9600 unknown 470   1900 2900
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i false(valid-deref) 62     950 530    false(valid-memtrack) 39    1100 460    unknown .048 9.6 .35 error (1) .41 40 3.8 false(valid-memtrack) 6.6 410 54 unknown 890    1000 10000   out of memory 120    15000 1400   timeout 900     800 9600    timeout 900     830 12000    unknown .32  67 3.7  false(valid-memtrack) .58  51 4.6 false(valid-deref) 680   360 7600 false(valid-memtrack) 2.3  160   26   unknown 620   5700 5600 error 530   6900 6800 unknown 480   1600 3300
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i false(valid-deref) 62     950 450    false(valid-memtrack) 39    1100 450    unknown .075 10   .33 error (1) .41 38 3.5 false(valid-memtrack) 6.9 420 53 unknown 890    1000 9400   out of memory 120    15000 1400   timeout 900     760 13000    false(valid-memtrack) 410     810 4900    unknown .34  67 3.4  false(valid-memtrack) .50  53 4.8 false(valid-deref) 690   360 7700 timeout (timeout) 900    2100   8100   unknown 630   5500 4800 error 480   6700 6400 unknown 480   1600 3800
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i false(valid-deref) 61     950 510    false(valid-memtrack) 39    1100 440    unknown .045 9.9 .53 error (1) .39 37 4.1 false(valid-memtrack) 28   310 29 unknown 890    1200 9800   out of memory 120    15000 1400   false(valid-memtrack) 660     820 8900    false(valid-memtrack) 640     820 6800    unknown .32  67 3.7  false(valid-memtrack) .51  52 4.8 false(valid-deref) 650   360 9000 false(valid-memtrack) 2.2  160   28   unknown 610   5600 4900 timeout 900   6000 11000 unknown 470   1600 3800
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i false(valid-deref) 61     940 490    false(valid-memtrack) 39    1100 470    unknown .047 9.9 .35 error (1) .42 37 3.6 false(valid-memtrack) 7.4 420 56 unknown 890    1100 9500   out of memory 120    15000 1500   timeout 900     1000 11000    false(valid-memtrack) 690     960 8000    unknown .32  67 3.6  false(valid-memtrack) .50  53 4.5 false(valid-deref) 670   360 6900 false(valid-memtrack) 2.2  160   26   unknown 640   5500 4800 error 560   7100 7500 unknown 470   1700 3200
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i false(valid-deref) 63     950 450    false(valid-memtrack) 39    1100 510    unknown .082 46   1.1  error (1) .40 37 3.4 false(valid-memtrack) 6.9 420 55 unknown 890    1100 9900   out of memory 120    15000 1700   timeout 900     870 9900    timeout 900     1000 10000    unknown .32  67 3.6  false(valid-memtrack) .49  52 5.1 false(valid-deref) 640   360 9400 false(valid-memtrack) 2.2  160   26   unknown 620   5600 4600 timeout 900   6100 10000 unknown 470   1700 3000
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i false(valid-deref) 62     950 420    false(valid-memtrack) 39    1100 460    unknown .043 9.9 .38 error (1) .43 41 4.2 false(valid-memtrack) 7.5 420 54 unknown 900    1000 10000   out of memory 120    15000 1400   timeout 900     760 12000    timeout 900     770 10000    unknown .32  67 3.5  false(valid-memtrack) .50  53 4.9 false(valid-deref) 680   350 7900 false(valid-memtrack) 2.2  160   26   unknown 620   5500 4900 error 550   6800 7000 unknown 470   1500 3600
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i false(valid-deref) 68     950 500    false(valid-memtrack) 39    1100 420    unknown .057 10   .40 error (1) .42 40 3.7 false(valid-memtrack) 7.1 410 50 unknown 900    1100 3100   out of memory 120    15000 1400   timeout 900     1100 10000    false(valid-memtrack) 620     890 6400    unknown .35  67 3.4  false(valid-memtrack) .58  52 5.4 false(valid-deref) 660   350 7300 false(valid-memtrack) 2.2  160   30   unknown 620   5600 5600 timeout 900   6100 11000 unknown 470   1600 3500
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error (134) 1.2   68 12    error (42) 850    3900 7900    unknown .034 8.1 .33 error (1) .39 38 4.1 timeout 900   7700 11000 unknown 890    220 9600   timeout 900    8100 5900   timeout 900     600 10000    timeout 900     450 9600    unknown .49  35 5.9  true 2.2   32 23   timeout 880   300 6500 timeout (timeout) 900    3000   6600   timeout 900   820 12000 timeout 900   1300 11000 timeout 910   11000 7200
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 900     1800 5900    out of memory 340    15000 3900    unknown .097 43   .45 error (1) .42 40 4.0 timeout 900   7300 8800 unknown 890    230 2800   out of memory 480    15000 870   timeout 900     11000 11000    timeout 900     4600 9200    unknown .16  27 2.0  true 2.3   38 21   true 880   270 6700 timeout (timeout) 900    3200   13000   timeout 900   700 11000 timeout 900   1700 12000 timeout 900   700 12000
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error (134) .58  47 5.4  error (1) 98    400 1100    unknown .048 8.1 .23 error (1) .41 40 3.8 timeout 900   6800 11000 unknown 890    260 8900   timeout 900    12000 6600   timeout 900     630 11000    timeout 900     420 7700    unknown .31  32 4.1  timeout 900     900 8600   timeout 880   290 6700 timeout (timeout) 900    3200   7200   timeout 900   820 11000 timeout 900   1400 12000 timeout 900   2400 9500
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900     8700 9200    error (42) 850    2300 4200    unknown .037 8.1 .24 error (1) .41 40 4.0 timeout 900   8200 7900 unknown 890    200 9100   timeout 900    5900 8000   timeout 900     1400 11000    timeout 900     1600 9100    unknown .13  25 1.5  true 2.1   25 22   true 880   330 9300 timeout (timeout) 900    2800   10000   timeout 900   1500 12000 timeout 900   1600 12000 timeout 900   8900 7900
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error (134) .70  48 7.6  error (42) 850    3100 5300    unknown .036 7.9 .26 error (1) .42 37 3.9 timeout 900   8000 11000 unknown 890    330 9300   out of memory 83    15000 980   timeout 900     460 9500    timeout 900     500 11000    unknown .34  36 3.8  timeout 900     4200 7500   timeout 880   340 10000 timeout (timeout) 900    2900   6800   timeout 900   880 12000 timeout 900   1500 14000 timeout 910   12000 5500
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900     7800 6100    error (42) 850    3300 6100    unknown .062 8.0 .22 error (1) .43 40 3.9 timeout 920   7500 9700 unknown 890    270 9000   out of memory 91    15000 1100   timeout 900     440 9800    timeout 900     510 9100    unknown .46  39 5.3  timeout 900     3500 6300   timeout 880   320 6900 timeout (timeout) 900    3000   8500   error 9.1 320 65 error 8.3 300 85 error 8.2 310 66
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 900     8900 9300    error (42) 850    5400 6000    unknown .045 8.1 .26 error (1) .39 38 3.2 timeout 900   4200 2300 unknown 890    170 11000   out of memory 190    15000 2100   timeout 900     410 9800    timeout 900     530 5400    unknown .27  32 3.6  true 2.2   32 23   true 880   350 7900 timeout (timeout) 900    3300   10000   timeout 900   960 11000 timeout 900   1700 12000 timeout 900   12000 5200
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i error (134) .79  40 8.5  error (42) 850    1000 5500    unknown .099 44   .68 error (1) .45 40 4.2 timeout 970   11000 4900 unknown 890    150 10000   out of memory 110    15000 990   timeout 900     440 10000    timeout 900     850 12000    unknown .15  25 2.0  true 2.2   38 22   timeout 880   330 8200 timeout (timeout) 900    3300   7500   timeout 900   780 11000 timeout 900   1600 12000 timeout 900   1600 12000
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error (134) .36  30 3.7  error (42) 850    890 11000    unknown .037 8.2 .21 error (1) .41 37 3.6 timeout 900   7500 9000 unknown 890    190 12000   timeout 900    10000 7000   timeout 900     1100 9500    timeout 900     1300 12000    unknown .19  29 2.3  true 1.8   31 20   true 880   340 7200 timeout (timeout) 900    2100   9800   timeout 900   900 14000 timeout 900   1600 11000 timeout 910   14000 4500
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error (134) 1.2   66 14    error (42) 850    720 11000    unknown .046 7.9 .28 error (1) .43 37 3.4 timeout 950   8300 8800 unknown 890    240 8100   timeout 900    5500 2100   timeout 900     770 10000    timeout 900     420 7700    unknown .31  29 4.5  timeout 900     280 10000   timeout 880   280 11000 timeout (timeout) 900    3100   8200   timeout 900   820 11000 timeout 900   1700 12000 timeout 900   2200 8600
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error (134) .63  49 6.4  error (42) 850    880 6400    unknown .035 8.0 .24 error (1) .43 37 3.8 timeout 900   7500 10000 unknown 890    340 8700   out of memory 320    15000 760   timeout 900     250 13000    timeout 900     560 8800    unknown .25  28 3.5  true 2.3   39 24   timeout 880   310 7700 timeout (timeout) 900    2600   6800   timeout 900   940 14000 timeout 900   2400 12000 timeout 910   13000 3500
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 900     1800 5900    out of memory 320    15000 3900    unknown .033 7.9 .22 error (1) .39 37 3.5 timeout 900   8000 10000 unknown 890    540 10000   out of memory 140    15000 1500   timeout 900     9200 5500    timeout 900     5100 10000    unknown .15  25 1.7  true 2.3   38 25   true 880   250 10000 timeout (timeout) 900    3000   9300   timeout 900   940 11000 timeout 900   1900 11000 timeout 900   1100 13000
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error (134) .56  38 5.9  error (1) 94    390 930    unknown .036 7.9 .25 error (1) .39 37 3.6 timeout 900   6900 9600 unknown 890    230 7500   timeout 900    11000 6300   timeout 900     640 8300    timeout 900     430 7700    unknown .36  30 4.2  timeout 900     720 8100   timeout 880   260 7700 timeout (timeout) 900    3400   7800   timeout 900   970 10000 timeout 900   1700 14000 timeout 900   2000 11000
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900     9000 7100    error (42) 850    1800 3600    unknown .099 43   .47 error (1) .42 38 3.6 timeout 900   8800 7200 unknown 890    190 9200   timeout 900    4300 5800   timeout 900     1500 8600    timeout 900     1700 10000    unknown .16  25 1.3  true 2.1   26 23   true 880   320 12000 timeout (timeout) 900    2800   11000   timeout 900   1400 12000 timeout 900   1700 14000 timeout 900   1100 7000
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error (134) .41  33 5.0  error (42) 850    2100 5600    unknown .034 8.0 .24 error (1) .40 37 4.1 timeout 930   8600 9200 unknown 890    410 9800   out of memory 340    15000 4400   timeout 900     400 11000    timeout 900     590 11000    unknown .22  28 2.4  timeout 900     3300 5800   timeout 880   310 11000 timeout (timeout) 900    3100   6500   timeout 900   1100 12000 timeout 900   1300 15000 timeout 900   2000 8100
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900     7600 7700    error (42) 850    2300 5100    unknown .093 44   .64 error (1) .40 37 3.7 timeout 900   8300 11000 unknown 890    360 10000   out of memory 880    15000 11000   timeout 900     400 13000    timeout 900     540 11000    unknown .22  29 2.8  timeout 900     3300 5600   timeout 880   310 7200 timeout (timeout) 900    3100   6600   error 8.7 330 64 error 9.1 340 72 error 8.0 310 61
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 900     8700 8700    error (42) 850    2400 5800    unknown .034 7.9 .26 error (1) .40 37 3.3 timeout 900   4300 1700 unknown 890    170 9800   out of memory 130    15000 1300   timeout 900     580 9700    timeout 900     950 9900    unknown .24  28 3.0  true 2.2   30 23   true 880   330 8000 timeout (timeout) 900    3400   11000   timeout 900   920 11000 timeout 900   1700 13000 timeout 900   4700 6000
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i error (134) .62  40 7.3  error (42) 850    870 7800    unknown .031 8.2 .26 error (1) .41 37 4.0 timeout 960   11000 4600 unknown 900    190 13000   out of memory 88    15000 1000   timeout 900     780 11000    timeout 900     1400 11000    unknown .15  25 1.9  true 2.2   37 22   timeout 880   340 7800 timeout (timeout) 900    3300   6900   timeout 900   1100 11000 timeout 900   1400 11000 timeout 900   2100 8700
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error (134) .33  30 3.3  error (42) 850    910 10000    unknown .045 7.9 .24 error (1) .44 40 3.8 timeout 900   8000 8000 unknown 890    200 9000   timeout 900    5400 2500   timeout 900     1500 9800    timeout 900     1600 8100    unknown .18  26 1.7  true 2.1   32 20   true 880   300 7300 timeout (timeout) 900    2300   10000   timeout 900   1300 13000 timeout 900   1200 14000 timeout 900   8100 6000
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error (134) .53  37 5.0  false(valid-deref) .37 31 3.6  unknown .035 7.9 .22 error (1) .42 38 3.5 false(valid-deref) 3.7 270 27 false(valid-deref) 1.5  36 19   out of memory 93    15000 1100   false(valid-deref) .37  30 4.1  false(valid-deref) .39  31 4.7  false(valid-deref) .38  31 4.1  false(valid-deref) .18  23 2.3 false(valid-deref) 3.6 100 41 false(valid-deref) .33 22   4.3 false(valid-deref) 48   750 460 timeout 900   3400 13000 timeout 900   8300 9800
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) .28  28 3.1  false(valid-deref) .25 23 2.9  unknown .047 8.0 .25 error (1) .40 38 3.9 false(valid-deref) 3.6 260 32 false(valid-deref) 2.3  29 5.5 timeout 900    6400 8100   false(valid-deref) .15  25 2.7  false(valid-deref) .16  25 1.8  false(valid-deref) .17  25 1.9  false(valid-deref) .16  25 2.0 false(valid-deref) 4.1 110 48 false(valid-deref) .39 28   4.7 false(valid-deref) 140   610 1700 false(valid-deref) 260   1500 3500 false(valid-deref) 130   650 1600
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error (134) .50  34 5.0  false(valid-deref) .29 26 2.7  unknown .099 44   .45 error (1) .42 37 3.8 false(valid-deref) 3.5 270 27 false(valid-deref) 1.4  30 16   out of memory 330    15000 3900   false(valid-deref) .28  25 3.3  false(valid-deref) .30  26 3.5  false(valid-deref) .31  26 2.9  false(valid-deref) .17  23 2.3 false(valid-deref) 3.3 92 38 false(valid-deref) .31 20   3.7 false(valid-deref) 37   840 360 false(valid-deref) 260   1400 4200 timeout 910   11000 6700
loop-acceleration/array3_false-valid-deref.i timeout 900     10000 11000    false(valid-deref) 23    930 290    unknown .040 7.8 .14 error (1) .42 40 3.6 timeout 900   3500 14000 unknown 53    28 690   true .61 80 7.3 false(valid-deref) 300     690 4100    false(valid-deref) 320     2300 4000    unknown .075 23 .81 timeout 900     89 11000   timeout 790   1200 6600 false(valid-deref) 9.7  29   110   timeout 900   1700 13000 timeout 900   3200 15000 timeout 900   1600 12000
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 48     1900 640    false(valid-deref) 3.5  200 34    unknown .31  12   3.9  error (1) .41 38 4.1 false(valid-deref) 7.2 330 56 false(valid-deref) 130    790 1000   timeout 900    250 12000   false(valid-deref) 5.1   410 60    false(valid-deref) 19     410 43    timeout 900     230 11000    false(valid-deref) 1.2   84 9.9 false(valid-deref) 48   250 570 unknown 21    2100   200   unknown 5.9 330 43 unknown 7.0 340 56 unknown 7.3 340 48
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 2.0   88 21    error (1) .68 35 7.7  unknown .20  46   1.4  error (1) .42 38 3.8 false(valid-deref) 4.4 270 33 false(valid-deref) 750    1100 6400   false(valid-deref) 17    1000 190   false(valid-deref) 340     520 3600    false(valid-deref) 320     530 3900    false(valid-deref) 320     530 3400    false(valid-deref) .36  40 3.1 false(valid-deref) 4.5 120 49 false(valid-deref) 1.0  19   13   unknown 6.2 330 48 unknown 5.3 300 41 unknown 5.3 310 46
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 1.3   410 12    true 1.1  38 11    unknown .13  9.4 1.5  error (1) .39 37 3.5 true 76   3900 780 true 79    4000 780   true .89 50 10   timeout 900     5900 10000    true .78  45 9.2  true .79  45 9.5  true 2.8   86 29   true 330   260 4300 true 7.3  580   84   true 8.1 450 63 true 16   650 130 true 8.0 460 66
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 1.3   410 14    true 1.1  38 12    unknown .13  8.7 1.5  error (1) .41 40 3.8 true 68   4000 770 true 74    4000 810   true .89 50 11   timeout 900     5900 12000    true .74  45 8.6  true .77  45 8.9  true 2.8   86 27   true 320   260 4200 true 7.4  580   100   true 9.2 460 63 true 17   620 140 true 8.7 460 64
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .46  100 4.4  error (42) 850    7400 3700    unknown .080 8.5 .74 error (1) .44 40 3.7 timeout 900   4700 11000 timeout 900    4800 12000   true 1.0  120 12   timeout 900     1200 8100    out of memory 410     15000 5300    true .75  37 10    true 62     550 670   true 160   180 2300 timeout (timeout) 900    1800   9200   true 7.3 350 61 true 15   750 120 true 7.1 360 52
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .37  69 2.9  true .37 20 4.0  unknown .067 8.3 .67 error (1) .43 40 4.2 true 65   4000 620 true 270    4000 380   true .39 36 4.7 timeout 900     4200 9800    true .29  28 3.7  true .26  28 3.2  true 6.8   120 69   true 130   180 1600 true 2.0  150   26   true 7.4 350 58 true 9.8 480 77 true 7.1 350 57
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .35  67 3.3  true .36 21 3.8  unknown .066 8.2 .72 error (1) .43 37 4.0 true 62   4100 580 true 67    3900 670   true 1.5  36 4.7 timeout 900     4200 11000    true .26  28 3.1  true .30  28 3.1  true 9.9   120 87   true 130   180 2000 true 1.9  150   25   true 7.8 370 63 true 9.7 460 71 true 7.4 360 52
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .51  130 4.9  true .61 22 6.8  unknown .084 8.4 .82 error (1) .42 40 4.0 true 120   4400 1200 true 130    4300 1200   true .54 44 7.3 timeout 900     4200 12000    true .43  30 4.9  true .43  30 5.0  true 9.3   140 91   true 200   220 2700 true 4.5  320   52   true 7.7 400 69 true 12   570 100 true 8.1 410 57
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .51  130 6.0  true .62 22 6.4  unknown .088 9.4 .92 error (1) .42 40 4.2 true 130   4300 1300 true 130    4300 1400   true .54 43 6.8 timeout 900     4200 12000    true .43  30 4.6  true .44  30 4.1  true 10     150 88   true 200   210 2300 true 4.5  320   50   true 7.6 420 57 true 11   490 89 true 8.1 430 61
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .20  26 1.5  true .25 18 2.9  unknown .043 8.1 .37 error (1) .41 37 4.0 true 8.5 500 63 true 39    460 43   true .22 25 2.2 timeout 900     10000 14000    true .16  25 1.5  true .12  25 1.5  true 1.7   41 19   true 26   120 320 true .48 32   5.7 true 6.0 320 54 true 8.2 460 70 true 6.3 320 46
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .29  44 2.7  true .34 20 3.1  unknown .062 8.2 .50 error (1) .45 40 3.7 true 20   1800 180 true 23    1900 230   true .26 27 3.6 timeout 900     7000 12000    true .19  27 2.1  true .22  27 2.2  true 2.7   64 27   true 59   150 770 true 1.1  95   13   true 7.4 350 52 true 9.8 470 70 true 6.8 330 52
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .29  44 2.6  true .32 20 3.2  unknown .062 8.2 .51 error (1) .41 37 3.7 true 20   2000 200 true 23    1800 220   true .28 27 3.3 timeout 900     7000 12000    true .21  27 2.2  true .19  27 2.3  true 2.7   64 25   true 58   150 850 true 1.0  94   14   true 6.4 330 51 true 10   470 78 true 6.9 330 53
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true .13  32 1.2  error (42) 850    3100 6100    unknown .027 8.0 .19 error (1) .42 40 3.5 timeout 910   7100 10000 timeout 900    7100 12000   out of memory 87    15000 970   timeout 900     1600 9100    out of memory 460     15000 5400    true .11  24 1.3  true 190     350 1800   true 3.8 83 42 timeout (timeout) 900    1700   5400   true 5.9 330 48 true 6.1 330 51 true 6.1 330 48
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true .16  36 1.0  error (42) 850    3700 5000    unknown .068 43   .59 error (1) .42 37 4.0 timeout 900   6700 11000 timeout 910    7100 11000   out of memory 92    15000 1300   timeout 900     1600 11000    out of memory 470     15000 5700    true .13  24 1.3  true 890     1600 7900   true 3.9 86 43 timeout (timeout) 900    2300   5600   true 5.5 320 45 true 5.9 320 51 true 5.6 320 41
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true .13  24 .84 error (42) 850    4300 8000    unknown .020 8.0 .20 error (1) .41 40 4.1 timeout 900   7100 12000 timeout 910    4600 1600   out of memory 97    15000 1100   timeout 900     770 3200    out of memory 470     15000 6500    true .14  24 1.6  timeout 900     1300 8500   true 3.8 87 57 timeout (timeout) 900    3200   5600   true 5.9 330 48 true 6.2 320 50 true 6.3 340 46
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true .12  25 .95 error (42) 850    2000 7000    unknown .071 43   .37 error (1) .39 37 4.1 timeout 920   7000 10000 timeout 900    7000 12000   out of memory 100    15000 1300   timeout 900     1800 8400    out of memory 490     15000 6000    true .15  24 1.6  timeout 900     1200 8300   true 3.9 83 45 timeout (timeout) 900    4100   6200   true 5.4 320 40 true 6.1 320 49 true 6.2 330 53
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true .13  25 1.2  error (42) 850    1800 6900    unknown .033 8.0 .15 error (1) .41 40 3.9 timeout 900   2800 2000 timeout 900    3700 15000   out of memory 110    15000 1100   timeout 900     2000 9000    out of memory 480     15000 5800    true .15  24 1.6  timeout 900     1200 8100   true 3.9 88 59 timeout (timeout) 900    3100   5800   true 5.6 320 47 true 6.5 320 49 true 6.7 360 53
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true .17  33 1.1  error (42) 850    1500 7700    unknown .039 7.9 .17 error (1) .42 37 3.9 timeout 900   6600 11000 timeout 900    6900 13000   out of memory 110    15000 1500   timeout 900     1900 9400    out of memory 500     15000 5500    true .16  24 1.5  timeout 900     990 9100   true 3.9 84 60 timeout (timeout) 900    5200   5600   true 6.3 350 47 true 6.3 320 55 true 6.3 340 46
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true .13  25 1.1  error (42) 850    2000 6800    unknown .030 7.9 .21 error (1) .41 38 3.4 timeout 900   3700 12000 timeout 900    3200 13000   out of memory 110    15000 1400   timeout 900     2000 9800    out of memory 490     15000 6900    true .18  24 1.6  timeout 900     1200 8000   true 3.9 86 52 timeout (timeout) 900    4300   7700   true 5.5 320 44 true 6.6 330 54 true 6.0 330 51
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true .13  25 1.1  error (42) 850    1800 6400    unknown .033 7.9 .18 error (1) .42 38 3.6 timeout 900   6500 12000 timeout 900    6600 10000   out of memory 110    15000 1200   timeout 900     860 1800    out of memory 500     15000 5800    true .15  24 1.8  timeout 900     890 9000   true 4.0 86 60 timeout (timeout) 900    4700   4200   true 5.8 310 49 true 6.4 320 48 true 5.8 310 44
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true .14  31 1.0  error (42) 850    5500 6100    unknown .026 7.6 .16 error (1) .43 39 4.4 timeout 900   8100 10000 timeout 900    8100 10000   true 140    8700 1500   timeout 900     1200 11000    out of memory 420     15000 5000    true .087 23 1.0  true .83  28 8.1 true 3.6 77 46 timeout (timeout) 900    380   11000   true 5.3 320 43 true 6.2 340 47 true 5.5 310 43
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true .12  23 .90 error (42) 850    1300 5700    unknown .025 7.6 .21 error (1) .45 38 4.2 timeout 910   8700 10000 timeout 910    8800 9400   true 200    12000 2400   timeout 900     1300 9400    out of memory 420     15000 4800    true .12  23 .90 true 3.3   36 36   true 3.6 75 46 timeout (timeout) 900    510   6900   true 5.4 320 43 true 5.5 320 46 true 6.3 330 47
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true .12  25 .93 error (42) 850    1700 6000    unknown .071 43   .56 error (1) .44 38 3.5 timeout 900   8300 10000 timeout 900    8400 9400   out of memory 78    15000 850   timeout 900     1400 11000    out of memory 430     15000 6100    true .13  24 1.0  true 7.9   55 81   true 3.7 81 54 timeout (timeout) 900    690   6300   true 5.4 320 41 true 6.3 340 49 true 5.5 320 38
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true .11  23 .99 error (42) 850    2000 5300    unknown .031 7.9 .15 error (1) .42 40 3.7 timeout 900   8000 9400 timeout 900    8300 12000   out of memory 79    15000 990   timeout 900     1500 9500    out of memory 440     15000 5700    true .11  24 1.0  true 20     77 180   true 3.7 90 57 timeout (timeout) 900    950   6900   true 5.7 320 43 true 5.9 320 45 true 5.3 320 43
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true .12  24 .92 error (42) 850    2600 5000    unknown .033 8.0 .18 error (1) .42 37 3.7 timeout 900   7500 11000 timeout 900    7500 10000   out of memory 83    15000 930   timeout 900     1300 6700    out of memory 450     15000 6500    true .10  24 1.4  true 52     120 460   true 3.7 83 52 timeout (timeout) 900    1300   6400   true 5.2 310 42 true 5.9 330 46 true 5.8 340 46
../../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
total 328 28000    230000 280000   328 76000 750000 570000 328 15    4600 100   328 140 13000 1200 328 81000 780000 730000 328 130000 250000 1400000 328 87000 2100000 790000 328 160000 970000 1700000 328 120000 830000 1300000 328 45000 260000 490000 328 35000 90000 290000 328 130000 70000 1400000 328 81000 230000 760000 328 120000 360000 1500000 328 160000 400000 2100000 328 130000 690000 1400000
    correct results 131 440    13000 4300   193 1900 24000 20000 68 2.5  960 16   0 171 1600 92000 12000 129 8600 40000 83000 153 12000 130000 120000 111 4500 8900 47000 167 9600 24000 100000 161 4800 32000 48000 219 2900 18000 27000 263 79000 47000 820000 233 280 8500 3500 145 6800 78000 80000 116 7600 81000 97000 134 8300 85000 97000
        correct true 65 280    6400 2500   66 1300 6900 12000 48 1.9  710 12   0 62 1100 57000 8700 45 4400 34000 42000 81 7900 82000 86000 0 53 3600 8300 40000 59 2100 10000 20000 103 2700 12000 25000 142 59000 31000 630000 104 170 4500 2100 94 3400 46000 36000 73 5100 58000 64000 88 3500 47000 33000
        correct false 66 170    6900 1800   127 650 17000 7500 20 .68 250 4.3 0 109 560 35000 3600 84 4200 6500 41000 72 3900 50000 34000 111 4500 8900 47000 114 6000 16000 65000 102 2700 22000 28000 116 240 5400 2200 121 20000 16000 190000 129 110 4000 1300 51 3500 32000 44000 43 2500 23000 33000 46 4800 38000 64000
    correct-unconfimed results 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct-unconfirmed false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
    incorrect results 71 890    15000 7000   0 0 0 6 33 2000 250 19 720 1500 7100 16 160 4300 1300 14 1700 3200 18000 13 1900 2300 17000 9 45 770 520 0 11 7500 3800 88000 0 0 0 0
        incorrect true 3 .98 87 10   0 0 0 0 0 4 73 1900 250 0 0 0 0 1 750 220 8800 0 0 0 0
        incorrect false 68 890    15000 7000   0 0 0 6 33 2000 250 19 720 1500 7100 12 88 2400 1100 14 1700 3200 18000 13 1900 2300 17000 9 45 770 520 0 10 6700 3600 79000 0 0 0 0
Run set 2ls.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cbmc.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] ceagle.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cpa-kind.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] cpa-seq.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] depthk.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-falsi.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-incr.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] esbmc-kind.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] predatorhp.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] smack.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] symbiotic4.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] uautomizer.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] ukojak.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other] utaipan.[sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]