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

InstanceResultTime
k_poly_n-12SAT0.02
k_poly_n-13SAT0.02
k_poly_n-20SAT0.02
k_poly_n-21SAT0.03