Sota solver details
QBFEVAL'05

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QChaffLearn 0.3 - - QbflHR 8.65
- - GRL 0.47 - - - -
WalkQSAT(0.29)
QChaffLearn(0.3)
GRL(0.47)
QbflHR(8.65)
semprop(29.04)
openQbf(39.72)
yQuaffle(60.84)
qbfbdd(208.28)
sSolve(229.63)