Instances of family k_poly_n solved by iprover-QBF-bloqqer
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_poly_n-2SAT0.04
k_poly_n-5SAT0.06
k_poly_n-6SAT0.07
k_poly_n-7SAT0.09
k_poly_n-14SAT0.13
k_poly_n-16SAT0.15
k_poly_n-17SAT0.15
k_poly_n-18SAT0.16
k_poly_n-20SAT0.18
k_poly_n-21SAT0.19