Tool Forest svc_16_20151108
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23]
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-09 23:49:59 CET [[ 2016-01-15 09:05:13 CET ]] [[ 2016-01-15 22:20:31 CET ]]
Run set sv-comp16.HeapMemSafety
Options -svcomp [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/forest.2016-01-09_2349.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/forest.2016-01-09_2349.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 true 2.0   2.3   38   wit - -
memsafety/test-0137_false-valid-deref.i true .62  .71  38   wit - -
memsafety/test-0235_false-valid-deref.i unknown .66  .74  39   wit - -
memsafety/960521-1_false-valid-free.i true .60  .69  38   wit - -
memsafety/test-0158_false-valid-free.i false(valid-free) .57  .66  39   wit false(valid-free) 5.7 3.3 230 true 12 7.9 330
memsafety/test-0232_false-valid-free.i true .54  .61  39   wit - -
memsafety/20020406-1_false-valid-memtrack.i false(valid-free) .78  .87  39   wit - -
memsafety/20051113-1.c_false-valid-memtrack.i true .27  .38  11   wit - -
memsafety/lockfree-3.1_false-valid-memtrack.i error (134) 4.0   4.7   39   wit - -
memsafety/lockfree-3.2_false-valid-memtrack.i true .67  .77  38   wit - -
memsafety/lockfree-3.3_false-valid-memtrack.i error (139) 2.7   3.2   39   wit - -
memsafety/test-0019_false-valid-memtrack.i true .47  .55  38   wit - -
memsafety/test-0102_false-valid-memtrack.i false(valid-free) 1.4   1.6   39   wit - -
memsafety/test-0158_false-valid-memtrack.i false(valid-free) .63  .73  38   wit - -
memsafety/test-0220_false-valid-memtrack.i true .65  .74  38   wit - -
memsafety/test-0232_false-valid-memtrack.i false(valid-free) .86  1.0   38   wit - -
memsafety/test-0234_false-valid-memtrack.i true .67  .75  39   wit - -
memsafety/test-0235_false-valid-memtrack.i true .71  .81  39   wit - -
memsafety/960521-1_true-valid-memsafety.i unknown .24  .31  4.8 wit - -
memsafety/lockfree-3.0_true-valid-memsafety.i true .66  .76  38   wit - -
memsafety/test-0019_true-valid-memsafety.i true .57  .67  38   wit - -
memsafety/test-0102_true-valid-memsafety.i false(valid-free) 1.5   1.7   39   wit - -
memsafety/test-0134_true-valid-memsafety.i unknown .65  .73  39   wit - -
memsafety/test-0158_true-valid-memsafety.i true .57  .66  38   wit - -
memsafety/test-0214_true-valid-memsafety.i true .70  .79  39   wit - -
memsafety/test-0217_true-valid-memsafety.i true 3.5   4.3   39   wit - -
memsafety/test-0218_true-valid-memsafety.i unknown .25  .33  5.0 wit - -
memsafety/test-0219_true-valid-memsafety.i true .65  .74  38   wit - -
memsafety/test-0232_true-valid-memsafety.i true 440     510     38   wit - -
memsafety/test-0234_true-valid-memsafety.i unknown .65  .73  39   wit - -
memsafety/test-0235_true-valid-memsafety.i true 1.3   1.5   39   wit - -
memsafety/test-0236_true-valid-memsafety.i unknown .67  .76  36   wit - -
memsafety/test-0237_true-valid-memsafety.i unknown .69  .77  39   wit - -
memsafety/test-0504_true-valid-memsafety.i true .58  .67  38   wit - -
memsafety/test-0513_true-valid-memsafety.i true .89  1.1   39   wit - -
memsafety/test-0521_true-valid-memsafety.i error (134) 3.4   3.9   39   wit - -
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i true 3.0   3.6   39   wit - -
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i true .89  1.0   39   wit - -
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i true .73  .82  39   wit - -
memsafety-ext/tree_cnstr_true-valid-memsafety.i true 3.2   3.8   39   wit - -
memsafety-ext/tree_dsw_true-valid-memsafety.i true 2.9   3.4   39   wit - -
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown .65  .75  39   wit - -
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i unknown .62  .70  38   wit - -
memsafety-ext/tree_stack_true-valid-memsafety.i true .60  .70  38   wit - -
list-ext-properties/960521-1_1_false-valid-deref.i unknown .25  .33  7.3 wit - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 72     77     39   wit false(valid-free) 5.8 3.3 230 true 11 8.2 320
list-ext-properties/test-0158_1_false-valid-free.i unknown .55  .61  38   wit - -
list-ext-properties/test-0019_1_false-valid-memtrack.i unknown .48  .54  38   wit - -
list-ext-properties/test-0158_1_false-valid-memtrack.i true .58  .66  38   wit - -
list-ext-properties/test-0232_1_false-valid-memtrack.i true .65  .74  38   wit - -
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown .53  .59  38   wit - -
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 900     900     680   wit - -
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 900     900     680   wit - -
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 900     900     860   wit - -
list-ext-properties/test-0019_1_true-valid-memsafety.i unknown .57  .64  38   wit - -
list-ext-properties/test-0158_1_true-valid-memsafety.i unknown .56  .65  38   wit - -
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown .65  .73  39   wit - -
list-ext-properties/test-0217_1_true-valid-memsafety.i true .74  .84  39   wit - -
list-ext-properties/test-0232_1_true-valid-memsafety.i unknown .14  .20  4.9 wit - -
list-ext-properties/test-0504_1_true-valid-memsafety.i error (134) .62  .70  39   wit - -
list-ext-properties/test-0513_1_true-valid-memsafety.i true 27     29     39   wit - -
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown .59  .67  38   wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-free) 17     17     38   wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c true 16     16     38   wit - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c true .62  .73  38   wit - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c true 2.7   3.1   39   wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c true .60  .69  38   wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c true 25     26     38   wit - -
ldv-memsafety/memset2_false-valid-deref-write.c unknown .15  .22  7.3 wit - -
ldv-memsafety/memset3_false-valid-deref-write.c unknown .17  .24  7.2 wit - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown .20  .27  7.1 wit - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown .21  .29  7.4 wit - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown .22  .30  7.3 wit - -
ldv-memsafety/memset_false-valid-deref-write.c unknown .22  .30  7.2 wit - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 16     16     38   wit - -
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c unknown .49  .56  38   wit - -
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown .53  .62  38   wit - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true 3.0   3.4   39   wit - -
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true .52  .61  38   wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 5.9   6.5   39   wit - -
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .45  .54  38   wit - -
ldv-memsafety/StructInitialization2_true-valid-memsafety.c unknown .50  .59  39   wit - -
ldv-memsafety/StructInitialization_true-valid-memsafety.c true .64  .75  38   wit - -
ldv-memsafety/memset2_true-valid-memsafety.c unknown .56  .65  38   wit - -
ldv-memsafety/memset3_true-valid-memsafety.c unknown .20  .29  7.1 wit - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c unknown .21  .29  7.4 wit - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c unknown .20  .27  7.5 wit - -
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true .20  .29  7.2 wit - -
ldv-memsafety/memset_true-valid-memsafety.c unknown .18  .25  7.2 wit - -
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-free) .84  .95  39   wit - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i true 1.4   1.6   39   wit - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i true 1.7   1.9   39   wit - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-free) 2.5   2.9   45   wit - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i true .99  1.1   39   wit - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown .42  .51  7.4 wit - -
ldv-memsafety/memleaks_test12_false-valid-free.i true .75  .86  8.2 wit - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown .85  .94  39   wit - -
ldv-memsafety/memleaks_test19_false-valid-free.i true .92  1.0   39   wit - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 1.0   1.1   39   wit false(valid-free) 6.5 3.6 240 true 11 7.8 320
ldv-memsafety/memleaks_test3_false-valid-free.i unknown .77  .86  39   wit - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 1.5   1.7   40   wit false(valid-free) 8.0 4.4 310 true 12 7.0 320
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .88  1.0   39   wit false(valid-free) 7.2 4.0 250 true 12 7.7 340
ldv-memsafety/memleaks_test10_false-valid-memtrack.i unknown .96  1.1   37   wit - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i true 2.1   2.5   39   wit - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-free) 1.1   1.2   39   wit - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown .92  1.0   40   wit - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-free) 1.0   1.2   39   wit - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-free) 1.1   1.3   39   wit - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-free) 1.0   1.2   40   wit - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i true 1.1   1.2   39   wit - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i unknown .83  .91  39   wit - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown .78  .87  39   wit - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i true .89  .98  40   wit - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-free) 1.4   1.6   39   wit - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-free) 3.4   4.1   39   wit - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i true 3.3   3.8   39   wit - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i unknown .90  .99  39   wit - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-free) 1.1   1.3   39   wit - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-free) 1.2   1.3   39   wit - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i true .88  .99  39   wit - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i true .56  .65  8.5 wit - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i unknown .88  .97  39   wit - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-free) 1.3   1.5   39   wit - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i true .86  .96  39   wit - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-free) 1.2   1.4   39   wit - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i unknown .86  .94  39   wit - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-free) 1.5   1.7   40   wit - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i unknown .45  .54  5.4 wit - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-free) 1.0   1.2   39   wit - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-free) 1.1   1.3   39   wit - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i unknown .89  .98  39   wit - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i true .55  .64  8.4 wit - -
ldv-memsafety/memleaks_test11_true-valid-memsafety.i error (139) 1.1   1.2   39   wit - -
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 2.9   3.3   40   wit - -
ldv-memsafety/memleaks_test13_true-valid-memsafety.i false(valid-free) .92  1.1   39   wit - -
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown .80  .88  39   wit - -
ldv-memsafety/memleaks_test15_true-valid-memsafety.i true .68  .79  7.7 wit - -
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 1.0   1.2   39   wit - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i unknown .88  .97  39   wit - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i unknown .89  .99  39   wit - -
ldv-memsafety/memleaks_test18_true-valid-memsafety.i unknown .33  .41  5.3 wit - -
ldv-memsafety/memleaks_test19_true-valid-memsafety.i unknown .40  .48  7.4 wit - -
ldv-memsafety/memleaks_test1_true-valid-memsafety.i false(valid-free) .95  1.1   39   wit - -
ldv-memsafety/memleaks_test20_true-valid-memsafety.i unknown .37  .47  5.1 wit - -
ldv-memsafety/memleaks_test21_true-valid-memsafety.i unknown .41  .51  5.5 wit - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true 1.1   1.3   39   wit - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true 1.9   2.2   39   wit - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i unknown .73  .82  39   wit - -
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i true .89  .99  39   wit - -
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i false(valid-free) 2.8   3.2   40   wit - -
ldv-memsafety/memleaks_test2_true-valid-memsafety.i error (139) .040 .045 4.4 wit - -
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 1.0   1.2   39   wit - -
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true .86  .96  39   wit - -
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true .45  .54  7.5 wit - -
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 1.6   1.9   40   wit - -
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true .57  .66  7.7 wit - -
ldv-memsafety/memleaks_test8_true-valid-memsafety.i unknown .87  .96  39   wit - -
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true .78  .88  39   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 3500 3600 7300 158 33   19   1300   158 58   39   1600  
    correct results 43 600 690 1500 5 33   19   1300   5 58   39   1600  
        correct true 38 530 610 1300 0 0   0   0   5 0   0   0  
        correct false 5 76 81 200 5 33   19   1300   0 58   39   1600  
    incorrect results 53 120 130 2000 0 0   0   0   0 0   0   0  
        incorrect true 29 68 74 1000 0 0   0   0   0 0   0   0  
        incorrect false 24 47 52 950 0 0   0   0   0 0   0   0  
score (158 tasks, max score: 238) -1231
Run set sv-comp16.HeapMemSafety