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



Solver Time Result
yQuaffle0SAT
WalkQSAT0SAT
sSolve0SAT
skizzo_v0.50SAT
semprop0SAT
QUANTOR0SAT
QChaffLearn0SAT
QbflHR0SAT
QMRes0.01SAT
GRL0.01SAT
skizzo_v0.40.03SAT
openQbf0.15SAT
qbfbdd901.01FAIL