Tool symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a
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-14 11:37:51 CET [[ 2017-01-15 04:18:56 CET ]] [[ 2017-01-15 04:38:06 CET ]] [[ 2017-01-15 04:27:27 CET ]] [[ 2017-01-15 04:45:45 CET ]]
Run set sv-comp17.MemSafety-Heap
Options --witness witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/symbiotic4.2017-01-14_1137.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/symbiotic4.2017-01-14_1137.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 .32 .31 4.0 13   .074 0      true 10   5.2 180 350 timeout 98   55   930 5700 - -
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1 wit inspect .38 .37 5.4 31   .074 0      timeout 98   53   680 5000 true 8.7 4.7 160 320 - -
memsafety/test-0235_false-valid-deref.i false(valid-deref) 1 wit inspect .72 .71 9.2 36   .098 0      timeout 98   52   980 5000 true 18   9.4 180 610 - -
memsafety/960521-1_false-valid-free.i false(valid-free) 1 wit inspect .31 .30 4.0 13   .074 0      true 9.3 4.9 150 340 timeout 98   54   1000 4900 - -
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect .21 .20 2.7 11   .098 0      true 4.5 2.4 97 260 false(valid-free) 13   7.1 190 390 - -
memsafety/test-0232_false-valid-free.i false(valid-free) 1 wit inspect .30 .29 3.4 16   .074 0      timeout 97   51   1100 4100 true 8.9 4.7 180 330 - -
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .44 .43 4.7 39   .14  0      error 5.6 3.0 110 310 true 9.4 5.0 130 350 - -
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .27 .26 2.7 14   .074 0      true 4.5 2.5 95 250 true 8.9 4.7 160 320 - -
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .55 .54 6.3 18   .074 0      timeout 97   60   710 3600 unknown 55   30   760 820 - -
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .32 .31 4.4 16   .074 0      timeout 98   65   950 3900 unknown 29   15   440 510 - -
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 2.1  2.1  28   56   .074 0      timeout 96   63   990 3500 true 56   33   670 930 - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .23 .22 3.0 13   .074 0      true 4.4 2.4 68 250 unknown 19   10   260 370 - -
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .32 .31 3.9 22   .074 0      timeout 98   53   710 5400 true 9.6 5.1 160 340 - -
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .20 .19 2.6 11   .074 0      true 4.3 2.3 95 250 unknown 20   11   370 360 - -
memsafety/test-0220_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .38 .37 4.1 19   .098 0      timeout 98   52   840 5300 true 9.5 5.0 180 370 - -
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .28 .27 3.6 15   .074 .086  timeout 98   54   820 5400 unknown 20   11   430 390 - -
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .47 .46 6.8 29   .098 0      timeout 98   53   730 5100 true 14   7.3 230 640 - -
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .61 .60 7.7 36   .098 0      timeout 93   49   770 3400 true 14   7.3 240 630 - -
memsafety/960521-1_true-valid-memsafety.i true 2 wit inspect 14    14    190   64   .074 0      - - out of memory 250    140    2700   7000 timeout 960   850   12000 1600
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    4900   2600   .074 0      - - error (invalid witness file) .52 .33 12   41 error (invalid witness file) 7.5 3.9 84 300
memsafety/test-0019_true-valid-memsafety.i true 2 wit inspect .24 .23 2.9 13   .074 0      - - true 4.0  2.2  82   250 true 16   9.4 230 540
memsafety/test-0102_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    10000   5000   .074 0      - - error (invalid witness file) .58 .37 9.1 44 error (invalid witness file) 5.9 3.1 110 290
memsafety/test-0134_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    8800   2900   .074 0      - - error (invalid witness file) .53 .35 14   41 error (invalid witness file) 6.6 3.5 110 310
memsafety/test-0158_true-valid-memsafety.i true 2 wit inspect .22 .21 2.4 11   .074 0      - - true 3.9  2.1  75   250 true 11   5.9 130 390
memsafety/test-0214_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7300   240   .098 0      - - error (invalid witness file) .51 .33 11   41 error (invalid witness file) 5.8 3.1 110 290
memsafety/test-0217_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    8000   280   .098 0      - - error (invalid witness file) .50 .34 4.7 40 error (invalid witness file) 7.6 3.9 140 310
memsafety/test-0218_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7400   230   .098 0      - - error (invalid witness file) .51 .31 8.1 39 error (invalid witness file) 5.8 3.1 110 290
memsafety/test-0219_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    8600   4100   .098 0      - - error (invalid witness file) .50 .32 13   40 error (invalid witness file) 5.8 3.1 110 290
memsafety/test-0232_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    11000   1900   .074 0      - - error (invalid witness file) .54 .35 13   41 error (invalid witness file) 7.0 3.7 120 320
memsafety/test-0234_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    8200   4900   .098 0      - - error (invalid witness file) .53 .32 9.2 41 error (invalid witness file) 6.4 3.4 94 300
memsafety/test-0235_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    9400   5000   .098 0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0236_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    12000   4900   .098 0      - - error (invalid witness file) .48 .31 9.7 40 error (invalid witness file) 6.4 3.4 120 300
memsafety/test-0237_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    9400   4900   .098 0      - - error (invalid witness file) .48 .31 9.6 40 error (invalid witness file) 6.9 3.7 110 300
memsafety/test-0504_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7400   3100   .074 0      - - error (invalid witness file) .51 .33 9.8 40 error (invalid witness file) 6.5 3.4 100 300
memsafety/test-0513_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    9700   1300   .074 0      - - error (invalid witness file) .52 .32 12   40 error (invalid witness file) 5.4 2.9 93 300
memsafety/test-0521_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    6600   2500   .086 0      - - error (invalid witness file) .52 .33 3.4 39 error (invalid witness file) 5.7 3.1 97 290
memsafety/test-memleak_nexttime_true-valid-memsafety.i true 2 wit inspect .22 .21 3.1 11   .098 0      - - true 4.1  2.3  81   250 true 62   49   1300 800
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7000   3300   .074 .020  - - error (invalid witness file) .57 .39 7.2 43 error (invalid witness file) 5.8 3.1 110 290
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    6400   2800   .074 0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 6.1 3.2 120 300
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7100   2700   .074 0      - - error (invalid witness file) .54 .34 14   41 error (invalid witness file) 6.2 3.2 100 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    6400   3400   .074 0      - - error (invalid witness file) .54 .36 7.5 40 error (invalid witness file) 5.7 3.0 110 300
memsafety-ext/tree_dsw_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7000   3700   .074 0      - - error (invalid witness file) .50 .31 6.6 40 error (invalid witness file) 5.9 3.1 100 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    8700   4000   .074 0      - - error (invalid witness file) .49 .34 4.8 39 error (invalid witness file) 5.7 3.1 120 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    6300   3900   .074 0      - - error (invalid witness file) .51 .36 8.7 42 error (invalid witness file) 7.3 3.8 87 290
memsafety-ext/tree_stack_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    6700   4300   .074 0      - - error (invalid witness file) .51 .35 10   41 error (invalid witness file) 6.7 3.6 81 290
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-deref) 1 wit inspect 29    29    370   320   .086 .0041 timeout 97   54   1000 5300 true 15   7.7 260 530 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .44 .43 5.8 28   .074 0      timeout 93   74   970 4100 true 11   5.9 150 510 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .45 .44 5.5 28   .074 0      timeout 98   57   810 5300 true 11   5.9 150 490 - -
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .36 .35 4.8 22   .074 0      timeout 93   50   690 3900 true 12   6.4 190 510 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .41 .40 4.6 20   .074 0      timeout 98   52   630 4700 true 9.9 5.2 140 420 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    9500   4100   .074 0      - - error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.7 3.5 150 300
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7800   3800   .074 0      - - error (invalid witness file) .50 .32 4.6 40 error (invalid witness file) 7.9 4.1 96 320
memsafety-ext2/length_test03_true-valid-memsafety.i true 2 wit inspect .34 .33 4.3 22   .074 0      - - out of memory 210    110    1400   7000 out of memory 320   240   6600 7000
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7100   3300   .074 0      - - error (invalid witness file) .51 .32 9.4 43 error (invalid witness file) 5.9 3.2 89 300
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    8300   3700   .086 0      - - error (invalid witness file) .51 .34 6.6 39 error (invalid witness file) 6.6 3.5 130 310
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect .29 .28 3.2 14   .074 0      true 12   6.4 200 450 false(valid-deref) 13   6.6 190 400 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect 1.8  1.8  23   24   .074 0      true 45   26   500 2000 timeout 95   58   1200 7000 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect .31 .30 3.7 18   .074 0      timeout 95   76   960 3900 false(valid-deref) 11   5.8 180 400 - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 1 wit inspect .29 .28 3.3 13   .074 0      true 12   6.1 180 420 false(valid-free) 20   11   320 530 - -
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect .24 .23 2.7 12   .074 0      true 4.4 2.4 84 250 false(valid-free) 12   6.3 200 390 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .23 .22 3.0 14   .074 0      true 4.3 2.4 91 250 true 8.8 4.7 160 330 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .25 .24 2.6 11   .074 0      true 4.1 2.3 79 240 unknown 17   9.1 290 330 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .29 .29 3.1 15   .074 0      true 10   5.2 180 420 unknown 21   11   310 380 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i true 2 wit inspect .59 .58 7.7 14   .074 0      - - true 10    5.3  160   430 timeout 960   910   27000 2300
list-ext-properties/list-ext_1_true-valid-memsafety.i true 2 wit inspect 3.2  3.2  39   27   .074 0      - - true 23    12    260   1100 timeout 960   880   15000 1400
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    7200   2200   .074 0      - - error (invalid witness file) .49 .33 5.1 40 error (invalid witness file) 6.2 3.3 120 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 2 wit inspect 1.2  1.1  17   18   .074 0      - - true 14    7.3  210   660 timeout 960   890   17000 1500
list-ext-properties/test-0019_1_true-valid-memsafety.i true 2 wit inspect .23 .24 2.8 14   .074 .39   - - true 4.1  2.2  66   250 true 39   25   610 750
list-ext-properties/test-0158_1_true-valid-memsafety.i true 2 wit inspect .23 .23 2.5 12   .074 0      - - true 3.9  2.2  72   240 true 11   6.0 200 370
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    6700   170   .098 0      - - error (invalid witness file) .50 .32 6.2 40 error (invalid witness file) 5.4 2.9 100 280
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    9100   190   .098 0      - - error (invalid witness file) .53 .36 5.1 40 error (invalid witness file) 6.1 3.2 130 300
list-ext-properties/test-0232_1_true-valid-memsafety.i true 2 wit inspect .58 .57 6.5 16   .074 0      - - true 8.1  4.3  130   380 timeout 960   910   13000 1200
list-ext-properties/test-0504_1_true-valid-memsafety.i true 2 wit inspect 29    29    350   170   .074 0      - - true 380    330    4000   4800 timeout 960   900   14000 2000
list-ext-properties/test-0513_1_true-valid-memsafety.i true 2 wit inspect .41 .40 4.7 23   .074 0      - - true 6.4  3.4  100   290 timeout 960   870   17000 1700
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    11000   290   .074 0      - - error (invalid witness file) .50 .32 10   40 error (invalid witness file) 6.1 3.2 120 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect .22 .22 2.7 12   .012 0      false(valid-deref) 3.8 2.1 63 250 true 11   5.7 190 370 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .23 .23 2.3 11   .012 0      false(valid-deref) 3.7 2.0 75 250 false(valid-deref) 8.7 4.7 170 350 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect .22 .23 2.1 11   .012 .34   false(valid-deref) 3.5 1.9 80 240 false(valid-deref) 7.3 3.9 130 310 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect .22 .22 2.2 11   .012 0      false(valid-deref) 3.2 1.8 72 230 false(valid-deref) 8.2 4.4 160 320 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1 wit inspect .81 .81 9.9 24   .012 0      false(valid-deref) 15   8.1 190 640 timeout 98   53   760 4500 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1 wit inspect .88 .88 11   26   .012 0      false(valid-deref) 15   8.2 220 650 timeout 97   60   880 5800 - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .19 .19 1.8 9.6 .012 0      false(valid-deref) 3.5 2.0 74 240 false(valid-deref) 7.8 4.2 150 330 - -
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1 wit inspect .17 .17 2.2 9.9 .012 0      false(valid-deref) 3.8 2.1 72 250 false(valid-deref) 8.0 4.2 140 340 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect .18 .18 2.0 9.7 .012 0      false(valid-deref) 3.7 2.1 77 250 false(valid-deref) 8.4 4.4 170 330 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1 wit inspect .20 .20 1.9 9.8 .012 0      false(valid-deref) 4.1 2.3 84 250 false(valid-deref) 7.8 4.2 140 340 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect .17 .17 2.2 9.9 .012 0      false(valid-deref) 4.2 2.3 82 250 false(valid-deref) 7.6 4.0 120 320 - -
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect .19 .19 2.0 10   .012 0      false(valid-deref) 3.7 2.0 80 250 false(valid-deref) 8.7 4.7 110 320 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (timeout) 0 wit inspect 900    900    12000   4800   .012 0      - - error (invalid witness file) .49 .32 7.2 40 error (invalid witness file) 5.6 3.0 94 290
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true 2 wit inspect 1.0  1.0  13   12   .012 0      - - true 11    5.5  160   390 true 12   6.5 200 370
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2 wit inspect .75 .74 11   11   .012 0      - - true 9.2  4.8  180   350 true 15   8.4 280 490
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true 2 wit inspect 1.2  1.2  13   12   .012 0      - - true 11    5.7  210   430 true 12   6.5 190 370
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 2 wit inspect 16    16    230   65   .012 0      - - true 29    16    310   1300 true 20   11   300 490
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 2 wit inspect .75 .74 12   11   .012 0      - - true 8.7  4.6  150   340 true 12   6.8 260 410
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2 wit inspect .18 .17 2.2 9.8 .012 0      - - true 3.1  1.8  75   240 error 6.5 3.5 130 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2 wit inspect .18 .17 1.9 9.6 .012 0      - - true 3.2  1.8  63   240 error 6.6 3.5 140 300
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 2 wit inspect .17 .17 2.2 9.4 .012 0      - - true 3.1  1.7  64   240 true 6.8 3.6 140 310
ldv-memsafety/memset2_true-valid-memsafety.c true 2 wit inspect .20 .20 2.2 9.7 .012 0      - - true 3.0  1.7  49   230 true 9.2 5.0 170 350
ldv-memsafety/memset3_true-valid-memsafety.c true 2 wit inspect .18 .17 2.4 9.9 .012 0      - - true 3.1  1.7  62   240 true 9.5 5.2 200 350
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 2 wit inspect .17 .17 2.0 9.6 .012 0      - - true 2.8  1.6  56   230 true 8.5 4.7 160 350
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 2 wit inspect .19 .19 1.8 9.9 .012 0      - - true 3.2  1.8  60   240 true 9.6 5.2 170 350
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 2 wit inspect .18 .17 1.9 9.7 .012 0      - - true 3.2  1.8  67   240 true 8.9 4.8 170 350
ldv-memsafety/memset_true-valid-memsafety.c true 2 wit inspect .20 .20 2.0 9.9 .012 0      - - true 3.0  1.7  68   240 true 9.4 5.0 200 340
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 1 wit inspect .48 .46 6.0 24   .098 0      true 5.9 3.2 110 280 true 8.3 4.4 160 320 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 1 wit inspect .44 .42 5.8 21   .086 0      true 6.4 3.4 130 300 true 9.9 5.2 110 330 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 1 wit inspect .45 .43 5.4 21   .098 0      true 6.5 3.5 120 290 true 8.5 4.6 160 330 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 1 wit inspect .78 .76 9.8 76   .098 0      true 5.8 3.1 130 280 true 20   11   310 1800 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 1 wit inspect .71 .70 9.3 74   .098 0      true 8.9 4.6 140 300 true 22   13   250 2200 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 1 wit inspect .51 .49 5.8 20   .098 0      true 8.9 4.6 150 350 true 14   7.4 270 720 - -
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 1 wit inspect 1.4  1.4  17   150   .098 .037  timeout 97   66   1800 4500 true 17   9.0 280 1000 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 1 wit inspect .48 .46 6.1 16   .098 0      timeout 95   73   1200 3900 false(valid-free) 25   13   300 630 - -
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 1 wit inspect .47 .45 5.9 16   .098 0      true 6.6 3.5 120 280 true 8.8 4.7 120 340 - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 1 wit inspect .43 .41 4.9 12   .086 0      true 6.0 3.2 120 300 false(valid-free) 11   5.6 210 350 - -
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect .44 .42 5.4 11   .086 0      false(valid-free) 6.3 3.4 140 300 false(valid-free) 7.9 4.2 94 330 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect .44 .42 5.5 15   .098 0      true 6.8 3.6 96 270 true 8.7 4.6 130 320 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect .42 .40 5.2 12   .094 0      true 5.7 3.0 110 290 false(valid-free) 10   5.5 160 370 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .45 .43 5.5 15   .098 0      true 7.6 4.0 130 290 timeout 97   85   1900 810 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .51 .49 5.2 20   .098 0      true 11   5.9 120 370 true 14   7.3 220 730 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .44 .42 5.2 15   .098 0      true 5.0 2.7 90 260 timeout 97   89   1800 580 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .47 .46 5.5 24   .098 0      true 7.0 3.8 75 280 true 9.1 4.8 170 320 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .44 .42 5.8 15   .098 0      true 5.9 3.2 120 310 true 7.8 4.2 150 320 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .51 .49 5.7 24   .098 0      true 6.4 3.4 110 310 true 8.1 4.3 150 330 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .54 .52 7.5 24   .098 0      true 9.7 5.1 160 420 true 42   26   700 4100 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .43 .41 5.7 13   .098 0      true 6.1 3.2 120 300 true 12   6.4 180 370 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .44 .42 4.6 12   .098 0      true 5.7 3.0 120 270 unknown 15   7.8 230 330 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .47 .46 6.1 16   .098 0      timeout 96   75   1100 3900 timeout 97   85   1500 1800 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .54 .52 6.0 16   .098 0      timeout 98   78   1700 3900 true 27   14   380 800 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .43 .41 5.3 14   .098 0      timeout 95   75   1100 3900 unknown 39   20   370 830 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .51 .50 5.7 14   .098 0      timeout 95   76   1000 3900 true 15   7.6 270 740 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .85 .83 10   16   .098 0      timeout 95   75   1100 3900 timeout 97   65   920 3400 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .42 .40 4.5 12   .086 .012  true 5.9 3.1 120 290 unknown 14   7.3 220 330 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .41 .39 5.1 13   .098 .045  true 5.7 3.1 110 290 unknown 16   8.6 280 330 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .41 .39 4.6 12   .098 0      true 5.5 2.9 84 280 unknown 15   7.8 230 310 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .45 .43 5.9 23   .086 0      true 6.6 3.5 140 310 true 8.9 4.7 140 330 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .41 .40 5.6 15   .086 0      true 6.0 3.2 130 300 true 16   8.6 250 430 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .47 .46 5.6 23   .098 0      true 6.6 3.5 140 300 true 9.8 5.2 140 340 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .43 .41 5.1 13   .086 0      true 6.1 3.2 130 280 unknown 48   26   420 1300 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .41 .39 4.8 12   .086 0      true 5.9 3.2 110 310 unknown 15   8.1 280 330 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .44 .42 4.8 12   .086 0      true 5.7 3.1 110 290 true 11   5.8 140 360 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .45 .43 5.1 15   .098 0      true 6.3 3.3 130 300 true 10   5.4 160 360 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .46 .44 5.1 14   .098 0      true 5.8 3.1 120 270 true 8.9 4.7 150 320 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .46 .44 4.9 14   .098 0      true 5.7 3.1 120 260 true 9.7 5.1 160 340 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .48 .48 4.3 11   .086 1.0    true 5.5 3.0 110 290 unknown 15   8.0 230 330 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .42 .40 5.4 11   .098 0      true 6.3 3.4 84 260 true 11   5.5 140 350 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect .40 .38 4.5 12   .086 0      true 5.4 2.9 110 270 unknown 15   8.1 250 320 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i true 2 wit inspect .47 .46 5.5 16   .098 0      - - true 5.8  3.1  110   290 timeout 960   930   15000 910
ldv-memsafety/memleaks_test11_true-valid-memsafety.i true 2 wit inspect .48 .46 6.5 20   .098 0      - - true 5.5  2.9  88   270 timeout 960   920   14000 820
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 2 wit inspect 1.4  1.3  17   150   .098 0      - - true 8.2  4.3  150   340 timeout 960   910   16000 1500
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 2 wit inspect .50 .48 5.6 25   .098 0      - - true 5.1  2.7  96   260 true 810   770   12000 970
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 2 wit inspect .51 .50 5.3 25   .098 0      - - true 5.2  2.8  110   260 true 170   140   2100 1200
ldv-memsafety/memleaks_test15_true-valid-memsafety.i true 2 wit inspect .57 .55 6.2 29   .098 0      - - true 5.8  3.1  83   260 timeout 960   910   15000 1300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 2 wit inspect .42 .40 5.9 14   .098 0      - - true 5.1  2.7  110   260 true 12   6.6 220 420
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i true 2 wit inspect .56 .54 7.1 17   .098 0      - - true 6.9  3.7  130   290 timeout 960   940   27000 2200
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    12000   2500   .098 0      - - error (invalid witness file) .46 .31 3.6 39 error (invalid witness file) 7.0 3.7 110 310
ldv-memsafety/memleaks_test18_true-valid-memsafety.i true 2 wit inspect .52 .50 6.1 14   .098 0      - - true 6.8  3.6  130   280 timeout 960   920   18000 880
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true 2 wit inspect .45 .43 5.8 16   .098 0      - - true 5.1  2.7  100   260 true 230   200   5700 820
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 2 wit inspect .43 .41 4.9 12   .086 .17   - - true 4.8  2.6  91   260 true 10   5.5 180 360
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true 2 wit inspect .42 .40 4.9 14   .098 0      - - true 5.6  3.0  110   280 true 14   7.5 240 460
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true 2 wit inspect .44 .42 5.5 14   .098 0      - - true 5.7  3.1  110   310 true 12   6.6 200 430
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true 2 wit inspect .44 .42 5.2 20   .086 0      - - true 5.0  2.7  95   260 true 420   380   5900 950
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true 2 wit inspect .44 .42 5.1 23   .086 0      - - true 6.3  3.4  110   310 timeout 960   910   17000 2900
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i true 2 wit inspect .44 .43 5.5 24   .098 0      - - true 5.4  2.9  89   260 timeout 960   910   19000 2600
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    9500   2000   .098 1.1    - - error (invalid witness file) .53 .32 12   39 error (invalid witness file) 5.5 2.9 110 290
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout (timeout) 0 wit inspect 900    900    10000   1800   .098 0      - - error (invalid witness file) .49 .33 3.5 39 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 2 wit inspect .41 .39 4.3 12   .086 .037  - - true 5.3  2.8  110   290 true 12   6.6 170 360
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 2 wit inspect .43 .41 4.5 12   .086 0      - - true 4.7  2.6  100   260 true 11   6.3 240 360
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 2 wit inspect .44 .42 5.6 12   .086 0      - - true 5.3  2.9  110   290 true 13   7.4 220 500
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 2 wit inspect .42 .41 5.1 13   .086 0      - - true 4.9  2.6  96   260 true 12   6.8 240 400
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 2 wit inspect .46 .44 5.9 15   .098 0      - - true 5.9  3.2  120   300 true 160   150   3500 610
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true 2 wit inspect .45 .43 5.1 15   .098 0      - - true 5.1  2.7  100   260 true 90   81   1100 620
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 2 wit inspect .41 .39 5.4 12   .086 0      - - true 4.8  2.6  93   260 true 11   5.9 200 360
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 2 wit inspect .40 .39 5.0 12   .098 0      - - true 5.1  2.7  100   260 true 11   6.3 190 380
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i true 2 wit inspect .23 .22 2.5 12   .012 0      - - true 3.2  1.8  67   240 unknown 6.0 3.3 120 310
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i true 2 wit inspect .23 .23 2.8 13   .012 0      - - true 3.1  1.7  62   240 unknown 6.4 3.4 140 310
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i true 2 wit inspect .23 .23 2.7 13   .012 0      - - true 3.2  1.8  67   240 unknown 6.2 3.3 120 300
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i true 2 wit inspect .23 .22 2.8 12   .012 0      - - true 3.2  1.8  66   250 unknown 6.3 3.4 130 310
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i true 2 wit inspect .26 .26 2.7 13   .012 0      - - true 3.3  1.9  52   240 unknown 5.8 3.1 130 290
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 1 wit inspect .23 .23 2.5 12   .012 0      true 3.4 1.9 66 240 unknown 6.4 3.4 140 310 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) 1 wit inspect .23 .23 2.5 13   .012 0      true 3.3 1.9 60 240 unknown 6.2 3.3 100 310 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 1 wit inspect .23 .22 2.8 12   .012 0      true 3.4 1.9 67 230 unknown 6.0 3.2 110 300 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 1 wit inspect .23 .23 3.0 13   .012 0      true 3.3 1.8 65 240 unknown 6.2 3.3 98 310 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 1 wit inspect .23 .23 2.4 12   .012 0      true 3.4 1.9 71 240 unknown 6.2 3.3 110 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 202 32000 32000 300000 100000 13   3.3  181 2800 1700 31000 130000   181 2000 1200 29000 76000   181 1200 770 14000 37000   181 17000 16000 300000 61000  
    correct results 146 202 150 150 1900 3300 10   2.1  65 2800 1700 31000 130000   60 2000 1200 29000 76000   54 1200 760 14000 36000   33 17000 16000 300000 50000  
        correct true 56 112 85 85 1100 1200 3.5 .59 52 0 0 0 0   42 0 0 0 0   54 1200 760 14000 36000   33 17000 16000 300000 50000  
        correct false 90 90 69 68 850 2100 6.7 1.6  13 2800 1700 31000 130000   18 2000 1200 29000 76000   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) 202
Run set sv-comp17.MemSafety-Heap