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