BENCHMARK INFORMATION
benchmark definition:    ../experiment-automizer-verification.xml
name:                    experiment-automizer-verification
run sets:                SV-COMP24_unreach-call
date:                    Tue, 2024-09-17 16:49:50 CEST
tool:                    ULTIMATE Automizer 0.2.4-de325976
tool executable:         ./Ultimate.py
options:                 --full-output --procedureinliner.inline.calls.to.implemented.procedures NEVER --traceabstraction.positions.where.we.compute.the.hoare.annotation All --witnessprinter.yaml.format.version 2.1 --witnessprinter.generate.graphml.witnesses false
parallel runs:           14
resource limits:
- memory:                8000.0 MB
- time:                  300 s
- cpu cores:             2
hardware requirements:
- cpu model:             Intel Xeon E3-1230 v5 @ 3.40 GHz
- cpu cores:             2
- memory:                8000.0 MB
------------------------------------------------------------

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