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 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.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_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)
array-memsafety/add_last_unsafe_false-valid-deref.i 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 true 190     48   1800   350 0     .029  - - error (invalid witness file) .54 .35 10   42 error (invalid witness file) 7.0 3.7 80 300
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 890     220   7900   1600 0     0      - - error (invalid witness file) .60 .37 10   41 error (invalid witness file) 7.1 3.7 74 290
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     220   8500   1300 0     0      - - error (invalid witness file) .53 .35 7.7 40 error (invalid witness file) 6.8 3.6 79 290
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     220   8300   1200 0     0      - - error (invalid witness file) .61 .39 7.2 40 error (invalid witness file) 6.4 3.4 94 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900     230   8100   1200 0     0      - - error (invalid witness file) .57 .38 10   40 error (invalid witness file) 6.8 3.6 90 300
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     220   9100   990 0     .0082 - - error (invalid witness file) .48 .31 8.5 40 error (invalid witness file) 7.4 4.0 72 300
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 900     230   8000   1200 0     .098  - - error (invalid witness file) .68 .43 7.9 41 error (invalid witness file) 6.4 3.4 88 290
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 900     220   9000   890 0     .098  - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 8.0 4.2 72 300
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true .83  1.1 8.1 28 0     .0082 - - error (invalid witness file) .52 .34 8.1 41 error (invalid witness file) 8.3 4.3 70 320
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 3.3   1.1 36   36 0     .0082 - - error (invalid witness file) .64 .40 7.9 44 error (invalid witness file) 6.0 3.2 120 300
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.9   2.0 81   55 0     0      - - error (invalid witness file) .66 .41 8.5 44 error (invalid witness file) 5.7 3.0 120 300
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 20     5.1 180   77 0     0      - - error (invalid witness file) .58 .37 10   43 error (invalid witness file) 8.3 4.3 99 310
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 52     13   460   120 0     .85   - - error (invalid witness file) .66 .43 8.9 44 error (invalid witness file) 7.0 3.7 80 300
../../sv-benchmarks/c/ verifier status cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 328 35000 15000 290000 90000 9.6   120 328 2600 1600 43000 110000   328 2600 1700 38000 71000   328 110 72 1800 7800   328 1300 680 18000 57000  
    correct results 219 2900 1700 27000 18000 8.8   72 94 2600 1600 43000 110000   79 2500 1600 36000 64000   0 64 40 1100 4400   0 710 370 10000 31000  
        correct true 103 2700 1500 25000 12000 .094 29 8 0 0 0 0   60 0 0 0 0   0 64 40 1100 4400   0 710 370 10000 31000  
        correct false 116 240 190 2200 5400 8.7   43 86 2600 1600 43000 110000   19 2500 1600 36000 64000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (328 tasks, max score: 517) 322
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]