Instances of family k_t4p_n solved by qbfbdd
QBFEVAL'05

InstanceResultTime
k_t4p_n-4FAIL900.97
k_t4p_n-20FAIL900.99
k_t4p_n-16FAIL900.99
k_t4p_n-21FAIL900.99
k_t4p_n-12FAIL901
k_t4p_n-8FAIL901