Results for instance 5qbf-5cnf-150var-1500cl.2
QBFEVAL'04



Solver Time Result
QBFL-BS0.01SAT
QBFL-JW0.01SAT
QUBE-BJ1.35UNSAT
QUBE-LRN1.63UNSAT
QUANTOR28.21FAIL
yQuaffle530.69FAIL
CLearn901FAIL
QSAT901FAIL
openQbf901FAIL
orSAT901FAIL
GRL901.01FAIL
WalkQSAT901.01FAIL
sSolve901.01FAIL
semprop901.01FAIL
CSBJ901.01FAIL
QMRes901.04FAIL