Results for instance tree-exa2-45
QBFEVAL'05



Solver Time Result
yQuaffle0UNSAT
semprop0UNSAT
QUANTOR0UNSAT
QChaffLearn0UNSAT
QMRes0.01UNSAT
WalkQSAT0.01UNSAT
GRL0.01UNSAT
skizzo_v0.50.02SAT
skizzo_v0.40.03SAT
sSolve825.17UNSAT
openQbf900.92FAIL
QbflHR901FAIL
qbfbdd901.01FAIL