Instances of family k_poly_p solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
k_poly_p-4FAIL865.19
k_poly_p-8FAIL871.97
k_poly_p-12FAIL877.93
k_poly_p-16FAIL880.33
k_poly_p-20FAIL882.5
k_poly_p-21FAIL883.95