Instances of family k_grz_p solved by ncQuBE1.1
QBFEVAL'07

InstanceResultTime
k_grz_p-12UNSAT14.07
k_grz_p-20FAIL600
k_grz_p-16FAIL600
k_grz_p-21FAIL600