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 06:35:22 CET [[ 2017-01-15 01:30:25 CET ]] [[ 2017-01-15 01:30:43 CET ]] [[ 2017-01-15 01:30:33 CET ]] [[ 2017-01-15 01:30:54 CET ]]
Run set sv-comp17.MemSafety-Heap
Options -s kinduction [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/esbmc-kind.2017-01-13_0635.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness 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)
memsafety/960521-1_false-valid-deref.i false(valid-deref) 1 wit inspect 110     110     1300    2300 .99 0   error (invalid witness file) .53 .34 11   42 error (invalid witness file) 5.9 3.2 130 300 - -
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1 wit inspect .13  .13  1.4  25 .99 0   error (invalid witness file) .50 .31 12   39 error (invalid witness file) 7.1 3.7 120 320 - -
memsafety/test-0235_false-valid-deref.i unknown 0 wit inspect .13  .13  1.2  26 .99 0   error (invalid witness file) .52 .33 11   41 error (invalid witness file) 6.3 3.3 120 300 - -
memsafety/960521-1_false-valid-free.i false(valid-free) 1 wit inspect 100     100     1200    2300 .84 0   error (invalid witness file) .51 .32 13   39 error (invalid witness file) 6.0 3.2 110 290 - -
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect .19  .19  2.2  25 .99 0   error (invalid witness file) .51 .33 13   39 error (invalid witness file) 6.4 3.4 120 300 - -
memsafety/test-0232_false-valid-free.i false(valid-free) 1 wit inspect .33  .33  4.0  24 .84 0   error (invalid witness file) .55 .36 9.3 40 error (invalid witness file) 5.4 2.9 110 300 - -
memsafety/20020406-1_false-valid-memtrack.i unknown 0 wit inspect .21  .20  2.1  27 .99 0   error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.3 3.4 120 290 - -
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 270     270     2900    5100 .99 0   error (invalid witness file) .56 .35 12   40 error (invalid witness file) 5.9 3.2 130 300 - -
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 1.7   1.7   19    100 .99 0   error (invalid witness file) .52 .34 12   40 error (invalid witness file) 5.9 3.1 120 300 - -
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .18  .17  1.8  24 .99 0   error (invalid witness file) .51 .32 11   39 error (invalid witness file) 5.9 3.2 130 290 - -
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 26     26     380    340 .99 0   error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.5 3.4 100 300 - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .14  .14  1.6  24 .84 0   error (invalid witness file) .52 .33 12   41 error (invalid witness file) 6.3 3.3 130 310 - -
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.8   4.8   51    120 .99 0   error (invalid witness file) .52 .35 13   39 error (invalid witness file) 6.3 3.3 130 300 - -
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .10  .10  1.2  24 .99 0   error (invalid witness file) .51 .33 11   40 error (invalid witness file) 5.9 3.2 120 300 - -
memsafety/test-0220_false-valid-memtrack.i unknown 0 wit inspect .12  .12  1.4  25 .99 0   error (invalid witness file) .56 .37 12   40 error (invalid witness file) 6.2 3.3 130 300 - -
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .19  1.7  24 .99 0   error (invalid witness file) .54 .36 9.6 40 error (invalid witness file) 6.2 3.3 120 290 - -
memsafety/test-0234_false-valid-memtrack.i unknown 0 wit inspect .11  .11  1.3  25 .84 0   error (invalid witness file) .50 .32 13   40 error (invalid witness file) 6.2 3.2 110 300 - -
memsafety/test-0235_false-valid-memtrack.i unknown 0 wit inspect .13  .13  1.3  25 .84 0   error (invalid witness file) .52 .34 12   39 error (invalid witness file) 6.1 3.2 130 300 - -
memsafety/960521-1_true-valid-memsafety.i timeout 0 wit inspect 900     900     7100    13000 .90 0   - - error (invalid witness file) .52 .34 11   39 error (invalid witness file) 5.9 3.2 120 300
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 0 wit inspect 900     900     11000    1100 .84 0   - - error (invalid witness file) .50 .31 11   39 error (invalid witness file) 6.4 3.4 120 300
memsafety/test-0019_true-valid-memsafety.i true 2 wit inspect .081 .081 .84 24 .99 0   - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.4 3.4 140 310
memsafety/test-0102_true-valid-memsafety.i unknown 0 wit inspect 12     12     140    160 .84 0   - - error (invalid witness file) .49 .32 13   40 error (invalid witness file) 6.4 3.4 140 310
memsafety/test-0134_true-valid-memsafety.i unknown 0 wit inspect .83  .83  10    53 .99 0   - - error (invalid witness file) .53 .36 12   40 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0158_true-valid-memsafety.i true 2 wit inspect .099 .098 1.1  24 .92 0   - - error (invalid witness file) .56 .36 11   40 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0214_true-valid-memsafety.i unknown 0 wit inspect 7.1   7.1   85    65 .99 0   - - error (invalid witness file) .47 .31 7.1 39 error (invalid witness file) 6.0 3.2 110 310
memsafety/test-0217_true-valid-memsafety.i timeout 0 wit inspect 900     900     8600    250 .99 0   - - error (invalid witness file) .52 .32 11   39 error (invalid witness file) 5.7 3.1 120 290
memsafety/test-0218_true-valid-memsafety.i timeout 0 wit inspect 900     900     8100    220 .99 0   - - error (invalid witness file) .51 .33 10   39 error (invalid witness file) 6.2 3.3 130 310
memsafety/test-0219_true-valid-memsafety.i unknown 0 wit inspect .11  .10  1.1  25 .84 0   - - error (invalid witness file) .51 .33 13   41 error (invalid witness file) 6.2 3.3 130 300
memsafety/test-0232_true-valid-memsafety.i unknown 0 wit inspect .12  .12  1.3  24 .99 0   - - error (invalid witness file) .51 .34 10   40 error (invalid witness file) 6.0 3.2 120 300
memsafety/test-0234_true-valid-memsafety.i unknown 0 wit inspect .11  .11  1.3  25 .99 0   - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 5.8 3.1 120 290
memsafety/test-0235_true-valid-memsafety.i unknown 0 wit inspect .12  .12  1.3  25 .84 0   - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.2 3.3 120 290
memsafety/test-0236_true-valid-memsafety.i unknown 0 wit inspect .11  .11  1.3  25 .84 0   - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.3 3.3 120 300
memsafety/test-0237_true-valid-memsafety.i unknown 0 wit inspect .11  .11  1.2  25 .99 0   - - error (invalid witness file) .53 .33 12   39 error (invalid witness file) 6.5 3.5 120 320
memsafety/test-0504_true-valid-memsafety.i unknown 0 wit inspect .22  .22  2.7  29 .99 0   - - error (invalid witness file) .48 .32 12   39 error (invalid witness file) 5.5 3.0 110 290
memsafety/test-0513_true-valid-memsafety.i unknown 0 wit inspect .17  .16  1.8  26 .84 0   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0521_true-valid-memsafety.i unknown 0 wit inspect .52  .51  6.0  48 .84 0   - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.3 3.3 130 310
memsafety/test-memleak_nexttime_true-valid-memsafety.i true 2 wit inspect 1.9   1.9   26    31 .99 0   - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.4 3.4 150 300
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 0 wit inspect .20  .20  2.1  27 .99 0   - - error (invalid witness file) .46 .30 7.7 39 error (invalid witness file) 5.6 3.1 120 290
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 0 wit inspect .18  .18  2.4  24 .84 0   - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 5.9 3.2 120 290
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 0 wit inspect .24  .24  2.8  25 .99 0   - - error (invalid witness file) .48 .32 11   39 error (invalid witness file) 6.3 3.4 120 310
memsafety-ext/tree_cnstr_true-valid-memsafety.i unknown 0 wit inspect .50  .49  5.5  33 .99 0   - - error (invalid witness file) .52 .35 12   40 error (invalid witness file) 5.6 3.0 110 290
memsafety-ext/tree_dsw_true-valid-memsafety.i unknown 0 wit inspect .74  .74  10    43 .99 0   - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 6.1 3.3 110 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 0 wit inspect 4.0   4.0   47    75 .99 0   - - error (invalid witness file) .52 .34 11   42 error (invalid witness file) 6.1 3.2 130 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i unknown 0 wit inspect 2.2   2.2   26    50 .99 0   - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 6.2 3.2 120 300
memsafety-ext/tree_stack_true-valid-memsafety.i unknown 0 wit inspect .96  .96  12    40 .99 0   - - error (invalid witness file) .52 .32 10   40 error (invalid witness file) 6.3 3.3 120 300
memsafety-ext2/split_list_test05_false-valid-deref.i out of memory 0 wit inspect 230     230     1800    15000 .99 0   error (invalid witness file) .50 .31 12   39 error (invalid witness file) 6.0 3.2 110 300 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown 0 wit inspect .88  .87  11    40 .99 0   error (invalid witness file) .54 .35 12   40 error (invalid witness file) 6.0 3.2 130 300 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown 0 wit inspect .41  .41  5.5  40 .99 0   error (invalid witness file) .55 .34 11   41 error (invalid witness file) 6.5 3.4 120 300 - -
memsafety-ext2/length_test03_false-valid-memtrack.i unknown 0 wit inspect .17  .17  1.5  25 .99 0   error (invalid witness file) .50 .32 12   41 error (invalid witness file) 6.1 3.3 90 300 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-free) -16 wit inspect .33  .33  4.1  24 .99 0   error (invalid witness file) .62 .40 8.1 41 error (invalid witness file) 6.4 3.3 110 310 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown 0 wit inspect .49  .49  5.5  40 .84 0   - - error (invalid witness file) .51 .35 11   40 error (invalid witness file) 5.7 3.1 120 290
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown 0 wit inspect .61  .61  6.8  41 .99 0   - - error (invalid witness file) .58 .40 13   40 error (invalid witness file) 5.7 3.1 120 280
memsafety-ext2/length_test03_true-valid-memsafety.i unknown 0 wit inspect .17  .17  1.7  25 .99 0   - - error (invalid witness file) .51 .35 12   40 error (invalid witness file) 6.1 3.2 120 300
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i false(valid-free) -16 wit inspect .33  .33  3.9  24 .99 0   - - error (invalid witness file) .53 .36 11   40 error (invalid witness file) 6.1 3.2 120 300
memsafety-ext2/split_list_test05_true-valid-memsafety.i out of memory 0 wit inspect 230     230     1900    15000 .99 0   - - error (invalid witness file) .57 .38 8.2 43 error (invalid witness file) 6.3 3.3 120 300
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect .36  .35  3.6  24 .99 0   error (invalid witness file) .54 .34 12   39 error (invalid witness file) 6.6 3.5 120 310 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect .20  .20  2.7  26 .99 0   error (invalid witness file) .52 .35 12   41 error (invalid witness file) 6.0 3.2 110 300 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect .19  .19  2.4  24 .99 0   error (invalid witness file) .51 .32 13   41 error (invalid witness file) 5.8 3.1 110 290 - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 1 wit inspect .35  .35  5.0  24 .99 0   error (invalid witness file) .54 .34 11   41 error (invalid witness file) 5.7 3.0 110 300 - -
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect .26  .26  3.5  24 .99 0   error (invalid witness file) .53 .33 8.8 44 error (invalid witness file) 6.0 3.2 120 290 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .14  .14  1.6  24 .99 0   error (invalid witness file) .53 .33 12   40 error (invalid witness file) 6.1 3.2 120 290 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .12  .11  1.1  24 .99 0   error (invalid witness file) .59 .37 14   45 error (invalid witness file) 6.6 3.5 120 310 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .18  .18  1.9  24 .99 0   error (invalid witness file) .58 .37 9.0 42 error (invalid witness file) 7.4 3.9 84 310 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 0 wit inspect .19  .19  1.9  24 .99 0   - - error (invalid witness file) .55 .36 12   40 error (invalid witness file) 5.5 3.1 120 290
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 0 wit inspect 900     900     10000    830 .99 0   - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 5.8 3.1 120 290
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 0 wit inspect 900     900     8000    860 .84 0   - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 5.5 2.9 110 290
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 0 wit inspect 900     900     9600    930 .99 0   - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 5.9 3.1 110 290
list-ext-properties/test-0019_1_true-valid-memsafety.i true 2 wit inspect .082 .082 1.1  24 .99 0   - - error (invalid witness file) .48 .30 11   39 error (invalid witness file) 6.2 3.3 130 300
list-ext-properties/test-0158_1_true-valid-memsafety.i true 2 wit inspect .22  .23  2.9  24 .99 0   - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.9 3.1 100 290
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 0 wit inspect 900     900     5600    330 .99 0   - - error (invalid witness file) .58 .37 13   43 error (invalid witness file) 7.3 3.8 120 320
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 0 wit inspect 900     900     9700    760 .84 0   - - error (invalid witness file) .57 .40 12   40 error (invalid witness file) 6.2 3.3 110 300
list-ext-properties/test-0232_1_true-valid-memsafety.i unknown 0 wit inspect .13  .13  1.4  24 .99 0   - - error (invalid witness file) .54 .36 13   40 error (invalid witness file) 6.3 3.3 120 300
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 0 wit inspect 900     900     6900    560 .99 0   - - error (invalid witness file) .53 .36 12   41 error (invalid witness file) 6.3 3.3 120 300
list-ext-properties/test-0513_1_true-valid-memsafety.i true 2 wit inspect 230     230     2500    460 .99 0   - - error (invalid witness file) .54 .36 11   39 error (invalid witness file) 6.3 3.4 120 310
memory-alloca/c.03-alloca_true-valid-memsafety.i out of memory 0 wit inspect 230     230     2800    15000 .99 0   - - error (invalid witness file) .47 .32 12   39 error (invalid witness file) 6.4 3.3 110 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect .11  .11  1.4  23 .84 0   error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.0 3.2 130 300 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .087 .086 .85 23 .99 0   error (invalid witness file) .64 .41 9.5 44 error (invalid witness file) 6.3 3.4 120 300 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect .097 .096 .88 23 .99 0   error (invalid witness file) .54 .35 11   39 error (invalid witness file) 5.7 3.1 110 300 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect .076 .075 .79 23 .99 0   error (invalid witness file) .53 .34 11   40 error (invalid witness file) 5.7 3.1 110 290 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1 wit inspect 470     470     4300    2300 .84 0   error (invalid witness file) .55 .37 11   40 error (invalid witness file) 6.4 3.4 130 300 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1 wit inspect 420     420     3900    2300 .86 0   error (invalid witness file) .48 .31 9.8 39 error (invalid witness file) 6.3 3.3 130 310 - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 6.8   6.7   110    150 .99 0   error (invalid witness file) .54 .37 13   41 error (invalid witness file) 6.7 3.6 86 300 - -
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 65     64     790    700 .84 0   error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.6 3.0 120 290 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 6.7   6.7   82    150 .99 0   error (invalid witness file) .53 .35 12   40 error (invalid witness file) 5.7 3.0 110 290 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 65     64     720    700 .99 0   error (invalid witness file) .55 .36 13   40 error (invalid witness file) 5.8 3.1 110 280 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect 65     64     800    700 .84 0   error (invalid witness file) .52 .34 11   40 error (invalid witness file) 5.9 3.1 110 300 - -
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect 65     64     760    700 .99 0   error (invalid witness file) .53 .35 11   41 error (invalid witness file) 6.0 3.2 110 310 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 0 wit inspect 900     900     12000    11000 .99 0   - - error (invalid witness file) .58 .40 11   40 error (invalid witness file) 6.1 3.2 120 310
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c timeout 0 wit inspect 900     900     9200    2300 .99 0   - - error (invalid witness file) .53 .34 13   39 error (invalid witness file) 6.1 3.2 120 300
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2 wit inspect 500     500     4400    2200 .99 0   - - error (invalid witness file) .53 .36 12   39 error (invalid witness file) 5.9 3.1 110 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c timeout 0 wit inspect 900     900     8900    2100 .99 0   - - error (invalid witness file) .52 .32 12   41 error (invalid witness file) 7.4 3.9 120 320
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout 0 wit inspect 900     900     6400    1700 .99 0   - - error (invalid witness file) .53 .35 11   43 error (invalid witness file) 7.2 3.8 140 310
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 2 wit inspect 420     420     3900    2200 .84 0   - - error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.0 3.2 110 300
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2 wit inspect .11  .11  1.3  24 .99 0   - - error (invalid witness file) .60 .39 8.0 40 error (invalid witness file) 5.6 3.0 66 290
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2 wit inspect .12  .12  1.2  24 .99 0   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.1 3.3 120 300
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 2 wit inspect .084 .085 .93 23 .84 0   - - error (invalid witness file) .50 .33 8.2 40 error (invalid witness file) 6.0 3.2 110 300
ldv-memsafety/memset2_true-valid-memsafety.c true 2 wit inspect 7.0   6.9   90    150 .99 0   - - error (invalid witness file) .52 .34 11   41 error (invalid witness file) 6.1 3.2 110 290
ldv-memsafety/memset3_true-valid-memsafety.c true 2 wit inspect 66     66     780    710 .99 0   - - error (invalid witness file) .53 .35 12   41 error (invalid witness file) 7.1 3.8 150 310
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 2 wit inspect 7.0   6.9   92    150 .99 0   - - error (invalid witness file) .52 .35 11   40 error (invalid witness file) 6.1 3.2 130 300
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 2 wit inspect 66     66     920    700 .99 0   - - error (invalid witness file) .49 .32 7.7 39 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 2 wit inspect 66     66     820    700 .99 0   - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.0 3.2 120 300
ldv-memsafety/memset_true-valid-memsafety.c true 2 wit inspect 66     66     880    700 .84 0   - - error (invalid witness file) .51 .33 9.3 42 error (invalid witness file) 5.7 3.1 110 300
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 1 wit inspect .30  .30  3.2  26 .84 0   error (invalid witness file) .55 .35 12   43 error (invalid witness file) 6.3 3.3 140 300 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 1 wit inspect 11     11     170    160 .99 0   error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 1 wit inspect 11     11     160    150 .99 0   error (invalid witness file) .52 .34 13   40 error (invalid witness file) 6.6 3.5 130 310 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 0 wit inspect .15  .15  1.7  27 .84 0   error (invalid witness file) .53 .36 11   41 error (invalid witness file) 5.5 3.0 100 290 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 0 wit inspect .15  .15  1.7  27 .99 0   error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.6 3.5 130 300 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-deref) -16 wit inspect .85  .85  9.7  31 .99 0   error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.1 3.2 120 290 - -
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 0 wit inspect 52     52     580    170 .99 0   error (invalid witness file) .52 .34 11   41 error (invalid witness file) 6.5 3.4 130 300 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout 0 wit inspect 900     900     8500    450 .99 0   error (invalid witness file) .50 .31 12   40 error (invalid witness file) 6.4 3.4 140 300 - -
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 1 wit inspect .29  .29  3.4  26 .99 0   error (invalid witness file) .51 .33 9.9 40 error (invalid witness file) 6.3 3.4 110 300 - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 1 wit inspect .17  .17  1.8  26 .99 0   error (invalid witness file) .52 .34 12   42 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect .14  .14  1.1  26 .99 0   error (invalid witness file) .55 .37 11   40 error (invalid witness file) 6.5 3.4 120 300 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect .16  .16  2.1  26 .84 0   error (invalid witness file) .50 .33 10   39 error (invalid witness file) 6.1 3.2 140 300 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect .17  .17  1.6  26 .99 0   error (invalid witness file) .54 .36 13   42 error (invalid witness file) 6.7 3.5 120 310 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .45  .46  4.8  26 .99 0   error (invalid witness file) .53 .34 12   41 error (invalid witness file) 6.9 3.6 120 320 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i false(valid-deref) -16 wit inspect .66  .66  9.2  27 .84 0   error (invalid witness file) .48 .32 13   39 error (invalid witness file) 6.9 3.6 130 310 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  .17  2.2  26 .99 0   error (invalid witness file) .50 .33 12   41 error (invalid witness file) 6.3 3.3 120 300 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 1.5   1.5   18    38 .99 0   error (invalid witness file) .50 .32 10   40 error (invalid witness file) 7.1 3.8 91 310 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  .17  1.9  26 .84 0   error (invalid witness file) .49 .32 10   40 error (invalid witness file) 6.1 3.2 120 300 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 1.2   1.2   16    37 .99 0   error (invalid witness file) .55 .37 13   41 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-deref) -16 wit inspect 40     40     450    520 .99 0   error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.4 3.4 120 300 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .13  .13  1.7  26 .84 0   error (invalid witness file) .53 .34 11   43 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .12  .11  1.4  26 .99 0   error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.3 3.4 120 300 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 0 wit inspect 900     900     8500    460 .99 0   error (invalid witness file) .52 .33 12   40 error (invalid witness file) 5.7 3.1 110 290 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 210     210     2100    260 .99 0   error (invalid witness file) .54 .35 12   40 error (invalid witness file) 6.5 3.5 130 300 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  .20  2.4  26 .99 0   error (invalid witness file) .54 .34 12   40 error (invalid witness file) 7.2 3.8 91 300 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 440     440     4200    450 .84 0   error (invalid witness file) .52 .34 12   42 error (invalid witness file) 6.4 3.4 110 300 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 2.3   2.2   27    110 .99 0   error (invalid witness file) .48 .32 12   39 error (invalid witness file) 6.5 3.4 120 310 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .12  .12  1.2  26 .99 0   error (invalid witness file) .55 .34 11   41 error (invalid witness file) 6.1 3.3 130 310 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .11  .11  1.2  26 .99 0   error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.0 3.1 110 300 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .11  .11  1.5  26 .84 0   error (invalid witness file) .60 .39 8.0 40 error (invalid witness file) 6.3 3.3 130 300 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 9.7   9.6   150    140 .84 0   error (invalid witness file) .63 .40 7.5 39 error (invalid witness file) 7.2 3.8 81 300 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 1.1   1.0   14    110 .99 0   error (invalid witness file) .51 .33 12   39 error (invalid witness file) 6.2 3.3 110 300 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 9.1   9.0   130    140 .99 0   error (invalid witness file) .52 .35 12   39 error (invalid witness file) 6.0 3.2 110 300 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .16  .16  2.0  26 .84 0   error (invalid witness file) .50 .32 12   40 error (invalid witness file) 5.7 3.0 64 300 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .13  .13  1.4  26 .84 0   error (invalid witness file) .48 .31 10   39 error (invalid witness file) 6.0 3.2 120 290 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .13  .13  1.2  26 .99 0   error (invalid witness file) .48 .30 12   40 error (invalid witness file) 6.2 3.3 140 300 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .15  .15  2.0  26 .99 0   error (invalid witness file) .49 .32 12   41 error (invalid witness file) 5.7 3.0 110 290 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .15  .15  1.4  26 .99 0   error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.2 3.3 110 310 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .13  .13  1.4  26 .99 0   error (invalid witness file) .52 .33 12   40 error (invalid witness file) 5.8 3.1 120 290 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .13  .13  1.3  26 .99 0   error (invalid witness file) .61 .38 9.6 43 error (invalid witness file) 6.1 3.3 120 290 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .11  .11  1.1  26 .99 0   error (invalid witness file) .55 .36 12   40 error (invalid witness file) 6.3 3.3 120 310 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .11  .11  1.3  26 .99 0   error (invalid witness file) .56 .36 11   40 error (invalid witness file) 6.2 3.2 110 300 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i false(valid-deref) -16 wit inspect .55  .55  6.6  27 .99 0   - - error (invalid witness file) .52 .35 12   39 error (invalid witness file) 5.6 3.0 120 290
ldv-memsafety/memleaks_test11_true-valid-memsafety.i false(valid-deref) -16 wit inspect .63  .62  8.6  29 .84 0   - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 6.3 3.4 120 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 0 wit inspect 26     26     300    140 .99 0   - - error (invalid witness file) .52 .33 11   39 error (invalid witness file) 5.8 3.1 130 300
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 2 wit inspect 1.5   1.5   22    42 .84 0   - - error (invalid witness file) .54 .33 11   40 error (invalid witness file) 6.1 3.3 120 300
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 2 wit inspect 1.6   1.6   19    41 .99 0   - - error (invalid witness file) .58 .36 12   43 error (invalid witness file) 6.3 3.3 130 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i false(valid-deref) -16 wit inspect .53  .53  5.9  28 .99 0   - - error (invalid witness file) .54 .35 13   43 error (invalid witness file) 6.9 3.7 120 310
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 2 wit inspect .097 .096 1.1  26 .99 0   - - error (invalid witness file) .55 .37 12   40 error (invalid witness file) 6.0 3.2 120 290
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i timeout 0 wit inspect 900     900     11000    450 .99 0   - - error (invalid witness file) .49 .32 11   43 error (invalid witness file) 7.3 3.8 130 310
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i timeout 0 wit inspect 900     900     8700    580 .99 0   - - error (invalid witness file) .59 .38 9.3 41 error (invalid witness file) 6.5 3.4 96 300
ldv-memsafety/memleaks_test18_true-valid-memsafety.i true 2 wit inspect 590     590     5400    460 .84 0   - - error (invalid witness file) .48 .31 10   40 error (invalid witness file) 7.1 3.8 130 320
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true 2 wit inspect .14  .14  1.1  26 .99 0   - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 7.8 4.0 83 300
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 2 wit inspect .098 .097 1.0  26 .84 0   - - error (invalid witness file) .54 .35 13   40 error (invalid witness file) 6.8 3.6 140 320
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true 2 wit inspect .11  .11  1.3  26 .99 0   - - error (invalid witness file) .48 .32 11   39 error (invalid witness file) 5.4 2.9 110 290
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true 2 wit inspect .098 .097 1.1  26 .99 0   - - error (invalid witness file) .52 .32 11   39 error (invalid witness file) 5.9 3.2 120 300
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true 2 wit inspect 7.8   7.7   99    140 .99 0   - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.2 3.3 140 310
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true 2 wit inspect 15     15     200    170 .99 0   - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 7.1 3.7 120 310
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i true 2 wit inspect 15     15     180    170 .99 0   - - error (invalid witness file) .51 .35 12   39 error (invalid witness file) 6.0 3.2 130 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 0 wit inspect .14  .14  1.6  27 .99 0   - - error (invalid witness file) .54 .34 12   41 error (invalid witness file) 6.0 3.2 130 300
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 0 wit inspect .14  .13  1.7  27 .99 0   - - error (invalid witness file) .50 .33 11   39 error (invalid witness file) 5.9 3.1 120 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 2 wit inspect .095 .094 1.0  26 .84 0   - - error (invalid witness file) .49 .31 9.1 40 error (invalid witness file) 5.8 3.1 110 290
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 2 wit inspect .12  .12  .99 26 .99 0   - - error (invalid witness file) .55 .36 11   40 error (invalid witness file) 6.1 3.2 120 300
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 2 wit inspect .097 .096 1.0  26 .99 0   - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 5.6 3.0 120 300
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 2 wit inspect .094 .093 1.1  26 .99 0   - - error (invalid witness file) .49 .31 8.6 40 error (invalid witness file) 5.8 3.1 120 290
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 2 wit inspect .10  .10  1.3  26 .84 0   - - error (invalid witness file) .50 .31 12   40 error (invalid witness file) 6.0 3.2 110 300
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true 2 wit inspect .12  .12  1.1  26 .99 0   - - error (invalid witness file) .54 .36 12   40 error (invalid witness file) 7.2 3.8 140 330
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 2 wit inspect .12  .12  1.1  26 .99 0   - - error (invalid witness file) .60 .41 11   40 error (invalid witness file) 5.9 3.1 130 300
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 2 wit inspect .11  .11  1.1  26 .84 0   - - error (invalid witness file) .51 .33 14   41 error (invalid witness file) 6.6 3.5 120 320
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i unknown 0 wit inspect .071 .070 .91 23 .99 0   - - error (invalid witness file) .60 .40 11   44 error (invalid witness file) 6.0 3.1 120 300
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i unknown 0 wit inspect .10  .10  .87 23 .84 0   - - error (invalid witness file) .53 .33 11   41 error (invalid witness file) 6.0 3.1 96 300
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i unknown 0 wit inspect .097 .097 .79 23 .99 0   - - error (invalid witness file) .59 .39 12   40 error (invalid witness file) 5.9 3.1 110 290
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i unknown 0 wit inspect .96  .94  11    49 .99 0   - - error (invalid witness file) .51 .32 7.6 40 error (invalid witness file) 6.2 3.3 120 310
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i false(valid-deref) -16 wit inspect 1.2   1.2   15    50 .99 0   - - error (invalid witness file) .59 .41 12   42 error (invalid witness file) 6.3 3.3 120 310
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 0 wit inspect .078 .077 .81 23 .99 0   error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.0 3.1 120 300 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 0 wit inspect .082 .081 .87 23 .84 0   error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.0 3.2 130 300 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 0 wit inspect 1.7   1.7   22    66 .84 0   error (invalid witness file) .50 .32 11   40 error (invalid witness file) 5.6 3.0 100 300 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 1 wit inspect 1.1   1.1   13    50 .99 0   error (invalid witness file) .53 .34 11   41 error (invalid witness file) 6.8 3.6 95 300 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 0 wit inspect .10  .10  .75 23 .99 0   error (invalid witness file) .50 .32 9.9 39 error (invalid witness file) 6.0 3.2 97 300 - -
../../sv-benchmarks/c/ verifier status score witness inspect witness 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 181 -4 22000 21000 210000 120000 170   0   181 47   31   1000 3600   181 560 300 10000 27000   181 48   31   1000 3700   181 560 300 11000 27000  
    correct results 104 140 4500 4400 45000 30000 99   0   0 36   23   770 2700   0 420 220 7800 20000   0 19   12   400 1400   0 220 120 4300 11000  
        correct true 36 72 2100 2100 20000 9600 34   0   0 0   0   0 0   0 0 0 0 0   0 19   12   400 1400   0 220 120 4300 11000  
        correct false 68 68 2400 2400 24000 21000 65   0   0 36   23   770 2700   0 420 220 7800 20000   0 0   0   0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 9 -144 45 45 520 770 8.6 0   0 2.1 1.4 42 160   0 26 14 490 1200   0 2.7 1.8 60 200   0 31 17 610 1500  
        incorrect true 0
        incorrect false 9 -144 45 45 520 770 8.6 0   0 2.1 1.4 42 160   0 26 14 490 1200   0 2.7 1.8 60 200   0 31 17 610 1500  
score (181 tasks, max score: 272) -4
Run set sv-comp17.MemSafety-Heap