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