Results for instance flipflop-3-c
QBFEVAL'16 - Prenex CNF Track.



Solver Time Result
struqs-100UNSAT
squeezebf+struqs0SAT
qsts0UNSAT
depqbf-v30UNSAT
caqe-picosat0UNSAT
caqe-minisat0UNSAT
rareqs0UNSAT
qestos0UNSAT
AIGSolve0UNSAT
aqua-f3v0UNSAT
xb-qsts0UNSAT
aqua-s2v0UNSAT
qesto0UNSAT
aqua-s3o0UNSAT
xb-bid-qsts0.01UNSAT
depqbf-v20.02UNSAT
depqbf-v10.02UNSAT
hiqqer1ldsq0.02UNSAT
hiqqer10.03UNSAT
hiqqer30.03UNSAT
iprover-QBF-bloqqer0.04FAIL
iprover-QBF0.05UNSAT
ghostq-plain0.12UNSAT
ghostq-cegar0.12UNSAT