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

InstanceResultTime
k_t4p_p-1UNSAT1.56
k_t4p_p-19FAIL901.03
k_t4p_p-15FAIL901.03
k_t4p_p-4FAIL901.03
k_t4p_p-16FAIL901.03
k_t4p_p-12FAIL901.03
k_t4p_p-18FAIL901.03
k_t4p_p-10FAIL901.03