Instances of family k_ph_p solved by qube3.0
QBFEVAL'06

InstanceResultTime
k_ph_p-8UNSAT523.14