Instances of family k_poly_p solved by ssolve-ut
QBFEVAL'06

InstanceResultTime
k_poly_p-12UNSAT1.69
k_poly_p-20UNSAT3.98
k_poly_p-21UNSAT4.25