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