Tool CPAchecker 1.6.1-svn 24048
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 04:38:11 CET [[ 2017-01-14 23:48:17 CET ]] [[ 2017-01-14 23:57:43 CET ]] [[ 2017-01-14 23:52:59 CET ]] [[ 2017-01-15 00:03:21 CET ]]
Run set sv-comp17.MemSafety-Heap
Options -sv-comp17 -heap 10000M -disable-java-assertions [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/cpa-seq.2017-01-13_0438.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/cpa-seq.2017-01-13_0438.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 17   7.9  170 2300 0   0   false(valid-deref) 15    7.6  150   470 timeout 94   55   1000 7000 - -
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1 wit inspect 3.6 1.3  29 270 0   0   false(valid-deref) 7.1  3.8  60   290 true 62   53   1100 620 - -
memsafety/test-0235_false-valid-deref.i false(valid-deref) 1 wit inspect 5.0 1.6  39 270 0   0   false(valid-deref) 8.6  4.5  130   300 timeout 98   66   970 6900 - -
memsafety/960521-1_false-valid-free.i false(valid-free) 1 wit inspect 17   8.0  160 2500 0   0   false(valid-free) 18    9.2  160   480 out of memory 87   50   1200 7000 - -
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect 3.5 1.2  27 260 0   0   false(valid-free) 7.2  3.9  73   270 true 8.9 4.8 120 350 - -
memsafety/test-0232_false-valid-free.i false(valid-free) 1 wit inspect 3.4 1.2  28 260 0   0   false(valid-free) 5.5  3.0  76   270 false(valid-free) 28   17   440 700 - -
memsafety/20020406-1_false-valid-memtrack.i error 0 wit inspect 2.6 1.0  23 210 0   0   error (invalid witness file) .72 .46 11   41 error (invalid witness file) 6.1 3.3 82 280 - -
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.6 1.3  30 270 0   0   false(valid-memtrack) 6.9  3.6  94   280 true 8.4 4.5 160 330 - -
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 0 wit inspect 900   830    11000 4800 0   0   error (invalid witness file) .55 .34 11   40 error (invalid witness file) 7.1 3.8 93 300 - -
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 0 wit inspect 900   830    10000 4800 0   0   error (invalid witness file) .54 .34 11   40 error (invalid witness file) 6.3 3.3 94 310 - -
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 0 wit inspect 910   850    8200 4700 0   0   error (invalid witness file) .49 .32 11   40 error (invalid witness file) 5.8 3.1 120 290 - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 2.9 1.1  24 260 0   0   false(valid-memtrack) 4.9  2.7  74   250 unknown 16   8.3 220 340 - -
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.8 1.4  33 260 0   0   false(valid-memtrack) 5.8  3.1  73   270 unknown 33   18   390 570 - -
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 2.9 1.1  22 250 0   0   false(valid-memtrack) 4.4  2.4  55   260 unknown 14   7.5 180 330 - -
memsafety/test-0220_false-valid-memtrack.i timeout 0 wit inspect 960   210    5100 11000 0   0   error (invalid witness file) .52 .34 13   41 error (invalid witness file) 7.9 4.1 56 330 - -
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.0 1.2  23 260 0   0   false(valid-memtrack) 5.4  2.9  79   260 unknown 15   8.3 220 330 - -
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.9 1.3  33 270 0   0   false(valid-memtrack) 7.4  3.9  120   310 timeout 97   89   1700 580 - -
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.1 1.4  36 270 0   0   false(valid-memtrack) 7.9  4.1  110   300 timeout 96   83   1700 990 - -
memsafety/960521-1_true-valid-memsafety.i timeout 0 wit inspect 900   880    12000 4000 0   0   - - error (invalid witness file) .54 .34 9.7 40 error (invalid witness file) 6.0 3.2 93 300
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 0 wit inspect 900   840    12000 4700 0   0   - - error (invalid witness file) .60 .39 5.7 39 error (invalid witness file) 6.5 3.4 80 300
memsafety/test-0019_true-valid-memsafety.i true 2 wit inspect 2.9 1.1  24 250 0   0   - - true 3.9  2.1  61   250 true 16   9.3 280 550
memsafety/test-0102_true-valid-memsafety.i timeout 0 wit inspect 960   150    5000 11000 0   0   - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.2 3.3 99 310
memsafety/test-0134_true-valid-memsafety.i timeout 0 wit inspect 910   620    11000 8300 0   0   - - error (invalid witness file) .49 .31 8.9 39 error (invalid witness file) 6.8 3.5 100 300
memsafety/test-0158_true-valid-memsafety.i true 2 wit inspect 11   4.4  14 250 0   0   - - true 3.7  2.1  58   250 true 12   6.7 160 370
memsafety/test-0214_true-valid-memsafety.i timeout 0 wit inspect 900   290    6100 11000 0   0   - - error (invalid witness file) .54 .34 8.7 42 error (invalid witness file) 5.8 3.1 98 290
memsafety/test-0217_true-valid-memsafety.i timeout 0 wit inspect 920   430    1100 6600 0   0   - - error (invalid witness file) .51 .32 11   39 error (invalid witness file) 5.9 3.1 93 290
memsafety/test-0218_true-valid-memsafety.i timeout 0 wit inspect 920   300    6000 11000 0   0   - - error (invalid witness file) .68 .43 8.2 40 error (invalid witness file) 6.4 3.4 130 310
memsafety/test-0219_true-valid-memsafety.i timeout 0 wit inspect 960   200    5400 11000 0   0   - - error (invalid witness file) .50 .34 8.2 40 error (invalid witness file) 5.8 3.1 110 290
memsafety/test-0232_true-valid-memsafety.i timeout 0 wit inspect 900   750    7800 6700 0   0   - - error (invalid witness file) .55 .34 9.3 40 error (invalid witness file) 6.2 3.3 110 300
memsafety/test-0234_true-valid-memsafety.i timeout 0 wit inspect 970   140    4800 11000 0   0   - - error (invalid witness file) .49 .32 9.1 40 error (invalid witness file) 6.0 3.2 110 300
memsafety/test-0235_true-valid-memsafety.i timeout 0 wit inspect 970   170    4700 11000 0   0   - - error (invalid witness file) .52 .32 11   39 error (invalid witness file) 5.5 2.9 87 290
memsafety/test-0236_true-valid-memsafety.i timeout 0 wit inspect 970   140    5000 11000 0   0   - - error (invalid witness file) .51 .33 9.9 39 error (invalid witness file) 5.7 3.0 79 300
memsafety/test-0237_true-valid-memsafety.i timeout 0 wit inspect 970   140    4800 11000 0   0   - - error (invalid witness file) .49 .33 9.5 40 error (invalid witness file) 7.4 3.8 100 310
memsafety/test-0504_true-valid-memsafety.i timeout 0 wit inspect 900   650    9000 8000 0   0   - - error (invalid witness file) .52 .34 10   39 error (invalid witness file) 6.0 3.2 86 310
memsafety/test-0513_true-valid-memsafety.i timeout 0 wit inspect 900   860    13000 4500 0   0   - - error (invalid witness file) .62 .40 9.8 40 error (invalid witness file) 6.6 3.6 90 300
memsafety/test-0521_true-valid-memsafety.i timeout 0 wit inspect 900   850    11000 4700 0   0   - - error (invalid witness file) .57 .37 10   39 error (invalid witness file) 5.6 3.0 92 300
memsafety/test-memleak_nexttime_true-valid-memsafety.i true 2 wit inspect 3.2 1.1  29 260 0   0   - - true 4.1  2.2  57   260 true 60   47   1300 870
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 0 wit inspect 900   660    9200 8700 0   0   - - error (invalid witness file) .60 .39 9.1 40 error (invalid witness file) 5.2 2.8 92 300
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 0 wit inspect 900   620    9500 9500 0   0   - - error (invalid witness file) .52 .35 12   39 error (invalid witness file) 5.7 3.0 98 290
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 0 wit inspect 900   620    9100 9700 0   0   - - error (invalid witness file) .66 .41 5.9 40 error (invalid witness file) 6.0 3.2 96 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i timeout 0 wit inspect 920   250    5400 11000 0   0   - - error (invalid witness file) .58 .37 6.8 40 error (invalid witness file) 6.3 3.3 94 330
memsafety-ext/tree_dsw_true-valid-memsafety.i timeout 0 wit inspect 920   250    4800 11000 0   0   - - error (invalid witness file) .48 .31 6.9 42 error (invalid witness file) 6.3 3.3 97 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 0 wit inspect 910   360    6100 11000 0   0   - - error (invalid witness file) .51 .32 10   39 error (invalid witness file) 5.8 3.1 63 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i timeout 0 wit inspect 930   270    5300 11000 0   0   - - error (invalid witness file) .53 .32 10   39 error (invalid witness file) 6.1 3.3 110 290
memsafety-ext/tree_stack_true-valid-memsafety.i timeout 0 wit inspect 940   250    5200 11000 0   0   - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.6 3.5 100 310
memsafety-ext2/split_list_test05_false-valid-deref.i false(valid-deref) 1 wit inspect 5.5 1.7  45 290 0   0   false(valid-deref) 8.9  4.7  160   310 out of memory 78   51   1000 7000 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 0 wit inspect 900   550    7700 10000 0   0   error (invalid witness file) .50 .32 12   40 error (invalid witness file) 7.8 4.0 91 300 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 0 wit inspect 930   220    5500 11000 0   0   error (invalid witness file) .49 .33 11   40 error (invalid witness file) 6.4 3.4 100 290 - -
memsafety-ext2/length_test03_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.9 1.3  31 260 0   0   false(valid-memtrack) 8.8  4.6  91   280 true 8.4 4.4 170 320 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 0 wit inspect 900   230    5700 11000 0   0   error (invalid witness file) .63 .39 7.5 39 error (invalid witness file) 5.8 3.1 110 300 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 0 wit inspect 960   550    8800 10000 0   0   - - error (invalid witness file) .50 .33 10   40 error (invalid witness file) 6.1 3.2 79 310
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 0 wit inspect 910   210    5400 11000 0   0   - - error (invalid witness file) .49 .31 6.2 40 error (invalid witness file) 7.2 3.8 89 300
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 0 wit inspect 900   690    8300 8000 0   0   - - error (invalid witness file) .50 .32 8.5 40 error (invalid witness file) 6.0 3.2 100 290
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 0 wit inspect 910   240    5000 11000 0   0   - - error (invalid witness file) .60 .39 7.5 42 error (invalid witness file) 5.8 3.1 130 300
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 0 wit inspect 900   740    7500 6600 0   0   - - error (invalid witness file) .55 .35 8.9 39 error (invalid witness file) 6.9 3.7 83 300
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect 3.2 1.2  28 260 0   0   false(valid-deref) 5.3  2.8  63   260 true 8.5 4.6 140 350 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect 3.3 1.2  28 250 0   0   false(valid-deref) 7.2  3.8  72   270 true 18   9.6 270 540 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect 3.2 1.2  26 260 0   0   false(valid-deref) 6.0  3.3  78   260 false(valid-free) 8.8 4.7 150 320 - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 1 wit inspect 2.9 1.2  26 250 0   0   false(valid-free) 5.6  3.0  70   260 false(valid-free) 15   8.1 220 400 - -
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect 3.0 1.1  23 250 0   0   false(valid-free) 5.4  2.9  76   250 false(valid-free) 10   5.6 160 370 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.0 1.2  27 260 0   0   false(valid-memtrack) 5.0  2.7  81   270 unknown 15   8.2 240 330 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 2.9 1.2  26 260 0   0   false(valid-memtrack) 4.6  2.5  61   250 unknown 15   8.0 270 320 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.1 1.2  27 250 0   0   false(valid-memtrack) 4.8  2.6  64   270 unknown 17   9.0 220 360 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i true 2 wit inspect 40   14    50 690 0   0   - - true 11    5.5  190   420 timeout 960   920   18000 1500
list-ext-properties/list-ext_1_true-valid-memsafety.i true 2 wit inspect 25   12    220 1800 0   0   - - true 28    15    360   1100 timeout 960   880   12000 1600
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 0 wit inspect 900   830    11000 4800 0   0   - - error (invalid witness file) .63 .40 7.6 41 error (invalid witness file) 7.0 3.7 100 310
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 2 wit inspect 47   17    59 810 0   0   - - true 15    7.8  160   640 timeout 960   900   17000 1500
list-ext-properties/test-0019_1_true-valid-memsafety.i true 2 wit inspect 2.8 1.1  23 250 0   0   - - true 4.1  2.3  68   260 true 49   31   520 810
list-ext-properties/test-0158_1_true-valid-memsafety.i true 2 wit inspect 3.0 1.1  27 250 0   0   - - true 3.8  2.1  38   250 true 12   6.4 170 390
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 0 wit inspect 900   780    9400 5900 0   0   - - error (invalid witness file) .49 .32 9.2 40 error (invalid witness file) 6.3 3.3 100 310
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 0 wit inspect 900   820    11000 5300 0   0   - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 6.3 3.3 78 310
list-ext-properties/test-0232_1_true-valid-memsafety.i true 2 wit inspect 33   9.4  33 390 0   0   - - true 8.5  4.5  120   390 timeout 960   910   14000 1200
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 0 wit inspect 900   780    9000 5400 0   0   - - error (invalid witness file) .53 .35 7.5 39 error (invalid witness file) 7.6 4.0 69 290
list-ext-properties/test-0513_1_true-valid-memsafety.i true 2 wit inspect 4.7 1.5  34 290 0   0   - - true 6.3  3.4  90   280 timeout 960   870   19000 1700
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 0 wit inspect 900   680    10000 8000 0   0   - - error (invalid witness file) .55 .35 7.5 42 error (invalid witness file) 7.1 3.7 120 330
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect 2.4 .98 23 240 0   0   false(valid-deref) 4.1  2.3  50   250 false(valid-deref) 8.7 4.7 190 350 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.4 .99 21 240 0   0   false(valid-deref) 3.7  2.1  55   250 false(valid-deref) 11   5.9 170 360 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect 2.2 1.0  20 230 0   0   false(valid-deref) 3.5  2.0  49   250 false(valid-deref) 8.6 4.6 120 320 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.2 .97 19 230 0   0   false(valid-deref) 3.5  2.0  43   250 false(valid-deref) 8.7 4.6 130 320 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 1 wit inspect 12   3.7  98 740 0   0   false(valid-deref) 20    11    280   830 timeout 97   57   1000 6500 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 1 wit inspect 12   3.8  87 740 0   0   false(valid-deref) 18    9.9  200   830 timeout 98   55   1100 5900 - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.4 .95 21 230 0   0   false(valid-deref) 3.1  1.8  41   240 false(valid-deref) 8.9 4.8 120 320 - -
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.4 .95 20 240 0   0   false(valid-deref) 3.6  2.0  62   250 false(valid-deref) 8.8 4.7 110 350 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 9.5 3.7  11 240 0   0   false(valid-deref) 3.4  1.9  49   250 false(valid-deref) 7.5 4.0 160 320 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.3 .98 19 240 0   0   false(valid-deref) 4.1  2.3  39   250 false(valid-deref) 9.0 4.7 99 330 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.3 .97 21 230 0   0   false(valid-deref) 3.7  2.1  62   250 false(valid-deref) 8.9 4.7 120 320 - -
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect 2.2 .95 18 230 0   0   false(valid-deref) 3.2  1.8  65   240 false(valid-deref) 7.6 4.0 130 320 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 2 wit inspect 76   51    820 4100 0   0   - - true 49    27    740   2400 timeout 960   890   13000 5400
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true 2 wit inspect 14   6.0  100 2300 0   0   - - true 11    5.5  110   420 true 13   7.0 210 370
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 2 wit inspect 8.7 2.4  63 470 0   0   - - true 9.7  5.1  98   360 true 15   8.4 220 490
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true 2 wit inspect 15   6.7  130 2300 0   0   - - true 11    5.5  110   490 true 12   6.5 160 380
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 2 wit inspect 47   25    390 3900 0   0   - - true 35    19    420   1400 true 19   10   190 490
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 2 wit inspect 7.7 2.1  53 480 0   0   - - true 8.7  4.6  110   330 true 13   7.1 230 420
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 2 wit inspect 2.3 1.0  21 230 0   0   - - true 3.1  1.8  57   230 error 6.9 3.7 120 320
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2 wit inspect 2.4 .99 19 240 0   0   - - true 3.1  1.8  53   240 error 7.3 3.9 77 300
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 2 wit inspect 2.2 .99 18 230 0   0   - - true 2.8  1.6  40   230 true 7.5 4.0 70 310
ldv-memsafety/memset2_true-valid-memsafety.c true 2 wit inspect 2.3 .95 20 240 0   0   - - true 3.9  2.2  47   240 true 9.4 5.1 130 360
ldv-memsafety/memset3_true-valid-memsafety.c true 2 wit inspect 2.3 .95 19 240 0   0   - - true 3.0  1.7  45   230 true 9.8 5.3 180 360
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 2 wit inspect 2.2 .93 17 230 0   0   - - true 3.0  1.7  37   240 true 9.9 5.3 140 340
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 2 wit inspect 2.3 .99 20 240 0   0   - - true 3.3  1.9  48   240 true 10   5.6 100 350
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 2 wit inspect 2.2 .95 21 220 0   0   - - true 3.1  1.7  57   240 true 11   5.7 98 340
ldv-memsafety/memset_true-valid-memsafety.c true 2 wit inspect 2.2 .94 20 230 0   0   - - true 3.0  1.7  46   240 true 9.3 5.1 150 350
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 1 wit inspect 3.7 1.3  33 260 0   0   false(valid-deref) 6.5  3.4  86   310 false(valid-deref) 14   7.4 150 370 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 1 wit inspect 3.8 1.3  33 260 0   0   false(valid-deref) 6.7  3.6  110   320 true 15   7.9 240 450 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 1 wit inspect 3.9 1.3  32 260 0   0   false(valid-deref) 8.6  4.5  89   330 true 16   8.2 190 450 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 1 wit inspect 3.6 1.2  30 260 0   0   false(valid-deref) 8.4  4.4  77   300 true 9.6 5.1 140 350 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 1 wit inspect 4.1 1.4  33 260 0   0   false(valid-deref) 7.0  3.7  86   280 timeout 97   85   1600 650 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 1 wit inspect 3.8 1.3  30 260 0   0   false(valid-free) 9.5  5.0  90   320 false(valid-free) 18   11   280 560 - -
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 1 wit inspect 22   6.6  23 280 0   0   false(valid-free) 8.6  4.6  84   320 true 11   5.9 190 370 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 1 wit inspect 4.1 1.4  32 270 0   0   false(valid-free) 7.7  4.0  73   310 true 10   5.5 160 370 - -
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 1 wit inspect 3.8 1.3  32 260 0   0   false(valid-free) 6.6  3.5  110   320 false(valid-free) 21   11   200 540 - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 1 wit inspect 3.5 1.3  32 260 0   0   false(valid-free) 6.1  3.3  120   290 false(valid-free) 12   6.4 110 360 - -
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect 3.6 1.3  31 250 0   0   false(valid-free) 6.0  3.2  94   300 false(valid-free) 7.7 4.1 150 320 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect 3.7 1.3  31 260 0   0   false(valid-free) 7.4  4.0  110   320 false(valid-free) 14   7.9 180 470 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect 3.6 1.3  28 260 0   0   false(valid-free) 6.6  3.5  100   320 false(valid-free) 9.6 5.0 140 350 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 15   5.3  17 260 0   0   false(valid-memtrack) 7.0  3.7  100   300 true 9.1 4.8 140 330 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.9 1.3  29 270 0   0   false(valid-memtrack) 7.0  3.7  100   320 unknown 79   59   1300 750 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.7 1.3  30 260 0   0   false(valid-memtrack) 6.0  3.2  81   300 unknown 15   8.1 200 350 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.8 1.3  28 270 0   0   false(valid-memtrack) 6.8  3.6  110   320 timeout 97   88   2200 500 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.6 1.3  31 260 0   0   false(valid-memtrack) 6.2  3.3  71   300 unknown 16   8.8 270 350 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.1 1.4  29 260 0   0   false(valid-memtrack) 7.9  4.2  100   320 unknown 20   11   330 360 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.7 1.3  34 260 0   0   false(valid-memtrack) 6.7  3.6  80   320 true 11   5.9 220 350 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.9 1.3  28 260 0   0   false(valid-memtrack) 7.4  3.9  68   310 unknown 15   8.2 200 330 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.7 1.3  34 260 0   0   false(valid-memtrack) 6.9  3.6  90   320 unknown 15   7.8 270 330 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.5 1.5  39 270 0   0   false(valid-memtrack) 7.5  3.9  110   290 true 12   6.1 220 380 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 5.6 1.7  43 290 0   0   false(valid-memtrack) 8.5  4.4  130   330 true 17   8.8 160 430 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.7 1.3  31 260 0   0   false(valid-memtrack) 6.5  3.4  82   300 true 11   6.0 130 350 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 20   6.3  23 290 0   0   false(valid-memtrack) 7.8  4.1  110   310 true 14   7.1 150 380 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.6 1.5  37 270 0   0   false(valid-memtrack) 8.5  4.5  110   280 out of memory 78   49   780 7000 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.5 1.3  28 260 0   0   false(valid-memtrack) 6.6  3.5  100   290 unknown 13   6.9 200 330 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.7 1.3  30 260 0   0   false(valid-memtrack) 6.0  3.2  120   270 unknown 15   8.1 250 340 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.7 1.3  27 260 0   0   false(valid-memtrack) 7.0  3.7  81   280 unknown 14   7.8 200 320 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 4.1 1.4  31 260 0   0   false(valid-memtrack) 7.3  3.9  93   300 true 12   6.3 170 360 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.8 1.4  30 260 0   0   false(valid-memtrack) 5.9  3.2  69   290 true 11   5.8 180 360 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.8 1.3  29 260 0   0   false(valid-memtrack) 6.5  3.4  110   300 true 15   8.1 160 380 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.6 1.3  27 260 0   0   false(valid-memtrack) 5.9  3.2  78   300 unknown 17   9.2 180 330 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.8 1.3  30 260 0   0   false(valid-memtrack) 6.2  3.3  110   320 unknown 17   9.2 160 330 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.4 1.2  31 260 0   0   false(valid-memtrack) 5.9  3.2  99   310 true 9.3 5.0 170 350 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 15   5.3  18 260 0   0   false(valid-memtrack) 5.9  3.1  100   280 unknown 63   49   760 470 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.7 1.3  29 260 0   0   false(valid-memtrack) 7.6  4.0  110   310 unknown 17   9.2 260 320 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.8 1.3  31 270 0   0   false(valid-memtrack) 6.7  3.5  120   300 unknown 17   9.1 150 310 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.5 1.2  30 260 0   0   false(valid-memtrack) 5.7  3.1  70   290 unknown 15   8.2 260 330 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.6 1.3  31 260 0   0   false(valid-memtrack) 6.3  3.3  92   300 unknown 15   8.0 240 320 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 1 wit inspect 3.5 1.3  29 260 0   0   false(valid-memtrack) 6.8  3.6  110   320 unknown 19   9.9 170 340 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i true 2 wit inspect 3.6 1.3  27 260 0   0   - - true 5.0  2.7  74   260 timeout 960   930   20000 970
ldv-memsafety/memleaks_test11_true-valid-memsafety.i true 2 wit inspect 3.9 1.4  30 270 0   0   - - true 5.2  2.8  69   260 timeout 960   920   19000 880
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 2 wit inspect 22   6.6  23 290 0   0   - - true 8.0  4.2  110   310 timeout 960   910   15000 1300
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 2 wit inspect 3.8 1.3  30 260 0   0   - - true 4.9  2.7  51   250 true 870   830   13000 1100
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 2 wit inspect 3.7 1.3  27 270 0   0   - - true 5.9  3.1  45   270 true 190   160   3200 980
ldv-memsafety/memleaks_test15_true-valid-memsafety.i false(valid-memtrack) -16 wit inspect 4.2 1.4  33 260 0   0   - - false(valid-memtrack) 7.0  3.7  96   330 true 200   180   4100 840
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 2 wit inspect 3.4 1.2  29 260 0   0   - - true 4.9  2.7  69   260 true 12   6.6 210 420
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i true 2 wit inspect 5.1 1.6  43 290 0   0   - - true 6.6  3.5  100   290 timeout 960   930   16000 2200
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i error 0 wit inspect 3.3 1.2  29 260 0   0   - - error (invalid witness file) .52 .33 11   42 error (invalid witness file) 6.4 3.4 120 300
ldv-memsafety/memleaks_test18_true-valid-memsafety.i true 2 wit inspect 4.6 1.5  39 270 0   0   - - true 7.8  4.2  87   270 timeout 960   920   17000 930
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true 2 wit inspect 3.8 1.3  33 260 0   0   - - true 5.0  2.7  56   260 true 220   200   3900 810
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 2 wit inspect 3.4 1.2  28 260 0   0   - - true 5.1  2.7  98   280 true 10   5.4 91 360
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true 2 wit inspect 3.6 1.3  26 260 0   0   - - true 5.6  3.0  83   260 true 14   7.6 180 460
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true 2 wit inspect 3.7 1.3  29 270 0   0   - - true 4.9  2.6  69   260 true 11   6.4 170 440
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true 2 wit inspect 3.8 1.3  35 260 0   0   - - true 5.0  2.7  64   260 true 560   520   8100 880
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true 2 wit inspect 3.9 1.4  32 270 0   0   - - true 5.8  3.1  86   260 timeout 960   910   16000 3200
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i true 2 wit inspect 3.9 1.3  31 270 0   0   - - true 5.5  2.9  81   260 timeout 960   920   21000 2300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) -16 wit inspect 3.6 1.3  31 260 0   0   - - false(valid-deref) 6.7  3.5  130   300 true 11   5.8 120 360
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i false(valid-deref) -16 wit inspect 4.2 1.4  31 260 0   0   - - false(valid-deref) 8.0  4.2  92   320 true 60   49   1400 530
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 2 wit inspect 3.3 1.2  30 250 0   0   - - true 4.7  2.6  78   260 true 12   6.4 150 370
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 2 wit inspect 3.4 1.2  28 260 0   0   - - true 4.5  2.4  74   260 true 11   5.8 130 370
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 2 wit inspect 3.4 1.2  30 260 0   0   - - true 4.6  2.5  83   250 true 16   8.7 150 520
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 2 wit inspect 14   4.9  18 260 0   0   - - true 4.7  2.5  77   260 true 14   7.5 160 410
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 2 wit inspect 3.9 1.4  29 270 0   0   - - true 5.0  2.7  70   260 true 170   160   2000 610
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true 2 wit inspect 3.7 1.3  32 270 0   0   - - true 5.2  2.8  82   290 true 90   81   1200 620
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 2 wit inspect 3.4 1.2  26 260 0   0   - - true 4.8  2.6  53   260 true 12   6.5 240 380
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 2 wit inspect 3.6 1.2  28 260 0   0   - - true 4.7  2.6  73   260 true 11   6.3 180 370
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i true 2 wit inspect 9.5 3.8  12 230 0   0   - - true 3.7  2.1  40   240 unknown 6.1 3.2 81 300
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i true 2 wit inspect 2.3 .96 22 230 0   0   - - true 3.5  2.0  41   250 unknown 6.2 3.3 88 310
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i true 2 wit inspect 2.4 .99 21 240 0   0   - - true 3.4  1.9  68   240 unknown 6.6 3.5 110 300
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i true 2 wit inspect 2.3 .99 19 240 0   0   - - true 3.8  2.1  49   240 unknown 7.5 3.9 82 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i true 2 wit inspect 2.5 1.0  23 230 0   0   - - true 4.1  2.2  40   240 unknown 6.5 3.5 100 290
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 1 wit inspect 9.7 3.9  12 240 0   0   false(valid-deref) 3.7  2.1  62   250 unknown 7.3 3.9 76 310 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) 1 wit inspect 2.5 1.1  23 240 0   0   false(valid-deref) 3.8  2.1  59   240 unknown 6.0 3.2 120 300 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 1 wit inspect 2.3 .99 20 240 0   0   false(valid-deref) 3.3  1.9  62   240 unknown 7.3 3.9 82 300 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 1 wit inspect 2.3 .97 20 240 0   0   false(valid-deref) 3.4  1.9  56   240 unknown 6.4 3.4 100 300 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 1 wit inspect 2.4 1.0  20 240 0   0   false(valid-free) 3.5  2.0  68   240 unknown 6.2 3.3 100 310 - -
../../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 140 39000 21000   320000 410000 0   0   181 550 300 7500 25000   181 2200 1400 31000 79000   181 420 230 5800 21000   181 16000 14000 260000 56000  
    correct results 135 188 890 360   5700 55000 0   0   82 550 290 7400 25000   42 2100 1400 30000 77000   53 380 210 5200 19000   33 15000 14000 250000 43000  
        correct true 53 106 490 210   3000 28000 0   0   0 0 0 0 0   21 0 0 0 0   53 380 210 5200 19000   33 15000 14000 250000 43000  
        correct false 82 82 400 140   2700 26000 0   0   82 550 290 7400 25000   21 2100 1400 30000 77000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 3 -48 12 4.1 94 780 0   0   0 0 0 0 0   0 0 0 0 0   3 22 11 310 940   3 270 230 5700 1700  
        incorrect true 0
        incorrect false 3 -48 12 4.1 94 780 0   0   0 0 0 0 0   0 0 0 0 0   3 22 11 310 940   0 270 230 5700 1700  
score (181 tasks, max score: 272) 140
Run set sv-comp17.MemSafety-Heap