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 22:20:31 CET ]]
Run set sv-comp16.ArraysMemSafety
Options -svcomp [[ ../../results-verified/forest.2016-01-09_2349.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 wit1_walltime wit1_memUsage (MB) wit2_status wit2_cputime wit2_walltime wit2_memUsage (MB)
add_last_unsafe_false-valid-deref.i true 1.0  1.2  38   wit - -
bubblesort_unsafe_false-valid-deref.i unknown .57 .64 38   wit - -
count_down_unsafe_false-valid-deref.i true 3.0  3.5  38   wit - -
cstrcat_unsafe_false-valid-deref.i true .59 .70 38   wit - -
cstrchr_unsafe_false-valid-deref.i false(valid-free) 1.4  1.7  38   wit - -
cstrlen_unsafe_false-valid-deref.i true .59 .68 38   wit - -
cstrncat_unsafe_false-valid-deref.i true .63 .72 38   wit - -
cstrncpy_unsafe_false-valid-deref.i true .72 .84 38   wit - -
cstrpbrk_unsafe_false-valid-deref.i false(valid-free) 1.2  1.5  39   wit - -
diff_usafe_false-valid-deref.i true .58 .68 38   wit - -
knapsack_alloca_unsafe_false-valid-deref.i true .27 .36 7.3 wit - -
lis_unsafe_false-valid-deref.i false(valid-free) 23    29    38   wit - -
mult_array_unsafe_false-valid-deref.i true .50 .58 38   wit - -
reverse_array_alloca_unsafe_false-valid-deref.i unknown .54 .60 38   wit - -
reverse_array_unsafe_false-valid-deref.i false(valid-free) .91 1.1  38   wit - -
selectionsort_unsafe_false-valid-deref.i false(valid-free) .77 .91 39   wit - -
stroeder1_unsafe_false-valid-deref.i unknown .53 .61 38   wit - -
add_last-alloca_true-valid-memsafety.i true .79 .94 38   wit - -
array01-alloca_true-valid-memsafety.i false(valid-free) .92 1.1  39   wit - -
array02-alloca_true-valid-memsafety.i false(valid-free) 1.2  1.4  38   wit - -
array03-alloca_true-valid-memsafety.i unknown .57 .65 39   wit - -
bubblesort-alloca_true-valid-memsafety.i true .90 1.1  38   wit - -
count_down-alloca_true-valid-memsafety.i false(valid-free) 71    75    38   wit - -
cstrcat-alloca_true-valid-memsafety.i false(valid-free) 1.0  1.2  39   wit - -
cstrchr-alloca_true-valid-memsafety.i false(valid-free) .66 .79 38   wit - -
cstrcmp-alloca_true-valid-memsafety.i true .56 .66 38   wit - -
cstrcpy-alloca_true-valid-memsafety.i true .61 .71 39   wit - -
cstrcspn-alloca_true-valid-memsafety.i unknown .55 .63 38   wit - -
cstrlen-alloca_true-valid-memsafety.i unknown .59 .67 38   wit - -
cstrncat-alloca_true-valid-memsafety.i unknown .25 .34 7.4 wit - -
cstrncmp-alloca_true-valid-memsafety.i false(valid-free) .76 .91 39   wit - -
cstrncpy-alloca_true-valid-memsafety.i false(valid-free) .75 .90 38   wit - -
cstrpbrk-alloca_true-valid-memsafety.i true .58 .68 38   wit - -
cstrspn-alloca_true-valid-memsafety.i true .58 .69 38   wit - -
diff-alloca_true-valid-memsafety.i false(valid-free) 1.5  1.7  39   wit - -
insertionsort-alloca_true-valid-memsafety.i false(valid-free) .89 1.1  38   wit - -
java_BubbleSort-alloca_true-valid-memsafety.i false(valid-free) .96 1.2  38   wit - -
lis-alloca_true-valid-memsafety.i false(valid-free) 1.2  1.4  39   wit - -
mult_array-alloca_true-valid-memsafety.i unknown .53 .60 38   wit - -
openbsd_cbzero-alloca_true-valid-memsafety.i true 18    20    39   wit - -
openbsd_cmemchr-alloca_true-valid-memsafety.i true 2.0  2.4  39   wit - -
openbsd_cmemrchr-alloca_true-valid-memsafety.i true .60 .69 38   wit - -
openbsd_cmemset-alloca_true-valid-memsafety.i true 2.7  3.2  39   wit - -
openbsd_cstpcpy-alloca_true-valid-memsafety.i true .60 .69 38   wit - -
openbsd_cstpncpy-alloca_true-valid-memsafety.i unknown .55 .62 38   wit - -
openbsd_cstrcat-alloca_true-valid-memsafety.i unknown .88 .96 40   wit - -
openbsd_cstrcmp-alloca_true-valid-memsafety.i unknown .49 .57 36   wit - -
openbsd_cstrcpy-alloca_true-valid-memsafety.i false(valid-free) .87 1.0  38   wit - -
openbsd_cstrcspn-alloca_true-valid-memsafety.i false(valid-free) .81 .96 38   wit - -
openbsd_cstrlcpy-alloca_true-valid-memsafety.i false(valid-free) .93 1.1  38   wit - -
openbsd_cstrlen-alloca_true-valid-memsafety.i true .60 .70 38   wit - -
openbsd_cstrncat-alloca_true-valid-memsafety.i true .59 .68 39   wit - -
openbsd_cstrncmp-alloca_true-valid-memsafety.i false(valid-free) .94 1.1  39   wit - -
openbsd_cstrncpy-alloca_true-valid-memsafety.i false(valid-free) .88 1.0  39   wit - -
openbsd_cstrnlen-alloca_true-valid-memsafety.i true .62 .72 38   wit - -
openbsd_cstrpbrk-alloca_true-valid-memsafety.i true .60 .70 38   wit - -
openbsd_cstrspn-alloca_true-valid-memsafety.i false(valid-free) .78 .94 39   wit - -
openbsd_cstrstr-alloca_true-valid-memsafety.i false(valid-free) .90 1.1  39   wit - -
rec_strlen-alloca_true-valid-memsafety.i false(valid-free) .83 1.0  38   wit - -
selectionsort-alloca_true-valid-memsafety.i true .52 .61 38   wit - -
stroeder1-alloca_true-valid-memsafety.i true .55 .64 38   wit - -
stroeder2-alloca_true-valid-memsafety.i true .65 .76 39   wit - -
strreplace-alloca_true-valid-memsafety.i unknown .51 .58 38   wit - -
subseq-alloca_true-valid-memsafety.i true .66 .77 39   wit - -
substring-alloca_true-valid-memsafety.i false(valid-free) .77 .90 38   wit - -
../../sv-benchmarks/c/array-memsafety/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime wit1_walltime wit1_memUsage (MB) wit2_status wit2_cputime wit2_walltime wit2_memUsage (MB)
total tasks 65 160   180   2400 65 0   65 0  
    correct results 19 33   37   730 0 0   0 0  
        correct true 19 33   37   730 0 0   0 0  
        correct false 0
    incorrect results 34 120   140   1300 0 0   0 0  
        incorrect true 9 7.8 9.3 310 0 0   0 0  
        incorrect false 25 120   130   960 0 0   0 0  
score (65 tasks, max score: 113) -650
Run set sv-comp16.ArraysMemSafety