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

InstanceResultTime
k_poly_p-2UNSAT0.02
k_poly_p-4UNSAT0.03
k_poly_p-7UNSAT0.05
k_poly_p-8UNSAT0.06
k_poly_p-9UNSAT0.06
k_poly_p-11UNSAT0.08
k_poly_p-14UNSAT0.1
k_poly_p-15UNSAT0.11
k_poly_p-16UNSAT0.12
k_poly_p-19UNSAT0.14