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



Solver Time Result
qsts0.09UNSAT
xb-bid-qsts0.94UNSAT
xb-qsts0.94UNSAT
ghostq-plain1.18UNSAT
ghostq-cegar1.87UNSAT
quabs-picosat2.2UNSAT
quabs-minisat2.62UNSAT
rareqs-nn599.71FAIL