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

InstanceResultTime
k_dum_n-20FAIL600
k_dum_n-21FAIL600
k_dum_n-12FAIL600
k_dum_n-16FAIL600
k_dum_n-8FAIL600