| 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-Heap | sv-comp19_prop-memsafety.MemSafety-Heap | ||||||
| Options | --full-output | --full-output | ||||||
| ../../../../../svcomp/c/ | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c | timeout | 901 | 791 | 4688392192 | false(valid-deref) | 896 | 784 | 4692307968 |
| ldv-memsafety/memleaks_test23_4_false-valid-deref.i | false(valid-deref) | 76.8 | 53.3 | 882114560 | timeout | 901 | 865 | 1129299968 |
| ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i | timeout | 901 | 845 | 871178240 | unknown | 350 | 310 | 1034264576 |
| ../../../../../svcomp/c/ | status | cputime (s) | walltime (s) | memUsage | status | cputime (s) | walltime (s) | memUsage |
| total | 3 | 1880 | 1690 | 6441684992 | 3 | 2150 | 1960 | 6855872512 |
| correct results | 1 | 76.8 | 53.3 | 882114560 | 1 | 896 | 784 | 4692307968 |
| correct true | 0 | 0 | ||||||
| correct false | 1 | 76.8 | 53.3 | 882114560 | 1 | 896 | 784 | 4692307968 |
| incorrect results | 0 | 0 | ||||||
| incorrect true | 0 | 0 | ||||||
| incorrect false | 0 | 0 | ||||||
| score (3 tasks, max score: 3) | 1 | 1 | ||||||
| Run set | sv-comp19_prop-memsafety.MemSafety-Heap | sv-comp19_prop-memsafety.MemSafety-Heap | ||||||