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



Solver Time Result
GRL0SAT
WalkQSAT0SAT
sSolve0SAT
skizzo_v0.40SAT
semprop0SAT
QUANTOR0SAT
QChaffLearn0.01SAT
QbflHR0.01SAT
yQuaffle0.01SAT
QMRes0.02SAT
skizzo_v0.50.02SAT
qbfbdd0.03SAT
openQbf0.17SAT