Instances of family k_grz_p solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
k_grz_p-4UNSAT0.71
k_grz_p-5UNSAT0.81
k_grz_p-10UNSAT11.61
k_grz_p-11UNSAT12.01
k_grz_p-12UNSAT12.02
k_grz_p-13UNSAT12.51
k_grz_p-16UNSAT70.61
k_grz_p-17UNSAT72.81
k_grz_p-18FAIL165.44
k_grz_p-19FAIL168.07