Results for instance cf_7_8x7_d_
QBFEVAL'04



Solver Time Result
QBFL-JW0.09UNSAT
QBFL-BS0.1UNSAT
QUANTOR0.29UNSAT
QSAT0.32UNSAT
sSolve0.42UNSAT
CSBJ0.43UNSAT
CLearn0.43UNSAT
semprop0.48UNSAT
GRL0.57UNSAT
WalkQSAT0.58UNSAT
yQuaffle0.62UNSAT
orSAT1.04UNSAT
openQbf1.18UNSAT
QUBE-LRN1.21UNSAT
QUBE-BJ1.23UNSAT
QMRes901.02FAIL