Tool Predator-HP
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:07:57 CET [[ 2017-01-15 01:27:42 CET ]] [[ 2017-01-15 01:43:03 CET ]] [[ 2017-01-15 01:27:57 CET ]] [[ 2017-01-15 01:46:06 CET ]]; 2017-01-13 12:06:28 CET [[ 2017-01-15 02:02:31 CET ]] [[ 2017-01-15 02:04:15 CET ]] [[ 2017-01-15 02:04:05 CET ]] [[ 2017-01-15 02:06:30 CET ]]]
Run set [sv-comp17; sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]
Options [--witness error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1107.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1107.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1107.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1107.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]; --witness error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]]
../../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)
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i unreach-call 1.1   1.0 12   59 .074  9.0    7.2  3.8  120   360 14   7.5 200 380
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i unreach-call 2.3   1.0 24   53 .053  .15   11    5.6  210   450 10   5.3 140 320
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i unreach-call .14  1.0 2.0 27 .098  1.2    6.2  3.4  130   340 14   7.2 130 370
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i unreach-call 2.3   1.0 21   70 .049  1.3    6.3  3.4  140   320 10   5.4 110 320
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unreach-call 900     890   12000   110 .025  .061  .50 .32 11   40 7.5 4.0 73 300
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unreach-call 2.1   1.0 22   27 .049  .57   5.6  3.0  99   300 10   5.3 130 340
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unreach-call 1.5   1.0 15   56 .0041 8.5    900    890    14000   3200 960   940   18000 1100
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unreach-call .46  1.1 2.8 35 .012  8.7    4.6  2.5  94   300 880   840   31000 800
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unreach-call 2.5   1.0 23   59 .0041 0      76    59    1400   2100 960   910   15000 5300
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unreach-call 1.8   1.1 16   69 .0041 0      900    840    11000   6100 960   890   27000 2200
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unreach-call 2.2   1.1 22   74 .0041 1.4    670    590    13000   7000 960   840   19000 3100
heap-manipulation/tree_true-unreach-call.i unreach-call 900     300   5300   820 0      .98   .50 .32 13   39 6.4 3.3 130 310
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i unreach-call .23  1.0 2.0 34 .098  9.0    5.5  3.0  110   300 8.7 4.6 150 320
list-properties/list_false-unreach-call_false-valid-memcleanup.i unreach-call 1.2   1.1 13   26 .098  1.1    5.7  3.1  130   290 21   11   240 430
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i unreach-call .31  1.0 1.9 33 .098  8.9    5.0  2.7  93   280 8.4 4.5 120 330
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i unreach-call .18  1.1 1.9 24 .074  0      5.4  3.0  97   290 18   11   380 560
list-properties/simple_false-unreach-call_false-valid-memcleanup.i unreach-call .14  1.0 2.0 23 .098  0      5.0  2.8  110   290 7.3 4.0 170 320
list-properties/splice_false-unreach-call_false-valid-memcleanup.i unreach-call .22  1.0 2.7 34 .098  9.0    5.6  3.0  98   290 11   6.0 110 360
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unreach-call 900     450   7600   2100 0      1.0    .52 .33 12   43 7.7 4.1 74 300
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unreach-call 2.4   1.1 24   25 .0041 .061  900    890    8600   1900 960   880   15000 1800
list-properties/list_search_true-unreach-call_false-valid-memtrack.i unreach-call .32  1.0 2.2 34 .012  8.4    28    15    490   670 38   26   900 780
list-properties/list_true-unreach-call_false-valid-memtrack.i unreach-call 2.8   1.0 27   33 .0041 8.6    900    890    13000   4500 960   880   23000 1900
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unreach-call 2.7   1.0 27   25 .0041 1.1    900    900    16000   3400 960   920   20000 1600
list-properties/simple_true-unreach-call_false-valid-memtrack.i unreach-call 2.6   1.0 25   24 .0041 .061  900    900    15000   2500 960   880   18000 3100
list-properties/splice_true-unreach-call_false-valid-memtrack.i unreach-call 900     440   9000   1400 0      8.6    .47 .30 10   39 7.7 4.0 160 330
ldv-regression/1_3.c_false-unreach-call.i unreach-call .13  1.0 1.9 24 .098  .61   3.9  2.1  94   280 8.0 4.3 110 310
ldv-regression/alt_test.c_false-unreach-call.i unreach-call .16  1.0 1.8 34 .098  9.0    5.5  3.0  120   280 12   6.2 120 350
ldv-regression/callfpointer.c_false-unreach-call.i unreach-call .12  1.0 2.0 24 .049  1.0    3.7  2.0  87   270 8.0 4.3 120 320
ldv-regression/fo_test.c_false-unreach-call.i unreach-call .14  1.0 2.2 34 .098  8.9    5.0  2.7  80   290 16   8.8 210 350
ldv-regression/mutex_lock_int.c_false-unreach-call.i unreach-call .15  1.1 1.8 23 .098  .18   3.6  2.0  75   280 7.7 4.0 120 320
ldv-regression/mutex_lock_struct.c_false-unreach-call.i unreach-call .12  1.0 1.8 24 .098  1.1    3.8  2.1  74   270 8.8 4.7 110 330
ldv-regression/recursive_list.c_false-unreach-call.i unreach-call .16  1.0 2.2 23 .086  .16   4.0  2.3  80   280 7.6 4.0 140 320
ldv-regression/rule57_ebda_blast.c_false-unreach-call.i unreach-call .17  1.0 2.1 25 .098  .95   4.4  2.5  87   290 9.0 4.8 160 340
ldv-regression/rule60_list2.c_false-unreach-call_1.i unreach-call .16  1.0 4.2 35 .098  9.0    5.4  3.0  110   290 21   12   320 530
ldv-regression/stateful_check_false-unreach-call.i unreach-call .26  1.0 1.8 33 .098  9.0    4.8  2.6  85   280 9.2 4.9 130 320
ldv-regression/test_while_int.c_false-unreach-call.i unreach-call .26  1.1 1.8 32 .098  9.0    3.7  2.0  55   270 8.4 4.5 100 320
ldv-regression/test_while_int.c_false-unreach-call_1.i unreach-call .12  1.0 1.7 24 .098  .95   3.5  2.0  73   270 7.7 4.2 160 340
ldv-regression/alias_of_return.c_true-unreach-call.i unreach-call .23  1.1 1.8 31 .016  8.6    3.5  2.0  72   260 12   6.1 130 350
ldv-regression/alias_of_return.c_true-unreach-call_1.i unreach-call .12  1.0 1.8 21 .016  .086  3.4  1.9  79   250 9.5 5.0 100 330
ldv-regression/alias_of_return_2.c_true-unreach-call.i unreach-call .13  1.0 2.3 31 .016  8.6    3.5  1.9  74   260 9.7 5.2 110 320
ldv-regression/alias_of_return_2.c_true-unreach-call_1.i unreach-call .12  1.0 1.9 24 .016  1.0    3.4  2.0  80   260 7.5 4.0 130 310
ldv-regression/ex3_forlist.c_true-unreach-call.i unreach-call .26  1.0 1.9 32 .012  8.5    16    9.4  230   520 34   20   650 690
ldv-regression/just_assert.c_true-unreach-call.i unreach-call .16  1.0 1.7 29 .016  7.6    3.3  1.9  70   250 8.2 4.3 81 300
ldv-regression/mutex_lock_int.c_true-unreach-call_1.i unreach-call .25  1.0 1.5 31 .016  8.6    3.7  2.0  68   260 8.5 4.6 170 320
ldv-regression/mutex_lock_struct.c_true-unreach-call_1.i unreach-call .16  1.1 1.9 31 .016  8.7    3.5  1.9  65   250 9.5 5.1 120 310
ldv-regression/nested_structure.c_true-unreach-call.i unreach-call .14  1.1 1.7 23 .016  1.0    3.4  1.9  73   260 11   5.9 200 350
ldv-regression/nested_structure_noptr.c_true-unreach-call.i unreach-call .23  1.1 1.6 30 .016  8.4    3.3  1.9  58   260 7.5 4.0 160 330
ldv-regression/nested_structure_noptr_true-unreach-call.i unreach-call .15  1.1 1.8 23 .016  1.1    3.5  2.0  58   270 9.2 4.9 95 320
ldv-regression/nested_structure_ptr.c_true-unreach-call.i unreach-call .14  1.1 1.8 23 .016  1.0    3.4  1.9  52   250 13   7.2 260 440
ldv-regression/nested_structure_ptr_true-unreach-call.i unreach-call .19  1.1 1.8 31 .016  8.5    3.6  2.0  73   260 15   8.2 190 470
ldv-regression/nested_structure_true-unreach-call.i unreach-call .23  1.0 1.6 31 .016  8.5    3.6  2.0  66   270 13   7.0 130 360
ldv-regression/oomInt.c_true-unreach-call.i unreach-call .12  1.0 1.7 24 .016  1.2    3.5  1.9  72   250 8.2 4.4 150 320
ldv-regression/oomInt.c_true-unreach-call_1.i unreach-call .12  1.0 1.8 23 .016  1.0    3.5  2.0  66   260 7.4 4.0 130 320
ldv-regression/rule57_ebda_blast.c_true-unreach-call_1.i unreach-call .25  1.0 2.8 23 .016  0      4.0  2.2  71   270 11   5.8 110 350
ldv-regression/rule60_list.c_true-unreach-call.i unreach-call .17  1.1 1.9 24 .016  .090  4.9  2.7  110   280 13   7.3 140 370
ldv-regression/rule60_list2.c_true-unreach-call.i unreach-call .13  1.0 1.8 25 .016  .094  5.0  2.7  91   270 31   18   550 700
ldv-regression/sizeofparameters_test.c_true-unreach-call.i unreach-call .12  1.0 1.7 24 .016  1.2    4.3  2.4  82   270 7.8 4.1 160 320
ldv-regression/structure_assignment.c_true-unreach-call.i unreach-call .15  1.1 1.6 23 .016  1.2    3.3  1.8  40   260 6.7 3.6 130 300
ldv-regression/test_address.c_true-unreach-call.i unreach-call .20  1.0 2.0 32 .016  8.7    4.4  2.4  90   260 7.9 4.3 130 320
ldv-regression/test_cut_trace.c_true-unreach-call.i unreach-call .12  1.0 2.2 31 .016  8.3    3.5  1.9  83   260 8.6 4.5 120 330
ldv-regression/test_malloc-1_true-unreach-call.i unreach-call .17  1.1 2.0 22 .016  0      4.3  2.4  70   260 11   5.7 120 330
ldv-regression/test_malloc-2_true-unreach-call.i unreach-call .13  1.0 2.1 32 .016  8.6    4.7  2.5  73   270 9.9 5.3 110 330
ldv-regression/test_overflow.c_true-unreach-call.i unreach-call .14  1.0 2.2 33 0      8.9    .54 .35 13   43 6.2 3.3 120 300
ldv-regression/test_union.c_true-unreach-call.i unreach-call .16  1.0 2.0 31 .016  8.3    3.4  1.9  64   260 7.5 4.0 160 320
ldv-regression/test_union.c_true-unreach-call_1.i unreach-call .24  1.1 1.6 31 .016  8.3    3.4  1.9  69   260 7.3 4.0 150 330
ldv-regression/test_union_cast-1_true-unreach-call.i unreach-call .12  1.0 1.8 21 .016  0      3.4  1.9  57   260 6.2 3.3 100 300
ldv-regression/test_union_cast-2_true-unreach-call.i unreach-call .13  1.0 2.0 31 .016  8.5    3.5  1.9  65   260 6.9 3.7 100 320
ldv-regression/test_union_cast.c_true-unreach-call.i unreach-call .14  1.1 1.7 23 .016  1.0    3.4  1.9  71   260 5.8 3.1 130 300
ldv-regression/test_union_cast.c_true-unreach-call_1.i unreach-call .12  1.0 1.8 24 .016  1.4    3.5  2.0  73   260 6.0 3.2 110 300
ldv-regression/volatile_alias.c_true-unreach-call.i unreach-call .16  1.0 1.9 31 .016  8.3    3.4  1.9  65   260 7.6 4.1 150 310
ldv-regression/volatile_alias.c_true-unreach-call_1.i unreach-call .15  1.1 1.8 23 .016  1.1    3.2  1.8  62   260 7.8 4.2 160 310
ldv-regression/test02_false-unreach-call.c unreach-call .12  1.0 1.8 22 .049  .13   3.5  2.0  73   270 7.8 4.2 100 310
ldv-regression/test06_false-unreach-call.c unreach-call .26  1.1 1.8 32 .082  9.0    3.7  2.0  75   280 11   5.6 120 340
ldv-regression/test08_false-unreach-call.c unreach-call .19  1.1 2.2 33 .049  9.0    3.8  2.1  91   290 9.6 5.1 98 310
ldv-regression/test12_false-unreach-call.c unreach-call .12  1.0 1.8 23 .049  .45   3.6  2.0  62   270 7.1 3.8 130 320
ldv-regression/test21_false-unreach-call.c unreach-call .24  1.0 1.9 33 .098  9.0    4.0  2.2  93   280 8.4 4.5 76 320
ldv-regression/test22_false-unreach-call.c unreach-call .20  1.0 2.1 34 .098  9.0    4.5  2.5  91   280 7.7 4.1 130 320
ldv-regression/test23_false-unreach-call.c unreach-call .12  1.0 1.8 23 .033  0      .52 .34 11   40 7.0 3.6 99 310
ldv-regression/test24_false-unreach-call.c unreach-call .24  1.0 3.0 25 .012  1.0    .53 .34 11   42 6.1 3.2 98 300
ldv-regression/test25_false-unreach-call.c unreach-call .22  1.1 2.4 35 0      9.3    .48 .31 9.3 40 6.2 3.3 85 290
ldv-regression/test26_false-unreach-call.c unreach-call .18  1.0 2.2 33 .049  9.0    3.6  2.0  64   280 9.1 4.8 100 320
ldv-regression/test27_false-unreach-call.c unreach-call .11  1.0 1.7 23 .016  .18   .47 .30 7.1 39 6.0 3.1 130 290
ldv-regression/test28_false-unreach-call.c unreach-call .15  1.1 1.7 23 .049  .53   4.1  2.3  86   270 10   5.5 120 340
ldv-regression/test29_false-unreach-call.c unreach-call .13  1.0 2.0 33 .049  9.0    3.7  2.0  68   270 10   5.6 94 340
ldv-regression/test30_false-unreach-call.c unreach-call .22  1.1 1.6 32 .049  8.8    3.8  2.1  78   270 8.1 4.3 120 320
ldv-regression/test01_true-unreach-call.c unreach-call .21  1.0 1.8 30 .016  8.3    3.5  2.0  64   260 9.9 5.2 110 310
ldv-regression/test03_true-unreach-call.c unreach-call .17  1.0 1.7 31 .016  8.5    3.4  1.9  76   250 8.2 4.4 170 320
ldv-regression/test04_true-unreach-call.c unreach-call .12  1.0 1.7 24 .016  1.2    3.4  1.9  71   260 8.5 4.6 160 320
ldv-regression/test05_true-unreach-call.c unreach-call .13  1.0 1.7 22 .016  .070  3.5  2.0  65   260 15   8.6 260 490
ldv-regression/test07_true-unreach-call.c unreach-call .22  1.0 2.2 32 .016  8.4    3.5  2.0  73   260 12   6.5 180 440
ldv-regression/test09_true-unreach-call.c unreach-call .13  1.1 1.9 23 .016  .22   3.6  2.0  72   260 11   5.8 200 410
ldv-regression/test10_true-unreach-call.c unreach-call .22  1.0 1.8 30 .016  8.3    3.4  2.0  55   250 18   10   380 520
ldv-regression/test11_true-unreach-call.c unreach-call .15  1.1 1.7 22 .016  0      3.6  2.0  46   260 8.9 4.8 190 330
ldv-regression/test13_true-unreach-call.c unreach-call .18  1.1 1.8 31 .016  8.4    3.3  1.9  53   250 9.0 4.8 71 320
ldv-regression/test14_true-unreach-call.c unreach-call .15  1.1 1.6 24 .016  1.0    3.7  2.0  59   280 9.8 5.2 160 340
ldv-regression/test15_true-unreach-call.c unreach-call .15  1.1 1.7 23 .016  .97   3.4  1.9  53   250 12   6.2 150 350
ldv-regression/test16_true-unreach-call.c unreach-call .11  1.0 1.8 22 .016  0      3.6  2.0  62   260 12   6.4 140 370
ldv-regression/test17_true-unreach-call.c unreach-call .15  1.0 1.9 31 .016  8.4    3.3  1.9  74   260 7.5 4.0 140 310
ldv-regression/test18_true-unreach-call.c unreach-call .16  1.1 1.6 22 .016  .086  3.5  2.0  74   260 11   6.1 150 330
ldv-regression/test19_true-unreach-call.c unreach-call .12  1.0 1.8 22 .016  .18   3.5  2.0  75   260 11   6.1 210 460
ldv-regression/test20_true-unreach-call.c unreach-call .17  1.0 2.0 31 .016  8.4    3.3  1.9  56   260 7.6 4.1 150 310
ldv-regression/test21_true-unreach-call.c unreach-call .23  1.0 1.9 31 .016  8.5    3.8  2.1  80   260 12   6.5 130 350
ldv-regression/test22_true-unreach-call.c unreach-call .14  1.0 2.0 28 .098  2.3    280    260    6100   1700 7.4 3.9 140 320
ldv-regression/test23_true-unreach-call.c unreach-call .15  1.0 1.8 33 .033  8.9    .48 .31 12   39 5.7 3.1 110 300
ldv-regression/test24_true-unreach-call.c unreach-call .12  1.0 1.7 24 .016  1.1    .50 .31 11   39 6.7 3.6 83 290
ldv-regression/test25_true-unreach-call.c unreach-call .25  1.0 2.3 32 0      9.3    .51 .33 12   41 7.1 3.7 86 300
ldv-regression/test26_true-unreach-call.c unreach-call .25  1.1 1.6 31 .016  8.5    3.6  2.0  67   260 10   5.6 150 330
ldv-regression/test27_true-unreach-call.c unreach-call .12  1.1 1.7 24 .016  1.1    .51 .34 12   42 7.0 3.7 85 300
ldv-regression/test28_true-unreach-call.c unreach-call .15  1.1 1.6 24 .016  1.3    3.6  2.0  85   260 10   5.4 180 330
ldv-regression/test29_true-unreach-call.c unreach-call .22  1.0 1.7 31 .016  8.5    3.6  2.0  58   260 10   5.4 110 320
ldv-regression/test30_true-unreach-call.c unreach-call .23  1.0 1.7 31 .016  8.3    3.6  2.0  74   250 11   6.3 220 470
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unreach-call .49  1.0 4.8 54 .074  1.4    13    7.4  260   540 89   74   1400 1000
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unreach-call .48  1.0 5.0 54 .074  1.7    14    7.7  260   520 92   76   1800 980
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unreach-call .58  1.0 4.6 61 .074  9.2    13    7.4  180   530 96   77   1600 930
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unreach-call .69  1.0 5.8 53 .025  1.3    .54 .34 13   40 7.9 4.1 160 310
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unreach-call .72  1.1 5.7 61 .025  9.2    .57 .36 13   42 7.5 4.0 89 300
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unreach-call .68  1.1 5.8 62 .025  9.1    .50 .31 11   39 7.4 3.9 74 300
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unreach-call .63  1.1 5.9 52 .025  .20   .51 .32 14   40 8.5 4.4 81 300
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unreach-call .65  1.0 6.5 62 .025  9.2    .50 .33 12   40 6.2 3.3 110 300
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unreach-call .66  1.1 5.8 54 .025  .27   .54 .34 12   39 8.0 4.2 85 300
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unreach-call .68  1.0 6.1 63 .025  9.1    .48 .31 11   40 6.3 3.3 130 310
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unreach-call .68  1.1 5.4 53 .025  .21   .48 .32 8.2 40 8.2 4.3 81 300
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unreach-call .79  1.0 5.6 62 .025  9.2    .51 .32 11   40 7.2 3.8 100 300
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unreach-call .65  1.1 5.5 52 .025  0      .58 .36 13   43 7.7 4.0 110 310
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i unreach-call .29  1.1 1.9 35 .098  8.9    5.3  2.9  110   290 12   6.3 170 360
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i unreach-call .23  1.0 1.9 34 .098  9.0    5.1  2.8  110   300 18   9.7 180 380
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i unreach-call .14  1.0 1.9 26 .098  1.1    5.1  2.8  100   280 10   5.4 140 350
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i unreach-call .21  1.0 2.2 34 .074  8.8    6.1  3.3  110   300 15   7.8 240 420
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unreach-call .13  1.0 1.8 26 .098  .57   5.1  2.8  89   280 11   5.9 160 360
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unreach-call .22  1.1 2.1 24 .098  0      6.1  3.4  140   310 11   5.8 210 300
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i unreach-call .16  1.1 1.9 25 .098  0      5.5  3.0  120   300 8.7 4.6 160 320
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i unreach-call .81  1.1 9.1 26 .098  .45   5.6  3.0  82   290 16   8.5 160 380
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i unreach-call .23  1.1 1.7 34 .098  8.9    5.0  2.7  100   290 9.5 5.0 190 350
forester-heap/sll-01_false-unreach-call_false-valid-deref.i unreach-call .33  1.1 1.9 34 .033  8.9    .50 .32 12   39 5.9 3.1 110 300
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i unreach-call .16  1.0 2.0 25 .098  .0082 6.1  3.3  120   310 7.8 4.2 150 310
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i unreach-call .13  1.0 2.9 25 .098  .93   5.2  2.8  100   280 16   8.8 190 380
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i unreach-call .14  1.0 2.3 34 .098  8.9    5.1  2.8  78   300 9.8 5.3 120 340
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i unreach-call .14  1.0 1.9 27 .098  1.6    5.8  3.1  91   300 16   8.4 200 410
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unreach-call .22  1.0 2.1 34 .098  8.9    5.1  2.7  110   280 9.0 4.8 160 350
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i unreach-call .18  1.0 2.5 34 .098  8.8    5.4  3.0  110   290 12   6.4 160 320
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i unreach-call .13  1.0 1.9 26 .098  1.0    5.2  2.8  100   280 9.6 5.2 110 320
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i unreach-call .99  1.1 12   26 .098  1.1    5.9  3.2  100   300 25   14   310 570
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i unreach-call .23  1.0 1.9 34 .098  8.8    5.3  2.9  120   280 11   5.7 160 350
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unreach-call 900     450   9300   330 .025  0      .51 .33 10   41 7.0 3.7 79 300
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unreach-call 2.3   1.1 23   38 .0041 0      900    890    13000   3800 960   900   25000 1200
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unreach-call 900     300   6700   840 0      .93   .53 .33 12   43 5.7 3.1 97 290
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unreach-call 2.1   1.0 22   33 .0041 8.4    900    890    12000   3400 960   850   16000 1700
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unreach-call 900     300   5000   3500 0      1.2    .49 .32 12   39 7.8 4.1 84 300
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unreach-call 900     300   5400   3400 0      0      .52 .35 12   41 6.3 3.4 120 320
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unreach-call 2.2   1.1 22   39 .0041 8.4    390    380    5200   7000 960   900   22000 1700
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unreach-call 3.4   1.0 30   31 .0041 1.6    900    860    13000   6100 960   880   26000 2400
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unreach-call 2.2   1.1 25   39 .0041 1.1    910    860    16000   5300 960   860   18000 1700
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unreach-call 1.8   1.1 20   31 .0041 0      900    890    10000   4000 960   930   19000 870
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unreach-call 900     450   7100   280 .025  1.3    .51 .33 12   41 5.6 3.0 98 290
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unreach-call 2.3   1.0 24   47 .0041 8.4    900    870    15000   6200 960   880   28000 1700
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unreach-call 2.3   1.1 24   38 .0041 0      900    890    8700   3800 960   910   21000 1400
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unreach-call 900     300   7800   740 0      8.4    .54 .34 12   41 7.5 4.0 75 300
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unreach-call 2.1   1.1 23   26 .0041 .93   900    890    12000   3300 960   910   24000 1700
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unreach-call 900     300   6500   3400 0      1.3    .58 .38 12   43 7.7 4.0 83 300
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unreach-call 900     300   6400   3500 0      0      .51 .33 12   40 5.8 3.1 110 300
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unreach-call 2.2   1.1 21   38 .0041 8.4    550    530    12000   7000 960   920   19000 1500
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unreach-call 3.6   1.0 36   31 .0041 1.2    900    860    22000   5700 960   870   25000 1600
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unreach-call 2.2   1.0 23   45 .0041 8.4    900    850    16000   5100 960   890   21000 1700
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unreach-call 2.1   1.1 22   40 .0041 8.4    900    890    11000   4100 960   890   23000 2000
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unreach-call .20  1.0 1.9 34 .098  8.9    5.1  2.8  110   280 10   5.5 110 320
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unreach-call .17  1.1 2.0 24 .033  .090  .50 .33 10   39 6.5 3.4 99 300
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup.i unreach-call .13  1.0 1.9 26 .098  1.3    5.4  2.9  120   290 7.9 4.2 170 330
list-ext2-properties/list_and_tree_cnstr_false-unreach-call.i unreach-call 1.5   1.1 13   35 .098  8.9    5.8  3.2  96   300 19   10   240 540
list-ext2-properties/list_and_tree_cnstr_true-unreach-call.i unreach-call 900     340   7000   1200 .012  1.1    .52 .33 12   40 6.5 3.5 110 290
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i unreach-call 2.3   1.1 20   61 .049  0      5.5  3.0  100   300 9.1 4.9 160 330
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i unreach-call 900     450   6700   1600 0      8.5    .49 .32 12   41 6.5 3.4 120 300
list-ext2-properties/simple_search_value_false-unreach-call.i unreach-call 1.8   1.0 17   25 .074  1.4    8.5  5.4  200   430 97   84   1600 930
list-ext2-properties/simple_search_value_true-unreach-call.i unreach-call 900     280   8400   1200 0      1.4    .55 .34 12   40 6.3 3.4 82 280
array-memsafety/add_last_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .11  1.0 1.7 23 0      0      .56 .35 9.5 39 7.1 3.8 87 300
array-memsafety/bubblesort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .16  1.1 1.9 22 .049  0      93    71    2100   4500 7.6 4.1 150 330
array-memsafety/count_down_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .11  1.0 1.8 23 0      0      .73 .47 8.6 44 7.0 3.7 90 300
array-memsafety/cstrcat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .12  1.0 1.9 21 .049  0      3.3  1.9  65   240 9.8 5.2 100 340
array-memsafety/cstrchr_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .14  1.1 1.7 23 .016  0      .49 .31 11   39 6.2 3.3 100 300
array-memsafety/cstrlen_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .14  1.1 1.8 23 .016  0      .73 .45 8.3 42 6.1 3.2 82 310
array-memsafety/cstrncat_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .13  1.0 1.8 22 .049  0      3.2  1.8  62   230 7.9 4.3 180 340
array-memsafety/cstrncpy_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .12  1.0 1.9 21 .049  0      4.5  2.5  50   240 10   5.2 120 330
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .11  1.0 1.6 24 .016  .066  .60 .39 10   40 7.3 3.8 95 300
array-memsafety/diff_usafe_false-valid-deref.i valid-deref valid-free valid-memtrack .15  1.1 2.4 23 .074  0      3.8  2.2  86   240 7.8 4.1 110 320
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .21  1.1 1.7 34 0      9.0    .56 .36 9.9 40 6.7 3.5 94 300
array-memsafety/lis_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .12  1.0 1.7 23 0      0      .57 .37 10   40 7.7 4.0 86 310
array-memsafety/mult_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .13  1.1 1.7 23 0      .086  .55 .34 9.7 40 7.8 4.1 90 300
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .12  1.0 1.9 23 0      0      .62 .41 7.6 39 7.4 3.9 81 300
array-memsafety/reverse_array_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .11  1.0 2.0 25 0      1.2    .58 .37 5.7 42 7.5 4.0 76 300
array-memsafety/selectionsort_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .12  1.0 1.8 24 .049  .95   3.5  1.9  73   230 9.1 4.9 100 350
array-memsafety/stroeder1_unsafe_false-valid-deref.i valid-deref valid-free valid-memtrack .17  1.1 1.8 21 .049  0      3.6  2.0  79   250 9.2 4.9 120 350
array-memsafety/add_last-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 22 0      0      .69 .43 9.0 41 7.4 3.9 76 290
array-memsafety/array01-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  1.1 1.6 23 0      .45   .63 .41 8.9 41 7.5 3.9 74 300
array-memsafety/array02-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  1.0 1.7 23 0      .074  .48 .31 7.9 40 5.9 3.2 110 300
array-memsafety/array03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .12  1.0 1.6 23 0      .15   .54 .35 7.1 40 6.0 3.2 110 300
array-memsafety/bubblesort-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.9 24 0      .53   .53 .35 9.4 41 7.1 3.7 59 300
array-memsafety/count_down-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 23 0      .14   .50 .32 12   39 6.2 3.3 100 300
array-memsafety/cstrcat-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.1 1.8 23 0      .086  .49 .32 11   40 6.4 3.5 81 290
array-memsafety/cstrchr-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.9 22 0      .066  .67 .42 8.0 41 6.5 3.5 100 310
array-memsafety/cstrcmp-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .16  1.1 1.8 33 0      9.1    .60 .39 5.5 41 7.5 4.0 68 300
array-memsafety/cstrcpy-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .21  1.1 1.6 33 0      9.0    .53 .34 12   42 6.3 3.3 100 310
array-memsafety/cstrcspn-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 24 0      .086  .47 .30 9.0 39 6.5 3.4 94 300
array-memsafety/cstrlen-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .13  1.1 1.7 24 0      .078  .59 .37 9.6 39 7.5 3.9 74 300
array-memsafety/cstrncat-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 24 0      0      .53 .34 7.9 39 7.6 4.0 93 300
array-memsafety/cstrncmp-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  1.1 1.6 22 0      0      .49 .31 6.5 39 6.7 3.5 110 300
array-memsafety/cstrncpy-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 24 0      .066  .49 .33 7.6 39 6.8 3.6 86 310
array-memsafety/cstrpbrk-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.1 1.7 24 0      0      .65 .40 8.0 39 5.8 3.1 100 290
array-memsafety/cstrspn-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 23 0      0      .48 .30 9.8 39 6.2 3.3 110 300
array-memsafety/diff-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .12  1.0 1.6 24 0      0      .53 .33 12   41 8.1 4.3 80 300
array-memsafety/insertionsort-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 24 0      .086  .50 .33 10   39 6.4 3.3 82 290
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .12  1.0 1.7 23 0      0      .57 .36 8.7 39 7.6 4.0 70 300
array-memsafety/lis-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 24 0      0      .65 .41 8.8 39 7.4 4.0 74 300
array-memsafety/mult_array-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  1.1 2.0 23 0      .086  .64 .41 8.4 40 6.5 3.4 88 300
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .10  1.0 2.2 24 0      0      .55 .35 9.6 39 6.6 3.5 100 300
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.1 1.6 23 0      .15   .60 .38 7.1 39 7.1 3.8 77 300
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.1 1.6 24 0      .086  .58 .38 7.5 39 7.1 3.7 67 300
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 24 0      .15   .64 .41 8.1 39 7.2 3.8 75 310
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  1.1 1.6 22 0      0      .63 .39 8.2 39 6.0 3.2 110 300
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .12  1.0 2.0 25 0      1.1    .50 .32 9.0 40 7.2 3.8 83 300
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 2.0 24 0      0      .51 .33 11   40 5.9 3.1 110 300
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 23 0      0      .54 .35 11   44 5.9 3.1 97 300
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .10  1.0 1.9 24 0      0      .49 .31 9.3 39 6.0 3.2 110 310
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 23 0      0      .51 .32 12   40 6.0 3.2 96 300
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.1 1.8 24 0      0      .68 .43 7.2 39 6.8 3.7 82 290
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.1 1.6 24 0      0      .66 .41 7.9 41 5.5 3.0 84 290
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  1.1 1.6 23 0      0      .64 .41 8.6 42 7.3 3.8 52 300
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 24 0      0      .53 .34 8.2 39 9.0 4.7 96 330
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .13  1.0 1.7 23 0      .15   .65 .42 6.8 40 7.5 3.9 79 290
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .13  1.0 1.6 24 0      .086  .63 .40 8.5 40 6.7 3.5 100 300
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 23 0      0      .55 .36 12   41 7.3 3.8 37 300
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 23 0      0      .48 .31 6.6 40 7.6 4.0 85 300
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .13  1.0 1.8 25 0      .75   .61 .39 5.8 39 6.5 3.4 96 290
array-memsafety/rec_strlen-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.1 1.6 23 0      0      .48 .31 12   39 6.2 3.3 100 290
array-memsafety/selectionsort-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 23 0      .086  .65 .41 6.1 39 7.4 3.9 150 320
array-memsafety/stroeder1-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .13  1.0 1.7 22 0      .086  .47 .30 9.9 40 6.1 3.3 130 300
array-memsafety/stroeder2-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  1.1 2.0 25 0      .68   .60 .38 11   44 5.8 3.1 120 300
array-memsafety/strreplace-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.1 1.7 24 0      0      .52 .34 8.7 43 7.8 4.1 63 300
array-memsafety/subseq-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .10  1.0 1.8 24 0      0      .52 .34 8.2 43 7.1 3.8 70 280
array-memsafety/substring-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 27 0      2.5    .52 .33 10   40 7.3 3.8 79 300
array-examples/relax_false-valid-deref.i valid-deref valid-free valid-memtrack .15  1.1 1.7 24 0      0      .57 .36 14   45 5.9 3.1 74 300
array-examples/sanfoundry_24_false-valid-deref.i valid-deref valid-free valid-memtrack 900     300   5300   2600 0      0      .48 .31 11   39 7.9 4.1 84 310
array-examples/standard_strcpy_false-valid-deref_ground.i valid-deref valid-free valid-memtrack 900     300   9100   6000 0      .086  .49 .31 8.9 40 6.5 3.4 70 300
array-examples/standard_strcpy_original_false-valid-deref.i valid-deref valid-free valid-memtrack 900     450   10000   5300 0      0      .62 .40 6.4 40 6.6 3.5 130 310
memsafety/960521-1_false-valid-deref.i valid-deref valid-free valid-memtrack 8.0   4.0 83   170 .012  0      12    6.3  220   360 9.4 5.1 190 360
memsafety/test-0137_false-valid-deref.i valid-deref valid-free valid-memtrack 1.1   1.0 14   50 .074  .13   98    53    1800   4500 66   57   1400 670
memsafety/test-0235_false-valid-deref.i valid-deref valid-free valid-memtrack 4.2   2.1 44   120 .086  0      97    51    920   3600 9.5 5.1 180 320
memsafety/960521-1_false-valid-free.i valid-deref valid-free valid-memtrack 8.0   4.0 87   180 .020  .48   12    6.2  190   330 11   5.9 170 360
memsafety/test-0158_false-valid-free.i valid-deref valid-free valid-memtrack .13  1.0 1.9 23 .049  0      4.8  2.6  88   260 13   7.2 140 370
memsafety/test-0232_false-valid-free.i valid-deref valid-free valid-memtrack .14  1.0 1.8 24 .098  0      98    55    1000   5200 9.1 4.9 190 350
memsafety/20020406-1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .16  1.0 2.1 27 .074  0      4.7  2.6  70   250 11   6.0 120 360
memsafety/20051113-1.c_false-valid-memtrack.i valid-deref valid-free valid-memtrack .14  1.0 1.9 24 .098  .20   6.6  3.5  60   260 8.2 4.4 140 330
memsafety/lockfree-3.1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .19  1.0 2.6 24 .074  .0082 7.3  3.9  100   270 53   31   550 1400
memsafety/lockfree-3.2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .18  1.1 2.0 24 .098  0      7.0  3.8  74   270 26   14   270 380
memsafety/lockfree-3.3_false-valid-memtrack.i valid-deref valid-free valid-memtrack .23  1.1 2.3 26 .11   0      6.7  3.6  120   270 97   57   890 4400
memsafety/test-0019_false-valid-memtrack.i valid-deref valid-free valid-memtrack .20  1.1 2.0 33 .049  9.1    4.8  2.6  90   250 21   11   220 350
memsafety/test-0102_false-valid-memtrack.i valid-deref valid-free valid-memtrack 40     18   400   770 .049  .061  93    50    1300   3300 97   86   1800 560
memsafety/test-0158_false-valid-memtrack.i valid-deref valid-free valid-memtrack .15  1.1 1.7 23 .049  .086  4.8  2.7  74   250 14   7.3 150 330
memsafety/test-0220_false-valid-memtrack.i valid-deref valid-free valid-memtrack 1.1   1.0 13   50 .049  0      94    50    890   4300 9.6 5.1 130 320
memsafety/test-0232_false-valid-memtrack.i valid-deref valid-free valid-memtrack .13  1.0 2.4 23 .082  0      98    53    1400   4600 34   22   420 550
memsafety/test-0234_false-valid-memtrack.i valid-deref valid-free valid-memtrack 3.6   2.0 39   120 .049  0      98    53    1400   5100 11   5.7 140 320
memsafety/test-0235_false-valid-memtrack.i valid-deref valid-free valid-memtrack 3.7   2.0 44   130 .049  0      94    50    1100   3700 11   5.9 110 320
memsafety/960521-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   8000   8600 0      0      .57 .35 9.9 40 8.2 4.3 70 300
memsafety/lockfree-3.0_true-valid-memsafety.i valid-deref valid-free valid-memtrack 40     20   360   240 0      0      .61 .37 14   44 7.4 3.9 87 300
memsafety/test-0019_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 23 0      .23   .67 .40 15   44 7.9 4.2 98 320
memsafety/test-0102_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.0 23   130 0      .061  .57 .37 11   42 8.1 4.2 89 320
memsafety/test-0134_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.6   1.0 28   110 0      .061  .55 .35 9.1 42 5.7 3.1 120 300
memsafety/test-0158_true-valid-memsafety.i valid-deref valid-free valid-memtrack .10  1.0 1.8 23 0      0      .54 .35 11   41 7.8 4.1 87 290
memsafety/test-0214_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.2   1.1 15   34 0      0      .68 .44 10   41 7.4 3.9 70 300
memsafety/test-0217_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.2   1.1 14   45 0      0      .70 .42 9.7 42 7.7 4.1 85 300
memsafety/test-0218_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.2   1.0 15   44 0      .061  .64 .40 16   45 6.0 3.2 85 300
memsafety/test-0219_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.4   1.0 26   95 0      0      .60 .37 12   42 7.5 4.0 54 300
memsafety/test-0232_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.1   1.0 14   26 0      0      .70 .44 9.2 44 6.2 3.3 91 300
memsafety/test-0234_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.5   1.1 25   120 0      1.1    .69 .44 6.4 41 7.8 4.2 76 300
memsafety/test-0235_true-valid-memsafety.i valid-deref valid-free valid-memtrack 5.8   2.1 55   160 0      0      .64 .41 10   43 7.0 3.7 99 300
memsafety/test-0236_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.5   1.0 23   94 0      0      .54 .35 9.0 43 5.9 3.1 87 300
memsafety/test-0237_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.5   1.0 24   110 0      .029  .57 .35 11   42 7.0 3.7 88 300
memsafety/test-0504_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.0 21   42 0      .061  .51 .34 8.9 41 5.6 3.0 120 290
memsafety/test-0513_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.0 24   29 0      0      .58 .37 9.3 41 6.2 3.3 120 300
memsafety/test-0521_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.3   1.1 23   34 0      .16   .54 .34 12   42 7.1 3.7 140 310
memsafety/test-memleak_nexttime_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.9 25 0      1.3    .71 .43 7.1 41 6.9 3.6 93 300
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   5600   890 0      1.2    .56 .35 5.6 39 6.7 3.5 83 300
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   7900   1600 0      0      .65 .42 7.3 40 6.9 3.6 110 320
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     420   8500   1200 0      0      .71 .45 7.3 44 6.1 3.2 110 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   6000   460 .025  .074  .70 .44 7.1 40 6.1 3.2 110 310
memsafety-ext/tree_dsw_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   7100   280 .025  .086  .50 .32 12   39 8.1 4.2 74 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   5500   500 .025  0      .60 .39 9.9 40 8.0 4.2 86 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   6300   440 .025  0      .49 .31 11   40 9.1 4.7 94 320
memsafety-ext/tree_stack_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   6800   430 .025  0      .59 .38 9.0 39 6.0 3.2 120 300
memsafety-ext2/split_list_test05_false-valid-deref.i valid-deref valid-free valid-memtrack 900     300   8800   970 .025  0      .54 .33 12   39 5.8 3.1 93 280
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.0 2.5 25 .074  .086  5.8  3.1  86   270 9.5 5.1 140 350
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i valid-deref valid-free valid-memtrack .15  1.0 1.8 25 .098  0      98    57    1600   4900 11   6.1 160 360
memsafety-ext2/length_test03_false-valid-memtrack.i valid-deref valid-free valid-memtrack .97  1.1 10   31 .074  1.0    98    52    1200   3300 9.0 4.9 120 320
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i valid-deref valid-free valid-memtrack 1.0   1.1 12   25 .074  0      98    60    1100   4700 7.4 4.1 130 310
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   7100   1800 0      .086  .65 .42 7.8 41 5.8 3.1 120 290
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     420   5400   1900 0      0      .47 .31 12   39 5.8 3.1 98 300
memsafety-ext2/length_test03_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     900   11000   2500 .025  0      .61 .38 8.7 40 7.3 3.8 74 300
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   5100   1800 .025  0      .76 .48 6.5 40 6.1 3.3 110 290
memsafety-ext2/split_list_test05_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   8800   890 .025  .0082 .49 .31 10   40 6.7 3.5 98 310
list-ext-properties/960521-1_1_false-valid-deref.i valid-deref valid-free valid-memtrack .16  1.1 1.8 23 .098  0      5.6  3.0  120   270 11   5.7 85 350
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack 4.1   2.0 33   55 .061  .99   32    17    590   1200 53   27   470 860
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .15  1.1 2.0 23 .098  0      5.5  2.9  110   260 11   6.1 210 380
list-ext-properties/960521-1_1_false-valid-free.i valid-deref valid-free valid-memtrack .12  1.0 2.1 24 .098  0      5.3  2.9  62   250 9.8 5.3 150 360
list-ext-properties/test-0158_1_false-valid-free.i valid-deref valid-free valid-memtrack .12  1.0 1.8 22 .049  0      4.9  2.7  94   260 12   6.6 150 360
list-ext-properties/test-0019_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .13  1.0 2.0 23 .049  0      4.6  2.5  86   260 9.5 5.1 92 320
list-ext-properties/test-0158_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .12  1.0 1.8 23 .049  0      4.2  2.4  72   250 20   11   190 340
list-ext-properties/test-0232_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .13  1.0 1.9 24 .098  .086  7.5  4.0  97   280 33   19   380 500
list-ext-properties/960521-1_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .88  1.0 9.0 35 0      1.3    .61 .38 13   42 6.5 3.4 95 300
list-ext-properties/list-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.9   1.0 26   56 0      .061  .64 .40 10   42 6.6 3.5 140 310
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   5800   480 .025  .58   .50 .32 12   39 7.8 4.1 72 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 310     120   2600   2000 0      0      .56 .36 9.9 41 6.6 3.5 89 290
list-ext-properties/test-0019_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 23 0      .14   .55 .35 11   43 6.3 3.3 110 310
list-ext-properties/test-0158_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 21 0      0      .55 .36 12   42 6.5 3.4 110 300
list-ext-properties/test-0214_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 12     12   160   530 .025  .0082 .54 .35 7.0 41 6.1 3.2 110 300
list-ext-properties/test-0217_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 3.9   2.0 38   120 0      .029  .68 .44 10   42 7.2 3.8 110 310
list-ext-properties/test-0232_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.6   2.1 18   25 .025  0      .73 .46 7.8 43 6.1 3.2 89 300
list-ext-properties/test-0504_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   5200   6100 0      0      .60 .38 10   42 8.3 4.3 94 310
list-ext-properties/test-0513_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .26  1.1 2.8 25 0      0      .54 .34 11   41 7.2 3.8 78 300
memory-alloca/c.03-alloca_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.2   1.0 14   45 0      1.1    .70 .44 8.5 44 7.1 3.8 86 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c valid-deref valid-free valid-memtrack .16  1.1 1.7 23 .098  .14   3.7  2.1  78   250 11   6.0 230 380
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .16  1.1 1.9 25 .049  1.3    3.6  2.0  77   240 9.6 5.2 140 350
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c valid-deref valid-free valid-memtrack .16  1.1 1.7 23 .049  0      4.6  2.6  46   250 8.8 4.7 110 320
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c valid-deref valid-free valid-memtrack .16  1.1 1.8 22 .049  0      3.4  1.9  76   240 10   5.4 110 350
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c valid-deref valid-free valid-memtrack 1.6   1.0 20   39 .098  .086  15    8.5  280   560 97   65   1600 6400
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c valid-deref valid-free valid-memtrack 3.8   2.1 46   53 .049  0      21    11    240   570 98   67   1500 7000
ldv-memsafety/memset2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .14  1.0 1.9 21 .049  0      3.4  1.9  57   240 8.8 4.7 120 330
ldv-memsafety/memset3_false-valid-deref-write.c valid-deref valid-free valid-memtrack .12  1.0 1.8 21 .049  0      4.3  2.4  45   240 8.9 4.8 110 330
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c valid-deref valid-free valid-memtrack .15  1.1 1.8 23 .049  .086  4.1  2.3  50   250 9.7 5.1 110 330
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c valid-deref valid-free valid-memtrack .11  1.0 1.7 22 .049  .086  3.5  1.9  75   240 8.8 4.8 120 330
ldv-memsafety/memsetNonZero_false-valid-deref-write.c valid-deref valid-free valid-memtrack .16  1.1 1.9 32 .049  8.8    3.6  2.0  71   250 8.4 4.4 130 330
ldv-memsafety/memset_false-valid-deref-write.c valid-deref valid-free valid-memtrack .11  1.0 1.7 22 .049  .16   3.1  1.8  64   230 9.7 5.2 90 320
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c valid-deref valid-free valid-memtrack 770     770   6900   1800 0      .057  .65 .40 9.8 42 7.9 4.2 87 310
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c valid-deref valid-free valid-memtrack 2.0   1.0 20   73 0      .10   .55 .34 11   42 6.4 3.4 96 300
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c valid-deref valid-free valid-memtrack 3.2   2.0 36   47 0      .10   .56 .36 12   42 7.1 3.7 92 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c valid-deref valid-free valid-memtrack 2.0   1.0 21   73 0      .10   .57 .37 13   41 6.7 3.6 72 290
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c valid-deref valid-free valid-memtrack 200     200   2400   690 .020  0      .63 .38 13   45 6.9 3.7 89 300
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c valid-deref valid-free valid-memtrack 3.5   2.0 37   51 0      0      .60 .38 15   44 6.2 3.3 99 290
ldv-memsafety/StructInitialization1_true-valid-memsafety.c valid-deref valid-free valid-memtrack .10  1.0 1.6 22 0      0      .58 .38 8.5 44 6.2 3.3 130 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .099 1.0 1.7 22 0      0      .53 .34 9.0 43 6.8 3.6 110 310
ldv-memsafety/StructInitialization_true-valid-memsafety.c valid-deref valid-free valid-memtrack .13  1.1 1.5 21 0      0      .60 .37 9.9 45 5.9 3.2 120 310
ldv-memsafety/memset2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .10  1.0 1.6 22 0      .086  .58 .37 11   43 6.5 3.5 110 290
ldv-memsafety/memset3_true-valid-memsafety.c valid-deref valid-free valid-memtrack .13  1.1 1.6 21 0      .086  .71 .45 8.4 41 6.3 3.4 100 310
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c valid-deref valid-free valid-memtrack .13  1.0 1.6 21 0      0      .59 .39 8.2 42 7.9 4.1 73 300
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c valid-deref valid-free valid-memtrack .10  1.0 1.7 21 0      0      .68 .42 9.7 42 7.1 3.7 88 290
ldv-memsafety/memsetNonZero_true-valid-memsafety.c valid-deref valid-free valid-memtrack .13  1.1 1.7 21 0      0      .56 .36 10   44 5.9 3.1 110 300
ldv-memsafety/memset_true-valid-memsafety.c valid-deref valid-free valid-memtrack .10  1.0 1.6 22 0      .15   .71 .44 8.9 43 7.2 3.9 77 300
ldv-memsafety/memleaks_test14_3_false-valid-deref.i valid-deref valid-free valid-memtrack .20  1.1 2.1 28 .098  .18   6.5  3.4  120   290 12   6.4 190 360
ldv-memsafety/memleaks_test22_3_false-valid-deref.i valid-deref valid-free valid-memtrack .21  1.1 2.1 27 .074  .0041 6.8  3.6  150   320 8.0 4.3 180 320
ldv-memsafety/memleaks_test22_5_false-valid-deref.i valid-deref valid-free valid-memtrack .21  1.0 2.2 27 .074  .020  7.9  4.2  110   300 8.3 4.4 160 320
ldv-memsafety/memleaks_test23_2_false-valid-deref.i valid-deref valid-free valid-memtrack .18  1.0 2.4 30 .049  0      .61 .39 6.3 39 5.8 3.1 90 290
ldv-memsafety/memleaks_test23_4_false-valid-deref.i valid-deref valid-free valid-memtrack .17  1.0 2.6 29 .033  0      .52 .32 9.4 42 6.9 3.6 100 300
ldv-memsafety/memleaks_test11_1_false-valid-free.i valid-deref valid-free valid-memtrack .20  1.0 2.9 28 .098  0      6.6  3.5  110   270 32   25   630 570
ldv-memsafety/memleaks_test12_false-valid-free.i valid-deref valid-free valid-memtrack .26  1.0 2.9 32 .098  0      96    65    1900   4300 13   7.1 130 350
ldv-memsafety/memleaks_test17_2_false-valid-free.i valid-deref valid-free valid-memtrack .50  1.0 5.3 30 .086  0      9.8  5.1  100   320 7.9 4.3 100 320
ldv-memsafety/memleaks_test19_false-valid-free.i valid-deref valid-free valid-memtrack .21  1.0 2.3 28 .098  0      6.7  3.6  130   320 15   7.9 190 410
ldv-memsafety/memleaks_test2_false-valid-free.i valid-deref valid-free valid-memtrack .16  1.0 2.3 27 .049  0      6.4  3.4  130   310 11   6.1 120 350
ldv-memsafety/memleaks_test3_false-valid-free.i valid-deref valid-free valid-memtrack .21  1.1 2.1 28 .049  .95   7.6  4.0  79   300 8.7 4.7 100 320
ldv-memsafety/memleaks_test6_2_false-valid-free.i valid-deref valid-free valid-memtrack .22  1.1 2.1 29 .098  1.3    7.4  3.9  95   290 10   5.6 170 360
ldv-memsafety/memleaks_test8_2_false-valid-free.i valid-deref valid-free valid-memtrack .19  1.0 2.2 27 .098  0      7.2  3.8  110   290 9.9 5.2 200 360
ldv-memsafety/memleaks_test10_false-valid-memtrack.i valid-deref valid-free valid-memtrack .19  1.0 2.6 28 .086  0      6.7  3.6  130   310 97   89   1800 620
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .21  1.1 2.1 29 .098  0      7.5  3.9  140   300 96   77   1400 590
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .19  1.1 2.1 27 .098  0      6.0  3.2  120   290 16   8.6 250 360
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .21  1.0 2.1 27 .098  0      7.4  3.9  120   310 22   13   260 520
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .21  1.1 2.2 27 .098  .18   5.9  3.2  110   310 16   8.7 210 350
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.0 2.4 28 .098  .086  6.6  3.5  130   290 17   10   280 560
ldv-memsafety/memleaks_test15_false-valid-memtrack.i valid-deref valid-free valid-memtrack .23  1.1 2.5 28 .098  0      10    5.3  150   370 14   7.5 140 360
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .20  1.0 2.2 27 .098  0      6.5  3.5  120   300 22   12   310 460
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.0 2.7 37 .098  8.9    5.6  3.0  100   260 18   9.4 200 360
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .26  1.0 2.7 29 .086  0      8.0  4.3  120   300 7.8 4.2 110 320
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack .22  1.0 2.9 27 .098  0      11    6.0  110   300 10   5.3 94 320
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .21  1.0 2.5 28 .11   1.2    7.2  3.8  100   280 14   7.6 130 370
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .24  1.0 2.5 27 .074  0      8.6  4.5  160   310 12   6.5 150 370
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack 130     43   1100   690 .025  0      7.0  3.7  110   310 17   9.2 200 430
ldv-memsafety/memleaks_test1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .16  1.0 2.2 28 .049  .45   6.2  3.3  140   310 14   7.6 240 350
ldv-memsafety/memleaks_test20_false-valid-memtrack.i valid-deref valid-free valid-memtrack .18  1.0 2.3 27 .098  0      7.0  3.7  93   310 16   8.7 280 340
ldv-memsafety/memleaks_test21_false-valid-memtrack.i valid-deref valid-free valid-memtrack .20  1.1 2.0 27 .098  0      6.1  3.2  130   300 15   8.2 220 350
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.0 2.3 27 .098  .0041 7.5  4.0  100   300 32   19   630 670
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .20  1.1 2.1 27 .098  0      7.0  3.7  69   300 8.0 4.3 150 320
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i valid-deref valid-free valid-memtrack .22  1.0 2.3 27 .074  0      8.5  4.5  89   290 42   27   720 690
ldv-memsafety/memleaks_test4_false-valid-memtrack.i valid-deref valid-free valid-memtrack .20  1.1 2.1 27 .098  0      5.8  3.1  49   270 21   11   220 390
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .18  1.0 2.2 26 .098  0      7.9  4.2  81   310 18   9.4 150 350
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.0 2.8 27 .098  .0041 6.6  3.5  100   280 11   5.6 150 350
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .19  1.0 2.3 28 .098  0      6.5  3.5  130   300 97   86   2600 510
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.0 2.3 28 .098  0      6.9  3.7  94   270 18   9.5 320 370
ldv-memsafety/memleaks_test7_false-valid-memtrack.i valid-deref valid-free valid-memtrack .21  1.1 2.2 28 .098  .086  7.2  3.8  91   280 20   11   290 360
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.0 2.2 29 .098  1.3    6.2  3.3  120   290 17   9.2 210 360
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i valid-deref valid-free valid-memtrack .18  1.0 2.4 26 .098  0      6.2  3.3  97   270 17   9.1 260 350
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.0 2.2 27 .098  0      5.8  3.1  110   270 15   8.2 210 350
ldv-memsafety/memleaks_test10_true-valid-memsafety.i valid-deref valid-free valid-memtrack .17  1.0 2.0 28 0      0      .57 .35 11   45 6.5 3.5 71 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  1.1 2.1 28 0      .037  .55 .35 12   42 5.8 3.1 110 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i valid-deref valid-free valid-memtrack .27  1.0 3.0 30 0      .27   .71 .46 9.6 41 8.8 4.6 83 320
ldv-memsafety/memleaks_test13_true-valid-memsafety.i valid-deref valid-free valid-memtrack .18  1.1 2.0 27 0      .094  .70 .44 8.7 41 8.3 4.4 78 320
ldv-memsafety/memleaks_test14_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  1.1 2.1 27 0      .086  .69 .44 11   47 8.0 4.2 76 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  1.0 2.6 29 .025  0      .60 .36 9.9 44 6.2 3.3 110 300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  1.1 2.2 27 0      0      .65 .40 9.8 44 5.9 3.2 95 300
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .25  1.0 2.6 27 0      .037  .53 .34 9.3 42 5.8 3.1 84 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  1.0 2.5 28 0      0      .52 .33 13   40 6.7 3.6 97 310
ldv-memsafety/memleaks_test18_true-valid-memsafety.i valid-deref valid-free valid-memtrack .33  1.0 4.0 29 0      0      .67 .43 8.2 41 6.4 3.3 120 300
ldv-memsafety/memleaks_test19_true-valid-memsafety.i valid-deref valid-free valid-memtrack .16  1.0 2.3 28 0      .061  .71 .45 12   46 6.3 3.3 110 300
ldv-memsafety/memleaks_test1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .16  1.0 2.2 26 0      .094  .61 .38 11   41 6.2 3.3 120 300
ldv-memsafety/memleaks_test20_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  1.0 2.1 27 0      .049  .69 .44 8.7 43 6.2 3.3 110 300
ldv-memsafety/memleaks_test21_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  1.1 2.1 27 0      0      .61 .40 12   42 6.2 3.2 110 310
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  1.0 2.1 26 0      0      .70 .45 8.1 43 7.8 4.1 77 300
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  1.0 2.1 27 0      0      .54 .35 13   42 7.4 3.9 91 300
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  1.1 2.4 28 0      0      .52 .35 9.8 42 7.4 3.9 80 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .18  1.0 2.3 30 .033  .65   .50 .33 9.8 39 5.6 3.0 110 290
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i valid-deref valid-free valid-memtrack .18  1.0 2.4 29 .033  0      .51 .32 10   41 6.8 3.6 65 290
ldv-memsafety/memleaks_test2_true-valid-memsafety.i valid-deref valid-free valid-memtrack .17  1.1 1.9 27 0      0      .54 .36 13   41 6.4 3.4 110 300
ldv-memsafety/memleaks_test3_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  1.1 2.0 26 0      0      .74 .46 7.2 42 6.0 3.2 130 290
ldv-memsafety/memleaks_test4_true-valid-memsafety.i valid-deref valid-free valid-memtrack .16  1.0 2.0 26 0      0      .61 .39 12   43 5.9 3.2 110 300
ldv-memsafety/memleaks_test5_true-valid-memsafety.i valid-deref valid-free valid-memtrack .16  1.0 2.1 28 0      1.1    .71 .44 9.7 42 6.7 3.6 93 300
ldv-memsafety/memleaks_test6_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  1.1 2.1 27 0      0      .76 .49 8.5 45 5.9 3.1 85 310
ldv-memsafety/memleaks_test7_true-valid-memsafety.i valid-deref valid-free valid-memtrack .20  1.1 2.0 27 0      0      .62 .39 10   42 5.6 3.0 71 290
ldv-memsafety/memleaks_test8_true-valid-memsafety.i valid-deref valid-free valid-memtrack .19  1.1 2.3 36 0      8.4    .54 .34 9.0 41 7.2 3.9 75 320
ldv-memsafety/memleaks_test9_true-valid-memsafety.i valid-deref valid-free valid-memtrack .15  1.0 2.3 27 0      0      .52 .33 12   41 7.8 4.1 66 290
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.7 21 .016  0      .60 .38 4.4 41 7.0 3.7 82 290
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .14  1.0 1.7 22 .016  .14   .48 .31 8.4 39 7.0 3.7 83 300
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i valid-deref valid-free valid-memtrack .13  1.0 1.7 21 .029  .11   .51 .34 9.6 39 7.8 4.1 76 300
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.9 21 .029  .13   .59 .37 9.8 40 6.6 3.5 66 290
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i valid-deref valid-free valid-memtrack .11  1.0 1.8 22 .029  .13   .53 .35 6.6 40 6.0 3.2 95 300
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i valid-deref valid-free valid-memtrack .13  1.1 1.6 23 .016  1.1    .64 .41 8.5 40 7.3 3.9 97 300
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i valid-deref valid-free valid-memtrack .13  1.0 2.2 31 .016  9.0    .57 .37 9.0 40 6.1 3.2 100 300
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i valid-deref valid-free valid-memtrack .12  1.0 1.9 23 .016  1.2    .50 .33 12   41 6.1 3.2 130 290
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i valid-deref valid-free valid-memtrack .13  1.0 1.7 22 .016  .12   .51 .32 12   40 6.7 3.5 71 290
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i valid-deref valid-free valid-memtrack .14  1.1 1.6 21 .029  .11   .56 .36 9.1 39 5.8 3.1 97 300
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.5   1.1 16   50 0      1.1    .74 .46 8.9 45 6.9 3.6 130 320
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.5   1.0 27   59 0      0      .63 .39 12   42 6.9 3.7 83 300
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.6   1.0 20   69 0      .070  .63 .40 12   43 6.9 3.6 97 300
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.1 23   72 0      0      .55 .35 12   42 7.6 4.0 95 300
heap-manipulation/tree_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack 2.1   1.0 24   25 .049  .029  5.4  3.0  110   260 9.9 5.3 120 320
heap-manipulation/tree_false-valid-deref.i valid-deref valid-free valid-memtrack .15  1.0 2.1 25 .049  .061  5.2  2.8  110   270 11   6.0 100 350
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .14  1.0 2.0 25 .098  0      93    77    2400   3800 13   7.0 210 370
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.1 1.9 23 .098  0      95    75    1300   3800 11   5.7 210 300
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .17  1.1 2.6 23 .049  0      5.3  2.8  92   260 18   9.8 180 450
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .16  1.1 1.8 23 .049  0      5.8  3.1  100   270 40   24   330 720
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   7100   2000 0      0      .59 .40 6.7 40 5.7 3.0 80 300
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .13  1.0 1.9 24 .098  0      93    70    1900   4300 18   9.8 180 330
list-properties/list_search_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .15  1.0 2.2 25 .074  0      6.4  3.5  66   310 8.1 4.3 130 320
list-properties/list_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .13  1.0 1.9 23 .098  0      94    77    2100   4100 14   7.3 130 320
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .13  1.0 1.9 23 .098  0      93    70    2600   4100 18   9.5 190 350
list-properties/simple_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .14  1.0 1.7 23 .098  0      98    72    1300   4100 23   13   260 370
list-properties/splice_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .13  1.0 1.8 24 .049  0      94    68    2400   4300 16   8.7 250 330
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .58  1.0 5.5 52 0      .36   .55 .34 12   45 6.6 3.5 110 290
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .55  1.1 4.8 51 0      .28   .52 .34 13   41 7.7 4.0 110 310
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack .53  1.0 4.6 52 0      .22   .66 .42 9.7 41 6.1 3.3 110 300
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .49  1.1 4.6 52 .074  .13   12    6.3  170   400 19   10   180 480
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .51  1.1 4.4 53 .074  .13   10    5.4  210   400 16   8.7 130 480
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .52  1.0 5.2 52 .074  .20   13    6.5  170   400 19   10   190 480
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .58  1.1 4.6 51 .074  0      11    5.8  220   400 15   7.9 190 500
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .50  1.0 4.8 53 .074  1.1    11    5.9  190   410 16   8.8 160 480
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .51  1.1 4.8 52 .074  .29   11    5.7  180   400 15   8.0 140 480
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .50  1.0 4.5 53 .074  .45   11    5.8  220   410 17   9.3 200 480
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .49  1.0 5.1 52 .074  .29   11    5.9  190   410 17   9.4 190 490
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .50  1.0 4.9 53 .074  1.3    11    5.8  200   410 14   7.6 190 470
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i valid-deref valid-free valid-memtrack .58  1.1 5.4 52 .074  .36   11    5.5  190   400 16   8.8 170 500
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.0 23   32 0      0      .56 .37 12   43 7.8 4.1 85 310
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.3   1.1 21   38 0      0      .61 .37 13   44 6.5 3.5 100 300
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   8600   900 0      0      .61 .39 9.1 40 6.4 3.4 120 300
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.1   1.0 22   25 0      0      .72 .44 9.1 42 6.9 3.6 98 290
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   7500   4200 0      .0082 .51 .33 13   41 6.9 3.7 75 290
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   6300   3500 0      0      .65 .41 6.1 39 7.3 3.9 67 300
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.1 23   32 0      0      .71 .43 11   45 7.6 4.0 88 310
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.0 22   38 0      0      .58 .37 10   41 7.1 3.7 90 310
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 1.8   1.0 20   31 0      0      .69 .44 8.6 41 7.7 4.1 80 300
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     450   10000   280 .025  0      .66 .42 8.3 40 6.2 3.3 120 300
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.3   1.1 24   39 0      .0082 .72 .45 8.5 42 7.7 4.0 85 300
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.3   1.0 25   38 0      0      .60 .37 7.8 43 7.4 4.0 87 290
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   8100   720 0      0      .64 .41 8.7 41 6.5 3.4 84 300
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.1   1.0 23   26 0      .93   .63 .39 5.8 41 6.0 3.2 100 300
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   5800   3300 0      0      .50 .32 11   40 8.1 4.3 75 300
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 900     300   5600   3300 0      0      .60 .38 5.6 39 6.5 3.4 110 300
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.0 23   30 0      0      .69 .44 7.9 41 5.9 3.1 140 300
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.2   1.1 22   37 0      0      .71 .44 8.6 41 8.2 4.3 99 300
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i valid-deref valid-free valid-memtrack 2.1   1.1 20   32 0      0      .69 .44 9.0 45 6.2 3.3 120 310
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .18  1.0 2.3 23 .098  0      6.7  3.6  89   270 97   89   1800 520
forester-heap/sll-01_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .16  1.1 2.0 25 .098  0      5.7  3.1  120   260 20   10   230 480
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i valid-deref valid-free valid-memtrack .17  1.0 2.3 23 .098  .11   5.7  3.1  110   270 30   18   370 630
loop-acceleration/array3_false-valid-deref.i valid-deref valid-free valid-memtrack 900     900   11000   89 .037  0      .70 .44 7.6 40 6.5 3.5 80 300
ntdrivers/floppy_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack 1.2   1.1 9.9 84 .025  .13   13    6.5  190   420 9.6 5.0 91 320
ntdrivers/kbfiltr_false-valid-deref.i.cil.c valid-deref valid-free valid-memtrack .36  1.1 3.1 40 .049  0      7.3  3.9  140   280 8.7 4.6 92 310
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 2.8   1.0 29   86 0      0      .67 .41 12   44 8.6 4.5 65 300
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 2.8   1.1 27   86 0      0      .75 .46 9.0 43 6.3 3.3 120 300
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 62     30   670   550 0      0      .66 .41 9.7 42 7.4 3.9 82 300
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 6.8   2.0 69   120 0      0      .72 .45 8.8 43 6.9 3.7 120 310
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 9.9   3.0 87   120 0      0      .55 .34 13   43 7.6 4.1 74 290
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 9.3   3.0 91   140 0      8.3    .56 .36 8.8 43 7.8 4.1 120 320
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 10     3.0 88   150 0      0      .67 .42 9.8 43 6.9 3.6 120 300
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 1.7   1.1 19   41 0      0      .57 .37 13   42 5.5 2.9 84 290
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 2.7   1.0 27   64 0      .26   .54 .34 13   42 5.9 3.2 90 300
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c valid-deref valid-free valid-memtrack 2.7   1.0 25   64 0      .14   .56 .36 13   41 5.9 3.2 120 310
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 190     48   1800   350 0      .029  .54 .35 10   42 7.0 3.7 80 300
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 890     220   7900   1600 0      0      .60 .37 10   41 7.1 3.7 74 290
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 900     220   8500   1300 0      0      .53 .35 7.7 40 6.8 3.6 79 290
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 900     220   8300   1200 0      0      .61 .39 7.2 40 6.4 3.4 94 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 900     230   8100   1200 0      0      .57 .38 10   40 6.8 3.6 90 300
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 900     220   9100   990 0      .0082 .48 .31 8.5 40 7.4 4.0 72 300
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 900     230   8000   1200 0      .098  .68 .43 7.9 41 6.4 3.4 88 290
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 900     220   9000   890 0      .098  .52 .33 12   40 8.0 4.2 72 300
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack .83  1.1 8.1 28 0      .0082 .52 .34 8.1 41 8.3 4.3 70 320
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 3.3   1.1 36   36 0      .0082 .64 .40 7.9 44 6.0 3.2 120 300
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 7.9   2.0 81   55 0      0      .66 .41 8.5 44 5.7 3.0 120 300
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 20     5.1 180   77 0      0      .58 .37 10   43 8.3 4.3 99 310
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c valid-deref valid-free valid-memtrack 52     13   460   120 0      .85   .66 .43 8.9 44 7.0 3.7 80 300
../../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 501 48000    21000   400000   120000 16     860   501 3000 1800 50000 130000   501 3700 2300 53000 96000   501 18000 17000 270000 120000   501 23000   21000   500000 130000  
    correct results 355 3000    1900   28000   22000 15     670   153 2900 1800 49000 130000   132 3500 2200 51000 87000   55 17000 17000 260000 120000   52 22000   20000   490000 93000  
        correct true 180 2800    1600   26000   15000 1.1   370   10 0 0 0 0   71 0 0 0 0   55 17000 17000 260000 120000   52 22000   20000   490000 93000  
        correct false 175 260    250   2400   7300 14     310   143 2900 1800 49000 130000   61 3500 2200 51000 87000   0 0 0 0 0   0 0   0   0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 1 .14 1.0 2.0 28 .098 2.3 0 0 0 0 0   0 0 0 0 0   1 280 260 6100 1700   1 7.4 3.9 140 320  
        incorrect true 0
        incorrect false 1 .14 1.0 2.0 28 .098 2.3 0 0 0 0 0   0 0 0 0 0   0 280 260 6100 1700   0 7.4 3.9 140 320  
Run set [sv-comp17; sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]