BENCHMARK INFORMATION
benchmark definition:    ../benchexec/automizer.xml
name:                    automizer
run sets:                Automizer.SmallPrerun-NoDataRace
date:                    Thu, 2023-11-23 16:15:13 CET
tool:                    ULTIMATE Automizer 0.2.3-c4f91361
tool executable:         ./Ultimate.py
options:                 --full-output
parallel runs:           14
resource limits:
- memory:                8000.0 MB
- time:                  300 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                8000.0 MB
------------------------------------------------------------

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



Automizer.SmallPrerun-NoDataRace
Run set 1 of 3 with options '--full-output' and propertyfile 'None'

inputfile                                                                                          status                       cpu time   wall time        host
----------------------------------------------------------------------------------------------------------------------------------------------------------------