Instances of family k_grz_p solved by ssolve-A
QBFEVAL'08

InstanceResultTime
k_grz_p-1UNSAT0.22
k_grz_p-2UNSAT0.82
k_grz_p-3UNSAT1.46
k_grz_p-4UNSAT3.19
k_grz_p-5UNSAT6.88
k_grz_p-6UNSAT380.32
k_grz_p-19FAIL600
k_grz_p-16FAIL600
k_grz_p-21FAIL600
k_grz_p-14FAIL600
k_grz_p-12FAIL600
k_grz_p-7FAIL600
k_grz_p-15FAIL600
k_grz_p-9FAIL600
k_grz_p-17FAIL600
k_grz_p-20FAIL600
k_grz_p-10FAIL600
k_grz_p-13FAIL600
k_grz_p-8FAIL600
k_grz_p-18FAIL600
k_grz_p-11FAIL600