Instances of family k_ph_p solved by caqe-minisat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_ph_p-1UNSAT0.01
k_ph_p-3UNSAT0.01
k_ph_p-5UNSAT0.03
k_ph_p-10UNSAT174.55
k_ph_p-12FAIL599.68
k_ph_p-20FAIL599.7
k_ph_p-13FAIL599.71
k_ph_p-19FAIL599.73
k_ph_p-18FAIL599.73
k_ph_p-15FAIL599.78