Tool Forester
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus13; zeus15; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-06 15:22:35 CET [[ 2016-01-15 09:07:03 CET ]] [[ 2016-01-15 22:21:21 CET ]]
Run set sv-comp16.HeapMemSafety
Options --trace error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/forester.2016-01-06_1522.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/forester.2016-01-06_1522.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
memsafety/960521-1_false-valid-deref.i .039 .042 8.5
memsafety/test-0137_false-valid-deref.i .21  .22  11  
memsafety/test-0235_false-valid-deref.i .12  .13  10  
memsafety/960521-1_false-valid-free.i .048 .051 8.5
memsafety/test-0158_false-valid-free.i .036 .040 8.4
memsafety/test-0232_false-valid-free.i .10  .12  9.2
memsafety/20020406-1_false-valid-memtrack.i .088 .091 9.2
memsafety/20051113-1.c_false-valid-memtrack.i .071 .074 8.5
memsafety/lockfree-3.1_false-valid-memtrack.i .095 .098 9.2
memsafety/lockfree-3.2_false-valid-memtrack.i .049 .052 9.1
memsafety/lockfree-3.3_false-valid-memtrack.i .051 .058 9.6
memsafety/test-0019_false-valid-memtrack.i .041 .042 8.5 3.9 2.2 160 12 6.6 320
memsafety/test-0102_false-valid-memtrack.i 3.2   3.2   13  
memsafety/test-0158_false-valid-memtrack.i .044 .045 8.3
memsafety/test-0220_false-valid-memtrack.i .089 .095 9.3
memsafety/test-0232_false-valid-memtrack.i .076 .085 9.1
memsafety/test-0234_false-valid-memtrack.i .15  .17  10  
memsafety/test-0235_false-valid-memtrack.i .087 .096 10  
memsafety/960521-1_true-valid-memsafety.i .039 .042 8.5
memsafety/lockfree-3.0_true-valid-memsafety.i .059 .061 9.2
memsafety/test-0019_true-valid-memsafety.i .061 .068 11  
memsafety/test-0102_true-valid-memsafety.i 400     930     47  
memsafety/test-0134_true-valid-memsafety.i .26  .27  12  
memsafety/test-0158_true-valid-memsafety.i .039 .042 8.3
memsafety/test-0214_true-valid-memsafety.i .037 .041 9.2
memsafety/test-0217_true-valid-memsafety.i .066 .071 8.9
memsafety/test-0218_true-valid-memsafety.i .043 .047 8.9
memsafety/test-0219_true-valid-memsafety.i .094 .11  9.4
memsafety/test-0232_true-valid-memsafety.i .077 .084 9.1
memsafety/test-0234_true-valid-memsafety.i .095 .11  9.6
memsafety/test-0235_true-valid-memsafety.i .12  .13  9.7
memsafety/test-0236_true-valid-memsafety.i .10  .12  10  
memsafety/test-0237_true-valid-memsafety.i .11  .12  10  
memsafety/test-0504_true-valid-memsafety.i 2.4   2.4   19  
memsafety/test-0513_true-valid-memsafety.i .25  .26  11  
memsafety/test-0521_true-valid-memsafety.i 1.2   1.2   27  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i .20  .21  11  
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i .54  .55  13  
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i 34     34     77  
memsafety-ext/tree_cnstr_true-valid-memsafety.i .20  .20  11  
memsafety-ext/tree_dsw_true-valid-memsafety.i 1.0   1.0   14  
memsafety-ext/tree_of_cslls_true-valid-memsafety.i .42  .42  11  
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i .52  .52  11  
memsafety-ext/tree_stack_true-valid-memsafety.i .14  .14  11  
list-ext-properties/960521-1_1_false-valid-deref.i .059 .065 8.4
list-ext-properties/960521-1_1_false-valid-free.i .043 .045 8.5
list-ext-properties/test-0158_1_false-valid-free.i .070 .073 8.3
list-ext-properties/test-0019_1_false-valid-memtrack.i .033 .037 8.6 4.1 2.3 170 12 6.8 340
list-ext-properties/test-0158_1_false-valid-memtrack.i .036 .041 8.3
list-ext-properties/test-0232_1_false-valid-memtrack.i .045 .048 8.5
list-ext-properties/960521-1_1_true-valid-memsafety.i .044 .048 8.4
list-ext-properties/list-ext_1_true-valid-memsafety.i .086 .090 8.9
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i .044 .047 9.0
list-ext-properties/simple-ext_1_true-valid-memsafety.i .046 .049 8.7
list-ext-properties/test-0019_1_true-valid-memsafety.i .052 .060 11  
list-ext-properties/test-0158_1_true-valid-memsafety.i .038 .039 8.3
list-ext-properties/test-0214_1_true-valid-memsafety.i .084 .092 9.4
list-ext-properties/test-0217_1_true-valid-memsafety.i .071 .076 9.0
list-ext-properties/test-0232_1_true-valid-memsafety.i .039 .042 8.4
list-ext-properties/test-0504_1_true-valid-memsafety.i .044 .049 8.6
list-ext-properties/test-0513_1_true-valid-memsafety.i .090 .099 9.5
memory-alloca/c.03-alloca_true-valid-memsafety.i .085 .10  9.2
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c .072 .077 8.5
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c .040 .042 8.5
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c .039 .043 8.2
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c .043 .047 8.2
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c .042 .044 8.3
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c .043 .046 8.2
ldv-memsafety/memset2_false-valid-deref-write.c .037 .040 8.1 3.9 2.3 190 11 6.3 340
ldv-memsafety/memset3_false-valid-deref-write.c .040 .045 8.1
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c .043 .047 8.0 3.9 2.4 190 11 6.7 340
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c .044 .050 8.0
ldv-memsafety/memsetNonZero_false-valid-deref-write.c .044 .046 8.1 4.0 2.4 190 11 7.6 320
ldv-memsafety/memset_false-valid-deref-write.c .044 .047 8.1 3.9 2.3 190 12 7.1 340
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c .052 .054 8.5
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c .065 .068 8.2
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c .036 .039 8.2
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c .039 .043 8.2
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c .070 .074 8.2
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c .029 .035 8.8
ldv-memsafety/StructInitialization1_true-valid-memsafety.c .054 .059 8.1
ldv-memsafety/StructInitialization2_true-valid-memsafety.c .035 .038 8.2
ldv-memsafety/StructInitialization_true-valid-memsafety.c .048 .052 11  
ldv-memsafety/memset2_true-valid-memsafety.c .053 .061 11  
ldv-memsafety/memset3_true-valid-memsafety.c .038 .042 8.1
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c .040 .042 8.0
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c .036 .038 8.0
ldv-memsafety/memsetNonZero_true-valid-memsafety.c .039 .042 8.1
ldv-memsafety/memset_true-valid-memsafety.c .051 .059 11  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i .062 .064 9.5
ldv-memsafety/memleaks_test22_3_false-valid-deref.i .055 .059 9.5
ldv-memsafety/memleaks_test22_5_false-valid-deref.i .10  .10  9.5
ldv-memsafety/memleaks_test23_2_false-valid-deref.i .12  .12  9.9
ldv-memsafety/memleaks_test23_4_false-valid-deref.i .064 .067 9.9
ldv-memsafety/memleaks_test11_1_false-valid-free.i .076 .082 10  
ldv-memsafety/memleaks_test12_false-valid-free.i .071 .073 10  
ldv-memsafety/memleaks_test17_2_false-valid-free.i .060 .065 9.6
ldv-memsafety/memleaks_test19_false-valid-free.i .069 .072 9.6
ldv-memsafety/memleaks_test2_false-valid-free.i .065 .071 9.9
ldv-memsafety/memleaks_test3_false-valid-free.i .061 .068 9.9
ldv-memsafety/memleaks_test6_2_false-valid-free.i .058 .062 9.6
ldv-memsafety/memleaks_test8_2_false-valid-free.i .055 .059 9.5
ldv-memsafety/memleaks_test10_false-valid-memtrack.i .091 .099 10  
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i .063 .065 9.7
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i .058 .060 9.5
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i .063 .066 9.7
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i .062 .066 9.5
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i .074 .078 9.7
ldv-memsafety/memleaks_test15_false-valid-memtrack.i .076 .080 9.9
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i .056 .061 9.5
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i .055 .059 9.5
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i .059 .064 9.9
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i .057 .062 9.7
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i .066 .068 9.5
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i .089 .090 9.5
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i .061 .063 9.4
ldv-memsafety/memleaks_test1_false-valid-memtrack.i .055 .058 9.4
ldv-memsafety/memleaks_test20_false-valid-memtrack.i .060 .064 9.5
ldv-memsafety/memleaks_test21_false-valid-memtrack.i .063 .068 9.5
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i .056 .061 9.5
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i .091 .094 9.5
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i .059 .062 9.5
ldv-memsafety/memleaks_test4_false-valid-memtrack.i .047 .050 9.5
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i .056 .059 9.5
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i .066 .070 9.5
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i .059 .063 9.7
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i .064 .068 9.6
ldv-memsafety/memleaks_test7_false-valid-memtrack.i .063 .067 9.7
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i .057 .060 9.5
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i .061 .064 9.5
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i .060 .065 9.5
ldv-memsafety/memleaks_test10_true-valid-memsafety.i .057 .060 9.7
ldv-memsafety/memleaks_test11_true-valid-memsafety.i .067 .070 9.8
ldv-memsafety/memleaks_test12_true-valid-memsafety.i .062 .067 10  
ldv-memsafety/memleaks_test13_true-valid-memsafety.i .059 .061 9.6
ldv-memsafety/memleaks_test14_true-valid-memsafety.i .058 .061 9.5
ldv-memsafety/memleaks_test15_true-valid-memsafety.i .11  .11  9.9
ldv-memsafety/memleaks_test16_true-valid-memsafety.i .073 .075 9.5
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i .11  .12  9.7
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i .071 .074 9.5
ldv-memsafety/memleaks_test18_true-valid-memsafety.i .057 .061 9.5
ldv-memsafety/memleaks_test19_true-valid-memsafety.i .071 .076 9.7
ldv-memsafety/memleaks_test1_true-valid-memsafety.i .045 .048 9.5
ldv-memsafety/memleaks_test20_true-valid-memsafety.i .063 .068 9.6
ldv-memsafety/memleaks_test21_true-valid-memsafety.i .061 .065 9.5
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i .062 .066 9.5
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i .056 .059 9.5
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i .060 .065 9.5
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i .065 .068 9.9
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i .063 .068 10  
ldv-memsafety/memleaks_test2_true-valid-memsafety.i .085 .088 9.4
ldv-memsafety/memleaks_test3_true-valid-memsafety.i .064 .068 9.5
ldv-memsafety/memleaks_test4_true-valid-memsafety.i .10  .11  9.5
ldv-memsafety/memleaks_test5_true-valid-memsafety.i .072 .077 10  
ldv-memsafety/memleaks_test6_true-valid-memsafety.i .065 .068 9.6
ldv-memsafety/memleaks_test7_true-valid-memsafety.i .069 .072 9.5
ldv-memsafety/memleaks_test8_true-valid-memsafety.i .058 .061 9.5
ldv-memsafety/memleaks_test9_true-valid-memsafety.i .064 .067 9.5
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 158 450    990    1600 158 24   14   1100   158 69   41   2000  
    correct results 22 42    42    320 4 24   14   1100   6 69   41   2000  
        correct true 16 41    41    270 0 0   0   0   2 0   0   0  
        correct false 6 .24 .26 49 4 24   14   1100   4 69   41   2000  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (158 tasks, max score: 238) 38
Run set sv-comp16.HeapMemSafety