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

InstanceResultTime
k_grz_n-1SAT0.22
k_grz_n-2SAT0.47
k_grz_n-3SAT0.77
k_grz_n-4SAT1.75
k_grz_n-5SAT4.07
k_grz_n-6SAT287.77
k_grz_n-16FAIL600
k_grz_n-14FAIL600
k_grz_n-12FAIL600
k_grz_n-7FAIL600
k_grz_n-15FAIL600
k_grz_n-8FAIL600
k_grz_n-9FAIL600
k_grz_n-17FAIL600
k_grz_n-20FAIL600
k_grz_n-10FAIL600
k_grz_n-13FAIL600
k_grz_n-21FAIL600
k_grz_n-18FAIL600
k_grz_n-11FAIL600
k_grz_n-19FAIL600