Tool Forester
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution [2017-01-13 11:23:04 CET [[ 2017-01-15 01:40:02 CET ]] [[ 2017-01-15 01:58:53 CET ]] [[ 2017-01-15 01:41:42 CET ]] [[ 2017-01-15 02:00:15 CET ]]; 2017-01-13 10:46:53 CET [[ 2017-01-15 01:19:51 CET ]] [[ 2017-01-15 01:22:27 CET ]] [[ 2017-01-15 01:21:29 CET ]] [[ 2017-01-15 01:24:32 CET ]]]
Run set [sv-comp17.MemSafety-Heap; sv-comp17; sv-comp17.MemSafety-LinkedLists]
Options [--trace error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; --trace error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1046.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1046.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1046.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1046.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]]
../../sv-benchmarks/c/ verifier status cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack .079 .080 .43 10   .0041 0      3.1  1.8  45   160 12   6.3 150 370
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack .11  .13  .52 19   .0082 8.0    .52 .34 12   41 5.9 3.1 83 300
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack .056 .056 .53 11   .012  0      .55 .36 9.8 39 7.1 3.8 87 290
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack .063 .063 .43 10   .0041 .0041 3.2  1.8  40   160 13   7.0 200 370
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack .049 .049 .44 10   .0041 0      .53 .33 12   40 5.8 3.1 110 300
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack .061 .062 .58 11   .0041 .30   .63 .40 9.3 40 6.4 3.4 110 300
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .073 .073 .48 11   .0082 .061  .67 .43 7.9 43 6.8 3.6 110 300
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack .048 .050 .55 11   .0041 .79   .63 .40 8.5 40 6.7 3.6 82 310
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .18  .19  2.0  22   .053  .30   3.4  1.9  49   170 98   55   880 5100
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .075 .078 .80 14   .0041 .70   2.8  1.5  57   160 67   40   980 7000
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack .094 .096 .82 14   .0041 .40   3.6  2.0  38   170 69   40   1100 7000
memsafety/test-0019_false-valid-memtrack.i valid-deref valid-free valid-memtrack .079 .079 .51 10   .0041 0      4.5  2.4  56   250 29   17   580 540
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack 64     930     1500    73   .0082 0      .59 .38 8.4 39 6.4 3.4 94 290
memsafety/test-0158_false-valid-memtrack.i valid-deref valid-free valid-memtrack .059 .062 .47 11   .0041 .55   .52 .34 13   41 7.3 3.9 80 310
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack .067 .067 .47 10   .0041 .061  .61 .38 9.2 39 7.4 3.9 67 290
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack .056 .058 .63 12   .0041 .44   .52 .35 14   43 6.7 3.6 76 290
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack .053 .053 .54 11   .0082 0      .51 .33 12   40 6.7 3.6 83 300
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack .053 .054 .65 11   .012  .32   .53 .34 9.9 40 7.9 4.1 81 300
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .075 .075 .46 10   .0041 0      3.4  1.9  37   160 12   6.5 120 360
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack .091 .093 .83 14   .0041 .50   2.8  1.5  60   160 91   55   990 7000
memsafety/test-0019_true-valid-memsafety.i valid-deref valid-free valid-memtrack .087 .10  .83 16   .0082 5.0    4.3  2.4  63   250 19   11   220 550
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack 140     930     2600    93   .0082 .061  .47 .31 10   39 7.3 3.9 89 310
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack .054 .054 .58 11   .0082 .070  .60 .39 9.9 43 7.2 3.8 78 310
memsafety/test-0158_true-valid-memsafety.i valid-deref valid-free valid-memtrack .046 .046 .46 10   .0041 0      .61 .38 6.6 40 6.8 3.6 74 290
memsafety/test-0214_true-valid-memsafety.i valid-deref valid-free valid-memtrack .055 .055 .62 11   .0082 0      .56 .36 9.7 39 6.8 3.6 100 300
memsafety/test-0217_true-valid-memsafety.i valid-deref valid-free valid-memtrack .055 .085 .75 19   .0082 7.9    .54 .35 12   41 7.0 3.7 96 300
memsafety/test-0218_true-valid-memsafety.i valid-deref valid-free valid-memtrack .055 .056 .54 11   .0082 .29   .64 .40 8.3 42 7.6 4.0 77 300
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack .049 .049 .59 10   .0041 0      .63 .40 8.2 39 6.7 3.5 100 310
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack .062 .063 .61 11   .0041 .30   .72 .45 8.3 42 5.8 3.1 120 300
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack .071 .074 .53 11   .0082 .77   .59 .38 8.9 40 7.5 4.0 80 300
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack .054 .057 .52 11   .012  .61   .66 .42 8.1 40 6.3 3.3 110 300
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack .055 .057 .56 11   .0082 .32   .61 .39 7.3 42 7.7 4.1 78 300
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack .052 .055 .61 11   .0082 .74   .55 .36 9.8 41 6.2 3.3 77 280
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.1   2.1   26    72   .012  .10   940    820    24000   7000 960   890   19000 2000
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack .048 .049 .55 10   .0041 .061  .50 .33 12   39 6.8 3.5 100 300
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack .065 .068 .67 12   .0082 .68   .63 .41 8.5 40 7.5 4.0 73 290
memsafety/test-memleak_nexttime_true-valid-memsafety.i valid-deref valid-free valid-memtrack .050 .050 .57 10   .0041 .11   3.5  1.9  42   170 17   9.4 250 540
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack .24  .26  2.3  16   .012  4.9    910    860    21000   4600 960   880   16000 1600
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack .56  .56  6.3  31   .012  0      910    840    19000   5100 960   910   23000 1300
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack 21     21     260    360   .016  0      910    850    19000   4800 960   940   22000 870
memsafety-ext/tree_cnstr_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  .21  2.5  24   .012  4.9    860    730    20000   7000 960   920   17000 880
memsafety-ext/tree_dsw_true-valid-memsafety.i valid-deref valid-free valid-memtrack .86  .88  10    78   .012  5.0    910    820    29000   5500 960   920   28000 970
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack .40  .42  5.0  28   .012  5.5    360    270    6500   7000 960   920   26000 1400
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i valid-deref valid-free valid-memtrack .53  .55  7.3  42   .012  4.8    780    630    14000   7000 960   910   17000 1000
memsafety-ext/tree_stack_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  .19  1.7  27   .012  12      680    540    14000   7000 960   920   16000 980
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack .078 .078 .55 11   .0082 0      .60 .37 9.7 39 6.2 3.3 91 290
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack .057 .059 .84 11   .0082 0      3.2  1.8  45   180 14   7.6 160 370
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack .083 .086 .61 11   .0082 0      3.0  1.7  46   160 15   8.3 120 370
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack .23  .23  2.4  16   .049  .41   3.1  1.8  40   160 15   7.8 150 390
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack .086 .086 .57 11   .0041 0      3.1  1.7  44   160 16   8.4 150 370
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack .057 .057 .72 11   .0082 0      3.2  1.8  45   190 15   8.4 160 370
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack .057 .058 .71 11   .0082 .10   3.9  2.1  43   190 13   7.0 190 370
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack .12  .12  1.1  13   .0041 .31   2.9  1.6  57   180 17   8.9 150 400
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack .058 .060 .59 11   .0041 .19   2.7  1.5  53   160 13   6.8 180 370
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack .077 .077 .57 11   .0082 0      .61 .40 7.5 39 5.7 3.1 97 300
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack .051 .052 .65 11   .0041 .30   2.8  1.5  52   160 14   7.7 150 370
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .078 .079 .91 12   .016  0      3.7  2.0  39   170 14   7.2 140 400
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .089 .12  .81 19   .0041 7.9    3.2  1.8  40   170 9.9 5.3 160 330
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack .055 .055 .37 10   .0041 .0041 2.7  1.5  55   160 13   6.9 170 380
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack .093 .12  .51 18   .0041 7.7    .51 .34 11   40 6.7 3.5 60 300
list-ext-properties/test-0019_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .053 .053 .56 11   .0041 0      4.2  2.3  79   260 97   70   1200 740
list-ext-properties/test-0158_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .047 .047 .49 10   .0041 0      .49 .33 10   40 7.4 3.9 71 300
list-ext-properties/test-0232_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .050 .051 .57 10   .0041 .10   .65 .41 7.6 41 6.6 3.5 100 300
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .050 .050 .68 10   .0041 .016  2.6  1.4  58   160 15   8.2 160 370
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .075 .078 .81 12   .016  .70   3.6  2.0  37   170 13   7.1 120 370
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .056 .058 .70 11   .0041 .64   .64 .41 9.6 43 7.4 3.9 87 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .093 .093 .79 11   .012  0      3.5  1.9  39   170 10   5.3 200 380
list-ext-properties/test-0019_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .082 .095 .80 16   .0082 4.8    5.0  2.8  57   250 52   33   520 820
list-ext-properties/test-0158_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .071 .098 .55 18   .0041 7.7    .63 .40 8.6 39 8.0 4.2 92 310
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .051 .053 .56 11   .0082 .20   .55 .36 11   41 7.3 3.8 60 300
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .080 .080 .54 11   .0082 .061  .65 .42 7.7 40 6.0 3.2 130 300
list-ext-properties/test-0232_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .049 .049 .52 10   .0041 0      .62 .40 8.5 40 6.9 3.7 87 300
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .079 .081 .49 11   .0041 .061  .57 .36 10   40 7.9 4.2 65 300
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 39     39     430    960   .012  4.8    6.4  3.4  100   280 960   870   21000 1900
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .054 .055 .55 10   .0041 0      .56 .37 11   40 7.4 3.9 78 290
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack .064 .095 .74 19   .0041 8.3    .55 .36 10   40 6.4 3.4 94 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .071 .072 .42 10   .0041 .12   .58 .37 11   39 6.5 3.4 93 300
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack .048 .049 .50 10   .0041 .10   .66 .43 7.7 40 5.9 3.1 97 300
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack .066 .066 .42 10   .0041 0      .53 .35 13   42 8.1 4.2 76 310
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack .065 .067 .42 10   .0041 0      .57 .37 9.4 40 6.2 3.3 95 300
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack .077 .077 .41 10   .0041 0      .68 .43 8.8 44 5.6 3.0 110 300
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .049 .050 .56 10   .0041 0      2.4  1.4  37   150 8.8 4.7 100 320
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack .074 .074 .45 9.9 .0041 .061  .53 .35 8.9 39 7.6 4.0 74 300
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .047 .047 .46 9.8 .0041 0      2.6  1.5  30   140 8.1 4.3 130 330
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack .044 .045 .53 9.9 .0041 0      .49 .32 13   41 7.0 3.7 77 300
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack .068 .068 .41 9.9 .0041 0      2.3  1.3  50   150 7.7 4.1 150 330
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack .074 .074 .42 10   .0041 0      2.6  1.5  28   140 7.9 4.2 150 330
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .050 .050 .55 10   .0041 .057  .65 .43 8.0 40 6.0 3.2 110 310
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c valid-deref valid-free valid-memtrack .076 .077 .48 10   .0041 .10   .52 .33 11   39 7.5 4.0 71 290
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack .075 .076 .56 10   .0041 .17   .56 .36 8.9 39 5.8 3.1 110 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c valid-deref valid-free valid-memtrack .077 .078 .43 10   .0041 .17   .60 .37 8.5 39 7.3 3.9 74 300
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack .053 .055 .46 10   .0041 .10   .52 .32 13   40 7.6 4.0 71 310
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c valid-deref valid-free valid-memtrack .075 .075 .39 9.9 .0041 0      .57 .36 8.9 40 7.5 4.0 64 300
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack .049 .049 .53 9.8 .0041 0      .51 .32 13   39 7.0 3.7 79 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .073 .073 .44 9.9 .0041 0      .66 .41 9.8 42 6.0 3.1 91 300
ldv-memsafety/StructInitialization_true-valid-memsafety.c valid-deref valid-free valid-memtrack .077 .077 .51 12   .0082 0      3.0  1.7  54   240 8.1 4.3 89 310
ldv-memsafety/memset2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .075 .12  .90 23   .0082 12      3.3  1.9  46   240 11   6.2 120 340
ldv-memsafety/memset3_true-valid-memsafety.c valid-deref valid-free valid-memtrack .072 .073 .50 10   .0041 .10   .54 .34 9.8 39 6.0 3.2 120 290
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .085 .087 .36 10   .0041 .55   .51 .33 8.8 39 6.5 3.4 97 300
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c valid-deref valid-free valid-memtrack .046 .046 .49 9.9 .0041 0      .69 .43 7.7 42 6.3 3.3 96 300
ldv-memsafety/memsetNonZero_true-valid-memsafety.c valid-deref valid-free valid-memtrack .078 .078 .48 9.9 .0041 0      .50 .31 10   39 5.7 3.0 97 300
ldv-memsafety/memset_true-valid-memsafety.c valid-deref valid-free valid-memtrack .12  .16  .73 23   .0082 12      3.4  2.0  37   240 12   6.7 120 360
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack .059 .059 .79 11   .020  0      .49 .33 9.9 39 7.4 3.8 87 310
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack .057 .057 .65 11   .016  0      .54 .33 11   40 7.7 4.0 81 300
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack .057 .057 .59 11   .016  0      .60 .37 10   42 7.2 3.8 74 290
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack .063 .063 .75 12   .025  .061  .52 .34 10   40 7.1 3.7 74 290
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack .068 .070 .62 12   .025  .65   .60 .37 13   45 6.8 3.6 94 300
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack .063 .063 .66 11   .020  0      .70 .44 8.0 41 7.4 3.9 61 300
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack .092 .092 .60 12   .025  .11   .49 .31 12   39 8.3 4.3 77 310
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack .060 .060 .68 11   .020  .020  .56 .35 8.7 39 5.8 3.1 87 300
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack .079 .079 .51 11   .020  .27   .52 .34 11   40 7.5 3.9 94 300
ldv-memsafety/memleaks_test2_false-valid-free.i valid-deref valid-free valid-memtrack .069 .070 .65 11   .016  .10   .51 .32 11   39 7.4 3.9 80 280
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack .059 .060 .60 11   .016  .10   .62 .39 8.8 42 7.2 3.8 83 300
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack .094 .096 .55 12   .020  .45   .62 .39 9.1 39 6.3 3.4 100 300
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack .10  .13  .68 19   .016  7.9    .57 .37 10   39 7.0 3.7 96 300
ldv-memsafety/memleaks_test10_false-valid-memtrack.i valid-deref valid-free valid-memtrack .061 .063 .64 12   .020  .45   .51 .33 10   39 7.2 3.8 70 290
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .063 .065 .66 11   .020  0      .55 .35 9.6 41 6.6 3.5 89 300
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .084 .084 .53 11   .016  0      .51 .33 11   43 8.4 4.4 70 300
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .060 .063 .76 12   .020  .64   .67 .43 8.5 40 5.9 3.1 110 300
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .060 .061 .67 11   .016  .22   .51 .34 12   39 6.6 3.5 82 300
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .084 .084 .53 11   .020  .0041 .53 .34 14   40 6.6 3.5 76 290
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack .091 .091 .65 12   .025  0      .53 .34 12   40 7.2 3.8 91 300
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .061 .061 .61 11   .016  0      .62 .39 11   40 6.1 3.2 130 300
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .061 .061 .63 11   .016  0      .68 .41 7.7 40 8.3 4.4 70 300
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .086 .086 .58 11   .020  0      .48 .31 9.8 40 7.1 3.7 82 300
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack .072 .073 .65 11   .020  .20   .57 .36 11   43 6.4 3.4 86 310
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .059 .059 .68 11   .016  0      .54 .34 13   40 6.9 3.6 78 290
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .085 .085 .53 11   .016  0      .64 .41 7.4 40 7.2 3.8 87 310
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack .074 .11  .81 19   .016  7.9    .51 .33 10   40 7.4 3.9 83 300
ldv-memsafety/memleaks_test1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .094 .097 .46 11   .016  .24   .51 .33 9.5 40 6.8 3.6 110 300
ldv-memsafety/memleaks_test20_false-valid-memtrack.i valid-deref valid-free valid-memtrack .060 .063 .68 12   .020  .71   .59 .36 8.6 40 7.7 4.1 87 310
ldv-memsafety/memleaks_test21_false-valid-memtrack.i valid-deref valid-free valid-memtrack .063 .063 .63 11   .016  0      .60 .37 10   44 5.6 3.0 110 290
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .060 .062 .66 12   .016  .19   .64 .40 9.0 40 6.1 3.3 97 290
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .060 .060 .71 11   .016  .10   .65 .40 7.6 40 6.9 3.6 100 300
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i valid-deref valid-free valid-memtrack .063 .063 .66 11   .016  0      .63 .39 8.7 39 6.2 3.3 76 320
ldv-memsafety/memleaks_test4_false-valid-memtrack.i valid-deref valid-free valid-memtrack .058 .058 .64 11   .016  0      .51 .33 11   39 6.8 3.6 84 290
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .076 .076 .59 11   .016  0      .49 .32 11   39 5.6 3.0 120 290
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .058 .062 .66 12   .016  .65   .57 .36 14   44 6.6 3.5 120 300
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .077 .077 .62 11   .020  0      .65 .41 7.8 40 7.3 3.8 95 300
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack .087 .087 .55 11   .020  0      .61 .40 10   40 7.1 3.7 73 300
ldv-memsafety/memleaks_test7_false-valid-memtrack.i valid-deref valid-free valid-memtrack .061 .065 .67 12   .020  .79   .52 .34 8.7 39 7.1 3.8 76 300
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .053 .054 .61 11   .016  0      .54 .34 10   42 6.3 3.3 140 300
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .087 .087 .64 11   .016  .020  .50 .32 12   39 7.8 4.1 75 310
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .060 .060 .68 11   .016  0      .62 .41 7.6 40 7.4 3.9 93 300
ldv-memsafety/memleaks_test10_true-valid-memsafety.i valid-deref valid-free valid-memtrack .075 .076 .65 11   .020  0      .60 .39 6.9 41 7.3 3.8 99 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i valid-deref valid-free valid-memtrack .091 .091 .57 11   .020  0      .62 .40 7.9 39 6.9 3.6 88 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack .091 .091 .67 12   .025  .11   .51 .32 11   40 6.9 3.7 100 310
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack .057 .057 .64 11   .020  0      .61 .39 8.8 41 7.1 3.8 85 300
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack .087 .087 .62 11   .020  .0041 .49 .32 12   40 7.3 3.9 84 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i valid-deref valid-free valid-memtrack .079 .080 .74 12   .025  0      .71 .46 9.0 44 6.2 3.3 78 300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i valid-deref valid-free valid-memtrack .081 .081 .71 11   .016  0      .56 .35 11   42 7.8 4.1 81 300
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .059 .060 .70 11   .020  0      .57 .37 10   40 5.8 3.1 110 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i valid-deref valid-free valid-memtrack .064 .093 .83 19   .020  8.0    .56 .37 10   40 7.8 4.1 75 300
ldv-memsafety/memleaks_test18_true-valid-memsafety.i valid-deref valid-free valid-memtrack .065 .069 .73 12   .016  .64   .54 .35 11   40 6.2 3.3 130 320
ldv-memsafety/memleaks_test19_true-valid-memsafety.i valid-deref valid-free valid-memtrack .067 .067 .67 11   .020  0      .50 .33 13   40 8.3 4.3 90 300
ldv-memsafety/memleaks_test1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .057 .057 .76 11   .016  0      .54 .34 9.4 39 7.3 3.9 90 300
ldv-memsafety/memleaks_test20_true-valid-memsafety.i valid-deref valid-free valid-memtrack .066 .067 .61 11   .020  .22   .61 .39 8.8 40 7.4 3.9 73 310
ldv-memsafety/memleaks_test21_true-valid-memsafety.i valid-deref valid-free valid-memtrack .060 .062 .73 12   .016  .74   .52 .34 7.1 39 7.0 3.7 72 290
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .098 .10  .60 12   .016  .57   .59 .38 6.8 39 6.0 3.2 110 310
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i valid-deref valid-free valid-memtrack .067 .067 .70 11   .016  0      .50 .33 13   41 6.6 3.4 120 320
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack .058 .058 .65 11   .016  0      .65 .40 8.6 39 8.0 4.2 91 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .063 .066 .71 12   .025  .20   .63 .40 7.6 39 7.5 3.9 78 300
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack .061 .061 .79 12   .025  .061  .61 .39 7.6 40 7.0 3.7 81 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i valid-deref valid-free valid-memtrack .060 .060 .62 11   .016  0      .53 .34 10   40 6.0 3.2 110 300
ldv-memsafety/memleaks_test3_true-valid-memsafety.i valid-deref valid-free valid-memtrack .080 .081 .60 11   .016  .27   .59 .38 8.9 40 6.1 3.2 120 310
ldv-memsafety/memleaks_test4_true-valid-memsafety.i valid-deref valid-free valid-memtrack .074 .074 .61 11   .016  0      .61 .39 8.1 40 6.9 3.6 88 300
ldv-memsafety/memleaks_test5_true-valid-memsafety.i valid-deref valid-free valid-memtrack .085 .085 .54 11   .016  .0041 .52 .35 9.9 39 6.5 3.4 98 300
ldv-memsafety/memleaks_test6_true-valid-memsafety.i valid-deref valid-free valid-memtrack .088 .089 .70 11   .020  .14   .60 .40 11   43 7.7 4.1 88 300
ldv-memsafety/memleaks_test7_true-valid-memsafety.i valid-deref valid-free valid-memtrack .077 .077 .57 11   .020  .11   .49 .31 9.9 40 6.2 3.3 97 280
ldv-memsafety/memleaks_test8_true-valid-memsafety.i valid-deref valid-free valid-memtrack .060 .060 .61 11   .016  0      .54 .35 10   41 7.5 4.0 56 290
ldv-memsafety/memleaks_test9_true-valid-memsafety.i valid-deref valid-free valid-memtrack .087 .088 .55 11   .016  0      .50 .33 11   39 6.8 3.6 88 300
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .046 .046 .53 9.9 .0041 0      .49 .31 12   39 5.9 3.2 87 290
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .048 .048 .52 10   .0041 .11   .55 .34 8.7 45 8.6 4.5 80 320
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i valid-deref valid-free valid-memtrack .052 .055 .50 11   .0041 .59   .57 .36 10   40 6.4 3.3 84 290
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .050 .051 .49 10   .0041 .22   .74 .47 8.3 44 7.4 3.9 74 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i valid-deref valid-free valid-memtrack .068 .068 .43 10   .0041 0      .65 .41 6.7 42 6.7 3.6 84 290
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack .073 .099 .49 18   .0041 7.7    .64 .42 7.7 39 6.1 3.3 100 300
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack .050 .078 .68 18   .0041 8.1    .55 .35 8.5 39 7.1 3.8 75 300
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack .076 .076 .43 10   .0041 0      .62 .40 8.6 40 8.6 4.5 78 310
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack .047 .047 .58 10   .0041 .11   .61 .39 8.2 39 7.5 3.9 82 300
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack .073 .074 .44 10   .0041 .14   .59 .37 9.3 42 6.4 3.4 87 300
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i unreach-call .083 .083 .47 11   .0082 0      .53 .33 13   40 6.3 3.3 130 300
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i unreach-call .053 .054 .64 11   .012  .090  .59 .38 14   45 5.8 3.1 120 290
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i unreach-call .053 .054 .54 11   .0082 0      .54 .35 11   43 6.9 3.6 85 300
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i unreach-call .28  .29  3.5  16   .037  .31   3.3  1.8  67   210 96   84   2600 880
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unreach-call .075 .076 .48 11   .0041 .061  .51 .33 11   40 6.2 3.3 120 300
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unreach-call .058 .058 .57 11   .0041 .061  .50 .33 11   40 6.7 3.6 100 300
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unreach-call .12  .14  .58 19   .0082 8.0    .53 .34 12   42 6.2 3.3 110 300
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unreach-call .086 .086 .94 15   .0082 0      5.0  2.7  91   320 730   700   20000 760
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unreach-call .056 .056 .60 11   .012  .061  .53 .34 14   42 6.0 3.1 140 300
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unreach-call .072 .073 .56 11   .0082 .32   .49 .31 10   40 6.7 3.5 140 300
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unreach-call 1.3   1.3   14    55   .0082 8.3    3.3  1.8  51   230 9.3 4.9 180 330
heap-manipulation/tree_true-unreach-call.i unreach-call .098 .13  .66 18   .0041 7.9    .54 .34 13   39 6.2 3.2 110 300
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i unreach-call .063 .063 .72 11   .0041 .061  3.1  1.7  50   180 9.0 4.8 200 340
list-properties/list_false-unreach-call_false-valid-memcleanup.i unreach-call 2.3   930     840    38   .68   7.7    .61 .39 15   47 6.0 3.2 120 300
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i unreach-call .050 .051 .52 10   .0041 0      .51 .32 13   40 5.8 3.0 130 300
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i unreach-call .099 .10  1.1  14   .016  .31   2.8  1.5  58   180 91   57   1200 7000
list-properties/simple_false-unreach-call_false-valid-memcleanup.i unreach-call .060 .061 .63 11   .0041 .25   3.0  1.6  70   180 8.3 4.4 150 330
list-properties/splice_false-unreach-call_false-valid-memcleanup.i unreach-call .12  .12  1.3  13   .029  .19   2.9  1.6  60   180 10   5.3 210 350
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unreach-call .22  .26  2.3  24   .066  13      3.9  2.2  73   260 960   920   17000 2300
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unreach-call .049 .050 .55 10   .0041 .061  .54 .35 13   42 5.9 3.1 110 300
list-properties/list_search_true-unreach-call_false-valid-memtrack.i unreach-call .24  .26  2.8  27   .0041 7.5    4.3  2.4  86   270 39   27   890 790
list-properties/list_true-unreach-call_false-valid-memtrack.i unreach-call 2.6   930     850    30   .64   0      .56 .35 12   42 5.7 3.1 120 290
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unreach-call .052 .052 .51 11   .0041 .061  .61 .38 15   45 5.8 3.1 110 290
list-properties/simple_true-unreach-call_false-valid-memtrack.i unreach-call .082 .082 .53 11   .0041 0      3.8  2.1  55   270 960   890   13000 2100
list-properties/splice_true-unreach-call_false-valid-memtrack.i unreach-call 5.5   930     870    81   .73   7.7    .57 .37 12   44 6.8 3.6 130 300
ldv-regression/1_3.c_false-unreach-call.i unreach-call 2.8   930     880    46   1.0    7.7    .56 .36 15   44 6.2 3.2 120 300
ldv-regression/alt_test.c_false-unreach-call.i unreach-call .060 .060 .61 11   .0041 0      3.1  1.7  72   180 10   5.4 190 360
ldv-regression/callfpointer.c_false-unreach-call.i unreach-call .066 .067 .43 10   .0041 .13   .55 .35 14   42 6.3 3.3 120 300
ldv-regression/fo_test.c_false-unreach-call.i unreach-call .067 .067 .50 10   .0041 0      .53 .33 11   41 5.6 3.0 120 300
ldv-regression/mutex_lock_int.c_false-unreach-call.i unreach-call .077 .11  .56 18   .0041 7.8    2.4  1.3  43   160 7.5 3.9 150 320
ldv-regression/mutex_lock_struct.c_false-unreach-call.i unreach-call .082 .082 .57 10   .0041 0      2.3  1.3  47   160 7.8 4.1 150 320
ldv-regression/recursive_list.c_false-unreach-call.i unreach-call .054 .054 .53 10   .0041 0      2.2  1.3  44   160 7.2 3.8 140 320
ldv-regression/rule57_ebda_blast.c_false-unreach-call.i unreach-call .050 .051 .72 10   .0082 .0041 2.5  1.4  50   170 7.7 4.1 140 310
ldv-regression/rule60_list2.c_false-unreach-call_1.i unreach-call .055 .055 .65 10   .0041 0      2.6  1.5  57   180 7.8 4.1 140 330
ldv-regression/stateful_check_false-unreach-call.i unreach-call .055 .055 .56 11   .0082 0      .55 .35 11   43 5.9 3.1 110 300
ldv-regression/test_while_int.c_false-unreach-call.i unreach-call .079 .11  .57 18   .0041 7.8    2.2  1.2  36   160 9.2 4.9 180 340
ldv-regression/test_while_int.c_false-unreach-call_1.i unreach-call .051 .053 .50 11   .0041 .52   2.4  1.3  52   170 7.7 4.2 140 340
ldv-regression/alias_of_return.c_true-unreach-call.i unreach-call .077 .077 .68 12   .012  0      .66 .41 15   45 6.1 3.2 120 300
ldv-regression/alias_of_return.c_true-unreach-call_1.i unreach-call .084 .084 .55 12   .012  0      .64 .39 15   47 6.3 3.3 120 300
ldv-regression/alias_of_return_2.c_true-unreach-call.i unreach-call .087 .13  1.0  23   .012  12      .62 .38 13   44 5.8 3.1 120 300
ldv-regression/alias_of_return_2.c_true-unreach-call_1.i unreach-call .090 .090 .60 12   .012  0      .56 .37 12   41 6.0 3.2 140 300
ldv-regression/ex3_forlist.c_true-unreach-call.i unreach-call .049 .049 .49 9.9 .0041 .0041 .60 .39 8.9 40 6.1 3.2 110 300
ldv-regression/just_assert.c_true-unreach-call.i unreach-call .10  .14  .69 22   .0082 12      3.2  1.8  38   260 7.0 3.7 130 310
ldv-regression/mutex_lock_int.c_true-unreach-call_1.i unreach-call .067 .080 .78 16   .012  5.0    .55 .35 14   41 5.8 3.1 120 300
ldv-regression/mutex_lock_struct.c_true-unreach-call_1.i unreach-call .062 .077 .84 15   .012  4.8    .57 .36 14   43 6.7 3.5 130 300
ldv-regression/nested_structure.c_true-unreach-call.i unreach-call .082 .11  .82 19   .012  7.3    3.4  1.9  62   260 9.4 5.1 170 330
ldv-regression/nested_structure_noptr.c_true-unreach-call.i unreach-call .087 .087 .57 12   .012  0      3.7  2.0  70   270 7.0 3.7 130 310
ldv-regression/nested_structure_noptr_true-unreach-call.i unreach-call .087 .13  .74 23   .012  12      3.4  1.9  82   250 7.5 4.0 140 320
ldv-regression/nested_structure_ptr.c_true-unreach-call.i unreach-call .099 .14  .57 23   .012  12      3.9  2.1  75   270 13   7.0 180 440
ldv-regression/nested_structure_ptr_true-unreach-call.i unreach-call .062 .063 .72 12   .012  .26   3.7  2.1  76   260 12   6.9 210 470
ldv-regression/nested_structure_true-unreach-call.i unreach-call .062 .075 .85 15   .012  4.9    3.6  2.0  56   260 10   5.4 190 350
ldv-regression/oomInt.c_true-unreach-call.i unreach-call .061 .090 .63 18   .0041 7.9    .51 .33 12   42 6.3 3.3 110 300
ldv-regression/oomInt.c_true-unreach-call_1.i unreach-call .075 .077 .51 10   .0041 .45   .53 .34 12   41 5.9 3.1 140 290
ldv-regression/rule57_ebda_blast.c_true-unreach-call_1.i unreach-call .071 .071 .54 10   .0082 0      2.2  1.3  42   170 8.1 4.3 140 320
ldv-regression/rule60_list.c_true-unreach-call.i unreach-call .065 .065 .72 12   .012  .13   4.5  2.5  96   280 11   6.0 200 360
ldv-regression/rule60_list2.c_true-unreach-call.i unreach-call .079 .079 .60 11   .0041 .12   2.6  1.5  42   170 7.6 4.1 160 320
ldv-regression/sizeofparameters_test.c_true-unreach-call.i unreach-call .082 .083 .45 10   .0041 .14   2.6  1.4  48   170 7.9 4.2 160 320
ldv-regression/structure_assignment.c_true-unreach-call.i unreach-call .060 .073 .77 16   .012  4.8    3.4  1.9  45   250 7.5 4.0 140 320
ldv-regression/test_address.c_true-unreach-call.i unreach-call .12  .13  .69 15   .012  4.9    .54 .34 13   41 6.3 3.3 110 300
ldv-regression/test_cut_trace.c_true-unreach-call.i unreach-call .058 .058 .82 12   .012  0      4.0  2.2  42   260 7.9 4.2 140 330
ldv-regression/test_malloc-1_true-unreach-call.i unreach-call .065 .067 .69 12   .012  0      4.7  2.6  100   270 8.2 4.4 170 330
ldv-regression/test_malloc-2_true-unreach-call.i unreach-call .062 .077 .97 16   .012  5.1    4.6  2.5  90   280 8.0 4.3 180 330
ldv-regression/test_overflow.c_true-unreach-call.i unreach-call .090 .090 .62 12   .012  0      4.7  2.5  59   270 8.0 4.2 160 330
ldv-regression/test_union.c_true-unreach-call.i unreach-call .047 .047 .49 9.9 .0041 0      .50 .33 12   41 6.0 3.2 120 290
ldv-regression/test_union.c_true-unreach-call_1.i unreach-call .074 .10  .55 17   .0041 7.6    .50 .32 11   40 5.7 3.1 120 290
ldv-regression/test_union_cast-1_true-unreach-call.i unreach-call .045 .045 .45 9.8 .0041 .0041 .52 .33 11   40 6.0 3.2 120 300
ldv-regression/test_union_cast-2_true-unreach-call.i unreach-call .065 .066 .44 10   .0041 .14   .54 .34 12   42 5.8 3.0 110 300
ldv-regression/test_union_cast.c_true-unreach-call.i unreach-call .077 .10  .51 17   .0041 7.7    .52 .33 12   45 5.5 3.0 110 290
ldv-regression/test_union_cast.c_true-unreach-call_1.i unreach-call .047 .047 .49 9.7 .0041 0      .49 .32 12   40 5.4 2.9 120 280
ldv-regression/volatile_alias.c_true-unreach-call.i unreach-call .099 .14  .67 23   .012  12      3.3  1.9  57   260 7.7 4.2 150 320
ldv-regression/volatile_alias.c_true-unreach-call_1.i unreach-call .060 .073 .81 15   .012  4.8    3.4  1.9  44   250 7.9 4.2 160 310
ldv-regression/test02_false-unreach-call.c unreach-call .046 .046 .55 10   .0041 0      2.2  1.3  45   160 7.5 3.9 140 310
ldv-regression/test06_false-unreach-call.c unreach-call .059 .062 .85 12   .0041 .88   2.4  1.4  40   160 9.1 4.9 170 330
ldv-regression/test08_false-unreach-call.c unreach-call .056 .056 .61 11   .0041 0      2.3  1.3  40   160 7.7 4.1 140 320
ldv-regression/test12_false-unreach-call.c unreach-call .049 .049 .50 10   .0041 0      2.2  1.2  49   150 7.4 3.9 150 320
ldv-regression/test21_false-unreach-call.c unreach-call .071 .098 .69 18   .0041 8.0    .49 .31 11   39 6.3 3.3 120 300
ldv-regression/test22_false-unreach-call.c unreach-call .048 .051 .59 11   .0041 .71   .48 .32 12   40 6.4 3.3 150 310
ldv-regression/test23_false-unreach-call.c unreach-call .050 .052 .51 11   .0041 .66   .49 .31 11   40 5.7 3.0 130 290
ldv-regression/test24_false-unreach-call.c unreach-call .085 .15  .67 28   .0041 18      .48 .30 11   39 6.2 3.2 120 300
ldv-regression/test25_false-unreach-call.c unreach-call .053 .053 .53 10   .0041 0      2.2  1.3  51   160 7.6 4.0 160 320
ldv-regression/test26_false-unreach-call.c unreach-call .051 .053 .52 10   .0041 0      2.2  1.2  47   160 7.6 4.0 130 320
ldv-regression/test27_false-unreach-call.c unreach-call .048 .048 .47 10   .0041 0      .50 .31 9.0 40 6.9 3.6 85 300
ldv-regression/test28_false-unreach-call.c unreach-call .051 .052 .51 10   .0041 .30   2.5  1.4  47   160 8.7 4.6 170 340
ldv-regression/test29_false-unreach-call.c unreach-call .058 .092 .65 18   .0041 8.0    .53 .33 13   40 6.3 3.3 96 300
ldv-regression/test30_false-unreach-call.c unreach-call 2.2   930     950    32   .98   0      .56 .34 13   42 5.6 3.0 120 300
ldv-regression/test01_true-unreach-call.c unreach-call .074 .088 .68 15   .012  4.8    3.4  1.9  70   250 8.7 4.6 170 330
ldv-regression/test03_true-unreach-call.c unreach-call .11  .15  .79 23   .012  12      3.6  2.0  74   260 8.3 4.5 160 320
ldv-regression/test04_true-unreach-call.c unreach-call .13  .17  .65 23   .012  12      3.4  1.9  53   260 9.0 4.9 180 320
ldv-regression/test05_true-unreach-call.c unreach-call .060 .062 .70 12   .0041 .30   2.3  1.3  41   150 8.7 4.8 180 330
ldv-regression/test07_true-unreach-call.c unreach-call .056 .056 .56 11   .0041 0      2.3  1.3  41   160 11   6.2 190 370
ldv-regression/test09_true-unreach-call.c unreach-call .056 .087 .77 19   .0041 8.0    2.1  1.2  35   160 10   5.8 190 360
ldv-regression/test10_true-unreach-call.c unreach-call .080 .11  .57 18   .0041 7.7    .51 .32 10   39 6.1 3.2 130 300
ldv-regression/test11_true-unreach-call.c unreach-call .050 .050 .51 10   .0041 .12   .50 .30 11   39 6.9 3.6 130 320
ldv-regression/test13_true-unreach-call.c unreach-call .097 .14  .75 23   .012  12      3.3  1.9  56   260 8.0 4.2 170 320
ldv-regression/test14_true-unreach-call.c unreach-call .081 .11  .62 18   .0041 7.8    .54 .34 11   41 5.5 2.9 120 280
ldv-regression/test15_true-unreach-call.c unreach-call .049 .050 .49 10   .0041 .25   .49 .31 10   40 5.9 3.1 110 300
ldv-regression/test16_true-unreach-call.c unreach-call .086 .085 .62 12   .012  0      3.6  2.0  54   260 10   5.6 250 350
ldv-regression/test17_true-unreach-call.c unreach-call .081 .095 .72 16   .012  5.0    3.4  1.9  52   260 7.1 3.8 150 310
ldv-regression/test18_true-unreach-call.c unreach-call .063 .064 .65 12   .012  .12   3.4  1.9  54   260 9.3 5.0 170 320
ldv-regression/test19_true-unreach-call.c unreach-call .047 .047 .52 10   .0041 0      .50 .32 11   41 6.2 3.3 110 310
ldv-regression/test20_true-unreach-call.c unreach-call .089 .090 .59 12   .012  .14   3.5  1.9  79   260 7.2 3.9 150 320
ldv-regression/test21_true-unreach-call.c unreach-call .049 .049 .46 9.9 .0041 0      .49 .32 10   39 6.1 3.2 130 300
ldv-regression/test22_true-unreach-call.c unreach-call .084 .11  .60 18   .0041 8.0    .50 .33 11   40 5.9 3.2 120 300
ldv-regression/test23_true-unreach-call.c unreach-call .069 .099 .66 18   .0041 7.9    .57 .36 13   43 6.0 3.1 140 290
ldv-regression/test24_true-unreach-call.c unreach-call .076 .076 .41 10   .0041 0      .48 .31 11   39 6.1 3.2 120 300
ldv-regression/test25_true-unreach-call.c unreach-call .049 .049 .50 10   .0041 0      .54 .33 14   41 6.0 3.2 120 300
ldv-regression/test26_true-unreach-call.c unreach-call .053 .053 .56 10   .0041 0      2.4  1.3  50   160 9.8 5.3 190 350
ldv-regression/test27_true-unreach-call.c unreach-call .10  .13  .58 18   .0041 8.1    .53 .34 12   40 5.5 2.9 58 300
ldv-regression/test28_true-unreach-call.c unreach-call .046 .046 .54 10   .0041 0      .50 .32 11   40 5.7 3.0 110 300
ldv-regression/test29_true-unreach-call.c unreach-call .046 .047 .48 10   .0041 .25   .53 .33 13   40 6.0 3.2 130 300
ldv-regression/test30_true-unreach-call.c unreach-call 2.0   930     860    33   1.0    0      .59 .37 13   42 6.2 3.3 120 290
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unreach-call .13  .16  1.6  26   .11   8.3    .52 .33 12   43 6.2 3.3 120 290
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unreach-call .13  .13  1.5  17   .11   0      .49 .31 5.6 40 5.6 3.0 69 290
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unreach-call .14  .14  1.3  17   .11   0      .52 .34 13   42 6.5 3.4 120 290
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unreach-call .13  .15  1.8  26   .11   8.3    .50 .33 11   40 6.4 3.4 130 300
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unreach-call .15  .18  1.4  26   .11   8.3    .50 .32 12   40 6.5 3.4 120 310
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unreach-call .14  .14  1.5  18   .11   .32   .55 .36 12   43 6.7 3.6 130 310
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unreach-call .15  .15  1.6  18   .11   .88   .54 .34 13   40 5.8 3.2 110 290
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unreach-call .14  .14  1.5  17   .11   0      .49 .32 10   39 6.5 3.4 110 300
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unreach-call .15  .17  1.6  26   .11   8.3    .51 .33 12   42 7.0 3.7 140 310
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unreach-call .12  .12  1.3  17   .11   .20   .52 .33 11   41 7.0 3.7 150 320
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unreach-call .14  .18  1.5  26   .11   8.3    .51 .32 8.9 40 5.9 3.2 120 290
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unreach-call .15  .18  1.6  25   .11   8.3    .51 .32 12   40 5.9 3.1 130 280
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unreach-call .12  .12  1.4  17   .11   .20   .52 .32 12   40 6.5 3.4 120 310
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i unreach-call .094 .094 1.1  13   .025  0      3.0  1.7  53   170 16   8.4 310 550
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i unreach-call .090 .12  .82 18   .0041 7.8    3.1  1.7  56   180 19   10   380 410
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i unreach-call .071 .072 .66 11   .0041 .13   3.0  1.6  38   180 10   5.4 190 380
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i unreach-call 1.2   1.2   16    25   .090  .0082 3.3  1.9  47   170 15   7.7 270 560
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unreach-call .073 .10  .60 18   .0041 7.6    2.7  1.5  46   170 11   5.5 210 360
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unreach-call .41  .41  4.4  19   .094  0      3.0  1.7  51   180 11   5.8 220 300
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i unreach-call .071 .072 .79 12   .012  0      3.0  1.6  61   180 10   5.3 220 350
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i unreach-call .10  .13  .90 20   .0041 7.7    2.9  1.6  51   170 15   7.6 270 450
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i unreach-call .057 .086 .71 19   .0041 7.8    3.0  1.6  63   180 11   5.7 190 370
forester-heap/sll-01_false-unreach-call_false-valid-deref.i unreach-call .089 .12  .93 20   .016  7.8    3.0  1.6  46   180 23   13   320 800
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i unreach-call .085 .086 .77 12   .0041 0      2.9  1.6  35   180 13   6.5 200 410
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i unreach-call .058 .058 .59 11   .0041 0      3.0  1.6  71   180 17   9.2 250 420
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i unreach-call .056 .059 .59 11   .0041 .13   2.9  1.6  62   180 11   5.7 210 390
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i unreach-call .13  .13  1.5  14   .029  .0082 3.1  1.7  50   180 13   7.0 210 540
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unreach-call .070 .071 .56 11   .0041 0      2.9  1.6  52   180 11   5.6 200 380
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i unreach-call .31  .34  3.1  25   .057  7.7    3.4  1.8  47   170 10   5.5 220 300
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i unreach-call .068 .068 .87 12   .012  .074  2.7  1.5  35   170 9.4 5.0 180 350
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i unreach-call .15  .15  1.4  13   .053  0      3.0  1.6  52   180 74   43   1100 7000
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i unreach-call .071 .073 .52 11   .0041 0      2.8  1.5  54   180 10   5.5 180 360
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unreach-call .51  .51  6.8  29   .041  0      4.1  2.2  62   280 960   910   15000 1100
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unreach-call 30     30     370    130   .27   .18   4.1  2.3  69   270 960   890   26000 1200
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unreach-call 1.3   1.3   17    42   .041  .13   4.0  2.2  58   270 960   870   14000 2400
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unreach-call 10     10     120    78   .26   .14   3.9  2.1  51   270 960   870   19000 1900
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unreach-call 1.4   1.5   17    44   .094  13      4.3  2.4  81   270 960   860   14000 1600
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unreach-call 1.3   1.3   15    37   .098  0      3.9  2.1  48   280 11   5.8 230 310
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unreach-call 140     140     1600    490   .57   12      4.0  2.2  58   270 960   910   21000 1700
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unreach-call 1.7   1.7   20    45   .078  7.8    3.8  2.1  49   260 960   880   18000 2400
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unreach-call 120     120     1300    450   .37   4.2    4.2  2.3  80   280 960   860   24000 1700
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unreach-call .12  .12  1.3  14   .025  0      4.1  2.2  77   270 960   890   19000 2200
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unreach-call .89  .90  12    39   .053  5.0    4.1  2.2  75   270 960   910   20000 1100
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unreach-call 680     680     8100    1600   3.1    0      4.6  2.5  84   270 960   890   17000 1100
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unreach-call 2.1   2.1   28    47   .082  4.8    4.3  2.3  95   270 960   870   23000 1700
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unreach-call .93  .93  13    35   .033  0      4.0  2.2  51   270 960   890   15000 1600
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unreach-call 17     17     200    99   .30   13      4.1  2.2  54   270 960   910   17000 1800
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unreach-call 6.0   6.0   71    52   .21   0      3.9  2.1  66   260 960   890   20000 2200
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unreach-call .49  .53  5.9  30   .061  13      3.9  2.1  55   270 11   5.9 260 300
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unreach-call 4.3   4.3   61    66   .38   0      4.2  2.3  79   270 960   920   24000 1400
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unreach-call .66  .66  8.2  24   .074  .29   4.0  2.2  58   270 960   870   24000 1900
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unreach-call 190     190     2900    360   .45   .0082 4.0  2.1  47   270 960   900   13000 2000
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unreach-call .14  .14  1.7  14   .049  0      4.2  2.3  70   270 960   900   16000 2600
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unreach-call .081 .082 .89 12   .016  .061  2.8  1.5  42   170 10   5.4 190 360
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unreach-call .057 .058 .59 11   .0041 .11   2.9  1.6  56   180 8.2 4.4 180 330
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup.i unreach-call .053 .053 .52 11   .0041 0      2.8  1.6  61   170 9.2 4.9 170 330
list-ext2-properties/list_and_tree_cnstr_false-unreach-call.i unreach-call 5.2   930     890    67   .91   7.9    .56 .35 13   44 6.1 3.3 120 320
list-ext2-properties/list_and_tree_cnstr_true-unreach-call.i unreach-call 6.6   930     950    73   .98   7.8    .57 .38 12   43 5.9 3.2 120 300
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i unreach-call .11  .14  .90 21   .0082 7.9    3.0  1.7  63   200 8.6 4.6 160 330
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i unreach-call .59  .59  6.9  31   .0082 .061  4.0  2.2  83   260 960   890   26000 3600
list-ext2-properties/simple_search_value_false-unreach-call.i unreach-call 2.4   930     840    52   .97   7.8    .64 .40 17   45 6.1 3.2 140 300
list-ext2-properties/simple_search_value_true-unreach-call.i unreach-call 2.6   930     870    52   1.0    7.8    .58 .37 14   42 6.3 3.4 140 300
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .083 .086 .52 12   .0082 .66   .57 .37 9.1 40 6.0 3.2 130 310
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .054 .054 .56 11   .012  .061  .57 .36 10   41 7.9 4.2 87 310
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .061 .064 .50 11   .0082 .79   .64 .40 8.9 41 8.4 4.4 74 300
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.3   1.3   18    49   .0082 1.7    3.1  1.7  60   180 11   6.0 170 340
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .053 .053 .57 11   .0041 0      .59 .38 9.1 43 7.1 3.8 74 290
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack .094 .12  .71 18   .0041 7.9    2.8  1.5  62   160 12   6.5 110 350
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .078 .078 .92 14   .0082 0      94    78    2100   3800 97   76   1200 810
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .43  .43  5.2  19   .094  0      2.9  1.6  65   170 13   7.0 150 300
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack 1.6   1.7   33    45   .078  7.8    94    76    2200   3800 97   73   2200 910
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .70  .70  8.3  24   .078  .10   95    75    1900   3900 97   70   1500 820
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  .20  2.4  16   .066  5.1    590    480    14000   7000 960   890   15000 1500
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .051 .053 .47 11   .0041 .73   .60 .38 9.8 41 5.9 3.2 98 300
list-properties/list_search_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .22  .22  2.4  19   .0041 0      4.8  2.6  65   260 97   62   1900 1200
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack 2.6   930     830    38   .64   7.7    .54 .35 13   44 6.3 3.3 87 300
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .071 .071 .57 11   .0041 .090  .71 .44 8.2 42 7.1 3.7 85 300
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .082 .082 .54 11   .0041 0      93    71    2100   4100 31   18   350 490
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack 6.5   930     900    84   .80   0      .69 .44 11   42 8.5 4.4 82 320
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .12  .12  1.5  18   .11   .066  .51 .32 12   39 7.9 4.1 78 300
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .12  .12  1.3  17   .11   .17   .57 .36 10   39 6.3 3.3 76 290
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .12  .12  1.4  17   .11   .066  .49 .32 11   40 6.9 3.6 100 300
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .12  .13  1.5  18   .11   .83   .51 .32 11   40 7.7 4.1 96 300
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .15  .15  1.4  18   .11   .17   .62 .39 9.2 40 6.3 3.3 120 300
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .15  .19  1.3  26   .11   8.3    .52 .34 9.3 39 6.5 3.4 130 290
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .12  .12  1.6  18   .11   .18   .61 .38 8.7 39 5.9 3.1 100 300
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .12  .12  1.7  17   .11   .074  .53 .35 9.5 39 5.7 3.1 92 300
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  .17  1.3  17   .11   .10   .55 .35 11   40 6.1 3.3 73 290
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .12  .12  1.4  17   .11   .11   .58 .37 9.0 41 7.2 3.8 110 300
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .15  .15  1.3  17   .11   .074  .59 .37 8.8 40 6.3 3.3 110 300
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .14  .17  1.6  26   .11   8.3    .56 .35 11   39 6.2 3.3 120 300
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .12  .13  1.6  18   .11   .64   .64 .41 7.5 39 6.6 3.5 100 300
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .54  .54  6.4  29   .041  0      910    840    21000   5400 960   900   19000 950
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 30     30     410    120   .27   0      910    860    20000   4500 960   910   25000 970
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.3   1.3   15    41   .041  0      910    850    18000   4700 960   880   16000 1200
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 10     10     120    78   .26   4.9    760    650    21000   7000 960   880   14000 2300
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.4   1.4   18    37   .094  5.0    910    850    21000   4800 960   870   22000 1600
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.3   1.4   19    45   .098  13      910    850    20000   4800 12   6.5 120 300
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 230     230     3100    710   .73   .45   910    850    20000   4800 960   880   19000 1600
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 120     120     1600    440   .37   13      910    870    17000   4400 960   890   27000 1300
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .16  .21  1.5  23   .025  13      910    790    19000   6700 960   920   16000 980
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .86  .87  10    38   .053  5.4    910    840    18000   5300 960   900   19000 1000
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 670     670     10000    1600   3.1    7.7    730    600    12000   7000 960   920   24000 1500
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.8   2.8   34    53   .094  0      910    860    31000   4600 960   890   24000 1600
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .96  .96  13    35   .033  0      910    860    28000   4800 960   860   14000 1500
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 17     17     230    91   .30   0      800    670    13000   7000 960   880   23000 2600
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 6.0   6.1   83    59   .21   13      910    850    26000   4800 960   870   26000 1500
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .53  .61  6.1  22   .061  4.8    910    860    28000   4800 14   7.4 150 310
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 4.3   4.3   55    66   .38   .56   910    850    18000   4900 960   860   18000 1900
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 190     190     2400    350   .45   4.8    920    870    21000   4500 960   880   24000 2000
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .10  .10  1.1  14   .029  0      910    790    18000   7000 960   880   16000 1600
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .079 .079 .52 11   .0041 0      2.7  1.5  54   160 21   11   210 450
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .071 .098 .96 20   .016  7.8    3.1  1.7  52   170 20   11   370 650
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .053 .055 .64 11   .0041 .62   2.8  1.5  55   170 65   42   1400 910
../../sv-benchmarks/c/ verifier status cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 406 2800   16000   49000 15000 31    880 406 640 450 13000 32000   406 2500 1500 40000 95000   406 25000 23000 580000 190000   406 50000 46000 1000000 150000  
    correct results 132 2600   2600   34000 11000 15    490 2 480 360 10000 22000   29 980 620 17000 25000   29 25000 22000 570000 180000   30 49000 46000 1000000 97000  
        correct true 92 2600   2600   34000 9900 14    410 2 0 0 0 0   6 0 0 0 0   29 25000 22000 570000 180000   30 49000 46000 1000000 97000  
        correct false 40 7.2 7.5 93 610 .71 79 0 480 360 10000 22000   23 980 620 17000 25000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set [sv-comp17.MemSafety-Heap; sv-comp17; sv-comp17.MemSafety-LinkedLists]