Instances of family k_grz_p solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k_grz_p-10UNSAT0.25
k_grz_p-13UNSAT0.25
k_grz_p-11UNSAT0.26
k_grz_p-17UNSAT0.3
k_grz_p-18UNSAT0.34