Instances of family k_poly_n solved by depqbf-v1
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_poly_n-2SAT0.11
k_poly_n-5FAIL592.93
k_poly_n-6FAIL593.02
k_poly_n-14FAIL593.02
k_poly_n-16FAIL593.32
k_poly_n-20FAIL593.42
k_poly_n-17FAIL593.52
k_poly_n-7FAIL593.52
k_poly_n-21FAIL593.63
k_poly_n-18FAIL593.72