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

InstanceResultTime
k_dum_p-21FAIL600
k_dum_p-20FAIL600
k_dum_p-12FAIL600
k_dum_p-16FAIL600