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



Solver Time Result
qsts0.01UNSAT
quabs-minisat0.02UNSAT
quabs-picosat0.03UNSAT
xb-qsts0.1UNSAT
xb-bid-qsts0.11UNSAT
ghostq-plain0.12UNSAT
ghostq-cegar0.17UNSAT
rareqs-nn1.7UNSAT