BENCHMARK INFORMATION
benchmark definition:    ../benchexec/student-sleepset.xml
name:                    student-sleepset
run sets:                Automizer FA, Automizer Lipton, Automizer Delay, Automizer NewStates
date:                    Wed, 2020-11-11 14:42:05 CET
tool:                    ULTIMATE Automizer 0.2.0-60729f11
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-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
------------------------------------------------------------