Instances of family k_ph_p solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_ph_p-1UNSAT0.04
k_ph_p-3UNSAT0.38
k_ph_p-5UNSAT3.14
k_ph_p-10UNSAT125.64
k_ph_p-15FAIL292.55
k_ph_p-13FAIL329.42
k_ph_p-19FAIL599.22
k_ph_p-12FAIL599.22
k_ph_p-18FAIL599.22
k_ph_p-20FAIL599.32