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

InstanceResultTime
k_poly_p-2UNSAT0.02
k_poly_p-4UNSAT0.04
k_poly_p-8UNSAT0.06
k_poly_p-7UNSAT0.06
k_poly_p-9UNSAT0.07
k_poly_p-11UNSAT0.08
k_poly_p-14UNSAT0.11
k_poly_p-16UNSAT0.12
k_poly_p-15UNSAT0.12
k_poly_p-19UNSAT0.15