Tool Map2Check 6
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus02; zeus04; zeus05; zeus09; zeus11; zeus17; zeus18; zeus19; zeus20; 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-10 00:26:08 CET [[ 2016-01-15 09:20:20 CET ]] [[ 2016-01-15 22:28:13 CET ]]
Run set sv-comp16.HeapMemSafety
Options [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/map2check.2016-01-10_0026.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/map2check.2016-01-10_0026.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 false(valid-deref) 2.9  6.4  48 wit timeout 91 87 1600 true 11 6.5 340
memsafety/test-0137_false-valid-deref.i false(valid-deref) 3.1  6.5  49 wit timeout 91 86 1100 true 11 6.7 330
memsafety/test-0235_false-valid-deref.i false(valid-deref) 8.0  12    53 wit timeout 92 71 3900 true 13 8.3 330
memsafety/960521-1_false-valid-free.i false(valid-free) 2.9  6.3  48 wit timeout 91 86 2500 true 11 6.4 330
memsafety/test-0158_false-valid-free.i false(valid-deref) 3.0  6.5  50 wit - -
memsafety/test-0232_false-valid-free.i false(valid-free) 43    47    48 wit timeout 91 86 1700 true 11 6.2 330
memsafety/20020406-1_false-valid-memtrack.i unknown .42 6.5  32 wit - -
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-deref) 3.1  6.5  49 wit - -
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 3.3  6.7  49 wit timeout 91 86 1700 true 11 6.7 340
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 890    900    78 wit - -
memsafety/lockfree-3.3_false-valid-memtrack.i out of memory 870    870    15000 wit - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 2.8  6.3  48 wit timeout 91 87 1600 true 11 6.5 320
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 5.2  8.6  49 wit timeout 91 86 1700 true 13 7.4 340
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 2.6  6.0  46 wit timeout 91 87 1500 true 11 6.8 320
memsafety/test-0220_false-valid-memtrack.i false(valid-deref) 3.4  6.9  50 wit - -
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 2.7  6.1  48 wit timeout 91 87 1600 true 11 6.3 330
memsafety/test-0234_false-valid-memtrack.i false(valid-deref) 3.8  7.3  52 wit - -
memsafety/test-0235_false-valid-memtrack.i false(valid-deref) 5.8  9.4  53 wit - -
memsafety/960521-1_true-valid-memsafety.i false(valid-deref) 29    33    48 wit - -
memsafety/lockfree-3.0_true-valid-memsafety.i out of memory 510    510    15000 wit - -
memsafety/test-0019_true-valid-memsafety.i unknown 1.6  7.7  46 wit - -
memsafety/test-0102_true-valid-memsafety.i unknown 8.4  15    49 wit - -
memsafety/test-0134_true-valid-memsafety.i unknown 890    900    61 wit - -
memsafety/test-0158_true-valid-memsafety.i unknown 1.5  7.6  46 wit - -
memsafety/test-0214_true-valid-memsafety.i unknown .55 6.7  35 wit - -
memsafety/test-0217_true-valid-memsafety.i unknown .66 6.7  33 wit - -
memsafety/test-0218_true-valid-memsafety.i unknown .56 6.6  33 wit - -
memsafety/test-0219_true-valid-memsafety.i false(valid-deref) 3.3  6.8  50 wit - -
memsafety/test-0232_true-valid-memsafety.i false(valid-deref) 2.7  6.1  48 wit - -
memsafety/test-0234_true-valid-memsafety.i false(valid-deref) 9.2  13    52 wit - -
memsafety/test-0235_true-valid-memsafety.i false(valid-deref) 4.0  7.5  53 wit - -
memsafety/test-0236_true-valid-memsafety.i unknown 7.4  14    53 wit - -
memsafety/test-0237_true-valid-memsafety.i unknown 7.1  13    53 wit - -
memsafety/test-0504_true-valid-memsafety.i unknown 33    39    48 wit - -
memsafety/test-0513_true-valid-memsafety.i unknown 36    42    49 wit - -
memsafety/test-0521_true-valid-memsafety.i unknown 57    63    150 wit - -
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i false(valid-deref) 3.3  6.8  48 wit - -
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 890    900    76 wit - -
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 890    900    63 wit - -
memsafety-ext/tree_cnstr_true-valid-memsafety.i unknown 890    900    74 wit - -
memsafety-ext/tree_dsw_true-valid-memsafety.i unknown 890    900    70 wit - -
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 21    27    49 wit - -
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i unknown 770    780    48 wit - -
memsafety-ext/tree_stack_true-valid-memsafety.i unknown 890    900    57 wit - -
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 3.0  6.4  48 wit timeout 91 86 2200 true 12 6.8 340
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 2.8  6.2  48 wit timeout 91 87 1600 true 11 7.5 330
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 2.9  6.3  48 wit timeout 91 86 2700 true 12 6.9 340
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) 2.8  6.2  48 wit timeout 91 86 1700 true 11 6.3 330
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 2.3  5.7  46 wit timeout 91 87 1000 true 12 7.1 340
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) 2.9  6.3  48 wit timeout 91 86 1700 true 12 7.9 340
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 1.6  7.7  48 wit - -
list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 1.6  7.7  48 wit - -
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 1.9  8.0  48 wit - -
list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 2.0  8.1  48 wit - -
list-ext-properties/test-0019_1_true-valid-memsafety.i unknown 1.9  8.1  51 wit - -
list-ext-properties/test-0158_1_true-valid-memsafety.i unknown 1.5  7.6  46 wit - -
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown .56 6.6  33 wit - -
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown .62 6.7  33 wit - -
list-ext-properties/test-0232_1_true-valid-memsafety.i unknown 1.7  7.8  48 wit - -
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 2.1  8.2  48 wit - -
list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 2.3  8.4  49 wit - -
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown 1.6  7.7  46 wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown .65 .72 40 wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown .54 .58 38 wit - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown .54 .57 38 wit - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown .54 .58 38 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 1.1  1.2  43 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 1.1  1.1  43 wit - -
ldv-memsafety/memset2_false-valid-deref-write.c unknown .89 7.0  39 wit - -
ldv-memsafety/memset3_false-valid-deref-write.c unknown .91 7.0  39 wit - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown .92 7.0  39 wit - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown .91 7.0  38 wit - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown .76 6.9  39 wit - -
ldv-memsafety/memset_false-valid-deref-write.c unknown .62 6.7  38 wit - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown .56 .59 38 wit - -
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c unknown .90 1.0  45 wit - -
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown .61 .64 38 wit - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c unknown 1.1  1.1  43 wit - -
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown .50 .54 38 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c unknown 1.2  1.2  42 wit - -
ldv-memsafety/StructInitialization1_true-valid-memsafety.c unknown .43 .46 38 wit - -
ldv-memsafety/StructInitialization2_true-valid-memsafety.c unknown .61 .65 39 wit - -
ldv-memsafety/StructInitialization_true-valid-memsafety.c unknown 1.0  7.1  40 wit - -
ldv-memsafety/memset2_true-valid-memsafety.c unknown .93 7.0  38 wit - -
ldv-memsafety/memset3_true-valid-memsafety.c unknown .76 6.8  39 wit - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c unknown .89 7.0  39 wit - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c unknown .93 7.0  38 wit - -
ldv-memsafety/memsetNonZero_true-valid-memsafety.c unknown .93 7.1  41 wit - -
ldv-memsafety/memset_true-valid-memsafety.c unknown .82 6.9  39 wit - -
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown .53 6.6  32 wit - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown .48 6.5  32 wit - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown .59 6.7  32 wit - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown .44 6.5  32 wit - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown .57 6.6  32 wit - -
ldv-memsafety/memleaks_test12_false-valid-free.i unknown .65 6.7  32 wit - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown .61 6.7  33 wit - -
ldv-memsafety/memleaks_test19_false-valid-free.i unknown .63 6.7  32 wit - -
ldv-memsafety/memleaks_test2_false-valid-free.i unknown .64 6.7  32 wit - -
ldv-memsafety/memleaks_test3_false-valid-free.i unknown .63 6.7  32 wit - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown .63 6.7  32 wit - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown .58 6.6  33 wit - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i unknown .57 6.6  32 wit - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i unknown .64 6.7  33 wit - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown .44 6.5  32 wit - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i unknown .51 6.6  32 wit - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown .45 6.5  32 wit - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown .60 6.7  32 wit - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i unknown .57 6.6  32 wit - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i unknown .65 6.7  32 wit - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown .59 6.6  32 wit - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i unknown .45 6.5  32 wit - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i unknown .67 6.7  32 wit - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i unknown .64 6.7  32 wit - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i unknown .49 6.6  33 wit - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i unknown .45 6.5  32 wit - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i unknown .64 6.7  32 wit - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i unknown .65 6.7  32 wit - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i unknown .44 6.5  32 wit - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i unknown .65 6.7  33 wit - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i unknown .44 6.5  32 wit - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i unknown .61 6.7  32 wit - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i unknown .63 6.7  32 wit - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i unknown .57 6.6  32 wit - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i unknown .70 6.8  35 wit - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i unknown .54 6.6  32 wit - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i unknown .62 6.7  32 wit - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test11_true-valid-memsafety.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown .59 6.7  32 wit - -
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown .64 6.7  32 wit - -
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown .59 6.7  32 wit - -
ldv-memsafety/memleaks_test15_true-valid-memsafety.i unknown .63 6.7  32 wit - -
ldv-memsafety/memleaks_test16_true-valid-memsafety.i unknown .60 6.7  32 wit - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i unknown .60 6.7  35 wit - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i unknown .67 6.7  32 wit - -
ldv-memsafety/memleaks_test18_true-valid-memsafety.i unknown .64 6.7  32 wit - -
ldv-memsafety/memleaks_test19_true-valid-memsafety.i unknown .64 6.7  32 wit - -
ldv-memsafety/memleaks_test1_true-valid-memsafety.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test20_true-valid-memsafety.i unknown .65 6.7  32 wit - -
ldv-memsafety/memleaks_test21_true-valid-memsafety.i unknown .56 6.6  32 wit - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i unknown .57 6.6  32 wit - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i unknown .55 6.6  32 wit - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i unknown .51 6.6  32 wit - -
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown .55 6.6  32 wit - -
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown .60 6.7  32 wit - -
ldv-memsafety/memleaks_test2_true-valid-memsafety.i unknown .64 6.7  33 wit - -
ldv-memsafety/memleaks_test3_true-valid-memsafety.i unknown .49 6.6  32 wit - -
ldv-memsafety/memleaks_test4_true-valid-memsafety.i unknown .57 6.6  32 wit - -
ldv-memsafety/memleaks_test5_true-valid-memsafety.i unknown .58 6.6  33 wit - -
ldv-memsafety/memleaks_test6_true-valid-memsafety.i unknown .63 6.7  32 wit - -
ldv-memsafety/memleaks_test7_true-valid-memsafety.i unknown .66 6.7  32 wit - -
ldv-memsafety/memleaks_test8_true-valid-memsafety.i unknown .65 6.7  33 wit - -
ldv-memsafety/memleaks_test9_true-valid-memsafety.i unknown .44 6.5  32 wit - -
../../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 8800 9600 36000 158 1500   1400   30000   158 180   110   5300  
    correct results 16 93 150 770 0 1500   1400   30000   16 180   110   5300  
        correct true 0
        correct false 16 93 150 770 0 1500   1400   30000   0 180   110   5300  
    incorrect results 11 71 110 550 0 0   0   0   0 0   0   0  
        incorrect true 0
        incorrect false 11 71 110 550 0 0   0   0   0 0   0   0  
score (158 tasks, max score: 238) -160
Run set sv-comp16.HeapMemSafety