Instances of family k_t4p_n solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
k_t4p_n-18FAIL901.03
k_t4p_n-2FAIL901.03
k_t4p_n-19FAIL901.03
k_t4p_n-14FAIL901.03
k_t4p_n-15FAIL901.03
k_t4p_n-17FAIL901.03
k_t4p_n-13FAIL901.03
k_t4p_n-5FAIL901.04