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

InstanceResultTime
k_ph_p-8UNSAT0.88
k_ph_p-9UNSAT45.86
k_ph_p-11FAIL1200.02
k_ph_p-12FAIL1200.1