Results for instance MB2qbf-5cnf-100var-400cl.1
QBFEVAL'04



Solver Time Result
QBFL-BS0.01UNSAT
sSolve0.01UNSAT
semprop0.03UNSAT
openQbf0.31UNSAT
QUBE-BJ0.98UNSAT
CLearn2.11UNSAT
CSBJ2.15UNSAT
WalkQSAT2.8UNSAT
GRL5.65UNSAT
QUANTOR13.59FAIL
QBFL-JW26.23UNSAT
QSAT901FAIL
orSAT901.01FAIL
yQuaffle901.01FAIL
QMRes901.03FAIL