Tool ESBMC ESBMC version 3.1 64-bit x86_64 linux
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 04:52:43 CET [[ 2017-01-15 00:23:14 CET ]] [[ 2017-01-15 00:35:58 CET ]] [[ 2017-01-15 00:29:47 CET ]] [[ 2017-01-15 00:40:29 CET ]]
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]
Options -s fixed [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc.2017-01-13_0452.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc.2017-01-13_0452.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 false(valid-deref) 130    130    1500   3300 2.0  0   error (invalid witness file) .52 .33 12   40 error (invalid witness file) 5.9 3.2 110 300 - -
array-memsafety/bubblesort_unsafe_false-valid-deref.i timeout 900    900    5500   12000 .99 0   error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.0 3.2 120 300 - -
array-memsafety/count_down_unsafe_false-valid-deref.i out of memory 230    230    2900   15000 .99 0   error (invalid witness file) .51 .33 9.9 40 error (invalid witness file) 5.9 3.2 130 300 - -
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 15    15    170   850 1.8  0   error (invalid witness file) .50 .32 8.7 40 error (invalid witness file) 6.1 3.2 120 300 - -
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 3.4  3.4  44   280 2.0  0   error (invalid witness file) .50 .32 3.6 39 error (invalid witness file) 6.3 3.3 110 310 - -
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 1.9  1.9  26   180 2.0  0   error (invalid witness file) .48 .32 6.2 39 error (invalid witness file) 6.3 3.3 120 300 - -
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 20    20    260   1600 2.0  0   error (invalid witness file) .50 .33 5.7 39 error (invalid witness file) 6.5 3.4 130 310 - -
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 890    890    7000   9100 2.0  0   error (invalid witness file) .52 .34 3.8 41 error (invalid witness file) 5.4 2.9 110 280 - -
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i timeout 900    900    7700   5700 .99 0   error (invalid witness file) .52 .33 6.8 40 error (invalid witness file) 6.1 3.3 120 290 - -
array-memsafety/diff_usafe_false-valid-deref.i timeout 900    900    9100   7200 .99 0   error (invalid witness file) .49 .33 9.4 39 error (invalid witness file) 6.2 3.3 120 300 - -
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i out of memory 540    540    3400   15000 .84 0   error (invalid witness file) .49 .32 9.0 40 error (invalid witness file) 6.0 3.2 120 290 - -
array-memsafety/lis_unsafe_false-valid-deref.i out of memory 32    32    380   15000 .99 0   error (invalid witness file) .51 .33 6.8 41 error (invalid witness file) 5.9 3.1 110 300 - -
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 20    20    240   1300 2.0  0   error (invalid witness file) .47 .32 9.9 39 error (invalid witness file) 6.1 3.2 130 290 - -
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i timeout 900    900    11000   4200 .84 0   error (invalid witness file) .46 .31 8.3 39 error (invalid witness file) 5.9 3.1 120 300 - -
array-memsafety/reverse_array_unsafe_false-valid-deref.i timeout 900    900    11000   2000 .99 0   error (invalid witness file) .52 .33 13   40 error (invalid witness file) 5.6 3.0 110 290 - -
array-memsafety/selectionsort_unsafe_false-valid-deref.i timeout 900    900    8000   7200 .99 0   error (invalid witness file) .53 .34 13   39 error (invalid witness file) 5.7 3.0 120 290 - -
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 2.9  2.9  33   310 1.7  0   error (invalid witness file) .48 .30 9.4 40 error (invalid witness file) 5.8 3.1 120 300 - -
array-memsafety/add_last-alloca_true-valid-memsafety.i true 890    890    11000   4100 1.7  0   - - error (invalid witness file) .56 .37 8.6 42 error (invalid witness file) 6.1 3.2 130 300
array-memsafety/array01-alloca_true-valid-memsafety.i out of memory 230    230    2500   15000 .99 0   - - error (invalid witness file) .52 .32 9.7 40 error (invalid witness file) 6.1 3.2 120 300
array-memsafety/array02-alloca_true-valid-memsafety.i out of memory 300    300    2300   15000 .99 0   - - error (invalid witness file) .49 .32 7.0 39 error (invalid witness file) 6.3 3.3 130 300
array-memsafety/array03-alloca_true-valid-memsafety.i out of memory 50    50    570   15000 .99 0   - - error (invalid witness file) .49 .31 9.7 39 error (invalid witness file) 6.1 3.2 120 300
array-memsafety/bubblesort-alloca_true-valid-memsafety.i out of memory 330    330    3000   15000 .99 0   - - error (invalid witness file) .54 .35 9.1 39 error (invalid witness file) 5.3 2.9 110 290
array-memsafety/count_down-alloca_true-valid-memsafety.i out of memory 250    250    2300   15000 .99 0   - - error (invalid witness file) .50 .32 12   42 error (invalid witness file) 5.9 3.2 120 300
array-memsafety/cstrcat-alloca_true-valid-memsafety.i true 390    390    4700   1600 1.8  0   - - error (invalid witness file) .52 .33 11   39 error (invalid witness file) 5.6 3.0 120 290
array-memsafety/cstrchr-alloca_true-valid-memsafety.i true 20    20    210   490 2.0  0   - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.6 3.5 130 320
array-memsafety/cstrcmp-alloca_true-valid-memsafety.i true 320    320    1100   850 2.0  0   - - error (invalid witness file) .50 .32 9.8 39 error (invalid witness file) 6.2 3.3 110 300
array-memsafety/cstrcpy-alloca_true-valid-memsafety.i true 21    21    260   860 2.0  0   - - error (invalid witness file) .54 .37 8.5 43 error (invalid witness file) 6.2 3.3 120 300
array-memsafety/cstrcspn-alloca_true-valid-memsafety.i timeout 900    900    8800   10000 .99 0   - - error (invalid witness file) .51 .32 9.7 39 error (invalid witness file) 5.9 3.1 120 300
array-memsafety/cstrlen-alloca_true-valid-memsafety.i true 11    11    140   290 1.7  0   - - error (invalid witness file) .51 .33 9.1 39 error (invalid witness file) 6.0 3.2 120 300
array-memsafety/cstrncat-alloca_true-valid-memsafety.i true 890    900    12000   3100 1.7  0   - - error (invalid witness file) .48 .31 7.3 39 error (invalid witness file) 6.1 3.2 120 300
array-memsafety/cstrncmp-alloca_true-valid-memsafety.i true 210    210    2700   3700 1.7  0   - - error (invalid witness file) .54 .36 5.1 41 error (invalid witness file) 6.3 3.3 120 300
array-memsafety/cstrncpy-alloca_true-valid-memsafety.i out of memory 170    170    1900   15000 2.0  0   - - error (invalid witness file) .59 .37 9.9 41 error (invalid witness file) 6.9 3.6 130 320
array-memsafety/cstrpbrk-alloca_true-valid-memsafety.i timeout 900    900    7900   10000 .84 0   - - error (invalid witness file) .50 .35 3.4 40 error (invalid witness file) 5.7 3.1 120 290
array-memsafety/cstrspn-alloca_true-valid-memsafety.i timeout 900    900    11000   10000 .99 0   - - error (invalid witness file) .48 .31 6.1 39 error (invalid witness file) 6.1 3.2 120 300
array-memsafety/diff-alloca_true-valid-memsafety.i timeout 900    900    11000   12000 .84 0   - - error (invalid witness file) .50 .31 11   40 error (invalid witness file) 6.6 3.5 130 310
array-memsafety/insertionsort-alloca_true-valid-memsafety.i timeout 900    900    8100   8300 .84 0   - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.7 3.5 130 310
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety.i out of memory 550    550    2600   15000 .99 0   - - error (invalid witness file) .52 .35 4.1 43 error (invalid witness file) 6.0 3.1 110 290
array-memsafety/lis-alloca_true-valid-memsafety.i out of memory 150    150    400   15000 .99 0   - - error (invalid witness file) .53 .35 4.1 39 error (invalid witness file) 6.2 3.2 120 300
array-memsafety/mult_array-alloca_true-valid-memsafety.i true 25    25    260   1300 2.0  0   - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 5.7 3.1 110 290
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety.i true 5.2  5.2  57   450 2.0  0   - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.7 3.5 140 300
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety.i true 42    42    130   1000 2.0  0   - - error (invalid witness file) .49 .32 6.8 39 error (invalid witness file) 7.2 3.8 130 330
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety.i unknown 5.9  5.9  83   840 2.0  0   - - error (invalid witness file) .52 .34 7.2 45 error (invalid witness file) 6.3 3.4 120 300
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety.i true 4.9  4.9  64   410 1.7  0   - - error (invalid witness file) .50 .33 10   39 error (invalid witness file) 6.4 3.3 120 300
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety.i true 20    20    210   760 2.0  0   - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 5.8 3.1 110 290
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety.i out of memory 170    170    2200   15000 2.0  0   - - error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.2 3.3 120 300
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety.i true 380    380    4000   1600 2.0  0   - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.0 3.2 120 300
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety.i true 84    84    1000   2300 2.0  0   - - error (invalid witness file) .48 .32 5.3 39 error (invalid witness file) 6.4 3.4 130 300
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety.i true 20    20    240   760 1.7  0   - - error (invalid witness file) .49 .35 11   41 error (invalid witness file) 6.4 3.3 120 310
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety.i timeout 900    900    6600   14000 .99 0   - - error (invalid witness file) .52 .35 10   39 error (invalid witness file) 6.1 3.2 130 300
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety.i true 890    890    8600   4400 2.0  0   - - error (invalid witness file) .53 .34 10   41 error (invalid witness file) 5.9 3.2 120 300
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety.i true 46    46    91   290 1.8  0   - - error (invalid witness file) .58 .37 9.5 43 error (invalid witness file) 5.4 2.9 86 300
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety.i true 680    680    9400   2700 1.7  0   - - error (invalid witness file) .47 .32 4.3 39 error (invalid witness file) 6.3 3.3 130 300
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety.i true 100    100    1400   4700 2.0  0   - - error (invalid witness file) .52 .33 14   41 error (invalid witness file) 5.7 3.0 110 300
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety.i out of memory 170    170    2200   15000 1.7  0   - - error (invalid witness file) .50 .32 6.3 39 error (invalid witness file) 5.3 2.9 91 290
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety.i true 13    13    180   340 2.0  0   - - error (invalid witness file) .52 .34 7.4 39 error (invalid witness file) 6.3 3.3 120 300
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety.i timeout 900    900    7200   9700 .84 0   - - error (invalid witness file) .50 .32 9.7 39 error (invalid witness file) 6.0 3.2 120 300
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety.i out of memory 38    37    460   15000 .99 0   - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.5 3.4 130 300
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety.i out of memory 45    45    530   15000 .84 0   - - error (invalid witness file) .51 .33 8.3 40 error (invalid witness file) 6.1 3.2 120 300
array-memsafety/rec_strlen-alloca_true-valid-memsafety.i true 15    15    180   510 2.0  0   - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 5.9 3.2 120 300
array-memsafety/selectionsort-alloca_true-valid-memsafety.i timeout 900    900    6400   12000 .99 0   - - error (invalid witness file) .52 .34 13   42 error (invalid witness file) 6.0 3.2 130 300
array-memsafety/stroeder1-alloca_true-valid-memsafety.i true 4.3  4.3  50   400 1.8  0   - - error (invalid witness file) .50 .31 12   39 error (invalid witness file) 5.9 3.1 110 290
array-memsafety/stroeder2-alloca_true-valid-memsafety.i timeout 900    900    1800   14000 .99 0   - - error (invalid witness file) .51 .34 9.6 41 error (invalid witness file) 6.8 3.6 140 310
array-memsafety/strreplace-alloca_true-valid-memsafety.i timeout 900    900    11000   1000 .84 0   - - error (invalid witness file) .51 .33 9.4 40 error (invalid witness file) 6.4 3.4 130 310
array-memsafety/subseq-alloca_true-valid-memsafety.i true 890    890    9400   2200 1.7  0   - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 5.8 3.1 100 300
array-memsafety/substring-alloca_true-valid-memsafety.i out of memory 41    41    560   15000 .84 0   - - error (invalid witness file) .53 .34 14   42 error (invalid witness file) 5.8 3.1 120 300
array-examples/relax_false-valid-deref.i false(valid-deref) 900    900    1900   5400 2.0  0   error (invalid witness file) .51 .32 9.2 39 error (invalid witness file) 6.7 3.5 120 310 - -
array-examples/sanfoundry_24_false-valid-deref.i true 61    61    120   590 1.7  0   error (invalid witness file) .51 .32 11   39 error (invalid witness file) 5.9 3.2 110 300 - -
array-examples/standard_strcpy_false-valid-deref_ground.i true 5.4  5.4  63   620 2.0  0   error (invalid witness file) .50 .32 9.2 40 error (invalid witness file) 5.5 3.0 110 290 - -
array-examples/standard_strcpy_original_false-valid-deref.i true 5.4  5.4  65   620 2.0  0   error (invalid witness file) .54 .36 9.8 40 error (invalid witness file) 6.0 3.2 130 300 - -
memsafety/960521-1_false-valid-deref.i false(valid-deref) 48    48    600   70 1.7  0   error (invalid witness file) .51 .34 3.9 40 error (invalid witness file) 6.1 3.2 120 300 - -
memsafety/test-0137_false-valid-deref.i out of memory 81    81    750   15000 .99 0   error (invalid witness file) .53 .35 6.7 43 error (invalid witness file) 6.0 3.2 120 290 - -
memsafety/test-0235_false-valid-deref.i timeout 900    900    12000   150 .84 0   error (invalid witness file) .52 .33 8.9 40 error (invalid witness file) 6.2 3.3 130 310 - -
memsafety/960521-1_false-valid-free.i false(valid-free) 48    48    550   71 1.7  0   error (invalid witness file) .50 .31 8.2 39 error (invalid witness file) 5.7 3.1 120 300 - -
memsafety/test-0158_false-valid-free.i false(valid-free) 7.1  7.1  61   3300 1.7  0   error (invalid witness file) .55 .35 9.6 44 error (invalid witness file) 5.7 3.1 100 290 - -
memsafety/test-0232_false-valid-free.i out of memory 47    46    590   15000 .99 0   error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.5 3.0 110 280 - -
memsafety/20020406-1_false-valid-memtrack.i out of memory 150    140    2000   15000 .99 0   error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.6 3.5 130 310 - -
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 26    26    340   1000 1.7  0   error (invalid witness file) .51 .34 8.9 39 error (invalid witness file) 6.1 3.3 120 300 - -
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 900    900    10000   13000 .99 0   error (invalid witness file) .50 .33 4.2 39 error (invalid witness file) 5.9 3.1 120 300 - -
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 900    900    11000   13000 .84 0   error (invalid witness file) .49 .33 5.4 41 error (invalid witness file) 5.9 3.1 110 300 - -
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 900    900    9500   13000 .84 0   error (invalid witness file) .48 .30 6.5 39 error (invalid witness file) 6.2 3.3 120 300 - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) .21 .21 2.2 24 2.0  0   error (invalid witness file) .51 .32 9.2 39 error (invalid witness file) 5.9 3.2 120 290 - -
memsafety/test-0102_false-valid-memtrack.i timeout 900    900    6800   8500 .84 0   error (invalid witness file) .51 .32 11   39 error (invalid witness file) 6.2 3.2 120 300 - -
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) .16 .16 2.2 24 2.0  0   error (invalid witness file) .53 .33 9.8 40 error (invalid witness file) 5.2 2.9 120 280 - -
memsafety/test-0220_false-valid-memtrack.i out of memory 830    830    7700   15000 .99 0   error (invalid witness file) .49 .31 7.7 40 error (invalid witness file) 5.7 3.1 130 300 - -
memsafety/test-0232_false-valid-memtrack.i out of memory 420    420    3400   15000 2.0  0   error (invalid witness file) .55 .35 9.4 40 error (invalid witness file) 6.2 3.3 120 300 - -
memsafety/test-0234_false-valid-memtrack.i timeout 900    900    13000   150 .84 0   error (invalid witness file) .53 .35 9.1 41 error (invalid witness file) 6.8 3.6 130 310 - -
memsafety/test-0235_false-valid-memtrack.i timeout 900    900    12000   150 .99 0   error (invalid witness file) .50 .33 5.9 39 error (invalid witness file) 6.0 3.1 130 300 - -
memsafety/960521-1_true-valid-memsafety.i true 1.7  1.7  21   67 2.0  0   - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.2 3.2 130 300
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 900    900    11000   13000 .99 0   - - error (invalid witness file) .49 .34 4.1 39 error (invalid witness file) 6.0 3.2 110 300
memsafety/test-0019_true-valid-memsafety.i true .18 .18 1.9 24 2.0  0   - - error (invalid witness file) .51 .35 4.5 41 error (invalid witness file) 5.7 3.0 120 300
memsafety/test-0102_true-valid-memsafety.i timeout 900    900    5200   8500 .84 0   - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.7 3.5 140 310
memsafety/test-0134_true-valid-memsafety.i out of memory 80    80    730   15000 .84 0   - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 5.9 3.2 130 300
memsafety/test-0158_true-valid-memsafety.i true .22 .22 2.5 24 2.0  0   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.0 3.2 110 290
memsafety/test-0214_true-valid-memsafety.i out of memory 280    280    3300   15000 .99 0   - - error (invalid witness file) .49 .32 14   40 error (invalid witness file) 6.2 3.3 120 310
memsafety/test-0217_true-valid-memsafety.i out of memory 52    51    630   15000 .84 0   - - error (invalid witness file) .50 .33 5.8 39 error (invalid witness file) 6.2 3.2 120 300
memsafety/test-0218_true-valid-memsafety.i out of memory 52    52    610   15000 .95 0   - - error (invalid witness file) .54 .35 13   42 error (invalid witness file) 7.1 3.8 140 330
memsafety/test-0219_true-valid-memsafety.i out of memory 860    860    4500   15000 .99 0   - - error (invalid witness file) .56 .36 8.1 43 error (invalid witness file) 6.6 3.4 120 310
memsafety/test-0232_true-valid-memsafety.i timeout 900    900    7900   7300 .99 0   - - error (invalid witness file) .53 .34 14   43 error (invalid witness file) 5.8 3.1 120 290
memsafety/test-0234_true-valid-memsafety.i timeout 900    900    11000   150 .84 0   - - error (invalid witness file) .50 .32 5.4 40 error (invalid witness file) 6.4 3.4 130 310
memsafety/test-0235_true-valid-memsafety.i timeout 900    900    13000   150 .99 0   - - error (invalid witness file) .54 .34 14   40 error (invalid witness file) 6.3 3.4 110 310
memsafety/test-0236_true-valid-memsafety.i timeout 900    900    12000   150 .84 0   - - error (invalid witness file) .48 .31 3.9 39 error (invalid witness file) 6.2 3.2 120 300
memsafety/test-0237_true-valid-memsafety.i timeout 900    900    13000   150 .99 0   - - error (invalid witness file) .50 .31 4.6 40 error (invalid witness file) 6.9 3.6 130 320
memsafety/test-0504_true-valid-memsafety.i timeout 900    900    5100   9200 .84 0   - - error (invalid witness file) .54 .35 4.2 40 error (invalid witness file) 5.8 3.1 120 290
memsafety/test-0513_true-valid-memsafety.i out of memory 120    110    1400   15000 .84 0   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.3 3.4 140 310
memsafety/test-0521_true-valid-memsafety.i out of memory 10    9.9  140   15000 .99 0   - - error (invalid witness file) .52 .32 12   40 error (invalid witness file) 5.7 3.0 120 290
memsafety/test-memleak_nexttime_true-valid-memsafety.i true 7.9  7.9  56   3300 2.0  0   - - error (invalid witness file) .49 .31 5.2 39 error (invalid witness file) 6.0 3.1 120 300
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i out of memory 80    80    870   15000 .99 0   - - error (invalid witness file) .50 .33 9.4 41 error (invalid witness file) 5.8 3.1 110 290
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i out of memory 53    52    550   15000 .99 0   - - error (invalid witness file) .52 .34 6.8 39 error (invalid witness file) 6.3 3.3 120 300
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i out of memory 54    53    630   15000 .99 0   - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 5.9 3.1 99 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i out of memory 95    95    970   15000 .99 0   - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.0 3.2 92 300
memsafety-ext/tree_dsw_true-valid-memsafety.i out of memory 97    97    1000   15000 .84 0   - - error (invalid witness file) .50 .32 9.9 40 error (invalid witness file) 6.4 3.3 130 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i out of memory 580    580    4400   15000 .84 0   - - error (invalid witness file) .52 .34 10   40 error (invalid witness file) 6.0 3.2 100 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i out of memory 120    120    1500   15000 .99 0   - - error (invalid witness file) .51 .33 12   42 error (invalid witness file) 6.5 3.4 150 290
memsafety-ext/tree_stack_true-valid-memsafety.i out of memory 93    93    1000   15000 .84 0   - - error (invalid witness file) .50 .34 4.4 39 error (invalid witness file) 6.4 3.4 130 300
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 900    900    6300   7300 .84 0   error (invalid witness file) .50 .32 9.8 40 error (invalid witness file) 6.4 3.4 120 310 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 900    900    5000   8900 .99 0   error (invalid witness file) .51 .34 14   40 error (invalid witness file) 6.2 3.3 130 300 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i out of memory 750    750    7000   15000 .99 0   error (invalid witness file) .52 .32 9.9 40 error (invalid witness file) 6.0 3.2 130 300 - -
memsafety-ext2/length_test03_false-valid-memtrack.i out of memory 550    550    5100   15000 2.0  0   error (invalid witness file) .48 .33 9.3 40 error (invalid witness file) 5.6 3.0 110 290 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i out of memory 140    140    1100   15000 .99 0   error (invalid witness file) .51 .33 9.8 41 error (invalid witness file) 6.0 3.2 110 300 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 900    900    4300   8900 .99 0   - - error (invalid witness file) .50 .32 6.4 40 error (invalid witness file) 6.8 3.5 140 300
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i out of memory 770    770    4900   15000 .84 0   - - error (invalid witness file) .52 .33 9.5 42 error (invalid witness file) 5.7 3.0 120 290
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900    900    6800   4400 .84 0   - - error (invalid witness file) .51 .34 13   40 error (invalid witness file) 6.4 3.4 120 310
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i out of memory 140    140    1100   15000 .99 0   - - error (invalid witness file) .61 .39 13   43 error (invalid witness file) 6.8 3.6 140 310
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 900    900    6200   7200 .99 0   - - error (invalid witness file) .50 .33 13   39 error (invalid witness file) 5.8 3.1 120 300
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 20    20    280   1900 1.7  0   error (invalid witness file) .50 .32 4.3 39 error (invalid witness file) 7.1 3.7 130 320 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 470    470    4700   2700 2.0  0   error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.6 3.5 130 310 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i out of memory 460    460    3900   15000 1.8  0   error (invalid witness file) .51 .34 3.5 40 error (invalid witness file) 6.1 3.2 120 300 - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 41    41    470   1900 2.0  0   error (invalid witness file) .50 .33 8.5 40 error (invalid witness file) 6.0 3.2 120 300 - -
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .25 .25 2.8 25 2.0  0   error (invalid witness file) .50 .32 7.3 40 error (invalid witness file) 6.0 3.1 130 300 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) .20 .20 2.3 25 2.0  0   error (invalid witness file) .50 .32 9.4 41 error (invalid witness file) 5.7 3.1 110 300 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) .16 .16 1.8 24 1.7  0   error (invalid witness file) .50 .33 9.6 40 error (invalid witness file) 5.8 3.1 110 290 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) 34    34    350   1600 2.0  0   error (invalid witness file) .52 .34 8.3 43 error (invalid witness file) 5.8 3.1 120 300 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i true 26    26    320   1200 2.0  0   - - error (invalid witness file) .53 .34 13   40 error (invalid witness file) 6.3 3.3 120 310
list-ext-properties/list-ext_1_true-valid-memsafety.i true 270    270    2400   2300 2.0  0   - - error (invalid witness file) .52 .36 9.8 40 error (invalid witness file) 6.7 3.5 130 310
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i true 110    110    1400   3500 1.7  0   - - error (invalid witness file) .51 .34 13   40 error (invalid witness file) 6.4 3.4 120 310
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 900    900    7600   4700 1.7  0   - - error (invalid witness file) .46 .30 7.2 39 error (invalid witness file) 5.9 3.1 130 290
list-ext-properties/test-0019_1_true-valid-memsafety.i true .21 .21 2.1 24 1.7  0   - - error (invalid witness file) .54 .36 12   41 error (invalid witness file) 6.0 3.2 110 300
list-ext-properties/test-0158_1_true-valid-memsafety.i true .21 .21 2.5 24 2.0  0   - - error (invalid witness file) .56 .36 13   41 error (invalid witness file) 5.8 3.1 110 290
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900    900    2000   5400 .99 0   - - error (invalid witness file) .53 .33 13   39 error (invalid witness file) 6.7 3.5 140 310
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 900    900    6800   5100 .99 0   - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.3 3.4 120 300
list-ext-properties/test-0232_1_true-valid-memsafety.i true 59    59    680   1600 1.7  0   - - error (invalid witness file) .52 .35 7.8 41 error (invalid witness file) 5.6 3.1 120 290
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 900    900    2400   8000 .99 0   - - error (invalid witness file) .50 .34 7.2 42 error (invalid witness file) 6.0 3.2 120 310
list-ext-properties/test-0513_1_true-valid-memsafety.i out of memory 99    99    1200   15000 .99 0   - - error (invalid witness file) .52 .35 9.2 40 error (invalid witness file) 6.8 3.5 130 320
memory-alloca/c.03-alloca_true-valid-memsafety.i true 18    18    210   1300 1.7  0   - - error (invalid witness file) .52 .33 11   41 error (invalid witness file) 6.8 3.6 140 310
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 440    440    6200   930 2.0  0   error (invalid witness file) .52 .35 10   39 error (invalid witness file) 5.8 3.1 120 290 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 440    440    5500   930 2.0  0   error (invalid witness file) .49 .31 6.0 40 error (invalid witness file) 6.2 3.2 120 300 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 4.7  4.7  61   82 1.7  0   error (invalid witness file) .48 .32 8.9 40 error (invalid witness file) 6.0 3.2 130 290 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 4.6  4.6  63   39 2.0  0   error (invalid witness file) .50 .32 6.0 39 error (invalid witness file) 6.1 3.2 120 300 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) .79 .79 11   23 2.0  0   error (invalid witness file) .50 .32 7.4 42 error (invalid witness file) 6.0 3.2 120 300 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 3.0  3.0  6.8 23 2.0  0   error (invalid witness file) .50 .31 5.5 39 error (invalid witness file) 6.7 3.5 140 310 - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) .44 .44 5.6 23 2.0  0   error (invalid witness file) .52 .35 7.5 40 error (invalid witness file) 5.9 3.2 130 300 - -
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1.6  1.6  23   23 2.0  0   error (invalid witness file) .55 .35 14   42 error (invalid witness file) 5.7 3.1 120 300 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) .44 .45 5.5 23 1.7  0   error (invalid witness file) .48 .32 3.5 39 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1.7  1.7  22   23 1.8  0   error (invalid witness file) .51 .33 6.5 40 error (invalid witness file) 5.9 3.2 110 300 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1.7  1.7  23   23 2.0  0   error (invalid witness file) .48 .32 6.3 39 error (invalid witness file) 6.1 3.2 130 300 - -
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1.6  1.6  24   23 2.0  0   error (invalid witness file) .51 .35 4.2 39 error (invalid witness file) 5.3 2.9 110 290 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 8.4  8.4  110   100 2.0  0   - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 5.8 3.1 120 310
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true .99 .99 12   23 2.0  0   - - error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.0 3.2 110 290
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true .63 .63 7.7 23 2.0  0   - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true .99 .99 11   23 2.0  0   - - error (invalid witness file) .50 .31 7.3 40 error (invalid witness file) 5.7 3.0 110 300
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 4.2  4.2  63   38 2.0  0   - - error (invalid witness file) .59 .37 14   46 error (invalid witness file) 5.6 3.0 110 280
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true .68 .68 8.0 23 1.7  0   - - error (invalid witness file) .48 .31 9.7 40 error (invalid witness file) 5.7 3.1 120 300
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .21 .21 2.2 25 2.0  0   - - error (invalid witness file) .53 .34 12   39 error (invalid witness file) 6.4 3.4 120 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .20 .20 2.3 25 2.0  0   - - error (invalid witness file) .57 .36 14   42 error (invalid witness file) 6.0 3.2 130 300
ldv-memsafety/StructInitialization_true-valid-memsafety.c true .16 .16 1.7 23 2.0  0   - - error (invalid witness file) .50 .33 13   40 error (invalid witness file) 6.0 3.1 110 300
ldv-memsafety/memset2_true-valid-memsafety.c true .42 .42 5.5 23 2.0  0   - - error (invalid witness file) .50 .32 9.4 40 error (invalid witness file) 5.9 3.1 110 310
ldv-memsafety/memset3_true-valid-memsafety.c true 1.6  1.6  18   23 2.0  0   - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 5.7 3.1 110 290
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true .41 .41 5.0 23 2.0  0   - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 1.6  1.6  22   23 1.7  0   - - error (invalid witness file) .50 .34 7.9 40 error (invalid witness file) 5.7 3.0 110 300
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 1.7  1.6  21   23 2.0  0   - - error (invalid witness file) .57 .36 15   42 error (invalid witness file) 6.1 3.2 130 300
ldv-memsafety/memset_true-valid-memsafety.c true 1.6  1.6  19   23 2.0  0   - - error (invalid witness file) .53 .33 11   41 error (invalid witness file) 6.0 3.2 130 300
ldv-memsafety/memleaks_test14_3_false-valid-deref.i out of memory 470    470    4400   15000 2.0  0   error (invalid witness file) .49 .32 8.5 40 error (invalid witness file) 6.9 3.6 130 310 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) .40 .40 4.6 26 1.7  0   error (invalid witness file) .51 .35 4.8 42 error (invalid witness file) 5.8 3.1 130 300 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) .42 .42 5.5 26 2.0  0   error (invalid witness file) .50 .33 10   42 error (invalid witness file) 5.5 3.0 110 290 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i out of memory 600    600    5400   15000 2.0  0   error (invalid witness file) .52 .33 12   41 error (invalid witness file) 5.9 3.1 120 290 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i out of memory 800    800    6100   15000 2.0  0   error (invalid witness file) .51 .32 7.9 40 error (invalid witness file) 6.6 3.5 140 310 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) .76 .76 8.8 28 1.7  0   error (invalid witness file) .51 .33 5.2 41 error (invalid witness file) 6.0 3.2 120 310 - -
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 240    240    2800   10000 2.0  0   error (invalid witness file) .49 .34 3.9 40 error (invalid witness file) 6.1 3.2 130 300 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 71    71    660   2100 2.0  0   error (invalid witness file) .55 .34 14   41 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) .30 .30 3.1 26 2.0  0   error (invalid witness file) .48 .31 9.6 40 error (invalid witness file) 6.3 3.4 120 300 - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) .21 .21 2.5 26 2.0  0   error (invalid witness file) .49 .32 8.4 39 error (invalid witness file) 6.1 3.2 140 290 - -
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) .21 .20 1.9 26 2.0  0   error (invalid witness file) .49 .32 8.6 40 error (invalid witness file) 6.0 3.2 130 300 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) .22 .21 2.7 26 2.0  0   error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .20 .20 2.9 26 2.0  0   error (invalid witness file) .49 .32 7.5 40 error (invalid witness file) 6.5 3.4 130 300 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i false(valid-deref) .56 .55 6.8 26 2.0  0   error (invalid witness file) .51 .34 6.4 39 error (invalid witness file) 5.7 3.0 110 290 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i false(valid-deref) .61 .61 8.1 26 1.7  0   error (invalid witness file) .51 .33 7.5 39 error (invalid witness file) 6.5 3.4 120 290 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) .80 .80 2.9 26 2.0  0   error (invalid witness file) .47 .31 7.1 39 error (invalid witness file) 6.5 3.4 130 300 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i out of memory 490    490    4900   15000 2.0  0   error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.9 3.6 130 320 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) .23 .23 2.4 26 1.7  0   error (invalid witness file) .48 .32 7.5 40 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i out of memory 580    580    6200   15000 2.0  0   error (invalid witness file) .50 .32 6.7 39 error (invalid witness file) 6.2 3.3 130 290 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-deref) .91 .91 12   32 2.0  0   error (invalid witness file) .49 .33 3.6 40 error (invalid witness file) 6.3 3.3 130 290 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) .22 .22 2.4 26 1.7  0   error (invalid witness file) .51 .32 4.9 42 error (invalid witness file) 5.7 3.0 110 300 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) .19 .19 2.3 26 2.0  0   error (invalid witness file) .51 .32 10   40 error (invalid witness file) 6.7 3.5 130 300 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 41    41    480   2100 2.0  0   error (invalid witness file) .50 .33 10   40 error (invalid witness file) 6.2 3.3 120 310 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 66    66    900   2000 2.0  0   error (invalid witness file) .48 .32 7.3 40 error (invalid witness file) 6.2 3.2 120 310 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) 37    37    380   2000 1.7  0   error (invalid witness file) .49 .31 9.2 40 error (invalid witness file) 6.3 3.4 110 300 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-memtrack) 59    59    720   2100 1.7  0   error (invalid witness file) .52 .33 13   42 error (invalid witness file) 6.1 3.2 130 300 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 1.4  1.4  17   37 2.0  0   error (invalid witness file) .49 .32 4.1 39 error (invalid witness file) 5.8 3.1 110 290 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) .20 .20 2.1 26 1.7  0   error (invalid witness file) .53 .35 7.8 40 error (invalid witness file) 6.0 3.2 130 300 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) .19 .19 2.2 26 1.7  0   error (invalid witness file) .48 .30 8.4 39 error (invalid witness file) 6.0 3.2 130 290 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) .22 .21 2.6 26 2.0  0   error (invalid witness file) .46 .30 7.2 39 error (invalid witness file) 6.1 3.2 130 290 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) .36 .36 4.1 26 1.7  0   error (invalid witness file) .47 .31 7.2 40 error (invalid witness file) 5.8 3.1 110 290 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) .26 .25 2.8 26 1.7  0   error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.0 3.2 110 300 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) 1.4  1.4  3.3 26 2.0  0   error (invalid witness file) .56 .36 4.6 40 error (invalid witness file) 6.1 3.2 130 300 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) .23 .23 2.7 26 1.9  0   error (invalid witness file) .47 .30 3.8 40 error (invalid witness file) 6.4 3.4 130 310 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) .19 .19 2.7 26 2.0  0   error (invalid witness file) .50 .34 4.6 40 error (invalid witness file) 6.3 3.3 130 290 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) .19 .19 2.1 26 1.7  0   error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.0 3.2 120 300 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) .22 .22 2.5 26 2.0  0   error (invalid witness file) .51 .32 4.5 41 error (invalid witness file) 6.3 3.3 130 300 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) .23 .23 2.3 26 2.0  0   error (invalid witness file) .48 .32 5.1 41 error (invalid witness file) 6.1 3.3 120 310 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) .21 .21 2.2 26 2.0  0   error (invalid witness file) .50 .34 9.3 40 error (invalid witness file) 6.3 3.3 120 300 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) .19 .19 2.1 26 2.0  0   error (invalid witness file) .54 .36 9.9 40 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) .20 .20 2.4 26 2.0  0   error (invalid witness file) .51 .33 11   41 error (invalid witness file) 6.2 3.3 120 320 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) .21 .21 2.3 26 2.0  0   error (invalid witness file) .50 .32 9.6 40 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i false(valid-deref) .56 .56 7.6 26 2.0  0   - - error (invalid witness file) .50 .31 8.1 39 error (invalid witness file) 6.4 3.4 130 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i false(valid-deref) .75 .75 11   28 2.0  0   - - error (invalid witness file) .47 .32 9.0 39 error (invalid witness file) 6.6 3.5 110 310
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 240    240    2600   10000 2.0  0   - - error (invalid witness file) .55 .36 12   43 error (invalid witness file) 6.3 3.3 120 300
ldv-memsafety/memleaks_test13_true-valid-memsafety.i out of memory 450    450    4400   15000 2.0  0   - - error (invalid witness file) .50 .32 7.2 40 error (invalid witness file) 6.1 3.2 110 300
ldv-memsafety/memleaks_test14_true-valid-memsafety.i out of memory 530    530    5400   15000 2.0  0   - - error (invalid witness file) .51 .33 10   42 error (invalid witness file) 6.1 3.3 120 290
ldv-memsafety/memleaks_test15_true-valid-memsafety.i false(valid-deref) 1.1  1.1  13   31 1.7  0   - - error (invalid witness file) .50 .32 13   40 error (invalid witness file) 6.3 3.3 130 300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true .22 .21 2.1 26 2.0  0   - - error (invalid witness file) .50 .31 11   40 error (invalid witness file) 5.9 3.1 120 290
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i false(valid-free) 82    82    990   2100 2.0  0   - - error (invalid witness file) .49 .31 8.9 39 error (invalid witness file) 6.1 3.3 120 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i timeout 900    900    2000   12000 .99 0   - - error (invalid witness file) .51 .35 6.3 40 error (invalid witness file) 6.1 3.3 120 290
ldv-memsafety/memleaks_test18_true-valid-memsafety.i true 170    170    1700   2200 2.0  0   - - error (invalid witness file) .51 .35 7.0 39 error (invalid witness file) 5.7 3.0 120 290
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true .26 .26 2.6 26 1.7  0   - - error (invalid witness file) .51 .32 10   39 error (invalid witness file) 6.3 3.3 110 310
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true .19 .18 2.4 26 1.7  0   - - error (invalid witness file) .50 .32 5.1 39 error (invalid witness file) 7.7 4.0 130 320
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true .20 .20 2.1 26 2.0  0   - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.1 3.2 140 300
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true .19 .19 2.4 26 1.7  0   - - error (invalid witness file) .47 .31 8.9 40 error (invalid witness file) 6.3 3.3 120 290
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true .34 .34 3.4 26 2.0  0   - - error (invalid witness file) .49 .32 4.9 40 error (invalid witness file) 6.2 3.3 130 300
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true .35 .35 4.5 26 2.0  0   - - error (invalid witness file) .57 .36 10   44 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i true .36 .36 4.8 26 1.7  0   - - error (invalid witness file) .51 .33 13   40 error (invalid witness file) 6.4 3.4 130 310
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout 900    900    6100   4300 .99 0   - - error (invalid witness file) .52 .35 9.7 41 error (invalid witness file) 5.8 3.1 120 300
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 900    900    8000   4200 .99 0   - - error (invalid witness file) .52 .32 11   40 error (invalid witness file) 5.6 3.0 110 290
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true .21 .21 2.6 26 2.0  0   - - error (invalid witness file) .50 .33 13   39 error (invalid witness file) 5.9 3.2 110 300
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true .20 .20 2.4 26 1.7  0   - - error (invalid witness file) .48 .31 3.9 39 error (invalid witness file) 5.8 3.1 130 290
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true .22 .22 2.6 26 1.7  0   - - error (invalid witness file) .51 .32 7.3 40 error (invalid witness file) 6.2 3.3 120 310
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true .19 .19 2.2 26 1.8  0   - - error (invalid witness file) .53 .34 12   41 error (invalid witness file) 7.2 3.8 120 320
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true .20 .20 2.8 26 2.0  0   - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.1 3.2 110 300
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true .20 .20 2.5 26 2.0  0   - - error (invalid witness file) .47 .31 7.1 41 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true .21 .21 2.2 26 2.0  0   - - error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.6 3.5 130 330
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true .18 .18 2.3 26 1.8  0   - - error (invalid witness file) .53 .35 9.9 41 error (invalid witness file) 6.0 3.2 120 310
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i false(valid-deref) .16 .16 2.1 23 2.0  0   - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 6.4 3.4 120 300
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i false(valid-deref) .18 .18 1.9 23 2.0  0   - - error (invalid witness file) .50 .33 6.2 39 error (invalid witness file) 5.4 3.0 110 290
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i false(valid-deref) .19 .19 2.1 23 1.7  0   - - error (invalid witness file) .51 .33 11   41 error (invalid witness file) 6.0 3.2 110 290
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i true .57 .57 7.4 23 2.0  0   - - error (invalid witness file) .49 .33 12   40 error (invalid witness file) 6.6 3.5 140 310
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i false(valid-deref) .89 .89 11   24 1.7  0   - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.1 3.2 120 300
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) .16 .16 1.9 23 1.7  0   error (invalid witness file) .49 .30 6.5 39 error (invalid witness file) 6.8 3.6 120 310 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) .73 .73 1.4 24 1.7  0   error (invalid witness file) .47 .30 5.2 40 error (invalid witness file) 5.9 3.2 110 300 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown .58 .58 9.0 23 2.0  0   error (invalid witness file) .51 .34 6.6 40 error (invalid witness file) 6.5 3.4 130 310 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 3.7  3.7  8.5 24 2.0  0   error (invalid witness file) .53 .33 12   39 error (invalid witness file) 6.7 3.6 140 320 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-deref) .19 .19 2.0 23 2.0  0   error (invalid witness file) .50 .33 9.6 39 error (invalid witness file) 6.1 3.2 120 310 - -
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i out of memory 490    490    5900   15000 .99 0   - - error (invalid witness file) .52 .34 10   42 error (invalid witness file) 6.6 3.5 120 310
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i out of memory 740    740    4200   15000 .99 0   - - error (invalid witness file) .53 .36 11   40 error (invalid witness file) 6.9 3.6 120 310
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i out of memory 320    320    3300   15000 .99 0   - - error (invalid witness file) .53 .35 10   40 error (invalid witness file) 5.8 3.1 120 300
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900    900    2200   4600 .99 0   - - error (invalid witness file) .52 .33 7.8 41 error (invalid witness file) 5.6 3.0 120 280
heap-manipulation/tree_false-unreach-call_false-valid-deref.i out of memory 110    110    1200   15000 .84 0   error (invalid witness file) .51 .34 4.0 40 error (invalid witness file) 6.4 3.4 110 310 - -
heap-manipulation/tree_false-valid-deref.i out of memory 110    100    1500   15000 .99 0   error (invalid witness file) .56 .37 3.7 42 error (invalid witness file) 6.3 3.3 120 300 - -
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i out of memory 300    300    3500   15000 .99 0   error (invalid witness file) .51 .33 7.0 41 error (invalid witness file) 6.7 3.5 130 320 - -
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i out of memory 91    91    1200   15000 .99 0   error (invalid witness file) .53 .36 4.8 40 error (invalid witness file) 6.4 3.4 120 310 - -
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i out of memory 500    500    5900   15000 .99 0   error (invalid witness file) .50 .31 9.0 40 error (invalid witness file) 6.0 3.2 120 300 - -
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i out of memory 760    760    8200   15000 1.7  0   error (invalid witness file) .49 .31 7.2 40 error (invalid witness file) 6.0 3.2 120 290 - -
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 900    900    7100   3900 .99 0   - - error (invalid witness file) .51 .34 10   40 error (invalid witness file) 6.0 3.2 110 300
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i out of memory 240    240    2600   15000 1.8  0   error (invalid witness file) .52 .34 7.5 39 error (invalid witness file) 6.6 3.4 130 290 - -
list-properties/list_search_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 39    39    480   1100 1.7  0   error (invalid witness file) .49 .33 6.7 40 error (invalid witness file) 6.2 3.3 120 300 - -
list-properties/list_true-unreach-call_false-valid-memtrack.i out of memory 450    450    5000   15000 .84 0   error (invalid witness file) .51 .34 4.1 40 error (invalid witness file) 5.9 3.1 110 290 - -
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i out of memory 170    170    1700   15000 2.0  0   error (invalid witness file) .52 .34 7.5 42 error (invalid witness file) 6.3 3.3 120 300 - -
list-properties/simple_true-unreach-call_false-valid-memtrack.i out of memory 530    530    5300   15000 1.8  0   error (invalid witness file) .51 .33 9.9 40 error (invalid witness file) 5.9 3.2 110 300 - -
list-properties/splice_true-unreach-call_false-valid-memtrack.i out of memory 530    530    6100   15000 2.0  0   error (invalid witness file) .47 .32 4.3 39 error (invalid witness file) 5.9 3.2 120 300 - -
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i out of memory 120    120    1300   15000 .84 0   - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 6.3 3.4 120 300
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i out of memory 120    120    1500   15000 .99 0   - - error (invalid witness file) .51 .34 4.3 39 error (invalid witness file) 6.5 3.4 130 300
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i out of memory 120    120    1400   15000 .84 0   - - error (invalid witness file) .48 .31 9.8 39 error (invalid witness file) 7.0 3.7 99 300
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1400   15000 .84 0   error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.3 3.3 120 300 - -
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i out of memory 490    490    1000   15000 .99 0   error (invalid witness file) .53 .35 9.0 40 error (invalid witness file) 6.7 3.5 130 310 - -
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1400   15000 .84 0   error (invalid witness file) .49 .32 8.6 41 error (invalid witness file) 6.5 3.4 120 300 - -
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1400   15000 .99 0   error (invalid witness file) .54 .35 6.7 39 error (invalid witness file) 6.6 3.5 130 300 - -
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1400   15000 .99 0   error (invalid witness file) .52 .34 7.6 40 error (invalid witness file) 6.7 3.5 130 300 - -
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1400   15000 .84 0   error (invalid witness file) .48 .31 8.7 40 error (invalid witness file) 6.0 3.2 130 290 - -
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1500   15000 .99 0   error (invalid witness file) .52 .35 7.4 40 error (invalid witness file) 6.9 3.6 120 310 - -
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1700   15000 .84 0   error (invalid witness file) .49 .32 9.6 40 error (invalid witness file) 6.7 3.5 140 300 - -
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1400   15000 .84 0   error (invalid witness file) .52 .34 6.3 40 error (invalid witness file) 6.5 3.4 120 300 - -
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i out of memory 120    120    1400   15000 .84 0   error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.6 3.5 130 300 - -
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 900    900    5900   8100 .84 0   - - error (invalid witness file) .51 .34 7.3 40 error (invalid witness file) 5.7 3.1 120 290
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i out of memory 480    480    870   15000 .84 0   - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 7.0 3.7 94 300
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 900    900    6600   12000 .99 0   - - error (invalid witness file) .51 .33 8.9 39 error (invalid witness file) 6.7 3.5 120 320
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900    900    8000   5900 .99 0   - - error (invalid witness file) .57 .35 12   43 error (invalid witness file) 6.2 3.3 130 300
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i out of memory 83    83    980   15000 .84 0   - - error (invalid witness file) .51 .35 5.2 40 error (invalid witness file) 5.9 3.2 120 290
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i out of memory 91    90    1100   15000 .84 0   - - error (invalid witness file) .49 .31 7.0 39 error (invalid witness file) 5.9 3.1 120 300
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i out of memory 190    190    2100   15000 .84 0   - - error (invalid witness file) .49 .33 8.7 40 error (invalid witness file) 6.3 3.3 130 300
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i out of memory 110    110    990   15000 .99 0   - - error (invalid witness file) .49 .33 3.9 39 error (invalid witness file) 6.2 3.3 130 300
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 900    900    7000   10000 .84 0   - - error (invalid witness file) .49 .32 4.9 42 error (invalid witness file) 6.2 3.3 110 300
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 900    900    2100   5500 .99 0   - - error (invalid witness file) .51 .33 3.9 40 error (invalid witness file) 6.0 3.2 110 300
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i out of memory 320    320    760   15000 .99 0   - - error (invalid witness file) .55 .35 11   41 error (invalid witness file) 6.2 3.3 120 310
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i out of memory 140    140    1500   15000 .99 0   - - error (invalid witness file) .53 .35 13   42 error (invalid witness file) 6.3 3.3 130 300
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 900    900    6300   11000 .84 0   - - error (invalid witness file) .50 .32 4.5 42 error (invalid witness file) 6.7 3.5 130 320
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900    900    5800   4300 .84 0   - - error (invalid witness file) .55 .35 11   43 error (invalid witness file) 5.7 3.1 110 290
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i out of memory 340    340    4400   15000 .84 0   - - error (invalid witness file) .48 .32 9.7 39 error (invalid witness file) 6.0 3.2 120 300
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i out of memory 880    880    11000   15000 .99 0   - - error (invalid witness file) .48 .32 8.4 39 error (invalid witness file) 6.5 3.5 120 300
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i out of memory 130    130    1300   15000 .99 0   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 5.9 3.2 110 300
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i out of memory 88    87    1000   15000 .99 0   - - error (invalid witness file) .49 .33 4.3 41 error (invalid witness file) 6.2 3.3 120 300
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 900    900    2500   5400 .99 0   - - error (invalid witness file) .53 .35 14   39 error (invalid witness file) 6.0 3.1 140 300
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i out of memory 93    92    1100   15000 .84 0   error (invalid witness file) .54 .36 8.8 40 error (invalid witness file) 6.3 3.3 130 300 - -
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout 900    900    8100   6400 .99 0   error (invalid witness file) .51 .33 11   41 error (invalid witness file) 6.3 3.3 130 300 - -
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i out of memory 330    330    3900   15000 .84 0   error (invalid witness file) .50 .33 4.5 40 error (invalid witness file) 6.1 3.2 130 300 - -
loop-acceleration/array3_false-valid-deref.i true .61 .61 7.3 80 2.0  0   error (invalid witness file) .50 .34 7.7 40 error (invalid witness file) 5.6 3.1 100 290 - -
ntdrivers/floppy_false-valid-deref.i.cil.c timeout 900    900    12000   250 .84 0   error (invalid witness file) .51 .33 7.5 40 error (invalid witness file) 7.6 4.0 130 320 - -
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 17    17    190   1000 1.7  0   error (invalid witness file) .47 .32 5.7 41 error (invalid witness file) 6.6 3.5 120 310 - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .89 .89 10   50 1.7  0   - - error (invalid witness file) .50 .35 6.7 40 error (invalid witness file) 7.3 3.8 130 320
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .89 .89 11   50 1.7  0   - - error (invalid witness file) .52 .34 9.0 41 error (invalid witness file) 6.2 3.3 120 310
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 1.0  1.0  12   120 1.7  0   - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.3 3.3 120 300
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .39 .39 4.7 36 1.7  0   - - error (invalid witness file) .52 .34 12   41 error (invalid witness file) 6.5 3.4 120 300
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 1.5  1.5  4.7 36 1.7  0   - - error (invalid witness file) .49 .31 11   39 error (invalid witness file) 5.5 2.9 99 290
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .54 .54 7.3 44 1.7  0   - - error (invalid witness file) .57 .38 9.8 44 error (invalid witness file) 6.4 3.4 130 310
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .54 .54 6.8 43 1.7  0   - - error (invalid witness file) .51 .33 9.7 40 error (invalid witness file) 6.3 3.3 130 300
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .22 .21 2.2 25 1.7  0   - - error (invalid witness file) .51 .33 7.2 41 error (invalid witness file) 5.7 3.1 110 300
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true .26 .26 3.6 27 1.7  0   - - error (invalid witness file) .51 .33 4.2 39 error (invalid witness file) 6.1 3.2 120 310
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true .28 .28 3.3 27 1.7  0   - - error (invalid witness file) .48 .32 3.9 41 error (invalid witness file) 6.3 3.3 120 300
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 87    87    970   15000 2.0  0   - - error (invalid witness file) .50 .33 3.8 40 error (invalid witness file) 6.3 3.3 120 310
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 92    92    1300   15000 2.0  0   - - error (invalid witness file) .49 .30 6.3 39 error (invalid witness file) 7.2 3.8 130 330
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 97    96    1100   15000 2.0  0   - - error (invalid witness file) .51 .32 10   40 error (invalid witness file) 5.7 3.1 110 290
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 100    100    1300   15000 2.0  0   - - error (invalid witness file) .47 .32 4.1 39 error (invalid witness file) 5.8 3.1 110 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c out of memory 110    110    1100   15000 1.7  0   - - error (invalid witness file) .48 .33 6.9 39 error (invalid witness file) 5.7 3.0 100 300
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 110    110    1500   15000 2.0  0   - - error (invalid witness file) .52 .33 11   41 error (invalid witness file) 5.9 3.1 100 300
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c out of memory 110    110    1400   15000 1.7  0   - - error (invalid witness file) .50 .34 8.1 40 error (invalid witness file) 6.0 3.2 120 290
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 110    110    1200   15000 2.0  0   - - error (invalid witness file) .51 .35 4.5 40 error (invalid witness file) 5.5 3.0 100 300
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 140    140    1500   8700 2.0  0   - - error (invalid witness file) .49 .32 7.7 39 error (invalid witness file) 6.1 3.2 120 300
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 200    200    2400   12000 2.0  0   - - error (invalid witness file) .51 .33 13   40 error (invalid witness file) 6.2 3.3 120 290
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 78    78    850   15000 2.0  0   - - error (invalid witness file) .49 .32 3.5 39 error (invalid witness file) 5.6 3.0 130 290
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 79    79    990   15000 2.0  0   - - error (invalid witness file) .49 .32 7.9 40 error (invalid witness file) 6.1 3.2 130 300
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c out of memory 83    83    930   15000 1.7  0   - - error (invalid witness file) .49 .33 4.6 39 error (invalid witness file) 6.0 3.2 120 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 87000 87000 790000 2100000 500   0   328 70   46   1100 5600   328 850 450 17000 42000   328 97   63   1800 7600   328 1200 620 23000 57000  
    correct results 153 12000 12000 120000 130000 290   0   0 36   23   570 2900   0 440 230 8800 22000   0 41   27   800 3300   0 500 260 9700 24000  
        correct true 81 7900 7900 86000 82000 150   0   0 0   0   0 0   0 0 0 0 0   0 41   27   800 3300   0 500 260 9700 24000  
        correct false 72 3900 3900 34000 50000 140   0   0 36   23   570 2900   0 440 230 8800 22000   0 0   0   0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 16 160 160 1300 4300 30   0   0 4.1 2.7 65 320   0 48 25 930 2400   0 4.0 2.6 79 320   0 49 26 940 2400  
        incorrect true 4 73 73 250 1900 7.6 0   0 2.1 1.3 38 160   0 23 12 460 1200   0 0   0   0 0   0 0 0 0 0  
        incorrect false 12 88 88 1100 2400 23   0   0 2.0 1.3 27 160   0 25 13 470 1200   0 4.0 2.6 79 320   0 49 26 940 2400  
score (328 tasks, max score: 517) -86
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]