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

InstanceResultTime
k_poly_p-4UNSAT0.12
k_poly_p-7UNSAT0.17
k_poly_p-8UNSAT0.2
k_poly_p-16UNSAT0.41
k_poly_p-19UNSAT0.48