Tool Forester
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 11:23:04 CET [[ 2017-01-15 01:40:02 CET ]] [[ 2017-01-15 01:58:53 CET ]] [[ 2017-01-15 01:41:42 CET ]] [[ 2017-01-15 02:00:15 CET ]]
Run set sv-comp17.MemSafety-Heap
Options --trace error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/forester.2017-01-13_1123.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/forester.2017-01-13_1123.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 0 .079 .080 .43 10   .0041 0      3.1  1.8  45   160 12   6.3 150 370
memsafety/test-0137_false-valid-deref.i 0 .11  .13  .52 19   .0082 8.0    .52 .34 12   41 5.9 3.1 83 300
memsafety/test-0235_false-valid-deref.i 0 .056 .056 .53 11   .012  0      .55 .36 9.8 39 7.1 3.8 87 290
memsafety/960521-1_false-valid-free.i 0 .063 .063 .43 10   .0041 .0041 3.2  1.8  40   160 13   7.0 200 370
memsafety/test-0158_false-valid-free.i 0 .049 .049 .44 10   .0041 0      .53 .33 12   40 5.8 3.1 110 300
memsafety/test-0232_false-valid-free.i 0 .061 .062 .58 11   .0041 .30   .63 .40 9.3 40 6.4 3.4 110 300
memsafety/20020406-1_false-valid-memtrack.i 0 .073 .073 .48 11   .0082 .061  .67 .43 7.9 43 6.8 3.6 110 300
memsafety/20051113-1.c_false-valid-memtrack.i 0 .048 .050 .55 11   .0041 .79   .63 .40 8.5 40 6.7 3.6 82 310
memsafety/lockfree-3.1_false-valid-memtrack.i 0 .18  .19  2.0  22   .053  .30   3.4  1.9  49   170 98   55   880 5100
memsafety/lockfree-3.2_false-valid-memtrack.i 0 .075 .078 .80 14   .0041 .70   2.8  1.5  57   160 67   40   980 7000
memsafety/lockfree-3.3_false-valid-memtrack.i 0 .094 .096 .82 14   .0041 .40   3.6  2.0  38   170 69   40   1100 7000
memsafety/test-0019_false-valid-memtrack.i 1 .079 .079 .51 10   .0041 0      4.5  2.4  56   250 29   17   580 540
memsafety/test-0102_false-valid-memtrack.i 0 64     930     1500    73   .0082 0      .59 .38 8.4 39 6.4 3.4 94 290
memsafety/test-0158_false-valid-memtrack.i 0 .059 .062 .47 11   .0041 .55   .52 .34 13   41 7.3 3.9 80 310
memsafety/test-0220_false-valid-memtrack.i 0 .067 .067 .47 10   .0041 .061  .61 .38 9.2 39 7.4 3.9 67 290
memsafety/test-0232_false-valid-memtrack.i 0 .056 .058 .63 12   .0041 .44   .52 .35 14   43 6.7 3.6 76 290
memsafety/test-0234_false-valid-memtrack.i 0 .053 .053 .54 11   .0082 0      .51 .33 12   40 6.7 3.6 83 300
memsafety/test-0235_false-valid-memtrack.i 0 .053 .054 .65 11   .012  .32   .53 .34 9.9 40 7.9 4.1 81 300
memsafety/960521-1_true-valid-memsafety.i 0 .075 .075 .46 10   .0041 0      3.4  1.9  37   160 12   6.5 120 360
memsafety/lockfree-3.0_true-valid-memsafety.i 0 .091 .093 .83 14   .0041 .50   2.8  1.5  60   160 91   55   990 7000
memsafety/test-0019_true-valid-memsafety.i 2 .087 .10  .83 16   .0082 5.0    4.3  2.4  63   250 19   11   220 550
memsafety/test-0102_true-valid-memsafety.i 0 140     930     2600    93   .0082 .061  .47 .31 10   39 7.3 3.9 89 310
memsafety/test-0134_true-valid-memsafety.i 0 .054 .054 .58 11   .0082 .070  .60 .39 9.9 43 7.2 3.8 78 310
memsafety/test-0158_true-valid-memsafety.i 0 .046 .046 .46 10   .0041 0      .61 .38 6.6 40 6.8 3.6 74 290
memsafety/test-0214_true-valid-memsafety.i 0 .055 .055 .62 11   .0082 0      .56 .36 9.7 39 6.8 3.6 100 300
memsafety/test-0217_true-valid-memsafety.i 0 .055 .085 .75 19   .0082 7.9    .54 .35 12   41 7.0 3.7 96 300
memsafety/test-0218_true-valid-memsafety.i 0 .055 .056 .54 11   .0082 .29   .64 .40 8.3 42 7.6 4.0 77 300
memsafety/test-0219_true-valid-memsafety.i 0 .049 .049 .59 10   .0041 0      .63 .40 8.2 39 6.7 3.5 100 310
memsafety/test-0232_true-valid-memsafety.i 0 .062 .063 .61 11   .0041 .30   .72 .45 8.3 42 5.8 3.1 120 300
memsafety/test-0234_true-valid-memsafety.i 0 .071 .074 .53 11   .0082 .77   .59 .38 8.9 40 7.5 4.0 80 300
memsafety/test-0235_true-valid-memsafety.i 0 .054 .057 .52 11   .012  .61   .66 .42 8.1 40 6.3 3.3 110 300
memsafety/test-0236_true-valid-memsafety.i 0 .055 .057 .56 11   .0082 .32   .61 .39 7.3 42 7.7 4.1 78 300
memsafety/test-0237_true-valid-memsafety.i 0 .052 .055 .61 11   .0082 .74   .55 .36 9.8 41 6.2 3.3 77 280
memsafety/test-0504_true-valid-memsafety.i 2 2.1   2.1   26    72   .012  .10   940    820    24000   7000 960   890   19000 2000
memsafety/test-0513_true-valid-memsafety.i 0 .048 .049 .55 10   .0041 .061  .50 .33 12   39 6.8 3.5 100 300
memsafety/test-0521_true-valid-memsafety.i 0 .065 .068 .67 12   .0082 .68   .63 .41 8.5 40 7.5 4.0 73 290
memsafety/test-memleak_nexttime_true-valid-memsafety.i 0 .050 .050 .57 10   .0041 .11   3.5  1.9  42   170 17   9.4 250 540
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i 2 .24  .26  2.3  16   .012  4.9    910    860    21000   4600 960   880   16000 1600
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i 2 .56  .56  6.3  31   .012  0      910    840    19000   5100 960   910   23000 1300
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i 2 21     21     260    360   .016  0      910    850    19000   4800 960   940   22000 870
memsafety-ext/tree_cnstr_true-valid-memsafety.i 2 .19  .21  2.5  24   .012  4.9    860    730    20000   7000 960   920   17000 880
memsafety-ext/tree_dsw_true-valid-memsafety.i 2 .86  .88  10    78   .012  5.0    910    820    29000   5500 960   920   28000 970
memsafety-ext/tree_of_cslls_true-valid-memsafety.i 2 .40  .42  5.0  28   .012  5.5    360    270    6500   7000 960   920   26000 1400
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i 2 .53  .55  7.3  42   .012  4.8    780    630    14000   7000 960   910   17000 1000
memsafety-ext/tree_stack_true-valid-memsafety.i 2 .15  .19  1.7  27   .012  12      680    540    14000   7000 960   920   16000 980
memsafety-ext2/split_list_test05_false-valid-deref.i 0 .078 .078 .55 11   .0082 0      .60 .37 9.7 39 6.2 3.3 91 290
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i 0 .057 .059 .84 11   .0082 0      3.2  1.8  45   180 14   7.6 160 370
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i 0 .083 .086 .61 11   .0082 0      3.0  1.7  46   160 15   8.3 120 370
memsafety-ext2/length_test03_false-valid-memtrack.i 0 .23  .23  2.4  16   .049  .41   3.1  1.8  40   160 15   7.8 150 390
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i 0 .086 .086 .57 11   .0041 0      3.1  1.7  44   160 16   8.4 150 370
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i 0 .057 .057 .72 11   .0082 0      3.2  1.8  45   190 15   8.4 160 370
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i 0 .057 .058 .71 11   .0082 .10   3.9  2.1  43   190 13   7.0 190 370
memsafety-ext2/length_test03_true-valid-memsafety.i 0 .12  .12  1.1  13   .0041 .31   2.9  1.6  57   180 17   8.9 150 400
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i 0 .058 .060 .59 11   .0041 .19   2.7  1.5  53   160 13   6.8 180 370
memsafety-ext2/split_list_test05_true-valid-memsafety.i 0 .077 .077 .57 11   .0082 0      .61 .40 7.5 39 5.7 3.1 97 300
list-ext-properties/960521-1_1_false-valid-deref.i 0 .051 .052 .65 11   .0041 .30   2.8  1.5  52   160 14   7.7 150 370
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 0 .078 .079 .91 12   .016  0      3.7  2.0  39   170 14   7.2 140 400
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 1 .089 .12  .81 19   .0041 7.9    3.2  1.8  40   170 9.9 5.3 160 330
list-ext-properties/960521-1_1_false-valid-free.i 0 .055 .055 .37 10   .0041 .0041 2.7  1.5  55   160 13   6.9 170 380
list-ext-properties/test-0158_1_false-valid-free.i 0 .093 .12  .51 18   .0041 7.7    .51 .34 11   40 6.7 3.5 60 300
list-ext-properties/test-0019_1_false-valid-memtrack.i 1 .053 .053 .56 11   .0041 0      4.2  2.3  79   260 97   70   1200 740
list-ext-properties/test-0158_1_false-valid-memtrack.i 0 .047 .047 .49 10   .0041 0      .49 .33 10   40 7.4 3.9 71 300
list-ext-properties/test-0232_1_false-valid-memtrack.i 0 .050 .051 .57 10   .0041 .10   .65 .41 7.6 41 6.6 3.5 100 300
list-ext-properties/960521-1_1_true-valid-memsafety.i 0 .050 .050 .68 10   .0041 .016  2.6  1.4  58   160 15   8.2 160 370
list-ext-properties/list-ext_1_true-valid-memsafety.i 0 .075 .078 .81 12   .016  .70   3.6  2.0  37   170 13   7.1 120 370
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i 0 .056 .058 .70 11   .0041 .64   .64 .41 9.6 43 7.4 3.9 87 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i 0 .093 .093 .79 11   .012  0      3.5  1.9  39   170 10   5.3 200 380
list-ext-properties/test-0019_1_true-valid-memsafety.i 2 .082 .095 .80 16   .0082 4.8    5.0  2.8  57   250 52   33   520 820
list-ext-properties/test-0158_1_true-valid-memsafety.i 0 .071 .098 .55 18   .0041 7.7    .63 .40 8.6 39 8.0 4.2 92 310
list-ext-properties/test-0214_1_true-valid-memsafety.i 0 .051 .053 .56 11   .0082 .20   .55 .36 11   41 7.3 3.8 60 300
list-ext-properties/test-0217_1_true-valid-memsafety.i 0 .080 .080 .54 11   .0082 .061  .65 .42 7.7 40 6.0 3.2 130 300
list-ext-properties/test-0232_1_true-valid-memsafety.i 0 .049 .049 .52 10   .0041 0      .62 .40 8.5 40 6.9 3.7 87 300
list-ext-properties/test-0504_1_true-valid-memsafety.i 0 .079 .081 .49 11   .0041 .061  .57 .36 10   40 7.9 4.2 65 300
list-ext-properties/test-0513_1_true-valid-memsafety.i 2 39     39     430    960   .012  4.8    6.4  3.4  100   280 960   870   21000 1900
memory-alloca/c.03-alloca_true-valid-memsafety.i 0 .054 .055 .55 10   .0041 0      .56 .37 11   40 7.4 3.9 78 290
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c 0 .064 .095 .74 19   .0041 8.3    .55 .36 10   40 6.4 3.4 94 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c 0 .071 .072 .42 10   .0041 .12   .58 .37 11   39 6.5 3.4 93 300
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c 0 .048 .049 .50 10   .0041 .10   .66 .43 7.7 40 5.9 3.1 97 300
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c 0 .066 .066 .42 10   .0041 0      .53 .35 13   42 8.1 4.2 76 310
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c 0 .065 .067 .42 10   .0041 0      .57 .37 9.4 40 6.2 3.3 95 300
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c 0 .077 .077 .41 10   .0041 0      .68 .43 8.8 44 5.6 3.0 110 300
ldv-memsafety/memset2_false-valid-deref-write.c 1 .049 .050 .56 10   .0041 0      2.4  1.4  37   150 8.8 4.7 100 320
ldv-memsafety/memset3_false-valid-deref-write.c 0 .074 .074 .45 9.9 .0041 .061  .53 .35 8.9 39 7.6 4.0 74 300
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c 1 .047 .047 .46 9.8 .0041 0      2.6  1.5  30   140 8.1 4.3 130 330
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c 0 .044 .045 .53 9.9 .0041 0      .49 .32 13   41 7.0 3.7 77 300
ldv-memsafety/memsetNonZero_false-valid-deref-write.c 1 .068 .068 .41 9.9 .0041 0      2.3  1.3  50   150 7.7 4.1 150 330
ldv-memsafety/memset_false-valid-deref-write.c 1 .074 .074 .42 10   .0041 0      2.6  1.5  28   140 7.9 4.2 150 330
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c 0 .050 .050 .55 10   .0041 .057  .65 .43 8.0 40 6.0 3.2 110 310
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c 0 .076 .077 .48 10   .0041 .10   .52 .33 11   39 7.5 4.0 71 290
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c 0 .075 .076 .56 10   .0041 .17   .56 .36 8.9 39 5.8 3.1 110 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c 0 .077 .078 .43 10   .0041 .17   .60 .37 8.5 39 7.3 3.9 74 300
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c 0 .053 .055 .46 10   .0041 .10   .52 .32 13   40 7.6 4.0 71 310
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c 0 .075 .075 .39 9.9 .0041 0      .57 .36 8.9 40 7.5 4.0 64 300
ldv-memsafety/StructInitialization1_true-valid-memsafety.c 0 .049 .049 .53 9.8 .0041 0      .51 .32 13   39 7.0 3.7 79 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c 0 .073 .073 .44 9.9 .0041 0      .66 .41 9.8 42 6.0 3.1 91 300
ldv-memsafety/StructInitialization_true-valid-memsafety.c 2 .077 .077 .51 12   .0082 0      3.0  1.7  54   240 8.1 4.3 89 310
ldv-memsafety/memset2_true-valid-memsafety.c 2 .075 .12  .90 23   .0082 12      3.3  1.9  46   240 11   6.2 120 340
ldv-memsafety/memset3_true-valid-memsafety.c 0 .072 .073 .50 10   .0041 .10   .54 .34 9.8 39 6.0 3.2 120 290
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c 0 .085 .087 .36 10   .0041 .55   .51 .33 8.8 39 6.5 3.4 97 300
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c 0 .046 .046 .49 9.9 .0041 0      .69 .43 7.7 42 6.3 3.3 96 300
ldv-memsafety/memsetNonZero_true-valid-memsafety.c 0 .078 .078 .48 9.9 .0041 0      .50 .31 10   39 5.7 3.0 97 300
ldv-memsafety/memset_true-valid-memsafety.c 2 .12  .16  .73 23   .0082 12      3.4  2.0  37   240 12   6.7 120 360
ldv-memsafety/memleaks_test14_3_false-valid-deref.i 0 .059 .059 .79 11   .020  0      .49 .33 9.9 39 7.4 3.8 87 310
ldv-memsafety/memleaks_test22_3_false-valid-deref.i 0 .057 .057 .65 11   .016  0      .54 .33 11   40 7.7 4.0 81 300
ldv-memsafety/memleaks_test22_5_false-valid-deref.i 0 .057 .057 .59 11   .016  0      .60 .37 10   42 7.2 3.8 74 290
ldv-memsafety/memleaks_test23_2_false-valid-deref.i 0 .063 .063 .75 12   .025  .061  .52 .34 10   40 7.1 3.7 74 290
ldv-memsafety/memleaks_test23_4_false-valid-deref.i 0 .068 .070 .62 12   .025  .65   .60 .37 13   45 6.8 3.6 94 300
ldv-memsafety/memleaks_test11_1_false-valid-free.i 0 .063 .063 .66 11   .020  0      .70 .44 8.0 41 7.4 3.9 61 300
ldv-memsafety/memleaks_test12_false-valid-free.i 0 .092 .092 .60 12   .025  .11   .49 .31 12   39 8.3 4.3 77 310
ldv-memsafety/memleaks_test17_2_false-valid-free.i 0 .060 .060 .68 11   .020  .020  .56 .35 8.7 39 5.8 3.1 87 300
ldv-memsafety/memleaks_test19_false-valid-free.i 0 .079 .079 .51 11   .020  .27   .52 .34 11   40 7.5 3.9 94 300
ldv-memsafety/memleaks_test2_false-valid-free.i 0 .069 .070 .65 11   .016  .10   .51 .32 11   39 7.4 3.9 80 280
ldv-memsafety/memleaks_test3_false-valid-free.i 0 .059 .060 .60 11   .016  .10   .62 .39 8.8 42 7.2 3.8 83 300
ldv-memsafety/memleaks_test6_2_false-valid-free.i 0 .094 .096 .55 12   .020  .45   .62 .39 9.1 39 6.3 3.4 100 300
ldv-memsafety/memleaks_test8_2_false-valid-free.i 0 .10  .13  .68 19   .016  7.9    .57 .37 10   39 7.0 3.7 96 300
ldv-memsafety/memleaks_test10_false-valid-memtrack.i 0 .061 .063 .64 12   .020  .45   .51 .33 10   39 7.2 3.8 70 290
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i 0 .063 .065 .66 11   .020  0      .55 .35 9.6 41 6.6 3.5 89 300
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i 0 .084 .084 .53 11   .016  0      .51 .33 11   43 8.4 4.4 70 300
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i 0 .060 .063 .76 12   .020  .64   .67 .43 8.5 40 5.9 3.1 110 300
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i 0 .060 .061 .67 11   .016  .22   .51 .34 12   39 6.6 3.5 82 300
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i 0 .084 .084 .53 11   .020  .0041 .53 .34 14   40 6.6 3.5 76 290
ldv-memsafety/memleaks_test15_false-valid-memtrack.i 0 .091 .091 .65 12   .025  0      .53 .34 12   40 7.2 3.8 91 300
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i 0 .061 .061 .61 11   .016  0      .62 .39 11   40 6.1 3.2 130 300
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i 0 .061 .061 .63 11   .016  0      .68 .41 7.7 40 8.3 4.4 70 300
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i 0 .086 .086 .58 11   .020  0      .48 .31 9.8 40 7.1 3.7 82 300
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i 0 .072 .073 .65 11   .020  .20   .57 .36 11   43 6.4 3.4 86 310
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i 0 .059 .059 .68 11   .016  0      .54 .34 13   40 6.9 3.6 78 290
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i 0 .085 .085 .53 11   .016  0      .64 .41 7.4 40 7.2 3.8 87 310
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i 0 .074 .11  .81 19   .016  7.9    .51 .33 10   40 7.4 3.9 83 300
ldv-memsafety/memleaks_test1_false-valid-memtrack.i 0 .094 .097 .46 11   .016  .24   .51 .33 9.5 40 6.8 3.6 110 300
ldv-memsafety/memleaks_test20_false-valid-memtrack.i 0 .060 .063 .68 12   .020  .71   .59 .36 8.6 40 7.7 4.1 87 310
ldv-memsafety/memleaks_test21_false-valid-memtrack.i 0 .063 .063 .63 11   .016  0      .60 .37 10   44 5.6 3.0 110 290
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i 0 .060 .062 .66 12   .016  .19   .64 .40 9.0 40 6.1 3.3 97 290
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i 0 .060 .060 .71 11   .016  .10   .65 .40 7.6 40 6.9 3.6 100 300
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i 0 .063 .063 .66 11   .016  0      .63 .39 8.7 39 6.2 3.3 76 320
ldv-memsafety/memleaks_test4_false-valid-memtrack.i 0 .058 .058 .64 11   .016  0      .51 .33 11   39 6.8 3.6 84 290
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i 0 .076 .076 .59 11   .016  0      .49 .32 11   39 5.6 3.0 120 290
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i 0 .058 .062 .66 12   .016  .65   .57 .36 14   44 6.6 3.5 120 300
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i 0 .077 .077 .62 11   .020  0      .65 .41 7.8 40 7.3 3.8 95 300
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i 0 .087 .087 .55 11   .020  0      .61 .40 10   40 7.1 3.7 73 300
ldv-memsafety/memleaks_test7_false-valid-memtrack.i 0 .061 .065 .67 12   .020  .79   .52 .34 8.7 39 7.1 3.8 76 300
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i 0 .053 .054 .61 11   .016  0      .54 .34 10   42 6.3 3.3 140 300
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i 0 .087 .087 .64 11   .016  .020  .50 .32 12   39 7.8 4.1 75 310
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i 0 .060 .060 .68 11   .016  0      .62 .41 7.6 40 7.4 3.9 93 300
ldv-memsafety/memleaks_test10_true-valid-memsafety.i 0 .075 .076 .65 11   .020  0      .60 .39 6.9 41 7.3 3.8 99 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i 0 .091 .091 .57 11   .020  0      .62 .40 7.9 39 6.9 3.6 88 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i 0 .091 .091 .67 12   .025  .11   .51 .32 11   40 6.9 3.7 100 310
ldv-memsafety/memleaks_test13_true-valid-memsafety.i 0 .057 .057 .64 11   .020  0      .61 .39 8.8 41 7.1 3.8 85 300
ldv-memsafety/memleaks_test14_true-valid-memsafety.i 0 .087 .087 .62 11   .020  .0041 .49 .32 12   40 7.3 3.9 84 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i 0 .079 .080 .74 12   .025  0      .71 .46 9.0 44 6.2 3.3 78 300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i 0 .081 .081 .71 11   .016  0      .56 .35 11   42 7.8 4.1 81 300
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i 0 .059 .060 .70 11   .020  0      .57 .37 10   40 5.8 3.1 110 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i 0 .064 .093 .83 19   .020  8.0    .56 .37 10   40 7.8 4.1 75 300
ldv-memsafety/memleaks_test18_true-valid-memsafety.i 0 .065 .069 .73 12   .016  .64   .54 .35 11   40 6.2 3.3 130 320
ldv-memsafety/memleaks_test19_true-valid-memsafety.i 0 .067 .067 .67 11   .020  0      .50 .33 13   40 8.3 4.3 90 300
ldv-memsafety/memleaks_test1_true-valid-memsafety.i 0 .057 .057 .76 11   .016  0      .54 .34 9.4 39 7.3 3.9 90 300
ldv-memsafety/memleaks_test20_true-valid-memsafety.i 0 .066 .067 .61 11   .020  .22   .61 .39 8.8 40 7.4 3.9 73 310
ldv-memsafety/memleaks_test21_true-valid-memsafety.i 0 .060 .062 .73 12   .016  .74   .52 .34 7.1 39 7.0 3.7 72 290
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i 0 .098 .10  .60 12   .016  .57   .59 .38 6.8 39 6.0 3.2 110 310
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i 0 .067 .067 .70 11   .016  0      .50 .33 13   41 6.6 3.4 120 320
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i 0 .058 .058 .65 11   .016  0      .65 .40 8.6 39 8.0 4.2 91 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i 0 .063 .066 .71 12   .025  .20   .63 .40 7.6 39 7.5 3.9 78 300
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i 0 .061 .061 .79 12   .025  .061  .61 .39 7.6 40 7.0 3.7 81 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i 0 .060 .060 .62 11   .016  0      .53 .34 10   40 6.0 3.2 110 300
ldv-memsafety/memleaks_test3_true-valid-memsafety.i 0 .080 .081 .60 11   .016  .27   .59 .38 8.9 40 6.1 3.2 120 310
ldv-memsafety/memleaks_test4_true-valid-memsafety.i 0 .074 .074 .61 11   .016  0      .61 .39 8.1 40 6.9 3.6 88 300
ldv-memsafety/memleaks_test5_true-valid-memsafety.i 0 .085 .085 .54 11   .016  .0041 .52 .35 9.9 39 6.5 3.4 98 300
ldv-memsafety/memleaks_test6_true-valid-memsafety.i 0 .088 .089 .70 11   .020  .14   .60 .40 11   43 7.7 4.1 88 300
ldv-memsafety/memleaks_test7_true-valid-memsafety.i 0 .077 .077 .57 11   .020  .11   .49 .31 9.9 40 6.2 3.3 97 280
ldv-memsafety/memleaks_test8_true-valid-memsafety.i 0 .060 .060 .61 11   .016  0      .54 .35 10   41 7.5 4.0 56 290
ldv-memsafety/memleaks_test9_true-valid-memsafety.i 0 .087 .088 .55 11   .016  0      .50 .33 11   39 6.8 3.6 88 300
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i 0 .046 .046 .53 9.9 .0041 0      .49 .31 12   39 5.9 3.2 87 290
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i 0 .048 .048 .52 10   .0041 .11   .55 .34 8.7 45 8.6 4.5 80 320
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i 0 .052 .055 .50 11   .0041 .59   .57 .36 10   40 6.4 3.3 84 290
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i 0 .050 .051 .49 10   .0041 .22   .74 .47 8.3 44 7.4 3.9 74 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i 0 .068 .068 .43 10   .0041 0      .65 .41 6.7 42 6.7 3.6 84 290
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i 0 .073 .099 .49 18   .0041 7.7    .64 .42 7.7 39 6.1 3.3 100 300
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i 0 .050 .078 .68 18   .0041 8.1    .55 .35 8.5 39 7.1 3.8 75 300
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i 0 .076 .076 .43 10   .0041 0      .62 .40 8.6 40 8.6 4.5 78 310
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i 0 .047 .047 .58 10   .0041 .11   .61 .39 8.2 39 7.5 3.9 82 300
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i 0 .073 .074 .44 10   .0041 .14   .59 .37 9.3 42 6.4 3.4 87 300
../../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 37 290    1900    5000   3800 2.1   190   181 100 59 1600 6100   181 1000 570 13000 47000   181 7300 6400 170000 61000   181 10000 9500 220000 46000  
    correct results 22 37 66    66    760   1800 .20  84   2 22 12 320 1300   5 170 110 2500 2900   6 7300 6400 170000 57000   5 9700 9200 210000 15000  
        correct true 15 30 66    66    760   1700 .17  76   2 0 0 0 0   4 0 0 0 0   6 7300 6400 170000 57000   5 9700 9200 210000 15000  
        correct false 7 7 .46 .49 3.7 79 .029 7.9 0 22 12 320 1300   1 170 110 2500 2900   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) 37
Run set sv-comp17.MemSafety-Heap