Results for instance 3qbf-5cnf-80var-2560cl.4
QBFEVAL'05



Solver Time Result
sSolve0.01UNSAT
semprop0.01UNSAT
WalkQSAT0.02UNSAT
GRL0.03UNSAT
yQuaffle0.03UNSAT
QChaffLearn0.03UNSAT
openQbf0.36UNSAT
skizzo_v0.40.88UNSAT
skizzo_v0.50.9UNSAT
QUANTOR12.5FAIL
QMRes900.61FAIL
qbfbdd900.88FAIL
QbflHR900.99FAIL