Instances of family k_t4p_n solved by qube3.0
QBFEVAL'06

InstanceResultTime
k_t4p_n-21FAIL255.95
k_t4p_n-16FAIL257.04
k_t4p_n-20FAIL259.18
k_t4p_n-12FAIL628.55
k_t4p_n-8FAIL738.77
k_t4p_n-4FAIL2307.96