Results for instance MB2qbf-5cnf-100var-1000cl.2
QBFEVAL'04



Solver Time Result
CSBJ0UNSAT
QBFL-JW0UNSAT
semprop0UNSAT
QSAT0.01UNSAT
WalkQSAT0.01UNSAT
CLearn0.01UNSAT
QBFL-BS0.02UNSAT
sSolve0.02UNSAT
GRL0.03UNSAT
yQuaffle0.27UNSAT
openQbf0.36UNSAT
QUBE-BJ0.98UNSAT
QUANTOR10.95FAIL
orSAT901.01FAIL
QMRes901.03FAIL