Results for instance szymanski-12-s
QBFEVAL'04



Solver Time Result
WalkQSAT1.34UNSAT
CSBJ1.85UNSAT
CLearn1.87UNSAT
QUBE-LRN2.97UNSAT
QUBE-BJ2.98UNSAT
GRL3.92UNSAT
sSolve4.59UNSAT
QBFL-JW7.73UNSAT
QUANTOR9.93FAIL
openQbf15.38UNSAT
yQuaffle901.01FAIL
QSAT901.01FAIL
semprop901.01FAIL
orSAT901.01FAIL
QBFL-BS901.02FAIL
QMRes901.08FAIL