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



Solver Time Result
qsts0.02UNSAT
ghostq-plain0.38SAT
xb-bid-qsts0.38SAT
xb-qsts0.38SAT
rareqs-nn8.35SAT
ghostq-cegar107.53SAT
quabs-minisat222.12SAT
quabs-picosat599.71FAIL