Results for instance Adder2-2-c
QBFEVAL'04



Solver Time Result
QSAT0UNSAT
semprop0UNSAT
GRL0.01UNSAT
CLearn0.01UNSAT
CSBJ0.02UNSAT
sSolve0.02UNSAT
WalkQSAT0.02UNSAT
QBFL-JW0.03UNSAT
QBFL-BS0.03UNSAT
QMRes0.05UNSAT
yQuaffle0.13UNSAT
openQbf0.29UNSAT
QUANTOR0.39UNSAT
QUBE-BJ0.96UNSAT
QUBE-LRN0.97UNSAT
orSAT901.01FAIL