Sota solver details
QBFEVAL'05

Instance: 2qbf-5cnf-20var-80cl.5
Best Solver: sSolve Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - yQuaffle 0.05 qbfbdd 0.1
- - - - GRL 0.06 WalkQSAT 0.2
- - - - QUANTOR 0.07 QMRes 0.21
- - - - - - semprop 0.21
sSolve(0)
yQuaffle(0.05)
GRL(0.06)
QUANTOR(0.07)
qbfbdd(0.1)
WalkQSAT(0.2)
QMRes(0.21)
semprop(0.21)
QChaffLearn(1.02)
QbflHR(1.04)
openQbf(6.71)
skizzo_v0.5(8.69)
skizzo_v0.4(46.27)