Instances of family k_poly_p solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
k_poly_p-15UNSAT0.07
k_poly_p-2UNSAT0.07
k_poly_p-9UNSAT0.07
k_poly_p-14UNSAT0.08
k_poly_p-4UNSAT0.09
k_poly_p-16UNSAT0.1
k_poly_p-8UNSAT0.11
k_poly_p-7UNSAT0.11
k_poly_p-19UNSAT0.11
k_poly_p-11UNSAT0.12