BENCHMARK INFORMATION
benchmark definition:    ../benchexec/sleep-threadmodular.xml
name:                    sleep-threadmodular
run sets:                SleepSymbolic-Symmetry.Eldarica.threadmodular-examples, SleepSymbolic-Symmetry.Z3.threadmodular-examples, SleepSymbolic-Symmetry.Golem.threadmodular-examples, NoSleep-Symmetry.Eldarica.threadmodular-examples, NoSleep-Symmetry.Z3.threadmodular-examples, NoSleep-Symmetry.Golem.threadmodular-examples
date:                    Tue, 2023-09-12 10:49:16 CEST
tool:                    ULTIMATE Automizer 0.2.3-dd9be670
tool executable:         ./Ultimate.py
options:                 --force-no-wrapper -s '${taskdef_path}/ThreadModularVerifier.Settings.epf'
parallel runs:           7
resource limits:
- memory:                15000.0 MB
- time:                  1800 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                15000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    bench-02
os:                      Linux-5.15.60-1-pve-x86_64-with-glibc2.31
cpu:                     AMD Ryzen Threadripper 3970X 32-Core Processor
- cores:                 32
- max frequency:         4549.121 MHz
- turbo boost enabled:   True
ram:                     137438.953472 MB
------------------------------------------------------------