Tool 2LS 0.5.0 CBMC 5.6 Ceagle Ceagle 1.3 @ 53cfa89 CPAchecker 1.6.1-svn 23987 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 Forester 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:34:02 CET [[ 2017-01-14 21:41:36 CET ]] [[ 2017-01-14 21:45:05 CET ]] [[ 2017-01-14 21:43:06 CET ]] [[ 2017-01-14 21:46:49 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 11:23:04 CET [[ 2017-01-15 01:40:02 CET ]] [[ 2017-01-15 01:58:53 CET ]] [[ 2017-01-15 01:41:42 CET ]] [[ 2017-01-15 02:00:15 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-Heap cbmc.sv-comp17.MemSafety-Heap ceagle.sv-comp17.MemSafety-Heap cpa-bam-bnb.sv-comp17.MemSafety-Heap cpa-kind.sv-comp17.MemSafety-Heap cpa-seq.sv-comp17.MemSafety-Heap depthk.sv-comp17.MemSafety-Heap esbmc.sv-comp17.MemSafety-Heap esbmc-falsi.sv-comp17.MemSafety-Heap esbmc-incr.sv-comp17.MemSafety-Heap esbmc-kind.sv-comp17.MemSafety-Heap forester.sv-comp17.MemSafety-Heap predatorhp.sv-comp17.MemSafety-Heap smack.sv-comp17.MemSafety-Heap symbiotic4.sv-comp17.MemSafety-Heap uautomizer.sv-comp17.MemSafety-Heap ukojak.sv-comp17.MemSafety-Heap utaipan.sv-comp17.MemSafety-Heap
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-bam-bnb -disable-java-assertions -heap 10000m [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-bam-bnb.2017-01-11_1034.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-bam-bnb.2017-01-11_1034.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-bam-bnb.2017-01-11_1034.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-bam-bnb.2017-01-11_1034.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 ]] --trace error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1123.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) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
memsafety/960521-1_false-valid-deref.i timeout 900     9600 5100    0 false(valid-deref) 2.7  51 28    1 unknown .029 8.1 .19 0 error (1) .44 40 3.9 0 error (1) .40 37 3.7 0 false(valid-deref) 17   2300 170 1 unknown 440    75 1000   0 false(valid-deref) 48    70 600   1 false(valid-deref) 41     260 590    1 false(valid-deref) 44     520 530    1 false(valid-deref) 110     2300 1300    1 unknown .079 10   .43 0 false(valid-deref) 8.0   170 83   1 timeout 880   440 8700 0 false(valid-deref) .32 13   4.0 1 timeout 900   920 12000 0 timeout 900   1700 11000 0 false(valid-deref) 440   4800 6800 1
memsafety/test-0137_false-valid-deref.i false(valid-deref) .26  31 2.4  1 error (1) .21 20 2.3  0 unknown .035 8.1 .29 0 error (1) .43 40 3.8 0 error (1) .42 37 3.9 0 false(valid-deref) 3.6 270 29 1 false(valid-deref) .51 29 6.9 1 out of memory 81    15000 750   0 false(valid-deref) .14  25 1.4  1 false(valid-deref) .13  25 1.7  1 false(valid-deref) .13  25 1.4  1 unknown .11  19   .52 0 false(valid-deref) 1.1   50 14   1 false(valid-deref) 2.8 85 33 1 false(valid-deref) .38 31   5.4 1 false(valid-deref) 69   790 750 1 false(valid-deref) 170   1600 2100 1 timeout 910   13000 3100 0
memsafety/test-0235_false-valid-deref.i error (8) .87  63 8.4  0 error (1) 1.0  33 12    0 unknown .063 8.3 .39 0 error (1) .40 37 5.0 0 error (1) .43 38 3.9 0 false(valid-deref) 5.0 270 39 1 unknown 600    510 6600   0 timeout 900    150 12000   0 out of memory 540     15000 3400    0 out of memory 550     15000 4000    0 unknown .13  26 1.2  0 unknown .056 11   .53 0 false(valid-deref) 4.2   120 44   1 false(valid-deref) 37   130 430 1 false(valid-deref) .72 36   9.2 1 timeout 900   610 11000 0 timeout 900   530 12000 0 error 200   950 2500 0
memsafety/960521-1_false-valid-free.i true .26  27 2.8  -32 false(valid-free) 2.7  40 30    1 unknown .029 7.8 .15 0 error (1) .42 40 4.1 0 error (1) .43 40 4.1 0 false(valid-free) 17   2500 160 1 unknown 110    77 1500   0 false(valid-free) 48    71 550   1 false(valid-free) 40     270 480    1 false(valid-free) 43     510 610    1 false(valid-free) 100     2300 1200    1 unknown .063 10   .43 0 false(valid-free) 8.0   180 87   1 timeout 880   430 11000 0 false(valid-free) .31 13   4.0 1 timeout 900   1000 13000 0 timeout 900   1700 12000 0 false(valid-free) 440   3900 5800 1
memsafety/test-0158_false-valid-free.i false(valid-free) .19  26 1.5  1 false(valid-free) .20 20 1.5  1 unknown .026 8.0 .18 0 error (1) .40 38 4.0 0 error (1) .39 38 3.5 0 false(valid-free) 3.5 260 27 1 false(valid-deref) 16    490 110   -16 false(valid-free) 7.1  3300 61   1 false(valid-free) .77  25 1.5  1 false(valid-free) .22  25 2.6  1 false(valid-free) .19  25 2.2  1 unknown .049 10   .44 0 false(valid-free) .13  23 1.9 1 false(valid-free) 2.7 77 32 1 false(valid-free) .21 11   2.7 1 false(valid-free) 8.5 430 71 1 false(valid-free) 15   500 120 1 false(valid-free) 8.8 470 77 1
memsafety/test-0232_false-valid-free.i false(valid-deref) .27  28 2.5  -16 false(valid-free) .21 21 2.2  1 unknown .033 7.9 .20 0 error (1) .45 40 3.9 0 error (1) .40 38 3.2 0 false(valid-free) 3.4 260 28 1 false(valid-deref) 1.4  29 16   -16 out of memory 47    15000 590   0 false(valid-free) .30  24 4.1  1 false(valid-free) .33  24 3.8  1 false(valid-free) .33  24 4.0  1 unknown .061 11   .58 0 false(valid-free) .14  24 1.8 1 false(valid-free) 750   280 6600 1 false(valid-free) .30 16   3.4 1 false(valid-free) 190   900 2000 1 timeout 900   1800 11000 0 timeout 900   2100 7400 0
memsafety/20020406-1_false-valid-memtrack.i error (5) .35  29 3.0  0 error (134) 46    13000 550    0 unknown .055 8.3 .42 0 error (1) .43 40 3.8 0 error (1) .38 38 3.6 0 error 2.6 210 23 0 unknown 890    4800 6600   0 out of memory 150    15000 2000   0 timeout 900     1900 7200    0 timeout 900     1900 7300    0 unknown .21  27 2.1  0 unknown .073 11   .48 0 false(valid-memtrack) .16  27 2.1 1 false(valid-memtrack) 7.9 95 97 1 false(valid-memtrack) .44 39   4.7 1 timeout 900   3500 11000 0 timeout 900   1100 12000 0 timeout 900   3200 7300 0
memsafety/20051113-1.c_false-valid-memtrack.i error (8) .19  26 1.8  0 false(valid-memtrack) 3.3  85 44    1 unknown .031 8.0 .17 0 error (1) .45 40 3.8 0 error (1) .41 37 3.9 0 false(valid-memtrack) 3.6 270 30 1 unknown 530    170 6600   0 false(valid-memtrack) 26    1000 340   1 false(valid-memtrack) 6.0   200 87    1 false(valid-memtrack) 9.5   400 130    1 false(valid-memtrack) 270     5100 2900    1 unknown .048 11   .55 0 false(valid-memtrack) .14  24 1.9 1 false(valid-memtrack) 5.3 86 67 1 false(valid-memtrack) .27 14   2.7 1 timeout 900   1700 11000 0 timeout 900   2200 12000 0 timeout 900   1100 6800 0
memsafety/lockfree-3.1_false-valid-memtrack.i error (134) 430     490 3000    0 false(valid-memtrack) 3.6  150 49    1 unknown .034 8.3 .20 0 error (1) .43 40 3.9 0 error (1) .41 40 3.8 0 timeout 900   4800 11000 0 false(valid-memtrack) 7.3  40 88   1 timeout 900    13000 10000   0 false(valid-memtrack) .84  49 11    1 false(valid-memtrack) 1.7   74 25    1 false(valid-memtrack) 1.7   100 19    1 unknown .18  22   2.0  0 false(valid-memtrack) .19  24 2.6 1 false(valid-memtrack) 840   210 8300 1 false(valid-memtrack) .55 18   6.3 1 unknown 71   1300 630 0 timeout 900   3100 12000 0 unknown 170   1400 1800 0
memsafety/lockfree-3.2_false-valid-memtrack.i error (134) .34  30 3.6  0 false(valid-memtrack) .21 23 2.0  1 unknown .032 7.9 .24 0 error (1) .44 40 3.9 0 error (1) .38 37 3.9 0 timeout 900   4800 10000 0 false(valid-memtrack) 1.2  29 14   1 timeout 900    13000 11000   0 false(valid-memtrack) .15  24 2.0  1 false(valid-memtrack) .16  24 1.6  1 false(valid-memtrack) .18  24 1.8  1 unknown .075 14   .80 0 false(valid-memtrack) .18  24 2.0 1 false(valid-memtrack) 830   200 11000 1 false(valid-memtrack) .32 16   4.4 1 unknown 21   520 190 0 unknown 23   540 220 0 unknown 70   1400 910 0
memsafety/lockfree-3.3_false-valid-memtrack.i error (134) 270     380 2300    0 false(valid-memtrack) 3.8  160 43    1 unknown .030 8.2 .30 0 error (1) .46 40 4.0 0 error (1) .38 38 3.5 0 timeout 910   4700 8200 0 false(valid-memtrack) 42    83 530   1 timeout 900    13000 9500   0 false(valid-memtrack) 14     140 170    1 false(valid-memtrack) 22     230 270    1 false(valid-memtrack) 26     340 380    1 unknown .094 14   .82 0 false(valid-memtrack) .23  26 2.3 1 false(valid-memtrack) 850   200 8800 1 false(valid-memtrack) 2.1  56   28   1 unknown 120   4900 1000 0 timeout 900   4000 12000 0 unknown 550   2700 6100 0
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) .19  26 1.6  1 false(valid-memtrack) .19 20 1.7  1 unknown .033 8.1 .18 0 error (1) .46 38 3.9 0 error (1) .41 37 3.7 0 false(valid-memtrack) 2.9 260 24 1 false(valid-memtrack) .54 29 6.7 1 false(valid-memtrack) .21 24 2.2 1 false(valid-memtrack) .17  24 1.4  1 false(valid-memtrack) .13  24 1.6  1 false(valid-memtrack) .14  24 1.6  1 false(valid-memtrack) .079 10   .51 1 false(valid-memtrack) .20  33 2.0 1 false(valid-memtrack) 3.7 78 46 1 false(valid-memtrack) .23 13   3.0 1 unknown 21   490 190 0 unknown 42   600 450 0 unknown 22   610 200 0
memsafety/test-0102_false-valid-memtrack.i false(valid-deref) .29  30 2.7  -16 false(valid-memtrack) .27 23 3.1  1 unknown .039 8.2 .21 0 error (1) .44 40 4.1 0 error (1) .41 37 3.5 0 false(valid-memtrack) 3.8 260 33 1 false(valid-memtrack) 11    110 130   1 timeout 900    8500 6800   0 false(valid-memtrack) 7.2   110 79    1 false(valid-memtrack) 4.9   120 54    1 false(valid-memtrack) 4.8   120 51    1 timeout 64     73   1500    0 false(valid-memtrack) 40     770 400   1 false(valid-memtrack) 830   320 7000 1 false(valid-memtrack) .32 22   3.9 1 timeout 900   2900 13000 0 timeout 900   2000 12000 0 timeout 900   1600 11000 0
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) .21  33 1.7  1 false(valid-memtrack) .21 22 1.7  1 unknown .028 8.0 .18 0 error (1) .44 38 3.6 0 error (1) .39 37 3.5 0 false(valid-memtrack) 2.9 250 22 1 false(valid-memtrack) 1.7  29 3.4 1 false(valid-memtrack) .16 24 2.2 1 false(valid-memtrack) .12  24 1.2  1 false(valid-memtrack) .098 24 1.2  1 false(valid-memtrack) .10  24 1.2  1 unknown .059 11   .47 0 false(valid-memtrack) .15  23 1.7 1 false(valid-memtrack) 3.5 76 42 1 false(valid-memtrack) .20 11   2.6 1 unknown 12   330 96 0 unknown 16   460 140 0 unknown 13   350 97 0
memsafety/test-0220_false-valid-memtrack.i error (8) .21  27 2.0  0 error (1) .20 21 2.2  0 unknown .039 8.0 .23 0 error (1) .43 38 3.6 0 error (1) .44 40 3.6 0 timeout 960   11000 5100 0 unknown 900    8300 4500   0 out of memory 830    15000 7700   0 timeout 900     3400 4900    0 timeout 900     3500 5700    0 unknown .12  25 1.4  0 unknown .067 10   .47 0 false(valid-memtrack) 1.1   50 13   1 false(valid-memtrack) 830   350 7200 1 false(valid-memtrack) .38 19   4.1 1 timeout 900   580 12000 0 timeout 900   760 11000 0 timeout 910   12000 6400 0
memsafety/test-0232_false-valid-memtrack.i false(valid-deref) .29  28 3.5  -16 false(valid-memtrack) .18 20 2.7  1 unknown .031 8.0 .22 0 error (1) .45 40 4.0 0 error (1) .41 40 3.9 0 false(valid-memtrack) 3.0 260 23 1 false(valid-memtrack) 2.2  29 4.4 1 out of memory 420    15000 3400   0 false(valid-memtrack) .19  24 1.8  1 false(valid-memtrack) .15  24 1.9  1 false(valid-memtrack) .19  24 1.7  1 unknown .056 12   .63 0 false(valid-memtrack) .13  23 2.4 1 false(valid-memtrack) 830   330 7000 1 false(valid-memtrack) .28 15   3.6 1 unknown 48   670 450 0 unknown 400   1700 5300 0 timeout 900   5200 6600 0
memsafety/test-0234_false-valid-memtrack.i error (8) .34  27 3.2  0 error (1) .67 21 6.8  0 unknown .047 7.9 .32 0 error (1) .44 40 4.1 0 error (1) .39 38 4.5 0 false(valid-memtrack) 3.9 270 33 1 unknown 630    520 5300   0 timeout 900    150 13000   0 out of memory 550     15000 3400    0 out of memory 530     15000 4000    0 unknown .11  25 1.3  0 unknown .053 11   .54 0 false(valid-memtrack) 3.6   120 39   1 false(valid-memtrack) 830   370 6800 1 false(valid-memtrack) .47 29   6.8 1 timeout 900   610 11000 0 timeout 900   600 11000 0 error 450   1000 4500 0
memsafety/test-0235_false-valid-memtrack.i error (8) .65  51 7.3  0 error (1) .77 22 8.7  0 unknown .046 7.9 .41 0 error (1) .45 40 4.0 0 error (1) .40 37 4.1 0 false(valid-memtrack) 4.1 270 36 1 unknown 600    510 5400   0 timeout 900    150 12000   0 out of memory 540     15000 4100    0 out of memory 530     15000 4100    0 unknown .13  25 1.3  0 unknown .053 11   .65 0 false(valid-memtrack) 3.7   130 44   1 false(valid-memtrack) 830   430 7300 1 false(valid-memtrack) .61 36   7.7 1 timeout 900   710 11000 0 timeout 900   570 13000 0 error 170   870 1900 0
memsafety/960521-1_true-valid-memsafety.i true .34  27 3.5  2 out of memory 140    15000 1900    0 unknown .026 8.2 .13 0 error (1) .42 40 4.1 0 error (1) .41 37 3.6 0 timeout 900   4000 12000 0 unknown 440    72 1600   0 true 1.7  67 21   2 out of memory 440     15000 5000    0 out of memory 300     15000 3700    0 timeout 900     13000 7100    0 unknown .075 10   .46 0 timeout 900     8600 8000   0 timeout 900   220 10000 0 true 14    64   190   2 timeout 900   900 13000 0 timeout 900   1400 12000 0 timeout 900   1900 11000 0
memsafety/lockfree-3.0_true-valid-memsafety.i error (134) 450     460 3200    0 error (42) 850    2100 6200    0 unknown .035 8.0 .18 0 error (1) .44 40 3.9 0 error (1) .45 40 3.7 0 timeout 900   4700 12000 0 unknown 890    200 9800   0 timeout 900    13000 11000   0 timeout 900     280 2100    0 timeout 900     770 10000    0 timeout 900     1100 11000    0 unknown .091 14   .83 0 true 40     240 360   2 true 880   200 10000 2 timeout (timeout) 900    2600   4900   0 timeout 900   8100 8400 0 timeout 900   4000 14000 0 timeout 900   11000 9300 0
memsafety/test-0019_true-valid-memsafety.i true .19  26 1.8  2 true .35 20 3.0  2 unknown .098 43   .49 0 error (1) .44 40 4.0 0 error (1) .41 40 3.7 0 true 2.9 250 24 2 true .88 29 8.9 2 true .18 24 1.9 2 out of memory 88     15000 1200    0 true .10  24 .95 2 true .081 24 .84 2 true .087 16   .83 2 true .11  23 1.7 2 true 3.4 70 45 2 true .24 13   2.9 2 true 13   510 98 2 true 35   760 400 2 true 62   550 680 2
memsafety/test-0102_true-valid-memsafety.i false(valid-deref) .31  31 2.9  -16 error (1) 16    270 230    0 unknown .033 8.1 .26 0 error (1) .39 37 3.3 0 error (1) .41 39 3.8 0 timeout 960   11000 5000 0 unknown 890    550 8500   0 timeout 900    8500 5200   0 timeout 900     2000 10000    0 timeout 900     690 8800    0 unknown 12     160 140    0 timeout 140     93   2600    0 true 2.2   130 23   2 timeout 880   340 9000 0 timeout (timeout) 900    5000   10000   0 timeout 900   930 11000 0 timeout 900   2300 13000 0 timeout 900   1600 11000 0
memsafety/test-0134_true-valid-memsafety.i false(valid-memtrack) .57  39 5.7  -16 error (1) .21 20 2.3  0 unknown .036 7.9 .33 0 error (1) .43 37 3.5 0 error (1) .43 40 3.6 0 timeout 910   8300 11000 0 unknown 890    290 12000   0 out of memory 80    15000 730   0 timeout 900     410 12000    0 timeout 900     510 10000    0 unknown .83  53 10    0 unknown .054 11   .58 0 true 2.6   110 28   2 timeout 880   360 6800 0 timeout (timeout) 900    2900   8800   0 timeout 900   830 10000 0 timeout 900   1600 12000 0 timeout 900   2500 12000 0
memsafety/test-0158_true-valid-memsafety.i true .18  27 1.5  2 true .33 20 3.5  2 unknown .054 43   .60 0 error (1) .43 39 3.6 0 error (1) .41 38 3.9 0 true 11   250 14 2 true 3.5  29 13   2 true .22 24 2.5 2 out of memory 150     15000 1900    0 true .098 24 1.3  2 true .099 24 1.1  2 unknown .046 10   .46 0 true .10  23 1.8 2 true 3.2 70 46 2 true .22 11   2.4 2 true 8.1 440 64 2 true 11   480 91 2 true 9.4 490 75 2
memsafety/test-0214_true-valid-memsafety.i false(valid-deref) 6.6   150 50    -16 error (42) 850    1800 5400    0 unknown .039 8.6 .33 0 error (1) .42 40 4.0 0 error (1) .45 40 3.9 0 timeout 900   11000 6100 0 unknown 890    2000 7800   0 out of memory 280    15000 3300   0 timeout 900     500 7500    0 timeout 900     520 9600    0 unknown 7.1   65 85    0 unknown .055 11   .62 0 true 1.2   34 15   2 timeout 880   230 10000 0 timeout (timeout) 900    240   7300   0 timeout 900   840 11000 0 timeout 900   1000 12000 0 timeout 900   3800 5300 0
memsafety/test-0217_true-valid-memsafety.i error (134) .28  35 2.8  0 error (1) 42    13000 560    0 unknown .040 8.4 .31 0 error (1) .42 40 3.8 0 error (1) .44 39 3.7 0 timeout 920   6600 1100 0 unknown 890    1900 6000   0 out of memory 52    15000 630   0 timeout 900     240 11000    0 timeout 900     250 8500    0 timeout 900     250 8600    0 unknown .055 19   .75 0 true 1.2   45 14   2 timeout 880   280 7800 0 timeout (timeout) 900    280   8000   0 timeout 900   1500 13000 0 timeout 900   1100 12000 0 timeout 900   1200 10000 0
memsafety/test-0218_true-valid-memsafety.i error (134) .25  32 2.8  0 error (42) 850    4100 5300    0 unknown .099 33   .44 0 error (1) .42 38 3.5 0 error (1) .40 38 3.5 0 timeout 920   11000 6000 0 unknown 890    1900 5800   0 out of memory 52    15000 610   0 timeout 900     230 9600    0 timeout 900     210 6900    0 timeout 900     220 8100    0 unknown .055 11   .54 0 true 1.2   44 15   2 timeout 880   280 7900 0 timeout (timeout) 900    230   7400   0 error 830   2800 11000 0 timeout 900   1600 12000 0 timeout 910   12000 6300 0
memsafety/test-0219_true-valid-memsafety.i error (8) .22  27 2.4  0 error (1) .22 20 2.0  0 unknown .036 8.0 .26 0 error (1) .40 37 4.1 0 error (1) .44 40 4.4 0 timeout 960   11000 5400 0 unknown 900    8500 5600   0 out of memory 860    15000 4500   0 timeout 900     3500 6500    0 timeout 900     3500 5000    0 unknown .11  25 1.1  0 unknown .049 10   .59 0 true 2.4   95 26   2 timeout 880   360 7500 0 timeout (timeout) 900    4100   8600   0 timeout 900   590 12000 0 timeout 900   710 11000 0 timeout 900   13000 5700 0
memsafety/test-0232_true-valid-memsafety.i false(valid-deref) .28  35 2.3  -16 error (1) 29    190 370    0 unknown .035 8.0 .26 0 error (1) .41 37 3.4 0 error (1) .43 37 3.7 0 timeout 900   6700 7800 0 unknown 890    260 9500   0 timeout 900    7300 7900   0 timeout 900     2800 10000    0 timeout 900     1600 8900    0 unknown .12  24 1.3  0 unknown .062 11   .61 0 true 1.1   26 14   2 true 880   310 9200 2 timeout (timeout) 900    1900   11000   0 timeout 900   1100 9800 0 timeout 900   2000 13000 0 timeout 900   2700 9100 0
memsafety/test-0234_true-valid-memsafety.i error (8) .32  27 3.5  0 error (1) .74 22 7.4  0 unknown .044 7.8 .27 0 error (1) .42 39 3.4 0 error (1) .42 37 3.6 0 timeout 970   11000 4800 0 unknown 590    510 6500   0 timeout 900    150 11000   0 out of memory 540     15000 3000    0 out of memory 840     15000 3400    0 unknown .11  25 1.3  0 unknown .071 11   .53 0 true 2.5   120 25   2 timeout 880   380 7400 0 timeout (timeout) 900    4900   8200   0 timeout 900   790 10000 0 timeout 900   520 12000 0 error 650   1200 9500 0
memsafety/test-0235_true-valid-memsafety.i error (8) .75  56 8.3  0 error (1) .97 26 11    0 unknown .057 8.0 .38 0 error (1) .41 37 3.4 0 error (1) .43 40 3.6 0 timeout 970   11000 4700 0 unknown 590    510 6400   0 timeout 900    150 13000   0 out of memory 560     15000 3300    0 out of memory 550     15000 3100    0 unknown .12  25 1.3  0 unknown .054 11   .52 0 true 5.8   160 55   2 timeout 880   410 8900 0 timeout (timeout) 900    5000   9400   0 timeout 900   640 11000 0 timeout 900   510 12000 0 error 380   1100 4500 0
memsafety/test-0236_true-valid-memsafety.i error (8) .34  28 3.7  0 error (1) .82 23 8.5  0 unknown .065 8.0 .30 0 error (1) .44 40 4.1 0 error (1) .39 37 3.2 0 timeout 970   11000 5000 0 unknown 690    510 5700   0 timeout 900    150 12000   0 out of memory 530     15000 3800    0 out of memory 530     15000 3600    0 unknown .11  25 1.3  0 unknown .055 11   .56 0 true 2.5   94 23   2 timeout 880   440 8400 0 timeout (timeout) 900    4900   12000   0 timeout 900   690 10000 0 timeout 900   540 12000 0 error 160   840 1700 0
memsafety/test-0237_true-valid-memsafety.i error (8) .35  27 3.7  0 error (1) .80 23 11    0 unknown .11  44   .64 0 error (1) .44 40 4.0 0 error (1) .41 38 3.9 0 timeout 970   11000 4800 0 unknown 660    510 5600   0 timeout 900    150 13000   0 out of memory 840     15000 3100    0 out of memory 530     15000 4500    0 unknown .11  25 1.2  0 unknown .052 11   .61 0 true 2.5   110 24   2 timeout 880   390 8000 0 timeout (timeout) 900    4900   9400   0 timeout 900   830 11000 0 timeout 900   570 11000 0 error 420   1100 5600 0
memsafety/test-0504_true-valid-memsafety.i error (8) .41  34 4.0  0 error (1) 310    670 3900    0 unknown .035 8.1 .21 0 error (1) .44 40 4.0 0 error (1) .42 40 3.9 0 timeout 900   8000 9000 0 unknown 890    380 9800   0 timeout 900    9200 5100   0 timeout 900     460 12000    0 timeout 900     490 11000    0 unknown .22  29 2.7  0 true 2.1   72   26    2 true 2.2   42 21   2 timeout 880   380 7900 0 timeout (timeout) 900    3100   7400   0 timeout 900   980 10000 0 timeout 900   2200 14000 0 timeout 900   1100 11000 0
memsafety/test-0513_true-valid-memsafety.i true 180     1300 1500    2 error (42) 850    1900 5600    0 unknown .036 8.3 .23 0 error (1) .45 40 3.9 0 error (1) .46 39 3.6 0 timeout 900   4500 13000 0 unknown 890    250 11000   0 out of memory 120    15000 1400   0 timeout 900     390 9200    0 timeout 900     530 9600    0 unknown .17  26 1.8  0 unknown .048 10   .55 0 true 2.2   29 24   2 timeout 880   440 8600 0 timeout (timeout) 900    1300   9700   0 timeout 900   1100 11000 0 timeout 900   1500 11000 0 timeout 910   14000 3200 0
memsafety/test-0521_true-valid-memsafety.i true 43     1000 460    2 error (134) 150    14000 1800    0 unknown .037 8.1 .25 0 error (1) .44 40 3.9 0 error (1) .38 38 3.4 0 timeout 900   4700 11000 0 unknown 890    750 11000   0 out of memory 10    15000 140   0 timeout 900     1200 10000    0 timeout 900     910 10000    0 unknown .52  48 6.0  0 unknown .065 12   .67 0 true 2.3   34 23   2 timeout 880   370 7600 0 timeout (timeout) 900    2500   6600   0 timeout 900   2800 11000 0 timeout 900   1900 12000 0 timeout 900   1000 11000 0
memsafety/test-memleak_nexttime_true-valid-memsafety.i false(valid-memtrack) .36  30 3.9  -16 error (1) .18 21 1.9  0 unknown .070 44   .47 0 error (1) .39 37 4.1 0 error (1) .39 38 3.7 0 true 3.2 260 29 2 unknown 890    630 6900   0 true 7.9  3300 56   2 timeout 900     500 2600    0 true 1.8   28 22    2 true 1.9   31 26    2 unknown .050 10   .57 0 true .11  25 1.9 2 true 3.3 69 47 2 true .22 11   3.1 2 true 57   670 640 2 true 110   890 1400 2 timeout 900   900 11000 0
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i false(valid-free) .33  30 3.2  -16 error (1) 78    300 960    0 unknown .033 7.9 .21 0 error (1) .43 40 3.9 0 error (1) .38 38 4.1 0 timeout 900   8700 9200 0 unknown 890    220 12000   0 out of memory 80    15000 870   0 timeout 900     650 12000    0 timeout 900     380 7600    0 unknown .20  27 2.1  0 true .24  16   2.3  2 timeout 900     890 5600   0 true 880   230 10000 2 timeout (timeout) 900    3300   7000   0 timeout 900   860 11000 0 timeout 900   1900 12000 0 timeout 900   1200 9800 0
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error (134) .38  32 3.8  0 error (42) 850    420 8000    0 unknown .036 8.1 .22 0 error (1) .45 40 3.9 0 error (1) .42 40 3.8 0 timeout 900   9500 9500 0 unknown 890    93 9900   0 out of memory 53    15000 550   0 timeout 900     140 12000    0 timeout 900     200 10000    0 unknown .18  24 2.4  0 true .56  31   6.3  2 timeout 900     1600 7900   0 timeout 880   280 8400 0 timeout (timeout) 900    2800   6400   0 timeout 900   740 12000 0 timeout 900   1700 10000 0 timeout 900   13000 3700 0
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error (134) .56  36 5.8  0 error (42) 850    630 8300    0 unknown .044 7.9 .23 0 error (1) .42 40 3.9 0 error (1) .41 40 3.7 0 timeout 900   9700 9100 0 unknown 890    110 12000   0 out of memory 54    15000 630   0 timeout 900     150 12000    0 timeout 900     210 11000    0 unknown .24  25 2.8  0 true 21     360   260    2 timeout 900     1200 8500   0 timeout 880   280 6900 0 timeout (timeout) 900    2700   7100   0 timeout 900   980 12000 0 timeout 900   1800 12000 0 timeout 910   14000 5400 0
memsafety-ext/tree_cnstr_true-valid-memsafety.i error (134) .37  34 3.5  0 error (42) 850    2100 4900    0 unknown .034 8.0 .21 0 error (1) .45 40 3.9 0 error (1) .43 40 4.1 0 timeout 920   11000 5400 0 unknown 890    160 10000   0 out of memory 95    15000 970   0 timeout 900     190 12000    0 timeout 900     220 9900    0 unknown .50  33 5.5  0 true .19  24   2.5  2 timeout 900     460 6000   0 timeout 880   290 9000 0 timeout (timeout) 900    3400   6400   0 timeout 900   790 13000 0 timeout 900   1200 13000 0 timeout 900   3200 9100 0
memsafety-ext/tree_dsw_true-valid-memsafety.i error (134) .45  39 5.6  0 error (42) 850    1700 4100    0 unknown .034 8.1 .27 0 error (1) .42 40 3.8 0 error (1) .43 37 3.4 0 timeout 920   11000 4800 0 unknown 890    340 10000   0 out of memory 97    15000 1000   0 timeout 900     210 11000    0 timeout 900     330 11000    0 unknown .74  43 10    0 true .86  78   10    2 timeout 900     280 7100   0 timeout 880   270 9200 0 timeout (timeout) 900    3700   7000   0 timeout 900   1900 11000 0 timeout 900   1500 13000 0 timeout 900   1000 12000 0
memsafety-ext/tree_of_cslls_true-valid-memsafety.i false(valid-deref) 2.2   110 25    -16 error (42) 850    1000 8100    0 unknown .045 44   .90 0 error (1) .45 40 3.9 0 error (1) .40 37 4.0 0 timeout 910   11000 6100 0 unknown 890    520 11000   0 out of memory 580    15000 4400   0 timeout 900     420 9800    0 timeout 900     440 11000    0 unknown 4.0   75 47    0 true .40  28   5.0  2 timeout 900     500 5500   0 timeout 880   360 7200 0 timeout (timeout) 900    4000   8700   0 timeout 900   1100 12000 0 timeout 900   1600 14000 0 timeout 910   11000 6500 0
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i error (134) .46  38 4.9  0 error (42) 850    2000 5800    0 unknown .033 8.0 .26 0 error (1) .44 40 3.7 0 error (1) .40 38 3.4 0 timeout 930   11000 5300 0 unknown 890    270 12000   0 out of memory 120    15000 1500   0 timeout 900     310 12000    0 timeout 900     380 10000    0 unknown 2.2   50 26    0 true .53  42   7.3  2 timeout 900     440 6300   0 timeout 880   300 7500 0 timeout (timeout) 900    3900   6300   0 timeout 900   1000 12000 0 timeout 900   1700 12000 0 timeout 900   2400 8100 0
memsafety-ext/tree_stack_true-valid-memsafety.i error (134) .43  33 4.9  0 error (42) 850    1400 4900    0 unknown .043 7.9 .24 0 error (1) .43 37 3.4 0 error (1) .40 38 3.8 0 timeout 940   11000 5200 0 unknown 890    330 12000   0 out of memory 93    15000 1000   0 timeout 900     200 5700    0 timeout 900     280 12000    0 unknown .96  40 12    0 true .15  27   1.7  2 timeout 900     430 6800   0 timeout 880   280 7300 0 timeout (timeout) 900    4300   6700   0 timeout 900   1100 13000 0 timeout 900   1900 13000 0 timeout 900   3400 6800 0
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-deref) 10     290 97    1 out of memory 310    15000 4100    0 unknown .12  43   .61 0 error (1) .42 37 3.4 0 error (1) .40 40 4.3 0 false(valid-deref) 5.5 290 45 1 unknown 900    15000 10000   0 timeout 900    7300 6300   0 out of memory 220     15000 1700    0 out of memory 230     15000 1500    0 out of memory 230     15000 1800    0 unknown .078 11   .55 0 timeout 900     970 8800   0 timeout 880   430 8400 0 false(valid-deref) 29    320   370   1 timeout 900   1200 12000 0 timeout 900   2000 11000 0 timeout 900   2600 10000 0
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error (134) .74  54 8.5  0 false(valid-memtrack) 17    630 190    1 unknown .10  44   .56 0 error (1) .45 39 3.9 0 error (1) .42 38 4.2 0 timeout 900   10000 7700 0 unknown 890    550 6800   0 timeout 900    8900 5000   0 timeout 900     4300 6100    0 timeout 900     1400 7500    0 unknown .88  40 11    0 unknown .057 11   .84 0 false(valid-memtrack) .17  25 2.5 1 false(valid-memtrack) 840   450 6800 1 false(valid-memtrack) .44 28   5.8 1 timeout 900   3500 13000 0 timeout 900   1500 13000 0 timeout 900   1500 7700 0
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error (134) 1.2   72 14    0 false(valid-memtrack) 1.9  110 25    1 unknown .040 8.0 .28 0 error (1) .44 40 4.0 0 error (1) .40 39 3.7 0 timeout 930   11000 5500 0 unknown 890    490 7200   0 out of memory 750    15000 7000   0 false(valid-memtrack) 780     500 6100    1 timeout 900     520 6500    0 unknown .41  40 5.5  0 unknown .083 11   .61 0 false(valid-memtrack) .15  25 1.8 1 false(valid-memtrack) 830   380 10000 1 false(valid-memtrack) .45 28   5.5 1 timeout 900   3100 12000 0 timeout 900   1600 12000 0 timeout 900   1500 6400 0
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-deref) 2.0   67 21    -16 false(valid-memtrack) 1.4  34 16    1 unknown .11  43   .54 0 error (1) .40 37 3.4 0 error (1) .40 40 4.1 0 false(valid-memtrack) 3.9 260 31 1 false(valid-memtrack) 10    48 130   1 out of memory 550    15000 5100   0 false(valid-memtrack) 3.4   64 40    1 false(valid-memtrack) 2.4   81 30    1 unknown .17  25 1.5  0 unknown .23  16   2.4  0 false(valid-memtrack) .97  31 10   1 false(valid-memtrack) 830   320 8200 1 false(valid-memtrack) .36 22   4.8 1 timeout 910   14000 4200 0 timeout 900   1500 10000 0 timeout 900   2000 11000 0
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i error (134) .35  31 3.7  0 false(valid-memtrack) 16    280 200    1 unknown .032 7.9 .28 0 error (1) .42 40 4.0 0 error (1) .41 37 3.7 0 timeout 900   11000 5700 0 false(valid-deref) .82 29 9.6 -16 out of memory 140    15000 1100   0 false(valid-free) .36  24 4.1  -16 false(valid-free) .33  25 4.5  -16 false(valid-free) .33  24 4.1  -16 unknown .086 11   .57 0 false(valid-memtrack) 1.0   25 12   1 false(valid-memtrack) 830   410 7100 1 false(valid-memtrack) .41 20   4.6 1 timeout 900   1100 8700 0 timeout 900   2000 12000 0 timeout 900   2000 7600 0
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error (134) .62  50 7.2  0 error (42) 850    2500 10000    0 unknown .038 8.1 .21 0 error (1) .43 40 4.0 0 error (1) .41 37 3.7 0 timeout 960   10000 8800 0 unknown 890    640 7100   0 timeout 900    8900 4300   0 timeout 900     4300 6200    0 timeout 900     1200 6500    0 unknown .49  40 5.5  0 unknown .057 11   .72 0 timeout 900     1800 7100   0 timeout 880   440 7400 0 timeout (timeout) 900    4100   9500   0 timeout 900   3400 13000 0 timeout 900   1600 12000 0 timeout 900   1300 8100 0
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error (134) 1.2   85 14    0 error (1) 52    480 600    0 unknown .038 8.0 .27 0 error (1) .45 40 3.9 0 error (1) .39 38 3.9 0 timeout 910   11000 5400 0 unknown 890    500 6600   0 out of memory 770    15000 4900   0 timeout 900     490 6700    0 false(valid-memtrack) 770     520 5900    -16 unknown .61  41 6.8  0 unknown .057 11   .71 0 timeout 900     1900 5400   0 timeout 880   440 10000 0 timeout (timeout) 900    3800   7800   0 timeout 900   3400 9600 0 timeout 900   1800 11000 0 timeout 900   1400 8300 0
memsafety-ext2/length_test03_true-valid-memsafety.i false(valid-deref) 1.8   62 23    -16 error (42) 850    2000 4200    0 unknown .039 7.9 .27 0 error (1) .41 40 3.5 0 error (1) .44 40 4.0 0 timeout 900   8000 8300 0 unknown 890    190 9200   0 timeout 900    4400 6800   0 timeout 900     1100 9200    0 timeout 900     1200 11000    0 unknown .17  25 1.7  0 unknown .12  13   1.1  0 timeout 900     2500 11000   0 true 880   320 8400 2 true .34 22   4.3 2 timeout 910   14000 4400 0 timeout 900   1600 10000 0 timeout 900   1700 11000 0
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error (134) .47  36 5.9  0 error (1) 200    800 2100    0 unknown .034 7.8 .25 0 error (1) .45 40 4.2 0 error (1) .42 38 4.1 0 timeout 910   11000 5000 0 false(valid-deref) .79 29 11   -16 out of memory 140    15000 1100   0 false(valid-free) .33  25 4.1  -16 false(valid-free) .33  24 4.2  -16 false(valid-free) .33  24 3.9  -16 unknown .058 11   .59 0 timeout 900     1800 5100   0 timeout 880   420 8400 0 timeout (timeout) 900    3300   7100   0 timeout 900   1000 9100 0 timeout 900   2000 12000 0 timeout 900   1400 11000 0
memsafety-ext2/split_list_test05_true-valid-memsafety.i false(valid-deref) 10     310 83    -16 out of memory 210    15000 2500    0 unknown .046 8.0 .36 0 error (1) .44 37 3.4 0 error (1) .40 37 3.8 0 timeout 900   6600 7500 0 unknown 900    15000 10000   0 timeout 900    7200 6200   0 out of memory 230     15000 2000    0 out of memory 220     15000 2400    0 out of memory 230     15000 1900    0 unknown .077 11   .57 0 timeout 900     890 8800   0 timeout 880   320 7600 0 timeout (timeout) 900    3700   8300   0 timeout 900   1600 11000 0 timeout 900   1600 10000 0 timeout 900   2600 10000 0
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) .38  32 4.4  1 false(valid-deref) .20 20 1.8  1 unknown .035 8.0 .25 0 error (1) .41 40 3.8 0 error (1) .41 37 3.8 0 false(valid-deref) 3.2 260 28 1 false(valid-deref) 1.5  29 19   1 false(valid-deref) 20    1900 280   1 false(valid-deref) .31  24 4.2  1 false(valid-deref) .32  24 4.6  1 false(valid-deref) .36  24 3.6  1 unknown .051 11   .65 0 false(valid-deref) .16  23 1.8 1 false(valid-deref) 2.5 83 31 1 false(valid-deref) .29 14   3.2 1 false(valid-deref) 11   420 83 1 false(valid-deref) 17   480 150 1 false(valid-deref) 15   510 120 1
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1.1   39 12    1 false(valid-deref) 100    390 1100    1 unknown .036 7.9 .20 0 error (1) .42 40 4.2 0 error (1) .41 40 4.8 0 false(valid-deref) 3.3 250 28 1 false(valid-deref) 1.3  30 19   1 false(valid-deref) 470    2700 4700   1 false(valid-deref) .22  25 2.5  1 false(valid-deref) .20  26 2.5  1 false(valid-deref) .20  26 2.7  1 unknown .078 12   .91 0 false(valid-deref) 4.1   55 33   1 timeout 880   290 7500 0 false(valid-deref) 1.8  24   23   1 timeout 900   730 12000 0 timeout 900   1500 12000 0 timeout 900   3200 8600 0
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-free) .48  31 5.3  -16 false(valid-deref) .26 21 1.9  1 unknown .040 8.3 .26 0 error (1) .42 37 4.0 0 error (1) .45 40 3.8 0 false(valid-deref) 3.2 260 26 1 false(valid-deref) 1.3  29 15   1 out of memory 460    15000 3900   0 false(valid-deref) .19  24 2.3  1 false(valid-deref) .19  25 2.7  1 false(valid-deref) .19  24 2.4  1 false(valid-deref) .089 19   .81 1 false(valid-deref) .15  23 2.0 1 false(valid-deref) 2.3 91 27 1 false(valid-deref) .31 18   3.7 1 false(valid-deref) 8.4 400 67 1 false(valid-deref) 38   720 410 1 false(valid-deref) 9.2 400 69 1
list-ext-properties/960521-1_1_false-valid-free.i true .34  28 3.5  -32 false(valid-free) .20 20 2.1  1 unknown .034 7.9 .20 0 error (1) .42 37 3.8 0 error (1) .42 37 3.8 0 false(valid-free) 2.9 250 26 1 unknown 1.5  29 21   0 false(valid-free) 41    1900 470   1 false(valid-free) .32  24 3.7  1 false(valid-free) .36  24 4.7  1 false(valid-free) .35  24 5.0  1 unknown .055 10   .37 0 false(valid-free) .12  24 2.1 1 false(valid-free) 640   330 7000 1 false(valid-free) .29 13   3.3 1 false(valid-free) 12   490 98 1 false(valid-free) 32   610 330 1 false(valid-free) 16   550 160 1
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .21  26 1.6  1 false(valid-free) .18 20 1.8  1 unknown .039 7.9 .20 0 error (1) .40 37 3.5 0 error (1) .44 40 3.5 0 false(valid-free) 3.0 250 23 1 false(valid-deref) .57 29 6.6 -16 false(valid-free) .25 25 2.8 1 false(valid-free) .25  24 2.8  1 false(valid-free) .24  24 3.1  1 false(valid-free) .26  24 3.5  1 unknown .093 18   .51 0 false(valid-free) .12  22 1.8 1 false(valid-free) 2.8 73 37 1 false(valid-free) .24 12   2.7 1 false(valid-free) 8.6 400 73 1 false(valid-free) 26   660 250 1 false(valid-free) 8.4 430 66 1
list-ext-properties/test-0019_1_false-valid-memtrack.i error (134) .19  26 1.8  0 false(valid-memtrack) .21 20 1.6  1 unknown .032 7.9 .17 0 error (1) .43 39 3.8 0 error (1) .40 38 3.6 0 false(valid-memtrack) 3.0 260 27 1 false(valid-memtrack) .52 29 5.9 1 false(valid-memtrack) .20 25 2.3 1 false(valid-memtrack) .17  25 1.7  1 false(valid-memtrack) .17  24 1.8  1 false(valid-memtrack) .14  24 1.6  1 false(valid-memtrack) .053 11   .56 1 false(valid-memtrack) .13  23 2.0 1 false(valid-memtrack) 3.9 84 49 1 false(valid-memtrack) .23 14   3.0 1 unknown 240   1100 2600 0 unknown 220   1000 2600 0 timeout 900   4600 15000 0
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) .17  26 1.5  1 false(valid-memtrack) .21 20 1.5  1 unknown .032 8.0 .18 0 error (1) .45 40 3.6 0 error (1) .41 37 3.7 0 false(valid-memtrack) 2.9 260 26 1 false(valid-memtrack) .47 29 5.8 1 false(valid-memtrack) .16 24 1.8 1 false(valid-memtrack) .13  24 1.1  1 false(valid-memtrack) .10  24 1.2  1 false(valid-memtrack) .12  24 1.1  1 unknown .047 10   .49 0 false(valid-memtrack) .12  23 1.8 1 false(valid-memtrack) 3.7 80 46 1 false(valid-memtrack) .25 11   2.6 1 unknown 13   330 99 0 unknown 23   510 210 0 unknown 13   340 110 0
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-deref) .21  26 1.6  -16 false(valid-memtrack) .23 20 2.1  1 unknown .031 7.9 .23 0 error (1) .42 37 3.3 0 error (1) .38 37 3.5 0 false(valid-memtrack) 3.1 250 27 1 false(valid-memtrack) .57 29 6.7 1 false(valid-memtrack) 34    1600 350   1 false(valid-memtrack) .14  24 1.5  1 false(valid-memtrack) .14  24 1.6  1 false(valid-memtrack) .18  24 1.9  1 unknown .050 10   .57 0 false(valid-memtrack) .13  24 1.9 1 false(valid-memtrack) 830   350 8000 1 false(valid-memtrack) .29 15   3.1 1 unknown 42   670 420 0 unknown 250   1200 3200 0 unknown 50   650 480 0
list-ext-properties/960521-1_1_true-valid-memsafety.i true .37  30 4.9  2 true 56    850 730    2 unknown .042 8.2 .23 0 error (1) .45 40 3.9 0 error (1) .41 40 3.9 0 true 40   690 50 2 unknown 890    110 10000   0 true 26    1200 320   2 timeout 900     260 11000    0 timeout 900     300 10000    0 unknown .19  24 1.9  0 unknown .050 10   .68 0 true .88  35 9.0 2 true 830   320 9500 2 true .59 14   7.7 2 timeout 900   2000 11000 0 timeout 900   1500 11000 0 timeout 900   840 11000 0
list-ext-properties/list-ext_1_true-valid-memsafety.i error (134) .76  50 8.3  0 true 110    290 1200    2 unknown .037 7.9 .20 0 error (1) .44 40 4.0 0 error (1) .39 37 3.9 0 true 25   1800 220 2 unknown 890    220 10000   0 true 270    2300 2400   2 timeout 900     760 11000    0 timeout 900     850 9900    0 timeout 900     830 10000    0 unknown .075 12   .81 0 true 2.9   56 26   2 true 880   350 8100 2 true 3.2  27   39   2 timeout 900   820 12000 0 timeout 900   1400 13000 0 timeout 910   9800 8600 0
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error (134) .52  32 5.8  0 true 45    150 650    2 unknown .032 8.0 .24 0 error (1) .43 37 3.4 0 error (1) .41 38 3.7 0 timeout 900   4800 11000 0 unknown 890    200 9600   0 true 110    3500 1400   2 timeout 900     1700 9200    0 true 210     680 2500    2 timeout 900     860 8000    0 unknown .056 11   .70 0 timeout 900     480 5800   0 true 880   240 8400 2 timeout (timeout) 900    2200   7200   0 timeout 900   950 12000 0 timeout 900   1300 14000 0 timeout 910   10000 7800 0
list-ext-properties/simple-ext_1_true-valid-memsafety.i error (134) .41  31 4.3  0 true 48    270 550    2 unknown .035 8.1 .19 0 error (1) .45 40 3.8 0 error (1) .42 38 3.9 0 true 47   810 59 2 unknown 890    190 10000   0 true 900    4700 7600   2 timeout 900     1400 9100    0 true 680     1300 7300    2 timeout 900     930 9600    0 unknown .093 11   .79 0 true 310     2000 2600   2 true 880   290 11000 2 true 1.2  18   17   2 timeout 900   1100 13000 0 timeout 900   1700 11000 0 timeout 900   12000 5500 0
list-ext-properties/test-0019_1_true-valid-memsafety.i error (134) .21  26 1.6  0 true .33 20 3.2  2 unknown .025 8.0 .24 0 error (1) .44 40 4.0 0 error (1) .40 37 3.4 0 true 2.8 250 23 2 true .84 29 10   2 true .21 24 2.1 2 out of memory 110     15000 1300    0 true .084 24 .88 2 true .082 24 1.1  2 true .082 16   .80 2 true .11  23 1.7 2 true 3.6 74 41 2 true .23 14   2.8 2 true 30   730 320 2 true 74   890 940 2 timeout 910   13000 2800 0
list-ext-properties/test-0158_1_true-valid-memsafety.i true .18  26 1.4  2 true .33 20 2.9  2 unknown .061 8.0 .17 0 error (1) .43 40 4.0 0 error (1) .44 40 3.6 0 true 3.0 250 27 2 true 1.1  29 12   2 true .21 24 2.5 2 timeout 900     3100 2600    0 true .22  24 2.8  2 true .22  24 2.9  2 unknown .071 18   .55 0 true .11  21 1.8 2 true 3.3 66 41 2 true .23 12   2.5 2 true 8.1 430 65 2 true 23   690 240 2 true 9.1 480 72 2
list-ext-properties/test-0214_1_true-valid-memsafety.i error (134) 15     180 120    0 true 430    460 3300    2 unknown .046 8.4 .29 0 error (1) .42 40 4.1 0 error (1) .41 37 3.9 0 timeout 900   5900 9400 0 unknown 890    870 2700   0 timeout 900    5400 2000   0 timeout 900     330 11000    0 timeout 900     320 6600    0 timeout 900     330 5600    0 unknown .051 11   .56 0 true 12     530 160   2 timeout 880   270 6900 0 timeout (timeout) 900    170   6700   0 timeout 900   940 11000 0 timeout 900   1400 10000 0 timeout 900   1000 11000 0
list-ext-properties/test-0217_1_true-valid-memsafety.i error (134) .28  35 2.6  0 true 400    390 3400    2 unknown .042 8.2 .30 0 error (1) .42 40 3.9 0 error (1) .42 37 3.5 0 timeout 900   5300 11000 0 unknown 890    1100 5300   0 timeout 900    5100 6800   0 timeout 900     720 7700    0 timeout 900     740 8300    0 timeout 900     760 9700    0 unknown .080 11   .54 0 true 3.9   120 38   2 timeout 880   360 8700 0 timeout (timeout) 900    190   9100   0 timeout 900   860 13000 0 timeout 900   1400 11000 0 timeout 900   980 13000 0
list-ext-properties/test-0232_1_true-valid-memsafety.i false(valid-deref) .21  28 1.9  -16 true 6.1  62 88    2 unknown .087 44   .64 0 error (1) .43 37 3.3 0 error (1) .43 37 3.5 0 true 33   390 33 2 true 190    150 2100   2 true 59    1600 680   2 timeout 900     5000 12000    0 true 190     820 2400    2 unknown .13  24 1.4  0 unknown .049 10   .52 0 true 1.6   25 18   2 true 880   340 8100 2 true .58 16   6.5 2 timeout 900   840 9500 0 timeout 900   2200 10000 0 error 720   1200 8900 0
list-ext-properties/test-0504_1_true-valid-memsafety.i error (8) .69  39 7.6  0 true 4.6  87 64    2 unknown .030 7.8 .26 0 error (1) .42 40 3.7 0 error (1) .40 37 3.4 0 timeout 900   5400 9000 0 unknown 890    440 8100   0 timeout 900    8000 2400   0 timeout 900     600 10000    0 true 590     420 5700    2 timeout 900     560 6900    0 unknown .079 11   .49 0 timeout 900     6100 5200   0 timeout 880   380 7300 0 true 29    170   350   2 timeout 900   920 10000 0 timeout 900   1900 13000 0 timeout 900   1600 10000 0
list-ext-properties/test-0513_1_true-valid-memsafety.i true 3.7   150 36    2 true 10    290 110    2 unknown .035 7.9 .25 0 error (1) .41 40 4.0 0 error (1) .39 37 4.0 0 true 4.7 290 34 2 unknown 890    2600 8900   0 out of memory 99    15000 1200   0 timeout 900     460 2600    0 true 360     430 3800    2 true 230     460 2500    2 true 39     960   430    2 true .26  25 2.8 2 true 370   310 3100 2 true .41 23   4.7 2 timeout 900   1200 13000 0 timeout 900   1700 13000 0 timeout 910   13000 4700 0
memory-alloca/c.03-alloca_true-valid-memsafety.i true .22  28 1.6  2 error (42) 850    2100 6900    0 unknown .037 8.0 .22 0 error (1) .44 40 3.7 0 error (1) .40 37 3.7 0 timeout 900   8000 10000 0 unknown 160    71 1800   0 true 18    1300 210   2 out of memory 890     15000 2700    0 out of memory 280     15000 3300    0 out of memory 230     15000 2800    0 unknown .054 10   .55 0 true 1.2   45 14   2 true 4.1 81 47 2 timeout (timeout) 900    290   11000   0 true 12   520 86 2 true 210   1300 3000 2 true 41   500 450 2
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) .20  34 1.9  1 false(valid-deref) .15 18 .97 1 unknown .025 7.9 .14 0 error (1) .42 40 4.1 0 error (1) .40 37 3.5 0 false(valid-deref) 2.4 240 23 1 false(valid-deref) .39 28 4.7 1 false(valid-deref) 440    930 6200   1 false(valid-deref) .43  23 1.6  1 false(valid-deref) .11  23 1.3  1 false(valid-deref) .11  23 1.4  1 unknown .064 19   .74 0 false(valid-deref) .16  23 1.7 1 false(valid-deref) 3.9 83 50 1 false(valid-deref) .22 12   2.7 1 false(valid-deref) 6.8 340 51 1 false(valid-deref) 7.7 360 56 1 false(valid-deref) 7.0 340 50 1
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) .23  34 1.8  1 false(valid-deref) .15 18 .92 1 unknown .027 7.9 .16 0 error (1) .43 40 4.0 0 error (1) .41 38 3.6 0 false(valid-deref) 2.4 240 21 1 unknown .36 28 4.2 0 false(valid-deref) 440    930 5500   1 false(valid-deref) .11  23 .63 1 false(valid-deref) .072 23 .80 1 false(valid-deref) .087 23 .85 1 unknown .071 10   .42 0 false(valid-deref) .16  25 1.9 1 false(valid-deref) 3.5 84 45 1 false(valid-deref) .23 11   2.3 1 false(valid-deref) 8.3 390 57 1 false(valid-deref) 8.6 440 68 1 false(valid-deref) 8.1 440 71 1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) .18  33 1.7  1 false(valid-deref) .14 18 .94 1 unknown .026 7.8 .14 0 error (1) .42 38 3.4 0 error (1) .41 38 3.4 0 false(valid-deref) 2.2 230 20 1 unknown .36 27 4.0 0 false(valid-deref) 4.7  82 61   1 false(valid-deref) .073 23 .81 1 false(valid-deref) .078 23 .83 1 false(valid-deref) .097 23 .88 1 unknown .048 10   .50 0 false(valid-deref) .16  23 1.7 1 false(valid-deref) 3.2 82 39 1 false(valid-deref) .22 11   2.1 1 false(valid-deref) 6.7 340 51 1 false(valid-deref) 6.2 340 56 1 false(valid-deref) 6.3 310 53 1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) .22  47 2.6  1 false(valid-deref) .12 18 .90 1 unknown .026 7.7 .14 0 error (1) .43 40 4.3 0 error (1) .42 40 4.2 0 false(valid-deref) 2.2 230 19 1 unknown .37 27 4.3 0 false(valid-deref) 4.6  39 63   1 false(valid-deref) .090 23 .89 1 false(valid-deref) .086 23 .90 1 false(valid-deref) .076 23 .79 1 unknown .066 10   .42 0 false(valid-deref) .16  22 1.8 1 false(valid-deref) 4.1 95 63 1 false(valid-deref) .22 11   2.2 1 false(valid-deref) 5.9 330 53 1 false(valid-deref) 6.3 350 45 1 false(valid-deref) 6.3 330 51 1
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 43     1400 430    1 false(valid-deref) 1.7  26 17    1 unknown .028 8.2 .13 0 error (1) .41 40 3.8 0 error (1) .41 40 3.8 0 false(valid-deref) 12   740 98 1 false(valid-deref) 610    570 5600   1 false(valid-deref) .79 23 11   1 false(valid-deref) 2.5   23 30    1 false(valid-deref) 4.8   58 58    1 false(valid-deref) 470     2300 4300    1 unknown .065 10   .42 0 false(valid-deref) 1.6   39 20   1 timeout 750   480 7500 0 false(valid-deref) .81 24   9.9 1 false(valid-deref) 540   4900 7000 1 timeout 900   1200 14000 0 false(valid-deref) 870   5300 11000 1
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 42     1400 400    1 false(valid-deref) 1.7  26 19    1 unknown .027 7.8 .14 0 error (1) .42 40 3.6 0 error (1) .44 40 4.2 0 false(valid-deref) 12   740 87 1 unknown 900    430 1900   0 false(valid-deref) 3.0  23 6.8 1 false(valid-deref) 2.5   23 36    1 false(valid-deref) 4.7   58 53    1 false(valid-deref) 420     2300 3900    1 unknown .077 10   .41 0 false(valid-deref) 3.8   53 46   1 timeout 750   420 6900 0 false(valid-deref) .88 26   11   1 false(valid-deref) 470   4800 7400 1 timeout 900   1000 13000 0 false(valid-deref) 730   5100 10000 1
ldv-memsafety/memset2_false-valid-deref-write.c timeout 900     1600 9800    0 false(valid-deref) 2.0  19 22    1 unknown .026 7.7 .13 0 error (1) .41 37 3.3 0 error (1) .46 40 4.1 0 false(valid-deref) 2.4 230 21 1 unknown 75    29 930   0 false(valid-deref) .44 23 5.6 1 false(valid-deref) 3.1   23 43    1 false(valid-deref) 6.0   58 72    1 false(valid-deref) 6.8   150 110    1 false(valid-deref) .049 10   .56 1 false(valid-deref) .14  21 1.9 1 false(valid-deref) 1.7 73 23 1 false(valid-deref) .19 9.6 1.8 1 false(valid-deref) 5.8 330 41 1 false(valid-deref) 5.9 320 47 1 false(valid-deref) 5.7 320 44 1
ldv-memsafety/memset3_false-valid-deref-write.c timeout 900     1100 11000    0 false(valid-deref) 2.1  19 20    1 unknown .026 7.6 .13 0 error (1) .46 40 4.0 0 error (1) .40 37 3.5 0 false(valid-deref) 2.4 240 20 1 unknown 270    39 3100   0 false(valid-deref) 1.6  23 23   1 false(valid-deref) 31     24 390    1 false(valid-deref) 61     370 950    1 false(valid-deref) 65     700 790    1 unknown .074 9.9 .45 0 false(valid-deref) .12  21 1.8 1 false(valid-deref) 1.6 73 23 1 false(valid-deref) .17 9.9 2.2 1 false(valid-deref) 6.3 340 50 1 false(valid-deref) 5.7 320 49 1 false(valid-deref) 5.8 320 44 1
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c timeout 900     1600 10000    0 false(valid-deref) 2.0  19 21    1 unknown .028 7.8 .12 0 error (1) .45 40 4.0 0 error (1) .41 38 3.6 0 false(valid-deref) 9.5 240 11 1 unknown 75    28 960   0 false(valid-deref) .44 23 5.5 1 false(valid-deref) 3.1   23 38    1 false(valid-deref) 6.0   58 85    1 false(valid-deref) 6.7   150 82    1 false(valid-deref) .047 9.8 .46 1 false(valid-deref) .15  23 1.8 1 false(valid-deref) 1.6 82 21 1 false(valid-deref) .18 9.7 2.0 1 false(valid-deref) 5.9 320 53 1 false(valid-deref) 6.2 320 43 1 false(valid-deref) 5.9 340 46 1
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c timeout 900     1100 13000    0 false(valid-deref) 2.1  19 21    1 unknown .025 7.9 .13 0 error (1) .41 40 3.8 0 error (1) .40 38 4.1 0 false(valid-deref) 2.3 240 19 1 unknown 270    38 3600   0 false(valid-deref) 1.7  23 22   1 false(valid-deref) 31     24 480    1 false(valid-deref) 62     380 860    1 false(valid-deref) 65     700 720    1 unknown .044 9.9 .53 0 false(valid-deref) .11  22 1.7 1 false(valid-deref) 1.6 82 22 1 false(valid-deref) .20 9.8 1.9 1 false(valid-deref) 5.8 320 45 1 false(valid-deref) 5.7 320 46 1 false(valid-deref) 5.8 330 49 1
ldv-memsafety/memsetNonZero_false-valid-deref-write.c timeout 900     1100 10000    0 false(valid-deref) 2.1  18 21    1 unknown .024 7.8 .13 0 error (1) .40 37 4.1 0 error (1) .43 37 3.8 0 false(valid-deref) 2.3 230 21 1 unknown 270    39 3400   0 false(valid-deref) 1.7  23 23   1 false(valid-deref) 31     24 390    1 false(valid-deref) 62     380 780    1 false(valid-deref) 65     700 800    1 false(valid-deref) .068 9.9 .41 1 false(valid-deref) .16  32 1.9 1 false(valid-deref) 1.6 73 21 1 false(valid-deref) .17 9.9 2.2 1 false(valid-deref) 5.9 320 46 1 false(valid-deref) 6.0 330 50 1 false(valid-deref) 5.8 320 46 1
ldv-memsafety/memset_false-valid-deref-write.c timeout 900     1100 12000    0 false(valid-deref) 2.1  19 20    1 unknown .023 7.8 .15 0 error (1) .40 38 3.7 0 error (1) .43 41 3.9 0 false(valid-deref) 2.2 230 18 1 unknown 270    39 3500   0 false(valid-deref) 1.6  23 24   1 false(valid-deref) 31     24 400    1 false(valid-deref) 61     370 830    1 false(valid-deref) 65     700 760    1 false(valid-deref) .074 10   .42 1 false(valid-deref) .11  22 1.7 1 false(valid-deref) 1.6 76 20 1 false(valid-deref) .19 10   2.0 1 false(valid-deref) 5.9 330 42 1 false(valid-deref) 6.3 340 55 1 false(valid-deref) 6.3 330 49 1
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c false(valid-deref) 7.4   88 83    -16 error (42) 850    5500 4300    0 unknown .024 7.9 .19 0 error (1) .41 39 3.6 0 error (1) .44 38 4.0 0 true 76   4100 820 2 unknown 900    1800 9500   0 true 8.4  100 110   2 timeout 900     3300 12000    0 timeout 900     8000 11000    0 timeout 900     11000 12000    0 unknown .050 10   .55 0 true 770     1800 6900   2 true 760   340 7400 2 timeout (timeout) 900    4800   12000   0 timeout 900   3700 8600 0 timeout 900   1600 13000 0 error 260   1100 3500 0
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true .28  34 3.0  2 true 2.0  19 25    2 unknown .026 8.2 .13 0 error (1) .42 38 3.5 0 error (1) .44 41 4.3 0 true 14   2300 100 2 unknown 900    690 6400   0 true .99 23 12   2 timeout 900     3500 12000    0 true 1.3   28 14    2 timeout 900     2300 9200    0 unknown .076 10   .48 0 true 2.0   73 20   2 true 750   560 6700 2 true 1.0  12   13   2 true 8.1 380 58 2 timeout 900   1700 13000 0 true 8.9 370 69 2
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true .86  33 10    2 true 1.7  19 19    2 unknown .026 7.9 .14 0 error (1) .44 38 3.9 0 error (1) .42 38 4.3 0 true 8.7 470 63 2 true 670    590 5500   2 true .63 23 7.7 2 timeout 900     3700 11000    0 true 4.5   57 54    2 true 500     2200 4400    2 unknown .075 10   .56 0 true 3.2   47 36   2 timeout 750   400 10000 0 true .75 11   11   2 true 10   450 86 2 timeout 900   1000 13000 0 true 11   550 82 2
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true .31  46 2.9  2 true 2.0  19 25    2 unknown .037 7.9 .15 0 error (1) .43 38 4.0 0 error (1) .40 37 3.3 0 true 15   2300 130 2 unknown 900    800 8600   0 true .99 23 11   2 timeout 900     3500 10000    0 true 1.3   28 18    2 timeout 900     2100 8900    0 unknown .077 10   .43 0 true 2.0   73 21   2 true 750   540 6500 2 true 1.2  12   13   2 true 8.6 420 63 2 timeout 900   1300 12000 0 true 8.5 350 64 2
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 4.0   45 43    2 true 6.1  67 80    2 unknown .025 7.8 .14 0 error (1) .44 40 3.8 0 error (1) .43 40 4.1 0 true 47   3900 390 2 unknown 900    640 7000   0 true 4.2  38 63   2 timeout 900     3200 10000    0 true 140     1000 1800    2 timeout 900     1700 6400    0 unknown .053 10   .46 0 true 200     690 2400   2 true 760   330 7800 2 true 16    65   230   2 true 11   450 88 2 timeout 900   920 12000 0 true 13   500 120 2
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true .83  32 9.3  2 true 1.7  19 20    2 unknown .024 8.2 .19 0 error (1) .45 40 4.1 0 error (1) .42 37 3.9 0 true 7.7 480 53 2 true 660    620 5600   2 true .68 23 8.0 2 timeout 900     3700 11000    0 true 4.9   59 59    2 true 420     2200 3900    2 unknown .075 9.9 .39 0 true 3.5   51 37   2 timeout 750   460 8300 0 true .75 11   12   2 true 8.6 430 75 2 timeout 900   940 15000 0 true 9.2 390 64 2
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .10  23 .97 2 true .18 17 2.1  2 unknown .047 43   .51 0 error (1) .42 37 3.3 0 error (1) .42 37 3.6 0 true 2.3 230 21 2 true 3.7  230 36   2 true .21 25 2.2 2 timeout 900     200 3200    0 true .14  24 1.1  2 true .11  24 1.3  2 unknown .049 9.8 .53 0 true .10  22 1.6 2 true 3.1 71 38 2 true .18 9.8 2.2 2 error 4.8 300 38 0 error 5.1 320 38 0 error 4.7 300 34 0
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .10  22 .88 2 true .19 17 1.6  2 unknown .027 8.1 .16 0 error (1) .42 38 3.9 0 error (1) .45 40 3.8 0 true 2.4 240 19 2 true 3.7  250 36   2 true .20 25 2.3 2 timeout 900     760 13000    0 true .12  25 1.4  2 true .12  24 1.2  2 unknown .073 9.9 .44 0 true .099 22 1.7 2 true 3.2 67 41 2 true .18 9.6 1.9 2 error 5.1 310 41 0 error 5.4 320 41 0 error 5.2 310 41 0
ldv-memsafety/StructInitialization_true-valid-memsafety.c true .089 22 .82 2 true .19 17 1.9  2 unknown .026 7.8 .15 0 error (1) .44 37 3.3 0 error (1) .40 37 3.6 0 true 2.2 230 18 2 true 3.2  230 29   2 true .16 23 1.7 2 timeout 900     1900 11000    0 true .097 23 .86 2 true .084 23 .93 2 true .077 12   .51 2 true .13  21 1.5 2 true 3.0 70 33 2 true .17 9.4 2.2 2 true 5.1 310 42 2 true 5.9 350 46 2 true 5.3 320 39 2
ldv-memsafety/memset2_true-valid-memsafety.c true .18  24 1.6  2 true 2.2  19 24    2 unknown .026 7.7 .12 0 error (1) .42 40 3.6 0 error (1) .42 37 3.9 0 true 2.3 240 20 2 true 40    240 530   2 true .42 23 5.5 2 timeout 900     340 13000    0 true 6.1   57 78    2 true 7.0   150 90    2 true .075 23   .90 2 true .10  22 1.6 2 true 3.1 73 34 2 true .20 9.7 2.2 2 true 6.9 340 50 2 true 32   900 320 2 true 7.1 350 57 2
ldv-memsafety/memset3_true-valid-memsafety.c true .22  27 1.5  2 true 2.2  19 22    2 unknown .025 7.8 .13 0 error (1) .42 37 4.0 0 error (1) .40 38 3.9 0 true 2.3 240 19 2 true 230    250 3400   2 true 1.6  23 18   2 timeout 900     150 13000    0 true 62     370 780    2 true 66     710 780    2 unknown .072 10   .50 0 true .13  21 1.6 2 true 3.1 69 36 2 true .18 9.9 2.4 2 true 6.9 350 55 2 true 92   1000 1100 2 true 6.8 350 54 2
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true .18  24 1.5  2 true 2.2  19 22    2 unknown .023 7.8 .17 0 error (1) .44 40 3.9 0 error (1) .45 38 3.7 0 true 2.2 230 17 2 true 40    250 550   2 true .41 23 5.0 2 timeout 900     330 10000    0 true 6.2   57 89    2 true 7.0   150 92    2 unknown .085 10   .36 0 true .13  21 1.6 2 true 3.0 67 38 2 true .17 9.6 2.0 2 true 7.6 360 58 2 true 30   720 340 2 true 7.8 370 59 2
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true .18  25 1.5  2 true 2.3  21 19    2 unknown .064 43   .50 0 error (1) .45 37 3.6 0 error (1) .43 38 3.4 0 true 2.3 240 20 2 true 230    250 3200   2 true 1.6  23 22   2 timeout 900     150 11000    0 true 62     370 880    2 true 66     700 920    2 unknown .046 9.9 .49 0 true .10  21 1.7 2 true 3.1 68 37 2 true .19 9.9 1.8 2 true 6.9 360 56 2 true 95   1200 1300 2 true 7.2 360 53 2
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true .18  25 1.6  2 true 2.2  19 24    2 unknown .025 7.7 .16 0 error (1) .42 40 4.1 0 error (1) .41 37 3.4 0 true 2.2 220 21 2 true 230    250 3000   2 true 1.7  23 21   2 timeout 900     150 11000    0 true 62     370 940    2 true 66     700 820    2 unknown .078 9.9 .48 0 true .13  21 1.7 2 true 3.1 71 37 2 true .18 9.7 1.9 2 true 7.9 370 58 2 true 93   1000 1300 2 true 7.1 360 54 2
ldv-memsafety/memset_true-valid-memsafety.c true .19  25 1.5  2 true 2.1  19 28    2 unknown .026 7.6 .12 0 error (1) .42 40 3.9 0 error (1) .42 37 3.9 0 true 2.2 230 20 2 true 230    240 3100   2 true 1.6  23 19   2 timeout 900     150 11000    0 true 62     370 820    2 true 66     700 880    2 true .12  23   .73 2 true .10  22 1.6 2 true 3.0 71 33 2 true .20 9.9 2.0 2 true 7.0 350 54 2 true 93   1000 1100 2 true 6.9 370 59 2
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (134) .24  29 1.9  0 false(valid-deref) .26 26 2.3  1 unknown .035 8.6 .18 0 error (1) .41 37 3.5 0 error (1) .40 37 3.5 0 false(valid-deref) 3.7 260 33 1 false(valid-deref) .81 35 10   1 out of memory 470    15000 4400   0 false(valid-deref) .31  26 3.1  1 false(valid-deref) .27  26 3.4  1 false(valid-deref) .30  26 3.2  1 unknown .059 11   .79 0 false(valid-deref) .20  28 2.1 1 false(valid-deref) 2.7 93 35 1 false(valid-deref) .48 24   6.0 1 false(valid-deref) 140   600 1700 1 false(valid-deref) 730   1100 10000 1 false(valid-deref) 220   860 3200 1
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) .63  35 8.1  1 false(valid-deref) 1.5  28 15    1 unknown .043 8.1 .17 0 error (1) .44 40 3.8 0 error (1) .40 38 3.8 0 false(valid-deref) 3.8 260 33 1 false(valid-deref) 34    36 470   1 false(valid-deref) .40 26 4.6 1 false(valid-deref) 1.0   56 12    1 false(valid-deref) 1.1   89 13    1 false(valid-deref) 11     160 170    1 unknown .057 11   .65 0 false(valid-deref) .21  27 2.1 1 false(valid-deref) 2.7 82 34 1 false(valid-deref) .44 21   5.8 1 false(valid-deref) 280   730 3600 1 timeout 900   1300 12000 0 timeout 900   3200 12000 0
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) .65  35 7.2  1 false(valid-deref) 1.5  27 19    1 unknown .034 8.3 .20 0 error (1) .44 40 4.0 0 error (1) .40 37 3.6 0 false(valid-deref) 3.9 260 32 1 false(valid-deref) 140    36 320   1 false(valid-deref) .42 26 5.5 1 false(valid-deref) .84  54 9.7  1 false(valid-deref) 1.1   89 14    1 false(valid-deref) 11     150 160    1 unknown .057 11   .59 0 false(valid-deref) .21  27 2.2 1 false(valid-deref) 2.8 83 31 1 false(valid-deref) .45 21   5.4 1 false(valid-deref) 220   960 2800 1 timeout 900   1300 10000 0 timeout 900   3200 12000 0
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error (134) .89  130 9.9  0 false(valid-deref) 10    220 120    1 unknown .031 8.3 .21 0 error (1) .42 37 4.0 0 error (1) .42 40 3.7 0 false(valid-deref) 3.6 260 30 1 false(valid-deref) 560    350 5500   1 out of memory 600    15000 5400   0 false(valid-deref) 220     270 1800    1 false(valid-deref) 240     300 2000    1 unknown .15  27 1.7  0 unknown .063 12   .75 0 unknown .18  30 2.4 0 false(valid-deref) 3.8 93 47 1 false(valid-deref) .78 76   9.8 1 timeout 900   900 11000 0 timeout 900   1400 12000 0 timeout 900   8800 9700 0
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error (134) .87  130 10    0 false(valid-deref) 10    220 110    1 unknown .034 8.3 .22 0 error (1) .44 40 4.0 0 error (1) .41 40 4.4 0 false(valid-deref) 4.1 260 33 1 false(valid-deref) 600    330 6200   1 out of memory 800    15000 6100   0 false(valid-deref) 310     270 2700    1 false(valid-deref) 200     280 1700    1 unknown .15  27 1.7  0 unknown .068 12   .62 0 unknown .17  29 2.6 0 false(valid-deref) 3.4 89 43 1 false(valid-deref) .71 74   9.3 1 timeout 900   710 12000 0 timeout 900   1500 12000 0 error 850   2600 10000 0
ldv-memsafety/memleaks_test11_1_false-valid-free.i error (134) .26  30 2.6  0 false(valid-free) .25 27 2.8  1 unknown .031 8.2 .20 0 error (1) .44 40 3.9 0 error (1) .43 37 3.8 0 false(valid-free) 3.8 260 30 1 false(valid-deref) 1.7  36 23   -16 false(valid-free) .76 28 8.8 1 false(valid-deref) .82  31 10    -16 false(valid-deref) .82  30 11    -16 false(valid-deref) .85  31 9.7  -16 unknown .063 11   .66 0 false(valid-free) .20  28 2.9 1 false(valid-free) 3.6 82 45 1 false(valid-free) .51 20   5.8 1 false(valid-free) 370   660 5200 1 timeout 900   590 13000 0 false(valid-free) 740   1400 10000 1
ldv-memsafety/memleaks_test12_false-valid-free.i error (8) .45  63 4.7  0 error (1) .37 36 3.9  0 unknown .046 8.2 .21 0 error (1) .45 40 3.9 0 error (1) .40 37 4.0 0 false(valid-free) 22   280 23 1 unknown 260    210 3300   0 unknown 240    10000 2800   0 unknown .70  46 9.9  0 unknown 4.5   82 53    0 unknown 52     170 580    0 unknown .092 12   .60 0 false(valid-free) .26  32 2.9 1 false(valid-free) 20   110 270 1 false(valid-free) 1.4  150   17   1 timeout 900   820 12000 0 timeout 900   790 12000 0 timeout 900   1700 9900 0
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-deref) 3.9   92 40    -16 false(valid-free) 1.6  53 17    1 unknown .042 8.3 .20 0 error (1) .47 40 4.3 0 error (1) .43 40 4.3 0 false(valid-free) 4.1 270 32 1 unknown 890    310 8900   0 false(valid-free) 71    2100 660   1 false(valid-free) 440     320 4300    1 false(valid-free) 530     330 5000    1 timeout 900     450 8500    0 unknown .060 11   .68 0 false(valid-free) .50  30 5.3 1 false(valid-free) 40   140 560 1 false(valid-free) .48 16   6.1 1 timeout 900   2100 13000 0 timeout 900   1400 11000 0 timeout 900   900 10000 0
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) .24  27 2.0  1 false(valid-free) .21 23 2.0  1 unknown .034 8.7 .21 0 error (1) .45 40 4.0 0 error (1) .41 37 3.4 0 false(valid-free) 3.8 260 32 1 false(valid-deref) .74 30 9.1 -16 false(valid-free) .30 26 3.1 1 false(valid-free) .26  26 3.7  1 false(valid-free) .26  26 3.6  1 false(valid-free) .29  26 3.4  1 unknown .079 11   .51 0 false(valid-free) .21  28 2.3 1 false(valid-free) 3.3 80 39 1 false(valid-free) .47 16   5.9 1 false(valid-free) 220   590 2600 1 timeout 900   940 11000 0 false(valid-free) 550   1500 8400 1
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) .19  27 1.9  1 false(valid-free) .21 23 1.6  1 unknown .053 44   .76 0 error (1) .44 40 3.9 0 error (1) .40 40 3.6 0 false(valid-free) 3.5 260 32 1 false(valid-deref) .52 30 8.0 -16 false(valid-free) .21 26 2.5 1 false(valid-free) .15  26 1.9  1 false(valid-free) .17  26 1.6  1 false(valid-free) .17  26 1.8  1 unknown .069 11   .65 0 false(valid-free) .16  27 2.3 1 false(valid-free) 2.6 82 40 1 false(valid-free) .43 12   4.9 1 false(valid-free) 7.0 350 58 1 false(valid-free) 6.7 320 52 1 false(valid-free) 7.1 360 51 1
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) .19  27 1.7  1 false(valid-free) .22 21 1.7  1 unknown .029 8.0 .20 0 error (1) .44 37 3.4 0 error (1) .42 38 3.5 0 false(valid-free) 3.6 250 31 1 false(valid-deref) .38 30 4.6 -16 false(valid-free) .21 26 1.9 1 false(valid-free) .41  26 1.1  1 false(valid-free) .14  26 1.1  1 false(valid-free) .14  26 1.1  1 unknown .059 11   .60 0 false(valid-free) .21  28 2.1 1 false(valid-free) 2.6 83 34 1 false(valid-free) .44 11   5.4 1 false(valid-free) 5.8 320 40 1 false(valid-free) 5.6 330 46 1 false(valid-free) 6.1 330 44 1
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) .21  27 1.6  1 false(valid-free) .23 21 1.8  1 unknown .029 8.2 .25 0 error (1) .43 37 3.9 0 error (1) .40 37 3.5 0 false(valid-free) 3.7 260 31 1 false(valid-deref) .57 30 7.4 -16 false(valid-free) .22 26 2.7 1 false(valid-free) .19  26 2.0  1 false(valid-free) .16  26 1.8  1 false(valid-free) .16  26 2.1  1 unknown .094 12   .55 0 false(valid-free) .22  29 2.1 1 false(valid-free) 2.9 76 36 1 false(valid-free) .44 15   5.5 1 false(valid-free) 170   520 2100 1 false(valid-free) 130   850 1600 1 false(valid-free) 230   1000 2700 1
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .20  27 1.5  1 false(valid-free) .20 20 2.0  1 unknown .034 8.4 .18 0 error (1) .44 40 3.8 0 error (1) .41 38 4.1 0 false(valid-free) 3.6 260 28 1 false(valid-deref) .55 30 7.5 -16 false(valid-free) .20 26 2.9 1 false(valid-free) .15  26 2.2  1 false(valid-free) .17  26 1.6  1 false(valid-free) .17  26 1.6  1 unknown .10  19   .68 0 false(valid-free) .19  27 2.2 1 false(valid-free) 2.9 78 38 1 false(valid-free) .42 12   5.2 1 false(valid-free) 8.1 380 69 1 false(valid-free) 7.6 380 63 1 false(valid-free) 7.3 340 57 1
ldv-memsafety/memleaks_test10_false-valid-memtrack.i error (134) .28  38 1.9  0 false(valid-memtrack) .25 22 2.3  1 unknown .033 8.2 .18 0 error (1) .42 40 3.8 0 error (1) .45 40 3.8 0 false(valid-memtrack) 15   260 17 1 false(valid-deref) .75 31 9.8 -16 false(valid-deref) .56 26 6.8 -16 false(valid-memtrack) .46  26 5.7  1 false(valid-memtrack) .43  26 6.0  1 false(valid-memtrack) .45  26 4.8  1 unknown .061 12   .64 0 false(valid-memtrack) .19  28 2.6 1 false(valid-memtrack) 4.4 74 54 1 false(valid-memtrack) .45 15   5.5 1 timeout 900   1000 11000 0 timeout 900   1200 13000 0 timeout 900   1800 13000 0
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i error (134) .24  29 2.0  0 false(valid-memtrack) .26 25 2.5  1 unknown .083 44   .54 0 error (1) .43 40 4.0 0 error (1) .44 40 3.7 0 false(valid-memtrack) 3.9 270 29 1 false(valid-deref) 1.2  32 14   -16 false(valid-deref) .61 26 8.1 -16 false(valid-deref) .63  27 7.9  -16 false(valid-deref) .63  27 7.7  -16 false(valid-deref) .66  27 9.2  -16 unknown .063 11   .66 0 false(valid-memtrack) .21  29 2.1 1 false(valid-memtrack) 4.7 85 67 1 false(valid-memtrack) .51 20   5.2 1 timeout 900   1200 12000 0 timeout 900   630 9900 0 timeout 900   2100 13000 0
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i error (134) .21  27 1.4  0 false(valid-memtrack) .20 21 2.0  1 unknown .031 8.0 .17 0 error (1) .44 38 3.9 0 error (1) .43 40 3.9 0 false(valid-memtrack) 3.7 260 30 1 false(valid-memtrack) .50 30 6.1 1 false(valid-memtrack) .80 26 2.9 1 false(valid-memtrack) .66  26 1.7  1 false(valid-memtrack) .17  26 2.1  1 false(valid-memtrack) .17  26 2.2  1 unknown .084 11   .53 0 false(valid-memtrack) .19  27 2.1 1 false(valid-memtrack) 3.9 81 42 1 false(valid-memtrack) .44 15   5.2 1 unknown 180   570 2400 0 error 140   860 1500 0 unknown 170   560 2000 0
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error (134) .21  27 1.9  0 false(valid-memtrack) .29 35 2.6  1 unknown .041 8.8 .21 0 error (1) .41 38 4.1 0 error (1) .44 40 3.8 0 false(valid-memtrack) 3.8 270 28 1 false(valid-memtrack) 4.3  44 53   1 out of memory 490    15000 4900   0 false(valid-memtrack) 1.5   35 19    1 false(valid-memtrack) 1.5   38 19    1 false(valid-memtrack) 1.5   38 18    1 unknown .060 12   .76 0 false(valid-memtrack) .21  27 2.1 1 false(valid-memtrack) 5.3 89 62 1 false(valid-memtrack) .47 24   5.5 1 unknown 470   940 6400 0 timeout 900   1100 11000 0 timeout 900   2000 12000 0
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i error (134) .19  27 2.0  0 false(valid-memtrack) .22 23 1.9  1 unknown .041 8.2 .20 0 error (1) .45 40 4.0 0 error (1) .41 37 3.8 0 false(valid-memtrack) 3.6 260 31 1 false(valid-memtrack) .49 30 5.9 1 false(valid-memtrack) .23 26 2.4 1 false(valid-memtrack) .19  26 1.8  1 false(valid-memtrack) .19  26 2.2  1 false(valid-memtrack) .17  26 1.9  1 unknown .060 11   .67 0 false(valid-memtrack) .21  27 2.2 1 false(valid-memtrack) 3.9 82 48 1 false(valid-memtrack) .44 15   5.8 1 unknown 120   530 1300 0 error 55   580 730 0 unknown 150   640 1900 0
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (134) .24  29 1.8  0 false(valid-memtrack) .23 24 3.0  1 unknown .034 9.1 .23 0 error (1) .45 40 3.8 0 error (1) .39 37 3.6 0 false(valid-memtrack) 4.1 260 29 1 false(valid-memtrack) 3.8  44 46   1 out of memory 580    15000 6200   0 false(valid-memtrack) 1.3   34 17    1 false(valid-memtrack) 1.2   37 14    1 false(valid-memtrack) 1.2   37 16    1 unknown .084 11   .53 0 false(valid-memtrack) .17  28 2.4 1 false(valid-memtrack) 5.2 87 55 1 false(valid-memtrack) .51 24   5.7 1 unknown 330   940 4200 0 timeout 900   1100 11000 0 unknown 310   920 4200 0
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error (134) .36  41 4.2  0 false(valid-memtrack) .21 21 2.8  1 unknown .043 8.8 .23 0 error (1) .40 37 3.5 0 error (1) .43 40 3.5 0 false(valid-memtrack) 3.7 260 34 1 false(valid-memtrack) 77    74 1000   1 false(valid-deref) .91 32 12   -16 false(valid-deref) 2.1   61 30    -16 false(valid-deref) 3.1   110 38    -16 false(valid-deref) 40     520 450    -16 unknown .091 12   .65 0 false(valid-memtrack) .23  28 2.5 1 false(valid-memtrack) 9.3 87 110 1 false(valid-memtrack) .54 24   7.5 1 timeout 910   5200 9400 0 timeout 900   900 11000 0 timeout 900   1900 12000 0
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) .21  27 1.6  1 false(valid-memtrack) .23 21 1.7  1 unknown .045 8.3 .18 0 error (1) .43 40 3.9 0 error (1) .40 37 4.1 0 false(valid-memtrack) 3.9 260 28 1 false(valid-memtrack) .47 30 6.4 1 false(valid-memtrack) .22 26 2.4 1 false(valid-memtrack) .49  26 1.8  1 false(valid-memtrack) .13  26 1.6  1 false(valid-memtrack) .13  26 1.7  1 unknown .061 11   .61 0 false(valid-memtrack) .20  27 2.2 1 false(valid-memtrack) 3.6 78 43 1 false(valid-memtrack) .43 13   5.7 1 unknown 16   430 130 0 error 10   320 81 0 unknown 16   430 120 0
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) .19  27 1.5  1 false(valid-memtrack) .21 20 1.8  1 unknown .030 8.2 .17 0 error (1) .42 38 3.9 0 error (1) .43 40 3.7 0 false(valid-memtrack) 3.7 260 34 1 false(valid-memtrack) .47 30 5.5 1 false(valid-memtrack) .19 26 2.3 1 false(valid-memtrack) .14  26 1.1  1 false(valid-memtrack) .12  26 1.2  1 false(valid-memtrack) .12  26 1.4  1 unknown .061 11   .63 0 false(valid-memtrack) .17  37 2.7 1 false(valid-memtrack) 3.6 78 47 1 false(valid-memtrack) .44 12   4.6 1 unknown 11   340 88 0 error 11   340 90 0 unknown 12   360 91 0
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-deref) 5.1   100 54    -16 false(valid-memtrack) 2.2  67 21    1 unknown .065 8.0 .17 0 error (1) .44 40 3.9 0 error (1) .41 40 3.5 0 false(valid-memtrack) 4.5 270 39 1 unknown 890    260 7400   0 false(valid-memtrack) 41    2100 480   1 timeout 900     360 12000    0 false(valid-memtrack) 530     360 6200    1 timeout 900     460 8500    0 unknown .086 11   .58 0 false(valid-memtrack) .26  29 2.7 1 false(valid-memtrack) 95   150 1100 1 false(valid-memtrack) .47 16   6.1 1 timeout 900   2000 11000 0 timeout 900   1400 11000 0 timeout 900   950 13000 0
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 4.5   96 52    1 false(valid-memtrack) 1.9  55 20    1 unknown .033 8.1 .18 0 error (1) .44 40 3.9 0 error (1) .40 37 4.0 0 false(valid-memtrack) 5.6 290 43 1 false(valid-memtrack) 380    180 5200   1 false(valid-memtrack) 66    2000 900   1 false(valid-memtrack) 150     170 1200    1 false(valid-memtrack) 140     180 1200    1 false(valid-memtrack) 210     260 2100    1 unknown .072 11   .65 0 false(valid-memtrack) .22  27 2.9 1 false(valid-memtrack) 45   130 520 1 false(valid-memtrack) .54 16   6.0 1 timeout 900   660 12000 0 timeout 900   1500 12000 0 timeout 900   1100 11000 0
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) .23  29 2.5  1 false(valid-memtrack) .24 24 2.3  1 unknown .083 44   .55 0 error (1) .45 40 3.9 0 error (1) .46 38 3.8 0 false(valid-memtrack) 3.7 260 31 1 false(valid-memtrack) .50 30 5.7 1 false(valid-memtrack) 37    2000 380   1 false(valid-memtrack) .21  26 2.5  1 false(valid-memtrack) .19  26 2.5  1 false(valid-memtrack) .20  26 2.4  1 unknown .059 11   .68 0 false(valid-memtrack) .21  28 2.5 1 false(valid-memtrack) 32   120 490 1 false(valid-memtrack) .43 14   5.3 1 unknown 61   480 680 0 error 26   470 260 0 unknown 170   650 2000 0
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-deref) .53  47 4.8  -16 false(valid-memtrack) 1.5  42 15    1 unknown .032 8.0 .18 0 error (1) .44 40 3.8 0 error (1) .42 37 3.7 0 false(valid-memtrack) 20   290 23 1 false(valid-memtrack) 640    160 6000   1 false(valid-memtrack) 59    2100 720   1 false(valid-memtrack) 230     250 2200    1 false(valid-memtrack) 450     390 3800    1 false(valid-memtrack) 440     450 4200    1 unknown .085 11   .53 0 false(valid-memtrack) .24  27 2.5 1 false(valid-memtrack) 27   110 350 1 false(valid-memtrack) .51 14   5.7 1 timeout 900   680 13000 0 timeout 900   770 11000 0 timeout 900   1600 11000 0
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) .72  43 7.6  1 false(valid-memtrack) 1.0  27 12    1 unknown .031 8.6 .19 0 error (1) .43 37 4.0 0 error (1) .39 37 3.5 0 false(valid-memtrack) 4.6 270 37 1 false(valid-memtrack) 10    37 130   1 false(valid-memtrack) 1.4  37 17   1 false(valid-memtrack) 1.3   56 16    1 false(valid-memtrack) 2.4   87 31    1 false(valid-memtrack) 2.3   110 27    1 unknown .074 19   .81 0 false(valid-memtrack) 130     690 1100   1 false(valid-memtrack) 5.9 80 63 1 false(valid-memtrack) .85 16   10   1 timeout 900   660 10000 0 timeout 900   1600 12000 0 timeout 900   1500 11000 0
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) .19  27 1.5  1 false(valid-memtrack) .19 20 1.8  1 unknown .030 8.3 .20 0 error (1) .45 40 4.0 0 error (1) .44 39 4.1 0 false(valid-memtrack) 3.5 260 28 1 false(valid-memtrack) .49 30 5.2 1 false(valid-memtrack) .20 26 2.1 1 false(valid-memtrack) .11  26 1.3  1 false(valid-memtrack) .11  26 1.4  1 false(valid-memtrack) .12  26 1.2  1 unknown .094 11   .46 0 false(valid-memtrack) .16  28 2.2 1 false(valid-memtrack) 3.5 80 54 1 false(valid-memtrack) .42 12   4.5 1 unknown 10   330 90 0 error 10   330 81 0 unknown 11   350 84 0
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) .19  27 1.7  1 false(valid-memtrack) .21 21 1.7  1 unknown .044 8.4 .18 0 error (1) .43 38 4.0 0 error (1) .41 40 3.6 0 false(valid-memtrack) 3.7 260 30 1 false(valid-memtrack) .49 30 5.6 1 false(valid-memtrack) .19 26 2.2 1 false(valid-memtrack) .15  26 1.1  1 false(valid-memtrack) .14  26 1.1  1 false(valid-memtrack) .11  26 1.2  1 unknown .060 12   .68 0 false(valid-memtrack) .18  27 2.3 1 false(valid-memtrack) 3.7 78 46 1 false(valid-memtrack) .41 13   5.1 1 unknown 12   330 89 0 error 10   320 83 0 unknown 13   390 96 0
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) .21  27 1.6  1 false(valid-memtrack) .22 21 1.7  1 unknown .039 8.2 .21 0 error (1) .44 40 3.8 0 error (1) .44 40 3.7 0 false(valid-memtrack) 3.7 260 27 1 false(valid-memtrack) .48 30 6.2 1 false(valid-memtrack) .22 26 2.6 1 false(valid-memtrack) .11  26 1.3  1 false(valid-memtrack) .12  26 1.4  1 false(valid-memtrack) .11  26 1.5  1 unknown .063 11   .63 0 false(valid-memtrack) .20  27 2.0 1 false(valid-memtrack) 3.6 80 48 1 false(valid-memtrack) .41 12   4.6 1 unknown 11   330 84 0 error 10   320 85 0 unknown 11   330 93 0
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i error (134) .56  35 6.4  0 false(valid-memtrack) 1.5  25 14    1 unknown .051 44   .67 0 error (1) .43 39 3.8 0 error (1) .43 40 4.2 0 false(valid-memtrack) 4.1 260 31 1 false(valid-memtrack) 29    34 390   1 false(valid-memtrack) .36 26 4.1 1 false(valid-memtrack) .71  52 9.4  1 false(valid-memtrack) 1.1   85 15    1 false(valid-memtrack) 9.7   140 150    1 unknown .060 12   .66 0 false(valid-memtrack) .17  27 2.3 1 false(valid-memtrack) 4.7 77 60 1 false(valid-memtrack) .45 23   5.9 1 unknown 440   850 6100 0 error 73   880 760 0 unknown 100   830 1200 0
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i error (134) .48  35 5.3  0 false(valid-memtrack) 1.4  24 15    1 unknown .032 8.3 .20 0 error (1) .42 40 3.9 0 error (1) .39 38 3.7 0 false(valid-memtrack) 3.8 260 30 1 false(valid-memtrack) 15    30 190   1 false(valid-memtrack) .26 26 2.8 1 false(valid-memtrack) .47  44 6.1  1 false(valid-memtrack) .75  74 11    1 false(valid-memtrack) 1.1   110 14    1 unknown .060 11   .71 0 false(valid-memtrack) .20  27 2.1 1 false(valid-memtrack) 3.9 86 48 1 false(valid-memtrack) .41 15   5.6 1 unknown 350   620 4100 0 error 38   610 420 0 unknown 48   750 460 0
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i error (134) .56  36 7.5  0 false(valid-memtrack) 1.5  27 14    1 unknown .082 44   .60 0 error (1) .45 40 3.8 0 error (1) .43 38 4.0 0 false(valid-memtrack) 3.8 260 29 1 false(valid-memtrack) 29    34 390   1 false(valid-memtrack) 1.4  26 3.3 1 false(valid-memtrack) .84  52 11    1 false(valid-memtrack) 1.1   85 13    1 false(valid-memtrack) 9.1   140 130    1 unknown .063 11   .66 0 false(valid-memtrack) .22  27 2.3 1 false(valid-memtrack) 4.8 80 56 1 false(valid-memtrack) .47 23   5.6 1 unknown 450   880 5600 0 error 74   880 810 0 unknown 96   830 950 0
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) .19  27 2.0  1 false(valid-memtrack) .20 21 1.7  1 unknown .060 8.1 .19 0 error (1) .40 37 3.8 0 error (1) .40 37 4.0 0 false(valid-memtrack) 3.6 260 27 1 false(valid-memtrack) .53 30 5.8 1 false(valid-memtrack) .23 26 2.7 1 false(valid-memtrack) .16  26 1.9  1 false(valid-memtrack) .17  26 1.8  1 false(valid-memtrack) .16  26 2.0  1 unknown .058 11   .64 0 false(valid-memtrack) .20  27 2.1 1 false(valid-memtrack) 3.6 84 45 1 false(valid-memtrack) .43 13   5.1 1 unknown 14   370 110 0 error 11   320 92 0 unknown 16   470 120 0
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) .19  27 1.8  1 false(valid-memtrack) .19 21 1.7  1 unknown .048 8.1 .23 0 error (1) .41 38 3.3 0 error (1) .40 37 3.6 0 false(valid-memtrack) 3.8 260 30 1 false(valid-memtrack) .49 30 5.3 1 false(valid-memtrack) .19 26 2.7 1 false(valid-memtrack) .14  26 1.1  1 false(valid-memtrack) .11  26 1.3  1 false(valid-memtrack) .13  26 1.4  1 unknown .076 11   .59 0 false(valid-memtrack) .18  26 2.2 1 false(valid-memtrack) 3.5 73 47 1 false(valid-memtrack) .41 12   4.8 1 unknown 11   330 84 0 error 10   340 89 0 unknown 10   330 77 0
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) .19  27 1.7  1 false(valid-memtrack) .20 21 1.7  1 unknown .031 8.3 .22 0 error (1) .42 37 3.8 0 error (1) .42 38 4.1 0 false(valid-memtrack) 3.4 260 31 1 false(valid-memtrack) .47 30 5.7 1 false(valid-memtrack) .19 26 2.1 1 false(valid-memtrack) .14  26 1.1  1 false(valid-memtrack) .12  26 1.2  1 false(valid-memtrack) .13  26 1.2  1 unknown .058 12   .66 0 false(valid-memtrack) .17  27 2.8 1 false(valid-memtrack) 3.6 78 44 1 false(valid-memtrack) .44 12   4.8 1 unknown 13   340 100 0 error 11   330 84 0 unknown 13   360 94 0
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) .20  27 2.1  1 false(valid-memtrack) .24 21 1.7  1 unknown .056 44   .63 0 error (1) .43 40 3.9 0 error (1) .41 40 3.9 0 false(valid-memtrack) 15   260 18 1 false(valid-memtrack) .50 30 5.2 1 false(valid-memtrack) .22 26 2.5 1 false(valid-memtrack) .14  26 1.6  1 false(valid-memtrack) .14  26 1.6  1 false(valid-memtrack) .15  26 2.0  1 unknown .077 11   .62 0 false(valid-memtrack) .19  28 2.3 1 false(valid-memtrack) 4.0 86 48 1 false(valid-memtrack) .45 15   5.1 1 unknown 240   850 3100 0 error 93   720 1200 0 unknown 200   850 2700 0
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) .20  27 1.7  1 false(valid-memtrack) .19 21 1.9  1 unknown .033 8.2 .17 0 error (1) .39 37 3.6 0 error (1) .43 40 4.0 0 false(valid-memtrack) 3.7 260 29 1 false(valid-memtrack) .51 30 5.2 1 false(valid-memtrack) .23 26 2.3 1 false(valid-memtrack) .14  26 1.7  1 false(valid-memtrack) .13  26 1.5  1 false(valid-memtrack) .15  26 1.4  1 unknown .087 11   .55 0 false(valid-memtrack) .17  28 2.3 1 false(valid-memtrack) 3.9 80 45 1 false(valid-memtrack) .46 14   5.1 1 unknown 210   680 2900 0 error 290   730 4100 0 unknown 160   690 1800 0
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) .22  27 1.7  1 false(valid-memtrack) .23 33 2.4  1 unknown .081 44   .53 0 error (1) .42 40 3.6 0 error (1) .39 37 4.2 0 false(valid-memtrack) 3.8 270 31 1 false(valid-memtrack) .50 30 6.1 1 false(valid-memtrack) .21 26 2.2 1 false(valid-memtrack) .50  26 1.1  1 false(valid-memtrack) .13  26 1.6  1 false(valid-memtrack) .13  26 1.4  1 unknown .061 12   .67 0 false(valid-memtrack) .21  28 2.2 1 false(valid-memtrack) 3.8 78 49 1 false(valid-memtrack) .46 14   4.9 1 unknown 100   550 1200 0 error 260   550 3300 0 unknown 54   560 620 0
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) .19  27 1.7  1 false(valid-memtrack) .21 21 1.6  1 unknown .083 44   .52 0 error (1) .42 40 4.0 0 error (1) .38 37 4.0 0 false(valid-memtrack) 3.5 260 30 1 false(valid-memtrack) .46 30 5.4 1 false(valid-memtrack) .19 26 2.1 1 false(valid-memtrack) .11  26 1.3  1 false(valid-memtrack) .11  26 1.3  1 false(valid-memtrack) .13  26 1.3  1 unknown .053 11   .61 0 false(valid-memtrack) .17  29 2.2 1 false(valid-memtrack) 3.7 73 48 1 false(valid-memtrack) .48 11   4.3 1 unknown 11   330 96 0 error 9.8 320 82 0 unknown 11   340 77 0
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) .23  35 1.8  1 false(valid-memtrack) .21 21 2.0  1 unknown .055 8.3 .19 0 error (1) .41 40 3.8 0 error (1) .42 39 3.5 0 false(valid-memtrack) 3.6 260 31 1 false(valid-memtrack) .50 30 6.4 1 false(valid-memtrack) .20 26 2.4 1 false(valid-memtrack) .13  26 1.2  1 false(valid-memtrack) .12  26 1.2  1 false(valid-memtrack) .11  26 1.1  1 unknown .087 11   .64 0 false(valid-memtrack) .18  26 2.4 1 false(valid-memtrack) 3.7 84 40 1 false(valid-memtrack) .42 11   5.4 1 unknown 13   340 100 0 error 10   330 89 0 unknown 13   370 110 0
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) .20  39 2.0  1 false(valid-memtrack) .20 21 2.2  1 unknown .076 44   .48 0 error (1) .43 37 4.1 0 error (1) .42 39 3.6 0 false(valid-memtrack) 3.5 260 29 1 false(valid-memtrack) .46 30 6.0 1 false(valid-memtrack) .21 26 2.3 1 false(valid-memtrack) .14  26 1.1  1 false(valid-memtrack) .13  26 1.1  1 false(valid-memtrack) .11  26 1.3  1 unknown .060 11   .68 0 false(valid-memtrack) .17  27 2.2 1 false(valid-memtrack) 3.6 81 43 1 false(valid-memtrack) .40 12   4.5 1 unknown 11   330 94 0 error 10   320 77 0 unknown 11   340 92 0
ldv-memsafety/memleaks_test10_true-valid-memsafety.i error (134) .23  30 2.7  0 true .44 23 5.1  2 unknown .029 8.3 .19 0 error (1) .43 37 3.8 0 error (1) .41 37 3.9 0 true 3.6 260 27 2 false(valid-deref) .86 31 10   -16 false(valid-deref) .56 26 7.6 -16 false(valid-deref) .55  27 6.6  -16 false(valid-deref) .59  27 7.3  -16 false(valid-deref) .55  27 6.6  -16 unknown .075 11   .65 0 true .17  28 2.0 2 true 4.3 73 49 2 true .47 16   5.5 2 timeout 900   840 11000 0 timeout 900   3200 11000 0 timeout 900   1500 11000 0
ldv-memsafety/memleaks_test11_true-valid-memsafety.i error (134) .25  28 2.1  0 true .49 26 4.4  2 unknown .035 8.1 .19 0 error (1) .41 40 4.1 0 error (1) .42 38 3.9 0 true 3.9 270 30 2 false(valid-deref) 1.7  35 22   -16 false(valid-deref) .75 28 11   -16 false(valid-deref) .65  29 7.7  -16 false(valid-deref) .65  28 8.5  -16 false(valid-deref) .63  29 8.6  -16 unknown .091 11   .57 0 true .19  28 2.1 2 true 4.2 73 54 2 true .48 20   6.5 2 timeout 900   670 13000 0 timeout 900   550 11000 0 timeout 900   2100 11000 0
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error (8) .43  62 5.5  0 error (1) .36 36 4.7  0 unknown .032 8.6 .25 0 error (1) .43 37 3.4 0 error (1) .42 37 3.6 0 true 22   290 23 2 unknown 280    210 3500   0 unknown 240    10000 2600   0 unknown .69  46 9.8  0 unknown 3.6   80 49    0 unknown 26     140 300    0 unknown .091 12   .67 0 true .27  30 3.0 2 true 330   210 3300 2 true 1.4  150   17   2 timeout 900   890 12000 0 timeout 900   670 13000 0 timeout 900   1100 11000 0
ldv-memsafety/memleaks_test13_true-valid-memsafety.i false(valid-deref) .25  29 2.4  -16 true .47 38 4.6  2 unknown .029 8.4 .21 0 error (1) .41 38 3.6 0 error (1) .44 40 4.3 0 true 3.8 260 30 2 true 31    360 270   2 out of memory 450    15000 4400   0 timeout 900     3100 7900    0 true 1.5   42 23    2 true 1.5   42 22    2 unknown .057 11   .64 0 true .18  27 2.0 2 true 5.0 91 69 2 true .50 25   5.6 2 true 790   670 10000 2 timeout 900   1000 12000 0 timeout 910   12000 6500 0
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (134) .24  28 2.0  0 true .44 26 6.1  2 unknown .036 8.2 .15 0 error (1) .44 40 3.9 0 error (1) .42 38 3.8 0 true 3.7 270 27 2 true 20    290 170   2 out of memory 530    15000 5400   0 timeout 900     3500 8200    0 true 1.6   41 20    2 true 1.6   41 19    2 unknown .087 11   .62 0 true .20  27 2.1 2 true 4.8 80 54 2 true .51 25   5.3 2 true 150   600 1800 2 timeout 900   930 11000 0 true 390   1300 5100 2
ldv-memsafety/memleaks_test15_true-valid-memsafety.i error (134) .27  31 2.3  0 error (1) .24 23 2.4  0 unknown .031 8.4 .27 0 error (1) .44 40 3.9 0 error (1) .43 37 3.5 0 false(valid-memtrack) 4.2 260 33 -16 false(valid-deref) .99 35 13   -16 false(valid-deref) 1.1  31 13   -16 false(valid-deref) .56  28 7.6  -16 false(valid-deref) .57  28 7.5  -16 false(valid-deref) .53  28 5.9  -16 unknown .079 12   .74 0 true .20  29 2.6 2 true 8.6 87 100 2 true .57 29   6.2 2 timeout 900   700 12000 0 timeout 900   1200 12000 0 timeout 900   1400 12000 0
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true .19  27 1.8  2 true .38 21 3.4  2 unknown .032 8.4 .18 0 error (1) .42 40 4.0 0 error (1) .44 40 3.7 0 true 3.4 260 29 2 true .99 30 14   2 true .22 26 2.1 2 out of memory 82     15000 960    0 true .11  26 1.3  2 true .097 26 1.1  2 unknown .081 11   .71 0 true .19  27 2.2 2 true 3.2 68 42 2 true .42 14   5.9 2 true 8.9 430 66 2 true 7.8 380 57 2 true 45   480 500 2
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i false(valid-free) 5.6   100 55    -16 true 3.2  66 37    2 unknown .048 8.8 .20 0 error (1) .42 40 3.9 0 error (1) .39 37 4.2 0 true 5.1 290 43 2 unknown 890    290 9200   0 false(valid-free) 82    2100 990   -16 timeout 900     340 11000    0 true 600     310 5700    2 timeout 900     450 11000    0 unknown .059 11   .70 0 true .25  27 2.6 2 true 110   150 1400 2 true .56 17   7.1 2 timeout 900   2000 9500 0 timeout 900   1600 12000 0 timeout 900   870 11000 0
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i error (8) .19  27 1.7  0 error (134) 580    14000 4500    0 unknown .029 8.2 .26 0 error (1) .43 40 3.9 0 error (1) .42 40 3.5 0 error 3.3 260 29 0 unknown 890    270 9000   0 timeout 900    12000 2000   0 timeout 900     410 8700    0 timeout 900     520 12000    0 timeout 900     580 8700    0 unknown .064 19   .83 0 unknown .20  28 2.5 0 true 880   310 11000 2 timeout (timeout) 900    2500   12000   0 timeout 900   830 12000 0 timeout 900   890 11000 0 timeout 900   3600 10000 0
ldv-memsafety/memleaks_test18_true-valid-memsafety.i false(valid-memtrack) .56  38 5.6  -16 true 2.1  41 19    2 unknown .031 8.2 .21 0 error (1) .45 40 3.8 0 error (1) .41 37 3.4 0 true 4.6 270 39 2 true 840    240 7000   2 true 170    2200 1700   2 timeout 900     460 7900    0 true 500     410 6500    2 true 590     460 5400    2 unknown .065 12   .73 0 true .33  29 4.0 2 true 43   110 580 2 true .52 14   6.1 2 timeout 900   720 11000 0 timeout 900   640 11000 0 timeout 900   1600 12000 0
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true .21  27 1.9  2 true .40 21 3.5  2 unknown .031 8.3 .19 0 error (1) .40 38 4.4 0 error (1) .42 40 3.8 0 true 3.8 260 33 2 true 1.1  30 12   2 true .26 26 2.6 2 out of memory 140     15000 1800    0 true .12  26 1.3  2 true .14  26 1.1  2 unknown .067 11   .67 0 true .16  28 2.3 2 true 4.0 70 55 2 true .45 16   5.8 2 true 210   690 2200 2 timeout 900   1100 10000 0 error 480   1500 6600 0
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true .22  27 1.4  2 true .36 21 3.8  2 unknown .030 8.4 .26 0 error (1) .45 40 3.9 0 error (1) .45 41 3.4 0 true 3.4 260 28 2 true .99 30 12   2 true .19 26 2.4 2 out of memory 70     15000 810    0 true .10  26 1.1  2 true .098 26 1.0  2 unknown .057 11   .76 0 true .16  26 2.2 2 true 3.2 70 36 2 true .43 12   4.9 2 true 7.3 370 57 2 true 7.2 340 56 2 true 26   370 260 2
ldv-memsafety/memleaks_test20_true-valid-memsafety.i false(valid-memtrack) .22  27 1.7  -16 true .36 21 3.4  2 unknown .040 8.0 .21 0 error (1) .41 37 3.4 0 error (1) .44 38 3.7 0 true 3.6 260 26 2 true 1.0  30 14   2 true .20 26 2.1 2 out of memory 91     15000 1000    0 true .11  26 1.0  2 true .11  26 1.3  2 unknown .066 11   .61 0 true .20  27 2.1 2 true 3.4 72 47 2 true .42 14   4.9 2 true 9.8 460 85 2 true 9.4 420 79 2 true 71   500 950 2
ldv-memsafety/memleaks_test21_true-valid-memsafety.i false(valid-memtrack) .19  27 1.7  -16 true .40 33 3.7  2 unknown .034 8.2 .23 0 error (1) .39 37 3.6 0 error (1) .42 38 3.8 0 true 3.7 270 29 2 true 1.0  30 13   2 true .19 26 2.4 2 out of memory 90     15000 1100    0 true .11  26 1.0  2 true .098 26 1.1  2 unknown .060 12   .73 0 true .19  27 2.1 2 true 3.2 68 37 2 true .44 14   5.5 2 true 8.7 430 70 2 true 7.9 380 57 2 true 42   500 460 2
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i error (134) .54  36 5.6  0 true 1.7  26 19    2 unknown .081 44   .51 0 error (1) .44 40 4.0 0 error (1) .40 38 3.8 0 true 3.8 260 35 2 true 28    33 360   2 true .34 26 3.4 2 out of memory 830     15000 12000    0 true 1.0   85 13    2 true 7.8   140 99    2 unknown .098 12   .60 0 true .20  26 2.1 2 true 4.2 73 55 2 true .44 20   5.2 2 true 280   720 3800 2 timeout 900   1400 11000 0 timeout 900   3300 11000 0
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i error (134) .64  35 6.8  0 true 1.9  28 17    2 unknown .028 8.7 .26 0 error (1) .44 40 4.0 0 error (1) .41 38 3.5 0 true 3.9 270 32 2 true 37    36 500   2 true .35 26 4.5 2 out of memory 730     15000 9700    0 true 1.1   93 14    2 true 15     170 200    2 unknown .067 11   .70 0 true .19  27 2.1 2 true 5.0 76 62 2 true .44 23   5.1 2 timeout 900   1600 9800 0 timeout 900   1800 12000 0 timeout 900   960 11000 0
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i error (134) .66  43 7.5  0 true 1.8  28 16    2 unknown .032 8.1 .18 0 error (1) .41 40 4.1 0 error (1) .42 37 3.6 0 true 3.9 270 31 2 true 37    36 410   2 true .36 26 4.8 2 out of memory 730     15000 10000    0 true 1.3   96 17    2 true 15     170 180    2 unknown .058 11   .65 0 true .20  28 2.4 2 true 5.2 78 58 2 true .44 24   5.5 2 timeout 900   1200 11000 0 timeout 900   1900 11000 0 timeout 900   1100 13000 0
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error (134) .90  130 9.6  0 error (42) 850    10000 5900    0 unknown .061 44   .55 0 error (1) .42 37 4.1 0 error (1) .43 40 4.4 0 false(valid-deref) 3.6 260 31 -16 false(valid-deref) 480    340 4800   -16 timeout 900    4300 6100   0 false(valid-deref) 220     260 1900    -16 false(valid-deref) 370     320 2900    -16 unknown .14  27 1.6  0 unknown .063 12   .71 0 unknown .18  30 2.3 0 true 880   330 8400 2 timeout (timeout) 900    2000   9500   0 timeout 900   990 11000 0 timeout 900   2100 11000 0 timeout 910   7200 9400 0
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error (134) .90  130 9.4  0 error (42) 850    10000 6900    0 unknown .034 8.3 .19 0 error (1) .42 37 4.0 0 error (1) .39 37 4.2 0 false(valid-deref) 4.2 260 31 -16 false(valid-deref) 200    210 1900   -16 timeout 900    4200 8000   0 false(valid-deref) 330     310 3000    -16 false(valid-deref) 150     240 1400    -16 unknown .14  27 1.7  0 unknown .061 12   .79 0 unknown .18  29 2.4 0 timeout 880   290 7100 0 timeout (timeout) 900    1800   10000   0 timeout 900   700 12000 0 timeout 900   2400 12000 0 error 670   2500 8400 0
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true .19  27 1.6  2 true .38 21 3.3  2 unknown .074 44   .51 0 error (1) .42 40 3.9 0 error (1) .43 38 3.7 0 true 3.3 250 30 2 true .98 30 11   2 true .21 26 2.6 2 out of memory 70     15000 930    0 true .12  26 .99 2 true .095 26 1.0  2 unknown .060 11   .62 0 true .17  27 1.9 2 true 3.2 73 44 2 true .41 12   4.3 2 true 8.4 400 56 2 true 7.6 340 52 2 true 27   380 260 2
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true .19  27 1.6  2 true .38 21 3.3  2 unknown .034 8.0 .22 0 error (1) .44 40 4.0 0 error (1) .42 38 3.6 0 true 3.4 260 28 2 true .98 30 13   2 true .20 26 2.4 2 out of memory 72     15000 790    0 true .094 26 1.0  2 true .12  26 .99 2 unknown .080 11   .60 0 true .19  26 2.0 2 true 3.2 69 44 2 true .43 12   4.5 2 true 8.3 390 64 2 true 7.2 370 56 2 true 30   450 310 2
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true .18  27 1.6  2 true .38 21 3.3  2 unknown .030 8.2 .19 0 error (1) .42 40 3.9 0 error (1) .42 40 4.4 0 true 3.4 260 30 2 true 1.0  30 12   2 true .22 26 2.6 2 out of memory 93     15000 990    0 true .097 26 .95 2 true .097 26 1.0  2 unknown .074 11   .61 0 true .16  26 2.0 2 true 3.2 70 49 2 true .44 12   5.6 2 true 11   470 84 2 true 9.5 470 74 2 true 59   570 620 2
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true .19  27 2.0  2 true .36 21 4.3  2 unknown .034 8.2 .19 0 error (1) .42 37 3.4 0 error (1) .41 37 3.8 0 true 14   260 18 2 true .99 30 13   2 true .19 26 2.2 2 out of memory 73     15000 880    0 true .11  26 1.1  2 true .094 26 1.1  2 unknown .085 11   .54 0 true .16  28 2.1 2 true 3.2 69 42 2 true .42 13   5.1 2 true 8.8 420 68 2 true 7.1 360 55 2 true 41   470 410 2
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true .20  27 1.6  2 true .37 21 3.1  2 unknown .019 8.3 .25 0 error (1) .45 40 3.9 0 error (1) .44 40 3.7 0 true 3.9 270 29 2 true 1.1  30 13   2 true .20 26 2.8 2 out of memory 110     15000 1500    0 true .13  26 1.0  2 true .10  26 1.3  2 unknown .088 11   .70 0 true .20  27 2.1 2 true 3.5 73 41 2 true .46 15   5.9 2 true 160   530 2000 2 true 500   770 6200 2 true 240   870 2900 2
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true .20  27 1.9  2 true .36 21 3.7  2 unknown .055 44   .56 0 error (1) .42 37 3.8 0 error (1) .43 37 3.5 0 true 3.7 270 32 2 true 1.1  30 13   2 true .20 26 2.5 2 out of memory 500     15000 1000    0 true .12  26 1.1  2 true .12  26 1.1  2 unknown .077 11   .57 0 true .20  27 2.0 2 true 3.5 75 42 2 true .45 15   5.1 2 true 86   540 1100 2 timeout 900   550 9800 0 true 130   890 1700 2
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true .20  29 1.6  2 true .40 21 3.3  2 unknown .040 44   1.2  0 error (1) .41 37 3.3 0 error (1) .39 38 3.7 0 true 3.4 260 26 2 true 1.0  30 12   2 true .21 26 2.2 2 out of memory 72     15000 800    0 true .094 26 1.0  2 true .12  26 1.1  2 unknown .060 11   .61 0 true .19  36 2.3 2 true 3.3 70 40 2 true .41 12   5.4 2 true 9.2 400 67 2 true 8.3 380 64 2 true 27   450 260 2
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true .20  27 1.5  2 true .39 21 3.0  2 unknown .031 8.2 .17 0 error (1) .41 39 3.5 0 error (1) .40 38 4.2 0 true 3.6 260 28 2 true 1.0  30 12   2 true .18 26 2.3 2 out of memory 75     15000 960    0 true .12  26 1.2  2 true .11  26 1.1  2 unknown .087 11   .55 0 true .15  27 2.3 2 true 3.4 70 41 2 true .40 12   5.0 2 true 8.4 380 67 2 true 7.6 400 59 2 true 35   480 390 2
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i error (8) .19  23 1.4  0 true .36 18 2.8  2 unknown .025 7.9 .15 0 error (1) .41 38 3.5 0 error (1) .44 40 3.9 0 true 9.5 230 12 2 unknown 17    28 200   0 false(valid-deref) .16 23 2.1 -16 unknown .085 23 .71 0 unknown .086 23 .89 0 unknown .071 23 .91 0 unknown .046 9.9 .53 0 unknown .11  21 1.7 0 true 3.5 75 40 2 true .23 12   2.5 2 unknown 4.5 300 35 0 unknown 4.9 300 40 0 unknown 4.9 310 37 0
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i error (8) .18  24 1.4  0 true .63 19 6.0  2 unknown .025 7.9 .13 0 error (1) .41 37 3.4 0 error (1) .40 38 3.5 0 true 2.3 230 22 2 unknown 18    28 210   0 false(valid-deref) .18 23 1.9 -16 unknown .091 23 .75 0 unknown .099 23 .78 0 unknown .10  23 .87 0 unknown .048 10   .52 0 unknown .14  22 1.7 0 true 3.7 75 52 2 true .23 13   2.8 2 unknown 5.3 320 38 0 unknown 5.5 330 36 0 unknown 5.2 310 42 0
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i error (8) .25  37 1.7  0 true .71 21 5.3  2 unknown .024 8.0 .19 0 error (1) .46 40 3.8 0 error (1) .40 38 3.7 0 true 2.4 240 21 2 unknown 18    28 240   0 false(valid-deref) .19 23 2.1 -16 unknown .099 23 .73 0 unknown .10  23 .73 0 unknown .097 23 .79 0 unknown .052 11   .50 0 unknown .13  21 1.7 0 true 3.9 69 54 2 true .23 13   2.7 2 unknown 4.8 300 37 0 unknown 5.3 320 43 0 unknown 4.7 300 41 0
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i true .20  25 1.7  2 true .93 19 9.5  2 unknown .024 7.7 .17 0 error (1) .44 40 3.8 0 error (1) .39 37 3.5 0 true 2.3 240 19 2 unknown 8.9  28 110   0 true .57 23 7.4 2 unknown .44  23 6.2  0 unknown .71  27 9.5  0 unknown .96  49 11    0 unknown .050 10   .49 0 unknown .11  21 1.9 0 true 3.8 73 50 2 true .23 12   2.8 2 unknown 5.2 330 41 0 unknown 6.2 350 43 0 unknown 5.5 310 40 0
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i true .22  25 2.0  2 true 1.0  19 9.1  2 unknown .026 7.9 .15 0 error (1) .42 37 3.2 0 error (1) .42 37 3.3 0 true 2.5 230 23 2 false(valid-deref) 9.6  28 130   -16 false(valid-deref) .89 24 11   -16 false(valid-deref) .54  23 6.7  -16 false(valid-deref) .86  27 11    -16 false(valid-deref) 1.2   50 15    -16 unknown .068 10   .43 0 unknown .11  22 1.8 0 true 4.3 72 54 2 true .26 13   2.7 2 unknown 4.9 320 37 0 unknown 5.5 320 39 0 unknown 5.4 320 43 0
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) .18  24 1.5  1 false(valid-deref) .18 18 1.8  1 unknown .025 7.9 .16 0 error (1) .39 37 4.1 0 error (1) .43 40 3.6 0 false(valid-deref) 9.7 240 12 1 unknown 17    28 200   0 false(valid-deref) .16 23 1.9 1 unknown .10  23 .67 0 unknown .072 23 .97 0 unknown .078 23 .81 0 unknown .073 18   .49 0 unknown .13  23 1.6 0 false(valid-deref) 1.9 77 26 1 false(valid-deref) .23 12   2.5 1 unknown 5.3 320 45 0 unknown 5.1 300 35 0 unknown 4.7 300 36 0
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (8) .19  24 1.4  0 false(valid-deref) .50 19 4.4  1 unknown .024 8.0 .14 0 error (1) .42 40 4.0 0 error (1) .40 37 3.6 0 false(valid-deref) 2.5 240 23 1 unknown 18    29 270   0 false(valid-deref) .73 24 1.4 1 unknown .075 23 .87 0 unknown .10  23 .70 0 unknown .082 23 .87 0 unknown .050 18   .68 0 unknown .13  31 2.2 0 false(valid-deref) 1.9 78 25 1 false(valid-deref) .23 13   2.5 1 unknown 5.5 330 45 0 unknown 4.8 300 35 0 unknown 5.1 320 38 0
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) .62  34 7.8  1 false(valid-deref) .86 19 7.6  1 unknown .029 7.9 .13 0 error (1) .43 40 4.3 0 error (1) .41 40 3.7 0 false(valid-deref) 2.3 240 20 1 unknown 160    29 450   0 unknown .58 23 9.0 0 unknown 3.1   23 7.3  0 unknown 1.4   29 19    0 unknown 1.7   66 22    0 unknown .076 10   .43 0 unknown .12  23 1.9 0 false(valid-deref) 1.7 70 22 1 false(valid-deref) .23 12   2.8 1 unknown 4.8 300 38 0 unknown 5.4 310 41 0 unknown 4.8 300 35 0
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) .73  36 8.2  1 false(valid-deref) .78 19 11    1 unknown .035 7.6 .13 0 error (1) .42 37 3.7 0 error (1) .45 40 3.9 0 false(valid-deref) 2.3 240 20 1 false(valid-deref) 9.5  28 110   1 false(valid-deref) 3.7  24 8.5 1 false(valid-deref) .52  23 6.3  1 false(valid-deref) .86  27 9.4  1 false(valid-deref) 1.1   50 13    1 unknown .047 10   .58 0 unknown .13  22 1.7 0 false(valid-deref) 1.8 70 23 1 false(valid-deref) .23 13   3.0 1 unknown 5.5 330 42 0 unknown 4.8 310 39 0 unknown 4.9 300 38 0
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (8) .17  24 1.5  0 false(valid-free) .49 19 5.1  1 unknown .063 44   .58 0 error (1) .42 38 3.8 0 error (1) .41 38 3.8 0 false(valid-free) 2.4 240 20 1 unknown 19    28 230   0 false(valid-deref) .19 23 2.0 -16 unknown .077 23 .81 0 unknown .076 23 .92 0 unknown .10  23 .75 0 unknown .073 10   .44 0 unknown .14  21 1.6 0 false(valid-free) 3.3 81 43 1 false(valid-free) .23 12   2.4 1 unknown 5.7 330 43 0 unknown 4.8 300 37 0 unknown 5.8 330 41 0
../../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
total 181 7900    31000 83000   -350 181 18000 160000 140000 190 181 7.3 2400 48 0 181 78 7000 690 0 181 75 6900 680 0 181 39000 410000 320000 140 181 57000 91000 550000 -185 181 38000 740000 350000 -41 181 64000 530000 650000 -103 181 40000 210000 400000 -31 181 22000 120000 210000 -4 181 290    3800 5000   37 181 17000 43000 130000 216 181 59000 33000 570000 204 181 32000 100000 300000 202 181 77000 200000 950000 96 181 92000 190000 1200000 69 181 80000 390000 870000 84
    correct results 78 350    7700 3200   114 136 1400 7900 13000 190 0 0 0 135 890 55000 5700 188 84 6800 8200 69000 119 106 3500 47000 37000 151 73 2400 4600 22000 73 117 6100 15000 65000 161 104 4500 30000 45000 140 22 66    1800 760   37 149 1600 12000 15000 216 144 26000 20000 260000 204 146 150 3300 1900 202 62 4800 38000 60000 96 45 2700 27000 34000 69 55 5700 45000 75000 84
        correct true 36 240    3400 2100   72 54 1200 3900 11000 108 0 0 0 53 490 28000 3000 106 35 3500 5000 36000 70 45 1600 21000 15000 90 0 44 3600 8100 40000 88 36 2100 9600 20000 72 15 66    1700 760   30 67 1400 7900 13000 134 60 14000 8800 140000 120 56 85 1200 1100 112 34 2000 16000 24000 68 24 1500 16000 18000 48 29 1400 14000 16000 58
        correct false 42 110    4300 1100   42 82 220 4000 2400 82 0 0 0 82 400 26000 2700 82 49 3200 3200 33000 49 61 1900 26000 23000 61 73 2400 4600 22000 73 73 2500 7200 25000 73 68 2400 21000 24000 68 7 .46 79 3.7 7 82 220 4300 2000 82 84 13000 11000 120000 84 90 69 2100 850 90 28 2800 22000 36000 28 21 1200 11000 16000 21 26 4400 31000 59000 26
    correct-unconfimed results 0 0 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 0 0
        correct-unconfirmed false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
    incorrect results 27 50    1600 490   -464 0 0 0 0 3 12 780 94 -48 19 720 1500 7100 -304 12 88 2400 1100 -192 11 550 840 5000 -176 12 1300 1400 10000 -192 9 45 770 520 -144 0 0 0 0 0 0 0
        incorrect true 2 .60 55 6.4 -64 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 25 50    1600 490   -400 0 0 0 0 3 12 780 94 -48 19 720 1500 7100 -304 12 88 2400 1100 -192 11 550 840 5000 -176 12 1300 1400 10000 -192 9 45 770 520 -144 0 0 0 0 0 0 0
score (181 tasks, max score: 272) -350 190 0 0 0 140 -185 -41 -103 -31 -4 37 216 204 202 96 69 84
Run set 2ls.sv-comp17.MemSafety-Heap cbmc.sv-comp17.MemSafety-Heap ceagle.sv-comp17.MemSafety-Heap cpa-bam-bnb.sv-comp17.MemSafety-Heap cpa-kind.sv-comp17.MemSafety-Heap cpa-seq.sv-comp17.MemSafety-Heap depthk.sv-comp17.MemSafety-Heap esbmc.sv-comp17.MemSafety-Heap esbmc-falsi.sv-comp17.MemSafety-Heap esbmc-incr.sv-comp17.MemSafety-Heap esbmc-kind.sv-comp17.MemSafety-Heap forester.sv-comp17.MemSafety-Heap predatorhp.sv-comp17.MemSafety-Heap smack.sv-comp17.MemSafety-Heap symbiotic4.sv-comp17.MemSafety-Heap uautomizer.sv-comp17.MemSafety-Heap ukojak.sv-comp17.MemSafety-Heap utaipan.sv-comp17.MemSafety-Heap