Instances of family k_poly_n solved by depqbf
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_poly_n-13FAIL1200.15
k_poly_n-20FAIL1200.15
k_poly_n-21FAIL1200.16
k_poly_n-12FAIL1200.17