Tool 2LS 0.6.0 CBMC 5.8 CPAchecker 1.6.1-svn 26725 CPAchecker 1.6.1-svn 26758M 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:37:17 CET 2017-12-01 08:43:39 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-Heap cbmc.sv-comp18.MemSafety-Heap cpa-bam-bnb.sv-comp18.MemSafety-Heap cpa-bam-slicing.sv-comp18.MemSafety-Heap cpa-seq.sv-comp18.MemSafety-Heap depthk.sv-comp18.MemSafety-Heap esbmc-incr.sv-comp18.MemSafety-Heap esbmc-kind.sv-comp18.MemSafety-Heap forester.sv-comp18.MemSafety-Heap map2check.sv-comp18.MemSafety-Heap predatorhp.sv-comp18.MemSafety-Heap symbiotic.sv-comp18.MemSafety-Heap uautomizer.sv-comp18.MemSafety-Heap ukojak.sv-comp18.MemSafety-Heap utaipan.sv-comp18.MemSafety-Heap
Options --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -ldv-bam-svcomp -disable-java-assertions -heap 10000m -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) 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 .19  26 1.3  0 6.2  48 57   0 .50 41 4.0 0 .47 40 4.2 0 9.9 750 78 1 110    75 1300   0 32     110 250    0 29     110 290    0 .052 10   .46 0 .68  12 8.6  0 8.0   170 78   1 .27 12 2.7 1 900   1100 9900 0 900   3500 11000 0 900   1300 12000 0
memsafety/test-0137_false-valid-deref.i .20  26 1.7  0 .69 44 5.8 0 .49 40 4.0 0 .48 41 3.8 0 900   5300 5500 0 .53 29 5.9 0 .36  29 4.8  0 1.2   43 12    0 .076 11   .48 0 .96  14 13    1 1.2   50 16   1 .37 23 4.6 1 46   970 470 1 450   2000 6500 1 900   4700 12000 0
memsafety/test-0235_false-valid-deref.i .70  27 7.7  0 23    790 230   0 .46 40 4.2 0 .47 40 3.8 0 900   5700 6500 0 610    510 4900   0 780     15000 6500    0 790     15000 6900    0 .055 11   .64 0 7.3   26 95    1 4.2   130 43   1 .35 14 3.6 1 900   880 11000 0 900   1300 10000 0 860   800 11000 0
memsafety/960521-1_false-valid-free.i .18  26 1.4  0 5.9  48 66   1 .47 40 4.7 0 .44 40 3.8 0 10   750 74 1 110    77 1400   0 30     110 220    1 31     110 250    1 .069 10   .52 0 .71  12 8.3  1 8.1   170 81   1 .24 12 3.2 1 900   1000 9800 0 900   3800 12000 0 900   1500 12000 0
memsafety/test-0158_false-valid-free.i .19  27 1.4  1 .48 36 4.4 1 .50 40 3.8 0 .45 40 4.3 0 3.2 280 30 1 16    490 120   -16 .39  29 3.9  1 .39  29 3.7  1 .074 10   .44 0 .42  12 5.2  1 .14  24 1.9 1 .25 11 2.3 1 6.5 290 58 1 19   740 200 1 9.5 520 72 1
memsafety/test-0232_false-valid-free.i .29  28 3.1  0 .53 37 4.6 0 .48 40 4.5 0 .46 40 4.7 0 910   4300 8800 0 1.4  28 17   -16 .66  30 6.3  1 .49  29 5.7  1 .059 11   .65 0 1.0   14 12    1 .16  23 1.9 1 .29 15 3.0 1 320   870 4000 0 900   2100 13000 0 310   1000 3800 0
memsafety/20020406-1_false-valid-memtrack.i .46  29 5.9  0 .60 38 5.1 0 .46 40 4.2 0 .43 40 4.3 0 3.2 260 26 0 900    4800 6400   0 22     990 250    0 29     1100 320    0 .082 11   .55 0 2.4   16 36    0 .19  27 2.0 0 .33 15 3.4 0 710   2700 7500 0 900   1600 13000 0 900   1800 13000 0
memsafety/20051113-1.c_false-valid-memtrack.i .18  26 1.7  0 1.3  36 16   0 .48 41 4.1 0 .44 40 4.2 0 3.3 280 29 1 530    170 7100   0 6.0   88 66    0 6.0   89 73    0 .078 10   .47 0 .73  12 8.7  0 .14  23 2.2 1 .26 11 2.6 1 900   1000 13000 0 900   2200 12000 0 900   1100 11000 0
memsafety/lockfree-3.1_false-valid-memtrack.i .50  31 5.4  0 5.1  140 58   0 .46 41 4.4 0 .45 40 4.1 0 900   1600 10000 0 7.3  39 92   0 1.6   36 18    0 2.2   44 27    0 .16  23   2.4  0 2.3   15 26    1 .21  26 2.2 1 .29 13 3.0 1 68   970 590 0 900   5400 12000 0 570   4100 8100 0
memsafety/lockfree-3.2_false-valid-memtrack.i .47  33 4.6  0 .46 36 5.0 0 .46 40 4.1 0 .46 40 3.7 0 910   2700 7600 0 1.2  29 14   0 .26  29 2.4  0 .11  27 1.3  0 .096 14   .76 0 1.5   15 17    1 .18  24 1.9 1 .28 13 3.6 1 20   570 160 0 37   680 410 0 32   870 270 0
memsafety/lockfree-3.3_false-valid-memtrack.i .39  31 4.3  0 5.1  150 49   0 .48 42 4.1 0 .45 40 4.4 0 910   2400 11000 0 39    76 550   0 6.6   74 72    0 8.4   89 110    0 .10  13   .73 0 6.5   20 86    1 .23  26 2.4 1 .48 21 5.1 1 110   3000 1100 0 900   5500 11000 0 900   5400 11000 0
memsafety/test-0019_false-valid-memtrack_true-termination.i .22  26 1.4  0 .45 36 4.4 0 .46 40 4.6 0 .44 40 4.0 0 3.3 280 29 1 .54 28 6.4 0 .19  28 1.8  0 .18  28 1.8  0 .077 10   .52 0 .53  12 6.5  0 .13  23 1.9 1 .27 14 3.3 1 19   510 150 0 71   880 750 0 26   570 230 0
memsafety/test-0102_false-valid-memtrack.i .21  26 2.1  0 .58 36 6.3 0 .47 40 4.3 0 .43 39 4.1 0 910   5400 5700 0 11    110 120   0 11     200 110    0 3.2   56 30    0 66     73   1500    0 2.1   15 31    1 40     780 420   1 .31 17 4.0 1 140   1100 1700 0 900   1600 15000 0 140   900 1600 0
memsafety/test-0158_false-valid-memtrack_true-termination.i .20  26 1.4  0 .47 36 4.0 0 .46 41 4.2 0 .44 40 3.8 0 3.2 280 30 1 .46 28 4.7 1 .11  27 .78 0 .11  27 .87 0 .077 10   .47 0 .39  11 4.6  0 .12  23 2.1 1 .24 11 2.7 1 11   330 89 0 17   470 150 0 13   350 110 0
memsafety/test-0220_false-valid-memtrack.i .19  27 1.9  0 .60 38 5.9 0 .51 45 4.7 0 .44 40 4.4 0 900   5200 4900 0 900    8300 7000   0 150     15000 1500    0 310     15000 2800    0 .049 10   .38 0 1.6   14 20    1 1.2   50 14   1 .27 12 3.1 1 900   760 13000 0 900   780 11000 0 910   14000 3200 0
memsafety/test-0232_false-valid-memtrack.i .27  28 2.4  0 .51 36 4.2 0 .47 41 4.0 0 .46 40 4.5 0 910   5300 5800 0 .58 28 6.8 0 .28  28 2.7  0 .35  28 3.9  0 .086 11   .53 0 .60  13 8.2  1 .16  22 1.9 1 .28 15 2.7 1 61   690 630 0 650   1800 8300 0 86   880 960 0
memsafety/test-0234_false-valid-memtrack.i .31  27 2.5  0 7.8  270 84   0 .47 40 4.6 0 .41 40 4.3 0 900   5700 9200 0 620    510 4500   0 790     15000 7200    0 900     8800 7700    0 .054 11   .51 0 2.2   15 26    1 3.6   120 33   1 .33 14 3.5 1 900   780 10000 0 900   3400 11000 0 900   880 12000 0
memsafety/test-0235_false-valid-memtrack.i .55  27 5.5  0 13    460 150   0 .46 40 4.1 0 .43 40 3.9 0 900   5700 8800 0 620    510 5000   0 760     15000 5800    0 780     15000 6700    0 .082 11   .54 0 5.2   22 72    1 3.7   120 45   1 .35 14 3.6 1 900   790 12000 0 900   1300 11000 0 900   840 10000 0
memsafety/960521-1_true-valid-memsafety.i .18  26 1.4  0 120    15000 1700   0 .47 40 3.9 0 .46 40 3.8 0 970   11000 8300 0 110    72 1500   0 900     9900 9600    0 900     9900 9700    0 .055 10   .58 0 35     14 480    2 900     8400 9200   0 1.7  20 22   2 900   1300 9400 0 900   3700 13000 0 900   1700 10000 0
memsafety/lockfree-3.0_true-valid-memsafety.i .38  31 4.9  0 870    2200 5200   0 .49 40 4.3 0 .43 40 4.7 0 910   2400 8400 0 900    170 11000   0 900     700 11000    0 900     640 12000    0 .091 13   .85 0 900     1200 6500    0 46     240 400   2 900    3300 5700   0 900   10000 7800 0 900   5500 12000 0 900   5400 10000 0
memsafety/test-0019_true-valid-memsafety_true-termination.i .19  26 1.9  2 .88 37 7.7 2 .47 41 4.4 0 .47 40 4.1 0 3.0 260 26 2 .83 28 9.5 2 .12  27 1.7  2 .12  27 1.4  2 .080 12   .77 2 .54  11 6.1  2 .13  23 1.7 2 .27 13 2.9 2 22   580 210 2 38   890 410 2 30   630 290 2
memsafety/test-0102_true-valid-memsafety.i .24  26 1.9  0 870    2400 7000   0 .45 40 4.7 0 .45 40 4.4 0 900   5400 7800 0 890    550 8700   0 900     2600 9900    0 900     900 8200    0 140     93   2400    0 900     480 9700    0 2.2   130 22   2 900    2900 7300   0 150   1100 1700 0 900   1700 12000 0 160   860 2000 0
memsafety/test-0134_true-valid-memsafety.i .19  26 1.9  0 870    990 6900   0 .50 40 3.8 0 .44 40 4.0 0 900   5300 6000 0 890    290 12000   0 900     2600 8400    0 900     1900 10000    0 .054 11   .62 0 900     430 9800    0 2.7   110 26   2 900    71 12000   0 900   1100 9300 0 900   1900 15000 0 900   3600 13000 0
memsafety/test-0158_true-valid-memsafety_true-termination.i .20  26 1.3  2 .81 36 8.7 2 .51 45 4.9 0 .44 40 3.6 0 2.9 260 24 2 .88 28 12   2 .19  27 1.6  2 .18  27 1.6  2 .045 10   .65 0 .41  11 4.0  2 .11  23 1.7 2 .23 11 2.3 2 14   370 120 2 900   1500 11000 0 16   470 130 2
memsafety/test-0214_true-valid-memsafety_false-termination.i .18  27 1.8  0 870    1800 4500   0 .46 40 4.5 0 .48 40 3.8 0 1.9 170 20 0 890    1900 5700   0 900     2500 8300    0 900     920 9400    0 .052 11   .69 0 900     1300 11000    0 1.2   33 15   2 900    730 6900   0 900   1400 12000 0 900   1500 12000 0 530   930 5700 0
memsafety/test-0217_true-valid-memsafety_false-termination.i .24  27 1.6  0 46    13000 550   0 .49 40 4.1 0 .43 40 4.2 0 1.9 170 18 0 890    1800 5100   0 900     3600 11000    0 180     15000 1900    0 .077 12   .63 0 900     860 11000    0 1.2   45 14   2 900    840 7800   0 900   1400 13000 0 900   1400 13000 0 900   5600 10000 0
memsafety/test-0218_true-valid-memsafety_false-termination.i .21  27 1.6  0 870    3700 6200   0 .47 40 4.2 0 .43 40 4.5 0 1.8 150 18 0 890    1800 5200   0 900     2900 11000    0 130     15000 1500    0 .077 11   .52 0 900     930 13000    0 1.3   44 15   2 900    820 7400   0 670   1400 9500 0 900   1300 11000 0 900   6300 11000 0
memsafety/test-0219_true-valid-memsafety.i .19  27 1.7  0 870    1500 7300   0 .50 41 5.0 0 .46 40 4.5 0 900   5400 5700 0 900    8500 5700   0 120     15000 1700    0 120     15000 1700    0 .070 10   .44 0 900     640 11000    0 2.4   94 24   2 900    2700 5800   0 900   750 13000 0 900   830 11000 0 910   14000 3600 0
memsafety/test-0232_true-valid-memsafety.i .26  28 3.2  0 870    2200 6900   0 .47 41 4.7 0 .43 39 4.2 0 900   1900 7700 0 890    260 9600   0 900     740 11000    0 900     730 11000    0 .080 11   .59 0 890     93 11000    0 1.1   26 14   2 900    570 11000   0 270   850 3400 0 900   1900 14000 0 900   990 11000 0
memsafety/test-0234_true-valid-memsafety.i .27  27 3.3  0 870    1300 7000   0 .45 40 3.9 0 .43 40 3.9 0 910   5700 7700 0 620    510 5500   0 770     15000 6700    0 900     8200 6300    0 .056 11   .49 0 900     910 11000    0 2.5   120 22   2 900    2800 7200   0 900   820 11000 0 900   810 10000 0 430   840 4900 0
memsafety/test-0235_true-valid-memsafety.i .65  27 8.2  0 870    970 6500   0 .49 41 4.5 0 .48 40 4.6 0 900   5700 7300 0 590    510 6100   0 800     15000 6200    0 770     15000 6600    0 .080 11   .52 0 900     930 8400    0 5.6   150 62   2 900    2600 7100   0 900   790 11000 0 900   1200 13000 0 900   870 13000 0
memsafety/test-0236_true-valid-memsafety.i .30  27 3.6  0 870    1400 6400   0 .50 40 4.2 0 .44 40 4.0 0 900   5600 7500 0 710    510 5300   0 760     15000 7500    0 .49  36 5.5  0 .081 11   .49 0 900     900 8900    0 2.5   95 22   2 900    2700 6400   0 900   800 14000 0 900   1200 11000 0 900   830 12000 0
memsafety/test-0237_true-valid-memsafety.i .29  27 3.4  0 870    1400 6500   0 .48 40 4.6 0 .44 40 4.9 0 900   5600 8500 0 620    510 5900   0 760     15000 6200    0 110     15000 1400    0 .079 11   .60 0 900     920 8400    0 2.5   110 23   2 900    2600 5500   0 900   790 10000 0 900   1100 11000 0 900   790 12000 0
memsafety/test-0504_true-valid-memsafety.i .21  26 2.0  0 870    2100 6700   0 .46 40 4.1 0 .44 40 4.2 0 920   11000 5400 0 890    380 8400   0 900     880 9900    0 900     690 11000    0 2.1   72   31    2 900     590 10000    0 2.3   41 21   2 900    2800 4800   0 900   1100 12000 0 900   2500 12000 0 900   1200 11000 0
memsafety/test-0513_true-valid-memsafety.i .36  31 3.6  0 870    1900 7500   0 .47 40 4.5 0 .46 40 3.8 0 920   11000 4700 0 890    250 9100   0 900     870 12000    0 900     1100 11000    0 .071 10   .59 0 900     440 11000    0 2.2   30 27   2 900    680 9700   0 900   840 10000 0 900   1700 14000 0 900   1300 13000 0
memsafety/test-0521_true-valid-memsafety.i .50  41 5.7  0 380    12000 3200   0 .50 40 4.3 0 .45 40 4.4 0 900   11000 5100 0 890    760 11000   0 900     1900 11000    0 900     1100 11000    0 .072 11   .61 0 900     330 11000    0 2.3   33 23   2 900    3200 6200   0 900   1700 8700 0 900   1400 13000 0 900   1700 12000 0
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i .19  27 1.5  0 .88 36 8.1 2 .50 41 4.8 0 .44 40 4.1 0 3.1 260 25 2 890    630 7300   0 .62  29 8.1  2 .67  29 9.1  2 .050 10   .60 0 .46  12 4.5  2 .11  22 1.7 2 .29 16 3.5 2 170   990 1900 0 900   1700 11000 0 120   850 1400 0
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i .26  27 2.4  0 870    4100 5500   0 .49 40 4.4 0 .46 41 4.5 0 910   11000 7000 0 890    210 7500   0 900     430 10000    0 900     370 12000    0 .25  16   2.5  2 900     390 10000    0 900     860 5200   0 900    2700 5700   0 900   1600 11000 0 900   2000 12000 0 900   1400 11000 0
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i .35  29 3.4  0 870    420 7300   0 .46 40 4.3 0 .43 40 3.8 0 920   12000 8100 0 890    93 11000   0 900     200 10000    0 900     230 13000    0 .58  31   8.4  2 900     620 10000    0 900     1600 8500   0 900    2400 5000   0 900   1000 10000 0 900   11000 13000 0 900   1400 12000 0
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i .59  40 6.2  0 870    620 7100   0 .49 40 4.2 0 .43 40 3.8 0 970   12000 7600 0 890    110 9500   0 900     280 12000    0 900     210 11000    0 21     360   260    2 900     600 9700    0 900     1200 6500   0 900    2400 5600   0 900   950 13000 0 900   12000 6100 0 900   8800 10000 0
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i .33  31 3.9  0 870    2100 5400   0 .51 43 4.4 0 .45 41 4.3 0 930   11000 6600 0 890    160 13000   0 900     450 11000    0 900     450 12000    0 .17  21   1.9  2 900     2000 10000    0 900     460 6300   0 900    3500 5200   0 900   1300 9700 0 900   3400 12000 0 480   1400 6000 0
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 1.1   160 11    0 870    1700 5200   0 .49 40 3.9 0 .42 40 3.9 0 920   11000 7000 0 890    270 10000   0 900     790 10000    0 900     620 10000    0 .82  77   10    2 .33  12 3.3  0 900     290 9800   0 900    3600 5600   0 900   920 12000 0 910   2500 12000 0 570   1800 6600 0
memsafety-ext/tree_of_cslls_true-valid-memsafety.i 93     15000 1200    0 870    1200 8800   0 .44 40 4.1 0 .42 40 4.3 0 940   11000 5600 0 890    520 9600   0 900     730 9800    0 900     990 10000    0 .44  30   5.9  2 900     1400 8300    0 900     520 6200   0 900    3200 6200   0 900   920 10000 0 900   2400 13000 0 900   1000 13000 0
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i .46  35 4.7  0 870    2100 5500   0 .48 40 3.9 0 .43 40 4.2 0 910   11000 5900 0 890    300 10000   0 900     490 10000    0 900     670 10000    0 .53  42   6.1  2 900     1500 9800    0 900     440 6700   0 900    2800 6500   0 600   810 7700 0 900   2300 14000 0 900   990 9900 0
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i .48  31 5.7  0 870    1500 6000   0 .49 40 4.1 0 .45 41 4.1 0 910   11000 6300 0 890    340 12000   0 900     460 11000    0 900     2000 10000    0 .16  22   1.4  2 900     1700 8900    0 900     440 6600   0 900    2700 5900   0 900   980 14000 0 900   2200 13000 0 900   830 11000 0
memsafety-ext2/split_list_test05_false-valid-deref.i 3.6   310 38    0 370    15000 4400   0 .48 40 3.8 0 .46 40 4.1 0 950   13000 9700 0 900    15000 10000   0 150     15000 1000    0 100     15000 1100    0 .079 11   .57 0 900     3200 5900    0 900     930 9300   0 4.7  85 65   1 900   4000 11000 0 900   2100 12000 0 900   14000 4600 0
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i .26  26 2.9  0 22    630 250   0 .46 40 4.2 0 .44 41 4.0 0 3.6 260 29 1 890    550 8200   0 900     2000 9400    0 900     1800 9600    0 .060 11   .60 0 2.2   17 24    0 .18  25 2.6 1 .33 19 3.7 1 900   3000 11000 0 900   1800 12000 0 900   2300 11000 0
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i .27  26 2.9  0 3.1  110 35   0 .51 41 4.5 0 .44 40 4.2 0 900   11000 5300 0 890    490 8000   0 900     4500 8600    0 900     2300 11000    0 .084 11   .59 0 2.1   17 25    0 .14  25 2.0 1 .36 19 4.2 1 900   1900 11000 0 900   1800 13000 0 900   2600 12000 0
memsafety-ext2/length_test03_false-valid-memtrack.i .43  32 5.4  0 3.1  43 36   0 .49 42 4.0 0 .47 42 4.7 0 910   4700 9000 0 10    48 130   0 5.2   47 52    0 7.4   54 72    0 .23  16   2.2  0 2.3   15 27    0 .94  30 14   1 .28 13 3.4 1 900   1600 14000 0 900   1500 12000 0 900   1600 11000 0
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i .19  26 1.8  0 19    280 260   0 .48 41 4.0 0 .42 40 4.2 0 900   4900 6000 0 .81 29 9.7 -16 900     480 10000    0 900     550 10000    0 .088 11   .53 0 2.3   15 28    0 1.1   25 13   1 .34 16 4.2 1 900   930 11000 0 900   1600 11000 0 900   2000 8000 0
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i .29  26 2.5  0 870    2500 8200   0 .48 40 3.9 0 .43 40 3.8 0 900   9000 8000 0 890    590 6400   0 900     1900 9100    0 900     1800 9900    0 .060 11   .72 0 900     1300 9000    0 900     1800 7400   0 900    4100 5700   0 900   3000 10000 0 900   1800 11000 0 900   2600 11000 0
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i .29  26 2.6  0 870    1300 8800   0 .49 41 4.0 0 .47 40 4.1 0 910   11000 5600 0 890    500 6900   0 900     4000 6400    0 900     2100 11000    0 .060 11   .75 0 900     1400 13000    0 900     1900 4800   0 900    3700 6000   0 900   1600 11000 0 900   2300 14000 0 900   2400 12000 0
memsafety-ext2/length_test03_true-valid-memsafety.i .41  32 4.4  0 870    2000 4000   0 .48 41 4.0 0 .45 40 4.3 0 900   3200 9600 0 890    200 12000   0 900     600 11000    0 900     620 12000    0 .13  14   .92 0 890     87 11000    0 900     2500 11000   0 900    2100 8700   0 900   1500 11000 0 900   1700 14000 0 780   1700 9700 0
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i .18  26 1.6  0 440    13000 4800   0 .50 40 4.5 0 .46 41 4.2 0 910   5400 5400 0 .82 29 10   -16 900     490 9800    0 900     450 10000    0 .059 11   .69 0 900     750 10000    0 900     1900 6800   0 900    2900 5700   0 900   1000 11000 0 900   1700 11000 0 900   1900 7000 0
memsafety-ext2/split_list_test05_true-valid-memsafety.i 3.8   330 39    -16 250    15000 3700   0 .47 41 4.3 0 .45 40 4.1 0 970   13000 8300 0 900    15000 11000   0 120     15000 1100    0 110     15000 910    0 .053 11   .55 0 900     3400 6000    0 900     790 7000   0 900    3000 5500   0 900   3400 12000 0 900   1800 12000 0 910   13000 6800 0
list-ext-properties/960521-1_1_false-valid-deref.i .17  26 1.6  0 .46 36 4.7 1 .46 41 4.1 0 .48 41 4.1 0 5.6 310 46 1 1.5  29 19   0 .48  29 4.6  0 .25  29 2.3  0 .070 10   .64 0 .68  13 8.2  1 .16  24 1.9 1 .25 12 3.3 1 9.2 470 76 1 13   680 140 0 15   860 120 0
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i .70  37 7.1  0 110    380 1300   1 .48 40 4.1 0 .44 40 4.3 0 5.7 310 48 1 1.3  30 16   1 150     210 1900    1 130     210 1600    1 .10  12   .87 0 110     19 1400    1 4.1   54 37   1 .54 14 8.5 1 900   1500 12000 0 900   1600 14000 0 900   2900 10000 0
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i .35  31 3.8  0 .49 36 5.4 1 .49 40 4.2 0 .42 40 4.2 0 910   6100 6900 0 1.3  29 18   1 .41  29 3.8  -16 .26  29 2.7  0 .085 11   .57 1 .72  14 10    1 .15  24 2.0 1 .27 12 3.5 1 18   540 170 1 52   1100 670 1 41   730 380 1
list-ext-properties/960521-1_1_false-valid-free.i .19  26 1.4  0 .49 36 4.4 1 .49 43 4.7 0 .46 40 4.4 0 6.1 310 53 1 1.5  28 19   0 .29  29 3.1  1 .26  29 2.2  1 .077 10   .59 0 .65  13 8.1  1 .15  24 1.8 1 .28 11 3.2 1 12   520 110 1 28   870 300 1 17   870 150 1
list-ext-properties/test-0158_1_false-valid-free.i .18  26 1.9  1 .44 36 4.1 1 .49 41 3.9 0 .45 40 3.8 0 3.1 250 24 1 .54 28 8.5 -16 .32  28 3.3  0 .38  28 3.2  0 .067 10   .44 0 .51  13 6.4  1 .16  22 1.6 1 .25 11 2.9 1 7.0 310 62 1 29   830 340 0 10   540 80 0
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i .23  26 1.7  0 .46 36 4.2 0 .46 40 4.6 0 .45 40 4.1 0 3.0 250 26 1 .52 28 7.6 0 .27  28 3.0  0 .27  28 2.9  0 .078 11   .58 0 .54  12 6.4  0 .13  23 5.1 1 .26 15 3.7 1 150   920 2100 0 470   1900 7200 0 140   910 1800 0
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i .20  26 1.3  0 .47 36 3.7 0 .47 41 4.5 0 .43 40 4.0 0 3.0 260 29 1 .45 28 5.9 1 .084 27 .99 0 .10  27 .88 0 .050 10   .49 0 .50  13 6.0  1 .15  23 1.9 0 .24 11 2.3 1 11   350 100 0 29   670 290 0 14   360 110 0
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i .28  28 2.8  0 .51 36 4.4 0 .50 43 4.9 0 .45 38 3.9 0 5.5 300 43 1 .57 28 7.1 0 .19  28 1.3  0 .64  29 5.3  0 .077 10   .47 0 .66  13 8.9  1 .16  23 1.9 1 .28 14 3.2 1 56   700 590 0 550   1800 6800 0 110   3400 1100 0
list-ext-properties/960521-1_1_true-valid-memsafety.i .17  26 1.6  0 35    1200 400   2 .47 40 4.6 0 .45 39 4.4 0 9.4 570 73 2 890    110 11000   0 5.9   38 72    2 6.2   39 75    2 .051 10   .67 0 14     15 170    2 .95  34 11   2 .31 12 3.8 2 900   1200 11000 0 900   1800 9100 0 900   1000 13000 0
list-ext-properties/list-ext_1_true-valid-memsafety.i .80  38 10    0 110    290 1100   2 .48 41 4.3 0 .44 40 4.2 0 30   1800 190 2 890    210 9700   0 170     210 2500    2 200     210 2400    2 .10  12   .85 0 200     22 3100    2 3.0   57 31   2 .81 14 10   2 300   810 3400 0 900   1500 14000 0 900   2700 10000 0
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i .46  32 4.5  0 48    140 620   2 .47 40 4.3 0 .45 40 3.6 0 900   7400 6300 0 890    200 8300   0 54     110 690    2 60     110 810    2 .052 10   .55 0 900     1600 6500    0 900     480 6000   0 900    3200 6700   0 900   2300 12000 0 900   2400 12000 0 900   4600 11000 0
list-ext-properties/simple-ext_1_true-valid-memsafety.i .38  30 3.8  0 52    270 650   2 .47 40 4.2 0 .46 40 4.7 0 20   910 140 2 890    190 8700   0 240     190 2600    2 230     190 2400    2 .088 11   .75 0 73     16 940    2 310     2000 2700   2 .48 12 6.7 2 400   920 4000 0 900   4400 14000 0 900   3400 11000 0
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i .20  26 2.0  2 .84 36 11   2 .51 44 4.4 0 .43 38 3.9 0 3.1 280 27 2 .87 28 12   2 .14  27 1.3  2 .12  27 1.4  2 .092 12   .67 2 .57  14 6.7  2 .15  23 1.8 2 .26 15 3.2 2 120   900 1300 2 170   1700 2000 2 170   920 2000 2
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i .18  26 1.8  2 .83 36 7.3 2 .44 41 4.4 0 .47 40 4.3 0 3.2 280 30 2 1.1  28 14   2 .15  27 1.7  2 .18  27 1.9  2 .048 10   .54 0 .52  13 6.1  2 .11  22 1.8 2 .23 11 2.4 2 14   380 110 2 900   3100 11000 0 10   570 81 2
list-ext-properties/test-0214_1_true-valid-memsafety.i .19  27 1.9  0 610    480 5700   2 .47 41 4.6 0 .44 40 4.4 0 2.0 160 17 0 890    860 6900   0 900     3900 12000    0 900     4700 11000    0 .053 11   .60 0 900     180 11000    0 12     530 150   2 900    270 8000   0 860   1300 10000 0 900   1500 12000 0 900   1300 12000 0
list-ext-properties/test-0217_1_true-valid-memsafety.i .21  27 1.7  0 510    400 3900   2 .47 40 3.9 0 .43 40 3.8 0 1.9 170 15 0 890    1100 6300   0 900     2800 10000    0 900     2900 9800    0 .074 11   .43 0 890     150 12000    0 4.0   120 44   2 900    250 7300   0 900   1400 14000 0 900   1600 14000 0 900   5000 11000 0
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i .40  31 3.9  0 9.1  62 120   2 .48 41 4.5 0 .45 40 4.8 0 7.8 490 64 2 210    160 2200   2 120     250 1400    2 100     240 1100    2 .050 10   .47 0 37     15 500    2 1.6   24 20   2 .32 15 3.5 2 270   830 3300 0 900   1700 12000 0 900   3300 12000 0
list-ext-properties/test-0504_1_true-valid-memsafety.i .21  26 1.8  0 5.6  80 78   2 .48 41 4.4 0 .46 40 3.7 0 910   5800 4900 0 890    440 8800   0 230     190 3000    2 160     160 1900    2 .069 10   .58 0 900     190 11000    0 900     6100 5100   0 5.5  44 70   2 900   1200 10000 0 900   2300 11000 0 370   1100 4000 0
list-ext-properties/test-0513_1_true-valid-memsafety.i .37  32 3.9  0 11    290 130   2 .50 41 3.9 0 .44 40 4.4 0 4.0 270 31 2 890    2600 10000   0 17     210 200    2 12     170 150    2 40     960   500    2 7.8   15 94    2 .23  25 2.9 2 .30 13 3.5 2 900   860 11000 0 900   2200 12000 0 900   1800 12000 0
memory-alloca/c.03-alloca_true-valid-memsafety.i .20  26 1.7  2 870    1800 4900   0 .47 40 4.1 0 .44 40 3.7 0 900   920 13000 0 160    70 1900   0 900     680 11000    0 900     650 10000    0 .068 12   .50 0 900     58 11000    0 1.2   43 16   2 900    72 13000   0 9.5 530 73 2 900   2000 12000 0 12   530 95 2
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c .086 24 .82 0 .25 33 2.2 1 .50 42 4.7 0 .44 40 4.5 0 2.6 250 23 1 .40 28 4.8 0 .19  29 1.8  1 .19  29 1.9  1 .052 10   .53 0 .87  12 11    1 .13  23 2.0 1 .24 11 2.6 1 5.7 280 49 1 6.8 430 59 0 6.1 290 49 0
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c .088 22 .67 0 .27 33 2.1 1 .49 41 4.6 0 .46 42 3.8 0 2.4 250 20 1 .35 27 3.7 0 .087 28 .87 1 .17  29 1.7  1 .076 10   .46 0 .80  12 10    1 .13  23 1.9 1 .23 11 2.7 1 6.4 300 53 1 7.4 460 67 1 6.7 330 54 1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c .22  36 1.9  1 .26 33 2.1 1 .49 41 4.7 0 .46 41 4.2 0 2.4 250 24 1 .37 27 4.1 0 .091 28 1.0  1 .11  28 .65 1 .049 10   .48 0 .62  12 9.4  1 .13  22 1.8 1 .24 11 2.6 1 4.9 280 41 1 4.7 260 40 1 5.0 290 46 1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c .22  37 1.9  1 .27 33 2.0 1 .50 43 4.2 0 .45 41 3.8 0 2.4 250 20 1 .36 27 3.5 0 .081 28 .82 1 .077 28 .99 1 .072 10   .57 0 .63  12 8.6  1 .16  22 2.0 1 .23 11 2.6 1 5.1 290 40 1 4.9 260 41 1 5.0 280 41 1
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c 37     1700 280    1 3.6  34 42   0 .49 42 4.1 0 .45 40 4.1 0 8.7 410 65 1 590    570 6000   0 2.6   41 31    1 2.8   44 40    1 .047 10   .48 0 1.3   12 16    1 1.6   38 17   1 .23 11 2.6 1 900   5400 10000 0 900   5500 13000 0 900   3300 10000 0
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c 73     1600 450    1 3.6  34 35   1 .47 41 4.4 0 .45 40 4.2 0 10   510 61 1 640    570 7200   0 2.5   43 35    1 2.8   45 40    1 .073 9.9 .56 0 1.4   12 18    1 3.8   53 38   1 .25 11 2.7 1 730   5500 9200 1 900   5500 11000 0 900   4100 11000 0
ldv-memsafety/memset2_false-valid-deref-write.c .17  24 1.5  0 .45 34 4.0 0 .47 40 4.8 0 .45 40 3.9 0 2.3 240 22 1 75    29 1100   0 1.5   42 18    1 1.6   44 20    1 .049 9.9 .49 1 .35  11 4.5  1 .15  21 1.7 1 .21 11 2.8 1 4.8 280 35 1 4.5 260 41 1 4.6 290 42 1
ldv-memsafety/memset3_false-valid-deref-write.c .17  24 1.3  0 .41 34 4.6 0 .48 40 4.9 0 .45 40 4.4 0 2.7 270 23 1 270    38 3100   0 18     340 260    1 18     350 230    1 .075 9.9 .49 0 .38  11 3.8  1 .15  22 1.9 1 .21 11 2.6 1 4.7 290 43 1 4.5 250 42 1 4.6 270 35 1
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c .18  24 1.2  0 .46 34 4.0 0 .49 41 3.8 0 .46 40 4.2 0 2.3 250 21 1 75    29 920   0 1.5   42 21    1 1.6   44 23    1 .051 9.9 .52 1 .33  11 4.7  1 .13  19 1.7 1 .22 11 2.5 1 4.4 280 38 1 4.6 250 38 1 4.9 280 38 1
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c .18  24 1.2  0 .43 34 4.3 0 .49 41 3.9 0 .43 41 3.9 0 2.4 250 25 1 270    38 4100   0 18     340 190    1 18     350 260    1 .074 9.9 .44 0 .38  11 4.1  1 .14  22 1.7 1 .21 11 2.7 1 4.7 280 43 1 4.8 250 38 1 4.8 280 39 1
ldv-memsafety/memsetNonZero_false-valid-deref-write.c .19  24 1.5  0 .43 34 4.6 0 .48 41 4.4 0 .45 38 3.8 0 2.4 240 22 1 270    38 3800   0 18     340 200    1 18     350 260    1 .048 9.9 .49 1 .32  11 4.2  1 .15  21 1.8 1 .23 11 2.6 1 4.7 280 43 1 4.6 260 33 1 4.6 280 41 1
ldv-memsafety/memset_false-valid-deref-write.c .19  25 1.2  0 .42 34 4.3 0 .47 42 4.5 0 .43 40 3.6 0 2.4 250 21 1 270    38 3200   0 18     340 250    1 18     350 220    1 .074 9.9 .46 1 .34  11 4.2  1 .11  23 1.9 1 .21 11 2.9 1 4.7 280 40 1 4.4 260 33 1 4.8 290 41 1
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c .12  22 .65 0 870    5300 5400   0 .47 41 3.9 0 .45 40 4.2 0 77   4800 580 2 900    1800 9100   0 900     2400 11000    0 900     2800 11000    0 .074 10   .43 0 890     14 13000    0 830     1800 9900   2 .58 13 7.2 2 900   5100 12000 0 900   2200 14000 0 900   4900 13000 0
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c .30  36 3.0  2 3.9  34 43   2 .48 41 4.4 0 .44 40 4.1 0 12   830 99 2 900    620 6900   0 1.1   29 14    2 1.1   29 17    2 .047 9.9 .54 0 1.7   11 21    2 2.0   74 20   2 .24 11 3.0 2 8.6 470 65 2 900   5500 12000 0 15   740 130 2
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c .91  35 10    2 4.1  33 59   2 .49 43 4.5 0 .47 40 4.1 0 8.0 490 58 2 690    580 5400   2 2.5   41 34    2 2.7   42 41    2 .067 9.9 .49 0 1.5   11 20    2 3.3   47 33   2 .25 11 2.9 2 9.6 530 73 2 900   5500 13000 0 21   840 170 2
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c .32  37 2.9  2 3.9  35 42   2 .47 40 4.1 0 .42 40 3.7 0 12   830 95 2 900    680 9800   0 1.1   29 15    2 1.1   30 17    2 .050 10   .49 0 1.7   12 21    2 2.0   73 21   2 .25 11 2.8 2 8.4 470 67 2 900   5500 13000 0 20   1000 160 2
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c 4.2   63 46    2 13    80 160   2 .48 40 4.9 0 .47 40 4.0 0 36   4100 320 2 900    640 8800   0 80     820 960    2 83     840 920    2 .065 10   .53 0 13     12 180    2 170     690 2200   2 .44 12 5.4 2 10   520 85 2 900   5300 12000 0 43   1800 380 2
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c .88  35 12    2 3.7  35 38   2 .46 40 4.1 0 .43 40 4.3 0 6.5 440 50 2 680    570 8400   2 2.7   43 36    2 3.0   45 39    2 .050 9.9 .49 0 1.4   11 16    2 3.6   50 36   2 .23 11 2.6 2 8.6 460 76 2 900   5400 13000 0 17   830 130 2
ldv-memsafety/StructInitialization1_true-valid-memsafety.c .13  23 .74 2 .44 33 3.9 2 .49 40 4.0 0 .45 40 4.3 0 2.4 250 22 2 3.9  250 37   2 .10  29 1.0  2 .11  29 1.3  2 .049 9.9 .46 0 .34  11 4.9  2 .13  23 1.7 2 .22 11 2.6 2 3.6 220 32 0 3.5 220 30 0 3.6 220 26 0
ldv-memsafety/StructInitialization2_true-valid-memsafety.c .11  22 .76 2 .44 33 3.4 2 .49 43 4.3 0 .42 40 3.6 0 2.5 250 23 2 3.8  250 42   2 .11  29 1.3  2 .10  29 1.2  2 .050 9.9 .47 0 .35  11 4.4  2 .10  21 1.8 2 .22 11 2.3 2 3.6 220 32 0 4.1 230 29 0 3.5 230 29 0
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c .11  22 .81 2 .44 33 4.1 2 .48 41 4.1 0 .48 40 4.4 0 2.4 240 21 2 3.2  230 30   2 .12  26 .87 2 .082 26 .95 2 .060 12   .63 2 .31  11 3.3  2 .094 21 1.8 2 .20 11 2.3 2 3.9 230 32 2 4.1 240 34 2 3.8 230 32 2
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c .16  24 1.6  0 .81 35 8.9 2 .49 40 4.3 0 .41 40 4.1 0 2.4 250 21 2 41    250 610   2 1.6   43 18    2 1.7   44 25    2 .087 12   .61 2 .34  11 3.5  2 .11  21 1.6 2 .23 11 2.6 2 6.3 310 50 2 29   880 280 2 7.0 350 57 2
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c .18  24 1.6  0 .80 34 7.4 2 .51 42 4.2 0 .45 40 4.1 0 2.4 240 21 2 230    250 2800   2 18     350 230    2 19     360 220    2 .074 9.8 .45 0 .34  11 4.2  2 .11  22 1.7 2 .21 11 2.8 2 6.4 300 55 2 63   1700 750 2 7.0 350 54 2
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c .18  24 1.5  0 .82 35 7.5 2 .45 41 4.3 0 .42 41 3.9 0 2.3 240 20 2 40    230 540   2 1.6   43 18    2 1.7   44 24    2 .048 9.9 .50 0 .34  11 3.6  2 .14  21 1.7 2 .23 11 2.6 2 6.3 300 51 2 27   870 320 2 6.8 360 57 2
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c .19  24 1.2  0 .85 34 7.5 2 .49 40 4.3 0 .47 40 3.9 0 2.3 240 21 2 230    250 2900   2 18     350 270    2 19     360 290    2 .065 9.9 .53 0 .36  11 4.7  2 .14  22 1.7 2 .23 11 2.4 2 6.2 310 51 2 62   1600 690 2 6.8 360 52 2
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c .19  24 1.4  0 .84 34 7.6 2 .47 40 4.1 0 .46 40 4.4 0 2.4 240 23 2 230    250 3000   2 18     350 270    2 19     360 260    2 .075 9.9 .43 0 .35  11 3.7  2 .10  21 1.7 2 .22 11 2.3 2 6.5 300 56 2 63   1700 730 2 6.7 360 55 2
ldv-memsafety/memset_true-valid-memsafety_true-termination.c .15  24 1.3  0 .81 34 6.5 2 .47 40 4.1 0 .47 40 3.7 0 2.3 240 21 2 230    240 2500   2 18     350 230    2 19     360 280    2 .085 12   .61 2 .32  11 3.7  2 .099 22 1.6 2 .21 11 2.4 2 6.3 300 55 2 62   1600 840 2 6.7 350 57 2
ldv-memsafety/memleaks_test14_3_false-valid-deref.i .20  27 1.8  0 .53 37 6.5 0 .50 45 4.8 0 .43 40 3.7 0 3.6 270 33 1 .81 35 11   0 .91  29 10    0 1.5   34 15    0 .074 11   .55 0 5.0   17 77    1 .18  27 2.4 1 .53 56 7.0 1 34   860 310 0 300   1400 4500 0 40   1000 360 0
ldv-memsafety/memleaks_test22_3_false-valid-deref.i .20  27 1.6  0 .55 37 4.8 0 .49 43 4.2 0 .46 40 4.4 0 3.7 270 31 1 34    36 400   0 2.0   30 23    0 2.1   30 17    0 .077 11   .52 0 4.7   17 63    1 .21  27 2.4 1 .64 77 7.4 1 900   3300 8700 0 340   1400 5700 0 900   3300 10000 0
ldv-memsafety/memleaks_test22_5_false-valid-deref.i .19  28 1.7  0 .54 37 5.5 0 .46 41 4.5 0 .42 40 4.3 0 3.7 260 30 1 34    35 450   0 1.9   30 22    0 2.1   30 20    0 .094 11   .48 0 4.8   17 65    1 .23  32 2.4 1 .66 82 9.1 1 900   3100 8800 0 340   1600 4300 0 900   2500 8400 0
ldv-memsafety/memleaks_test23_2_false-valid-deref.i .27  28 2.6  0 11    220 160   0 .49 40 4.2 0 .48 41 4.6 0 4.0 270 38 1 540    350 6200   0 900     2200 8500    0 900     2600 8900    0 .091 12   .72 0 21     54 300    0 .19  30 2.5 0 1.5  210 18   1 310   1200 3200 0 900   1600 14000 0 900   1300 11000 0
ldv-memsafety/memleaks_test23_4_false-valid-deref.i .27  28 2.6  0 11    220 110   0 .51 45 4.9 0 .42 40 4.0 0 4.1 290 38 1 590    320 6600   0 900     2100 8800    0 900     2600 10000    0 .063 11   .78 0 19     61 250    0 .20  29 2.3 0 1.4  200 19   1 97   1200 1100 0 900   1400 14000 0 900   1400 11000 0
ldv-memsafety/memleaks_test11_1_false-valid-free.i .25  27 1.7  0 .56 37 4.9 0 .49 40 4.4 0 .42 40 4.1 0 3.6 260 30 1 1.6  35 23   -16 1.6   33 14    0 1.6   33 14    0 .062 11   .53 0 12     22 160    1 .23  28 2.2 0 .58 57 6.6 1 650   880 8600 1 190   1300 2300 0 350   810 4400 0
ldv-memsafety/memleaks_test12_false-valid-free.i .39  28 3.7  0 .67 38 6.9 0 .48 43 4.2 0 .43 40 4.3 0 4.6 290 37 1 260    210 3200   0 2.8   59 36    0 15     180 180    0 .064 12   .87 0 43     33 590    1 .26  30 3.0 0 2.3  360 28   1 900   1400 9000 0 900   1500 12000 0 900   1100 13000 0
ldv-memsafety/memleaks_test17_2_false-valid-free.i .19  27 1.7  0 3.2  65 33   0 .50 40 4.2 0 .45 40 4.3 0 4.3 280 34 1 890    320 12000   0 12     120 120    0 15     120 160    0 .063 11   .65 0 5.3   19 65    1 .55  30 5.5 1 .50 39 6.3 1 900   2400 11000 0 900   2700 12000 0 350   1100 4000 0
ldv-memsafety/memleaks_test19_false-valid-free.i .21  27 2.2  1 .54 37 5.1 0 .46 41 4.3 0 .45 40 4.1 0 3.6 270 32 1 .73 30 9.2 -16 .24  29 2.7  1 .29  30 2.4  1 .079 11   .73 0 9.1   18 130    1 .18  28 2.2 1 .52 41 6.0 1 130   990 1500 1 520   1300 6200 1 430   880 5200 1
ldv-memsafety/memleaks_test1_false-valid-free.i .19  27 1.8  1 .50 37 4.0 0 .48 41 3.9 0 .45 40 3.7 0 3.5 260 28 1 .54 30 5.9 -16 .13  29 1.5  1 .12  29 1.5  1 .059 11   .60 0 3.9   17 47    1 .21  26 2.4 1 .36 18 5.3 1 5.9 290 45 1 6.9 340 63 0 5.9 290 44 0
ldv-memsafety/memleaks_test3_false-valid-free.i .21  27 2.0  1 .49 37 4.2 1 .47 40 4.7 0 .45 40 4.1 0 3.6 290 34 1 .41 30 4.3 -16 .13  29 1.5  1 .15  29 1.3  1 .059 11   .66 0 .064 12 .63 0 .23  27 2.1 1 .34 12 4.3 1 4.4 250 38 1 4.7 250 37 1 4.7 270 38 1
ldv-memsafety/memleaks_test6_2_false-valid-free.i .20  27 2.1  1 .49 37 5.4 0 .49 41 4.9 0 .41 40 3.9 0 3.9 290 36 1 .57 30 6.5 -16 .33  29 2.9  1 .30  29 3.3  1 .061 11   .63 0 7.7   18 110    0 .20  27 2.5 1 .46 31 5.0 1 12   540 110 1 48   1000 590 1 16   700 140 1
ldv-memsafety/memleaks_test8_2_false-valid-free.i .22  27 1.5  1 .47 37 5.3 0 .46 41 4.2 0 .46 40 4.2 0 3.3 260 28 1 .55 30 6.5 -16 .13  29 1.3  1 .18  29 1.3  1 .061 11   .62 0 4.0   16 54    1 .22  27 2.1 1 .37 19 4.6 1 6.0 290 52 1 7.6 470 70 1 6.1 290 46 1
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i .24  28 2.3  0 .53 37 6.8 0 .51 42 4.6 0 .41 40 4.2 0 3.6 270 35 1 .88 30 9.5 -16 .68  32 8.2  0 .78  32 7.4  0 .088 11   .62 0 10     18 140    1 .22  27 2.1 1 .44 27 6.0 1 900   880 13000 0 430   1300 5000 0 900   910 13000 0
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i .20  27 1.8  0 .55 37 5.6 0 .48 41 4.4 0 .45 40 4.6 0 3.6 260 32 1 1.2  32 16   -16 1.3   33 11    0 1.1   32 17    0 .067 11   .52 0 13     19 150    1 .20  28 2.3 0 .60 55 6.1 1 900   860 13000 0 390   1300 5100 0 630   830 7300 0
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i .22  27 1.6  0 .49 37 4.5 0 .49 40 4.3 0 .42 40 4.0 0 3.4 260 30 1 .50 30 5.7 0 .24  29 2.0  0 .23  29 2.7  0 .061 11   .64 0 4.2   16 50    1 .18  27 2.6 1 .40 19 5.2 1 29   680 280 0 52   1000 620 0 38   740 380 0
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i .18  27 1.4  0 .57 39 5.6 0 .47 40 4.8 0 .42 40 3.8 0 3.5 270 36 1 4.3  44 47   0 2.3   37 22    0 1.5   34 16    0 .060 11   .63 0 5.0   17 59    1 .21  28 2.2 1 .44 30 5.0 1 230   1000 2800 0 370   1300 4800 0 370   1400 4300 0
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i .22  27 1.8  0 .49 37 4.3 0 .49 41 4.2 0 .50 41 4.1 0 3.4 260 32 1 .48 30 6.5 0 .23  29 2.1  0 .26  29 2.3  0 .060 11   .71 0 4.3   16 51    1 .24  29 2.2 0 .37 19 4.7 1 26   570 250 0 36   820 430 0 30   640 260 0
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i .22  27 1.5  0 .58 38 5.4 0 .48 41 4.6 0 .45 40 4.2 0 3.8 270 32 1 3.8  45 46   0 2.1   37 19    0 2.0   34 18    0 .086 11   .69 0 5.2   18 63    1 .20  28 2.3 1 .45 31 5.2 1 190   1100 2000 0 340   1400 4300 0 180   1100 2000 0
ldv-memsafety/memleaks_test15_false-valid-memtrack.i .29  28 2.9  0 .54 37 5.7 0 .50 41 4.7 0 .42 40 3.8 0 3.8 290 31 1 78    82 1000   0 2.0   34 20    0 2.1   37 24    0 .071 11   .75 0 9.7   19 120    1 .20  28 2.3 0 .78 100 8.8 1 900   990 12000 0 900   2300 14000 0 910   13000 3000 0
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i .20  27 1.7  0 .49 37 4.1 0 .47 40 4.0 0 .45 40 4.1 0 3.6 290 35 1 .50 30 5.7 0 .22  29 2.0  0 .24  29 2.1  0 .064 11   .61 0 7.6   17 92    0 .21  26 2.0 0 .41 26 5.0 1 15   370 120 0 10   290 87 0 14   330 100 0
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i .19  27 1.4  0 .47 37 4.5 0 .50 42 4.8 0 .47 40 4.0 0 3.4 290 30 1 .50 30 5.5 0 .12  29 1.4  0 .14  29 1.5  0 .077 11   .59 0 5.8   16 68    1 .22  27 2.1 1 .37 14 5.4 1 10   290 84 0 10   270 87 0 10   300 88 0
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i .20  27 1.5  0 3.6  72 47   0 .50 41 4.2 0 .43 40 4.5 0 4.2 270 36 1 890    260 10000   0 14     120 210    0 11     120 140    0 .067 11   .62 0 5.3   19 76    1 .26  29 2.9 1 .51 41 5.9 1 900   2400 12000 0 900   1300 15000 0 900   1300 11000 0
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i .21  27 1.5  0 3.4  65 35   0 .49 41 4.3 0 .41 40 4.5 0 4.1 270 35 1 370    180 4900   0 12     82 140    0 18     84 190    0 .077 11   .62 0 20     19 240    1 .22  28 2.8 1 .48 35 5.2 1 620   840 7200 0 900   1500 11000 0 900   1000 12000 0
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i .19  27 1.7  0 .54 37 5.1 0 .48 42 4.6 0 .48 40 3.6 0 4.0 270 33 1 .52 30 6.2 0 .20  29 2.3  0 .35  31 4.4  0 .061 11   .51 0 4.4   20 50    1 .22  27 7.4 1 .43 27 5.7 1 61   540 750 0 14   510 110 0 51   830 540 0
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i .19  28 1.7  0 3.0  53 32   0 .48 41 4.6 0 .41 38 3.4 0 4.1 290 35 1 600    160 7400   0 37     85 480    0 48     97 590    0 .077 11   .63 0 20     22 230    1 .24  28 2.8 1 .45 28 4.8 1 900   1400 10000 0 900   1400 12000 0 900   1100 11000 0
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i .18  27 1.3  0 2.4  38 33   0 .46 41 4.7 0 .44 40 4.3 0 3.8 260 32 1 10    36 140   0 6.3   37 93    0 13     37 160    0 .061 11   .85 0 280     72 3300    1 130     690 1100   1 .73 20 12   1 900   1000 12000 0 900   4900 10000 0 900   1700 12000 0
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i .20  27 1.4  0 .50 37 4.0 0 .46 40 4.5 0 .45 40 3.9 0 3.4 260 32 1 .46 30 6.5 0 .095 28 .93 0 .12  28 1.0  0 .068 13   .74 0 3.8   18 45    1 .22  27 2.2 1 .36 13 4.1 1 9.8 280 90 0 9.3 260 78 0 9.0 260 75 0
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i .19  27 1.8  0 .47 37 4.5 0 .49 41 4.3 0 .42 40 4.1 0 3.7 280 34 1 .48 30 5.5 0 .092 28 1.1  0 .11  28 1.3  0 .085 11   .54 0 4.2   16 53    1 .18  27 2.5 1 .37 14 4.7 1 11   320 89 0 9.8 260 76 0 11   310 85 0
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i .21  27 2.0  0 .50 37 3.7 0 .46 44 4.7 0 .43 40 4.4 0 3.4 260 29 1 .49 30 5.5 0 .12  28 .84 0 .11  28 1.1  0 .088 12   .60 0 4.0   16 50    1 .21  27 2.2 1 .36 13 4.7 1 9.9 280 89 0 9.2 260 78 0 9.1 260 76 0
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i .19  27 1.6  0 .54 37 6.0 0 .48 40 4.1 0 .45 40 4.1 0 3.5 260 33 1 30    34 430   0 2.1   30 19    0 1.8   30 24    0 .084 11   .59 0 4.4   17 64    1 .22  27 2.2 1 .78 99 8.4 1 230   850 2700 0 170   1300 2400 0 240   1500 3000 0
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i .18  27 1.6  0 .55 37 5.1 0 .49 40 4.2 0 .43 40 4.2 0 3.4 260 30 1 16    30 170   0 .54  29 7.8  0 .59  29 7.7  0 .060 11   .61 0 4.0   16 59    1 .18  26 2.2 0 .37 19 4.7 1 45   710 430 0 42   870 460 0 210   880 2200 0
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i .18  28 2.0  0 .53 38 5.1 0 .48 40 4.2 0 .47 40 4.1 0 3.7 290 31 1 30    34 380   0 2.1   30 15    0 2.0   30 22    0 .076 11   .50 0 4.6   17 57    1 .21  28 2.4 1 .77 100 10   1 240   920 2800 0 170   1300 2200 0 250   1400 3200 0
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i .21  27 1.6  0 .52 37 4.8 0 .51 44 4.2 0 .48 40 4.2 0 3.5 260 32 1 .53 30 6.4 0 .19  29 2.3  0 .23  29 1.9  0 .087 11   .61 0 5.6   17 64    1 .21  27 2.2 0 .38 20 4.6 1 13   350 120 0 12   330 97 0 13   300 110 0
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i .20  27 1.5  0 .47 37 4.4 0 .47 40 4.5 0 .43 40 3.6 0 3.6 290 30 1 .47 30 5.3 0 .091 28 1.2  0 .11  28 1.1  0 .072 11   .65 0 3.9   16 52    1 .18  27 2.3 1 .34 13 4.1 1 10   290 80 0 9.2 260 76 0 9.0 260 72 0
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i .19  27 1.6  0 .49 37 4.2 0 .48 41 4.0 0 .43 40 4.7 0 3.3 260 28 1 .46 30 6.1 0 .090 28 1.2  0 .11  28 1.0  0 .060 11   .69 0 4.1   16 50    1 .18  26 2.3 1 .41 23 5.6 1 12   350 110 0 9.8 270 77 0 12   320 100 0
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i .21  27 1.6  0 .54 37 4.9 0 .49 41 4.5 0 .43 40 4.1 0 3.6 290 33 1 .49 30 7.4 0 .30  29 2.5  0 .25  29 2.9  0 .061 11   .71 0 7.8   17 90    0 .17  28 2.7 0 .44 31 4.9 1 39   550 370 0 33   820 410 0 98   630 1200 0
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i .23  27 1.5  0 .49 38 5.0 0 .47 40 4.1 0 .54 40 4.2 0 3.4 260 31 1 .50 30 6.0 0 .24  29 2.2  0 .22  29 2.0  0 .063 11   .60 0 7.6   17 110    0 .18  27 2.5 0 .43 25 5.6 1 80   550 970 0 23   700 230 0 87   630 1200 0
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i .18  27 1.9  0 .51 37 4.3 0 .48 40 4.5 0 .44 40 3.9 0 4.0 290 31 1 .51 30 5.9 0 .23  29 2.5  0 .21  29 2.1  0 .083 11   .59 0 8.0   17 110    0 .20  28 2.3 0 .47 29 5.5 1 20   560 180 0 17   590 170 0 29   540 280 0
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i .18  27 1.8  0 .51 37 4.1 0 .44 40 4.5 0 .44 40 3.9 0 3.4 290 33 1 .49 30 5.8 0 .091 28 .92 0 .091 28 1.0  0 .081 11   .59 0 4.0   16 53    1 .20  30 2.2 1 .37 13 4.7 1 10   300 77 0 9.3 260 73 0 9.0 260 79 0
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i .21  27 1.6  0 .51 37 4.4 0 .49 41 3.8 0 .46 40 3.7 0 3.7 290 27 1 .49 30 6.2 0 .12  28 .87 0 .11  28 .88 0 .083 11   .65 0 4.0   16 46    1 .18  27 2.3 1 .34 13 4.1 1 12   350 110 0 9.8 270 81 0 12   310 87 0
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i .21  27 1.5  0 .49 37 4.5 0 .48 41 4.5 0 .46 40 4.1 0 3.6 300 31 1 .49 30 6.1 0 .089 28 .93 0 .11  28 .90 0 .077 11   .70 0 3.9   16 46    1 .20  27 2.0 1 .36 13 4.1 1 10   290 80 0 9.6 260 86 0 9.3 260 76 0
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i .27  29 2.6  2 1.1  38 11   2 .48 41 4.1 0 .45 40 4.0 0 3.6 270 29 2 .86 31 11   -16 .87  31 11    2 .90  31 12    2 .077 11   .64 0 11     18 130    2 .17  27 2.3 2 .44 30 6.5 2 900   890 9300 0 900   1300 11000 0 900   1100 9600 0
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i .22  28 1.9  0 1.1  39 9.2 2 .46 40 4.8 0 .44 40 4.0 0 3.7 270 32 2 1.3  34 16   -16 .86  32 11    2 .85  32 10    2 .083 11   .61 0 13     19 150    2 .19  28 2.4 2 .59 56 6.9 2 530   1100 7100 2 900   1400 12000 0 900   830 13000 0
ldv-memsafety/memleaks_test12_true-valid-memsafety.i .38  28 3.7  0 .63 37 7.7 0 .46 40 4.1 0 .48 41 3.8 0 4.8 280 37 2 270    210 3600   0 2.8   59 38    0 12     180 160    0 .092 12   .61 0 53     33 820    2 .25  31 3.0 2 2.3  360 26   2 900   1300 12000 0 900   1600 9500 0 900   1100 10000 0
ldv-memsafety/memleaks_test13_true-valid-memsafety.i .22  27 1.5  0 1.0  37 9.3 2 .45 40 4.2 0 .43 40 4.3 0 3.6 270 31 2 30    360 300   2 1.5   37 18    2 .85  33 11    2 .078 11   .60 0 5.2   17 65    2 .20  27 2.0 2 .55 61 8.3 2 71   1200 660 2 690   1400 8900 2 340   1100 4200 2
ldv-memsafety/memleaks_test14_true-valid-memsafety.i .18  27 1.8  0 1.0  39 11   2 .49 40 4.1 0 .45 40 4.5 0 3.4 260 30 2 20    290 170   2 2.7   41 32    2 .76  32 8.8  2 .085 11   .64 0 5.3   19 74    2 .15  27 2.2 2 .59 62 7.2 2 60   1100 640 2 690   1400 8600 2 320   1400 3800 2
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i .23  28 1.9  0 1.1  41 12   2 .46 41 4.8 0 .44 40 4.1 0 3.7 270 33 2 1.1  35 13   -16 8.7   39 110    2 9.4   39 120    2 .062 11   .83 0 17     24 210    2 .22  29 2.4 2 .92 120 11   2 900   840 12000 0 900   1300 13000 0 900   850 11000 0
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i .19  27 1.6  2 .93 37 8.4 2 .48 41 4.9 0 .46 40 3.8 0 3.6 290 29 2 1.0  30 13   2 .11  28 1.2  2 .13  28 .95 2 .064 11   .65 0 6.2   16 72    2 .15  27 2.0 2 .43 27 5.9 2 8.6 470 76 2 7.9 380 74 2 9.2 480 74 2
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i .21  27 1.3  0 5.0  71 53   2 .49 41 4.5 0 .45 41 4.3 0 4.7 290 39 2 890    270 9000   0 47     130 540    2 70     140 790    2 .061 11   .64 0 34     19 490    2 .24  27 2.9 2 .53 41 7.2 2 900   2400 11000 0 900   2500 14000 0 260   1000 2900 0
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i .21  27 1.4  0 280    14000 1800   0 .48 40 4.5 0 .48 40 4.4 0 3.2 270 27 0 890    280 7700   0 900     370 10000    0 900     400 11000    0 .090 11   .61 0 65     23 800    2 .23  27 2.6 0 900    1900 11000   0 900   1800 11000 0 900   1300 13000 0 900   4600 10000 0
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i .18  27 1.5  0 3.8  53 43   2 .49 41 4.0 0 .45 40 4.5 0 4.5 280 37 2 890    220 9100   0 48     100 640    2 68     110 890    2 .058 11   .70 0 28     18 350    2 .36  29 4.1 2 .47 28 5.3 2 900   1100 13000 0 900   1300 12000 0 900   980 13000 0
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i .23  27 1.8  2 .99 38 9.4 2 .50 41 4.4 0 .42 40 4.1 0 3.8 270 31 2 1.1  30 14   2 .15  28 1.9  2 .15  28 1.5  2 .085 11   .65 0 9.0   18 120    2 .20  27 2.1 2 .49 41 6.7 2 310   960 3800 2 550   1200 8900 2 340   940 4600 2
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i .18  27 1.7  2 .91 37 8.4 2 .47 41 4.2 0 .45 40 3.8 0 3.4 260 27 2 .99 30 11   2 .13  27 1.0  2 .11  28 1.2  2 .063 11   .76 0 3.8   16 45    2 .15  27 2.1 2 .40 18 4.4 2 6.8 320 52 2 6.4 350 53 2 6.2 300 47 2
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i .18  27 1.5  0 .89 37 9.5 2 .51 43 4.7 0 .43 40 4.4 0 3.6 270 33 2 1.0  30 13   2 .099 28 1.3  2 .11  28 1.3  2 .060 11   .65 0 4.6   17 67    2 .17  27 2.2 2 .42 28 5.7 2 8.8 480 73 2 8.1 430 64 2 8.8 470 69 2
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i .19  27 1.5  0 .90 37 8.6 2 .49 40 4.1 0 .45 40 3.8 0 3.5 260 29 2 1.0  30 13   2 .13  28 1.1  2 .13  28 .74 2 .076 11   .69 0 4.5   16 56    2 .19  26 2.2 2 .43 27 4.9 2 8.7 450 65 2 7.8 480 71 2 8.0 390 61 2
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i .22  27 1.7  0 .97 37 12   2 .46 40 3.9 0 .45 40 4.1 0 3.6 270 28 2 27    33 330   2 .61  28 7.3  2 .68  28 7.8  2 .084 11   .62 0 4.5   19 57    2 .20  26 1.8 2 .65 77 8.6 2 900   2600 9700 0 430   1300 6800 2 900   3400 11000 0
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i .22  27 1.7  0 1.0  38 8.9 2 .44 41 4.1 0 .45 40 4.2 0 3.7 270 32 2 37    36 470   2 .72  28 9.9  2 .82  28 9.8  2 .062 11   .63 0 4.8   17 66    2 .18  27 2.3 2 .75 99 9.0 2 900   3000 10000 0 820   1400 11000 2 900   1600 13000 0
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i .22  27 1.9  0 1.0  37 12   2 .49 40 4.3 0 .44 41 4.4 0 3.7 270 27 2 37    36 530   2 .72  28 8.9  2 .85  28 9.7  2 .063 11   .62 0 5.0   17 59    2 .19  27 2.3 2 .79 110 10   2 900   3100 11000 0 810   1300 11000 2 900   1500 11000 0
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i .26  28 2.9  0 870    10000 8200   0 .45 40 4.2 0 .47 41 3.8 0 4.5 290 39 2 470    340 5100   -16 900     2200 9300    0 900     2500 11000    0 .066 12   .76 0 890     53 11000    0 .22  28 2.2 0 900    210 9400   0 900   1200 10000 0 900   1600 12000 0 900   1900 14000 0
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i .25  28 2.2  0 870    10000 8400   0 .46 40 4.5 0 .44 40 4.2 0 4.3 270 36 2 210    200 1900   -16 900     2100 8800    0 900     2600 8900    0 .064 12   .87 0 890     53 12000    0 .22  29 2.4 0 900    200 8800   0 900   1300 12000 0 900   1500 12000 0 900   1300 10000 0
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i .20  27 1.5  2 .90 37 9.5 2 .48 40 4.0 0 .46 40 4.2 0 3.7 290 31 2 .97 30 11   2 .12  27 1.0  2 .13  28 1.0  2 .057 11   .72 0 3.9   16 56    2 .19  26 2.0 2 .37 18 4.7 2 7.4 370 66 2 7.3 460 61 2 7.3 350 58 2
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i .20  27 1.6  2 .91 37 9.6 2 .50 42 3.9 0 .44 40 4.3 0 3.7 290 35 2 1.0  30 11   2 .13  28 1.5  2 .14  28 1.6  2 .061 11   .64 0 5.7   17 76    2 .15  27 2.1 2 .39 20 5.1 2 23   540 220 2 11   670 110 2 39   730 370 2
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i .19  27 1.6  2 .90 37 9.5 2 .48 41 4.3 0 .42 40 3.9 0 3.6 290 34 2 1.0  30 14   2 .13  28 1.2  2 .10  28 1.0  2 .082 11   .56 0 4.1   16 50    2 .19  27 2.0 2 .41 23 4.7 2 8.3 420 71 2 7.1 470 63 2 8.1 400 64 2
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i .21  27 1.7  2 .93 37 8.2 2 .46 42 4.1 0 .44 40 4.4 0 3.8 290 32 2 1.0  30 11   2 .11  28 .90 2 .13  28 1.3  2 .077 11   .69 0 8.3   18 100    2 .18  28 2.2 2 .46 31 5.2 2 14   600 110 2 63   1200 700 2 17   680 140 2
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i .22  27 1.6  2 .94 37 8.7 2 .47 43 4.2 0 .43 40 3.7 0 3.6 270 30 2 1.1  30 13   2 .12  28 1.3  2 .11  28 1.2  2 .062 11   .71 0 8.3   18 110    2 .18  28 2.2 2 .47 35 5.6 2 12   520 110 2 40   910 440 2 14   610 120 2
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i .22  27 1.4  2 .91 37 8.9 2 .47 40 4.7 0 .44 41 4.9 0 3.4 280 29 2 .99 30 12   2 .13  28 1.1  2 .099 28 1.1  2 .12  32   .73 0 4.0   16 50    2 .15  27 2.1 2 .40 19 4.5 2 7.4 360 60 2 7.5 480 64 2 6.9 340 59 2
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i .21  27 1.6  2 .97 37 8.9 2 .47 40 4.6 0 .42 40 3.8 0 3.4 260 31 2 1.0  30 13   2 .12  28 1.1  2 .13  28 1.1  2 .077 11   .65 0 4.1   16 48    2 .19  26 1.9 2 .38 20 3.6 2 7.8 360 58 2 7.5 360 68 2 7.5 370 61 2
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i .19  23 1.3  2 .80 34 9.0 2 .48 40 4.4 0 .43 40 4.2 0 2.4 250 21 2 17    28 190   0 .12  26 .93 2 .13  26 .85 2 .074 9.9 .47 0 .41  12 5.0  2 .10  21 1.9 0 .24 11 2.4 2 3.5 220 28 0 3.4 230 29 0 3.6 230 28 0
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i .18  24 1.3  0 .79 35 8.4 2 .46 41 4.2 0 .43 41 4.0 0 2.6 270 24 2 18    28 210   0 .16  26 1.5  2 .15  26 1.6  2 .048 10   .47 0 .45  12 5.4  2 .15  21 1.6 0 .26 13 2.6 2 3.4 220 31 0 3.6 230 27 0 3.5 220 28 0
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i .15  24 1.5  0 .85 36 6.6 2 .48 40 3.9 0 .45 40 4.5 0 2.8 270 22 2 18    29 260   0 .16  26 1.3  2 .18  26 1.8  2 .048 9.9 .49 0 .44  12 5.6  2 .12  22 1.8 0 .27 13 3.0 2 3.3 220 27 0 3.5 220 29 0 3.5 220 31 0
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i .19  24 1.6  0 .85 35 8.0 2 .45 40 3.8 0 .46 40 3.7 0 2.4 250 22 2 9.0  28 100   0 .21  27 2.7  2 .25  26 2.9  2 .058 9.9 .60 0 .45  12 6.7  2 .14  21 1.6 0 .27 13 2.5 2 3.5 230 29 0 3.5 230 29 0 3.4 220 29 0
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i .18  24 1.4  0 .86 34 8.6 2 .48 40 4.3 0 .45 40 4.8 0 2.5 250 22 2 9.6  28 130   -16 .29  27 3.6  2 .34  27 3.5  2 .048 10   .61 0 .54  12 6.4  2 .11  22 1.9 0 .25 14 2.9 2 3.4 220 27 0 3.4 220 29 0 3.4 230 32 0
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i .17  24 1.6  1 .45 34 3.6 0 .48 40 4.2 0 .45 41 4.4 0 2.4 250 24 1 17    28 200   0 .25  28 1.8  0 .21  28 2.6  0 .048 9.9 .51 0 30     15000 480    0 .13  21 1.7 0 .25 11 2.4 1 3.4 220 29 0 3.5 220 28 0 3.5 220 26 0
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i .18  24 1.9  0 .46 35 3.9 0 .49 41 4.6 0 .44 40 4.3 0 2.6 270 23 1 18    28 230   0 .16  26 1.5  0 .20  27 1.7  0 .075 9.9 .46 0 .36  11 4.0  0 .12  22 1.8 0 .27 13 2.8 1 3.5 220 30 0 3.4 220 29 0 3.5 220 27 0
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i .17  24 1.4  0 .46 35 3.7 0 .47 40 4.3 0 .46 40 4.0 0 2.5 250 24 1 38    28 420   0 .32  26 3.4  0 .32  26 4.3  0 .046 10   .59 0 .35  11 3.7  0 .12  22 2.0 0 .26 13 3.4 1 3.5 230 30 0 3.5 220 32 0 3.4 220 28 0
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i .21  24 1.4  0 .47 35 3.8 0 .49 40 4.4 0 .44 40 3.8 0 2.6 260 25 1 9.5  28 120   0 .25  27 3.6  0 .34  27 4.0  0 .067 10   .51 0 .33  12 4.0  0 .15  22 1.5 0 .28 14 3.3 1 3.3 220 28 0 3.5 230 30 0 3.4 230 29 0
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i .17  24 1.4  0 .44 34 4.4 0 .49 41 4.9 0 .44 40 4.2 0 2.5 250 25 1 19    28 240   0 .14  26 1.5  1 .18  26 1.8  1 .068 9.9 .42 0 .46  12 5.6  0 .11  21 1.7 0 .27 13 2.9 1 3.6 220 29 0 3.6 230 26 0 3.6 230 28 0
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
total 180 260   24000 2500 46 180 28000 180000 220000 123 180 86 7400 780 0 180 80 7200 740 0 180 42000 370000 330000 183 180 56000   90000 570000 -234 180 39000    240000 420000   113 180 36000 230000 410000 129 180 280    3700 4800   35 180 34000 49000 380000 174 180 17000   43000 140000 201 180 32000    79000 250000   199 180 70000 190000 860000 87 180 89000 290000 1200