Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET
Run set sv-comp19_prop-memsafety.MemSafety-Arrays
Options --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 9.85 6.17 286474240
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 7.18 4.48 244957184
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 9.33 5.39 272859136
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.28 4.64 243032064
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 19.9  12.4  529215488
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 12.7  7.53 390098944
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.34 4.49 242933760
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 7.50 4.81 245927936
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 33.2  24.5  524292096
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 7.96 4.74 247885824
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 10.9  6.26 288911360
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 17.5  10.7  516657152
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 10.2  5.98 298967040
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 11.9  6.77 335298560
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 10.9  6.33 299446272
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 7.92 4.95 248365056
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.10 4.41 239677440
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 901    810    980307968
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 15.2  9.30 421982208
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 14.6  8.74 452378624
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 15.0  8.90 449937408
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 12.6  7.52 396402688
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 18.2  11.1  506933248
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900    854    2323628032
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 19.5  12.7  516722688
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 40.5  27.2  679088128
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 30.2  19.2  623710208
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 44.4  33.0  689274880
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 17.4  10.6  516362240
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 901    833    2079653888
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 34.5  22.4  668012544
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 30.0  19.2  649703424
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 65.4  51.4  726597632
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 130    113    824762368
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 25.3  15.5  606244864
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 20.1  12.6  536145920
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 16.5  9.83 480055296
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 34.9  22.2  665399296
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 29.7  23.1  479997952
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 18.6  11.4  502218752
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 19.3  11.9  508919808
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 21.4  14.0  599531520
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 19.0  11.8  507117568
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 23.0  14.0  516317184
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 116    85.1  944517120
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 901    840    2634047488
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 40.9  26.9  703967232
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 26.9  17.7  603234304
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error (7) 636    607    1153785856
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout 900    854    1089888256
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 17.4  10.7  513769472
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900    879    2208124928
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 44.5  29.4  678445056
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 40.5  26.1  660504576
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 19.4  12.0  509956096
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 44.0  31.7  720990208
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 60.0  43.8  771010560
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i true 192    162    924016640
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 18.1  11.2  492277760
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 26.2  15.8  599171072
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 15.0  8.92 442998784
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 14.7  8.89 453120000
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 24.2  16.2  548737024
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 37.5  26.1  674582528
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 331    310    919535616
array-examples/relax_false-valid-deref.i false(valid-deref) 11.2  6.53 312975360
array-examples/sanfoundry_24_false-valid-deref.i timeout 901    769    907063296
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 901    824    895606784
array-examples/standard_strcpy_original_false-valid-deref.i timeout 901    813    885460992
array-memsafety-realloc/array-realloc_false-valid-free.i false(valid-free) 13.4  7.80 393347072
array-memsafety-realloc/array-realloc_true-valid-memsafety.i true 66.3  51.5  682213376
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage
total 71 10800 9620 46685753344
    correct results 61 2070 1530 31528185856
        correct true 42 1850 1390 25366863872
        correct false 19 223 139 6161321984
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (71 tasks, max score: 120) 103
Run set sv-comp19_prop-memsafety.MemSafety-Arrays