BENCHMARK INFORMATION
benchmark definition:    /storage/repos/smtinterpol/bench/def_smtinterpol.xml
name:                    def_smtinterpol
run sets:                BV.SMT-LIB
date:                    Tue, 2021-04-20 18:01:00 CEST
tool:                    SMTInterpol 2.5-775-g33cbc6e7
tool executable:         /root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java
options:                 
parallel runs:           14
resource limits:
- memory:                8000.0 MB
- time:                  90 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 with options '-no-success -smt2' and propertyfile 'None'

inputfile               status                       cpu time   wall time        host
-------------------------------------------------------------------------------------
bvlt.smt2               true                             0.61        0.41        None
bitops1.smt2            false                            0.64        0.45        None
bitvec3.smt2            false                            0.65        0.43        None
bitops5.smt2            false                            0.53        0.56        None
bitvec7.smt2            false                            0.34        0.24        None
bitops0.smt2            false                            0.95        0.56        None
bitvec2.smt2            false                            0.28        0.23        None
bitops4.smt2            false                            0.23        0.18        None
bitops2.smt2            false                            0.39        0.27        None
bitvec0.smt2            false                            0.57        0.36        None
bitvec4.smt2            false                            0.48        0.32        None
bit-counting.smt2       false                            1.85        1.23        None
bitvec8.smt2            false                            0.22        0.23        None
bbb.yml                 false                            0.18        0.18        None
bv8.smt2                false                            0.21        0.16        None
bb.smt2                 false                            0.19        0.16        None
bitops3.smt2            false                            0.61        0.38        None
bitvec1.smt2            false                            0.41        0.28        None
bitops7.smt2            true                             0.33        0.23        None
bitvec5.smt2            false                            0.46        0.32        None
-------------------------------------------------------------------------------------
Run set 1               done                            10.14        1.49           -

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