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



Solver Time Result
yQuaffle0UNSAT
WalkQSAT0UNSAT
sSolve0UNSAT
QChaffLearn0UNSAT
semprop0.01UNSAT
GRL0.01UNSAT
QbflHR0.01UNSAT
qbfbdd0.01UNSAT
openQbf0.2UNSAT
skizzo_v0.40.33UNSAT
QUANTOR12.66UNSAT
skizzo_v0.515.19UNSAT
QMRes900.85FAIL