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



Solver Time Result
QBFL-JW0.01SAT
QBFL-BS0.01SAT
QUBE-LRN1.23UNSAT
QUBE-BJ4.06UNSAT
QUANTOR18.51FAIL
yQuaffle568.97FAIL
GRL901FAIL
QSAT901FAIL
CSBJ901FAIL
sSolve901FAIL
orSAT901.01FAIL
WalkQSAT901.01FAIL
semprop901.01FAIL
openQbf901.01FAIL
CLearn901.01FAIL
QMRes901.04FAIL