Tool 2LS 0.5.0
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-11 09:48:02 CET [[ 2017-01-14 21:34:09 CET ]] [[ 2017-01-14 21:49:16 CET ]] [[ 2017-01-14 21:34:25 CET ]] [[ 2017-01-14 21:52:20 CET ]]
Run set sv-comp17.MemSafety-Heap
Options --graphml-witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/2ls.2017-01-11_0948.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/2ls.2017-01-11_0948.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 timeout 0 wit inspect 900     900     5100    9600 .0082 0     error (invalid witness file) .48 .31 11   39 error (invalid witness file) 7.4 3.9 79 300 - -
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1 wit inspect .26  .25  2.4  31 .0082 0     error 5.5  3.0  100   290 true 9.8 5.2 120 320 - -
memsafety/test-0235_false-valid-deref.i error (8) 0 wit inspect .87  .87  8.4  63 .0082 0     error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.0 3.2 82 300 - -
memsafety/960521-1_false-valid-free.i true -32 wit inspect .26  .26  2.8  27 .0082 .16  true 11    5.9  130   310 timeout 97   74   2200 930 - -
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect .19  .18  1.5  26 .0082 0     error 5.6  3.0  66   260 false(valid-free) 11   6.0 220 370 - -
memsafety/test-0232_false-valid-free.i false(valid-deref) -16 wit inspect .27  .26  2.5  28 .0082 0     error 4.2  2.3  69   260 true 8.2 4.4 160 320 - -
memsafety/20020406-1_false-valid-memtrack.i error (5) 0 wit inspect .35  .35  3.0  29 .0082 0     error (invalid witness file) .55 .34 12   39 error (invalid witness file) 7.4 3.9 93 300 - -
memsafety/20051113-1.c_false-valid-memtrack.i error (8) 0 wit inspect .19  .19  1.8  26 .0082 0     error (invalid witness file) .57 .35 9.9 39 error (invalid witness file) 7.6 4.0 76 300 - -
memsafety/lockfree-3.1_false-valid-memtrack.i error (134) 0 wit inspect 430     430     3000    490 .0082 0     error (invalid witness file) .69 .44 7.6 41 error (invalid witness file) 5.9 3.2 110 300 - -
memsafety/lockfree-3.2_false-valid-memtrack.i error (134) 0 wit inspect .34  .33  3.6  30 .0082 0     error (invalid witness file) .68 .43 9.9 45 error (invalid witness file) 7.0 3.7 91 300 - -
memsafety/lockfree-3.3_false-valid-memtrack.i error (134) 0 wit inspect 270     270     2300    380 .0082 .13  error (invalid witness file) .50 .32 8.6 42 error (invalid witness file) 8.1 4.2 74 300 - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .19  1.6  26 .0082 0     error 4.2  2.3  60   260 true 7.7 4.1 140 320 - -
memsafety/test-0102_false-valid-memtrack.i false(valid-deref) -16 wit inspect .29  .29  2.7  30 .0082 .16  error 4.1  2.3  64   250 true 7.7 4.1 110 320 - -
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .21  .23  1.7  33 .0082 7.8   error 4.2  2.3  88   270 true 8.9 4.7 89 330 - -
memsafety/test-0220_false-valid-memtrack.i error (8) 0 wit inspect .21  .21  2.0  27 .0082 0     error (invalid witness file) .51 .33 9.5 40 error (invalid witness file) 7.5 3.9 81 300 - -
memsafety/test-0232_false-valid-memtrack.i false(valid-deref) -16 wit inspect .29  .28  3.5  28 .0082 0     error 4.7  2.6  87   270 true 9.2 4.9 140 320 - -
memsafety/test-0234_false-valid-memtrack.i error (8) 0 wit inspect .34  .33  3.2  27 .0082 0     error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.1 3.2 82 300 - -
memsafety/test-0235_false-valid-memtrack.i error (8) 0 wit inspect .65  .64  7.3  51 .0082 0     error (invalid witness file) .64 .41 8.3 40 error (invalid witness file) 6.9 3.6 83 300 - -
memsafety/960521-1_true-valid-memsafety.i true 2 wit inspect .34  .34  3.5  27 .0082 0     - - out of memory 220    120    1700   7000 timeout 960   850   19000 1400
memsafety/lockfree-3.0_true-valid-memsafety.i error (134) 0 wit inspect 450     450     3200    460 .0082 0     - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 6.1 3.2 120 310
memsafety/test-0019_true-valid-memsafety.i true 2 wit inspect .19  .18  1.8  26 .0082 .17  - - true 4.8  2.6  46   250 true 19   11   300 550
memsafety/test-0102_true-valid-memsafety.i false(valid-deref) -16 wit inspect .31  .31  2.9  31 .0082 0     - - error 4.5  2.5  51   260 true 8.7 4.7 150 330
memsafety/test-0134_true-valid-memsafety.i false(valid-memtrack) -16 wit inspect .57  .57  5.7  39 .0082 0     - - error 5.5  3.0  82   290 true 8.5 4.5 170 320
memsafety/test-0158_true-valid-memsafety.i true 2 wit inspect .18  .18  1.5  27 .0082 0     - - true 3.8  2.1  60   250 true 14   7.5 150 380
memsafety/test-0214_true-valid-memsafety.i false(valid-deref) -16 wit inspect 6.6   6.6   50    150 .0082 .13  - - exception 3.5  1.9  39   220 true 8.4 4.5 140 320
memsafety/test-0217_true-valid-memsafety.i error (134) 0 wit inspect .28  .27  2.8  35 .0082 0     - - error (invalid witness file) .55 .36 10   40 error (invalid witness file) 5.8 3.1 95 300
memsafety/test-0218_true-valid-memsafety.i error (134) 0 wit inspect .25  .25  2.8  32 .0082 .24  - - error (invalid witness file) .50 .32 9.2 41 error (invalid witness file) 6.4 3.4 93 300
memsafety/test-0219_true-valid-memsafety.i error (8) 0 wit inspect .22  .22  2.4  27 .0082 .23  - - error (invalid witness file) .62 .39 8.1 39 error (invalid witness file) 6.6 3.5 90 300
memsafety/test-0232_true-valid-memsafety.i false(valid-deref) -16 wit inspect .28  .30  2.3  35 .0082 7.8   - - error 5.4  3.0  65   260 true 10   5.4 110 320
memsafety/test-0234_true-valid-memsafety.i error (8) 0 wit inspect .32  .32  3.5  27 .0082 0     - - error (invalid witness file) .59 .38 9.6 39 error (invalid witness file) 7.6 4.0 98 310
memsafety/test-0235_true-valid-memsafety.i error (8) 0 wit inspect .75  .74  8.3  56 .0082 0     - - error (invalid witness file) .55 .35 7.8 41 error (invalid witness file) 6.3 3.3 110 300
memsafety/test-0236_true-valid-memsafety.i error (8) 0 wit inspect .34  .34  3.7  28 .0082 .23  - - error (invalid witness file) .55 .35 12   41 error (invalid witness file) 6.1 3.2 120 300
memsafety/test-0237_true-valid-memsafety.i error (8) 0 wit inspect .35  .35  3.7  27 .0082 0     - - error (invalid witness file) .52 .32 11   40 error (invalid witness file) 7.6 4.0 86 300
memsafety/test-0504_true-valid-memsafety.i error (8) 0 wit inspect .41  .41  4.0  34 .0082 0     - - error (invalid witness file) .49 .32 9.6 40 error (invalid witness file) 7.6 4.0 88 310
memsafety/test-0513_true-valid-memsafety.i true 2 wit inspect 180     180     1500    1300 .0082 0     - - timeout 910    870    23000   4300 timeout 960   870   26000 1600
memsafety/test-0521_true-valid-memsafety.i true 2 wit inspect 43     43     460    1000 .0082 0     - - timeout 910    870    20000   4400 timeout 960   890   21000 2900
memsafety/test-memleak_nexttime_true-valid-memsafety.i false(valid-memtrack) -16 wit inspect .36  .36  3.9  30 .0082 0     - - error 4.3  2.3  94   270 true 7.9 4.2 170 320
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i false(valid-free) -16 wit inspect .33  .32  3.2  30 .0082 0     - - error 4.6  2.5  57   260 true 19   11   410 590
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error (134) 0 wit inspect .38  .37  3.8  32 .0082 0     - - error (invalid witness file) .55 .35 12   41 error (invalid witness file) 7.3 3.9 84 290
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error (134) 0 wit inspect .56  .55  5.8  36 .0082 0     - - error (invalid witness file) .51 .33 10   42 error (invalid witness file) 7.7 4.0 85 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i error (134) 0 wit inspect .37  .37  3.5  34 .0082 0     - - error (invalid witness file) .51 .32 9.0 40 error (invalid witness file) 6.5 3.4 110 300
memsafety-ext/tree_dsw_true-valid-memsafety.i error (134) 0 wit inspect .45  .45  5.6  39 .0082 0     - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.5 3.5 93 290
memsafety-ext/tree_of_cslls_true-valid-memsafety.i false(valid-deref) -16 wit inspect 2.2   2.2   25    110 .0082 0     - - error 4.7  2.6  72   260 true 9.1 4.9 160 330
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i error (134) 0 wit inspect .46  .46  4.9  38 .0082 0     - - error (invalid witness file) .51 .32 12   40 error (invalid witness file) 7.2 3.8 83 300
memsafety-ext/tree_stack_true-valid-memsafety.i error (134) 0 wit inspect .43  .42  4.9  33 .0082 0     - - error (invalid witness file) .52 .34 12   40 error (invalid witness file) 6.0 3.2 80 290
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-deref) 1 wit inspect 10     10     97    290 .0082 0     error 7.3  3.9  71   310 true 11   5.8 140 340 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error (134) 0 wit inspect .74  .74  8.5  54 .0082 0     error (invalid witness file) .56 .35 12   42 error (invalid witness file) 7.4 3.9 75 300 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error (134) 0 wit inspect 1.2   1.2   14    72 .0082 0     error (invalid witness file) .50 .32 13   40 error (invalid witness file) 7.4 3.9 85 310 - -
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-deref) -16 wit inspect 2.0   2.0   21    67 .0082 0     error 5.1  2.8  68   270 true 7.9 4.3 150 320 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i error (134) 0 wit inspect .35  .35  3.7  31 .0082 0     error (invalid witness file) .50 .31 13   40 error (invalid witness file) 7.6 4.0 73 300 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error (134) 0 wit inspect .62  .61  7.2  50 .0082 0     - - error (invalid witness file) .52 .32 8.9 39 error (invalid witness file) 5.9 3.1 96 300
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error (134) 0 wit inspect 1.2   1.3   14    85 .0082 12     - - error (invalid witness file) .65 .41 8.9 40 error (invalid witness file) 6.8 3.6 100 300
memsafety-ext2/length_test03_true-valid-memsafety.i false(valid-deref) -16 wit inspect 1.8   1.8   23    62 .0082 0     - - error 4.7  2.5  67   260 true 11   5.8 100 320
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error (134) 0 wit inspect .47  .47  5.9  36 .0082 1.9   - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.4 3.4 120 300
memsafety-ext2/split_list_test05_true-valid-memsafety.i false(valid-deref) -16 wit inspect 10     10     83    310 .0082 0     - - error 4.9  2.7  91   270 true 10   5.5 200 330
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect .38  .37  4.4  32 .0082 0     error 4.5  2.4  70   260 false(valid-deref) 9.5 5.1 140 350 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect 1.1   1.1   12    39 .0082 0     error 4.2  2.3  66   260 true 10   5.5 190 340 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-free) -16 wit inspect .48  .48  5.3  31 .0082 0     error 5.1  2.8  62   260 unknown 16   8.6 310 320 - -
list-ext-properties/960521-1_1_false-valid-free.i true -32 wit inspect .34  .33  3.5  28 .0082 .16  true 14    7.0  110   420 false(valid-free) 18   10   340 530 - -
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect .21  .20  1.6  26 .0082 0     error 4.5  2.5  69   260 false(valid-free) 14   7.4 140 370 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i error (134) 0 wit inspect .19  .19  1.8  26 .0082 0     error (invalid witness file) .52 .33 11   43 error (invalid witness file) 7.9 4.2 71 290 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  .17  1.5  26 .0082 .16  error 4.2  2.3  53   260 true 8.6 4.6 110 310 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-deref) -16 wit inspect .21  .21  1.6  26 .0082 .17  error 4.5  2.4  73   270 true 10   5.3 130 340 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i true 2 wit inspect .37  .37  4.9  30 .0082 0     - - true 10    5.4  120   420 timeout 960   900   20000 1300
list-ext-properties/list-ext_1_true-valid-memsafety.i error (134) 0 wit inspect .76  .80  8.3  50 .0082 12     - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 7.3 3.9 80 300
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error (134) 0 wit inspect .52  .52  5.8  32 .0082 .13  - - error (invalid witness file) .59 .37 13   44 error (invalid witness file) 6.0 3.2 120 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i error (134) 0 wit inspect .41  .41  4.3  31 .0082 0     - - error (invalid witness file) .57 .36 13   41 error (invalid witness file) 7.0 3.6 120 310
list-ext-properties/test-0019_1_true-valid-memsafety.i error (134) 0 wit inspect .21  .20  1.6  26 .0082 0     - - error (invalid witness file) .49 .32 8.6 40 error (invalid witness file) 6.9 3.7 73 290
list-ext-properties/test-0158_1_true-valid-memsafety.i true 2 wit inspect .18  .18  1.4  26 .0082 .16  - - true 3.7  2.1  81   240 true 14   7.8 150 380
list-ext-properties/test-0214_1_true-valid-memsafety.i error (134) 0 wit inspect 15     15     120    180 .0082 2.0   - - error (invalid witness file) .55 .34 11   41 error (invalid witness file) 7.6 4.0 97 320
list-ext-properties/test-0217_1_true-valid-memsafety.i error (134) 0 wit inspect .28  .28  2.6  35 .0082 0     - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 7.8 4.1 87 300
list-ext-properties/test-0232_1_true-valid-memsafety.i false(valid-deref) -16 wit inspect .21  .20  1.9  28 .0082 0     - - error 4.4  2.4  71   260 true 8.0 4.2 120 320
list-ext-properties/test-0504_1_true-valid-memsafety.i error (8) 0 wit inspect .69  .69  7.6  39 .0082 0     - - error (invalid witness file) .54 .34 12   40 error (invalid witness file) 7.1 3.8 69 290
list-ext-properties/test-0513_1_true-valid-memsafety.i true 2 wit inspect 3.7   3.7   36    150 .0082 .10  - - true 7.0  3.7  110   290 timeout 960   860   23000 1700
memory-alloca/c.03-alloca_true-valid-memsafety.i true 2 wit inspect .22  .23  1.6  28 .0082 2.2   - - timeout 900    880    21000   3900 true 15   8.4 290 510
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect .20  .20  1.9  34 .0041 0     error 3.5  2.0  70   250 false(valid-deref) 8.3 4.5 120 350 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .23  .23  1.8  34 .0041 0     error 3.2  1.9  66   250 false(valid-deref) 11   6.1 220 370 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect .18  .18  1.7  33 .0041 0     error 3.4  1.9  65   250 false(valid-deref) 7.9 4.2 130 320 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect .22  .26  2.6  47 .0041 12     error 3.3  1.9  63   250 false(valid-deref) 7.5 4.1 120 310 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1 wit inspect 43     43     430    1400 .0041 0     error 11    5.7  200   640 timeout 97   60   1900 5300 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1 wit inspect 42     42     400    1400 .0041 0     error 13    6.6  110   640 timeout 97   69   2000 4600 - -
ldv-memsafety/memset2_false-valid-deref-write.c timeout 0 wit inspect 900     900     9800    1600 .012  0     error (invalid witness file) .51 .33 10   40 error (invalid witness file) 7.4 3.9 85 300 - -
ldv-memsafety/memset3_false-valid-deref-write.c timeout 0 wit inspect 900     900     11000    1100 .012  0     error (invalid witness file) .52 .34 11   43 error (invalid witness file) 6.9 3.6 79 300 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c timeout 0 wit inspect 900     900     10000    1600 .012  0     error (invalid witness file) .57 .37 11   39 error (invalid witness file) 6.4 3.4 94 300 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c timeout 0 wit inspect 900     900     13000    1100 .012  .23  error (invalid witness file) .55 .36 9.6 40 error (invalid witness file) 5.9 3.1 120 300 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c timeout 0 wit inspect 900     900     10000    1100 .012  0     error (invalid witness file) .50 .33 11   40 error (invalid witness file) 7.4 3.9 86 290 - -
ldv-memsafety/memset_false-valid-deref-write.c timeout 0 wit inspect 900     900     12000    1100 .012  0     error (invalid witness file) .49 .32 10   40 error (invalid witness file) 5.6 3.0 79 300 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c false(valid-deref) -16 wit inspect 7.4   7.4   83    88 .0041 0     - - error 4.0  2.2  55   260 true 12   6.6 180 370
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true 2 wit inspect .28  .28  3.0  34 .0041 0     - - true 11    5.8  130   410 true 99   62   2000 1200
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2 wit inspect .86  .85  10    33 .0041 .16  - - true 9.8  5.2  110   340 true 15   8.3 270 470
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true 2 wit inspect .31  .34  2.9  46 .0041 12     - - true 12    6.0  90   390 true 91   59   2400 1300
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 2 wit inspect 4.0   4.0   43    45 .0041 0     - - true 26    15    350   1300 true 17   9.4 260 510
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 2 wit inspect .83  .83  9.3  32 .0041 0     - - true 9.2  4.8  170   340 true 14   7.6 270 450
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2 wit inspect .10  .098 .97 23 .0041 .17  - - true 3.0  1.7  51   240 error 6.5 3.4 110 310
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2 wit inspect .10  .098 .88 22 .0041 0     - - true 3.2  1.8  47   240 error 6.4 3.4 110 310
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 2 wit inspect .089 .086 .82 22 .0041 0     - - true 3.0  1.7  52   230 true 8.5 4.5 110 310
ldv-memsafety/memset2_true-valid-memsafety.c true 2 wit inspect .18  .18  1.6  24 .012  0     - - true 2.9  1.6  47   240 true 11   5.7 170 350
ldv-memsafety/memset3_true-valid-memsafety.c true 2 wit inspect .22  .21  1.5  27 .012  0     - - true 3.1  1.7  54   240 true 11   6.2 120 340
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 2 wit inspect .18  .18  1.5  24 .012  0     - - true 3.0  1.7  44   250 true 11   5.8 140 340
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 2 wit inspect .18  .18  1.5  25 .012  0     - - true 2.8  1.6  32   240 true 12   6.6 140 350
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 2 wit inspect .18  .17  1.6  25 .012  .16  - - true 3.2  1.8  68   240 true 12   6.5 120 340
ldv-memsafety/memset_true-valid-memsafety.c true 2 wit inspect .19  .19  1.5  25 .012  0     - - true 3.0  1.7  51   240 true 9.5 5.2 130 350
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (134) 0 wit inspect .24  .23  1.9  29 .0082 0     error (invalid witness file) .51 .32 11   40 error (invalid witness file) 7.5 4.0 74 300 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 1 wit inspect .63  .62  8.1  35 .0082 0     error 5.6  3.0  76   320 true 14   7.9 270 430 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 1 wit inspect .65  .65  7.2  35 .0082 0     error 6.9  3.7  45   310 true 16   9.2 260 430 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error (134) 0 wit inspect .89  .88  9.9  130 .0082 0     error (invalid witness file) .50 .32 10   40 error (invalid witness file) 7.7 4.1 76 300 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error (134) 0 wit inspect .87  .86  10    130 .0082 0     error (invalid witness file) .64 .40 7.9 39 error (invalid witness file) 5.9 3.1 110 290 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i error (134) 0 wit inspect .26  .25  2.6  30 .0082 0     error (invalid witness file) .50 .33 12   40 error (invalid witness file) 6.6 3.5 130 310 - -
ldv-memsafety/memleaks_test12_false-valid-free.i error (8) 0 wit inspect .45  .44  4.7  63 .0082 0     error (invalid witness file) .54 .35 13   39 error (invalid witness file) 7.8 4.1 78 300 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-deref) -16 wit inspect 3.9   3.9   40    92 .0082 .16  error 6.2  3.3  120   320 true 24   13   260 510 - -
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 1 wit inspect .24  .23  2.0  27 .0082 0     error 6.4  3.5  59   300 false(valid-free) 23   12   250 550 - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 1 wit inspect .19  .18  1.9  27 .0082 0     error 4.9  2.6  98   260 false(valid-free) 10   5.4 97 340 - -
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect .19  .18  1.7  27 .0082 0     error 5.8  3.1  100   300 false(valid-free) 9.0 4.8 110 320 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect .21  .21  1.6  27 .0082 0     error 5.6  3.0  120   320 false(valid-free) 18   9.8 190 480 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect .20  .20  1.5  27 .0082 0     error 5.1  2.7  110   270 false(valid-free) 9.9 5.4 160 350 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i error (134) 0 wit inspect .28  .31  1.9  38 .0082 9.9   error (invalid witness file) .52 .33 10   40 error (invalid witness file) 7.9 4.1 96 310 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i error (134) 0 wit inspect .24  .23  2.0  29 .0082 0     error (invalid witness file) .52 .34 10   39 error (invalid witness file) 8.1 4.2 79 290 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i error (134) 0 wit inspect .21  .21  1.4  27 .0082 0     error (invalid witness file) .51 .32 13   39 error (invalid witness file) 7.5 3.9 80 300 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error (134) 0 wit inspect .21  .21  1.9  27 .0082 0     error (invalid witness file) .56 .35 12   40 error (invalid witness file) 7.8 4.1 75 300 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i error (134) 0 wit inspect .19  .19  2.0  27 .0082 0     error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.6 4.0 82 300 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (134) 0 wit inspect .24  .24  1.8  29 .0082 0     error (invalid witness file) .61 .40 7.8 40 error (invalid witness file) 6.2 3.3 110 310 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error (134) 0 wit inspect .36  .39  4.2  41 .016  12     error (invalid witness file) .48 .32 8.4 39 error (invalid witness file) 6.7 3.6 90 300 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .21  .21  1.6  27 .0082 0     error 5.5  2.9  110   310 true 9.5 5.1 100 320 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .19  1.5  27 .0082 0     error 5.5  3.0  79   270 true 9.6 5.0 130 340 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-deref) -16 wit inspect 5.1   5.1   54    100 .0082 .27  error 7.6  4.0  63   310 true 25   13   530 710 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.5   4.5   52    96 .0082 0     error 6.6  3.5  110   320 true 9.2 4.9 130 340 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .23  .22  2.5  29 .0082 0     error 5.2  2.8  100   270 true 9.0 4.8 92 320 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-deref) -16 wit inspect .53  .57  4.8  47 .0082 13     error 5.5  3.0  79   280 timeout 97   84   2200 650 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .72  .72  7.6  43 .0082 .17  error 6.7  3.6  85   310 true 9.9 5.3 100 320 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .18  1.5  27 .0082 0     error 5.6  3.0  120   310 true 8.4 4.5 83 320 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .18  1.7  27 .0082 .16  error 5.5  2.9  110   320 true 7.5 4.0 160 320 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .21  .20  1.6  27 .0082 0     error 5.4  2.9  110   290 true 7.5 4.0 140 320 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i error (134) 0 wit inspect .56  .56  6.4  35 .0082 0     error (invalid witness file) .56 .36 9.6 39 error (invalid witness file) 7.0 3.6 110 310 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i error (134) 0 wit inspect .48  .48  5.3  35 .0082 0     error (invalid witness file) .57 .36 9.2 40 error (invalid witness file) 7.5 3.9 83 300 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i error (134) 0 wit inspect .56  .55  7.5  36 .0082 0     error (invalid witness file) .58 .38 11   41 error (invalid witness file) 7.7 4.1 77 300 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .19  2.0  27 .0082 0     error 5.4  2.9  96   270 true 7.8 4.1 130 330 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .18  1.8  27 .0082 0     error 5.4  2.9  77   270 true 9.6 5.0 95 320 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .18  1.7  27 .0082 0     error 5.4  2.9  110   320 true 9.1 4.8 99 320 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  .20  2.1  27 .0082 .16  error 5.9  3.1  110   320 true 10   5.5 110 330 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  .20  1.7  27 .0082 .16  error 6.1  3.3  110   310 true 9.4 5.0 100 320 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .22  .21  1.7  27 .0082 0     error 6.8  3.6  75   310 true 9.6 5.0 120 330 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  .18  1.7  27 .0082 0     error 5.6  3.0  96   290 true 9.8 5.2 83 320 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .23  .25  1.8  35 .0082 7.8   error 5.2  2.8  85   290 true 8.7 4.6 110 320 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  .24  2.0  39 .0082 12     error 5.1  2.7  110   280 true 8.0 4.2 83 320 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i error (134) 0 wit inspect .23  .22  2.7  30 .0082 0     - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 6.9 3.6 100 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i error (134) 0 wit inspect .25  .25  2.1  28 .0082 0     - - error (invalid witness file) .50 .31 8.0 40 error (invalid witness file) 6.6 3.5 110 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error (8) 0 wit inspect .43  .43  5.5  62 .0082 .033 - - error (invalid witness file) .54 .35 11   40 error (invalid witness file) 5.8 3.1 120 310
ldv-memsafety/memleaks_test13_true-valid-memsafety.i false(valid-deref) -16 wit inspect .25  .25  2.4  29 .0082 0     - - error 5.2  2.8  81   290 true 140   130   3200 570
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (134) 0 wit inspect .24  .23  2.0  28 .0082 0     - - error (invalid witness file) .54 .35 13   44 error (invalid witness file) 7.6 4.0 81 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i error (134) 0 wit inspect .27  .27  2.3  31 .0082 .10  - - error (invalid witness file) .62 .39 8.5 40 error (invalid witness file) 8.5 4.4 81 300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 2 wit inspect .19  .19  1.8  27 .0082 0     - - true 5.1  2.8  84   260 true 14   7.9 170 420
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i false(valid-free) -16 wit inspect 5.6   5.5   55    100 .0082 .10  - - error 5.4  2.9  87   290 true 20   11   240 480
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i error (8) 0 wit inspect .19  .19  1.7  27 .0082 0     - - error (invalid witness file) .57 .37 9.8 39 error (invalid witness file) 6.1 3.2 120 300
ldv-memsafety/memleaks_test18_true-valid-memsafety.i false(valid-memtrack) -16 wit inspect .56  .55  5.6  38 .0082 .13  - - error 5.7  3.1  100   310 true 7.6 4.1 140 310
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true 2 wit inspect .21  .21  1.9  27 .0082 .16  - - true 6.7  3.6  73   260 true 250   220   4300 790
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 2 wit inspect .22  .21  1.4  27 .0082 0     - - true 5.0  2.8  69   260 true 11   5.8 180 370
ldv-memsafety/memleaks_test20_true-valid-memsafety.i false(valid-memtrack) -16 wit inspect .22  .21  1.7  27 .0082 0     - - error 5.5  2.9  93   290 true 9.5 5.0 110 320
ldv-memsafety/memleaks_test21_true-valid-memsafety.i false(valid-memtrack) -16 wit inspect .19  .18  1.7  27 .0082 0     - - error 5.4  2.9  97   300 true 7.9 4.2 170 320
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i error (134) 0 wit inspect .54  .54  5.6  36 .0082 0     - - error (invalid witness file) .51 .32 10   39 error (invalid witness file) 6.9 3.7 91 300
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i error (134) 0 wit inspect .64  .63  6.8  35 .0082 0     - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 7.5 3.9 89 310
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i error (134) 0 wit inspect .66  .69  7.5  43 .0082 8.0   - - error (invalid witness file) .50 .33 12   41 error (invalid witness file) 7.8 4.1 70 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error (134) 0 wit inspect .90  .90  9.6  130 .0082 0     - - error (invalid witness file) .51 .32 13   39 error (invalid witness file) 7.3 3.9 87 310
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error (134) 0 wit inspect .90  .89  9.4  130 .0082 0     - - error (invalid witness file) .55 .36 12   41 error (invalid witness file) 6.6 3.5 100 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 2 wit inspect .19  .19  1.6  27 .0082 0     - - true 5.1  2.7  83   260 true 14   7.7 110 360
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 2 wit inspect .19  .19  1.6  27 .0082 0     - - true 5.4  2.9  60   260 true 12   6.5 140 360
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 2 wit inspect .18  .18  1.6  27 .0082 .16  - - true 5.6  3.0  79   260 true 13   7.4 280 520
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 2 wit inspect .19  .18  2.0  27 .0082 0     - - true 4.6  2.5  75   260 true 14   7.9 190 410
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 2 wit inspect .20  .20  1.6  27 .0082 0     - - true 4.9  2.7  90   260 true 180   160   2700 610
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true 2 wit inspect .20  .20  1.9  27 .0082 0     - - true 5.1  2.7  84   260 true 88   78   2500 620
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 2 wit inspect .20  .21  1.6  29 .0082 1.9   - - true 4.7  2.5  90   260 true 15   8.0 150 370
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 2 wit inspect .20  .20  1.5  27 .0082 0     - - true 4.9  2.6  82   260 true 13   6.9 200 390
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i error (8) 0 wit inspect .19  .19  1.4  23 .0082 0     - - error (invalid witness file) .52 .34 13   39 error (invalid witness file) 5.8 3.1 110 290
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i error (8) 0 wit inspect .18  .18  1.4  24 .0082 .23  - - error (invalid witness file) .49 .32 8.0 39 error (invalid witness file) 5.8 3.1 94 300
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i error (8) 0 wit inspect .25  .29  1.7  37 .0082 12     - - error (invalid witness file) .48 .31 11   39 error (invalid witness file) 6.7 3.6 100 290
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i true 2 wit inspect .20  .20  1.7  25 .0082 .37  - - true 3.2  1.8  54   240 unknown 7.5 4.0 76 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i true 2 wit inspect .22  .21  2.0  25 .0082 .16  - - true 3.3  1.9  55   250 unknown 6.3 3.3 130 310
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 1 wit inspect .18  .18  1.5  24 .0082 0     exception 2.7  1.5  45   160 unknown 6.2 3.3 100 300 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (8) 0 wit inspect .19  .18  1.4  24 .0082 0     error (invalid witness file) .63 .40 8.2 39 error (invalid witness file) 5.7 3.0 110 300 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 1 wit inspect .62  .62  7.8  34 .0082 .033 error 3.5  2.0  69   250 unknown 7.0 3.7 96 310 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 1 wit inspect .73  .73  8.2  36 .0082 2.1   error 3.3  1.9  54   250 unknown 5.8 3.1 110 300 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (8) 0 wit inspect .17  .17  1.5  24 .0082 0     error (invalid witness file) .53 .32 12   40 error (invalid witness file) 6.7 3.5 86 320 - -
../../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 -350 7900    7900    83000   31000 1.5   150    181 320 170 5000 17000   181 1200 710 19000 40000   181 3200 2900 70000 35000   181 6400 5500 140000 41000  
    correct results 78 114 350    350    3200   7700 .61  61    0 230 120 3700 13000   37 590 340 9300 24000   32 3100 2800 68000 29000   27 5800 5100 130000 23000  
        correct true 36 72 240    240    2100   3400 .29  18    0 0 0 0 0   25 0 0 0 0   32 3100 2800 68000 29000   27 5800 5100 130000 23000  
        correct false 42 42 110    110    1100   4300 .32  43    0 230 120 3700 13000   12 590 340 9300 24000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 27 -464 50    50    490   1600 .22  22    2 72 38 930 3200   8 320 230 6600 5300   0 78 42 1200 4400   16 300 220 5800 5900  
        incorrect true 2 -64 .60 .59 6.4 55 .016 .33 2 25 13 240 730   7 120 85 2500 1500   0 0 0 0 0   16 0 0 0 0  
        incorrect false 25 -400 50    50    490   1600 .20  22    0 47 25 690 2500   1 210 140 4000 3800   0 78 42 1200 4400   0 300 220 5800 5900  
score (181 tasks, max score: 272) -350
Run set sv-comp17.MemSafety-Heap