Tool 2LS 0.7.2-sv-comp19 CBMC CBMC Path 5.10 () CPAchecker 1.7-svn 29852 DepthK 3.1 DIVINE ESBMC version 6.0.0 64-bit x86_64 linux Map2Check v7.2-Flock : Tue Nov 27 22:00:00 -04 2018 PeSCo 1.7-svn b8d6131600+ PredatorHP 3.14 SMACK 1.9.3 symbiotic 6.0.3-77d4af47 ULTIMATE Automizer 0.1.23-635dfa2a ULTIMATE Kojak 0.1.23-635dfa2a ULTIMATE Taipan 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET 2018-12-04 22:48:40 CET 2018-12-04 22:45:10 CET 2018-12-05 05:46:16 CET 2018-12-05 09:36:33 CET 2018-12-10 10:00:20 CET 2018-12-06 11:06:04 CET 2018-12-06 11:03:31 CET 2018-12-06 12:20:21 CET 2018-12-06 12:44:04 CET 2018-12-07 04:08:42 CET 2018-12-07 19:13:55 CET 2018-12-07 21:42:05 CET 2018-12-08 07:42:40 CET 2018-12-08 11:04:44 CET 2018-12-08 14:19:36 CET
Run set 2ls.sv-comp19_prop-memsafety.MemSafety-Heap cbmc.sv-comp19_prop-memsafety.MemSafety-Heap cbmc-path.sv-comp19_prop-memsafety.MemSafety-Heap cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap depthk.sv-comp19_prop-memsafety.MemSafety-Heap divine-explicit.sv-comp19_prop-memsafety.MemSafety-Heap divine-smt.sv-comp19_prop-memsafety.MemSafety-Heap esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap map2check.sv-comp19_prop-memsafety.MemSafety-Heap pesco.sv-comp19_prop-memsafety.MemSafety-Heap predatorhp.sv-comp19_prop-memsafety.MemSafety-Heap smack.sv-comp19_prop-memsafety.MemSafety-Heap symbiotic.sv-comp19_prop-memsafety.MemSafety-Heap uautomizer.sv-comp19_prop-memsafety.MemSafety-Heap ukojak.sv-comp19_prop-memsafety.MemSafety-Heap utaipan.sv-comp19_prop-memsafety.MemSafety-Heap
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp19 -heap 10000M -benchmark -timelimit 900s --no-symbolic -s kinduction -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s --witness error-witness.graphml -w error-witness.graphml --witness witness.graphml --full-output --full-output --full-output
../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
memsafety/960521-1_false-valid-deref.i .17  26 1.9  0 .84  30   11    0 3.2   34   44    0 11   700 85 1 74    63 970   0 8.6 450 100 1 8.6 450 98 1 5.3   110 82    1 .47 83 5.9 1 10   720 85 1 7.0  140 72   1 750   330 8600 0 .19 15 1.9 1 900   830 11000 0 900   1000 6700 0 900   910 10000 0
memsafety/test-0137_false-valid-deref.i .18  26 3.9  0 .27  22   3.5  0 .15  9.6 1.6  0 910   4700 8100 0 .20 34 2.2 1 8.5 450 110 0 8.7 450 110 -16 .13  27 1.6  1 .51 83 6.5 1 910   4700 8400 0 .40 35 4.3 1 4.4 92 50 0 .25 18 2.7 1 13   330 100 0 13   360 110 0 13   340 110 0
memsafety/test-0235_false-valid-deref.i .31  27 2.9  0 58     2600   500    0 .13  11   1.8  0 900   5000 9000 0 .64 42 10   1 900   560 8900 0 900   560 9500 0 .56  33 7.9  1 .50 83 6.4 1 900   5000 8600 0 900    8200 11000   0 36   150 460 0 .33 18 4.4 1 900   2300 12000 0 900   890 12000 0 900   960 12000 0
memsafety/960521-1_false-valid-free.i .17  26 1.5  0 .91  30   11    0 4.8   45   62    0 11   720 95 1 74    62 1000   0 8.5 450 110 1 8.6 450 110 1 5.3   110 69    1 .43 82 6.1 1 11   730 110 1 7.0  170 80   1 750   330 8800 0 .18 16 2.4 1 900   1000 11000 0 900   1200 8300 0 900   1000 10000 0
memsafety/test-0158_false-valid-free.i .19  27 2.2  1 .13  9.2 .70 1 .087 9.0 .70 1 4.0 290 33 1 .21 34 2.7 -16 8.2 450 99 1 8.3 450 89 1 .14  27 1.6  1 .46 82 6.4 1 4.1 280 32 1 .16 35 1.6 1 4.6 81 58 0 .18 16 1.8 1 10   390 75 1 13   610 120 1 10   400 76 1
memsafety/test-0232_false-valid-free.i 1.8   71 22    0 .12  8.1 1.2  1 .071 7.5 .97 0 900   4900 8600 0 .63 36 7.2 -16 8.4 450 100 1 8.5 450 95 1 .30  28 4.2  1 900    160 9500   0 910   4800 7400 0 .36 50 1.3 1 760   270 6400 0 .22 17 2.7 1 500   1600 6000 1 900   950 8400 0 900   780 11000 0
memsafety/20020406-1_false-valid-memtrack.i .33  29 4.4  0 .15  8.9 1.9  0 .29  12   3.9  0 4.6 280 44 0 5.6  66 84   0 8.3 450 100 0 8.8 450 100 0 4.3   93 55    0 .54 83 6.1 0 4.6 290 43 0 .21 40 1.7 0 12   100 150 0 .24 17 2.6 0 900   2300 12000 0 900   1200 9000 0 900   1200 11000 0
memsafety/20051113-1.c_false-valid-memtrack.i .18  26 1.5  0 .22  7.5 3.5  0 1.9   20   25    0 4.1 280 34 1 1.4  36 21   0 8.5 450 100 1 8.3 450 120 1 .40  27 5.3  0 .45 83 5.5 1 4.3 280 37 1 .17 35 1.3 1 8.6 86 110 0 .18 15 2.1 1 900   910 11000 0 900   1100 7200 0 910   13000 5200 0
memsafety/lockfree-3.1_false-valid-memtrack.i 10     230 140    0 2.7   120   32    0 .076 8.5 .50 0 910   3500 7600 0 4.8  44 61   0 8.5 450 110 1 8.6 450 120 1 1.0   34 13    0 900    250 12000   0 910   5500 5300 0 .22 37 1.9 1 840   180 10000 0 .30 17 3.1 1 82   1000 670 0 900   1100 6200 0 110   1200 960 0
memsafety/lockfree-3.2_false-valid-memtrack.i 11     220 110    0 .096 7.5 1.0  1 .075 7.9 .54 0 910   5400 5900 0 .50 35 6.2 0 8.3 450 100 1 8.6 440 100 1 .16  27 1.6  0 900    240 10000   0 920   5700 4800 0 .17 36 1.7 1 840   180 11000 0 .23 17 2.8 1 23   560 200 0 25   580 200 0 24   590 210 0
memsafety/lockfree-3.3_false-valid-memtrack.i 10     220 100    0 2.7   120   35    0 .073 7.6 .49 0 920   5300 5900 0 18    68 220   0 8.8 450 100 0 8.7 450 110 0 4.9   74 59    0 900    240 11000   0 910   5400 6900 0 .20 37 2.1 1 750   160 8400 0 .58 26 8.3 1 130   2500 1200 0 900   1200 6000 0 180   4100 1800 0
memsafety/test-0019_false-valid-memtrack_true-termination.i .18  26 2.0  1 .079 8.3 .69 0 .12  6.7 .66 0 3.7 270 34 1 .16 34 1.9 0 8.4 440 100 1 8.3 450 120 1 .13  26 1.2  0 .46 83 4.7 1 3.4 260 34 1 .15 35 1.7 1 6.3 110 75 0 .20 16 1.9 1 27   580 240 0 39   670 350 0 25   570 240 0
memsafety/test-0102_false-valid-memtrack.i .20  27 1.7  0 .18  11   2.2  0 .093 7.8 .85 0 900   4700 8300 0 4.1  63 56   0 8.5 450 110 0 8.8 440 120 0 49     190 560    0 .48 83 6.3 1 900   4700 9800 0 33    710 350   1 750   330 5500 0 .25 18 3.1 1 13   360 100 0 12   330 110 0 12   330 110 0
memsafety/test-0158_false-valid-memtrack_true-termination.i .18  26 1.9  0 .060 7.0 .67 1 .064 7.5 .52 1 3.7 280 31 1 .15 34 1.6 0 8.3 450 110 1 8.3 450 94 1 .088 27 1.1  0 .45 83 5.4 1 3.4 260 34 1 .15 33 1.5 1 6.1 76 72 0 .16 15 1.9 1 16   340 120 0 18   380 150 0 15   340 120 0
memsafety/test-0220_false-valid-memtrack.i .18  27 1.8  0 .21  11   2.0  0 .094 8.7 .92 0 900   4800 7700 0 20    120 240   0 8.4 450 110 1 8.6 440 110 1 68     460 730    0 900    180 10000   0 910   4800 8000 0 .42 38 5.1 1 750   380 7900 0 .27 17 2.8 1 900   1700 12000 0 900   610 12000 0 900   1600 11000 0
memsafety/test-0232_false-valid-memtrack.i .99  51 12    1 .093 6.8 1.0  0 .11  7.0 .55 0 900   4900 6800 0 .17 34 1.8 0 8.3 450 110 1 8.5 450 100 1 .11  26 1.2  0 .49 83 4.5 1 900   4800 6900 0 .17 35 1.4 1 840   320 8400 0 .21 18 2.5 1 50   750 510 0 900   930 10000 0 58   750 660 0
memsafety/test-0234_false-valid-memtrack.i .21  27 2.2  0 6.4   310   82    0 .16  11   1.3  0 900   5000 8500 0 .49 41 6.1 0 900   570 8600 0 900   570 8000 0 .42  33 5.3  0 .49 83 7.7 1 900   5000 11000 0 3.7  130 40   1 750   390 7400 0 .29 18 3.0 1 900   2200 13000 0 900   640 12000 0 900   970 12000 0
memsafety/test-0235_false-valid-memtrack.i .27  27 2.8  0 12     580   150    0 .14  11   1.5  0 900   5000 11000 0 .53 41 5.7 0 900   570 9700 0 900   570 10000 0 .43  33 5.6  0 .53 83 6.1 1 900   4900 10000 0 3.7  130 46   1 750   380 9600 0 .32 18 4.2 1 900   2300 13000 0 900   770 11000 0 900   930 13000 0
memsafety/960521-1_true-valid-memsafety.i .16  26 1.7  0 93     15000   1300    0 880     14000   12000    0 910   8700 10000 0 72    64 1100   0 100   6100 1100 2 100   6100 1000 2 900     13000 10000    0 900    120 9600   0 900   8800 10000 0 900    6900 7900   0 770   210 8800 0 .62 23 9.3 2 900   1100 12000 0 900   1600 5900 0 900   770 11000 0
memsafety/lockfree-3.0_true-valid-memsafety.i 10     220 120    0 880     2000   6200    0 .090 8.0 .62 0 900   5400 7300 0 900    390 11000   0 900   7000 8000 0 900   7000 8400 0 900     710 12000    0 900    240 12000   0 920   5800 5900 0 37    240 340   2 880   180 12000 0 900    3700 6100   0 910   8600 7800 0 900   1200 6000 0 900   12000 7700 0
memsafety/test-0019_true-valid-memsafety_true-termination.i .18  26 2.1  2 .097 6.9 .78 2 .13  8.0 1.6  2 3.5 270 30 2 .42 35 5.2 2 8.3 390 100 2 8.5 390 96 2 .12  26 1.8  2 120    4400 1500   2 3.6 280 32 2 .14 34 1.4 2 5.7 74 76 0 .14 15 1.5 2 21   670 170 2 900   1200 11000 0 18   520 160 2
memsafety/test-0102_true-valid-memsafety.i .19  26 2.2  0 880     4400   11000    0 .13  7.8 .81 0 900   4700 8700 0 900    770 9200   0 900   500 7900 0 900   500 7200 0 900     2400 12000    0 900    170 10000   0 900   4700 10000 0 .64 57 6.2 2 750   370 5900 0 900    2900 8200   0 13   330 94 0 13   350 100 0 12   340 94 0
memsafety/test-0134_true-valid-memsafety.i .19  26 1.6  0 880     2500   8200    0 650     15000   7200    0 900   4700 11000 0 900    1300 9200   0 8.4 450 100 0 8.6 450 82 -16 900     2600 9800    0 900    190 11000   0 910   4700 9800 0 .74 62 6.7 2 750   360 6600 0 900    1500 15000   0 12   310 100 0 13   350 120 0 13   340 110 0
memsafety/test-0158_true-valid-memsafety_true-termination.i .17  26 1.7  2 .091 7.1 1.1  2 .081 7.7 .79 2 3.6 270 31 2 .49 35 6.0 2 8.5 390 100 2 8.4 390 120 2 .16  26 2.0  2 320    4300 3200   2 3.7 280 33 2 .27 47 1.7 2 5.4 75 70 0 .13 16 1.5 2 10   390 87 2 13   560 130 2 10   390 76 2
memsafety/test-0214_true-valid-memsafety_false-termination.i .19  27 2.1  0 880     2100   8200    0 .10  9.3 1.2  0 900   5400 8400 0 900    6100 7300   0 900   570 9300 0 900   570 8400 0 .36  32 4.6  0 900    200 10000   0 910   5500 8100 0 .58 51 3.7 2 750   210 6300 0 230    82 2400   0 900   2100 12000 0 900   970 7500 0 900   13000 7500 0
memsafety/test-0217_true-valid-memsafety_false-termination.i .17  27 1.8  0 50     13000   620    0 .13  8.3 1.0  0 900   11000 8500 0 310    15000 3100   0 900   640 8400 0 900   670 8200 0 .87  82 10    0 900    220 11000   0 910   11000 7900 0 .46 38 5.3 2 750   290 7000 0 900    130 8600   0 900   2400 12000 0 900   1000 8500 0 900   3700 12000 0
memsafety/test-0218_true-valid-memsafety_false-termination.i .18  27 2.0  0 880     3900   11000    0 .11  9.0 1.0  0 950   11000 9900 0 260    15000 3300   0 900   640 8100 0 900   680 9000 0 .45  48 6.0  0 900    220 11000   0 970   11000 8500 0 .47 38 5.0 2 750   280 7800 0 900    260 12000   0 900   1100 12000 0 900   960 8900 0 900   1100 11000 0
memsafety/test-0219_true-valid-memsafety.i .18  27 2.2  0 880     920   6300    0 .098 8.4 .99 0 900   4800 8100 0 900    1600 10000   0 900   400 8700 0 900   400 8800 0 900     2900 9700    0 900    180 10000   0 900   4900 9900 0 .83 58 8.2 2 750   430 6500 0 900    2900 6700   0 900   2300 14000 0 900   610 12000 0 900   1200 12000 0
memsafety/test-0232_true-valid-memsafety.i 2.0   86 22    0 880     3300   11000    0 .075 7.5 .81 0 900   4900 7200 0 900    300 11000   0 900   420 9000 0 900   420 9500 0 900     660 10000    0 900    160 10000   0 900   4900 8900 0 .39 35 5.1 2 880   310 8100 0 900    940 11000   0 900   1300 11000 0 900   1000 10000 0 900   910 13000 0
memsafety/test-0234_true-valid-memsafety.i .23  27 2.1  0 880     1100   3900    0 .13  11   1.6  0 910   5000 11000 0 900    10000 7900   0 900   560 8900 0 900   560 8500 0 200     15000 2000    0 900    200 11000   0 910   4900 11000 0 .82 65 7.8 2 750   400 6800 0 900    2800 6700   0 900   2300 12000 0 900   840 13000 0 900   950 10000 0
memsafety/test-0235_true-valid-memsafety.i .29  27 2.8  0 880     2400   3500    0 .14  11   1.6  0 900   5000 11000 0 900    11000 5700   0 900   560 9800 0 900   560 8400 0 210     15000 2400    0 900    200 11000   0 900   5000 9700 0 3.9  160 38   2 750   390 7700 0 900    3000 7900   0 900   2200 12000 0 900   770 12000 0 900   12000 10000 0
memsafety/test-0236_true-valid-memsafety.i .23  27 2.3  0 880     1800   4400    0 .17  12   1.9  0 900   4800 9300 0 900    15000 10000   0 900   550 8400 0 900   550 8400 0 210     15000 2400    0 900    190 12000   0 900   4800 10000 0 .91 63 8.2 2 750   440 6800 0 900    2800 6400   0 900   2400 12000 0 900   630 14000 0 900   880 11000 0
memsafety/test-0237_true-valid-memsafety.i .23  27 2.7  0 880     1800   6700    0 .17  12   1.7  0 900   4700 11000 0 800    15000 8800   0 900   550 9500 0 900   540 9900 0 210     15000 3100    0 900    180 11000   0 900   4800 9700 0 .94 66 8.9 2 750   420 9400 0 900    2800 4800   0 900   1200 13000 0 900   800 12000 0 900   940 13000 0
memsafety/test-0504_true-valid-memsafety.i 190     1800 2200    0 880     1800   8200    0 .10  7.8 .60 0 900   11000 5700 0 900    570 14000   0 900   750 7100 0 900   700 8000 0 900     620 11000    0 900    160 11000   0 910   11000 6100 0 .72 37 8.9 2 750   330 6500 0 900    3200 8400   0 900   2200 12000 0 900   1000 6500 0 900   2100 14000 0
memsafety/test-0513_true-valid-memsafety.i 14     290 150    0 880     1900   10000    0 .088 8.0 .75 0 970   11000 5900 0 890    670 11000   0 8.5 450 100 0 8.6 450 100 -16 900     930 11000    0 900    170 10000   0 910   11000 5600 0 .69 36 6.5 2 750   380 8900 0 900    1600 12000   0 900   2400 9400 0 900   1000 9100 0 900   900 12000 0
memsafety/test-0521_true-valid-memsafety.i 900     7100 10000    0 880     12000   9400    0 .13  8.2 .92 0 900   11000 5900 0 890    1000 9600   0 900   660 7600 0 8.7 450 110 -16 900     1900 12000    0 900    170 10000   0 940   11000 6400 0 1.2  58 11   2 750   420 7200 0 900    3500 7100   0 900   2800 9700 0 900   910 11000 0 900   2200 12000 0
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i .17  26 1.5  0 .16  6.8 1.1  2 .12  8.6 1.4  2 3.8 250 35 2 1.8  39 24   2 8.2 390 120 2 8.3 380 97 2 .65  29 8.0  2 180    4300 1900   2 3.6 250 32 2 .14 34 1.6 2 5.6 74 75 0 .16 15 2.1 2 900   970 9000 0 260   810 2500 2 900   940 11000 0
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i 1.5   59 18    0 880     3800   12000    0 .080 7.4 .78 0 920   11000 6400 0 900    240 13000   0 900   600 8800 0 900   640 7600 0 900     400 11000    0 900    180 10000   0 910   11000 6500 0 900    890 5400   0 880   220 10000 0 900    3800 6800   0 900   1000 9600 0 900   890 7400 0 900   790 12000 0
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i 18     370 200    0 880     2500   6800    0 .13  8.7 1.3  0 970   12000 7400 0 900    160 13000   0 900   400 7300 0 900   400 8100 0 900     190 13000    0 900    230 10000   0 970   12000 7700 0 900    1800 8700   0 750   290 5600 0 900    3000 7900   0 900   1200 12000 0 900   1000 10000 0 900   950 13000 0
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i 130     1300 1300    0 870     2300   6600    0 .13  10   1.5  0 970   12000 7800 0 900    190 12000   0 900   420 7800 0 900   420 8100 0 900     250 11000    0 900    230 11000   0 970   11000 8000 0 900    1300 6600   0 750   350 7800 0 900    3000 7700   0 900   2300 12000 0 900   970 9800 0 900   880 13000 0
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i 26     500 240    0 880     1900   7000    0 .12  8.8 1.1  0 920   11000 6100 0 900    660 10000   0 900   1800 8300 0 900   1800 7800 0 900     800 11000    0 900    230 10000   0 930   11000 7000 0 900    440 5800   0 750   280 6800 0 900    190 12000   0 900   1200 14000 0 900   1000 8000 0 900   2100 12000 0
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 900     5300 9400    0 880     2100   9400    0 .12  9.4 1.3  0 900   11000 7000 0 900    500 9900   0 900   2100 7600 0 900   2100 7300 0 900     1500 11000    0 900    230 12000   0 900   11000 6500 0 900    310 6300   0 750   290 5800 0 900    150 12000   0 900   1100 12000 0 900   930 7500 0 900   1000 12000 0
memsafety-ext/tree_of_cslls_true-valid-memsafety.i 260     3200 2100    2 880     9400   8900    0 .15  8.3 .96 0 940   11000 7100 0 900    650 10000   0 900   2700 9000 0 900   2500 8500 0 900     690 11000    0 900    170 10000   0 910   11000 7400 0 900    510 6900   0 750   320 6700 0 900    550 14000   0 900   2200 12000 0 900   1000 7400 0 900   860 10000 0
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i 54     900 550    0 880     1800   8500    0 .095 8.2 1.2  0 920   11000 6300 0 900    400 11000   0 900   1900 7700 0 900   1900 8400 0 900     920 12000    0 900    230 9800   0 910   11000 7000 0 900    480 6200   0 750   310 7200 0 900    230 12000   0 900   800 12000 0 900   1100 11000 0 900   1000 13000 0
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i 33     670 420    0 880     1800   6400    0 .11  8.9 1.4  0 920   11000 6000 0 900    430 11000   0 900   1800 8700 0 900   1800 8200 0 900     580 11000    0 900    230 11000   0 910   11000 6200 0 900    450 5300   0 750   310 7100 0 900    240 10000   0 900   2100 13000 0 900   920 7100 0 900   1500 10000 0
memsafety-ext2/split_list_test05_false-valid-deref.i 900     7400 11000    0 880     12000   9900    0 .19  9.3 1.3  0 900   11000 9100 0 160    15000 1900   0 8.6 450 100 0 900   420 8800 0 99     15000 1100    0 .49 83 6.4 1 900   12000 8900 0 900    1000 6400   0 750   420 9500 0 .90 38 12   1 900   2100 11000 0 900   1200 9600 0 910   13000 6600 0
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i .25  26 2.5  0 12     410   130    0 .11  8.8 1.4  0 4.6 290 40 1 900    1500 12000   0 8.7 450 110 0 8.5 450 110 1 900     1700 11000    0 900    200 11000   0 4.5 270 38 1 .33 49 1.8 1 750   430 6700 0 .27 18 3.5 1 900   950 12000 0 900   950 6300 0 900   1200 11000 0
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i .21  26 2.1  0 1.3   68   15    0 .12  10   1.5  0 970   11000 5900 0 900    2200 10000   0 8.2 450 100 0 8.6 450 120 1 900     4300 7500    0 900    160 12000   0 900   11000 6500 0 .19 38 1.5 1 750   430 6900 0 .32 18 4.2 1 900   1300 14000 0 900   1000 9800 0 900   1900 11000 0
memsafety-ext2/length_test03_false-valid-memtrack.i 130     1600 960    0 .83  20   11    0 .11  8.5 1.1  0 910   4800 7100 0 12    56 130   0 8.3 450 120 1 8.6 440 92 1 3.1   45 41    0 .46 83 6.2 1 900   4800 6600 0 .39 37 4.3 1 840   320 7200 0 .26 18 3.0 1 900   1500 12000 0 900   1000 8800 0 900   1800 12000 0
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i .17  26 1.7  0 10     120   120    0 .086 8.8 .77 0 900   5100 8300 0 900    360 10000   0 900   430 8100 0 8.6 450 99 1 900     480 12000    0 900    190 11000   0 900   5100 8400 0 .48 37 4.7 1 750   350 6500 0 .32 18 3.8 1 900   2300 13000 0 900   1000 9000 0 900   940 12000 0
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i .22  27 2.0  0 880     1500   8500    0 .12  9.2 1.2  0 900   6300 9900 0 900    1300 9200   0 8.4 450 99 0 8.6 450 120 -16 900     1900 8700    0 900    180 10000   0 910   6400 9300 0 900    7200 9900   0 750   430 9300 0 900    3100 4600   0 900   960 11000 0 900   1000 7000 0 900   1300 11000 0
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i .21  26 2.3  0 880     1800   8700    0 .13  9.6 1.4  0 970   11000 6800 0 900    1800 10000   0 8.3 450 110 0 8.5 450 130 -16 900     4000 8700    0 900    160 9700   0 920   11000 6400 0 900    2500 6800   0 750   460 8200 0 900    3100 8800   0 900   1300 14000 0 900   1100 8700 0 900   2000 11000 0
memsafety-ext2/length_test03_true-valid-memsafety.i 160     1700 1500    0 880     2200   9700    0 .12  8.6 .98 0 900   4900 6700 0 900    370 13000   0 900   420 8600 0 8.6 450 100 -16 900     580 11000    0 900    170 9600   0 910   5000 6600 0 900    2600 12000   0 880   320 9200 0 900    1100 8700   0 900   2300 11000 0 900   1100 7100 0 900   2300 12000 0
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i .17  26 1.5  0 880     4900   8700    0 .11  7.3 .75 0 900   5100 7400 0 890    450 12000   0 900   430 8600 0 8.8 450 120 -16 900     450 9900    0 900    190 12000   0 910   4200 9300 0 900    1900 4000   0 750   350 6100 0 900    3500 5300   0 900   2300 11000 0 900   990 6400 0 900   950 11000 0
memsafety-ext2/split_list_test05_true-valid-memsafety.i 900     7800 10000    0 880     11000   10000    0 .14  9.0 1.4  0 950   11000 8600 0 150    15000 1700   0 8.5 450 100 0 900   420 9500 0 97     15000 1300    0 900    160 10000   0 920   11000 9200 0 900    1000 7700   0 750   380 7300 0 900    3400 6400   0 900   1600 9000 0 900   1200 7100 0 900   990 11000 0
list-ext-properties/960521-1_1_false-valid-deref.i .18  26 1.8  0 .10  8.7 1.1  1 .090 7.9 .57 1 6.7 340 58 1 .58 36 8.3 1 8.4 450 110 1 8.3 450 110 1 .19  27 2.3  1 .45 83 5.1 1 6.1 330 57 1 .17 36 1.3 1 4.0 120 49 0 .23 18 2.7 1 13   540 110 1 12   540 120 1 14   590 110 1
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 22     260 230    -16 .16  12   1.6  -16 .088 7.9 .61 0 6.4 310 57 1 .82 36 10   1 8.5 450 110 0 8.4 450 110 0 150     210 1900    1 .46 83 6.6 1 6.6 310 54 1 13    63 140   1 750   310 8100 0 .81 19 10   0 900   2000 11000 0 900   980 6800 0 900   1000 9200 0
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 2.0   54 24    0 .13  9.5 1.2  -16 .062 8.5 .81 0 910   6300 5600 0 .58 35 8.9 1 8.3 450 95 0 9.6 450 120 0 .26  27 2.6  -16 2.8  75 41   1 910   6500 4800 0 .26 50 1.6 1 3.8 94 50 0 .37 18 4.6 0 11   440 77 1 21   730 180 1 11   470 93 1
list-ext-properties/960521-1_1_false-valid-free.i .18  26 1.5  0 .11  9.0 1.3  1 .067 7.9 .61 0 6.5 280 50 1 .59 35 7.5 0 8.6 450 120 1 8.3 440 100 1 .19  27 2.5  1 .48 83 5.5 1 6.8 350 54 1 .16 36 1.5 1 220   240 3400 0 .25 18 2.6 1 14   490 100 1 23   710 190 1 19   600 160 1
list-ext-properties/test-0158_1_false-valid-free.i .19  25 2.0  1 .12  8.2 .61 1 .076 9.1 .81 1 3.7 280 30 1 .19 34 2.8 -16 8.4 450 100 1 8.6 440 110 1 .14  26 1.7  1 .44 83 6.5 1 3.5 250 29 1 .18 35 1.4 1 4.7 110 55 0 .20 18 2.1 1 10   410 74 1 20   550 190 1 9.9 390 80 1
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i .20  26 1.9  1 .096 7.7 .91 0 .093 7.5 .80 0 3.5 250 35 1 .16 34 1.8 0 8.4 450 100 1 8.2 450 92 1 .10  27 1.3  0 .45 83 5.0 1 3.8 280 34 1 .15 35 1.4 1 6.5 110 78 0 .18 15 1.9 1 140   930 1800 0 250   970 2900 0 120   920 1300 0
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i .18  26 1.7  0 .070 6.5 .43 1 .061 8.1 .67 1 3.8 280 37 1 .15 34 1.6 0 8.4 450 120 1 8.4 450 100 1 .088 26 1.1  0 .46 82 6.3 1 3.7 280 33 1 .26 49 1.8 0 6.2 83 71 0 .19 18 2.2 1 18   380 140 0 22   470 190 0 16   350 120 0
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 1.2   55 17    0 .15  7.2 1.2  0 .086 7.3 .68 0 6.3 290 54 1 .16 34 1.9 0 8.4 450 120 1 8.6 450 110 1 .10  26 .92 0 .49 83 6.1 1 6.1 300 53 1 .16 34 1.4 1 840   340 8400 0 .21 17 2.9 1 71   800 830 0 900   830 11000 0 69   780 710 0
list-ext-properties/960521-1_1_true-valid-memsafety.i .17  26 2.0  0 36     1000   460    2 .11  7.3 .48 0 11   680 95 2 30    51 460   2 8.9 390 120 2 8.9 390 110 2 6.2   37 77    2 900    4300 8500   0 11   690 93 2 1.1  58 8.5 2 260   260 4100 0 .37 17 5.1 2 900   1000 12000 0 630   1100 5600 2 900   1100 12000 0
list-ext-properties/list-ext_1_true-valid-memsafety.i 22     260 200    0 76     240   1000    2 .082 7.9 .80 0 36   1900 290 2 400    220 5400   2 9.0 390 100 2 9.3 390 100 2 170     200 2500    2 900    4400 5900   0 38   1900 340 2 2.5  64 25   2 880   340 7300 0 .42 19 4.8 2 900   2200 10000 0 900   1000 8100 0 900   920 9700 0
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i 1.4   45 17    0 37     110   450    2 .095 7.1 .45 0 900   6900 5400 0 130    95 1800   2 8.4 450 110 0 900   580 6600 0 51     120 610    2 900    4400 7200   0 930   7400 5800 0 900    470 5300   0 880   290 7700 0 600    3100 5700   0 900   2100 11000 0 900   1000 8700 0 900   1200 11000 0
list-ext-properties/simple-ext_1_true-valid-memsafety.i .97  39 13    0 32     200   410    2 330     15000   4800    0 24   880 200 2 520    160 6100   2 8.6 390 100 2 8.8 390 120 2 270     180 3400    2 900    4400 9200   0 20   860 160 2 230    1700 2300   2 880   280 9200 0 .42 19 5.4 2 900   2100 9400 0 900   1100 6000 0 900   1000 9900 0
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i .20  26 1.7  2 .10  7.9 1.2  2 .21  8.7 2.6  2 4.1 280 35 2 .44 35 5.4 2 8.3 390 110 2 8.4 380 100 2 .13  26 1.3  2 120    4400 1400   2 3.8 280 38 2 .16 35 1.2 2 5.9 77 88 0 .14 15 1.6 2 34   660 270 2 260   1000 2400 2 34   830 270 2
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i .18  26 1.9  2 .10  6.3 .62 2 .11  8.2 1.1  2 3.5 280 33 2 .53 35 6.7 2 8.4 390 110 2 8.6 380 120 2 .15  26 2.0  2 330    4300 4000   2 3.5 280 31 2 .14 33 1.2 2 5.5 74 68 0 .16 16 1.7 2 11   390 85 2 25   730 260 2 10   390 78 2
list-ext-properties/test-0214_1_true-valid-memsafety.i .18  27 1.8  0 570     490   4600    2 .10  8.7 1.1  0 910   5700 6200 0 210    310 2700   0 21   550 220 2 21   550 240 2 .36  27 4.5  0 35    4400 250   0 960   2500 8500 0 11    560 120   2 750   330 6200 0 1.6  22 21   0 900   1600 13000 0 900   1000 7900 0 900   1200 12000 0
list-ext-properties/test-0217_1_true-valid-memsafety.i .19  28 1.6  0 450     380   4500    2 .11  8.0 .95 0 910   5800 7100 0 190    240 2700   0 14   440 140 2 14   440 150 2 .51  32 7.3  0 900    300 9400   0 910   5400 6100 0 3.2  130 33   2 750   370 6400 0 3.4  24 43   0 900   2600 12000 0 900   1000 6500 0 900   1000 11000 0
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 9.5   130 110    0 2.8   37   35    2 .094 7.7 .70 0 9.2 480 71 2 250    230 3100   2 8.5 390 100 2 8.5 390 120 2 120     240 1800    2 900    4300 11000   0 8.9 480 79 2 1.3  38 15   2 880   330 8900 0 .31 18 3.8 2 900   1400 12000 0 900   1000 9900 0 900   860 11000 0
list-ext-properties/test-0504_1_true-valid-memsafety.i 110     1100 1200    0 3.3   59   49    2 .082 7.6 .80 0 910   5700 5200 0 900    2200 8200   0 9.6 390 130 2 9.8 390 110 2 270     190 3500    2 900    4300 9400   0 900   5900 4900 0 900    5200 5200   0 750   390 6400 0 1.4  39 17   2 900   1000 12000 0 900   1000 10000 0 900   1700 11000 0
list-ext-properties/test-0513_1_true-valid-memsafety.i 34     400 270    0 4.3   140   56    2 .094 7.8 1.0  0 5.1 290 47 2 93    1800 1400   2 8.4 390 120 2 8.6 390 110 2 18     210 210    2 900    4300 7700   0 4.8 280 43 2 .24 38 2.2 2 190   260 2000 0 .22 17 2.8 2 900   2100 9700 0 900   1100 7200 0 900   820 11000 0
memory-alloca/c.03-alloca_true-valid-memsafety.i .20  26 1.9  2 880     1300   8300    0 880     9100   11000    0 900   1000 13000 0 280    70 4000   0 8.3 450 96 0 1.6 200 22 0 900     510 10000    0 900    75 9500   0 900   940 11000 0 .49 35 4.3 2 7.1 82 83 0 .15 16 2.0 2 12   480 90 2 440   810 4700 2 12   450 93 2
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c .089 24 .62 0 .095 7.3 1.0  1 .067 7.2 .50 1 2.8 250 29 1 .18 33 2.0 1 8.2 430 120 1 8.2 430 100 1 .12  26 1.4  1 .46 82 6.6 1 2.9 250 28 1 .16 34 1.3 1 5.0 85 57 0 .20 16 1.7 1 9.0 350 69 1 9.5 360 76 1 9.3 370 69 1
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c .094 24 .89 0 .069 7.7 .61 1 .058 7.8 .63 1 2.7 250 28 1 .15 33 1.6 0 8.4 430 96 1 8.3 430 99 1 .10  26 .75 1 .48 83 5.7 1 2.8 250 24 1 .36 49 1.3 1 5.2 88 56 0 .18 15 2.0 1 9.4 380 75 1 9.8 410 81 1 9.6 390 89 1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c .087 24 .78 0 .075 7.8 .43 1 .073 7.6 .42 1 2.8 250 26 1 .15 33 2.5 0 8.3 430 110 1 8.3 430 110 1 .081 26 .79 1 .44 82 6.1 1 2.9 250 25 1 .18 36 1.3 1 4.9 86 57 0 .17 15 1.9 1 8.5 370 69 1 8.3 370 59 1 7.5 350 53 1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c .090 24 .81 0 .084 7.4 .40 1 .089 7.9 .48 1 2.9 240 26 1 .14 33 1.6 0 8.2 430 100 1 8.2 430 110 1 .080 26 .80 1 .44 83 5.1 1 2.8 240 27 1 .24 49 1.8 1 6.0 120 74 0 .17 16 2.5 1 7.1 340 58 1 9.2 370 62 1 8.2 350 59 1
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c .12  24 .75 0 1.3   20   17    0 1.5   26   21    0 9.3 380 68 1 87    220 1000   1 8.5 430 99 1 8.5 430 120 1 1.7   38 26    1 350    4300 3400   1 9.6 440 80 1 1.4  44 14   1 750   530 8400 0 .21 15 2.4 1 650   5000 9100 1 900   1200 7900 0 730   5200 8700 1
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c .087 24 .96 0 1.3   21   20    1 1.5   26   20    1 10   490 92 1 92    220 1100   0 8.5 430 110 1 8.8 430 120 1 1.7   37 25    1 .50 83 5.3 1 9.7 490 89 1 3.5  60 39   1 750   500 6800 0 .18 16 1.9 1 600   4900 8300 1 900   1200 6600 0 660   5100 8200 1
ldv-memsafety/memset2_false-valid-deref-write.c .17  25 1.3  0 .075 7.6 .52 1 .13  7.7 .54 1 2.8 240 23 1 11    37 140   1 8.2 430 97 1 8.3 430 100 1 1.3   41 17    1 .75 39 10   0 2.7 250 25 1 .24 48 1.5 1 2.8 74 36 0 .16 15 2.0 1 7.1 350 58 1 8.1 370 56 1 7.2 340 60 1
ldv-memsafety/memset3_false-valid-deref-write.c .16  25 1.4  0 .093 7.6 .53 1 .081 8.3 .62 1 2.7 250 23 1 46    40 660   1 8.2 430 100 1 8.3 430 110 1 14     340 220    1 .74 39 10   0 2.7 250 22 1 .14 33 1.4 1 2.8 73 31 0 .16 16 1.7 1 7.3 340 62 1 7.8 370 57 1 8.2 370 68 1
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c .17  25 1.8  0 .12  8.1 .52 1 .075 8.8 .65 1 2.8 250 26 1 11    38 160   1 8.3 430 110 1 8.2 430 98 1 1.3   41 21    1 .75 39 10   0 2.9 240 23 1 .36 48 1.2 1 2.8 73 35 0 .16 15 1.9 1 7.9 360 61 1 7.7 360 59 1 7.9 370 70 1
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c .15  25 1.6  0 .10  8.2 .56 1 .077 7.8 .58 1 2.9 250 24 1 46    40 670   1 8.3 430 100 1 7.9 430 99 1 14     340 190    1 .75 39 9.9 0 2.9 250 27 1 .18 33 1.3 1 2.8 74 32 0 .17 17 1.9 1 7.9 370 60 1 8.2 360 57 1 8.3 370 65 1
ldv-memsafety/memsetNonZero_false-valid-deref-write.c .16  25 1.8  0 .12  8.0 .53 1 .075 7.7 .62 1 2.9 250 24 1 46    40 660   1 8.2 430 100 1 8.3 430 110 1 14     340 210    1 .74 39 9.4 0 2.8 240 26 1 .14 33 1.2 1 2.8 74 31 0 .15 16 2.1 1 8.2 370 66 1 8.9 380 68 1 8.2 370 60 1
ldv-memsafety/memset_false-valid-deref-write.c .20  25 1.6  0 .082 8.6 .53 1 .082 7.6 .55 1 2.8 240 25 1 46    40 670   1 8.2 430 110 1 8.2 430 120 1 14     340 190    1 .74 39 9.6 0 2.7 250 27 1 .31 48 1.0 1 2.8 74 39 0 .16 16 2.0 1 8.4 370 67 1 8.0 370 56 1 8.3 350 61 1
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c .094 24 .71 0 880     4100   6200    0 870     4300   9400    0 84   4500 960 2 900    970 9600   0 12   380 130 2 12   380 160 2 900     2300 11000    0 900    74 9700   0 92   4700 960 2 900    1600 6800   0 760   380 7500 0 290    15000 4100   0 900   2400 12000 0 900   1000 6800 0 900   5500 11000 0
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c .088 23 .71 0 1.3   18   17    2 1.9   26   23    2 9.5 760 97 2 41    140 490   0 8.5 370 120 2 8.4 370 100 2 .75  27 9.5  2 510    4300 5300   2 9.6 700 100 2 2.1  77 24   2 760   710 6000 0 .18 15 1.7 2 25   500 250 2 900   1200 7200 0 18   660 140 2
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c .092 24 .90 0 1.2   13   19    2 1.5   18   19    2 7.8 400 61 2 79    190 1000   0 8.3 370 110 2 8.4 370 100 2 1.7   37 20    2 420    4300 4500   2 7.6 470 69 2 2.9  53 34   2 750   530 9100 0 .15 15 1.7 2 19   650 160 2 900   1300 7600 0 30   680 330 2
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c .084 23 .75 0 1.4   18   16    2 1.9   26   26    2 10   800 110 2 41    140 520   0 8.6 370 110 2 8.4 370 100 2 .78  27 11    2 530    4300 5300   2 9.6 790 88 2 2.1  79 23   2 760   710 8500 0 .15 15 1.8 2 17   640 130 2 900   1600 6900 0 27   530 300 2
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c .12  24 .75 0 6.2   67   95    2 22     140   180    2 51   4000 440 2 900    1000 11000   0 9.9 370 100 2 9.9 380 120 2 48     660 670    2 900    1600 11000   0 50   3800 460 2 210    700 3400   2 760   390 7700 0 .18 15 1.7 2 17   640 150 2 900   1100 7100 0 21   660 200 2
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c .087 24 .78 0 1.3   13   18    2 1.6   18   20    2 7.6 470 62 2 89    210 1100   0 8.2 370 110 2 8.3 370 96 2 1.9   39 27    2 340    4300 2900   2 7.6 470 68 2 3.0  58 33   2 750   400 9800 0 .17 15 1.6 2 18   530 140 2 900   1300 7400 0 18   650 150 2
ldv-memsafety/StructInitialization1_true-valid-memsafety.c .11  24 .80 2 .093 6.4 .28 2 .11  6.2 .31 2 3.2 270 26 2 .88 66 8.7 0 8.0 370 110 2 8.1 370 100 2 .11  27 1.2  2 330    4300 3400   2 3.2 270 26 2 .32 46 1.1 2 5.4 76 61 0 .14 16 1.6 2 11   420 76 2 30   640 260 2 11   420 91 2
ldv-memsafety/StructInitialization2_true-valid-memsafety.c .10  24 .75 2 .097 6.2 .33 2 .057 6.8 .47 2 3.0 240 24 2 .89 65 11   0 8.1 370 94 2 8.1 370 98 2 .10  27 1.3  2 330    4300 3500   2 3.3 270 30 2 .16 30 1.2 2 5.4 76 66 0 .15 15 1.6 2 11   400 80 2 31   620 250 2 11   400 80 2
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c .10  24 .86 2 .050 7.5 .48 2 .077 6.1 .34 2 3.1 280 28 2 .83 67 8.3 0 8.2 370 100 2 8.4 370 91 2 .085 26 .97 2 460    4300 5700   2 3.0 270 28 2 .15 32 1.8 2 5.2 71 59 0 .13 16 1.6 2 7.0 340 60 2 7.6 350 56 2 8.0 360 68 2
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c .15  25 1.3  0 .15  6.8 .55 2 .084 8.5 .80 2 2.6 240 26 2 .82 67 8.8 0 8.2 430 110 -16 8.1 430 110 -16 .084 26 .96 2 .74 39 9.4 0 2.7 240 25 2 .16 33 1.2 2 5.2 72 70 0 .13 16 1.5 2 10   380 86 2 48   710 390 2 10   400 77 2
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c .17  25 1.5  0 .15  7.1 .69 2 .081 8.0 .65 2 2.7 250 23 2 .82 66 8.4 0 8.3 430 100 -16 8.1 430 99 -16 .083 26 1.0  2 .73 39 9.9 0 2.7 250 23 2 .14 32 1.3 2 5.3 72 63 0 .16 14 1.5 2 9.3 380 88 2 99   960 810 2 9.8 390 79 2
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c .19  25 1.5  0 .095 7.9 .63 2 .10  7.8 .61 2 2.7 250 26 2 11    69 180   0 8.2 430 87 -16 8.1 430 110 -16 1.4   42 17    2 .74 39 9.8 0 2.7 240 25 2 .14 33 1.2 2 5.3 72 65 0 .13 16 1.4 2 10   390 86 2 48   900 360 2 10   400 94 2
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c .15  25 1.9  0 .080 7.1 .83 2 .12  7.8 .69 2 2.8 250 26 2 46    67 670   0 8.4 430 97 -16 8.2 430 100 -16 15     350 190    2 .76 39 9.7 0 2.7 250 23 2 .13 33 1.5 2 5.3 72 69 0 .14 16 1.5 2 9.8 390 88 2 110   1100 990 2 9.2 370 78 2
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c .16  25 1.6  0 .084 7.5 .77 2 .089 8.5 .57 2 2.7 240 25 2 46    69 470   0 8.1 430 99 -16 8.2 430 120 -16 15     350 220    2 .74 39 9.3 0 2.8 240 27 2 .15 33 1.7 2 5.3 72 60 0 .15 16 1.7 2 9.2 370 81 2 81   1200 840 2 9.8 400 90 2
ldv-memsafety/memset_true-valid-memsafety_true-termination.c .16  25 1.4  0 .091 7.3 .63 2 .079 8.0 .71 2 2.7 240 26 2 .79 66 12   0 8.3 430 98 -16 8.4 430 120 -16 .087 26 .77 2 .76 39 9.2 0 2.7 240 23 2 .18 46 1.5 2 5.3 72 62 0 .13 15 1.5 2 10   380 76 2 81   1300 910 2 10   400 83 2
ldv-memsafety/memleaks_test14_3_false-valid-deref.i .18  28 1.6  0 .15  11   1.8  0 .096 10   1.0  0 4.6 290 41 1 .21 35 2.3 0 8.5 450 120 1 8.6 450 100 1 .14  27 1.6  0 .57 83 7.4 1 4.4 290 40 1 .22 40 1.8 1 4.0 120 51 0 .27 18 3.8 1 13   350 110 0 13   350 110 0 13   360 110 0
ldv-memsafety/memleaks_test22_3_false-valid-deref.i .17  28 2.1  0 .15  8.9 1.7  0 .14  8.0 .97 0 4.8 290 37 1 .27 35 3.3 0 8.5 450 110 1 8.7 450 110 1 .18  27 2.1  0 .57 84 7.0 1 4.8 290 43 1 .22 38 1.8 1 4.0 86 49 0 .27 19 3.2 1 590   2300 7500 0 530   1100 7000 1 900   2400 11000 0
ldv-memsafety/memleaks_test22_5_false-valid-deref.i .18  27 1.7  0 .15  8.9 1.6  0 .14  8.4 1.0  0 4.8 290 38 1 .26 35 3.1 0 8.5 450 100 1 8.5 450 96 1 .18  27 2.7  0 .56 83 6.6 1 4.8 290 42 1 .23 40 1.7 1 4.0 86 48 0 .28 18 4.4 1 900   2300 11000 0 670   840 5800 1 900   1200 9000 0
ldv-memsafety/memleaks_test23_2_false-valid-deref.i .21  28 2.1  0 6.6   160   80    0 .12  9.8 1.4  0 5.1 290 44 1 2.4  55 31   0 8.7 450 98 0 9.1 450 130 0 2.4   47 30    0 900    1100 8200   0 5.3 290 46 1 .29 40 2.1 0 5.4 130 81 0 .59 18 7.8 1 140   800 1900 1 16   360 130 0 130   740 1600 1
ldv-memsafety/memleaks_test23_4_false-valid-deref.i .20  28 1.9  0 6.6   160   89    0 .12  9.2 1.3  0 5.4 290 50 1 2.4  54 29   0 8.8 450 98 0 9.0 450 110 0 2.3   47 33    0 900    1100 8800   0 5.1 290 44 1 .28 37 2.3 0 5.0 100 59 0 .59 18 7.2 1 65   860 540 1 180   1100 1500 1 900   1300 13000 0
ldv-memsafety/memleaks_test11_1_false-valid-free.i .28  28 2.9  1 .16  11   1.8  1 .097 9.5 1.1  0 4.6 270 43 1 .52 38 6.2 -16 8.4 450 110 1 8.7 450 98 1 .44  30 6.1  0 .61 83 7.7 1 4.5 290 43 1 .25 39 1.8 1 5.6 84 70 0 .29 18 3.5 1 140   890 1600 1 340   940 2800 1 430   790 5400 1
ldv-memsafety/memleaks_test12_false-valid-free.i .26  29 3.2  0 .24  13   2.7  0 .14  10   1.6  0 5.5 300 48 1 570    1900 7100   0 8.7 450 99 0 8.7 450 100 0 13     210 180    0 .65 84 8.9 1 5.6 290 45 1 .29 40 2.9 0 11   120 1200 0 .70 21 10   0 900   1400 11000 0 900   1100 7700 0 900   1600 13000 0
ldv-memsafety/memleaks_test17_2_false-valid-free.i .18  28 1.6  0 1.3   54   17    0 .13  9.0 .95 0 5.3 300 42 1 30    130 350   -16 8.6 450 100 0 8.8 450 130 0 11     120 170    0 .61 84 7.1 1 5.5 300 51 1 .73 36 2.9 1 52   150 670 0 .33 18 3.3 1 310   2100 4000 1 900   960 7900 0 350   850 5000 1
ldv-memsafety/memleaks_test19_false-valid-free.i .24  28 2.5  1 .16  8.0 2.1  1 95     210   1200    0 4.4 290 38 1 .20 35 2.0 -16 8.4 450 99 0 8.7 450 110 0 .13  27 1.6  1 .64 86 8.1 1 4.7 290 44 1 .23 38 1.8 1 5.4 84 76 0 .29 18 4.0 1 250   860 2700 1 520   760 4300 1 590   870 7300 1
ldv-memsafety/memleaks_test1_false-valid-free.i .21  28 1.7  1 .12  8.1 1.0  1 .12  8.7 1.2  1 4.0 260 33 1 .17 35 2.0 -16 8.5 450 110 1 8.5 440 99 1 .12  27 1.0  1 .57 83 8.1 1 4.1 290 39 1 .21 37 1.8 1 4.5 110 55 0 .28 18 3.3 1 12   440 98 1 10   380 74 1 10   390 76 1
ldv-memsafety/memleaks_test3_false-valid-free.i .21  27 1.6  1 .11  9.3 1.2  1 .15  9.5 1.1  1 4.0 280 37 1 .18 35 1.7 -16 8.5 450 120 0 8.6 450 100 0 .11  27 .98 1 .58 83 7.0 1 4.3 290 38 1 .21 38 1.7 1 4.4 76 52 0 .26 18 3.4 0 9.9 360 80 1 8.4 350 61 1 8.8 360 63 1
ldv-memsafety/memleaks_test6_2_false-valid-free.i .21  28 1.8  1 .12  8.3 1.5  1 .14  9.4 1.4  1 4.3 290 34 1 .17 35 1.9 -16 8.6 450 99 0 9.1 450 120 0 .12  27 1.3  1 .59 83 7.4 1 4.3 280 39 1 .23 38 1.9 1 5.0 79 62 0 .29 18 4.2 1 18   600 140 1 39   710 360 1 17   560 130 1
ldv-memsafety/memleaks_test8_2_false-valid-free.i .21  27 1.8  1 .11  8.3 1.0  1 .12  9.3 1.2  1 4.4 290 35 1 .20 35 1.9 -16 8.4 450 130 1 8.6 450 130 1 .11  28 .99 1 .59 83 8.0 1 4.2 260 40 1 .24 38 1.7 1 4.8 110 61 0 .25 18 3.3 1 13   450 99 1 11   410 91 1 10   380 73 1
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i .27  27 2.5  1 .21  10   1.8  0 3.1   64   44    0 4.5 290 44 1 .39 37 5.6 0 8.5 450 100 0 8.5 450 110 0 .33  29 4.3  0 .59 83 7.4 1 4.4 290 41 1 .24 38 1.8 1 7.1 81 91 0 .29 18 3.2 1 900   880 11000 0 350   790 2900 0 900   930 12000 0
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i .29  28 2.7  1 .15  10   1.9  0 .10  10   1.1  0 4.6 290 39 1 .40 37 5.1 0 8.6 450 110 0 8.7 450 140 0 .34  29 4.2  0 .61 84 6.8 1 4.8 290 40 1 .23 41 1.8 0 7.5 82 91 0 .29 18 3.4 1 870   800 10000 0 400   760 3200 0 900   780 12000 0
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i .21  28 1.5  1 .10  7.6 1.1  0 .14  8.6 .90 0 4.4 280 39 1 .17 35 1.9 0 8.3 450 120 0 8.5 440 100 0 .10  27 1.2  0 .56 83 7.3 1 4.4 280 40 1 .22 39 2.1 1 6.5 82 81 0 .26 17 3.3 1 200   710 2600 0 48   880 420 0 200   690 2700 0
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i .18  27 1.7  0 .15  11   1.5  0 .091 8.7 1.1  0 4.4 290 37 1 1.2  41 14   0 8.4 450 110 0 8.3 450 110 0 .93  37 12    0 .58 83 8.2 1 4.7 290 36 1 .22 40 1.7 1 8.6 87 110 0 .28 18 3.1 1 620   850 9200 0 250   1000 2200 0 900   6900 11000 0
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i .23  27 2.2  1 .13  6.8 1.0  0 .13  8.7 .83 0 4.4 290 35 1 .16 35 2.0 0 8.5 450 110 0 8.5 450 100 0 .13  27 1.2  0 .58 83 7.4 1 4.3 290 39 1 .33 54 2.0 1 6.4 80 74 0 .32 18 2.6 1 13   330 100 0 14   350 110 0 12   320 110 0
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i .18  28 1.6  0 .15  10   1.9  0 .12  8.8 .95 0 4.6 290 39 1 1.1  42 16   0 8.5 450 110 0 8.8 450 110 0 .83  36 12    0 .58 83 7.7 1 4.6 290 43 1 .20 41 1.8 1 8.3 110 100 0 .28 18 3.8 1 13   360 100 0 12   330 110 0 13   360 120 0
ldv-memsafety/memleaks_test15_false-valid-memtrack.i .28  28 2.2  0 .15  8.4 1.5  0 2.5   56   36    0 4.9 290 37 1 .54 43 6.8 0 8.5 450 96 0 9.8 450 110 0 .49  34 6.5  0 .60 84 7.7 1 4.8 290 41 1 .24 39 2.0 0 13   93 170 0 .45 17 6.4 0 900   1500 11000 0 900   870 7900 0 910   14000 8500 0
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i .22  28 1.6  1 .10  6.8 1.0  1 .11  9.7 1.0  1 4.1 270 35 1 .16 34 1.8 0 8.5 450 120 0 8.9 450 100 0 .13  27 1.0  0 29    89 370   0 4.3 290 38 1 .19 40 1.9 0 6.2 110 76 0 .28 19 3.5 1 23   480 200 0 15   360 120 0 20   390 160 0
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i .19  27 1.8  1 .13  6.7 .82 1 .11  8.3 .84 1 4.2 290 37 1 .16 35 1.9 0 8.4 450 120 0 8.7 450 83 0 .096 27 1.1  0 .62 83 7.2 1 4.2 290 39 1 .23 38 1.7 1 6.1 81 80 0 .26 18 3.7 1 20   400 170 0 17   370 120 0 16   370 120 0
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i .21  28 1.4  0 1.9   63   25    0 .12  9.7 1.2  0 5.4 290 44 1 24    130 360   0 8.4 450 97 0 8.5 450 110 0 9.6   120 120    0 .58 84 8.9 1 5.5 290 47 1 .24 40 2.2 1 110   160 1300 0 .30 18 3.4 1 900   2200 11000 0 900   1000 7300 0 900   830 11000 0
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i .18  28 1.5  0 1.5   49   22    0 .099 9.1 1.0  0 5.2 290 41 1 31    90 470   0 8.6 450 92 0 8.5 450 140 0 8.4   82 120    0 .58 83 9.5 1 5.3 300 46 1 .23 40 2.2 1 43   130 580 0 .38 17 3.6 1 900   980 11000 0 900   1000 8600 0 900   900 14000 0
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i .18  27 1.4  0 .16  12   2.1  0 .095 9.8 1.3  0 5.4 300 48 1 .18 35 2.0 0 8.5 450 110 0 8.6 450 120 0 .14  27 1.3  0 .58 83 5.4 1 4.9 280 40 1 .23 38 1.9 1 13   120 180 0 .27 19 3.4 1 32   580 320 0 19   540 160 0 49   600 550 0
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i .18  27 1.8  0 1.1   38   13    0 .097 9.1 1.1  0 5.1 290 47 1 89    88 1200   0 8.5 450 97 0 8.6 450 120 0 27     83 330    0 .59 84 6.7 1 5.3 290 46 1 .25 37 1.6 1 37   120 530 0 .33 18 3.7 1 900   1300 11000 0 900   1100 7600 0 900   850 11000 0
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i .17  27 1.9  0 .44  13   5.5  0 .11  8.6 .96 0 5.0 290 37 1 24    49 350   0 8.5 450 120 0 8.9 450 120 0 6.3   36 77    0 .57 83 8.3 1 5.2 300 48 1 120    670 760   1 8.3 87 100 0 .40 25 4.7 1 260   1000 3200 0 99   1100 900 0 440   1100 5600 0
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i .20  27 1.6  1 .099 6.6 .89 1 .097 9.8 1.0  1 4.3 290 38 1 .16 35 2.0 0 8.3 450 100 0 8.8 450 120 0 .097 27 1.0  0 .56 83 7.1 1 4.3 280 36 1 .19 39 2.5 1 6.0 75 85 0 .25 17 3.5 1 20   390 160 0 15   340 120 0 15   370 120 0
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i .18  28 2.3  1 .096 7.5 .90 1 .11  8.7 .93 0 4.3 280 40 1 .17 35 1.9 0 8.3 450 98 0 8.3 450 99 0 .094 27 1.5  0 .61 83 7.6 1 4.4 290 35 1 .30 54 2.1 1 6.2 82 95 0 .27 18 3.7 1 21   430 180 0 16   370 130 0 17   380 150 0
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i .20  28 2.3  1 .095 7.5 .97 1 .090 9.4 .87 0 4.2 290 40 1 .16 35 1.8 0 8.5 450 92 0 8.6 450 120 0 .096 27 1.4  0 .56 83 7.1 1 4.3 280 41 1 .20 39 1.8 1 6.1 81 71 0 .25 17 3.1 1 20   400 160 0 15   380 130 0 15   380 140 0
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i .20  28 1.8  0 .14  8.5 1.6  0 .15  8.5 1.1  0 4.4 270 39 1 .22 35 2.5 0 8.4 450 100 0 8.7 450 100 0 .18  27 2.0  0 .56 83 8.5 1 4.6 290 37 1 .21 39 2.0 1 7.4 83 94 0 .27 18 3.7 1 290   1300 3800 0 160   1100 1700 0 260   1300 3500 0
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i .19  27 1.7  0 .12  7.3 1.3  0 .10  9.6 1.2  0 4.4 290 35 1 .17 34 1.8 0 8.7 450 98 0 8.6 450 110 0 .11  27 1.3  0 .55 83 8.5 1 4.0 270 37 1 .22 38 2.0 0 6.4 83 68 0 .28 19 2.9 1 56   1000 570 0 58   980 700 0 72   1000 710 0
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i .20  27 1.7  0 .14  8.0 1.6  0 .10  9.8 1.2  0 4.6 280 37 1 .22 35 3.1 0 8.3 450 110 0 8.7 450 110 0 .17  27 1.9  0 .56 84 6.5 1 4.6 290 47 1 .23 39 1.8 1 7.5 83 90 0 .30 18 2.9 1 280   1300 3400 0 190   970 1500 0 270   1300 3500 0
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i .19  28 2.3  1 .13  7.0 1.2  0 .11  9.7 1.4  1 4.5 280 42 1 .17 35 1.9 0 8.4 450 120 0 8.6 450 110 0 .15  27 1.3  0 .57 83 7.4 1 4.3 290 41 1 .22 39 1.8 0 6.2 81 74 0 .27 18 4.0 1 23   450 180 0 16   380 130 0 19   390 150 0
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i .19  28 2.0  1 .088 7.3 .84 0 .093 8.8 .88 0 4.2 290 37 1 .16 34 2.0 0 8.4 450 110 0 8.4 450 97 0 .094 27 1.3  0 .57 83 7.0 1 4.2 290 40 1 .24 38 3.4 1 6.1 80 82 0 .26 17 2.8 1 20   380 140 0 16   360 140 0 16   380 140 0
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i .20  27 1.7  0 .10  6.5 1.0  0 .11  10   1.4  0 4.4 280 41 1 .18 35 1.7 0 8.4 450 110 0 8.7 450 120 0 .10  27 1.1  0 .56 83 6.8 1 4.2 280 39 1 .26 53 2.2 1 6.2 82 76 0 .28 18 2.8 1 22   440 160 0 16   370 120 0 18   380 140 0
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i .22  27 1.8  0 .11  7.2 1.3  0 .13  9.0 1.3  0 4.1 270 35 1 .16 35 2.4 0 8.6 450 93 0 9.3 450 110 0 .099 27 1.2  0 .60 84 6.7 1 4.3 290 37 1 .22 38 1.7 0 6.6 82 74 0 .28 18 3.2 1 100   650 1200 0 26   720 230 0 110   620 1200 0
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i .22  27 2.7  1 .11  7.0 1.2  0 .11  9.3 1.3  0 4.6 290 42 1 .19 35 1.8 0 8.4 450 120 0 9.3 450 120 0 .099 27 1.2  0 .57 83 6.7 1 4.4 290 43 1 .25 39 1.7 0 6.5 81 95 0 .27 18 3.2 1 82   670 1000 0 28   580 280 0 78   630 910 0
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i .19  27 1.7  1 .11  7.2 1.1  0 .12  8.9 1.3  0 4.4 280 43 1 .17 35 2.0 0 8.5 450 97 0 9.3 450 100 0 .10  27 .96 0 .59 84 6.9 1 4.5 290 36 1 .23 39 1.8 0 6.5 82 92 0 .28 18 3.6 1 110   560 1400 0 20   500 160 0 92   530 1100 0
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i .19  27 1.4  1 .096 7.2 .98 1 .095 9.2 1.1  1 4.3 280 38 1 .16 35 1.9 0 8.4 450 100 0 8.4 450 97 0 .10  27 1.1  0 .58 83 7.2 1 4.3 290 39 1 .24 39 1.6 1 6.2 80 66 0 .25 18 3.4 1 19   380 140 0 15   360 130 0 16   370 120 0
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i .20  28 2.2  1 .10  7.9 .99 1 .10  9.6 .97 1 4.3 280 38 1 .16 35 1.8 0 8.5 450 100 0 8.7 450 98 0 .10  27 1.1  0 .58 83 6.9 1 4.2 280 40 1 .24 37 1.6 1 6.3 110 65 0 .28 18 2.9 1 22   420 160 0 16   360 120 0 17   380 130 0
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i .19  27 1.9  1 .11  6.7 .88 1 .13  8.4 .95 1 4.2 280 38 1 .18 35 2.0 0 8.4 450 97 0 8.6 450 120 0 .095 27 1.1  0 .58 83 7.7 1 4.1 270 41 1 .21 39 1.7 1 6.2 81 65 0 .26 18 2.8 1 20   380 160 0 15   360 130 0 15   340 110 0
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i .27  28 3.5  2 .32  12   5.1  2 24     270   320    2 4.6 290 42 2 1.8  39 27   2 8.6 450 91 0 8.6 450 120 0 .80  31 9.7  2 900    4500 7000   0 4.5 290 44 2 .22 39 2.7 2 6.8 78 79 0 .25 23 3.0 2 900   870 12000 0 900   860 7700 0 900   970 14000 0
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i .29  28 3.0  2 .23  11   3.4  2 .10  9.6 1.2  0 4.7 290 43 2 1.8  40 24   2 8.4 450 110 0 8.7 450 110 0 .82  31 11    2 900    4400 8400   0 4.8 290 44 2 .23 39 2.4 2 6.7 79 92 0 .26 17 2.5 2 900   1000 12000 0 810   970 6000 2 900   820 11000 0
ldv-memsafety/memleaks_test12_true-valid-memsafety.i .26  28 2.7  0 .23  13   2.6  0 .14  9.9 1.7  0 6.0 300 50 2 560    1900 8000   0 8.7 450 130 0 8.6 450 110 0 15     190 210    0 900    4500 8800   0 6.1 300 50 2 .29 41 2.4 2 270   240 3200 0 .47 21 6.0 2 900   1600 12000 0 900   1100 8000 0 900   2100 11000 0
ldv-memsafety/memleaks_test13_true-valid-memsafety.i .18  27 1.5  0 .25  11   3.2  2 .13  8.7 .97 0 4.3 290 39 2 14    290 160   2 8.5 450 98 0 8.4 450 100 0 1.4   36 23    2 52    4400 710   2 4.6 280 44 2 .19 39 1.9 2 8.2 86 110 0 .22 18 2.8 2 78   1100 780 2 300   1000 2500 2 680   810 8900 2
ldv-memsafety/memleaks_test14_true-valid-memsafety.i .18  27 1.6  0 .24  12   2.2  2 .14  8.6 .98 0 4.4 290 38 2 20    290 250   2 8.5 450 98 0 8.6 450 100 0 1.4   36 23    2 50    4300 580   2 4.4 290 41 2 .20 37 1.7 2 7.7 85 85 0 .22 18 3.0 2 12   340 93 0 13   340 100 0 13   360 100 0
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i .19  28 2.3  0 .31  13   4.1  2 .13  9.7 1.4  0 5.0 290 42 2 7.1  49 80   2 8.4 450 110 0 10   450 140 0 3.4   40 42    2 900    4600 6300   0 4.8 290 42 2 .25 40 1.9 2 10   89 140 0 .29 18 3.3 2 900   1300 14000 0 900   970 13000 0 900   860 11000 0
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i .19  27 2.0  2 .14  7.3 1.7  2 .15  8.7 1.6  2 4.2 290 36 2 .42 36 5.2 2 8.4 450 110 0 9.3 450 120 0 .10  27 1.2  2 65    4400 780   2 4.4 290 36 2 .22 38 1.8 2 5.5 74 64 0 .22 18 2.6 2 14   550 110 2 12   490 94 2 12   530 100 2
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i .18  28 1.8  0 2.9   64   48    2 .13  9.0 1.2  0 5.8 300 47 2 76    170 1100   2 8.5 450 100 0 8.6 450 100 0 68     130 950    2 900    4500 7600   0 5.8 300 47 2 .40 53 2.3 2 130   160 1600 0 .29 17 3.9 2 900   2100 11000 0 900   1000 8800 0 900   820 13000 0
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i .18  28 1.8  0 280     13000   2800    0 880     10000   13000    0 4.7 270 45 0 900    280 11000   0 8.5 450 110 0 1.6 200 21 0 900     350 11000    0 900    150 11000   0 4.6 290 44 0 .39 53 2.2 0 880   300 9000 0 900    460 14000   0 900   1100 12000 0 900   1000 7500 0 900   780 12000 0
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i .18  27 1.8  0 1.6   38   21    2 .096 9.0 .96 0 5.5 290 48 2 95    120 1400   2 8.5 450 110 0 8.8 450 120 0 44     92 590    2 900    4300 9500   0 5.4 300 48 2 .37 53 3.8 2 54   120 840 0 .28 17 3.6 2 900   980 12000 0 900   1100 7400 0 900   840 12000 0
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i .25  28 2.1  2 .18  7.4 2.5  2 .77  27   8.2  2 4.4 280 44 2 .54 36 6.8 2 8.4 450 98 0 8.9 450 95 0 .15  27 1.6  2 270    4300 3100   2 4.2 270 40 2 .26 53 1.8 2 6.5 78 80 0 .23 18 2.7 2 900   880 13000 0 680   780 5900 2 880   830 12000 2
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i .20  28 1.7  2 .14  7.2 1.5  2 .14  8.8 1.7  2 4.2 290 41 2 .42 36 4.8 2 8.5 450 99 0 8.7 450 100 0 .11  27 1.2  2 41    4900 500   2 4.2 280 37 2 .21 38 1.7 2 5.4 76 73 0 .23 19 2.4 2 12   490 110 2 9.6 370 71 2 9.7 370 72 2
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i .17  28 1.6  0 .15  7.0 1.5  2 .13  8.5 .85 0 4.4 290 37 2 .43 36 5.2 2 8.5 450 120 0 8.6 450 91 0 .12  27 1.0  2 44    4300 590   2 4.4 290 41 2 .32 52 1.9 2 5.7 74 76 0 .22 18 2.5 2 15   580 120 2 12   510 93 2 12   520 89 2
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i .17  27 1.5  0 .14  6.9 1.6  2 .098 9.3 .98 0 4.4 290 34 2 .43 36 5.3 2 8.5 450 97 0 8.6 450 120 0 .10  27 1.3  2 44    4500 470   2 4.5 290 43 2 .23 38 1.6 2 5.5 74 76 0 .22 18 2.5 2 13   490 96 2 11   540 97 2 12   460 92 2
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i .21  27 1.7  0 .22  8.1 2.5  2 .15  8.2 1.0  0 4.6 290 46 2 .60 36 8.3 2 8.4 450 130 0 8.5 450 100 0 .20  27 2.4  2 48    4600 560   2 4.5 280 40 2 .33 52 1.8 2 6.6 79 92 0 .26 18 2.8 2 900   2500 12000 0 720   850 6000 2 900   980 9300 0
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i .19  27 1.6  0 .23  9.6 2.7  2 .14  8.6 .98 0 4.5 280 45 2 .73 36 9.5 2 8.4 450 110 0 8.6 450 110 0 .28  27 2.6  2 59    4300 700   2 4.8 290 41 2 .23 38 2.0 2 7.3 81 87 0 .23 19 3.2 2 900   2700 11000 0 900   920 7800 0 900   870 11000 0
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i .17  27 2.2  0 .22  9.5 2.7  2 .13  8.7 1.2  0 4.4 290 41 2 .74 36 9.9 2 8.6 450 120 0 8.7 450 110 0 .28  27 2.9  2 52    4600 640   2 4.8 290 36 2 .22 39 1.9 2 7.4 83 84 0 .23 18 2.7 2 900   3800 11000 0 900   940 7800 0 900   940 12000 0
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i .21  28 1.8  0 880     2200   12000    0 .12  9.9 1.7  0 5.2 290 44 2 900    650 10000   0 8.9 450 100 0 9.6 450 110 0 900     1200 9700    0 900    3000 12000   0 5.3 290 45 2 120    170 1400   2 890   340 9300 0 900    92 13000   0 130   790 1800 -16 16   370 130 0 130   750 1700 -16
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i .21  28 2.2  0 880     2200   12000    0 .13  9.5 1.2  0 5.2 290 45 2 900    920 11000   0 8.7 450 99 0 9.8 450 110 0 900     640 13000    0 900    560 11000   0 5.2 290 43 2 120    170 1400   2 890   350 11000 0 900    92 11000   0 900   2400 10000 0 900   940 7900 0 900   1300 11000 0
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i .23  28 1.6  2 .14  7.4 1.5  2 .15  9.5 1.7  2 4.3 290 41 2 .42 36 6.2 2 8.6 450 100 0 8.7 450 120 0 .11  27 1.2  2 41    4900 480   2 4.3 290 38 2 .19 38 1.8 2 5.5 76 69 0 .21 19 2.3 2 13   510 110 2 11   480 94 2 11   410 97 2
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i .23  28 2.1  2 .16  7.3 1.7  2 .16  8.7 2.0  2 4.4 290 39 2 .48 36 5.8 2 8.6 450 120 0 8.5 450 100 0 .14  27 1.5  2 68    4700 880   2 4.4 290 39 2 .22 39 1.5 2 5.6 76 64 0 .22 18 2.8 2 29   540 280 2 12   550 99 2 130   600 1800 2
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i .19  27 1.6  2