Tool ULTIMATE Automizer cfb9fd9e
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-14 23:51:13 CET [[ 2016-01-15 22:41:15 CET ]]
Run set sv-comp16.ArraysMemSafety
Options [[ ../../results-verified/uautomizer.2016-01-14_2351.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) 10   4.2 330 wit false(valid-deref) 13 7.7 330 -
bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.7 2.7 310 wit false(valid-deref) 14 7.7 330 -
count_down_unsafe_false-valid-deref.i false(valid-deref) 8.7 3.2 320 wit false(valid-deref) 13 8.1 350 -
cstrcat_unsafe_false-valid-deref.i false(valid-deref) 9.6 2.8 330 wit false(valid-deref) 13 7.6 340 -
cstrchr_unsafe_false-valid-deref.i false(valid-deref) 15   4.9 470 wit false(valid-deref) 16 10   350 -
cstrlen_unsafe_false-valid-deref.i false(valid-deref) 11   3.6 330 wit false(valid-deref) 15 9.8 330 -
cstrncat_unsafe_false-valid-deref.i false(valid-deref) 9.4 2.8 330 wit false(valid-deref) 13 7.6 330 -
cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.2 2.6 320 wit false(valid-deref) 13 7.2 330 -
cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 14   5.3 420 wit false(valid-deref) 13 9.2 330 -
diff_usafe_false-valid-deref.i false(valid-deref) 9.5 2.9 330 wit false(valid-deref) 14 8.0 340 -
knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 13   5.2 340 wit false(valid-deref) 16 8.8 350 -
lis_unsafe_false-valid-deref.i error 16   7.8 420 wit - -
mult_array_unsafe_false-valid-deref.i false(valid-deref) 11   3.1 360 wit false(valid-deref) 13 7.7 340 -
reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 12   3.8 330 wit true 28 17   500 -
reverse_array_unsafe_false-valid-deref.i false(valid-deref) 10   3.2 350 wit false(valid-deref) 15 8.6 330 -
selectionsort_unsafe_false-valid-deref.i false(valid-deref) 9.6 3.0 340 wit false(valid-deref) 13 7.7 330 -
stroeder1_unsafe_false-valid-deref.i false(valid-deref) 9.9 2.8 340 wit false(valid-deref) 12 7.4 330 -
add_last-alloca_true-valid-memsafety.i timeout 900   790   1000 wit - -
array01-alloca_true-valid-memsafety.i true 11   3.8 330 wit - -
array02-alloca_true-valid-memsafety.i true 12   3.6 340 wit - -
array03-alloca_true-valid-memsafety.i true 13   3.7 360 wit - -
bubblesort-alloca_true-valid-memsafety.i true 20   12   360 wit - -
count_down-alloca_true-valid-memsafety.i timeout 900   780   1400 wit - -
cstrcat-alloca_true-valid-memsafety.i error 43   24   660 wit - -
cstrchr-alloca_true-valid-memsafety.i error 15   6.7 350 wit - -
cstrcmp-alloca_true-valid-memsafety.i true 19   8.9 400 wit - -
cstrcpy-alloca_true-valid-memsafety.i timeout 900   790   1800 wit - -
cstrcspn-alloca_true-valid-memsafety.i error 21   8.2 490 wit - -
cstrlen-alloca_true-valid-memsafety.i true 13   5.3 380 wit - -
cstrncat-alloca_true-valid-memsafety.i error 28   16   480 wit - -
cstrncmp-alloca_true-valid-memsafety.i true 22   10   460 wit - -
cstrncpy-alloca_true-valid-memsafety.i timeout 900   790   4400 wit - -
cstrpbrk-alloca_true-valid-memsafety.i error 40   28   460 wit - -
cstrspn-alloca_true-valid-memsafety.i error 22   13   480 wit - -
diff-alloca_true-valid-memsafety.i timeout 900   810   970 wit - -
insertionsort-alloca_true-valid-memsafety.i error 13   5.7 340 wit - -
java_BubbleSort-alloca_true-valid-memsafety.i true 20   13   380 wit - -
lis-alloca_true-valid-memsafety.i error 180   150   1200 wit - -
mult_array-alloca_true-valid-memsafety.i true 17   8.2 390 wit - -
openbsd_cbzero-alloca_true-valid-memsafety.i timeout 900   880   850 wit - -
openbsd_cmemchr-alloca_true-valid-memsafety.i timeout 900   780   1200 wit - -
openbsd_cmemrchr-alloca_true-valid-memsafety.i error 14   5.8 340 wit - -
openbsd_cmemset-alloca_true-valid-memsafety.i timeout 900   780   1800 wit - -
openbsd_cstpcpy-alloca_true-valid-memsafety.i timeout 900   780   1000 wit - -
openbsd_cstpncpy-alloca_true-valid-memsafety.i timeout 900   810   830 wit - -
openbsd_cstrcat-alloca_true-valid-memsafety.i error 65   45   770 wit - -
openbsd_cstrcmp-alloca_true-valid-memsafety.i timeout 900   810   1800 wit - -
openbsd_cstrcpy-alloca_true-valid-memsafety.i error 26   15   390 wit - -
openbsd_cstrcspn-alloca_true-valid-memsafety.i true 39   26   490 wit - -
openbsd_cstrlcpy-alloca_true-valid-memsafety.i timeout 900   790   1600 wit - -
openbsd_cstrlen-alloca_true-valid-memsafety.i true 21   12   460 wit - -
openbsd_cstrncat-alloca_true-valid-memsafety.i error 70   55   550 wit - -
openbsd_cstrncmp-alloca_true-valid-memsafety.i timeout 900   820   1600 wit - -
openbsd_cstrncpy-alloca_true-valid-memsafety.i timeout 900   780   1100 wit - -
openbsd_cstrnlen-alloca_true-valid-memsafety.i true 22   13   360 wit - -
openbsd_cstrpbrk-alloca_true-valid-memsafety.i error 23   12   360 wit - -
openbsd_cstrspn-alloca_true-valid-memsafety.i error 42   29   480 wit - -
openbsd_cstrstr-alloca_true-valid-memsafety.i error 28   14   560 wit - -
rec_strlen-alloca_true-valid-memsafety.i error 21   10   490 wit - -
selectionsort-alloca_true-valid-memsafety.i error 14   5.8 350 wit - -
stroeder1-alloca_true-valid-memsafety.i true 12   3.6 340 wit - -
stroeder2-alloca_true-valid-memsafety.i true 22   14   420 wit - -
strreplace-alloca_true-valid-memsafety.i error 21   13   410 wit - -
subseq-alloca_true-valid-memsafety.i true 48   38   430 wit - -
substring-alloca_true-valid-memsafety.i true 60   45   630 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 14000 12000 43000 65 230   140   5500   65 0  
    correct results 32 540 280 12000 16 230   140   5500   0 0  
        correct true 16 370 220 6500 1 0   0   0   0 0  
        correct false 16 170 56 5600 15 230   140   5500   0 0  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (65 tasks, max score: 113) 48
Run set sv-comp16.ArraysMemSafety