Instances of family k_poly_p solved by struqs-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_poly_p-19UNSAT13.4
k_poly_p-21UNSAT20.41