BENCHMARK INFORMATION
benchmark definition:    /storage/repos/smtinterpol/SMTInterpolTest/benchexec/defs/bv-selection.xml
name:                    bv-selection
run sets:                BV.SMT-LIB
date:                    Mon, 2021-05-17 12:07:01 CEST
tool:                    SMTInterpol 2.5-789-ga09cf152
tool executable:         /root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java
options:
parallel runs:           7
resource limits:
- memory:                16000.0 MB
- time:                  900 s
- cpu cores:             14
hardware requirements:
- cpu cores:             14
- memory:                16000.0 MB
------------------------------------------------------------

   SYSTEM INFORMATION
host:                    benchexec
os:                      Linux-5.4.65-1-pve-x86_64-with-debian-10.9
cpu:                     AMD Ryzen Threadripper 3970X 32-Core Processor
- cores:                 32
- max frequency:         3700.0 MHz
- turbo boost enabled:   True
ram:                     137438.953472 MB
------------------------------------------------------------