Results for instance 4qbf-5cnf-50var-300cl.2
QBFEVAL'04



Solver Time Result
QBFL-JW0SAT
sSolve0.01SAT
QBFL-BS0.02SAT
QUBE-BJ2.28UNSAT
QUBE-LRN7.5SAT
QUANTOR16.11FAIL
semprop901FAIL
openQbf901FAIL
orSAT901FAIL
QSAT901.01FAIL
GRL901.01FAIL
CLearn901.01FAIL
yQuaffle901.01FAIL
WalkQSAT901.01FAIL
CSBJ901.01FAIL
QMRes901.02FAIL