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

InstanceResultTime
k_poly_n-2SAT0.01
k_poly_n-5SAT0.03
k_poly_n-6SAT0.04
k_poly_n-7SAT0.05
k_poly_n-14SAT0.1
k_poly_n-16SAT0.12
k_poly_n-17SAT0.12
k_poly_n-18SAT0.13
k_poly_n-20SAT0.15
k_poly_n-21SAT0.16