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 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-memsafety.MemSafety-Arrays sv-comp19_prop-memsafety.MemSafety-Arrays
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 9.85 6.17 286474240 false(valid-deref) 9.65 5.59 270008320
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 7.18 4.48 244957184 false(valid-deref) 7.88 4.75 247226368
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 9.33 5.39 272859136 false(valid-deref) 9.70 5.77 266932224
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.28 4.64 243032064 false(valid-deref) 7.51 4.50 246001664
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 19.9  12.4  529215488 false(valid-deref) 20.9  12.9  522838016
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 12.7  7.53 390098944 false(valid-deref) 13.4  7.78 388157440
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.34 4.49 242933760 false(valid-deref) 7.40 4.66 242782208
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 7.50 4.81 245927936 false(valid-deref) 7.84 4.97 245100544
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 33.2  24.5  524292096 false(valid-deref) 32.6  24.1  506306560
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 7.96 4.74 247885824 false(valid-deref) 7.75 4.64 244219904
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 10.9  6.26 288911360 false(valid-deref) 10.5  6.08 300355584
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 17.5  10.7  516657152 false(valid-deref) 18.4  10.8  513183744
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 10.2  5.98 298967040 false(valid-deref) 10.5  6.15 300756992
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 11.9  6.77 335298560 false(valid-deref) 12.0  6.91 328101888
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 10.9  6.33 299446272 false(valid-deref) 10.8  6.20 304979968
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 7.92 4.95 248365056 false(valid-deref) 8.18 4.89 246927360
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.10 4.41 239677440 false(valid-deref) 7.15 4.43 241577984
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 901    810    980307968 timeout 901    809    1003954176
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 15.2  9.30 421982208 true 14.4  8.90 412782592
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 14.6  8.74 452378624 true 14.5  8.77 446947328
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 15.0  8.90 449937408 true 15.3  9.17 448057344
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 12.6  7.52 396402688 true 13.3  7.97 393285632
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 18.2  11.1  506933248 true 18.1  10.9  490561536
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 900    854    2323628032 timeout 900    855    2200084480
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 19.5  12.7  516722688 true 20.7  13.1  524054528
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 40.5  27.2  679088128 true 39.2  26.6  724860928
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 30.2  19.2  623710208 true 27.6  18.0  627060736
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 44.4  33.0  689274880 true 40.0  29.0  697188352
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 17.4  10.6  516362240 true 16.6  10.3  503910400
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 901    833    2079653888 timeout 901    831    2141601792
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 34.5  22.4  668012544 true 37.6  23.8  664285184
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 30.0  19.2  649703424 true 29.4  19.0  675741696
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 65.4  51.4  726597632 true 54.9  42.5  717672448
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 130    113    824762368 true 132    115    821727232
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 25.3  15.5  606244864 true 26.8  16.3  584159232
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 20.1  12.6  536145920 true 21.9  13.6  523440128
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 16.5  9.83 480055296 true 15.5  9.25 472297472
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 34.9  22.2  665399296 true 34.7  21.8  670228480
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 29.7  23.1  479997952 true 29.2  22.8  468668416
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 18.6  11.4  502218752 true 18.9  11.6  507969536
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 19.3  11.9  508919808 true 19.4  12.0  518242304
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 21.4  14.0  599531520 true 21.7  13.9  584802304
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 19.0  11.8  507117568 true 19.5  12.2  500850688
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 23.0  14.0  516317184 true 23.2  14.2  532385792
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 116    85.1  944517120 true 118    86.3  954662912
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 901    840    2634047488 timeout 901    842    2787000320
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 40.9  26.9  703967232 true 42.9  27.5  687669248
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 26.9  17.7  603234304 true 27.3  18.0  596819968
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error (7) 636    607    1153785856 error (7) 639    610    1123897344
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout 900    854    1089888256 timeout 901    828    1573761024
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 17.4  10.7  513769472 true 16.5  10.2  511750144
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 900    879    2208124928 timeout 900    878    1999450112
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 44.5  29.4  678445056 true 45.4  29.7  672792576
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 40.5  26.1  660504576 true 42.0  27.3  686366720
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 19.4  12.0  509956096 true 18.5  11.5  511983616
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 44.0  31.7  720990208 true 44.9  32.6  666746880
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 60.0  43.8  771010560 true 56.9  42.3  773500928
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i true 192    162    924016640 true 183    155    944087040
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 18.1  11.2  492277760 true 16.9  10.5  521011200
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 26.2  15.8  599171072 true 23.9  14.9  584560640
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 15.0  8.92 442998784 true 14.1  8.33 435187712
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 14.7  8.89 453120000 true 14.8  8.77 457920512
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 24.2  16.2  548737024 true 23.9  16.3  567881728
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 37.5  26.1  674582528 true 37.2  25.8  674582528
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 331    310    919535616 true 306    286    886370304
array-examples/relax_false-valid-deref.i false(valid-deref) 11.2  6.53 312975360 false(valid-deref) 10.6  6.35 323125248
array-examples/sanfoundry_24_false-valid-deref.i timeout 901    769    907063296 timeout 901    769    926347264
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 901    824    895606784 timeout 901    828    888844288
array-examples/standard_strcpy_original_false-valid-deref.i timeout 901    813    885460992 timeout 901    812    896126976
array-memsafety-realloc/array-realloc_false-valid-free.i false(valid-free) 13.4  7.80 393347072 false(valid-free) 12.6  7.30 399699968
array-memsafety-realloc/array-realloc_true-valid-memsafety.i true 66.3  51.5  682213376 true 64.3  50.6  685969408
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 71 10800 9620 46685753344 71 10800 9550 47010394112
    correct results 61 2070 1530 31528185856 61 2030 1490 31469326336
        correct true 42 1850 1390 25366863872 42 1800 1350 25331044352
        correct false 19 223 139 6161321984 19 225 139 6138281984
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (71 tasks, max score: 120) 103 103
Run set sv-comp19_prop-memsafety.MemSafety-Arrays sv-comp19_prop-memsafety.MemSafety-Arrays