Instances of family k_grz_p solved by ssolveB
QBFEVAL'08

InstanceResultTime
k_grz_p-1UNSAT0.23
k_grz_p-2UNSAT0.88
k_grz_p-3UNSAT1.53
k_grz_p-4UNSAT3.19
k_grz_p-5UNSAT7.36
k_grz_p-6UNSAT455.75
k_grz_p-18FAIL600
k_grz_p-11FAIL600
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