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