Results for instance szymanski-4-s
QBFEVAL'05



Solver Time Result
GRL0.01UNSAT
QUANTOR0.01UNSAT
QChaffLearn0.02UNSAT
WalkQSAT0.02UNSAT
sSolve0.02UNSAT
QbflHR0.03UNSAT
QMRes0.08UNSAT
skizzo_v0.50.13UNSAT
skizzo_v0.40.14UNSAT
qbfbdd0.2UNSAT
openQbf0.3UNSAT
semprop1.58UNSAT
yQuaffle891.74FAIL