Results for instance 4qbf-5cnf-20var-40cl.9
QBFEVAL'05



Solver Time Result
GRL0SAT
WalkQSAT0SAT
sSolve0SAT
semprop0SAT
QUANTOR0SAT
QbflHR0SAT
QMRes0.01SAT
QChaffLearn0.01SAT
skizzo_v0.40.01SAT
skizzo_v0.50.01SAT
yQuaffle0.01FAIL
openQbf0.14SAT
qbfbdd900.97FAIL