Instances of family k_poly_n solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
k_poly_n-4SAT0.07
k_poly_n-8SAT0.24
k_poly_n-12SAT0.67
k_poly_n-16SAT1.36
k_poly_n-21SAT2.68
k_poly_n-20SAT2.69