Results for instance MB3qbf-5cnf-50var-500cl.1
QBFEVAL'04



Solver Time Result
GRL0UNSAT
CLearn0UNSAT
CSBJ0UNSAT
sSolve0UNSAT
QUANTOR0UNSAT
semprop0.01UNSAT
orSAT0.01UNSAT
WalkQSAT0.01UNSAT
yQuaffle0.01UNSAT
QBFL-JW0.02UNSAT
QSAT0.05UNSAT
QMRes0.16UNSAT
openQbf0.21UNSAT
QUBE-BJ0.98UNSAT
QBFL-BS13.75UNSAT