Results for instance 1qbf-5cnf-20var-320cl.1
QBFEVAL'05



Solver Time Result
yQuaffle0SAT
WalkQSAT0SAT
QbflHR0SAT
semprop0SAT
sSolve0.01SAT
QUANTOR0.01SAT
QChaffLearn0.01SAT
qbfbdd0.01SAT
GRL0.01SAT
skizzo_v0.40.03SAT
skizzo_v0.50.06SAT
openQbf0.22SAT
QMRes32.58SAT