Instances of family k_poly_n solved by openQbf
QBFEVAL'05

InstanceResultTime
k_poly_n-8FAIL900.9
k_poly_n-4FAIL900.91
k_poly_n-12FAIL900.91
k_poly_n-21FAIL900.94
k_poly_n-16FAIL900.95
k_poly_n-20FAIL900.96