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

InstanceResultTime
k_grz_p-12UNSAT1.04
k_grz_p-16UNSAT1.65
k_grz_p-20UNSAT3.29
k_grz_p-21UNSAT3.42