Instances of family k_grz_n solved by aqme-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_grz_n-10SAT1.43
k_grz_n-13SAT1.64
k_grz_n-14SAT2.63
k_grz_n-21SAT13.27