Results for instance flipflop-3-c
QBFEVAL'04



Solver Time Result
GRL0UNSAT
orSAT0UNSAT
CLearn0UNSAT
yQuaffle0UNSAT
WalkQSAT0UNSAT
CSBJ0UNSAT
semprop0UNSAT
QSAT0.01UNSAT
QBFL-BS0.01UNSAT
QUANTOR0.01UNSAT
sSolve0.01UNSAT
QBFL-JW0.02UNSAT
QMRes0.03UNSAT
openQbf0.17UNSAT
QUBE-BJ0.97UNSAT
QUBE-LRN1.24UNSAT