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:59 CET ]]
Run set sv-comp16.ArraysMemSafety
Options [[ ../../results-verified/cascade.2016-01-16_0757.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/array-memsafety/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime wit2_walltime wit2_memUsage (MB)
add_last_unsafe_false-valid-deref.i false(valid-deref) 2.8 1.1  120 wit error (1) .029 .033 5.2 -
bubblesort_unsafe_false-valid-deref.i false(valid-deref) 1.7 .84 98 wit error (1) .039 .041 5.0 -
count_down_unsafe_false-valid-deref.i false(valid-deref) 4.3 1.4  160 wit error (1) .029 .032 5.0 -
cstrcat_unsafe_false-valid-deref.i false(valid-deref) 1.5 .77 93 wit error (1) .029 .032 5.0 -
cstrchr_unsafe_false-valid-deref.i false(valid-memtrack) 2.9 1.1  130 wit - -
cstrlen_unsafe_false-valid-deref.i false(valid-deref) 3.6 1.3  130 wit error (1) .028 .031 5.0 -
cstrncat_unsafe_false-valid-deref.i false(valid-deref) 1.6 .83 96 wit error (1) .027 .031 5.1 -
cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 1.7 .82 97 wit error (1) .040 .042 5.1 -
cstrpbrk_unsafe_false-valid-deref.i false(valid-free) 3.3 1.2  130 wit - -
diff_usafe_false-valid-deref.i false(valid-deref) 1.6 .75 100 wit error (1) .030 .032 5.1 -
knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 3.5 1.2  140 wit error (1) .029 .033 5.1 -
lis_unsafe_false-valid-deref.i false(valid-deref) 4.4 1.3  170 wit error (1) .029 .033 5.0 -
mult_array_unsafe_false-valid-deref.i false(valid-deref) 4.8 2.3  160 wit error (1) .028 .033 5.1 -
reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 3.4 1.6  150 wit error (1) .028 .031 5.1 -
reverse_array_unsafe_false-valid-deref.i false(valid-deref) 4.3 2.1  150 wit error (1) .027 .032 5.0 -
selectionsort_unsafe_false-valid-deref.i false(valid-deref) 1.5 .72 99 wit error (1) .031 .034 5.1 -
stroeder1_unsafe_false-valid-deref.i false(valid-deref) 1.6 .80 93 wit error (1) .031 .036 5.0 -
add_last-alloca_true-valid-memsafety.i unknown 850   850    1900 wit - -
array01-alloca_true-valid-memsafety.i unknown 860   850    650 wit - -
array02-alloca_true-valid-memsafety.i unknown 860   850    620 wit - -
array03-alloca_true-valid-memsafety.i unknown 860   850    1400 wit - -
bubblesort-alloca_true-valid-memsafety.i unknown 860   850    610 wit - -
count_down-alloca_true-valid-memsafety.i unknown 860   850    490 wit - -
cstrcat-alloca_true-valid-memsafety.i unknown 860   850    450 wit - -
cstrchr-alloca_true-valid-memsafety.i unknown 860   850    640 wit - -
cstrcmp-alloca_true-valid-memsafety.i unknown 860   850    670 wit - -
cstrcpy-alloca_true-valid-memsafety.i true 200   190    600 wit - -
cstrcspn-alloca_true-valid-memsafety.i unknown 900   850    1000 wit - -
cstrlen-alloca_true-valid-memsafety.i true 110   110    470 wit - -
cstrncat-alloca_true-valid-memsafety.i unknown 850   850    1900 wit - -
cstrncmp-alloca_true-valid-memsafety.i unknown 860   850    660 wit - -
cstrncpy-alloca_true-valid-memsafety.i unknown 860   850    490 wit - -
cstrpbrk-alloca_true-valid-memsafety.i timeout 900   840    1100 wit - -
cstrspn-alloca_true-valid-memsafety.i timeout 900   840    1100 wit - -
diff-alloca_true-valid-memsafety.i unknown 870   850    740 wit - -
insertionsort-alloca_true-valid-memsafety.i timeout 900   830    1400 wit - -
java_BubbleSort-alloca_true-valid-memsafety.i unknown 860   850    630 wit - -
lis-alloca_true-valid-memsafety.i unknown 860   850    610 wit - -
mult_array-alloca_true-valid-memsafety.i unknown 860   850    500 wit - -
openbsd_cbzero-alloca_true-valid-memsafety.i true 27   20    470 wit - -
openbsd_cmemchr-alloca_true-valid-memsafety.i true 110   100    510 wit - -
openbsd_cmemrchr-alloca_true-valid-memsafety.i true 160   150    520 wit - -
openbsd_cmemset-alloca_true-valid-memsafety.i true 27   18    480 wit - -
openbsd_cstpcpy-alloca_true-valid-memsafety.i true 200   190    600 wit - -
openbsd_cstpncpy-alloca_true-valid-memsafety.i unknown 860   850    500 wit - -
openbsd_cstrcat-alloca_true-valid-memsafety.i unknown 860   850    440 wit - -
openbsd_cstrcmp-alloca_true-valid-memsafety.i unknown 860   850    700 wit - -
openbsd_cstrcpy-alloca_true-valid-memsafety.i true 200   190    600 wit - -
openbsd_cstrcspn-alloca_true-valid-memsafety.i unknown 870   850    700 wit - -
openbsd_cstrlcpy-alloca_true-valid-memsafety.i unknown 860   850    410 wit - -
openbsd_cstrlen-alloca_true-valid-memsafety.i true 110   110    510 wit - -
openbsd_cstrncat-alloca_true-valid-memsafety.i unknown 860   850    360 wit - -
openbsd_cstrncmp-alloca_true-valid-memsafety.i unknown 860   850    710 wit - -
openbsd_cstrncpy-alloca_true-valid-memsafety.i unknown 860   850    490 wit - -
openbsd_cstrnlen-alloca_true-valid-memsafety.i true 450   440    620 wit - -
openbsd_cstrpbrk-alloca_true-valid-memsafety.i unknown 870   850    830 wit - -
openbsd_cstrspn-alloca_true-valid-memsafety.i unknown 870   850    600 wit - -
openbsd_cstrstr-alloca_true-valid-memsafety.i unknown 860   850    2000 wit - -
rec_strlen-alloca_true-valid-memsafety.i unknown 3.1 1.1  150 wit - -
selectionsort-alloca_true-valid-memsafety.i unknown 880   850    1300 wit - -
stroeder1-alloca_true-valid-memsafety.i true 29   23    450 wit - -
stroeder2-alloca_true-valid-memsafety.i unknown 860   850    610 wit - -
strreplace-alloca_true-valid-memsafety.i unknown 850   850    650 wit - -
subseq-alloca_true-valid-memsafety.i unknown 850   850    1800 wit - -
substring-alloca_true-valid-memsafety.i unknown 880   850    850 wit - -
../../sv-benchmarks/c/array-memsafety/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime wit2_walltime wit2_memUsage (MB)
total tasks 65 33000   32000   38000 65 .45 .51 76   65 0  
    correct results 26 1700   1600   7700 0 .45 .51 76   0 0  
        correct true 11 1600   1500   5800 0 0    0    0   0 0  
        correct false 15 42   18   1800 0 .45 .51 76   0 0  
    incorrect results 2 6.2 2.2 250 0 0    0    0   0 0  
        incorrect true 0
        incorrect false 2 6.2 2.2 250 0 0    0    0   0 0  
score (65 tasks, max score: 113) 5
Run set sv-comp16.ArraysMemSafety