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

InstanceResultTime
k_t4p_n-21FAIL215.47
k_t4p_n-20FAIL219.52
k_t4p_n-16FAIL465.51
k_t4p_n-8FAIL600
k_t4p_n-12FAIL600
k_t4p_n-4FAIL600