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

InstanceResultTime
k_poly_p-2UNSAT2.1
k_poly_p-10FAIL901.03
k_poly_p-11FAIL901.03
k_poly_p-14FAIL901.03
k_poly_p-17FAIL901.03
k_poly_p-12FAIL901.03
k_poly_p-8FAIL901.03
k_poly_p-7FAIL901.03