BENCHMARK INFORMATION
benchmark definition:    /storage/repos/smtinterpol/SMTInterpolTest/benchexec/defs/bv-preprocessing-tests.xml
name:                    bv-preprocessing-tests
run sets:                BV.SMT-LIB
date:                    Fri, 2021-04-30 16:03:44 CEST
tool:                    SMTInterpol 2.5-783-ge6635ac4
tool executable:         /root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java
options:                 
parallel runs:           14
resource limits:
- memory:                8000.0 MB
- time:                  60 s
- cpu cores:             2
hardware requirements:
- cpu cores:             2
- memory:                8000.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
------------------------------------------------------------



BV.SMT-LIB
Run set 1 of 1: skipped because it has no files

Statistics:              0 Files
  correct:               0
    correct true:        0
    correct false:       0
  incorrect:             0
    incorrect true:      0
    incorrect false:     0
  unknown:               0