Sota solver details
QBFEVAL'05

Instance: 4qbf-5cnf-40var-160cl.0
Best Solver: sSolve Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GRL 0.04 WalkQSAT 0.06 semprop 0.18
- - - - - - yQuaffle 0.72
sSolve(0.01)
GRL(0.04)
WalkQSAT(0.06)
semprop(0.18)
yQuaffle(0.72)
QChaffLearn(1.75)
QbflHR(18.23)
openQbf(27.14)
QMRes(552.53)