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



Solver Time Result
qsts2.19UNSAT
ghostq-cegar20.27UNSAT
ghostq-plain20.31UNSAT
rareqs-nn27.79UNSAT
quabs-minisat54.17UNSAT
quabs-picosat57.37UNSAT
xb-bid-qsts599.72FAIL
xb-qsts599.72FAIL