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

InstanceResultTime
k_poly_n-2SAT0.03
k_poly_n-5SAT0.04
k_poly_n-7SAT0.04
k_poly_n-6SAT0.04
k_poly_n-14SAT0.04
k_poly_n-16SAT0.04
k_poly_n-20SAT0.05
k_poly_n-17SAT0.05
k_poly_n-21SAT0.05
k_poly_n-18SAT0.05