Instances of family k_poly_n solved by AQME-RIPPER
QBFEVAL'07

InstanceResultTime
k_poly_n-16SAT0.59
k_poly_n-8SAT0.61
k_poly_n-12SAT0.64
k_poly_n-20SAT0.64
k_poly_n-4SAT0.65
k_poly_n-21SAT0.66