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