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

InstanceResultTime
k_grz_p-4UNSAT4.51
k_grz_p-5UNSAT4.81
k_grz_p-10UNSAT37.81
k_grz_p-12UNSAT40.91
k_grz_p-11UNSAT41.72
k_grz_p-13UNSAT42.51
k_grz_p-17FAIL130.15
k_grz_p-16FAIL131.24
k_grz_p-18FAIL517.77
k_grz_p-19FAIL523.29