Results for instance tree-exa2-35
QBFEVAL'05



Solver Time Result
GRL0UNSAT
QUANTOR0UNSAT
QChaffLearn0UNSAT
yQuaffle0UNSAT
WalkQSAT0.01UNSAT
QMRes0.01UNSAT
skizzo_v0.50.01SAT
semprop0.01UNSAT
skizzo_v0.40.02SAT
sSolve5.91UNSAT
QbflHR45.54UNSAT
openQbf237.34UNSAT
qbfbdd901FAIL