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

InstanceResultTime
k_ph_p-8UNSAT11.29
k_ph_p-9UNSAT124.97
k_ph_p-11FAIL1200.08
k_ph_p-12FAIL1200.08