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



Solver Time Result
GRL0SAT
QUANTOR0SAT
QChaffLearn0SAT
QbflHR0SAT
yQuaffle0SAT
QMRes0.01SAT
semprop0.01SAT
sSolve0.01SAT
WalkQSAT0.01SAT
skizzo_v0.40.02SAT
skizzo_v0.50.02SAT
openQbf0.16SAT
qbfbdd900.99FAIL