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