Results for instance szymanski-10-s
QBFEVAL'04



Solver Time Result
WalkQSAT0.63UNSAT
CSBJ0.78UNSAT
CLearn0.79UNSAT
sSolve1.41UNSAT
GRL1.66UNSAT
QUBE-LRN1.86UNSAT
QUBE-BJ1.86UNSAT
QBFL-JW2.32UNSAT
openQbf6.34UNSAT
QUANTOR14.91FAIL
QSAT901FAIL
yQuaffle901.01FAIL
QMRes901.01FAIL
semprop901.01FAIL
orSAT901.01FAIL
QBFL-BS901.02FAIL