Results for instance flipflop-9-c
QBFEVAL'04



Solver Time Result
QUANTOR0.26UNSAT
sSolve0.28UNSAT
yQuaffle0.44UNSAT
CSBJ0.48UNSAT
CLearn0.48UNSAT
GRL0.52UNSAT
semprop0.6UNSAT
WalkQSAT0.6UNSAT
QBFL-BS1.2UNSAT
QUBE-BJ1.22UNSAT
QUBE-LRN1.29UNSAT
QBFL-JW1.35UNSAT
openQbf1.38UNSAT
QMRes1.66FAIL
QSAT20.08UNSAT
orSAT884.3FAIL