Tool ULTIMATE Kojak f7c3ed31
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 06:29:29 CET [[ 2017-01-15 05:44:30 CET ]] [[ 2017-01-15 05:59:35 CET ]] [[ 2017-01-15 05:44:48 CET ]] [[ 2017-01-15 06:00:32 CET ]]
Run set sv-comp17.MemSafety-Heap
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
memsafety/960521-1_false-valid-deref.i timeout 0 wit inspect 900   820   11000 1700 2.3 0      error (invalid witness file) .57 .37 11   43 error (invalid witness file) 6.0 3.1 120 310 - -
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1 wit inspect 170   130   2100 1600 2.5 0      false(valid-deref) 5.9  3.2  65   290 true 56   48   1100 650 - -
memsafety/test-0235_false-valid-deref.i timeout 0 wit inspect 900   890   12000 530 2.3 0      error (invalid witness file) .51 .34 9.1 39 error (invalid witness file) 5.7 3.2 130 290 - -
memsafety/960521-1_false-valid-free.i timeout 0 wit inspect 900   820   12000 1700 2.3 0      error (invalid witness file) .52 .33 11   41 error (invalid witness file) 6.0 3.2 120 300 - -
memsafety/test-0158_false-valid-free.i false(valid-free) 1 wit inspect 15   6.0 120 500 2.5 0      true 4.5  2.4  55   270 true 10   5.5 160 360 - -
memsafety/test-0232_false-valid-free.i timeout 0 wit inspect 900   830   11000 1800 2.3 0      error (invalid witness file) .52 .35 12   41 error (invalid witness file) 6.0 3.2 120 300 - -
memsafety/20020406-1_false-valid-memtrack.i timeout 0 wit inspect 900   860   12000 1100 2.3 0      error (invalid witness file) .53 .34 12   42 error (invalid witness file) 5.9 3.1 120 300 - -
memsafety/20051113-1.c_false-valid-memtrack.i timeout 0 wit inspect 900   790   12000 2200 2.5 0      error (invalid witness file) .60 .38 9.5 39 error (invalid witness file) 5.5 3.0 120 290 - -
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 0 wit inspect 900   780   12000 3100 2.5 0      error (invalid witness file) .55 .34 12   41 error (invalid witness file) 5.9 3.1 110 290 - -
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 0 wit inspect 23   8.9 220 540 2.6 0      error (invalid witness file) .51 .34 3.5 40 error (invalid witness file) 5.8 3.1 110 300 - -
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 0 wit inspect 900   790   12000 4000 2.4 0      error (invalid witness file) .54 .35 11   41 error (invalid witness file) 7.2 3.8 140 310 - -
memsafety/test-0019_false-valid-memtrack.i unknown 0 wit inspect 42   23   450 600 2.6 0      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 5.8 3.1 120 300 - -
memsafety/test-0102_false-valid-memtrack.i timeout 0 wit inspect 900   820   12000 2000 2.3 0      error (invalid witness file) .52 .34 10   41 error (invalid witness file) 6.0 3.2 110 300 - -
memsafety/test-0158_false-valid-memtrack.i unknown 0 wit inspect 16   5.6 140 460 2.6 0      error (invalid witness file) .58 .37 9.9 40 error (invalid witness file) 6.5 3.5 84 290 - -
memsafety/test-0220_false-valid-memtrack.i timeout 0 wit inspect 900   890   11000 760 2.3 0      error (invalid witness file) .49 .30 10   40 error (invalid witness file) 7.1 3.8 98 300 - -
memsafety/test-0232_false-valid-memtrack.i unknown 0 wit inspect 400   360   5300 1700 2.5 0      error (invalid witness file) .55 .36 12   39 error (invalid witness file) 5.9 3.1 100 300 - -
memsafety/test-0234_false-valid-memtrack.i timeout 0 wit inspect 900   890   11000 600 2.3 0      error (invalid witness file) .59 .37 8.4 39 error (invalid witness file) 5.9 3.2 120 290 - -
memsafety/test-0235_false-valid-memtrack.i timeout 0 wit inspect 900   890   13000 570 2.3 0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.9 3.1 94 310 - -
memsafety/960521-1_true-valid-memsafety.i timeout 0 wit inspect 900   820   12000 1400 2.3 0      - - error (invalid witness file) .49 .32 13   39 error (invalid witness file) 5.8 3.1 110 300
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 0 wit inspect 900   800   14000 4000 2.4 0      - - error (invalid witness file) .54 .34 9.7 39 error (invalid witness file) 5.5 2.9 110 300
memsafety/test-0019_true-valid-memsafety.i true 2 wit inspect 35   23   400 760 2.5 0      - - true 4.0  2.2  59   250 true 17   9.9 370 540
memsafety/test-0102_true-valid-memsafety.i timeout 0 wit inspect 900   820   13000 2300 2.3 0      - - error (invalid witness file) .55 .37 12   43 error (invalid witness file) 6.6 3.5 150 320
memsafety/test-0134_true-valid-memsafety.i timeout 0 wit inspect 900   820   12000 1600 2.3 0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 5.6 3.0 110 300
memsafety/test-0158_true-valid-memsafety.i true 2 wit inspect 11   4.1 91 480 2.5 0      - - true 3.9  2.1  49   260 true 11   6.2 210 390
memsafety/test-0214_true-valid-memsafety.i timeout 0 wit inspect 900   830   12000 1000 2.3 0      - - error (invalid witness file) .52 .33 9.6 43 error (invalid witness file) 6.1 3.2 110 300
memsafety/test-0217_true-valid-memsafety.i timeout 0 wit inspect 900   830   12000 1100 2.3 0      - - error (invalid witness file) .53 .34 9.8 43 error (invalid witness file) 5.2 2.8 110 280
memsafety/test-0218_true-valid-memsafety.i timeout 0 wit inspect 900   830   12000 1600 2.7 0      - - error (invalid witness file) .50 .31 11   39 error (invalid witness file) 5.9 3.1 98 300
memsafety/test-0219_true-valid-memsafety.i timeout 0 wit inspect 900   890   11000 710 2.3 0      - - error (invalid witness file) .50 .33 10   39 error (invalid witness file) 5.9 3.1 130 310
memsafety/test-0232_true-valid-memsafety.i timeout 0 wit inspect 900   830   13000 2000 2.3 0      - - error (invalid witness file) .52 .35 11   40 error (invalid witness file) 6.7 3.5 130 300
memsafety/test-0234_true-valid-memsafety.i timeout 0 wit inspect 900   890   12000 520 2.7 0      - - error (invalid witness file) .50 .32 9.7 40 error (invalid witness file) 6.2 3.2 120 300
memsafety/test-0235_true-valid-memsafety.i timeout 0 wit inspect 900   890   12000 510 2.3 0      - - error (invalid witness file) .61 .39 10   43 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0236_true-valid-memsafety.i timeout 0 wit inspect 900   890   12000 540 2.3 0      - - error (invalid witness file) .48 .31 12   39 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0237_true-valid-memsafety.i timeout 0 wit inspect 900   890   11000 570 2.3 0      - - error (invalid witness file) .52 .34 6.9 43 error (invalid witness file) 5.9 3.2 110 300
memsafety/test-0504_true-valid-memsafety.i timeout 0 wit inspect 900   810   14000 2200 2.3 0      - - error (invalid witness file) .54 .35 13   41 error (invalid witness file) 5.9 3.2 120 300
memsafety/test-0513_true-valid-memsafety.i timeout 0 wit inspect 900   840   11000 1500 2.7 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.0 3.2 120 290
memsafety/test-0521_true-valid-memsafety.i timeout 0 wit inspect 900   840   12000 1900 2.3 0      - - error (invalid witness file) .54 .36 12   40 error (invalid witness file) 6.1 3.2 120 300
memsafety/test-memleak_nexttime_true-valid-memsafety.i true 2 wit inspect 110   85   1400 890 2.5 0      - - true 4.1  2.3  86   240 true 53   41   1100 840
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 0 wit inspect 900   820   12000 1900 2.3 0      - - error (invalid witness file) .59 .38 9.0 41 error (invalid witness file) 5.9 3.1 130 300
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 0 wit inspect 900   830   10000 1700 2.3 0      - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 5.7 3.0 120 290
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 0 wit inspect 900   850   12000 1800 2.3 0      - - error (invalid witness file) .54 .34 12   40 error (invalid witness file) 6.0 3.1 110 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i timeout 0 wit inspect 900   810   13000 1200 2.3 0      - - error (invalid witness file) .55 .36 11   40 error (invalid witness file) 6.1 3.2 110 280
memsafety-ext/tree_dsw_true-valid-memsafety.i timeout 0 wit inspect 900   810   13000 1500 2.3 0      - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.2 3.2 120 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 0 wit inspect 900   820   14000 1600 2.3 0      - - error (invalid witness file) .49 .31 5.1 40 error (invalid witness file) 6.0 3.2 120 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i timeout 0 wit inspect 900   810   12000 1700 2.3 0      - - error (invalid witness file) .49 .31 10   40 error (invalid witness file) 6.1 3.2 120 300
memsafety-ext/tree_stack_true-valid-memsafety.i timeout 0 wit inspect 900   810   13000 1900 2.6 0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.2 3.3 120 300
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 0 wit inspect 900   820   11000 2000 2.3 0      error (invalid witness file) .54 .34 12   45 error (invalid witness file) 6.2 3.3 140 300 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 0 wit inspect 900   810   13000 1500 2.3 0      error (invalid witness file) .52 .32 11   40 error (invalid witness file) 6.0 3.2 120 300 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 0 wit inspect 900   860   12000 1600 2.4 0      error (invalid witness file) .55 .36 11   40 error (invalid witness file) 6.2 3.3 130 300 - -
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 0 wit inspect 900   840   10000 1500 2.3 0      error (invalid witness file) .53 .33 14   40 error (invalid witness file) 6.2 3.3 110 300 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 0 wit inspect 900   810   12000 2000 2.3 0      error (invalid witness file) .52 .34 13   41 error (invalid witness file) 6.4 3.3 120 310 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 0 wit inspect 900   810   12000 1600 2.3 0      - - error (invalid witness file) .51 .32 8.3 41 error (invalid witness file) 6.1 3.2 110 300
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 0 wit inspect 900   820   11000 1800 2.3 0      - - error (invalid witness file) .50 .31 9.5 40 error (invalid witness file) 6.5 3.4 130 300
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 0 wit inspect 900   840   10000 1600 2.3 0      - - error (invalid witness file) .66 .42 7.9 40 error (invalid witness file) 5.7 3.0 130 300
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 0 wit inspect 900   810   12000 2000 2.3 0      - - error (invalid witness file) .53 .32 12   39 error (invalid witness file) 6.2 3.3 120 300
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 0 wit inspect 900   810   10000 1600 2.5 0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.2 3.3 120 300
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 1 wit inspect 17   7.1 150 480 2.6 0      true 17    8.6  120   600 true 8.7 4.7 160 360 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 0 wit inspect 900   810   12000 1500 2.3 0      error (invalid witness file) .50 .32 11   41 error (invalid witness file) 6.0 3.2 120 310 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 1 wit inspect 38   21   410 720 2.5 0      true 4.5  2.5  58   270 false(valid-free) 8.4 4.6 160 330 - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 1 wit inspect 32   19   330 610 2.5 0      true 14    7.3  130   700 false(valid-free) 9.5 5.0 170 360 - -
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 1 wit inspect 26   14   250 660 2.5 0      false(valid-free) 4.9  2.7  47   270 true 9.0 4.9 130 350 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i unknown 0 wit inspect 220   190   2600 1000 2.8 0      error (invalid witness file) .54 .36 13   41 error (invalid witness file) 6.4 3.3 120 300 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i unknown 0 wit inspect 23   9.9 210 510 2.9 0      error (invalid witness file) .52 .33 10   40 error (invalid witness file) 6.0 3.2 130 300 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i unknown 0 wit inspect 250   220   3200 1200 2.5 0      error (invalid witness file) .53 .34 11   39 error (invalid witness file) 6.1 3.3 110 300 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 0 wit inspect 900   820   11000 1500 2.3 0      - - error (invalid witness file) .55 .36 13   40 error (invalid witness file) 5.9 3.1 120 300
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 0 wit inspect 900   810   13000 1400 2.3 0      - - error (invalid witness file) .48 .31 9.4 39 error (invalid witness file) 6.1 3.3 130 300
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 0 wit inspect 900   810   14000 1300 2.4 0      - - error (invalid witness file) .49 .32 9.7 40 error (invalid witness file) 5.7 3.0 120 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 0 wit inspect 900   820   11000 1700 2.3 0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.3 3.4 140 300
list-ext-properties/test-0019_1_true-valid-memsafety.i true 2 wit inspect 74   55   940 890 2.5 0      - - true 3.9  2.2  78   260 true 41   27   570 800
list-ext-properties/test-0158_1_true-valid-memsafety.i true 2 wit inspect 23   11   240 690 2.5 0      - - true 3.8  2.1  31   250 true 11   6.2 210 360
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 0 wit inspect 900   820   10000 1400 2.9 0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.1 3.2 120 300
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 0 wit inspect 900   820   11000 1400 2.3 0      - - error (invalid witness file) .53 .35 12   40 error (invalid witness file) 6.7 3.5 92 300
list-ext-properties/test-0232_1_true-valid-memsafety.i timeout 0 wit inspect 900   840   10000 2200 2.3 0      - - error (invalid witness file) .52 .33 8.7 42 error (invalid witness file) 5.6 3.1 110 290
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 0 wit inspect 900   810   13000 1900 2.3 0      - - error (invalid witness file) .62 .39 9.6 43 error (invalid witness file) 6.1 3.2 120 300
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 0 wit inspect 900   810   13000 1700 2.3 0      - - error (invalid witness file) .53 .35 12   39 error (invalid witness file) 7.4 3.8 150 330
memory-alloca/c.03-alloca_true-valid-memsafety.i true 2 wit inspect 210   170   3000 1300 2.5 0      - - timeout 900    880    20000   3900 true 15   8.2 240 510
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 1 wit inspect 7.7 2.3 56 360 2.5 0      true 3.1  1.8  44   250 true 10   5.5 170 370 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 8.6 2.6 68 440 2.5 0      true 3.2  1.8  62   250 false(valid-deref) 8.2 4.4 170 350 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 1 wit inspect 6.2 1.9 56 340 2.5 0      false(valid-deref) 3.6  2.0  74   250 false(valid-deref) 7.4 4.0 120 320 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 1 wit inspect 6.3 2.0 45 350 2.5 0      false(valid-deref) 3.4  1.9  25   240 false(valid-deref) 7.7 4.1 140 310 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 0 wit inspect 900   810   14000 1200 2.3 0      error (invalid witness file) .52 .32 12   41 error (invalid witness file) 6.3 3.3 110 310 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout 0 wit inspect 900   810   13000 1000 2.3 0      error (invalid witness file) .58 .36 10   40 error (invalid witness file) 5.5 2.9 110 280 - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 5.9 1.9 47 320 2.8 0      false(valid-deref) 3.2  1.8  48   250 true 7.8 4.1 150 320 - -
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 5.7 1.9 49 320 2.5 0      false(valid-deref) 3.2  1.8  31   240 true 7.7 4.2 170 320 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1 wit inspect 6.2 2.0 43 320 2.5 0      false(valid-deref) 3.1  1.8  56   230 true 7.9 4.2 170 320 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1 wit inspect 5.7 1.8 46 320 2.5 0      false(valid-deref) 3.7  2.1  37   240 true 7.7 4.2 140 330 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1 wit inspect 6.0 1.8 50 330 2.5 0      false(valid-deref) 3.1  1.7  56   230 true 7.8 4.2 130 330 - -
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1 wit inspect 6.3 2.0 55 340 2.5 0      false(valid-deref) 3.2  1.8  48   250 true 7.4 4.0 120 330 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 0 wit inspect 900   830   13000 1600 2.3 .0041 - - error (invalid witness file) .48 .30 6.5 39 error (invalid witness file) 5.8 3.1 110 300
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c timeout 0 wit inspect 900   800   13000 1700 2.3 0      - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 5.6 3.0 88 300
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout 0 wit inspect 900   810   13000 1000 2.3 0      - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 5.7 3.1 110 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c timeout 0 wit inspect 900   800   12000 1300 2.4 0      - - error (invalid witness file) .54 .35 11   39 error (invalid witness file) 6.3 3.4 140 310
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout 0 wit inspect 900   810   12000 920 2.4 0      - - error (invalid witness file) .50 .33 9.5 39 error (invalid witness file) 5.4 2.9 110 290
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c timeout 0 wit inspect 900   810   15000 940 2.3 0      - - error (invalid witness file) .56 .35 13   41 error (invalid witness file) 6.2 3.2 130 310
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error 0 wit inspect 5.1 1.6 38 320 2.5 0      - - error (invalid witness file) .51 .34 10   41 error (invalid witness file) 5.9 3.1 120 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error 0 wit inspect 5.4 1.6 41 320 2.5 0      - - error (invalid witness file) .50 .33 9.0 40 error (invalid witness file) 7.1 3.7 140 310
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 2 wit inspect 5.9 1.7 46 350 2.5 0      - - true 2.9  1.6  24   230 true 6.2 3.3 110 310
ldv-memsafety/memset2_true-valid-memsafety.c true 2 wit inspect 32   15   320 900 2.5 0      - - true 2.8  1.6  24   240 true 9.0 4.9 140 350
ldv-memsafety/memset3_true-valid-memsafety.c true 2 wit inspect 92   62   1100 1000 2.5 0      - - true 3.1  1.7  40   250 true 9.0 4.9 150 360
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 2 wit inspect 30   15   340 720 2.5 0      - - true 3.0  1.7  33   240 true 9.0 4.9 170 350
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 2 wit inspect 95   62   1300 1200 2.5 0      - - true 3.2  1.8  53   240 true 8.9 4.9 140 340
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 2 wit inspect 93   62   1300 1000 2.5 0      - - true 3.0  1.7  33   240 true 10   5.6 150 360
ldv-memsafety/memset_true-valid-memsafety.c true 2 wit inspect 93   61   1100 1000 2.5 0      - - true 2.9  1.6  33   240 true 9.6 5.2 200 350
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 1 wit inspect 730   700   10000 1100 2.5 0      false(valid-deref) 5.8  3.1  71   280 true 11   5.9 190 370 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout 0 wit inspect 900   870   12000 1300 2.3 0      error (invalid witness file) .51 .32 8.9 40 error (invalid witness file) 5.6 3.0 100 290 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 0 wit inspect 900   870   10000 1300 2.3 0      error (invalid witness file) .52 .32 10   39 error (invalid witness file) 6.0 3.2 130 300 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i timeout 0 wit inspect 900   820   12000 1400 2.9 0      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.4 3.3 120 310 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i timeout 0 wit inspect 900   830   12000 1500 2.3 0      error (invalid witness file) .52 .35 7.6 40 error (invalid witness file) 6.4 3.4 130 300 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i timeout 0 wit inspect 900   890   13000 590 2.3 0      error (invalid witness file) .52 .34 6.0 42 error (invalid witness file) 6.3 3.4 140 290 - -
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 0 wit inspect 900   890   12000 790 2.3 0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 5.9 3.2 110 300 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout 0 wit inspect 900   860   11000 1400 2.3 0      error (invalid witness file) .54 .35 8.9 40 error (invalid witness file) 6.9 3.6 130 320 - -
ldv-memsafety/memleaks_test19_false-valid-free.i timeout 0 wit inspect 900   870   11000 940 2.3 0      error (invalid witness file) .53 .33 9.2 40 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 1 wit inspect 6.7 2.1 52 320 2.5 0      false(valid-free) 6.2  3.3  87   320 true 7.9 4.2 170 350 - -
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 1 wit inspect 5.6 1.9 46 330 2.5 0      false(valid-free) 7.7  4.1  62   310 false(valid-free) 7.3 3.9 130 310 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1 wit inspect 130   120   1600 850 2.5 0      true 5.9  3.1  71   280 false(valid-free) 11   5.9 210 360 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 1 wit inspect 7.6 2.4 63 380 2.5 0      false(valid-free) 5.6  3.0  78   260 false(valid-free) 8.8 4.6 180 340 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i timeout 0 wit inspect 900   860   13000 1200 2.3 0      error (invalid witness file) .46 .30 9.5 39 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i timeout 0 wit inspect 900   890   9900 630 2.3 0      error (invalid witness file) .52 .34 12   40 error (invalid witness file) 5.7 3.0 110 290 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i error 0 wit inspect 140   120   1500 860 2.5 0      error (invalid witness file) .53 .34 8.9 40 error (invalid witness file) 6.3 3.4 110 300 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i timeout 0 wit inspect 900   860   11000 1100 2.6 0      error (invalid witness file) .54 .35 9.2 41 error (invalid witness file) 6.4 3.4 140 330 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i error 0 wit inspect 55   39   730 580 2.5 0      error (invalid witness file) .53 .33 10   41 error (invalid witness file) 6.4 3.4 130 310 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i timeout 0 wit inspect 900   860   11000 1100 2.3 0      error (invalid witness file) .50 .31 10   40 error (invalid witness file) 7.3 3.9 98 300 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 0 wit inspect 900   830   11000 900 2.3 0      error (invalid witness file) .49 .32 12   39 error (invalid witness file) 9.0 4.8 110 300 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i error 0 wit inspect 10   3.4 81 320 2.6 0      error (invalid witness file) .53 .35 11   40 error (invalid witness file) 5.9 3.1 120 300 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i error 0 wit inspect 11   3.5 90 340 2.6 0      error (invalid witness file) .50 .33 13   40 error (invalid witness file) 5.8 3.1 120 300 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 0 wit inspect 900   850   11000 1400 2.3 0      error (invalid witness file) .53 .34 8.4 39 error (invalid witness file) 6.4 3.5 110 300 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 0 wit inspect 900   840   12000 1500 2.3 0      error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.2 3.3 130 300 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i error 0 wit inspect 26   16   260 470 2.6 0      error (invalid witness file) .58 .37 11   41 error (invalid witness file) 6.6 3.5 110 300 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i timeout 0 wit inspect 900   890   11000 770 2.3 0      error (invalid witness file) .51 .33 11   42 error (invalid witness file) 8.8 4.6 100 290 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i timeout 0 wit inspect 900   810   12000 1600 2.3 0      error (invalid witness file) .52 .34 8.9 40 error (invalid witness file) 6.2 3.3 110 300 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i error 0 wit inspect 10   3.3 81 330 2.6 0      error (invalid witness file) .53 .35 12   40 error (invalid witness file) 6.3 3.3 120 300 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i error 0 wit inspect 10   3.3 83 320 2.6 0      error (invalid witness file) .54 .34 12   42 error (invalid witness file) 6.0 3.2 130 300 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i error 0 wit inspect 10   3.4 85 320 2.6 0      error (invalid witness file) .55 .34 12   40 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i error 0 wit inspect 73   50   760 880 2.5 0      error (invalid witness file) .61 .39 8.2 39 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i error 0 wit inspect 38   20   420 610 2.6 0      error (invalid witness file) .49 .32 7.4 41 error (invalid witness file) 7.0 3.6 130 310 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i error 0 wit inspect 74   50   810 880 2.5 0      error (invalid witness file) .51 .33 12   39 error (invalid witness file) 6.1 3.2 120 310 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i error 0 wit inspect 11   3.7 92 320 2.6 0      error (invalid witness file) .54 .36 13   40 error (invalid witness file) 5.9 3.2 120 290 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i error 0 wit inspect 10   3.4 89 340 2.6 0      error (invalid witness file) .54 .35 8.4 40 error (invalid witness file) 6.4 3.4 110 290 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i error 0 wit inspect 11   3.3 84 330 2.6 0      error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.1 3.2 110 300 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i error 0 wit inspect 93   77   1200 720 2.5 0      error (invalid witness file) .49 .33 9.6 41 error (invalid witness file) 6.3 3.3 130 310 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i error 0 wit inspect 290   270   4100 730 2.5 0      error (invalid witness file) .52 .35 12   39 error (invalid witness file) 5.9 3.1 110 290 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i error 0 wit inspect 260   250   3300 550 2.5 0      error (invalid witness file) .54 .36 13   41 error (invalid witness file) 6.2 3.2 130 300 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i error 0 wit inspect 9.8 3.4 82 320 2.6 0      error (invalid witness file) .50 .33 9.1 39 error (invalid witness file) 6.1 3.2 110 300 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i error 0 wit inspect 10   3.5 89 330 2.6 0      error (invalid witness file) .61 .38 8.3 40 error (invalid witness file) 6.3 3.3 130 300 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i error 0 wit inspect 10   3.3 77 320 2.6 0      error (invalid witness file) .64 .42 8.1 39 error (invalid witness file) 7.3 3.8 130 310 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i timeout 0 wit inspect 900   840   11000 3200 2.3 0      - - error (invalid witness file) .51 .34 10   42 error (invalid witness file) 6.2 3.3 110 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i timeout 0 wit inspect 900   890   11000 550 2.3 0      - - error (invalid witness file) .51 .33 6.7 41 error (invalid witness file) 6.2 3.2 110 310
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 0 wit inspect 900   890   13000 670 2.3 0      - - error (invalid witness file) .49 .30 12   39 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test13_true-valid-memsafety.i timeout 0 wit inspect 900   860   12000 1000 2.3 0      - - error (invalid witness file) .53 .33 10   40 error (invalid witness file) 6.1 3.3 120 300
ldv-memsafety/memleaks_test14_true-valid-memsafety.i timeout 0 wit inspect 900   860   11000 930 2.3 0      - - error (invalid witness file) .52 .32 11   41 error (invalid witness file) 6.0 3.2 120 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i timeout 0 wit inspect 900   880   12000 1200 2.5 0      - - error (invalid witness file) .51 .32 12   39 error (invalid witness file) 5.7 3.0 120 290
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 2 wit inspect 7.8 2.4 57 380 2.5 0      - - true 4.8  2.6  62   260 true 11   6.4 170 400
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i timeout 0 wit inspect 900   850   12000 1600 2.3 0      - - error (invalid witness file) .58 .37 14   45 error (invalid witness file) 6.2 3.3 110 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i timeout 0 wit inspect 900   870   11000 890 2.3 0      - - error (invalid witness file) .50 .33 9.2 39 error (invalid witness file) 6.6 3.4 120 310
ldv-memsafety/memleaks_test18_true-valid-memsafety.i timeout 0 wit inspect 900   890   11000 640 2.3 0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test19_true-valid-memsafety.i timeout 0 wit inspect 900   870   10000 1100 2.3 0      - - error (invalid witness file) .54 .35 12   40 error (invalid witness file) 5.8 3.1 120 290
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 2 wit inspect 7.2 2.2 56 340 2.5 0      - - true 5.0  2.7  44   300 true 9.8 5.4 180 350
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true 2 wit inspect 9.4 2.7 79 420 2.5 0      - - true 4.9  2.7  89   260 true 14   7.7 220 450
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true 2 wit inspect 7.9 2.5 57 380 2.5 0      - - true 4.5  2.5  57   260 true 12   6.6 230 430
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i timeout 0 wit inspect 900   870   11000 1400 2.6 0      - - error (invalid witness file) .55 .35 12   40 error (invalid witness file) 8.8 4.6 110 300
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i timeout 0 wit inspect 900   850   12000 1800 2.3 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.7 3.0 110 290
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i timeout 0 wit inspect 900   850   11000 1900 2.3 0      - - error (invalid witness file) .52 .33 8.9 41 error (invalid witness file) 6.1 3.3 120 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout 0 wit inspect 900   820   11000 2100 2.3 0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.8 3.7 95 290
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 0 wit inspect 900   830   12000 2400 2.3 0      - - error (invalid witness file) .53 .36 12   41 error (invalid witness file) 6.0 3.2 120 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 2 wit inspect 7.6 2.2 52 340 2.5 0      - - true 4.6  2.5  43   260 true 10   5.6 180 370
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 2 wit inspect 7.2 2.3 56 370 2.5 0      - - true 4.8  2.6  52   270 true 12   6.3 220 360
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 2 wit inspect 9.5 3.6 74 470 2.5 0      - - true 5.3  2.9  70   260 true 14   7.6 260 530
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 2 wit inspect 7.1 2.3 55 360 2.5 0      - - true 4.9  2.7  46   280 true 12   6.6 230 390
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 2 wit inspect 500   480   6200 770 2.5 0      - - true 5.2  2.8  92   260 true 170   160   3600 630
ldv-memsafety/memleaks_test7_true-valid-memsafety.i timeout 0 wit inspect 900   890   9800 550 2.3 0      - - error (invalid witness file) .60 .40 8.9 40 error (invalid witness file) 6.7 3.5 92 290
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 2 wit inspect 8.3 2.4 64 380 2.5 0      - - true 4.6  2.5  91   250 true 11   6.2 170 380
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 2 wit inspect 7.6 2.4 59 400 2.5 0      - - true 4.6  2.5  64   250 true 11   6.3 210 370
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i unknown 0 wit inspect 4.9 1.5 40 300 2.5 0      - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 5.9 3.1 120 300
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i unknown 0 wit inspect 5.5 1.5 36 330 2.5 0      - - error (invalid witness file) .47 .32 6.8 39 error (invalid witness file) 5.9 3.1 110 300
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i unknown 0 wit inspect 5.3 1.6 43 320 2.5 0      - - error (invalid witness file) .51 .32 8.6 40 error (invalid witness file) 5.2 2.8 120 280
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i unknown 0 wit inspect 6.2 1.6 43 350 2.5 0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 6.3 3.3 120 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i unknown 0 wit inspect 5.5 1.6 39 320 2.9 0      - - error (invalid witness file) .52 .34 9.6 39 error (invalid witness file) 5.9 3.1 130 300
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 0 wit inspect 5.1 1.6 35 300 2.5 0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 6.0 3.2 130 290 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 0 wit inspect 4.8 1.5 35 300 2.5 0      error (invalid witness file) .57 .35 12   43 error (invalid witness file) 5.8 3.1 110 290 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 0 wit inspect 5.4 1.6 41 310 2.5 0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 5.6 3.0 100 290 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 0 wit inspect 4.8 1.6 39 310 2.5 0      error (invalid witness file) .53 .34 9.8 41 error (invalid witness file) 5.5 2.9 120 290 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 0 wit inspect 4.8 1.5 37 300 2.6 0      error (invalid witness file) .54 .36 9.8 41 error (invalid witness file) 6.0 3.2 130 290 - -
../../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 69 92000 85000 1200000 190000 440 .0041 181 150 85 2100 9000   181 660 370 12000 28000   181 1000 950 22000 13000   181 900 570 17000 31000  
    correct results 45 69 2700 2200 34000 27000 110 0      21 110 62 1300 6300   21 230 140 4300 7400   23 1000 930 21000 9800   24 500 350 9400 11000  
        correct true 24 48 1500 1100 18000 16000 60 0      7 0 0 0 0   13 0 0 0 0   23 1000 930 21000 9800   24 500 350 9400 11000  
        correct false 21 21 1200 1000 16000 11000 53 0      14 110 62 1300 6300   8 230 140 4300 7400   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) 69
Run set sv-comp17.MemSafety-Heap