Instances of family k_poly_n solved by QMRes
QBFEVAL'05

InstanceResultTime
k_poly_n-4SAT0.15
k_poly_n-8SAT0.59
k_poly_n-16SAT3.53
k_poly_n-21FAIL900.25
k_poly_n-12FAIL900.35
k_poly_n-20FAIL900.56