Results for instance flipflop-11-c
QBFEVAL'04



Solver Time Result
sSolve0.77UNSAT
WalkQSAT0.79FAIL
QUANTOR0.8UNSAT
yQuaffle1.29UNSAT
CSBJ1.41UNSAT
CLearn1.43UNSAT
GRL1.53UNSAT
QUBE-BJ1.71UNSAT
QUBE-LRN1.73UNSAT
semprop2.23UNSAT
openQbf3.09UNSAT
QMRes5.44FAIL
QBFL-BS6.38UNSAT
QBFL-JW6.86UNSAT
QSAT210.08UNSAT
orSAT901.01FAIL