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

InstanceResultTime
k_ph_p-8UNSAT2.6
k_ph_p-9UNSAT9.49
k_ph_p-12FAIL1200
k_ph_p-11FAIL1200