Results for instance counter8_257
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
xb-qsts0.05SAT
xb-bid-qsts0.06SAT
qsts0.41SAT
quabs-minisat9.35SAT
quabs-picosat12.83SAT
rareqs-nn15.22SAT
ghostq-cegar28.6SAT
ghostq-plain146.74SAT