Instances of family k_poly_n solved by qestos
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_poly_n-2SAT0
k_poly_n-5SAT0
k_poly_n-6SAT0
k_poly_n-21SAT0.01
k_poly_n-18SAT0.01
k_poly_n-7SAT0.01
k_poly_n-20SAT0.01
k_poly_n-14SAT0.01
k_poly_n-16SAT0.01
k_poly_n-17SAT0.01