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

InstanceResultTime
k_ph_p-8UNSAT4.49
k_ph_p-9UNSAT71.39
k_ph_p-12FAIL1143.21
k_ph_p-11FAIL1143.29