Results for instance tree-exa2-30
QBFEVAL'05



Solver Time Result
GRL0UNSAT
WalkQSAT0UNSAT
yQuaffle0UNSAT
QMRes0UNSAT
QChaffLearn0.01UNSAT
semprop0.01UNSAT
skizzo_v0.40.01SAT
QUANTOR0.01UNSAT
skizzo_v0.50.02SAT
sSolve0.54UNSAT
QbflHR4.18UNSAT
openQbf16.06UNSAT
qbfbdd901FAIL