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

InstanceResultTime
k_grz_n-12SAT8.39
k_grz_n-21FAIL600
k_grz_n-16FAIL600
k_grz_n-20FAIL600