Results for instance flipflop-8-c
QBFEVAL'05



Solver Time Result
QbflHR0.12UNSAT
sSolve0.14UNSAT
QChaffLearn0.15FAIL
QUANTOR0.18UNSAT
yQuaffle0.22UNSAT
GRL0.26UNSAT
WalkQSAT0.27UNSAT
skizzo_v0.40.28UNSAT
semprop0.31UNSAT
skizzo_v0.50.31UNSAT
qbfbdd0.51UNSAT
openQbf1.07UNSAT
QMRes900.62FAIL