Instances of family k_ph_p solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_ph_p-1UNSAT0.01
k_ph_p-3UNSAT0.01
k_ph_p-5UNSAT0.03
k_ph_p-10UNSAT5.75
k_ph_p-12UNSAT80.82
k_ph_p-13UNSAT158.16
k_ph_p-19FAIL599.71
k_ph_p-20FAIL599.71
k_ph_p-15FAIL599.71
k_ph_p-18FAIL599.71