Instances of family k_grz_p solved by hiqqer3
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_grz_p-4UNSAT0.04
k_grz_p-5UNSAT0.04
k_grz_p-12UNSAT0.06
k_grz_p-13UNSAT0.06
k_grz_p-10UNSAT0.06
k_grz_p-11UNSAT0.06
k_grz_p-16UNSAT0.07
k_grz_p-17UNSAT0.07
k_grz_p-18UNSAT0.09
k_grz_p-19UNSAT0.09