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

InstanceResultTime
k_ph_n-8SAT2.18
k_ph_n-9SAT4.16
k_ph_n-10SAT6.35
k_ph_n-13SAT36.87
k_ph_n-14SAT74
k_ph_n-15SAT81.53