Sota solver details
QBFEVAL'05

Instance: ev-pr-4x4-7-3-0-0-1-lg
Best Solver: WalkQSAT Time: 0.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QChaffLearn 0.21 QbflHR 1.31 semprop 3.72
- - GRL 0.35 - - openQbf 7.1
- - - - - - yQuaffle 8.36
WalkQSAT(0.2)
QChaffLearn(0.21)
GRL(0.35)
QbflHR(1.31)
semprop(3.72)
openQbf(7.1)
yQuaffle(8.36)
sSolve(21.97)
skizzo_v0.4(37.35)
skizzo_v0.5(104.68)
qbfbdd(213.6)