Instances of family k_ph_p solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_ph_p-5UNSAT0.51
k_ph_p-1UNSAT0.51
k_ph_p-3UNSAT0.52
k_ph_p-10FAIL600
k_ph_p-19FAIL600
k_ph_p-13FAIL600
k_ph_p-20FAIL600
k_ph_p-15FAIL600
k_ph_p-12FAIL600
k_ph_p-18FAIL600