BENCHMARK INFORMATION
benchmark definition:    student-sleepset.xml
name:                    student-sleepset
run sets:                Automizer FA, Automizer Delay (tight), Automizer NewStates (tight)
date:                    Tue, 2021-01-26 14:16:03 CET
tool:                    ULTIMATE Automizer 0.2.0-6f57305a
tool executable:         ./Ultimate.py
options:                 --force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml
parallel runs:           14
resource limits:
- memory:                16000.0 MB
- time:                  900 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                16000.0 MB
------------------------------------------------------------

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