Sota solver details
QBFEVAL'05

Instance: 1qbf-5cnf-80var-1280cl.1
Best Solver: QbflHR Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
skizzo_v0.5 0 QUANTOR 0.02 skizzo_v0.4 0.07 qbfbdd 0.1
sSolve 0 semprop 0.02 - - WalkQSAT 0.8
- - yQuaffle 0.02 - - GRL 0.82
- - - - - - QChaffLearn 0.85
QbflHR(0)
skizzo_v0.5(0)
sSolve(0)
QUANTOR(0.02)
semprop(0.02)
yQuaffle(0.02)
skizzo_v0.4(0.07)
qbfbdd(0.1)
WalkQSAT(0.8)
GRL(0.82)
QChaffLearn(0.85)
openQbf(2.77)