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



Solver Time Result
GRL0.01UNSAT
WalkQSAT0.01UNSAT
sSolve0.01UNSAT
semprop0.01UNSAT
yQuaffle0.01UNSAT
QChaffLearn0.01UNSAT
skizzo_v0.40.03UNSAT
skizzo_v0.50.05UNSAT
QbflHR0.07UNSAT
openQbf0.52UNSAT
QUANTOR1.13UNSAT
qbfbdd900.69FAIL
QMRes900.76FAIL