Tool Predator-HP
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 12:06:28 CET [[ 2017-01-15 02:02:31 CET ]] [[ 2017-01-15 02:04:15 CET ]] [[ 2017-01-15 02:04:05 CET ]] [[ 2017-01-15 02:06:30 CET ]]
Run set sv-comp17.MemSafety-Heap
Options --witness error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/predatorhp.2017-01-13_1206.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/predatorhp.2017-01-13_1206.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 8.0   4.0 83   170 .012 0      false(valid-deref) 12    6.3  220   360 true 9.4 5.1 190 360 - -
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1 wit inspect 1.1   1.0 14   50 .074 .13   timeout 98    53    1800   4500 true 66   57   1400 670 - -
memsafety/test-0235_false-valid-deref.i false(valid-deref) 1 wit inspect 4.2   2.1 44   120 .086 0      timeout 97    51    920   3600 true 9.5 5.1 180 320 - -
memsafety/960521-1_false-valid-free.i false(valid-free) 1 wit inspect 8.0   4.0 87   180 .020 .48   false(valid-free) 12    6.2  190   330 true 11   5.9 170 360 - -
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect .13  1.0 1.9 23 .049 0      false(valid-free) 4.8  2.6  88   260 false(valid-free) 13   7.2 140 370 - -
memsafety/test-0232_false-valid-free.i false(valid-free) 1 wit inspect .14  1.0 1.8 24 .098 0      timeout 98    55    1000   5200 true 9.1 4.9 190 350 - -
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .16  1.0 2.1 27 .074 0      error 4.7  2.6  70   250 true 11   6.0 120 360 - -
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .14  1.0 1.9 24 .098 .20   false(valid-memtrack) 6.6  3.5  60   260 true 8.2 4.4 140 330 - -
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  1.0 2.6 24 .074 .0082 false(valid-memtrack) 7.3  3.9  100   270 unknown 53   31   550 1400 - -
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .18  1.1 2.0 24 .098 0      false(valid-memtrack) 7.0  3.8  74   270 unknown 26   14   270 380 - -
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .23  1.1 2.3 26 .11  0      false(valid-memtrack) 6.7  3.6  120   270 timeout 97   57   890 4400 - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  1.1 2.0 33 .049 9.1    false(valid-memtrack) 4.8  2.6  90   250 unknown 21   11   220 350 - -
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 40     18   400   770 .049 .061  timeout 93    50    1300   3300 timeout 97   86   1800 560 - -
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .15  1.1 1.7 23 .049 .086  false(valid-memtrack) 4.8  2.7  74   250 unknown 14   7.3 150 330 - -
memsafety/test-0220_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 1.1   1.0 13   50 .049 0      timeout 94    50    890   4300 true 9.6 5.1 130 320 - -
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .13  1.0 2.4 23 .082 0      timeout 98    53    1400   4600 unknown 34   22   420 550 - -
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.6   2.0 39   120 .049 0      timeout 98    53    1400   5100 true 11   5.7 140 320 - -
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.7   2.0 44   130 .049 0      timeout 94    50    1100   3700 true 11   5.9 110 320 - -
memsafety/960521-1_true-valid-memsafety.i timeout 0 wit inspect 900     450   8000   8600 0     0      - - error (invalid witness file) .57 .35 9.9 40 error (invalid witness file) 8.2 4.3 70 300
memsafety/lockfree-3.0_true-valid-memsafety.i true 2 wit inspect 40     20   360   240 0     0      - - error (invalid witness file) .61 .37 14   44 error (invalid witness file) 7.4 3.9 87 300
memsafety/test-0019_true-valid-memsafety.i true 2 wit inspect .11  1.0 1.7 23 0     .23   - - error (invalid witness file) .67 .40 15   44 error (invalid witness file) 7.9 4.2 98 320
memsafety/test-0102_true-valid-memsafety.i true 2 wit inspect 2.2   1.0 23   130 0     .061  - - error (invalid witness file) .57 .37 11   42 error (invalid witness file) 8.1 4.2 89 320
memsafety/test-0134_true-valid-memsafety.i true 2 wit inspect 2.6   1.0 28   110 0     .061  - - error (invalid witness file) .55 .35 9.1 42 error (invalid witness file) 5.7 3.1 120 300
memsafety/test-0158_true-valid-memsafety.i true 2 wit inspect .10  1.0 1.8 23 0     0      - - error (invalid witness file) .54 .35 11   41 error (invalid witness file) 7.8 4.1 87 290
memsafety/test-0214_true-valid-memsafety.i true 2 wit inspect 1.2   1.1 15   34 0     0      - - error (invalid witness file) .68 .44 10   41 error (invalid witness file) 7.4 3.9 70 300
memsafety/test-0217_true-valid-memsafety.i true 2 wit inspect 1.2   1.1 14   45 0     0      - - error (invalid witness file) .70 .42 9.7 42 error (invalid witness file) 7.7 4.1 85 300
memsafety/test-0218_true-valid-memsafety.i true 2 wit inspect 1.2   1.0 15   44 0     .061  - - error (invalid witness file) .64 .40 16   45 error (invalid witness file) 6.0 3.2 85 300
memsafety/test-0219_true-valid-memsafety.i true 2 wit inspect 2.4   1.0 26   95 0     0      - - error (invalid witness file) .60 .37 12   42 error (invalid witness file) 7.5 4.0 54 300
memsafety/test-0232_true-valid-memsafety.i true 2 wit inspect 1.1   1.0 14   26 0     0      - - error (invalid witness file) .70 .44 9.2 44 error (invalid witness file) 6.2 3.3 91 300
memsafety/test-0234_true-valid-memsafety.i true 2 wit inspect 2.5   1.1 25   120 0     1.1    - - error (invalid witness file) .69 .44 6.4 41 error (invalid witness file) 7.8 4.2 76 300
memsafety/test-0235_true-valid-memsafety.i true 2 wit inspect 5.8   2.1 55   160 0     0      - - error (invalid witness file) .64 .41 10   43 error (invalid witness file) 7.0 3.7 99 300
memsafety/test-0236_true-valid-memsafety.i true 2 wit inspect 2.5   1.0 23   94 0     0      - - error (invalid witness file) .54 .35 9.0 43 error (invalid witness file) 5.9 3.1 87 300
memsafety/test-0237_true-valid-memsafety.i true 2 wit inspect 2.5   1.0 24   110 0     .029  - - error (invalid witness file) .57 .35 11   42 error (invalid witness file) 7.0 3.7 88 300
memsafety/test-0504_true-valid-memsafety.i true 2 wit inspect 2.2   1.0 21   42 0     .061  - - error (invalid witness file) .51 .34 8.9 41 error (invalid witness file) 5.6 3.0 120 290
memsafety/test-0513_true-valid-memsafety.i true 2 wit inspect 2.2   1.0 24   29 0     0      - - error (invalid witness file) .58 .37 9.3 41 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0521_true-valid-memsafety.i true 2 wit inspect 2.3   1.1 23   34 0     .16   - - error (invalid witness file) .54 .34 12   42 error (invalid witness file) 7.1 3.7 140 310
memsafety/test-memleak_nexttime_true-valid-memsafety.i true 2 wit inspect .11  1.0 1.9 25 0     1.3    - - error (invalid witness file) .71 .43 7.1 41 error (invalid witness file) 6.9 3.6 93 300
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 0 wit inspect 900     300   5600   890 0     1.2    - - error (invalid witness file) .56 .35 5.6 39 error (invalid witness file) 6.7 3.5 83 300
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 0 wit inspect 900     450   7900   1600 0     0      - - error (invalid witness file) .65 .42 7.3 40 error (invalid witness file) 6.9 3.6 110 320
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 0 wit inspect 900     420   8500   1200 0     0      - - error (invalid witness file) .71 .45 7.3 44 error (invalid witness file) 6.1 3.2 110 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i timeout 0 wit inspect 900     450   6000   460 .025 .074  - - error (invalid witness file) .70 .44 7.1 40 error (invalid witness file) 6.1 3.2 110 310
memsafety-ext/tree_dsw_true-valid-memsafety.i timeout 0 wit inspect 900     450   7100   280 .025 .086  - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 8.1 4.2 74 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 0 wit inspect 900     450   5500   500 .025 0      - - error (invalid witness file) .60 .39 9.9 40 error (invalid witness file) 8.0 4.2 86 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i timeout 0 wit inspect 900     450   6300   440 .025 0      - - error (invalid witness file) .49 .31 11   40 error (invalid witness file) 9.1 4.7 94 320
memsafety-ext/tree_stack_true-valid-memsafety.i timeout 0 wit inspect 900     450   6800   430 .025 0      - - error (invalid witness file) .59 .38 9.0 39 error (invalid witness file) 6.0 3.2 120 300
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 0 wit inspect 900     300   8800   970 .025 0      error (invalid witness file) .54 .33 12   39 error (invalid witness file) 5.8 3.1 93 280 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  1.0 2.5 25 .074 .086  false(valid-memtrack) 5.8  3.1  86   270 true 9.5 5.1 140 350 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .15  1.0 1.8 25 .098 0      timeout 98    57    1600   4900 true 11   6.1 160 360 - -
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .97  1.1 10   31 .074 1.0    timeout 98    52    1200   3300 true 9.0 4.9 120 320 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 1.0   1.1 12   25 .074 0      timeout 98    60    1100   4700 true 7.4 4.1 130 310 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 0 wit inspect 900     450   7100   1800 0     .086  - - error (invalid witness file) .65 .42 7.8 41 error (invalid witness file) 5.8 3.1 120 290
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 0 wit inspect 900     420   5400   1900 0     0      - - error (invalid witness file) .47 .31 12   39 error (invalid witness file) 5.8 3.1 98 300
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 0 wit inspect 900     900   11000   2500 .025 0      - - error (invalid witness file) .61 .38 8.7 40 error (invalid witness file) 7.3 3.8 74 300
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 0 wit inspect 900     450   5100   1800 .025 0      - - error (invalid witness file) .76 .48 6.5 40 error (invalid witness file) 6.1 3.3 110 290
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 0 wit inspect 900     300   8800   890 .025 .0082 - - error (invalid witness file) .49 .31 10   40 error (invalid witness file) 6.7 3.5 98 310
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect .16  1.1 1.8 23 .098 0      false(valid-deref) 5.6  3.0  120   270 true 11   5.7 85 350 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect 4.1   2.0 33   55 .061 .99   false(valid-deref) 32    17    590   1200 true 53   27   470 860 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect .15  1.1 2.0 23 .098 0      false(valid-deref) 5.5  2.9  110   260 false(valid-deref) 11   6.1 210 380 - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 1 wit inspect .12  1.0 2.1 24 .098 0      false(valid-free) 5.3  2.9  62   250 false(valid-free) 9.8 5.3 150 360 - -
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect .12  1.0 1.8 22 .049 0      false(valid-free) 4.9  2.7  94   260 false(valid-free) 12   6.6 150 360 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .13  1.0 2.0 23 .049 0      false(valid-memtrack) 4.6  2.5  86   260 true 9.5 5.1 92 320 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .12  1.0 1.8 23 .049 0      true 4.2  2.4  72   250 unknown 20   11   190 340 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .13  1.0 1.9 24 .098 .086  false(valid-memtrack) 7.5  4.0  97   280 unknown 33   19   380 500 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i true 2 wit inspect .88  1.0 9.0 35 0     1.3    - - error (invalid witness file) .61 .38 13   42 error (invalid witness file) 6.5 3.4 95 300
list-ext-properties/list-ext_1_true-valid-memsafety.i true 2 wit inspect 2.9   1.0 26   56 0     .061  - - error (invalid witness file) .64 .40 10   42 error (invalid witness file) 6.6 3.5 140 310
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 0 wit inspect 900     450   5800   480 .025 .58   - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 7.8 4.1 72 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 2 wit inspect 310     120   2600   2000 0     0      - - error (invalid witness file) .56 .36 9.9 41 error (invalid witness file) 6.6 3.5 89 290
list-ext-properties/test-0019_1_true-valid-memsafety.i true 2 wit inspect .11  1.0 1.7 23 0     .14   - - error (invalid witness file) .55 .35 11   43 error (invalid witness file) 6.3 3.3 110 310
list-ext-properties/test-0158_1_true-valid-memsafety.i true 2 wit inspect .11  1.0 1.8 21 0     0      - - error (invalid witness file) .55 .36 12   42 error (invalid witness file) 6.5 3.4 110 300
list-ext-properties/test-0214_1_true-valid-memsafety.i true 2 wit inspect 12     12   160   530 .025 .0082 - - error (invalid witness file) .54 .35 7.0 41 error (invalid witness file) 6.1 3.2 110 300
list-ext-properties/test-0217_1_true-valid-memsafety.i true 2 wit inspect 3.9   2.0 38   120 0     .029  - - error (invalid witness file) .68 .44 10   42 error (invalid witness file) 7.2 3.8 110 310
list-ext-properties/test-0232_1_true-valid-memsafety.i true 2 wit inspect 1.6   2.1 18   25 .025 0      - - error (invalid witness file) .73 .46 7.8 43 error (invalid witness file) 6.1 3.2 89 300
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 0 wit inspect 900     300   5200   6100 0     0      - - error (invalid witness file) .60 .38 10   42 error (invalid witness file) 8.3 4.3 94 310
list-ext-properties/test-0513_1_true-valid-memsafety.i true 2 wit inspect .26  1.1 2.8 25 0     0      - - error (invalid witness file) .54 .34 11   41 error (invalid witness file) 7.2 3.8 78 300
memory-alloca/c.03-alloca_true-valid-memsafety.i true 2 wit inspect 1.2   1.0 14   45 0     1.1    - - error (invalid witness file) .70 .44 8.5 44 error (invalid witness file) 7.1 3.8 86 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect .16  1.1 1.7 23 .098 .14   false(valid-deref) 3.7  2.1  78   250 true 11   6.0 230 380 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .16  1.1 1.9 25 .049 1.3    false(valid-deref) 3.6  2.0  77   240 false(valid-deref) 9.6 5.2 140 350 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect .16  1.1 1.7 23 .049 0      false(valid-deref) 4.6  2.6  46   250 false(valid-deref) 8.8 4.7 110 320 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect .16  1.1 1.8 22 .049 0      false(valid-deref) 3.4  1.9  76   240 false(valid-deref) 10   5.4 110 350 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1 wit inspect 1.6   1.0 20   39 .098 .086  false(valid-deref) 15    8.5  280   560 timeout 97   65   1600 6400 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1 wit inspect 3.8   2.1 46   53 .049 0      false(valid-deref) 21    11    240   570 timeout 98   67   1500 7000 - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .14  1.0 1.9 21 .049 0      false(valid-deref) 3.4  1.9  57   240 true 8.8 4.7 120 330 - -
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1 wit inspect .12  1.0 1.8 21 .049 0      false(valid-deref) 4.3  2.4  45   240 true 8.9 4.8 110 330 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .15  1.1 1.8 23 .049 .086  false(valid-deref) 4.1  2.3  50   250 true 9.7 5.1 110 330 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1 wit inspect .11  1.0 1.7 22 .049 .086  false(valid-deref) 3.5  1.9  75   240 true 8.8 4.8 120 330 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect .16  1.1 1.9 32 .049 8.8    false(valid-deref) 3.6  2.0  71   250 true 8.4 4.4 130 330 - -
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect .11  1.0 1.7 22 .049 .16   false(valid-deref) 3.1  1.8  64   230 true 9.7 5.2 90 320 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 2 wit inspect 770     770   6900   1800 0     .057  - - error (invalid witness file) .65 .40 9.8 42 error (invalid witness file) 7.9 4.2 87 310
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true 2 wit inspect 2.0   1.0 20   73 0     .10   - - error (invalid witness file) .55 .34 11   42 error (invalid witness file) 6.4 3.4 96 300
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2 wit inspect 3.2   2.0 36   47 0     .10   - - error (invalid witness file) .56 .36 12   42 error (invalid witness file) 7.1 3.7 92 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true 2 wit inspect 2.0   1.0 21   73 0     .10   - - error (invalid witness file) .57 .37 13   41 error (invalid witness file) 6.7 3.6 72 290
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 2 wit inspect 200     200   2400   690 .020 0      - - error (invalid witness file) .63 .38 13   45 error (invalid witness file) 6.9 3.7 89 300
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 2 wit inspect 3.5   2.0 37   51 0     0      - - error (invalid witness file) .60 .38 15   44 error (invalid witness file) 6.2 3.3 99 290
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2 wit inspect .10  1.0 1.6 22 0     0      - - error (invalid witness file) .58 .38 8.5 44 error (invalid witness file) 6.2 3.3 130 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2 wit inspect .099 1.0 1.7 22 0     0      - - error (invalid witness file) .53 .34 9.0 43 error (invalid witness file) 6.8 3.6 110 310
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 2 wit inspect .13  1.1 1.5 21 0     0      - - error (invalid witness file) .60 .37 9.9 45 error (invalid witness file) 5.9 3.2 120 310
ldv-memsafety/memset2_true-valid-memsafety.c true 2 wit inspect .10  1.0 1.6 22 0     .086  - - error (invalid witness file) .58 .37 11   43 error (invalid witness file) 6.5 3.5 110 290
ldv-memsafety/memset3_true-valid-memsafety.c true 2 wit inspect .13  1.1 1.6 21 0     .086  - - error (invalid witness file) .71 .45 8.4 41 error (invalid witness file) 6.3 3.4 100 310
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 2 wit inspect .13  1.0 1.6 21 0     0      - - error (invalid witness file) .59 .39 8.2 42 error (invalid witness file) 7.9 4.1 73 300
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 2 wit inspect .10  1.0 1.7 21 0     0      - - error (invalid witness file) .68 .42 9.7 42 error (invalid witness file) 7.1 3.7 88 290
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 2 wit inspect .13  1.1 1.7 21 0     0      - - error (invalid witness file) .56 .36 10   44 error (invalid witness file) 5.9 3.1 110 300
ldv-memsafety/memset_true-valid-memsafety.c true 2 wit inspect .10  1.0 1.6 22 0     .15   - - error (invalid witness file) .71 .44 8.9 43 error (invalid witness file) 7.2 3.9 77 300
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 1 wit inspect .20  1.1 2.1 28 .098 .18   false(valid-deref) 6.5  3.4  120   290 true 12   6.4 190 360 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 1 wit inspect .21  1.1 2.1 27 .074 .0041 false(valid-deref) 6.8  3.6  150   320 true 8.0 4.3 180 320 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 1 wit inspect .21  1.0 2.2 27 .074 .020  false(valid-deref) 7.9  4.2  110   300 true 8.3 4.4 160 320 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 0 wit inspect .18  1.0 2.4 30 .049 0      error (invalid witness file) .61 .39 6.3 39 error (invalid witness file) 5.8 3.1 90 290 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 0 wit inspect .17  1.0 2.6 29 .033 0      error (invalid witness file) .52 .32 9.4 42 error (invalid witness file) 6.9 3.6 100 300 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 1 wit inspect .20  1.0 2.9 28 .098 0      false(valid-free) 6.6  3.5  110   270 true 32   25   630 570 - -
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 1 wit inspect .26  1.0 2.9 32 .098 0      timeout 96    65    1900   4300 true 13   7.1 130 350 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 1 wit inspect .50  1.0 5.3 30 .086 0      false(valid-free) 9.8  5.1  100   320 true 7.9 4.3 100 320 - -
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 1 wit inspect .21  1.0 2.3 28 .098 0      false(valid-free) 6.7  3.6  130   320 false(valid-free) 15   7.9 190 410 - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 1 wit inspect .16  1.0 2.3 27 .049 0      false(valid-free) 6.4  3.4  130   310 true 11   6.1 120 350 - -
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect .21  1.1 2.1 28 .049 .95   false(valid-free) 7.6  4.0  79   300 false(valid-free) 8.7 4.7 100 320 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect .22  1.1 2.1 29 .098 1.3    false(valid-free) 7.4  3.9  95   290 false(valid-free) 10   5.6 170 360 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect .19  1.0 2.2 27 .098 0      false(valid-free) 7.2  3.8  110   290 false(valid-free) 9.9 5.2 200 360 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  1.0 2.6 28 .086 0      false(valid-memtrack) 6.7  3.6  130   310 timeout 97   89   1800 620 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .21  1.1 2.1 29 .098 0      false(valid-memtrack) 7.5  3.9  140   300 timeout 96   77   1400 590 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  1.1 2.1 27 .098 0      false(valid-memtrack) 6.0  3.2  120   290 unknown 16   8.6 250 360 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .21  1.0 2.1 27 .098 0      false(valid-memtrack) 7.4  3.9  120   310 true 22   13   260 520 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .21  1.1 2.2 27 .098 .18   true 5.9  3.2  110   310 unknown 16   8.7 210 350 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  1.0 2.4 28 .098 .086  false(valid-memtrack) 6.6  3.5  130   290 true 17   10   280 560 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .23  1.1 2.5 28 .098 0      true 10    5.3  150   370 true 14   7.5 140 360 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  1.0 2.2 27 .098 0      true 6.5  3.5  120   300 unknown 22   12   310 460 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  1.0 2.7 37 .098 8.9    false(valid-memtrack) 5.6  3.0  100   260 unknown 18   9.4 200 360 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .26  1.0 2.7 29 .086 0      false(valid-memtrack) 8.0  4.3  120   300 true 7.8 4.2 110 320 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .22  1.0 2.9 27 .098 0      false(valid-memtrack) 11    6.0  110   300 true 10   5.3 94 320 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .21  1.0 2.5 28 .11  1.2    false(valid-memtrack) 7.2  3.8  100   280 true 14   7.6 130 370 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .24  1.0 2.5 27 .074 0      false(valid-memtrack) 8.6  4.5  160   310 true 12   6.5 150 370 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 130     43   1100   690 .025 0      false(valid-memtrack) 7.0  3.7  110   310 true 17   9.2 200 430 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .16  1.0 2.2 28 .049 .45   false(valid-memtrack) 6.2  3.3  140   310 unknown 14   7.6 240 350 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .18  1.0 2.3 27 .098 0      false(valid-memtrack) 7.0  3.7  93   310 unknown 16   8.7 280 340 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  1.1 2.0 27 .098 0      false(valid-memtrack) 6.1  3.2  130   300 unknown 15   8.2 220 350 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  1.0 2.3 27 .098 .0041 false(valid-memtrack) 7.5  4.0  100   300 true 32   19   630 670 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  1.1 2.1 27 .098 0      true 7.0  3.7  69   300 true 8.0 4.3 150 320 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .22  1.0 2.3 27 .074 0      false(valid-memtrack) 8.5  4.5  89   290 true 42   27   720 690 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20  1.1 2.1 27 .098 0      true 5.8  3.1  49   270 unknown 21   11   220 390 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .18  1.0 2.2 26 .098 0      false(valid-memtrack) 7.9  4.2  81   310 unknown 18   9.4 150 350 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  1.0 2.8 27 .098 .0041 false(valid-memtrack) 6.6  3.5  100   280 true 11   5.6 150 350 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .19  1.0 2.3 28 .098 0      true 6.5  3.5  130   300 timeout 97   86   2600 510 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  1.0 2.3 28 .098 0      false(valid-memtrack) 6.9  3.7  94   270 unknown 18   9.5 320 370 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .21  1.1 2.2 28 .098 .086  true 7.2  3.8  91   280 unknown 20   11   290 360 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  1.0 2.2 29 .098 1.3    false(valid-memtrack) 6.2  3.3  120   290 unknown 17   9.2 210 360 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .18  1.0 2.4 26 .098 0      false(valid-memtrack) 6.2  3.3  97   270 unknown 17   9.1 260 350 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .17  1.0 2.2 27 .098 0      false(valid-memtrack) 5.8  3.1  110   270 unknown 15   8.2 210 350 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i true 2 wit inspect .17  1.0 2.0 28 0     0      - - error (invalid witness file) .57 .35 11   45 error (invalid witness file) 6.5 3.5 71 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i true 2 wit inspect .19  1.1 2.1 28 0     .037  - - error (invalid witness file) .55 .35 12   42 error (invalid witness file) 5.8 3.1 110 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 2 wit inspect .27  1.0 3.0 30 0     .27   - - error (invalid witness file) .71 .46 9.6 41 error (invalid witness file) 8.8 4.6 83 320
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 2 wit inspect .18  1.1 2.0 27 0     .094  - - error (invalid witness file) .70 .44 8.7 41 error (invalid witness file) 8.3 4.4 78 320
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 2 wit inspect .20  1.1 2.1 27 0     .086  - - error (invalid witness file) .69 .44 11   47 error (invalid witness file) 8.0 4.2 76 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i true 2 wit inspect .20  1.0 2.6 29 .025 0      - - error (invalid witness file) .60 .36 9.9 44 error (invalid witness file) 6.2 3.3 110 300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 2 wit inspect .19  1.1 2.2 27 0     0      - - error (invalid witness file) .65 .40 9.8 44 error (invalid witness file) 5.9 3.2 95 300
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i true 2 wit inspect .25  1.0 2.6 27 0     .037  - - error (invalid witness file) .53 .34 9.3 42 error (invalid witness file) 5.8 3.1 84 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i unknown 0 wit inspect .20  1.0 2.5 28 0     0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.7 3.6 97 310
ldv-memsafety/memleaks_test18_true-valid-memsafety.i true 2 wit inspect .33  1.0 4.0 29 0     0      - - error (invalid witness file) .67 .43 8.2 41 error (invalid witness file) 6.4 3.3 120 300
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true 2 wit inspect .16  1.0 2.3 28 0     .061  - - error (invalid witness file) .71 .45 12   46 error (invalid witness file) 6.3 3.3 110 300
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 2 wit inspect .16  1.0 2.2 26 0     .094  - - error (invalid witness file) .61 .38 11   41 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true 2 wit inspect .20  1.0 2.1 27 0     .049  - - error (invalid witness file) .69 .44 8.7 43 error (invalid witness file) 6.2 3.3 110 300
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true 2 wit inspect .19  1.1 2.1 27 0     0      - - error (invalid witness file) .61 .40 12   42 error (invalid witness file) 6.2 3.2 110 310
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true 2 wit inspect .20  1.0 2.1 26 0     0      - - error (invalid witness file) .70 .45 8.1 43 error (invalid witness file) 7.8 4.1 77 300
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true 2 wit inspect .19  1.0 2.1 27 0     0      - - error (invalid witness file) .54 .35 13   42 error (invalid witness file) 7.4 3.9 91 300
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i true 2 wit inspect .20  1.1 2.4 28 0     0      - - error (invalid witness file) .52 .35 9.8 42 error (invalid witness file) 7.4 3.9 80 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 0 wit inspect .18  1.0 2.3 30 .033 .65   - - error (invalid witness file) .50 .33 9.8 39 error (invalid witness file) 5.6 3.0 110 290
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 0 wit inspect .18  1.0 2.4 29 .033 0      - - error (invalid witness file) .51 .32 10   41 error (invalid witness file) 6.8 3.6 65 290
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 2 wit inspect .17  1.1 1.9 27 0     0      - - error (invalid witness file) .54 .36 13   41 error (invalid witness file) 6.4 3.4 110 300
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 2 wit inspect .19  1.1 2.0 26 0     0      - - error (invalid witness file) .74 .46 7.2 42 error (invalid witness file) 6.0 3.2 130 290
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 2 wit inspect .16  1.0 2.0 26 0     0      - - error (invalid witness file) .61 .39 12   43 error (invalid witness file) 5.9 3.2 110 300
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 2 wit inspect .16  1.0 2.1 28 0     1.1    - - error (invalid witness file) .71 .44 9.7 42 error (invalid witness file) 6.7 3.6 93 300
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 2 wit inspect .20  1.1 2.1 27 0     0      - - error (invalid witness file) .76 .49 8.5 45 error (invalid witness file) 5.9 3.1 85 310
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true 2 wit inspect .20  1.1 2.0 27 0     0      - - error (invalid witness file) .62 .39 10   42 error (invalid witness file) 5.6 3.0 71 290
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 2 wit inspect .19  1.1 2.3 36 0     8.4    - - error (invalid witness file) .54 .34 9.0 41 error (invalid witness file) 7.2 3.9 75 320
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 2 wit inspect .15  1.0 2.3 27 0     0      - - error (invalid witness file) .52 .33 12   41 error (invalid witness file) 7.8 4.1 66 290
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i unknown 0 wit inspect .11  1.0 1.7 21 .016 0      - - error (invalid witness file) .60 .38 4.4 41 error (invalid witness file) 7.0 3.7 82 290
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i unknown 0 wit inspect .14  1.0 1.7 22 .016 .14   - - error (invalid witness file) .48 .31 8.4 39 error (invalid witness file) 7.0 3.7 83 300
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i unknown 0 wit inspect .13  1.0 1.7 21 .029 .11   - - error (invalid witness file) .51 .34 9.6 39 error (invalid witness file) 7.8 4.1 76 300
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i unknown 0 wit inspect .11  1.0 1.9 21 .029 .13   - - error (invalid witness file) .59 .37 9.8 40 error (invalid witness file) 6.6 3.5 66 290
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i unknown 0 wit inspect .11  1.0 1.8 22 .029 .13   - - error (invalid witness file) .53 .35 6.6 40 error (invalid witness file) 6.0 3.2 95 300
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 0 wit inspect .13  1.1 1.6 23 .016 1.1    error (invalid witness file) .64 .41 8.5 40 error (invalid witness file) 7.3 3.9 97 300 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 0 wit inspect .13  1.0 2.2 31 .016 9.0    error (invalid witness file) .57 .37 9.0 40 error (invalid witness file) 6.1 3.2 100 300 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 0 wit inspect .12  1.0 1.9 23 .016 1.2    error (invalid witness file) .50 .33 12   41 error (invalid witness file) 6.1 3.2 130 290 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 0 wit inspect .13  1.0 1.7 22 .016 .12   error (invalid witness file) .51 .32 12   40 error (invalid witness file) 6.7 3.5 71 290 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 0 wit inspect .14  1.1 1.6 21 .029 .11   error (invalid witness file) .56 .36 9.1 39 error (invalid witness file) 5.8 3.1 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 216 17000 8800 130000 43000 7.1   69 181 1700 920 24000 73000   181 1900 1200 29000 52000   181 55 35 910 3800   181 620 330 8600 27000  
    correct results 149 216 1600 1300 15000 12000 6.5   54 69 1700 910 24000 73000   54 1900 1200 28000 50000   0 41 26 700 2800   0 450 240 6400 20000  
        correct true 67 134 1400 1200 13000 7900 .094 17 8 0 0 0 0   43 0 0 0 0   0 41 26 700 2800   0 450 240 6400 20000  
        correct false 82 82 220 160 2000 4300 6.4   38 61 1700 910 24000 73000   11 1900 1200 28000 50000   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) 216
Run set sv-comp17.MemSafety-Heap