Tool 2LS 0.6.0 CBMC 5.8 CPAchecker 1.6.1-svn 26773 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 4.6.0 64-bit x86_64 linux Forester Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017 Predator-HP symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 ULTIMATE Automizer 0.1.23-3204b741 ULTIMATE Kojak 0.1.23-3204b741 ULTIMATE Taipan 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-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-12-01 08:19:20 CET 2017-12-01 08:19:34 CET 2017-12-01 08:22:21 CET 2017-12-01 09:05:19 CET 2017-12-02 00:00:31 CET 2017-12-02 11:31:00 CET 2017-12-01 19:12:21 CET 2017-12-01 23:12:01 CET 2017-12-01 21:45:44 CET 2017-12-02 23:08:57 CET 2017-12-03 04:39:25 CET 2017-12-03 04:40:15 CET 2017-12-03 07:53:44 CET
Run set 2ls.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] cbmc.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] cpa-seq.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] depthk.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] esbmc-incr.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] esbmc-kind.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] forester.[sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists] map2check.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] predatorhp.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] symbiotic.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] uautomizer.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] ukojak.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other] utaipan.[sv-comp18.MemSafety-Arrays; sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists; sv-comp18.MemSafety-Other]
Options --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp18 -heap 10000M -benchmark -timelimit 900s -s incr -s kinduction --trace error-witness.graphml --witness error-witness.graphml --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
array-memsafety/add_last_unsafe_false-valid-deref.i .17  26 1.6  .48 37 4.2 2.5 220 22 .52 28 5.7 .17  29 2.0  .17  29 2.4  - .54  13 5.9  .11  22 1.8 .28 12 2.4 5.2 280 42 5.7 320 45 5.7 290 45
array-memsafety/bubblesort_unsafe_false-valid-deref.i .086 22 .75 .25 33 2.0 900   12000 7400 .36 27 3.9 .17  28 1.5  .20  28 1.9  - 1.2   13 15    .15  22 1.7 .24 11 2.7 4.7 270 40 5.0 260 45 4.4 260 36
array-memsafety/count_down_unsafe_false-valid-deref.i .19  26 1.5  .49 36 4.4 2.9 240 24 .55 29 6.4 .21  29 1.9  .26  29 2.4  - .60  13 7.7  .14  23 1.7 .24 12 2.3 5.5 290 45 5.6 300 45 5.8 290 45
array-memsafety/cstrcat_unsafe_false-valid-deref.i .094 22 .78 .26 33 2.3 2.5 240 19 .36 27 3.8 .13  28 1.4  .30  28 3.7  - .57  11 5.7  .13  21 1.8 .22 11 2.2 4.2 240 35 4.6 250 41 4.3 260 35
array-memsafety/cstrchr_unsafe_false-valid-deref.i .17  26 1.7  .45 36 4.3 2.5 210 24 .54 28 6.8 .22  29 2.7  .23  29 2.2  - .99  14 12    .15  23 1.7 .87 59 8.5 11   540 95 8.9 470 78 16   700 130
array-memsafety/cstrlen_unsafe_false-valid-deref.i .17  26 1.7  .46 36 4.4 2.8 240 27 1.2  28 17   .25  29 3.0  .20  29 2.5  - 1.8   13 25    .12  23 1.6 .86 59 10   7.3 360 53 10   530 85 7.4 380 63
array-memsafety/cstrncat_unsafe_false-valid-deref.i .084 23 .69 .24 33 2.0 2.5 250 21 .35 27 3.5 .17  28 1.4  .28  28 3.2  - .67  12 7.3  .13  25 1.8 .23 11 2.7 4.4 250 36 4.7 260 38 4.2 260 35
array-memsafety/cstrncpy_unsafe_false-valid-deref.i .096 22 .82 .25 35 2.3 2.5 250 21 .36 27 3.9 .36  28 3.2  .41  28 4.1  - 1.1   13 16    .14  23 1.9 .24 11 2.3 4.3 260 35 4.7 260 41 4.5 260 36
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i .19  26 1.4  .47 36 4.2 2.8 240 22 .70 28 9.5 .31  29 3.3  .37  29 3.6  - 1.1   14 14    .13  24 1.7 .62 59 6.4 10   530 94 9.9 550 79 14   580 130
array-memsafety/diff_usafe_false-valid-deref.i .096 22 .64 .27 33 2.4 810   9700 7300 .35 27 4.1 .19  28 3.6  .27  28 2.6  - 1.8   14 23    .12  23 1.8 .25 11 2.9 4.7 280 43 4.9 290 43 4.9 280 44
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i .20  26 1.7  1.1  93 10   2.7 240 25 .86 29 11   .32  30 3.0  .36  31 4.1  - 1.1   14 12    .11  24 1.8 .30 12 3.2 6.2 310 48 6.8 330 54 6.7 290 52
array-memsafety/lis_unsafe_false-valid-deref.i .19  26 1.5  .48 36 4.4 2.5 210 22 .70 28 8.5 .20  29 2.2  .40  29 3.9  - 1.3   14 18    .12  23 1.7 .29 12 3.6 11   540 89 900   1500 8600 15   820 130
array-memsafety/mult_array_unsafe_false-valid-deref.i .19  26 1.6  .54 38 5.1 2.7 240 22 .66 28 8.2 .43  33 6.2  .63  36 7.7  - 1.2   18 16    .11  24 1.8 .55 17 6.4 5.4 290 44 6.1 330 46 6.1 300 44
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i .19  26 1.2  .65 47 6.8 2.6 210 23 1.8  28 21   .28  29 3.5  .40  29 3.7  - .64  79 9.1  .14  24 1.7 .29 12 3.0 6.3 280 46 11   590 110 11   570 89
array-memsafety/reverse_array_unsafe_false-valid-deref.i .18  26 1.4  .69 47 5.9 2.5 220 20 .60 29 7.2 .23  29 2.0  .23  29 2.4  - .61  29 7.5  .11  24 1.8 .25 12 2.9 5.9 280 51 5.8 310 49 6.1 280 49
array-memsafety/selectionsort_unsafe_false-valid-deref.i .094 22 .69 .24 33 2.1 620   7600 5900 .36 27 3.9 .14  28 1.3  .15  28 1.4  - 1.3   14 15    .16  21 1.8 .22 12 2.4 5.1 290 40 5.0 260 45 4.4 260 39
array-memsafety/stroeder1_unsafe_false-valid-deref.i .094 22 .64 .24 33 2.5 2.5 250 24 .36 27 3.8 .24  28 1.9  .23  28 1.9  - .83  13 11    .14  21 2.0 .24 11 2.2 4.2 250 40 4.4 250 36 4.5 250 34
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i .16  26 1.8  880    13000 3400   2.5 210 26 700    110 9600   900     470 11000    900     440 11000    - .83  13 9.5  .11  23 1.9 .27 12 2.9 900   2500 11000 900   2300 13000 41   1200 400
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i .16  26 1.4  130    13000 1200   2.5 220 21 890    280 11000   900     1200 13000    900     520 12000    - 1.2   13 16    .11  24 1.8 900    430 12000   900   770 11000 22   760 220 11   550 83
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i .20  26 1.2  480    13000 3200   2.8 240 28 890    320 9900   900     550 14000    900     510 13000    - 890     13 13000    .14  24 1.7 900    610 13000   900   760 12000 20   720 180 900   770 12000
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i .15  26 2.2  160    13000 1500   2.6 220 23 890    470 11000   900     1400 13000    900     1500 12000    - 1.5   13 17    .15  24 1.7 900    430 12000   8.3 420 77 900   2000 12000 900   820 10000
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i .17  26 1.3  870    5200 4300   2.4 220 22 890    330 8100   900     1600 8600    900     1200 8800    - 2.2   13 30    .14  24 1.8 .26 12 2.6 8.7 400 63 56   1200 710 15   690 130
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i .19  26 1.2  160    13000 1300   2.8 240 24 890    270 8900   900     530 12000    900     510 13000    - 900     410 11000    .11  22 1.8 900    390 11000   11   530 96 64   1400 780 17   810 150
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i .19  26 1.5  91    14000 950   2.5 220 25 900    84 13000   900     710 11000    900     730 11000    - 370     25 4500    .11  23 1.6 .34 12 3.2 900   1600 12000 900   1200 11000 900   14000 5600
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i .16  26 1.6  870    3800 7300   2.6 210 22 160    46 2200   900     840 11000    900     830 12000    - 6.4   14 78    .11  23 1.7 .26 12 2.8 10   520 100 43   1200 610 17   830 150
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i .17  26 1.4  870    1900 8700   2.6 220 22 39    34 460   900     650 10000    900     660 12000    - 36     15000 480    .13  23 1.7 .28 12 2.8 900   870 11000 220   1400 2900 900   890 12000
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i .20  26 1.3  96    13000 980   2.6 220 26 140    47 1700   900     1400 11000    900     1400 9400    - 2.7   14 30    .11  24 1.7 .29 12 2.9 900   1600 12000 100   1300 1400 900   1100 13000
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i .19  26 1.5  870    7000 7600   2.7 240 26 900    190 13000   900     630 10000    900     620 11000    - 3.9   15 45    .15  23 1.7 .28 12 3.8 900   1000 12000 900   1700 11000 900   880 11000
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i .16  26 1.3  870    4100 4700   2.6 220 26 100    30 1400   900     840 11000    900     850 10000    - 2.4   13 30    .14  22 1.6 .27 12 3.1 9.5 540 83 21   790 230 900   980 12000
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i .18  26 1.3  260    14000 1700   2.7 240 24 890    130 13000   900     570 12000    900     570 11000    - 320     41 3900    .12  24 1.8 2.6  16 32   900   870 11000 900   1700 12000 900   2600 13000
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i .20  26 1.4  870    2000 8900   2.7 240 22 62    79 800   900     830 11000    900     790 9600    - 240     20 2800    .12  24 1.7 .30 12 3.1 900   1000 14000 260   1200 3300 900   900 12000
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i .18  26 1.4  260    14000 2600   2.5 210 23 900    960 12000   900     3400 11000    900     3500 11000    - 7.4   14 100    .15  23 1.8 .29 12 3.5 900   1200 9900 900   1300 7000 28   1200 260
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i .18  26 1.6  870    7300 6900   2.5 220 21 890    140 14000   900     620 12000    900     650 12000    - 4.9   14 55    .14  23 1.7 .27 12 3.1 900   930 12000 900   1600 14000 900   850 11000
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i .19  26 1.4  870    7500 6000   2.5 210 23 900    140 12000   900     620 10000    900     640 9700    - 5.0   13 52    .14  24 1.7 .29 12 3.2 900   890 12000 900   1700 12000 900   890 11000
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i .16  26 1.7  880    11000 4700   2.6 220 23 890    170 10000   900     300 10000    900     310 13000    - 5.6   14 76    .12  23 1.7 .27 12 2.7 900   1400 12000 900   1200 6500 900   1000 11000
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i .17  26 1.6  880    12000 4200   2.7 240 24 890    190 7900   900     520 12000    900     520 11000    - 1.4   13 19    .15  23 1.8 .25 12 2.9 12   540 110 76   1300 880 37   1400 360
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i .17  26 1.4  870    5200 5500   2.6 220 22 890    330 9400   900     1500 7500    900     1100 8600    - 2.2   13 25    .14  22 1.7 .26 12 2.9 8.8 450 68 36   970 350 15   740 120
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i .17  26 1.5  870    2500 5600   2.6 220 21 890    190 8200   900     980 11000    900     990 9000    - 2.5   14 33    .14  24 1.7 .25 14 3.8 900   870 13000 900   1800 13000 900   1200 11000
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i .15  26 1.8  73    13000 830   2.5 220 23 320    90 4000   900     1800 10000    900     1800 11000    - 4.1   18 49    .13  24 1.7 .58 17 6.8 12   530 130 900   1300 5700 54   1400 600
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i .18  26 1.4  83    13000 990   2.7 240 24 100    33 1300   900     1900 9200    900     1900 10000    - 120     15 1800    .14  24 1.7 .25 12 2.9 900   840 12000 47   650 540 19   780 140
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i .19  26 1.2  870    1300 5400   2.6 240 26 110    43 1400   900     1300 12000    900     1300 9300    - 6.2   14 77    .11  24 1.8 .21 11 2.2 900   740 12000 36   820 460 14   830 130
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i .16  26 1.3  .47 36 3.4 2.5 220 25 32    34 460   900     560 9500    900     360 9600    - 6.6   14 80    .14  22 1.8 .22 11 2.2 900   780 11000 61   700 720 900   740 10000
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i .15  26 1.5  82    13000 850   2.8 240 23 94    31 1000   900     1900 11000    .17  27 1.3  - 4.6   13 61    .12  24 1.7 .27 12 2.8 900   870 11000 16   650 140 13   700 110
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i .16  26 1.5  91    13000 1000   2.5 220 20 130    45 1800   900     1200 10000    900     1300 11000    - 2.3   14 28    .13  24 1.6 .27 12 3.3 900   980 10000 77   1400 1000 900   960 12000
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i .17  26 1.5  240    14000 2600   2.9 240 22 900    940 12000   900     3400 11000    900     3500 9900    - 7.3   14 78    .14  23 1.8 .27 12 3.5 900   960 10000 900   1500 13000 900   2200 11000
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i .18  26 1.3  89    14000 910   2.9 240 24 900    84 11000   900     680 8700    900     660 11000    - 370     25 4400    .14  23 1.7 .32 12 3.8 900   1600 11000 900   1300 13000 900   2000 9200
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i .20  26 1.4  870    2200 8400   2.7 240 29 260    81 2900   900     880 10000    900     860 11000    - 5.4   13 64    .15  23 1.8 .29 13 2.9 900   860 12000 260   1400 3900 900   880 11000
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i .17  26 1.4  94    13000 1200   2.7 210 26 130    45 1700   900     1200 12000    900     1300 12000    - 2.5   13 37    .16  24 1.7 .29 12 3.0 900   1000 12000 77   1400 1100 900   920 12000
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i .15  26 1.4  870    430 4000   2.5 220 23 900    1100 12000   900     1100 11000    900     1000 11000    - 9.0   13 100    .12  23 1.7 .30 12 3.3 900   1000 12000 900   1200 11000 900   860 12000
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i .16  26 1.4  880    8200 4500   2.7 240 26 900    120 11000   900     360 10000    900     350 11000    - 7.3   14 90    .13  24 1.7 .28 12 3.4 900   1600 11000 610   1200 7400 74   2200 790
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i .20  26 1.3  870    4300 6100   2.5 220 25 94    29 1200   900     790 11000    900     790 10000    - 2.4   12 31    .14  22 1.6 .26 12 3.1 9.2 520 80 22   800 260 16   670 160
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i .20  26 1.4  250    14000 2100   2.6 220 26 900    65 12000   900     640 11000    900     640 10000    - 330     34 4200    .13  24 1.8 2.1  16 27   900   870 11000 900   1500 11000 900   800 11000
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i .20  26 1.3  870    1700 7200   2.5 220 26 220    120 3300   900     1200 13000    900     1200 10000    - 230     18 3100    .14  23 1.7 .30 12 3.6 900   1100 11000 270   1500 3600 900   1100 11000
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i .18  26 1.4  230    14000 2300   2.5 220 23 900    940 11000   900     3400 10000    900     3500 10000    - 7.1   13 86    .11  23 2.0 .29 12 3.0 900   2300 11000 900   1200 6200 46   1900 450
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i .16  26 1.4  870    2000 5700   2.7 240 22 110    32 1500   900     830 9500    900     830 11000    - 120     14 1600    .12  24 1.7 .27 12 3.1 900   790 13000 32   980 380 17   710 140
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i .18  26 1.4  870    280 5100   2.6 220 23 900    370 13000   900     670 11000    900     660 11000    - 7.3   13 110    .14  21 1.8 .27 12 2.9 900   840 13000 900   1700 12000 900   1100 12000
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i .19  26 1.3  870    2600 10000   2.6 220 26 890    120 10000   900     240 13000    900     250 12000    - 12     13 160    .14  23 1.8 .26 12 3.1 900   900 12000 900   1200 7000 900   890 11000
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i .18  26 1.8  870    4000 6200   2.7 240 25 900    590 12000   900     380 11000    900     390 11000    - 11     17 140    .16  24 2.0 .28 12 3.2 900   900 9100 900   1100 11000 900   4600 12000
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i .19  26 1.3  870    9400 5000   2.6 220 25 1.1  29 16   900     960 9300    900     960 11000    - 3.4   13 39    .11  23 1.7 .24 12 3.0 19   550 200 27   870 280 900   740 11000
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i .17  26 1.5  72    14000 750   2.6 220 26 890    310 8200   900     310 10000    900     310 9900    - 1.8   13 20    .15  23 1.8 .25 14 2.9 10   540 88 900   2700 11000 34   1600 310
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i .19  26 1.3  870    2400 3600   2.5 220 22 100    53 1400   900     2000 11000    900     2000 12000    - 2.0   14 27    .14  23 1.7 .27 12 3.1 8.7 430 75 8.7 470 77 900   750 11000
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i .18  26 1.3  220    13000 2100   2.5 220 26 890    260 12000   900     770 11000    900     780 14000    - 2.1   13 25    .13  24 2.0 1.2  14 13   900   770 11000 30   970 310 12   630 110
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i .18  26 1.9  880    12000 4200   2.5 220 21 890    75 11000   900     270 12000    900     250 9800    - 6.6   14 91    .11  26 1.7 .25 12 3.2 900   950 12000 54   1300 630 900   1000 12000
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i .15  26 1.8  870    1200 5300   2.9 240 27 890    63 11000   900     320 11000    900     310 13000    - 5.9   15 66    .14  23 1.8 .26 12 3.2 900   1100 11000 420   1400 6600 900   1500 13000
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i .18  26 1.4  870    7800 6500   2.5 220 22 900    220 11000   900     750 12000    900     720 11000    - 5.9   15 67    .11  22 1.9 .26 12 3.1 900   1100 14000 900   1300 11000 900   1000 12000
array-examples/relax_false-valid-deref.i .24  27 1.8  .49 37 4.4 2.8 240 24 .62 29 6.3 .29  29 2.6  .28  30 3.2  - .042 11 .39 .13  23 1.8 .32 13 3.7 5.4 290 44 6.2 310 53 6.5 310 58
array-examples/sanfoundry_24_false-valid-deref.i 170     15000 1200    870    6100 5300   900   5000 12000 110    100 1500   900     910 12000    900     910 10000    - 900     470 10000    900     2600 5500   900    5500 9700   900   2400 13000 900   5800 12000 900   2000 14000
array-examples/standard_strcpy_false-valid-deref_ground.i 33     15000 420    67    15000 980   2.4 250 22 67    31 850   900     210 13000    900     210 12000    - 18     12 230    900     6000 8600   900    1700 9300   900   2700 13000 900   5700 15000 900   1300 12000
array-examples/standard_strcpy_original_false-valid-deref.i 33     15000 430    67    15000 980   2.4 250 22 67    30 820   900     1000 10000    900     1200 12000    - 15     12 220    900     5300 9300   900    2000 10000   900   2600 14000 900   5200 11000 900   1200 11000
memsafety/960521-1_false-valid-deref.i .19  26 1.3  6.2  48 57   9.9 750 78 110    75 1300   32     110 250    29     110 290    .052 10   .46 .68  12 8.6  8.0   170 78   .27 12 2.7 900   1100 9900 900   3500 11000 900   1300 12000
memsafety/test-0137_false-valid-deref.i .20  26 1.7  .69 44 5.8 900   5300 5500 .53 29 5.9 .36  29 4.8  1.2   43 12    .076 11   .48 .96  14 13    1.2   50 16   .37 23 4.6 46   970 470 450   2000 6500 900   4700 12000
memsafety/test-0235_false-valid-deref.i .70  27 7.7  23    790 230   900   5700 6500 610    510 4900   780     15000 6500    790     15000 6900    .055 11   .64 7.3   26 95    4.2   130 43   .35 14 3.6 900   880 11000 900   1300 10000 860   800 11000
memsafety/960521-1_false-valid-free.i .18  26 1.4  5.9  48 66   10   750 74 110    77 1400   30     110 220    31     110 250    .069 10   .52 .71  12 8.3  8.1   170 81   .24 12 3.2 900   1000 9800 900   3800 12000 900   1500 12000
memsafety/test-0158_false-valid-free.i .19  27 1.4  .48 36 4.4 3.2 280 30 16    490 120   .39  29 3.9  .39  29 3.7  .074 10   .44 .42  12 5.2  .14  24 1.9 .25 11 2.3 6.5 290 58 19   740 200 9.5 520 72
memsafety/test-0232_false-valid-free.i .29  28 3.1  .53 37 4.6 910   4300 8800 1.4  28 17   .66  30 6.3  .49  29 5.7  .059 11   .65 1.0   14 12    .16  23 1.9 .29 15 3.0 320   870 4000 900   2100 13000 310   1000 3800
memsafety/20020406-1_false-valid-memtrack.i .46  29 5.9  .60 38 5.1 3.2 260 26 900    4800 6400   22     990 250    29     1100 320    .082 11   .55 2.4   16 36    .19  27 2.0 .33 15 3.4 710   2700 7500 900   1600 13000 900   1800 13000
memsafety/20051113-1.c_false-valid-memtrack.i .18  26 1.7  1.3  36 16   3.3 280 29 530    170 7100   6.0   88 66    6.0   89 73    .078 10   .47 .73  12 8.7  .14  23 2.2 .26 11 2.6 900   1000 13000 900   2200 12000 900   1100 11000
memsafety/lockfree-3.1_false-valid-memtrack.i .50  31 5.4  5.1  140 58   900   1600 10000 7.3  39 92   1.6   36 18    2.2   44 27    .16  23   2.4  2.3   15 26    .21  26 2.2 .29 13 3.0 68   970 590 900   5400 12000 570   4100 8100
memsafety/lockfree-3.2_false-valid-memtrack.i .47  33 4.6  .46 36 5.0 910   2700 7600 1.2  29 14   .26  29 2.4  .11  27 1.3  .096 14   .76 1.5   15 17    .18  24 1.9 .28 13 3.6 20   570 160 37   680 410 32   870 270
memsafety/lockfree-3.3_false-valid-memtrack.i .39  31 4.3  5.1  150 49   910   2400 11000 39    76 550   6.6   74 72    8.4   89 110    .10  13   .73 6.5   20 86    .23  26 2.4 .48 21 5.1 110   3000 1100 900   5500 11000 900   5400 11000
memsafety/test-0019_false-valid-memtrack_true-termination.i .22  26 1.4  .45 36 4.4 3.3 280 29 .54 28 6.4 .19  28 1.8  .18  28 1.8  .077 10   .52 .53  12 6.5  .13  23 1.9 .27 14 3.3 19   510 150 71   880 750 26   570 230
memsafety/test-0102_false-valid-memtrack.i .21  26 2.1  .58 36 6.3 910   5400 5700 11    110 120   11     200 110    3.2   56 30    66     73   1500    2.1   15 31    40     780 420   .31 17 4.0 140   1100 1700 900   1600 15000 140   900 1600
memsafety/test-0158_false-valid-memtrack_true-termination.i .20  26 1.4  .47 36 4.0 3.2 280 30 .46 28 4.7 .11  27 .78 .11  27 .87 .077 10   .47 .39  11 4.6  .12  23 2.1 .24 11 2.7 11   330 89 17   470 150 13   350 110
memsafety/test-0220_false-valid-memtrack.i .19  27 1.9  .60 38 5.9 900   5200 4900 900    8300 7000   150     15000 1500    310     15000 2800    .049 10   .38 1.6   14 20    1.2   50 14   .27 12 3.1 900   760 13000 900   780 11000 910   14000 3200
memsafety/test-0232_false-valid-memtrack.i .27  28 2.4  .51 36 4.2 910   5300 5800 .58 28 6.8 .28  28 2.7  .35  28 3.9  .086 11   .53 .60  13 8.2  .16  22 1.9 .28 15 2.7 61   690 630 650   1800 8300 86   880 960
memsafety/test-0234_false-valid-memtrack.i .31  27 2.5  7.8  270 84   900   5700 9200 620    510 4500   790     15000 7200    900     8800 7700    .054 11   .51 2.2   15 26    3.6   120 33   .33 14 3.5 900   780 10000 900   3400 11000 900   880 12000
memsafety/test-0235_false-valid-memtrack.i .55  27 5.5  13    460 150   900   5700 8800 620    510 5000   760     15000 5800    780     15000 6700    .082 11   .54 5.2   22 72    3.7   120 45   .35 14 3.6 900   790 12000 900   1300 11000 900   840 10000
memsafety/960521-1_true-valid-memsafety.i .18  26 1.4  120    15000 1700   970   11000 8300 110    72 1500   900     9900 9600    900     9900 9700    .055 10   .58 35     14 480    900     8400 9200   1.7  20 22   900   1300 9400 900   3700 13000 900   1700 10000
memsafety/lockfree-3.0_true-valid-memsafety.i .38  31 4.9  870    2200 5200   910   2400 8400 900    170 11000   900     700 11000    900     640 12000    .091 13   .85 900     1200 6500    46     240 400   900    3300 5700   900   10000 7800 900   5500 12000 900   5400 10000
memsafety/test-0019_true-valid-memsafety_true-termination.i .19  26 1.9  .88 37 7.7 3.0 260 26 .83 28 9.5 .12  27 1.7  .12  27 1.4  .080 12   .77 .54  11 6.1  .13  23 1.7 .27 13 2.9 22   580 210 38   890 410 30   630 290
memsafety/test-0102_true-valid-memsafety.i .24  26 1.9  870    2400 7000   900   5400 7800 890    550 8700   900     2600 9900    900     900 8200    140     93   2400    900     480 9700    2.2   130 22   900    2900 7300   150   1100 1700 900   1700 12000 160   860 2000
memsafety/test-0134_true-valid-memsafety.i .19  26 1.9  870    990 6900   900   5300 6000 890    290 12000   900     2600 8400    900     1900 10000    .054 11   .62 900     430 9800    2.7   110 26   900    71 12000   900   1100 9300 900   1900 15000 900   3600 13000
memsafety/test-0158_true-valid-memsafety_true-termination.i .20  26 1.3  .81 36 8.7 2.9 260 24 .88 28 12   .19  27 1.6  .18  27 1.6  .045 10   .65 .41  11 4.0  .11  23 1.7 .23 11 2.3 14   370 120 900   1500 11000 16   470 130
memsafety/test-0214_true-valid-memsafety_false-termination.i .18  27 1.8  870    1800 4500   1.9 170 20 890    1900 5700   900     2500 8300    900     920 9400    .052 11   .69 900     1300 11000    1.2   33 15   900    730 6900   900   1400 12000 900   1500 12000 530   930 5700
memsafety/test-0217_true-valid-memsafety_false-termination.i .24  27 1.6  46    13000 550   1.9 170 18 890    1800 5100   900     3600 11000    180     15000 1900    .077 12   .63 900     860 11000    1.2   45 14   900    840 7800   900   1400 13000 900   1400 13000 900   5600 10000
memsafety/test-0218_true-valid-memsafety_false-termination.i .21  27 1.6  870    3700 6200   1.8 150 18 890    1800 5200   900     2900 11000    130     15000 1500    .077 11   .52 900     930 13000    1.3   44 15   900    820 7400   670   1400 9500 900   1300 11000 900   6300 11000
memsafety/test-0219_true-valid-memsafety.i .19  27 1.7  870    1500 7300   900   5400 5700 900    8500 5700   120     15000 1700    120     15000 1700    .070 10   .44 900     640 11000    2.4   94 24   900    2700 5800   900   750 13000 900   830 11000 910   14000 3600
memsafety/test-0232_true-valid-memsafety.i .26  28 3.2  870    2200 6900   900   1900 7700 890    260 9600   900     740 11000    900     730 11000    .080 11   .59 890     93 11000    1.1   26 14   900    570 11000   270   850 3400 900   1900 14000 900   990 11000
memsafety/test-0234_true-valid-memsafety.i .27  27 3.3  870    1300 7000   910   5700 7700 620    510 5500   770     15000 6700    900     8200 6300    .056 11   .49 900     910 11000    2.5   120 22   900    2800 7200   900   820 11000 900   810 10000 430   840 4900
memsafety/test-0235_true-valid-memsafety.i .65  27 8.2  870    970 6500   900   5700 7300 590    510 6100   800     15000 6200    770     15000 6600    .080 11   .52 900     930 8400    5.6   150 62   900    2600 7100   900   790 11000 900   1200 13000 900   870 13000
memsafety/test-0236_true-valid-memsafety.i .30  27 3.6  870    1400 6400   900   5600 7500 710    510 5300   760     15000 7500    .49  36 5.5  .081 11   .49 900     900 8900    2.5   95 22   900    2700 6400   900   800 14000 900   1200 11000 900   830 12000
memsafety/test-0237_true-valid-memsafety.i .29  27 3.4  870    1400 6500   900   5600 8500 620    510 5900   760     15000 6200    110     15000 1400    .079 11   .60 900     920 8400    2.5   110 23   900    2600 5500   900   790 10000 900   1100 11000 900   790 12000
memsafety/test-0504_true-valid-memsafety.i .21  26 2.0  870    2100 6700   920   11000 5400 890    380 8400   900     880 9900    900     690 11000    2.1   72   31    900     590 10000    2.3   41 21   900    2800 4800   900   1100 12000 900   2500 12000 900   1200 11000
memsafety/test-0513_true-valid-memsafety.i .36  31 3.6  870    1900 7500   920   11000 4700 890    250 9100   900     870 12000    900     1100 11000    .071 10   .59 900     440 11000    2.2   30 27   900    680 9700   900   840 10000 900   1700 14000 900   1300 13000
memsafety/test-0521_true-valid-memsafety.i .50  41 5.7  380    12000 3200   900   11000 5100 890    760 11000   900     1900 11000    900     1100 11000    .072 11   .61 900     330 11000    2.3   33 23   900    3200 6200   900   1700 8700 900   1400 13000 900   1700 12000
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i .19  27 1.5  .88 36 8.1 3.1 260 25 890    630 7300   .62  29 8.1  .67  29 9.1  .050 10   .60 .46  12 4.5  .11  22 1.7 .29 16 3.5 170   990 1900 900   1700 11000 120   850 1400
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i .26  27 2.4  870    4100 5500   910   11000 7000 890    210 7500   900     430 10000    900     370 12000    .25  16   2.5  900     390 10000    900     860 5200   900    2700 5700   900   1600 11000 900   2000 12000 900   1400 11000
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i .35  29 3.4  870    420 7300   920   12000 8100 890    93 11000   900     200 10000    900     230 13000    .58  31   8.4  900     620 10000    900     1600 8500   900    2400 5000   900   1000 10000 900   11000 13000 900   1400 12000
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i .59  40 6.2  870    620 7100   970   12000 7600 890    110 9500   900     280 12000    900     210 11000    21     360   260    900     600 9700    900     1200 6500   900    2400 5600   900   950 13000 900   12000 6100 900   8800 10000
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i .33  31 3.9  870    2100 5400   930   11000 6600 890    160 13000   900     450 11000    900     450 12000    .17  21   1.9  900     2000 10000    900     460 6300   900    3500 5200   900   1300 9700 900   3400 12000 480   1400 6000
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 1.1   160 11    870    1700 5200   920   11000 7000 890    270 10000   900     790 10000    900     620 10000    .82  77   10    .33  12 3.3  900     290 9800   900    3600 5600   900   920 12000 910   2500 12000 570   1800 6600
memsafety-ext/tree_of_cslls_true-valid-memsafety.i 93     15000 1200    870    1200 8800   940   11000 5600 890    520 9600   900     730 9800    900     990 10000    .44  30   5.9  900     1400 8300    900     520 6200   900    3200 6200   900   920 10000 900   2400 13000 900   1000 13000
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i .46  35 4.7  870    2100 5500   910   11000 5900 890    300 10000   900     490 10000    900     670 10000    .53  42   6.1  900     1500 9800    900     440 6700   900    2800 6500   600   810 7700 900   2300 14000 900   990 9900
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i .48  31 5.7  870    1500 6000   910   11000 6300 890    340 12000   900     460 11000    900     2000 10000    .16  22   1.4  900     1700 8900    900     440 6600   900    2700 5900   900   980 14000 900   2200 13000 900   830 11000
memsafety-ext2/split_list_test05_false-valid-deref.i 3.6   310 38    370    15000 4400   950   13000 9700 900    15000 10000   150     15000 1000    100     15000 1100    .079 11   .57 900     3200 5900    900     930 9300   4.7  85 65   900   4000 11000 900   2100 12000 900   14000 4600
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i .26  26 2.9  22    630 250   3.6 260 29 890    550 8200   900     2000 9400    900     1800 9600    .060 11   .60 2.2   17 24    .18  25 2.6 .33 19 3.7 900   3000 11000 900   1800 12000 900   2300 11000
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i .27  26 2.9  3.1  110 35   900   11000 5300 890    490 8000   900     4500 8600    900     2300 11000    .084 11   .59 2.1   17 25    .14  25 2.0 .36 19 4.2 900   1900 11000 900   1800 13000 900   2600 12000
memsafety-ext2/length_test03_false-valid-memtrack.i .43  32 5.4  3.1  43 36   910   4700 9000 10    48 130   5.2   47 52    7.4   54 72    .23  16   2.2  2.3   15 27    .94  30 14   .28 13 3.4 900   1600 14000 900   1500 12000 900   1600 11000
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i .19  26 1.8  19    280 260   900   4900 6000 .81 29 9.7 900     480 10000    900     550 10000    .088 11   .53 2.3   15 28    1.1   25 13   .34 16 4.2 900   930 11000 900   1600 11000 900   2000 8000
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i .29  26 2.5  870    2500 8200   900   9000 8000 890    590 6400   900     1900 9100    900     1800 9900    .060 11   .72 900     1300 9000    900     1800 7400   900    4100 5700   900   3000 10000 900   1800 11000 900   2600 11000
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i .29  26 2.6  870    1300 8800   910   11000 5600 890    500 6900   900     4000 6400    900     2100 11000    .060 11   .75 900     1400 13000    900     1900 4800   900    3700 6000   900   1600 11000 900   2300 14000 900   2400 12000
memsafety-ext2/length_test03_true-valid-memsafety.i .41  32 4.4  870    2000 4000   900   3200 9600 890    200 12000   900     600 11000    900     620 12000    .13  14   .92 890     87 11000    900     2500 11000   900    2100 8700   900   1500 11000 900   1700 14000 780   1700 9700
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i .18  26 1.6  440    13000 4800   910   5400 5400 .82 29 10   900     490 9800    900     450 10000    .059 11   .69 900     750 10000    900     1900 6800   900    2900 5700   900   1000 11000 900   1700 11000 900   1900 7000
memsafety-ext2/split_list_test05_true-valid-memsafety.i 3.8   330 39    250    15000 3700   970   13000 8300 900    15000 11000   120     15000 1100    110     15000 910    .053 11   .55 900     3400 6000    900     790 7000   900    3000 5500   900   3400 12000 900   1800 12000 910   13000 6800
list-ext-properties/960521-1_1_false-valid-deref.i .17  26 1.6  .46 36 4.7 5.6 310 46 1.5  29 19   .48  29 4.6  .25  29 2.3  .070 10   .64 .68  13 8.2  .16  24 1.9 .25 12 3.3 9.2 470 76 13   680 140 15   860 120
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i .70  37 7.1  110    380 1300   5.7 310 48 1.3  30 16   150     210 1900    130     210 1600    .10  12   .87 110     19 1400    4.1   54 37   .54 14 8.5 900   1500 12000 900   1600 14000 900   2900 10000
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i .35  31 3.8  .49 36 5.4 910   6100 6900 1.3  29 18   .41  29 3.8  .26  29 2.7  .085 11   .57 .72  14 10    .15  24 2.0 .27 12 3.5 18   540 170 52   1100 670 41   730 380
list-ext-properties/960521-1_1_false-valid-free.i .19  26 1.4  .49 36 4.4 6.1 310 53 1.5  28 19   .29  29 3.1  .26  29 2.2  .077 10   .59 .65  13 8.1  .15  24 1.8 .28 11 3.2 12   520 110 28   870 300 17   870 150
list-ext-properties/test-0158_1_false-valid-free.i .18  26 1.9  .44 36 4.1 3.1 250 24 .54 28 8.5 .32  28 3.3  .38  28 3.2  .067 10   .44 .51  13 6.4  .16  22 1.6 .25 11 2.9 7.0 310 62 29   830 340 10   540 80
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i .23  26 1.7  .46 36 4.2 3.0 250 26 .52 28 7.6 .27  28 3.0  .27  28 2.9  .078 11   .58 .54  12 6.4  .13  23 5.1 .26 15 3.7 150   920 2100 470   1900 7200 140   910 1800
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i .20  26 1.3  .47 36 3.7 3.0 260 29 .45 28 5.9 .084 27 .99 .10  27 .88 .050 10   .49 .50  13 6.0  .15  23 1.9 .24 11 2.3 11   350 100 29   670 290 14   360 110
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i .28  28 2.8  .51 36 4.4 5.5 300 43 .57 28 7.1 .19  28 1.3  .64  29 5.3  .077 10   .47 .66  13 8.9  .16  23 1.9 .28 14 3.2 56   700 590 550   1800 6800 110   3400 1100
list-ext-properties/960521-1_1_true-valid-memsafety.i .17  26 1.6  35    1200 400   9.4 570 73 890    110 11000   5.9   38 72    6.2   39 75    .051 10   .67 14     15 170    .95  34 11   .31 12 3.8 900   1200 11000 900   1800 9100 900   1000 13000
list-ext-properties/list-ext_1_true-valid-memsafety.i .80  38 10    110    290 1100   30   1800 190 890    210 9700   170     210 2500    200     210 2400    .10  12   .85 200     22 3100    3.0   57 31   .81 14 10   300   810 3400 900   1500 14000 900   2700 10000
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i .46  32 4.5  48    140 620   900   7400 6300 890    200 8300   54     110 690    60     110 810    .052 10   .55 900     1600 6500    900     480 6000   900    3200 6700   900   2300 12000 900   2400 12000 900   4600 11000
list-ext-properties/simple-ext_1_true-valid-memsafety.i .38  30 3.8  52    270 650   20   910 140 890    190 8700   240     190 2600    230     190 2400    .088 11   .75 73     16 940    310     2000 2700   .48 12 6.7 400   920 4000 900   4400 14000 900   3400 11000
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i .20  26 2.0  .84 36 11   3.1 280 27 .87 28 12   .14  27 1.3  .12  27 1.4  .092 12   .67 .57  14 6.7  .15  23 1.8 .26 15 3.2 120   900 1300 170   1700 2000 170   920 2000
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i .18  26 1.8  .83 36 7.3 3.2 280 30 1.1  28 14   .15  27 1.7  .18  27 1.9  .048 10   .54 .52  13 6.1  .11  22 1.8 .23 11 2.4 14   380 110 900   3100 11000 10   570 81
list-ext-properties/test-0214_1_true-valid-memsafety.i .19  27 1.9  610    480 5700   2.0 160 17 890    860 6900   900     3900 12000    900     4700 11000    .053 11   .60 900     180 11000    12     530 150   900    270 8000   860   1300 10000 900   1500 12000 900   1300 12000
list-ext-properties/test-0217_1_true-valid-memsafety.i .21  27 1.7  510    400 3900   1.9 170 15 890    1100 6300   900     2800 10000    900     2900 9800    .074 11   .43 890     150 12000    4.0   120 44   900    250 7300   900   1400 14000 900   1600 14000 900   5000 11000
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i .40  31 3.9  9.1  62 120   7.8 490 64 210    160 2200   120     250 1400    100     240 1100    .050 10   .47 37     15 500    1.6   24 20   .32 15 3.5 270   830 3300 900   1700 12000 900   3300 12000
list-ext-properties/test-0504_1_true-valid-memsafety.i .21  26 1.8  5.6  80 78   910   5800 4900 890    440 8800   230     190 3000    160     160 1900    .069 10   .58 900     190 11000    900     6100 5100   5.5  44 70   900   1200 10000 900   2300 11000 370   1100 4000
list-ext-properties/test-0513_1_true-valid-memsafety.i .37  32 3.9  11    290 130   4.0 270 31 890    2600 10000   17     210 200    12     170 150    40     960   500    7.8   15 94    .23  25 2.9 .30 13 3.5 900   860 11000 900   2200 12000 900   1800 12000
memory-alloca/c.03-alloca_true-valid-memsafety.i .20  26 1.7  870    1800 4900   900   920 13000 160    70 1900   900     680 11000    900     650 10000    .068 12   .50 900     58 11000    1.2   43 16   900    72 13000   9.5 530 73 900   2000 12000 12   530 95
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c .086 24 .82 .25 33 2.2 2.6 250 23 .40 28 4.8 .19  29 1.8  .19  29 1.9  .052 10   .53 .87  12 11    .13  23 2.0 .24 11 2.6 5.7 280 49 6.8 430 59 6.1 290 49
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c .088 22 .67 .27 33 2.1 2.4 250 20 .35 27 3.7 .087 28 .87 .17  29 1.7  .076 10   .46 .80  12 10    .13  23 1.9 .23 11 2.7 6.4 300 53 7.4 460 67 6.7 330 54
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c .22  36 1.9  .26 33 2.1 2.4 250 24 .37 27 4.1 .091 28 1.0  .11  28 .65 .049 10   .48 .62  12 9.4  .13  22 1.8 .24 11 2.6 4.9 280 41 4.7 260 40 5.0 290 46
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c .22  37 1.9  .27 33 2.0 2.4 250 20 .36 27 3.5 .081 28 .82 .077 28 .99 .072 10   .57 .63  12 8.6  .16  22 2.0 .23 11 2.6 5.1 290 40 4.9 260 41 5.0 280 41
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c 37     1700 280    3.6  34 42   8.7 410 65 590    570 6000   2.6   41 31    2.8   44 40    .047 10   .48 1.3   12 16    1.6   38 17   .23 11 2.6 900   5400 10000 900   5500 13000 900   3300 10000
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c 73     1600 450    3.6  34 35   10   510 61 640    570 7200   2.5   43 35    2.8   45 40    .073 9.9 .56 1.4   12 18    3.8   53 38   .25 11 2.7 730   5500 9200 900   5500 11000 900   4100 11000
ldv-memsafety/memset2_false-valid-deref-write.c .17  24 1.5  .45 34 4.0 2.3 240 22 75    29 1100   1.5   42 18    1.6   44 20    .049 9.9 .49 .35  11 4.5  .15  21 1.7 .21 11 2.8 4.8 280 35 4.5 260 41 4.6 290 42
ldv-memsafety/memset3_false-valid-deref-write.c .17  24 1.3  .41 34 4.6 2.7 270 23 270    38 3100   18     340 260    18     350 230    .075 9.9 .49 .38  11 3.8  .15  22 1.9 .21 11 2.6 4.7 290 43 4.5 250 42 4.6 270 35
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c .18  24 1.2  .46 34 4.0 2.3 250 21 75    29 920   1.5   42 21    1.6   44 23    .051 9.9 .52 .33  11 4.7  .13  19 1.7 .22 11 2.5 4.4 280 38 4.6 250 38 4.9 280 38
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c .18  24 1.2  .43 34 4.3 2.4 250 25 270    38 4100   18     340 190    18     350 260    .074 9.9 .44 .38  11 4.1  .14  22 1.7 .21 11 2.7 4.7 280 43 4.8 250 38 4.8 280 39
ldv-memsafety/memsetNonZero_false-valid-deref-write.c .19  24 1.5  .43 34 4.6 2.4 240 22 270    38 3800   18     340 200    18     350 260    .048 9.9 .49 .32  11 4.2  .15  21 1.8 .23 11 2.6 4.7 280 43 4.6 260 33 4.6 280 41
ldv-memsafety/memset_false-valid-deref-write.c .19  25 1.2  .42 34 4.3 2.4 250 21 270    38 3200   18     340 250    18     350 220    .074 9.9 .46 .34  11 4.2  .11  23 1.9 .21 11 2.9 4.7 280 40 4.4 260 33 4.8 290 41
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c .12  22 .65 870    5300 5400   77   4800 580 900    1800 9100   900     2400 11000    900     2800 11000    .074 10   .43 890     14 13000    830     1800 9900   .58 13 7.2 900   5100 12000 900   2200 14000 900   4900 13000
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c .30  36 3.0  3.9  34 43   12   830 99 900    620 6900   1.1   29 14    1.1   29 17    .047 9.9 .54 1.7   11 21    2.0   74 20   .24 11 3.0 8.6 470 65 900   5500 12000 15   740 130
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c .91  35 10    4.1  33 59   8.0 490 58 690    580 5400   2.5   41 34    2.7   42 41    .067 9.9 .49 1.5   11 20    3.3   47 33   .25 11 2.9 9.6 530 73 900   5500 13000 21   840 170
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c .32  37 2.9  3.9  35 42   12   830 95 900    680 9800   1.1   29 15    1.1   30 17    .050 10   .49 1.7   12 21    2.0   73 21   .25 11 2.8 8.4 470 67 900   5500 13000 20   1000 160
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c 4.2   63 46    13    80 160   36   4100 320 900    640 8800   80     820 960    83     840 920    .065 10   .53 13     12 180    170     690 2200   .44 12 5.4 10   520 85 900   5300 12000 43   1800 380
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c .88  35 12    3.7  35 38   6.5 440 50 680    570 8400   2.7   43 36    3.0   45 39    .050 9.9 .49 1.4   11 16    3.6   50 36   .23 11 2.6 8.6 460 76 900   5400 13000 17   830 130
ldv-memsafety/StructInitialization1_true-valid-memsafety.c .13  23 .74 .44 33 3.9 2.4 250 22 3.9  250 37   .10  29 1.0  .11  29 1.3  .049 9.9 .46 .34  11 4.9  .13  23 1.7 .22 11 2.6 3.6 220 32 3.5 220 30 3.6 220 26
ldv-memsafety/StructInitialization2_true-valid-memsafety.c .11  22 .76 .44 33 3.4 2.5 250 23 3.8  250 42   .11  29 1.3  .10  29 1.2  .050 9.9 .47 .35  11 4.4  .10  21 1.8 .22 11 2.3 3.6 220 32 4.1 230 29 3.5 230 29
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c .11  22 .81 .44 33 4.1 2.4 240 21 3.2  230 30   .12  26 .87 .082 26 .95 .060 12   .63 .31  11 3.3  .094 21 1.8 .20 11 2.3 3.9 230 32 4.1 240 34 3.8 230 32
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c .16  24 1.6  .81 35 8.9 2.4 250 21 41    250 610   1.6   43 18    1.7   44 25    .087 12   .61 .34  11 3.5  .11  21 1.6 .23 11 2.6 6.3 310 50 29   880 280 7.0 350 57
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c .18  24 1.6  .80 34 7.4 2.4 240 21 230    250 2800   18     350 230    19     360 220    .074 9.8 .45 .34  11 4.2  .11  22 1.7 .21 11 2.8 6.4 300 55 63   1700 750 7.0 350 54
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c .18  24 1.5  .82 35 7.5 2.3 240 20 40    230 540   1.6   43 18    1.7   44 24    .048 9.9 .50 .34  11 3.6  .14  21 1.7 .23 11 2.6 6.3 300 51 27   870 320 6.8 360 57
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c .19  24 1.2  .85 34 7.5 2.3 240 21 230    250 2900   18     350 270    19     360 290    .065 9.9 .53 .36  11 4.7  .14  22 1.7 .23 11 2.4 6.2 310 51 62   1600 690 6.8 360 52
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c .19  24 1.4  .84 34 7.6 2.4 240 23 230    250 3000   18     350 270    19     360 260    .075 9.9 .43 .35  11 3.7  .10  21 1.7 .22 11 2.3 6.5 300 56 63   1700 730 6.7 360 55
ldv-memsafety/memset_true-valid-memsafety_true-termination.c .15  24 1.3  .81 34 6.5 2.3 240 21 230    240 2500   18     350 230    19     360 280    .085 12   .61 .32  11 3.7  .099 22 1.6 .21 11 2.4 6.3 300 55 62   1600 840 6.7 350 57
ldv-memsafety/memleaks_test14_3_false-valid-deref.i .20  27 1.8  .53 37 6.5 3.6 270 33 .81 35 11   .91  29 10    1.5   34 15    .074 11   .55 5.0   17 77    .18  27 2.4 .53 56 7.0 34   860 310 300   1400 4500 40   1000 360
ldv-memsafety/memleaks_test22_3_false-valid-deref.i .20  27 1.6  .55 37 4.8 3.7 270 31 34    36 400   2.0   30 23    2.1   30 17    .077 11   .52 4.7   17 63    .21  27 2.4 .64 77 7.4 900   3300 8700 340   1400 5700 900   3300 10000
ldv-memsafety/memleaks_test22_5_false-valid-deref.i .19  28 1.7  .54 37 5.5 3.7 260 30 34    35 450   1.9   30 22    2.1   30 20    .094 11   .48 4.8   17 65    .23  32 2.4 .66 82 9.1 900   3100 8800 340   1600 4300 900   2500 8400
ldv-memsafety/memleaks_test23_2_false-valid-deref.i .27  28 2.6  11    220 160   4.0 270 38 540    350 6200   900     2200 8500    900     2600 8900    .091 12   .72 21     54 300    .19  30 2.5 1.5  210 18   310   1200 3200 900   1600 14000 900   1300 11000
ldv-memsafety/memleaks_test23_4_false-valid-deref.i .27  28 2.6  11    220 110   4.1 290 38 590    320 6600   900     2100 8800    900     2600 10000    .063 11   .78 19     61 250    .20  29 2.3 1.4  200 19   97   1200 1100 900   1400 14000 900   1400 11000
ldv-memsafety/memleaks_test11_1_false-valid-free.i .25  27 1.7  .56 37 4.9 3.6 260 30 1.6  35 23   1.6   33 14    1.6   33 14    .062 11   .53 12     22 160    .23  28 2.2 .58 57 6.6 650   880 8600 190   1300 2300 350   810 4400
ldv-memsafety/memleaks_test12_false-valid-free.i .39  28 3.7  .67 38 6.9 4.6 290 37 260    210 3200   2.8   59 36    15     180 180    .064 12   .87 43     33 590    .26  30 3.0 2.3  360 28   900   1400 9000 900   1500 12000 900   1100 13000
ldv-memsafety/memleaks_test17_2_false-valid-free.i .19  27 1.7  3.2  65 33   4.3 280 34 890    320 12000   12     120 120    15     120 160    .063 11   .65 5.3   19 65    .55  30 5.5 .50 39 6.3 900   2400 11000 900   2700 12000 350   1100 4000
ldv-memsafety/memleaks_test19_false-valid-free.i .21  27 2.2  .54 37 5.1 3.6 270 32 .73 30 9.2 .24  29 2.7  .29  30 2.4  .079 11   .73 9.1   18 130    .18  28 2.2 .52 41 6.0 130   990 1500 520   1300 6200 430   880 5200
ldv-memsafety/memleaks_test1_false-valid-free.i .19  27 1.8  .50 37 4.0 3.5 260 28 .54 30 5.9 .13  29 1.5  .12  29 1.5  .059 11   .60 3.9   17 47    .21  26 2.4 .36 18 5.3 5.9 290 45 6.9 340 63 5.9 290 44
ldv-memsafety/memleaks_test3_false-valid-free.i .21  27 2.0  .49 37 4.2 3.6 290 34 .41 30 4.3 .13  29 1.5  .15  29 1.3  .059 11   .66 .064 12 .63 .23  27 2.1 .34 12 4.3 4.4 250 38 4.7 250 37 4.7 270 38
ldv-memsafety/memleaks_test6_2_false-valid-free.i .20  27 2.1  .49 37 5.4 3.9 290 36 .57 30 6.5 .33  29 2.9  .30  29 3.3  .061 11   .63 7.7   18 110    .20  27 2.5 .46 31 5.0 12   540 110 48   1000 590 16   700 140
ldv-memsafety/memleaks_test8_2_false-valid-free.i .22  27 1.5  .47 37 5.3 3.3 260 28 .55 30 6.5 .13  29 1.3  .18  29 1.3  .061 11   .62 4.0   16 54    .22  27 2.1 .37 19 4.6 6.0 290 52 7.6 470 70 6.1 290 46
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i .24  28 2.3  .53 37 6.8 3.6 270 35 .88 30 9.5 .68  32 8.2  .78  32 7.4  .088 11   .62 10     18 140    .22  27 2.1 .44 27 6.0 900   880 13000 430   1300 5000 900   910 13000
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i .20  27 1.8  .55 37 5.6 3.6 260 32 1.2  32 16   1.3   33 11    1.1   32 17    .067 11   .52 13     19 150    .20  28 2.3 .60 55 6.1 900   860 13000 390   1300 5100 630   830 7300
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i .22  27 1.6  .49 37 4.5 3.4 260 30 .50 30 5.7 .24  29 2.0  .23  29 2.7  .061 11   .64 4.2   16 50    .18  27 2.6 .40 19 5.2 29   680 280 52   1000 620 38   740 380
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i .18  27 1.4  .57 39 5.6 3.5 270 36 4.3  44 47   2.3   37 22    1.5   34 16    .060 11   .63 5.0   17 59    .21  28 2.2 .44 30 5.0 230   1000 2800 370   1300 4800 370   1400 4300
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i .22  27 1.8  .49 37 4.3 3.4 260 32 .48 30 6.5 .23  29 2.1  .26  29 2.3  .060 11   .71 4.3   16 51    .24  29 2.2 .37 19 4.7 26   570 250 36   820 430 30   640 260
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i .22  27 1.5  .58 38 5.4 3.8 270 32 3.8  45 46   2.1   37 19    2.0   34 18    .086 11   .69 5.2   18 63    .20  28 2.3 .45 31 5.2 190   1100 2000 340   1400 4300 180   1100 2000
ldv-memsafety/memleaks_test15_false-valid-memtrack.i .29  28 2.9  .54 37 5.7 3.8 290 31 78    82 1000   2.0   34 20    2.1   37 24    .071 11   .75 9.7   19 120    .20  28 2.3 .78 100 8.8 900   990 12000 900   2300 14000 910   13000 3000
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i .20  27 1.7  .49 37 4.1 3.6 290 35 .50 30 5.7 .22  29 2.0  .24  29 2.1  .064 11   .61 7.6   17 92    .21  26 2.0 .41 26 5.0 15   370 120 10   290 87 14   330 100
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i .19  27 1.4  .47 37 4.5 3.4 290 30 .50 30 5.5 .12  29 1.4  .14  29 1.5  .077 11   .59 5.8   16 68    .22  27 2.1 .37 14 5.4 10   290 84 10   270 87 10   300 88
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i .20  27 1.5  3.6  72 47   4.2 270 36 890    260 10000   14     120 210    11     120 140    .067 11   .62 5.3   19 76    .26  29 2.9 .51 41 5.9 900   2400 12000 900   1300 15000 900   1300 11000
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i .21  27 1.5  3.4  65 35   4.1 270 35 370    180 4900   12     82 140    18     84 190    .077 11   .62 20     19 240    .22  28 2.8 .48 35 5.2 620   840 7200 900   1500 11000 900   1000 12000
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i .19  27 1.7  .54 37 5.1 4.0 270 33 .52 30 6.2 .20  29 2.3  .35  31 4.4  .061 11   .51 4.4   20 50    .22  27 7.4 .43 27 5.7 61   540 750 14   510 110 51   830 540
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i .19  28 1.7  3.0  53 32   4.1 290 35 600    160 7400   37     85 480    48     97 590    .077 11   .63 20     22 230    .24  28 2.8 .45 28 4.8 900   1400 10000 900   1400 12000 900   1100 11000
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i .18  27 1.3  2.4  38 33   3.8 260 32 10    36 140   6.3   37 93    13     37 160    .061 11   .85 280     72 3300    130     690 1100   .73 20 12   900   1000 12000 900   4900 10000 900   1700 12000
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i .20  27 1.4  .50 37 4.0 3.4 260 32 .46 30 6.5 .095 28 .93 .12  28 1.0  .068 13   .74 3.8   18 45    .22  27 2.2 .36 13 4.1 9.8 280 90 9.3 260 78 9.0 260 75
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i .19  27 1.8  .47 37 4.5 3.7 280 34 .48 30 5.5 .092 28 1.1  .11  28 1.3  .085 11   .54 4.2   16 53    .18  27 2.5 .37 14 4.7 11   320 89 9.8 260 76 11   310 85
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i .21  27 2.0  .50 37 3.7 3.4 260 29 .49 30 5.5 .12  28 .84 .11  28 1.1  .088 12   .60 4.0   16 50    .21  27 2.2 .36 13 4.7 9.9 280 89 9.2 260 78 9.1 260 76
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i .19  27 1.6  .54 37 6.0 3.5 260 33 30    34 430   2.1   30 19    1.8   30 24    .084 11   .59 4.4   17 64    .22  27 2.2 .78 99 8.4 230   850 2700 170   1300 2400 240   1500 3000
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i .18  27 1.6  .55 37 5.1 3.4 260 30 16    30 170   .54  29 7.8  .59  29 7.7  .060 11   .61 4.0   16 59    .18  26 2.2 .37 19 4.7 45   710 430 42   870 460 210   880 2200
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i .18  28 2.0  .53 38 5.1 3.7 290 31 30    34 380   2.1   30 15    2.0   30 22    .076 11   .50 4.6   17 57    .21  28 2.4 .77 100 10   240   920 2800 170   1300 2200 250   1400 3200
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i .21  27 1.6  .52 37 4.8 3.5 260 32 .53 30 6.4 .19  29 2.3  .23  29 1.9  .087 11   .61 5.6   17 64    .21  27 2.2 .38 20 4.6 13   350 120 12   330 97 13   300 110
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i .20  27 1.5  .47 37 4.4 3.6 290 30 .47 30 5.3 .091 28 1.2  .11  28 1.1  .072 11   .65 3.9   16 52    .18  27 2.3 .34 13 4.1 10   290 80 9.2 260 76 9.0 260 72
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i .19  27 1.6  .49 37 4.2 3.3 260 28 .46 30 6.1 .090 28 1.2  .11  28 1.0  .060 11   .69 4.1   16 50    .18  26 2.3 .41 23 5.6 12   350 110 9.8 270 77 12   320 100
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i .21  27 1.6  .54 37 4.9 3.6 290 33 .49 30 7.4 .30  29 2.5  .25  29 2.9  .061 11   .71 7.8   17 90    .17  28 2.7 .44 31 4.9 39   550 370 33   820 410 98   630 1200
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i .23  27 1.5  .49 38 5.0 3.4 260 31 .50 30 6.0 .24  29 2.2  .22  29 2.0  .063 11   .60 7.6   17 110    .18  27 2.5 .43 25 5.6 80   550 970 23   700 230 87   630 1200
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i .18  27 1.9  .51 37 4.3 4.0 290 31 .51 30 5.9 .23  29 2.5  .21  29 2.1  .083 11   .59 8.0   17 110    .20  28 2.3 .47 29 5.5 20   560 180 17   590 170 29   540 280
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i .18  27 1.8  .51 37 4.1 3.4 290 33 .49 30 5.8 .091 28 .92 .091 28 1.0  .081 11   .59 4.0   16 53    .20  30 2.2 .37 13 4.7 10   300 77 9.3 260 73 9.0 260 79
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i .21  27 1.6  .51 37 4.4 3.7 290 27 .49 30 6.2 .12  28 .87 .11  28 .88 .083 11   .65 4.0   16 46    .18  27 2.3 .34 13 4.1 12   350 110 9.8 270 81 12   310 87
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i .21  27 1.5  .49 37 4.5 3.6 300 31 .49 30 6.1 .089 28 .93 .11  28 .90 .077 11   .70 3.9   16 46    .20  27 2.0 .36 13 4.1 10   290 80 9.6 260 86 9.3 260 76
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i .27  29 2.6  1.1  38 11   3.6 270 29 .86 31 11   .87  31 11    .90  31 12    .077 11   .64 11     18 130    .17  27 2.3 .44 30 6.5 900   890 9300 900   1300 11000 900   1100 9600
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i .22  28 1.9  1.1  39 9.2 3.7 270 32 1.3  34 16   .86  32 11    .85  32 10    .083 11   .61 13     19 150    .19  28 2.4 .59 56 6.9 530   1100 7100 900   1400 12000 900   830 13000
ldv-memsafety/memleaks_test12_true-valid-memsafety.i .38  28 3.7  .63 37 7.7 4.8 280 37 270    210 3600   2.8   59 38    12     180 160    .092 12   .61 53     33 820    .25  31 3.0 2.3  360 26   900   1300 12000 900   1600 9500 900   1100 10000
ldv-memsafety/memleaks_test13_true-valid-memsafety.i .22  27 1.5  1.0  37 9.3 3.6 270 31 30    360 300   1.5   37 18    .85  33 11    .078 11   .60 5.2   17 65    .20  27 2.0 .55 61 8.3 71   1200 660 690   1400 8900 340   1100 4200
ldv-memsafety/memleaks_test14_true-valid-memsafety.i .18  27 1.8  1.0  39 11   3.4 260 30 20    290 170   2.7   41 32    .76  32 8.8  .085 11   .64 5.3   19 74    .15  27 2.2 .59 62 7.2 60   1100 640 690   1400 8600 320   1400 3800
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i .23  28 1.9  1.1  41 12   3.7 270 33 1.1  35 13   8.7   39 110    9.4   39 120    .062 11   .83 17     24 210    .22  29 2.4 .92 120 11   900   840 12000 900   1300 13000 900   850 11000
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i .19  27 1.6  .93 37 8.4 3.6 290 29 1.0  30 13   .11  28 1.2  .13  28 .95 .064 11   .65 6.2   16 72    .15  27 2.0 .43 27 5.9 8.6 470 76 7.9 380 74 9.2 480 74
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i .21  27 1.3  5.0  71 53   4.7 290 39 890    270 9000   47     130 540    70     140 790    .061 11   .64 34     19 490    .24  27 2.9 .53 41 7.2 900   2400 11000 900   2500 14000 260   1000 2900
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i .21  27 1.4  280    14000 1800   3.2 270 27 890    280 7700   900     370 10000    900     400 11000    .090 11   .61 65     23 800    .23  27 2.6 900    1900 11000   900   1800 11000 900   1300 13000 900   4600 10000
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i .18  27 1.5  3.8  53 43   4.5 280 37 890    220 9100   48     100 640    68     110 890    .058 11   .70 28     18 350    .36  29 4.1 .47 28 5.3 900   1100 13000 900   1300 12000 900   980 13000
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i .23  27 1.8  .99 38 9.4 3.8 270 31 1.1  30 14   .15  28 1.9  .15  28 1.5  .085 11   .65 9.0   18 120    .20  27 2.1 .49 41 6.7 310   960 3800 550   1200 8900 340   940 4600
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i .18  27 1.7  .91 37 8.4 3.4 260 27 .99 30 11   .13  27 1.0  .11  28 1.2  .063 11   .76 3.8   16 45    .15  27 2.1 .40 18 4.4 6.8 320 52 6.4 350 53 6.2 300 47
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i .18  27 1.5  .89 37 9.5 3.6 270 33 1.0  30 13   .099 28 1.3  .11  28 1.3  .060 11   .65 4.6   17 67    .17  27 2.2 .42 28 5.7 8.8 480 73 8.1 430 64 8.8 470 69
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i .19  27 1.5  .90 37 8.6 3.5 260 29 1.0  30 13   .13  28 1.1  .13  28 .74 .076 11   .69 4.5   16 56    .19  26 2.2 .43 27 4.9 8.7 450 65 7.8 480 71 8.0 390 61
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i .22  27 1.7  .97 37 12