Tool Forester
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 11:23:04 CET [[ 2017-01-15 01:40:02 CET ]] [[ 2017-01-15 01:58:53 CET ]] [[ 2017-01-15 01:41:42 CET ]] [[ 2017-01-15 02:00:15 CET ]]
Run set sv-comp17.MemSafety-Heap
Options --trace error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1123.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 unknown 0 wit inspect .079 .080 .43 10   .0041 0      error (invalid witness file) 3.1  1.8  45   160 true 12   6.3 150 370 - -
memsafety/test-0137_false-valid-deref.i unknown 0 wit inspect .11  .13  .52 19   .0082 8.0    error (invalid witness file) .52 .34 12   41 error (invalid witness file) 5.9 3.1 83 300 - -
memsafety/test-0235_false-valid-deref.i unknown 0 wit inspect .056 .056 .53 11   .012  0      error (invalid witness file) .55 .36 9.8 39 error (invalid witness file) 7.1 3.8 87 290 - -
memsafety/960521-1_false-valid-free.i unknown 0 wit inspect .063 .063 .43 10   .0041 .0041 error (invalid witness file) 3.2  1.8  40   160 true 13   7.0 200 370 - -
memsafety/test-0158_false-valid-free.i unknown 0 wit inspect .049 .049 .44 10   .0041 0      error (invalid witness file) .53 .33 12   40 error (invalid witness file) 5.8 3.1 110 300 - -
memsafety/test-0232_false-valid-free.i unknown 0 wit inspect .061 .062 .58 11   .0041 .30   error (invalid witness file) .63 .40 9.3 40 error (invalid witness file) 6.4 3.4 110 300 - -
memsafety/20020406-1_false-valid-memtrack.i unknown 0 wit inspect .073 .073 .48 11   .0082 .061  error (invalid witness file) .67 .43 7.9 43 error (invalid witness file) 6.8 3.6 110 300 - -
memsafety/20051113-1.c_false-valid-memtrack.i unknown 0 wit inspect .048 .050 .55 11   .0041 .79   error (invalid witness file) .63 .40 8.5 40 error (invalid witness file) 6.7 3.6 82 310 - -
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 0 wit inspect .18  .19  2.0  22   .053  .30   error (invalid witness file) 3.4  1.9  49   170 timeout 98   55   880 5100 - -
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 0 wit inspect .075 .078 .80 14   .0041 .70   error (invalid witness file) 2.8  1.5  57   160 out of memory 67   40   980 7000 - -
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 0 wit inspect .094 .096 .82 14   .0041 .40   error (invalid witness file) 3.6  2.0  38   170 out of memory 69   40   1100 7000 - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .079 .079 .51 10   .0041 0      true 4.5  2.4  56   250 unknown 29   17   580 540 - -
memsafety/test-0102_false-valid-memtrack.i timeout 0 wit inspect 64     930     1500    73   .0082 0      error (invalid witness file) .59 .38 8.4 39 error (invalid witness file) 6.4 3.4 94 290 - -
memsafety/test-0158_false-valid-memtrack.i unknown 0 wit inspect .059 .062 .47 11   .0041 .55   error (invalid witness file) .52 .34 13   41 error (invalid witness file) 7.3 3.9 80 310 - -
memsafety/test-0220_false-valid-memtrack.i unknown 0 wit inspect .067 .067 .47 10   .0041 .061  error (invalid witness file) .61 .38 9.2 39 error (invalid witness file) 7.4 3.9 67 290 - -
memsafety/test-0232_false-valid-memtrack.i unknown 0 wit inspect .056 .058 .63 12   .0041 .44   error (invalid witness file) .52 .35 14   43 error (invalid witness file) 6.7 3.6 76 290 - -
memsafety/test-0234_false-valid-memtrack.i unknown 0 wit inspect .053 .053 .54 11   .0082 0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.7 3.6 83 300 - -
memsafety/test-0235_false-valid-memtrack.i unknown 0 wit inspect .053 .054 .65 11   .012  .32   error (invalid witness file) .53 .34 9.9 40 error (invalid witness file) 7.9 4.1 81 300 - -
memsafety/960521-1_true-valid-memsafety.i unknown 0 wit inspect .075 .075 .46 10   .0041 0      - - error (invalid witness file) 3.4  1.9  37   160 true 12   6.5 120 360
memsafety/lockfree-3.0_true-valid-memsafety.i unknown 0 wit inspect .091 .093 .83 14   .0041 .50   - - error (invalid witness file) 2.8  1.5  60   160 out of memory 91   55   990 7000
memsafety/test-0019_true-valid-memsafety.i true 2 wit inspect .087 .10  .83 16   .0082 5.0    - - true 4.3  2.4  63   250 true 19   11   220 550
memsafety/test-0102_true-valid-memsafety.i timeout 0 wit inspect 140     930     2600    93   .0082 .061  - - error (invalid witness file) .47 .31 10   39 error (invalid witness file) 7.3 3.9 89 310
memsafety/test-0134_true-valid-memsafety.i unknown 0 wit inspect .054 .054 .58 11   .0082 .070  - - error (invalid witness file) .60 .39 9.9 43 error (invalid witness file) 7.2 3.8 78 310
memsafety/test-0158_true-valid-memsafety.i unknown 0 wit inspect .046 .046 .46 10   .0041 0      - - error (invalid witness file) .61 .38 6.6 40 error (invalid witness file) 6.8 3.6 74 290
memsafety/test-0214_true-valid-memsafety.i unknown 0 wit inspect .055 .055 .62 11   .0082 0      - - error (invalid witness file) .56 .36 9.7 39 error (invalid witness file) 6.8 3.6 100 300
memsafety/test-0217_true-valid-memsafety.i unknown 0 wit inspect .055 .085 .75 19   .0082 7.9    - - error (invalid witness file) .54 .35 12   41 error (invalid witness file) 7.0 3.7 96 300
memsafety/test-0218_true-valid-memsafety.i unknown 0 wit inspect .055 .056 .54 11   .0082 .29   - - error (invalid witness file) .64 .40 8.3 42 error (invalid witness file) 7.6 4.0 77 300
memsafety/test-0219_true-valid-memsafety.i unknown 0 wit inspect .049 .049 .59 10   .0041 0      - - error (invalid witness file) .63 .40 8.2 39 error (invalid witness file) 6.7 3.5 100 310
memsafety/test-0232_true-valid-memsafety.i unknown 0 wit inspect .062 .063 .61 11   .0041 .30   - - error (invalid witness file) .72 .45 8.3 42 error (invalid witness file) 5.8 3.1 120 300
memsafety/test-0234_true-valid-memsafety.i unknown 0 wit inspect .071 .074 .53 11   .0082 .77   - - error (invalid witness file) .59 .38 8.9 40 error (invalid witness file) 7.5 4.0 80 300
memsafety/test-0235_true-valid-memsafety.i unknown 0 wit inspect .054 .057 .52 11   .012  .61   - - error (invalid witness file) .66 .42 8.1 40 error (invalid witness file) 6.3 3.3 110 300
memsafety/test-0236_true-valid-memsafety.i unknown 0 wit inspect .055 .057 .56 11   .0082 .32   - - error (invalid witness file) .61 .39 7.3 42 error (invalid witness file) 7.7 4.1 78 300
memsafety/test-0237_true-valid-memsafety.i unknown 0 wit inspect .052 .055 .61 11   .0082 .74   - - error (invalid witness file) .55 .36 9.8 41 error (invalid witness file) 6.2 3.3 77 280
memsafety/test-0504_true-valid-memsafety.i true 2 wit inspect 2.1   2.1   26    72   .012  .10   - - timeout 940    820    24000   7000 timeout 960   890   19000 2000
memsafety/test-0513_true-valid-memsafety.i unknown 0 wit inspect .048 .049 .55 10   .0041 .061  - - error (invalid witness file) .50 .33 12   39 error (invalid witness file) 6.8 3.5 100 300
memsafety/test-0521_true-valid-memsafety.i unknown 0 wit inspect .065 .068 .67 12   .0082 .68   - - error (invalid witness file) .63 .41 8.5 40 error (invalid witness file) 7.5 4.0 73 290
memsafety/test-memleak_nexttime_true-valid-memsafety.i unknown 0 wit inspect .050 .050 .57 10   .0041 .11   - - error (invalid witness file) 3.5  1.9  42   170 true 17   9.4 250 540
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i true 2 wit inspect .24  .26  2.3  16   .012  4.9    - - timeout 910    860    21000   4600 timeout 960   880   16000 1600
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i true 2 wit inspect .56  .56  6.3  31   .012  0      - - timeout 910    840    19000   5100 timeout 960   910   23000 1300
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i true 2 wit inspect 21     21     260    360   .016  0      - - timeout 910    850    19000   4800 timeout 960   940   22000 870
memsafety-ext/tree_cnstr_true-valid-memsafety.i true 2 wit inspect .19  .21  2.5  24   .012  4.9    - - out of memory 860    730    20000   7000 timeout 960   920   17000 880
memsafety-ext/tree_dsw_true-valid-memsafety.i true 2 wit inspect .86  .88  10    78   .012  5.0    - - timeout 910    820    29000   5500 timeout 960   920   28000 970
memsafety-ext/tree_of_cslls_true-valid-memsafety.i true 2 wit inspect .40  .42  5.0  28   .012  5.5    - - out of memory 360    270    6500   7000 timeout 960   920   26000 1400
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i true 2 wit inspect .53  .55  7.3  42   .012  4.8    - - out of memory 780    630    14000   7000 timeout 960   910   17000 1000
memsafety-ext/tree_stack_true-valid-memsafety.i true 2 wit inspect .15  .19  1.7  27   .012  12      - - out of memory 680    540    14000   7000 timeout 960   920   16000 980
memsafety-ext2/split_list_test05_false-valid-deref.i unknown 0 wit inspect .078 .078 .55 11   .0082 0      error (invalid witness file) .60 .37 9.7 39 error (invalid witness file) 6.2 3.3 91 290 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown 0 wit inspect .057 .059 .84 11   .0082 0      error (invalid witness file) 3.2  1.8  45   180 true 14   7.6 160 370 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown 0 wit inspect .083 .086 .61 11   .0082 0      error (invalid witness file) 3.0  1.7  46   160 true 15   8.3 120 370 - -
memsafety-ext2/length_test03_false-valid-memtrack.i unknown 0 wit inspect .23  .23  2.4  16   .049  .41   error (invalid witness file) 3.1  1.8  40   160 true 15   7.8 150 390 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown 0 wit inspect .086 .086 .57 11   .0041 0      error (invalid witness file) 3.1  1.7  44   160 true 16   8.4 150 370 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown 0 wit inspect .057 .057 .72 11   .0082 0      - - error (invalid witness file) 3.2  1.8  45   190 true 15   8.4 160 370
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown 0 wit inspect .057 .058 .71 11   .0082 .10   - - error (invalid witness file) 3.9  2.1  43   190 true 13   7.0 190 370
memsafety-ext2/length_test03_true-valid-memsafety.i unknown 0 wit inspect .12  .12  1.1  13   .0041 .31   - - error (invalid witness file) 2.9  1.6  57   180 true 17   8.9 150 400
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 0 wit inspect .058 .060 .59 11   .0041 .19   - - error (invalid witness file) 2.7  1.5  53   160 true 13   6.8 180 370
memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 0 wit inspect .077 .077 .57 11   .0082 0      - - error (invalid witness file) .61 .40 7.5 39 error (invalid witness file) 5.7 3.1 97 300
list-ext-properties/960521-1_1_false-valid-deref.i unknown 0 wit inspect .051 .052 .65 11   .0041 .30   error (invalid witness file) 2.8  1.5  52   160 true 14   7.7 150 370 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown 0 wit inspect .078 .079 .91 12   .016  0      error (invalid witness file) 3.7  2.0  39   170 true 14   7.2 140 400 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect .089 .12  .81 19   .0041 7.9    error (invalid witness file) 3.2  1.8  40   170 false(valid-free) 9.9 5.3 160 330 - -
list-ext-properties/960521-1_1_false-valid-free.i unknown 0 wit inspect .055 .055 .37 10   .0041 .0041 error (invalid witness file) 2.7  1.5  55   160 true 13   6.9 170 380 - -
list-ext-properties/test-0158_1_false-valid-free.i unknown 0 wit inspect .093 .12  .51 18   .0041 7.7    error (invalid witness file) .51 .34 11   40 error (invalid witness file) 6.7 3.5 60 300 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .053 .053 .56 11   .0041 0      true 4.2  2.3  79   260 timeout 97   70   1200 740 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i unknown 0 wit inspect .047 .047 .49 10   .0041 0      error (invalid witness file) .49 .33 10   40 error (invalid witness file) 7.4 3.9 71 300 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i unknown 0 wit inspect .050 .051 .57 10   .0041 .10   error (invalid witness file) .65 .41 7.6 41 error (invalid witness file) 6.6 3.5 100 300 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 0 wit inspect .050 .050 .68 10   .0041 .016  - - error (invalid witness file) 2.6  1.4  58   160 true 15   8.2 160 370
list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 0 wit inspect .075 .078 .81 12   .016  .70   - - error (invalid witness file) 3.6  2.0  37   170 true 13   7.1 120 370
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 0 wit inspect .056 .058 .70 11   .0041 .64   - - error (invalid witness file) .64 .41 9.6 43 error (invalid witness file) 7.4 3.9 87 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 0 wit inspect .093 .093 .79 11   .012  0      - - error (invalid witness file) 3.5  1.9  39   170 true 10   5.3 200 380
list-ext-properties/test-0019_1_true-valid-memsafety.i true 2 wit inspect .082 .095 .80 16   .0082 4.8    - - true 5.0  2.8  57   250 true 52   33   520 820
list-ext-properties/test-0158_1_true-valid-memsafety.i unknown 0 wit inspect .071 .098 .55 18   .0041 7.7    - - error (invalid witness file) .63 .40 8.6 39 error (invalid witness file) 8.0 4.2 92 310
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 0 wit inspect .051 .053 .56 11   .0082 .20   - - error (invalid witness file) .55 .36 11   41 error (invalid witness file) 7.3 3.8 60 300
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 0 wit inspect .080 .080 .54 11   .0082 .061  - - error (invalid witness file) .65 .42 7.7 40 error (invalid witness file) 6.0 3.2 130 300
list-ext-properties/test-0232_1_true-valid-memsafety.i unknown 0 wit inspect .049 .049 .52 10   .0041 0      - - error (invalid witness file) .62 .40 8.5 40 error (invalid witness file) 6.9 3.7 87 300
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 0 wit inspect .079 .081 .49 11   .0041 .061  - - error (invalid witness file) .57 .36 10   40 error (invalid witness file) 7.9 4.2 65 300
list-ext-properties/test-0513_1_true-valid-memsafety.i true 2 wit inspect 39     39     430    960   .012  4.8    - - true 6.4  3.4  100   280 timeout 960   870   21000 1900
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 0 wit inspect .054 .055 .55 10   .0041 0      - - error (invalid witness file) .56 .37 11   40 error (invalid witness file) 7.4 3.9 78 290
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 0 wit inspect .064 .095 .74 19   .0041 8.3    error (invalid witness file) .55 .36 10   40 error (invalid witness file) 6.4 3.4 94 300 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 0 wit inspect .071 .072 .42 10   .0041 .12   error (invalid witness file) .58 .37 11   39 error (invalid witness file) 6.5 3.4 93 300 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 0 wit inspect .048 .049 .50 10   .0041 .10   error (invalid witness file) .66 .43 7.7 40 error (invalid witness file) 5.9 3.1 97 300 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 0 wit inspect .066 .066 .42 10   .0041 0      error (invalid witness file) .53 .35 13   42 error (invalid witness file) 8.1 4.2 76 310 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 0 wit inspect .065 .067 .42 10   .0041 0      error (invalid witness file) .57 .37 9.4 40 error (invalid witness file) 6.2 3.3 95 300 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 0 wit inspect .077 .077 .41 10   .0041 0      error (invalid witness file) .68 .43 8.8 44 error (invalid witness file) 5.6 3.0 110 300 - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .049 .050 .56 10   .0041 0      error (invalid witness file) 2.4  1.4  37   150 true 8.8 4.7 100 320 - -
ldv-memsafety/memset3_false-valid-deref-write.c unknown 0 wit inspect .074 .074 .45 9.9 .0041 .061  error (invalid witness file) .53 .35 8.9 39 error (invalid witness file) 7.6 4.0 74 300 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .047 .047 .46 9.8 .0041 0      error (invalid witness file) 2.6  1.5  30   140 true 8.1 4.3 130 330 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 0 wit inspect .044 .045 .53 9.9 .0041 0      error (invalid witness file) .49 .32 13   41 error (invalid witness file) 7.0 3.7 77 300 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect .068 .068 .41 9.9 .0041 0      error (invalid witness file) 2.3  1.3  50   150 true 7.7 4.1 150 330 - -
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect .074 .074 .42 10   .0041 0      error (invalid witness file) 2.6  1.5  28   140 true 7.9 4.2 150 330 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 0 wit inspect .050 .050 .55 10   .0041 .057  - - error (invalid witness file) .65 .43 8.0 40 error (invalid witness file) 6.0 3.2 110 310
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c unknown 0 wit inspect .076 .077 .48 10   .0041 .10   - - error (invalid witness file) .52 .33 11   39 error (invalid witness file) 7.5 4.0 71 290
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 0 wit inspect .075 .076 .56 10   .0041 .17   - - error (invalid witness file) .56 .36 8.9 39 error (invalid witness file) 5.8 3.1 110 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c unknown 0 wit inspect .077 .078 .43 10   .0041 .17   - - error (invalid witness file) .60 .37 8.5 39 error (invalid witness file) 7.3 3.9 74 300
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 0 wit inspect .053 .055 .46 10   .0041 .10   - - error (invalid witness file) .52 .32 13   40 error (invalid witness file) 7.6 4.0 71 310
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c unknown 0 wit inspect .075 .075 .39 9.9 .0041 0      - - error (invalid witness file) .57 .36 8.9 40 error (invalid witness file) 7.5 4.0 64 300
ldv-memsafety/StructInitialization1_true-valid-memsafety.c unknown 0 wit inspect .049 .049 .53 9.8 .0041 0      - - error (invalid witness file) .51 .32 13   39 error (invalid witness file) 7.0 3.7 79 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c unknown 0 wit inspect .073 .073 .44 9.9 .0041 0      - - error (invalid witness file) .66 .41 9.8 42 error (invalid witness file) 6.0 3.1 91 300
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 2 wit inspect .077 .077 .51 12   .0082 0      - - true 3.0  1.7  54   240 true 8.1 4.3 89 310
ldv-memsafety/memset2_true-valid-memsafety.c true 2 wit inspect .075 .12  .90 23   .0082 12      - - true 3.3  1.9  46   240 true 11   6.2 120 340
ldv-memsafety/memset3_true-valid-memsafety.c unknown 0 wit inspect .072 .073 .50 10   .0041 .10   - - error (invalid witness file) .54 .34 9.8 39 error (invalid witness file) 6.0 3.2 120 290
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c unknown 0 wit inspect .085 .087 .36 10   .0041 .55   - - error (invalid witness file) .51 .33 8.8 39 error (invalid witness file) 6.5 3.4 97 300
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c unknown 0 wit inspect .046 .046 .49 9.9 .0041 0      - - error (invalid witness file) .69 .43 7.7 42 error (invalid witness file) 6.3 3.3 96 300
ldv-memsafety/memsetNonZero_true-valid-memsafety.c unknown 0 wit inspect .078 .078 .48 9.9 .0041 0      - - error (invalid witness file) .50 .31 10   39 error (invalid witness file) 5.7 3.0 97 300
ldv-memsafety/memset_true-valid-memsafety.c true 2 wit inspect .12  .16  .73 23   .0082 12      - - true 3.4  2.0  37   240 true 12   6.7 120 360
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 0 wit inspect .059 .059 .79 11   .020  0      error (invalid witness file) .49 .33 9.9 39 error (invalid witness file) 7.4 3.8 87 310 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 0 wit inspect .057 .057 .65 11   .016  0      error (invalid witness file) .54 .33 11   40 error (invalid witness file) 7.7 4.0 81 300 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 0 wit inspect .057 .057 .59 11   .016  0      error (invalid witness file) .60 .37 10   42 error (invalid witness file) 7.2 3.8 74 290 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 0 wit inspect .063 .063 .75 12   .025  .061  error (invalid witness file) .52 .34 10   40 error (invalid witness file) 7.1 3.7 74 290 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 0 wit inspect .068 .070 .62 12   .025  .65   error (invalid witness file) .60 .37 13   45 error (invalid witness file) 6.8 3.6 94 300 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown 0 wit inspect .063 .063 .66 11   .020  0      error (invalid witness file) .70 .44 8.0 41 error (invalid witness file) 7.4 3.9 61 300 - -
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 0 wit inspect .092 .092 .60 12   .025  .11   error (invalid witness file) .49 .31 12   39 error (invalid witness file) 8.3 4.3 77 310 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 0 wit inspect .060 .060 .68 11   .020  .020  error (invalid witness file) .56 .35 8.7 39 error (invalid witness file) 5.8 3.1 87 300 - -
ldv-memsafety/memleaks_test19_false-valid-free.i unknown 0 wit inspect .079 .079 .51 11   .020  .27   error (invalid witness file) .52 .34 11   40 error (invalid witness file) 7.5 3.9 94 300 - -
ldv-memsafety/memleaks_test2_false-valid-free.i unknown 0 wit inspect .069 .070 .65 11   .016  .10   error (invalid witness file) .51 .32 11   39 error (invalid witness file) 7.4 3.9 80 280 - -
ldv-memsafety/memleaks_test3_false-valid-free.i unknown 0 wit inspect .059 .060 .60 11   .016  .10   error (invalid witness file) .62 .39 8.8 42 error (invalid witness file) 7.2 3.8 83 300 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 0 wit inspect .094 .096 .55 12   .020  .45   error (invalid witness file) .62 .39 9.1 39 error (invalid witness file) 6.3 3.4 100 300 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 0 wit inspect .10  .13  .68 19   .016  7.9    error (invalid witness file) .57 .37 10   39 error (invalid witness file) 7.0 3.7 96 300 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i unknown 0 wit inspect .061 .063 .64 12   .020  .45   error (invalid witness file) .51 .33 10   39 error (invalid witness file) 7.2 3.8 70 290 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i unknown 0 wit inspect .063 .065 .66 11   .020  0      error (invalid witness file) .55 .35 9.6 41 error (invalid witness file) 6.6 3.5 89 300 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i unknown 0 wit inspect .084 .084 .53 11   .016  0      error (invalid witness file) .51 .33 11   43 error (invalid witness file) 8.4 4.4 70 300 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 0 wit inspect .060 .063 .76 12   .020  .64   error (invalid witness file) .67 .43 8.5 40 error (invalid witness file) 5.9 3.1 110 300 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i unknown 0 wit inspect .060 .061 .67 11   .016  .22   error (invalid witness file) .51 .34 12   39 error (invalid witness file) 6.6 3.5 82 300 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 0 wit inspect .084 .084 .53 11   .020  .0041 error (invalid witness file) .53 .34 14   40 error (invalid witness file) 6.6 3.5 76 290 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 0 wit inspect .091 .091 .65 12   .025  0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 7.2 3.8 91 300 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i unknown 0 wit inspect .061 .061 .61 11   .016  0      error (invalid witness file) .62 .39 11   40 error (invalid witness file) 6.1 3.2 130 300 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i unknown 0 wit inspect .061 .061 .63 11   .016  0      error (invalid witness file) .68 .41 7.7 40 error (invalid witness file) 8.3 4.4 70 300 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 0 wit inspect .086 .086 .58 11   .020  0      error (invalid witness file) .48 .31 9.8 40 error (invalid witness file) 7.1 3.7 82 300 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 0 wit inspect .072 .073 .65 11   .020  .20   error (invalid witness file) .57 .36 11   43 error (invalid witness file) 6.4 3.4 86 310 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i unknown 0 wit inspect .059 .059 .68 11   .016  0      error (invalid witness file) .54 .34 13   40 error (invalid witness file) 6.9 3.6 78 290 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i unknown 0 wit inspect .085 .085 .53 11   .016  0      error (invalid witness file) .64 .41 7.4 40 error (invalid witness file) 7.2 3.8 87 310 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i unknown 0 wit inspect .074 .11  .81 19   .016  7.9    error (invalid witness file) .51 .33 10   40 error (invalid witness file) 7.4 3.9 83 300 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i unknown 0 wit inspect .094 .097 .46 11   .016  .24   error (invalid witness file) .51 .33 9.5 40 error (invalid witness file) 6.8 3.6 110 300 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i unknown 0 wit inspect .060 .063 .68 12   .020  .71   error (invalid witness file) .59 .36 8.6 40 error (invalid witness file) 7.7 4.1 87 310 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i unknown 0 wit inspect .063 .063 .63 11   .016  0      error (invalid witness file) .60 .37 10   44 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i unknown 0 wit inspect .060 .062 .66 12   .016  .19   error (invalid witness file) .64 .40 9.0 40 error (invalid witness file) 6.1 3.3 97 290 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i unknown 0 wit inspect .060 .060 .71 11   .016  .10   error (invalid witness file) .65 .40 7.6 40 error (invalid witness file) 6.9 3.6 100 300 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i unknown 0 wit inspect .063 .063 .66 11   .016  0      error (invalid witness file) .63 .39 8.7 39 error (invalid witness file) 6.2 3.3 76 320 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i unknown 0 wit inspect .058 .058 .64 11   .016  0      error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.8 3.6 84 290 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i unknown 0 wit inspect .076 .076 .59 11   .016  0      error (invalid witness file) .49 .32 11   39 error (invalid witness file) 5.6 3.0 120 290 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i unknown 0 wit inspect .058 .062 .66 12   .016  .65   error (invalid witness file) .57 .36 14   44 error (invalid witness file) 6.6 3.5 120 300 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i unknown 0 wit inspect .077 .077 .62 11   .020  0      error (invalid witness file) .65 .41 7.8 40 error (invalid witness file) 7.3 3.8 95 300 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i unknown 0 wit inspect .087 .087 .55 11   .020  0      error (invalid witness file) .61 .40 10   40 error (invalid witness file) 7.1 3.7 73 300 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i unknown 0 wit inspect .061 .065 .67 12   .020  .79   error (invalid witness file) .52 .34 8.7 39 error (invalid witness file) 7.1 3.8 76 300 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i unknown 0 wit inspect .053 .054 .61 11   .016  0      error (invalid witness file) .54 .34 10   42 error (invalid witness file) 6.3 3.3 140 300 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i unknown 0 wit inspect .087 .087 .64 11   .016  .020  error (invalid witness file) .50 .32 12   39 error (invalid witness file) 7.8 4.1 75 310 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i unknown 0 wit inspect .060 .060 .68 11   .016  0      error (invalid witness file) .62 .41 7.6 40 error (invalid witness file) 7.4 3.9 93 300 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i unknown 0 wit inspect .075 .076 .65 11   .020  0      - - error (invalid witness file) .60 .39 6.9 41 error (invalid witness file) 7.3 3.8 99 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i unknown 0 wit inspect .091 .091 .57 11   .020  0      - - error (invalid witness file) .62 .40 7.9 39 error (invalid witness file) 6.9 3.6 88 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 0 wit inspect .091 .091 .67 12   .025  .11   - - error (invalid witness file) .51 .32 11   40 error (invalid witness file) 6.9 3.7 100 310
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 0 wit inspect .057 .057 .64 11   .020  0      - - error (invalid witness file) .61 .39 8.8 41 error (invalid witness file) 7.1 3.8 85 300
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 0 wit inspect .087 .087 .62 11   .020  .0041 - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 7.3 3.9 84 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i unknown 0 wit inspect .079 .080 .74 12   .025  0      - - error (invalid witness file) .71 .46 9.0 44 error (invalid witness file) 6.2 3.3 78 300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i unknown 0 wit inspect .081 .081 .71 11   .016  0      - - error (invalid witness file) .56 .35 11   42 error (invalid witness file) 7.8 4.1 81 300
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i unknown 0 wit inspect .059 .060 .70 11   .020  0      - - error (invalid witness file) .57 .37 10   40 error (invalid witness file) 5.8 3.1 110 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i unknown 0 wit inspect .064 .093 .83 19   .020  8.0    - - error (invalid witness file) .56 .37 10   40 error (invalid witness file) 7.8 4.1 75 300
ldv-memsafety/memleaks_test18_true-valid-memsafety.i unknown 0 wit inspect .065 .069 .73 12   .016  .64   - - error (invalid witness file) .54 .35 11   40 error (invalid witness file) 6.2 3.3 130 320
ldv-memsafety/memleaks_test19_true-valid-memsafety.i unknown 0 wit inspect .067 .067 .67 11   .020  0      - - error (invalid witness file) .50 .33 13   40 error (invalid witness file) 8.3 4.3 90 300
ldv-memsafety/memleaks_test1_true-valid-memsafety.i unknown 0 wit inspect .057 .057 .76 11   .016  0      - - error (invalid witness file) .54 .34 9.4 39 error (invalid witness file) 7.3 3.9 90 300
ldv-memsafety/memleaks_test20_true-valid-memsafety.i unknown 0 wit inspect .066 .067 .61 11   .020  .22   - - error (invalid witness file) .61 .39 8.8 40 error (invalid witness file) 7.4 3.9 73 310
ldv-memsafety/memleaks_test21_true-valid-memsafety.i unknown 0 wit inspect .060 .062 .73 12   .016  .74   - - error (invalid witness file) .52 .34 7.1 39 error (invalid witness file) 7.0 3.7 72 290
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i unknown 0 wit inspect .098 .10  .60 12   .016  .57   - - error (invalid witness file) .59 .38 6.8 39 error (invalid witness file) 6.0 3.2 110 310
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i unknown 0 wit inspect .067 .067 .70 11   .016  0      - - error (invalid witness file) .50 .33 13   41 error (invalid witness file) 6.6 3.4 120 320
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i unknown 0 wit inspect .058 .058 .65 11   .016  0      - - error (invalid witness file) .65 .40 8.6 39 error (invalid witness file) 8.0 4.2 91 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 0 wit inspect .063 .066 .71 12   .025  .20   - - error (invalid witness file) .63 .40 7.6 39 error (invalid witness file) 7.5 3.9 78 300
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 0 wit inspect .061 .061 .79 12   .025  .061  - - error (invalid witness file) .61 .39 7.6 40 error (invalid witness file) 7.0 3.7 81 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i unknown 0 wit inspect .060 .060 .62 11   .016  0      - - error (invalid witness file) .53 .34 10   40 error (invalid witness file) 6.0 3.2 110 300
ldv-memsafety/memleaks_test3_true-valid-memsafety.i unknown 0 wit inspect .080 .081 .60 11   .016  .27   - - error (invalid witness file) .59 .38 8.9 40 error (invalid witness file) 6.1 3.2 120 310
ldv-memsafety/memleaks_test4_true-valid-memsafety.i unknown 0 wit inspect .074 .074 .61 11   .016  0      - - error (invalid witness file) .61 .39 8.1 40 error (invalid witness file) 6.9 3.6 88 300
ldv-memsafety/memleaks_test5_true-valid-memsafety.i unknown 0 wit inspect .085 .085 .54 11   .016  .0041 - - error (invalid witness file) .52 .35 9.9 39 error (invalid witness file) 6.5 3.4 98 300
ldv-memsafety/memleaks_test6_true-valid-memsafety.i unknown 0 wit inspect .088 .089 .70 11   .020  .14   - - error (invalid witness file) .60 .40 11   43 error (invalid witness file) 7.7 4.1 88 300
ldv-memsafety/memleaks_test7_true-valid-memsafety.i unknown 0 wit inspect .077 .077 .57 11   .020  .11   - - error (invalid witness file) .49 .31 9.9 40 error (invalid witness file) 6.2 3.3 97 280
ldv-memsafety/memleaks_test8_true-valid-memsafety.i unknown 0 wit inspect .060 .060 .61 11   .016  0      - - error (invalid witness file) .54 .35 10   41 error (invalid witness file) 7.5 4.0 56 290
ldv-memsafety/memleaks_test9_true-valid-memsafety.i unknown 0 wit inspect .087 .088 .55 11   .016  0      - - error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.8 3.6 88 300
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i unknown 0 wit inspect .046 .046 .53 9.9 .0041 0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 5.9 3.2 87 290
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i unknown 0 wit inspect .048 .048 .52 10   .0041 .11   - - error (invalid witness file) .55 .34 8.7 45 error (invalid witness file) 8.6 4.5 80 320
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i unknown 0 wit inspect .052 .055 .50 11   .0041 .59   - - error (invalid witness file) .57 .36 10   40 error (invalid witness file) 6.4 3.3 84 290
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i unknown 0 wit inspect .050 .051 .49 10   .0041 .22   - - error (invalid witness file) .74 .47 8.3 44 error (invalid witness file) 7.4 3.9 74 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i unknown 0 wit inspect .068 .068 .43 10   .0041 0      - - error (invalid witness file) .65 .41 6.7 42 error (invalid witness file) 6.7 3.6 84 290
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 0 wit inspect .073 .099 .49 18   .0041 7.7    error (invalid witness file) .64 .42 7.7 39 error (invalid witness file) 6.1 3.3 100 300 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 0 wit inspect .050 .078 .68 18   .0041 8.1    error (invalid witness file) .55 .35 8.5 39 error (invalid witness file) 7.1 3.8 75 300 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 0 wit inspect .076 .076 .43 10   .0041 0      error (invalid witness file) .62 .40 8.6 40 error (invalid witness file) 8.6 4.5 78 310 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 0 wit inspect .047 .047 .58 10   .0041 .11   error (invalid witness file) .61 .39 8.2 39 error (invalid witness file) 7.5 3.9 82 300 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 0 wit inspect .073 .074 .44 10   .0041 .14   error (invalid witness file) .59 .37 9.3 42 error (invalid witness file) 6.4 3.4 87 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 37 290    1900    5000   3800 2.1   190   181 100 59 1600 6100   181 1000 570 13000 47000   181 7300 6400 170000 61000   181 10000 9500 220000 46000  
    correct results 22 37 66    66    760   1800 .20  84   2 22 12 320 1300   5 170 110 2500 2900   6 7300 6400 170000 57000   5 9700 9200 210000 15000  
        correct true 15 30 66    66    760   1700 .17  76   2 0 0 0 0   4 0 0 0 0   6 7300 6400 170000 57000   5 9700 9200 210000 15000  
        correct false 7 7 .46 .49 3.7 79 .029 7.9 0 22 12 320 1300   1 170 110 2500 2900   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (181 tasks, max score: 272) 37
Run set sv-comp17.MemSafety-Heap