BENCHMARK INFORMATION
benchmark definition:    ../benchexec/uautomizer-unsound.xml
name:                    uautomizer-unsound
run sets:                sv-comp21_prop-reachsafety.Taipan, sv-comp21_prop-memsafety.Kojak
date:                    Mon, 2020-11-30 15:10:02 CET
tool:                    ULTIMATE Automizer 0.2.0-484e9850
tool executable:         ./Ultimate.py
options:                 --full-output
parallel runs:           14
resource limits:
- memory:                15000.0 MB
- time:                  900 s
- cpu cores:             8
hardware requirements:
- cpu cores:             8
- memory:                15000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    struebli
os:                      Linux-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.7
cpu:                     AMD EPYC 7351P 16-Core Processor
- cores:                 32
- max frequency:         2400.0 MHz
- turbo boost enabled:   True
ram:                     135154.106368 MB
------------------------------------------------------------