Instances of family k_poly_p solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
k_poly_p-12UNSAT0.64
k_poly_p-20UNSAT2.33
k_poly_p-21UNSAT2.54