Instances of family k_poly_n solved by QbflHR
QBFEVAL'05

InstanceResultTime
k_poly_n-16FAIL901
k_poly_n-21FAIL901
k_poly_n-4FAIL901.01
k_poly_n-20FAIL901.01
k_poly_n-8FAIL901.01
k_poly_n-12FAIL901.01