Sota solver details
QBFEVAL'04

Instance: MB2qbf-5cnf-100var-200cl.1
Best Solver: QUANTOR Time: 0.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 0.07 - - - -
- - QMRes 0.11 - - - -
QUANTOR(0.03)
sSolve(0.07)
QMRes(0.11)
QUBE-BJ(6.7)
semprop(11.22)
QBFL-JW(57.48)
openQbf(146.88)
CSBJ(316.24)
CLearn(325.31)
WalkQSAT(365.51)