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



Solver Time Result
sSolve0SAT
QBFL-BS0SAT
QBFL-JW0.02SAT
QUANTOR0.15SAT
QUBE-LRN1.02SAT
QUBE-BJ1.12UNSAT
QMRes341.56SAT
semprop876.96SAT
CSBJ901FAIL
orSAT901FAIL
CLearn901FAIL
WalkQSAT901FAIL
yQuaffle901.01FAIL
QSAT901.01FAIL
openQbf901.01FAIL
GRL901.01FAIL