Results for instance szymanski-24-s
QBFEVAL'05



Solver Time Result
WalkQSAT1.11FAIL
QChaffLearn1.24FAIL
QMRes9.61FAIL
QUANTOR12.21FAIL
GRL124.3UNSAT
sSolve242.15UNSAT
QbflHR388.18UNSAT
skizzo_v0.5638.03FAIL
openQbf712.05UNSAT
yQuaffle727.47FAIL
skizzo_v0.4898.5FAIL
qbfbdd900.65FAIL
semprop900.77FAIL