Sota solver details
QBFEVAL'05

Instance: 6qbf-5cnf-40var-640cl.1
Best Solver: sSolve Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.15 WalkQSAT 0.68 QChaffLearn 3.34
- - - - - - GRL 5.06
sSolve(0.08)
semprop(0.15)
WalkQSAT(0.68)
QChaffLearn(3.34)
GRL(5.06)
QbflHR(37.96)
skizzo_v0.4(115.45)
skizzo_v0.5(117.78)