Instances of family k_poly_p solved by 2clsQ
QBFEVAL'06

InstanceResultTime
k_poly_p-12UNSAT0.02
k_poly_p-20UNSAT0.03
k_poly_p-21UNSAT0.04