Tool Cascade 2.0
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; 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-16 07:57:57 CET [[ 2016-01-16 11:29:40 CET ]] [[ 2016-01-16 11:29:59 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/cascade.2016-01-16_0757.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cascade.2016-01-16_0757.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) 24   15    540 wit error 3.8 2.2 170 error (1) .034 .036 5.0
memsafety/test-0137_false-valid-deref.i false(valid-deref) 3.8 1.3  140 wit error 4.0 2.3 160 error (1) .040 .043 5.1
memsafety/test-0235_false-valid-deref.i false(valid-deref) 16   5.0  510 wit error 4.4 2.6 170 error (1) .031 .032 5.2
memsafety/960521-1_false-valid-free.i false(valid-free) 18   9.9  530 wit error 3.9 2.3 160 error (1) .040 .047 5.0
memsafety/test-0158_false-valid-free.i false(valid-free) 3.2 1.1  130 wit error 4.0 2.3 160 error (1) .026 .031 5.0
memsafety/test-0232_false-valid-free.i false(valid-free) 130   130    280 wit error 3.8 2.3 160 error (1) .030 .032 5.2
memsafety/20020406-1_false-valid-memtrack.i unknown 4.3 1.3  160 wit - -
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 4.8 1.5  180 wit error 4.0 2.3 170 error (1) .028 .033 5.2
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 5.8 2.0  220 wit error 4.0 2.3 170 error (1) .029 .032 5.1
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 4.2 1.3  160 wit error 4.1 2.3 170 error (1) .026 .031 5.2
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 860   850    490 wit - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 3.1 1.1  130 wit error 3.7 2.1 160 error (1) .051 .057 5.1
memsafety/test-0102_false-valid-memtrack.i unknown 850   850    310 wit - -
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 2.8 1.0  110 wit error 3.6 2.1 160 error (1) .028 .033 5.2
memsafety/test-0220_false-valid-memtrack.i unknown 850   850    300 wit - -
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 3.1 1.1  130 wit error 3.7 2.2 160 error (1) .027 .032 5.0
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 5.3 1.5  180 wit error 4.4 2.5 170 error (1) .046 .053 5.0
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 10   2.5  480 wit error 4.2 2.4 170 error (1) .030 .034 5.1
memsafety/960521-1_true-valid-memsafety.i true 22   13    550 wit - -
memsafety/lockfree-3.0_true-valid-memsafety.i unknown 860   850    940 wit - -
memsafety/test-0019_true-valid-memsafety.i true 2.8 .99 130 wit - -
memsafety/test-0102_true-valid-memsafety.i unknown 860   850    640 wit - -
memsafety/test-0134_true-valid-memsafety.i unknown 860   850    500 wit - -
memsafety/test-0158_true-valid-memsafety.i true 3.0 1.1  120 wit - -
memsafety/test-0214_true-valid-memsafety.i unknown 860   850    640 wit - -
memsafety/test-0217_true-valid-memsafety.i timeout 900   820    1400 wit - -
memsafety/test-0218_true-valid-memsafety.i timeout 900   820    1500 wit - -
memsafety/test-0219_true-valid-memsafety.i unknown 860   850    310 wit - -
memsafety/test-0232_true-valid-memsafety.i unknown 850   850    690 wit - -
memsafety/test-0234_true-valid-memsafety.i unknown 870   850    1100 wit - -
memsafety/test-0235_true-valid-memsafety.i timeout 900   760    1400 wit - -
memsafety/test-0236_true-valid-memsafety.i unknown 870   850    1200 wit - -
memsafety/test-0237_true-valid-memsafety.i unknown 870   850    1300 wit - -
memsafety/test-0504_true-valid-memsafety.i unknown 860   850    620 wit - -
memsafety/test-0513_true-valid-memsafety.i unknown 850   850    620 wit - -
memsafety/test-0521_true-valid-memsafety.i unknown 860   850    2000 wit - -
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 850   850    1000 wit - -
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 860   850    980 wit - -
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 860   850    1500 wit - -
memsafety-ext/tree_cnstr_true-valid-memsafety.i unknown 860   850    770 wit - -
memsafety-ext/tree_dsw_true-valid-memsafety.i unknown 860   850    630 wit - -
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown 850   850    1100 wit - -
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i unknown 850   850    700 wit - -
memsafety-ext/tree_stack_true-valid-memsafety.i unknown 850   850    700 wit - -
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 3.3 1.2  120 wit error 3.9 2.3 160 error (1) .026 .031 5.1
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 3.2 1.1  120 wit error 3.9 2.3 160 error (1) .029 .032 5.1
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 3.1 1.3  120 wit error 3.7 2.1 160 error (1) .028 .032 5.1
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) 3.1 1.1  130 wit error 3.7 2.1 160 error (1) .030 .032 5.0
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 2.9 1.0  120 wit error 3.7 2.2 160 error (1) .028 .032 5.0
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) 3.2 1.1  130 wit error 4.0 2.3 160 error (1) .025 .030 5.0
list-ext-properties/960521-1_1_true-valid-memsafety.i true 320   300    700 wit - -
list-ext-properties/list-ext_1_true-valid-memsafety.i unknown 850   850    360 wit - -
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 860   850    420 wit - -
list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown 860   850    370 wit - -
list-ext-properties/test-0019_1_true-valid-memsafety.i true 3.3 1.3  130 wit - -
list-ext-properties/test-0158_1_true-valid-memsafety.i true 3.5 1.6  120 wit - -
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown 860   850    460 wit - -
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 860   850    520 wit - -
list-ext-properties/test-0232_1_true-valid-memsafety.i unknown 850   850    300 wit - -
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown 860   850    990 wit - -
list-ext-properties/test-0513_1_true-valid-memsafety.i unknown 850   850    630 wit - -
memory-alloca/c.03-alloca_true-valid-memsafety.i true 610   590    730 wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 2.0 .91 110 wit error 3.0 1.8 150 error (1) .029 .032 5.2
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 1.8 .83 110 wit error 3.0 1.9 150 error (1) .028 .032 5.1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 2.0 1.0  100 wit error 3.1 1.8 140 error (1) .030 .033 5.1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 2.0 .94 100 wit error 3.0 1.8 140 error (1) .028 .032 5.2
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 900   830    1400 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 870   800    1600 wit error 2.8 1.7 140 error (1) .030 .032 5.2
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 1.6 .85 98 wit error 3.0 1.8 140 error (1) .028 .032 5.1
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 1.7 .83 98 wit error 2.9 1.8 140 error (1) .031 .033 5.2
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 1.6 .82 97 wit error 3.0 1.8 140 error (1) .031 .032 5.2
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 1.7 .86 97 wit error 2.9 1.7 140 error (1) .029 .032 5.1
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 1.7 .88 97 wit error 2.9 1.8 150 error (1) .029 .032 5.2
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 1.6 .84 98 wit error 2.9 1.7 140 error (1) .028 .033 5.1
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 900   800    1700 wit - -
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c timeout 900   800    1700 wit - -
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout 900   800    1700 wit - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c timeout 900   820    1600 wit - -
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout 900   830    1600 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c timeout 900   820    1600 wit - -
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 3.6 1.3  130 wit - -
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 3.6 1.4  140 wit - -
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 1.9 .86 110 wit - -
ldv-memsafety/memset2_true-valid-memsafety.c true 1.6 .82 99 wit - -
ldv-memsafety/memset3_true-valid-memsafety.c true 1.4 .82 97 wit - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 1.6 .81 97 wit - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 1.7 .87 99 wit - -
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 1.7 .87 97 wit - -
ldv-memsafety/memset_true-valid-memsafety.c true 1.4 .70 99 wit - -
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 860   850    420 wit - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 6.5 1.9  200 wit error 4.4 2.6 180 error (1) .026 .031 5.1
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 5.7 1.8  190 wit error 4.5 2.6 180 error (1) .030 .034 5.1
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 860   850    370 wit - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 8.9 4.2  200 wit error 4.8 2.7 190 error (1) .029 .034 5.1
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 5.8 2.0  180 wit error 4.8 2.8 180 error (1) .030 .032 5.1
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 860   850    620 wit - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 860   850    580 wit - -
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 5.1 1.5  180 wit error 4.8 2.7 180 error (1) .029 .032 5.2
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 4.5 1.4  150 wit error 4.6 2.6 180 error (1) .029 .031 5.2
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.2 1.3  150 wit error 4.5 2.5 170 error (1) .028 .031 5.2
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 4.7 1.5  170 wit error 4.6 2.6 180 error (1) .027 .030 5.2
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 4.4 1.4  150 wit error 4.7 2.6 180 error (1) .029 .031 5.2
ldv-memsafety/memleaks_test10_false-valid-memtrack.i false(valid-memtrack) 5.5 1.7  170 wit error 4.7 2.6 180 error (1) .029 .032 5.1
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i false(valid-memtrack) 5.3 1.7  170 wit error 4.7 2.7 180 error (1) .030 .032 5.1
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) 4.4 1.3  160 wit error 4.4 2.5 170 error (1) .030 .033 5.1
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 4.5 1.4  170 wit error 4.7 2.6 180 error (1) .030 .032 5.1
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) 4.2 1.4  160 wit error 4.8 2.7 170 error (1) .039 .043 5.1
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 5.2 1.5  170 wit error 4.5 2.6 180 error (1) .030 .032 5.2
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-free) 6.9 2.5  200 wit - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) 4.3 1.3  150 wit error 4.5 2.6 180 error (1) .029 .032 5.1
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 4.6 1.4  160 wit error 4.7 2.7 180 error (1) .026 .031 5.1
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 860   850    470 wit - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 860   850    540 wit - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) 4.5 1.4  160 wit error 4.5 2.6 180 error (1) .028 .032 5.2
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i unknown 860   850    420 wit - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 6.6 2.3  200 wit error 4.7 2.6 180 error (1) .026 .031 5.2
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 4.1 1.3  150 wit error 4.3 2.4 170 error (1) .030 .034 5.1
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 4.6 1.3  160 wit error 4.6 2.6 180 error (1) .029 .031 5.1
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 4.7 1.4  160 wit error 4.6 2.6 180 error (1) .029 .031 5.1
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) 7.1 3.8  190 wit error 4.6 2.6 180 error (1) .028 .031 5.2
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) 4.5 1.4  160 wit error 4.5 2.6 180 error (1) .027 .033 5.2
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) 8.4 4.1  220 wit error 4.6 2.6 180 error (1) .028 .032 5.1
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) 4.4 1.3  160 wit error 4.5 2.6 180 error (1) .028 .032 5.1
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 4.2 1.3  150 wit error 4.4 2.5 180 error (1) .046 .048 5.1
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) 4.7 1.2  190 wit error 4.4 2.6 180 error (1) .031 .032 5.2
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) 4.6 1.3  160 wit error 4.6 2.6 170 error (1) .028 .031 5.1
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) 4.6 1.4  160 wit error 4.9 2.8 190 error (1) .030 .032 5.1
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) 4.8 1.4  170 wit error 4.6 2.6 180 error (1) .036 .042 5.1
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 4.3 1.3  160 wit error 4.5 2.5 180 error (1) .029 .031 5.2
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) 4.3 1.3  160 wit error 4.4 2.4 180 error (1) .026 .032 5.1
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 4.4 1.3  150 wit error 4.5 2.6 180 error (1) .029 .033 5.2
ldv-memsafety/memleaks_test10_true-valid-memsafety.i true 8.5 4.8  170 wit - -
ldv-memsafety/memleaks_test11_true-valid-memsafety.i true 5.9 2.2  170 wit - -
ldv-memsafety/memleaks_test12_true-valid-memsafety.i false(valid-free) 78   73    270 wit - -
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 860   850    690 wit - -
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 860   850    440 wit - -
ldv-memsafety/memleaks_test15_true-valid-memsafety.i unknown 860   850    1000 wit - -
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 4.6 1.4  160 wit - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i unknown 860   850    560 wit - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i unknown 860   850    390 wit - -
ldv-memsafety/memleaks_test18_true-valid-memsafety.i unknown 850   850    640 wit - -
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true 5.5 1.6  170 wit - -
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 4.2 1.3  150 wit - -
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true 36   32    270 wit - -
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true 38   34    270 wit - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true 5.6 1.7  170 wit - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true 400   400    690 wit - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i true 150   150    650 wit - -
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 860   850    330 wit - -
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 860   850    410 wit - -
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 4.2 1.3  150 wit - -
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 4.3 1.3  150 wit - -
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 4.3 1.3  160 wit - -
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 4.4 1.4  160 wit - -
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 4.4 1.3  160 wit - -
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true 4.0 1.2  170 wit - -
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 4.8 1.4  170 wit - -
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 5.0 1.5  170 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 51000 50000 68000 158 270   150   11000   158 2.0 2.2 330  
    correct results 99 3000 2600 20000 0 270   150   11000   0 2.0 2.2 330  
        correct true 34 1700 1600 7600 0 0   0   0   0 0   0   0  
        correct false 65 1300 1000 13000 0 270   150   11000   0 2.0 2.2 330  
    incorrect results 2 85 76 470 0 0   0   0   0 0   0   0  
        incorrect true 0
        incorrect false 2 85 76 470 0 0   0   0   0 0   0   0  
score (158 tasks, max score: 238) 101
Run set sv-comp16.HeapMemSafety