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