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



Solver Time Result
qsts0.07UNSAT
xb-qsts0.61UNSAT
xb-bid-qsts0.62UNSAT
ghostq-plain0.73UNSAT
ghostq-cegar0.98UNSAT
quabs-picosat1.31UNSAT
quabs-minisat1.41UNSAT
rareqs-nn599.71FAIL