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