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

InstanceResultTime
k_poly_p-4UNSAT0.02
k_poly_p-7UNSAT0.03
k_poly_p-8UNSAT0.04
k_poly_p-16UNSAT0.07
k_poly_p-19UNSAT0.08