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



Solver Time Result
quabs-minisat0.01UNSAT
quabs-picosat0.19UNSAT
xb-qsts0.3UNSAT
xb-bid-qsts0.32UNSAT
ghostq-plain2.66UNSAT
ghostq-cegar2.89UNSAT
qsts53.01UNSAT
rareqs-nn144.62UNSAT