Instances of family k_ph_p solved by GhostQ___plain_pcnf_2019
Prenex CNF Track

InstanceResultTime
k_ph_p-11UNSAT249.09
k_ph_p-15FAIL900
k_ph_p-20FAIL900
k_ph_p-18FAIL900
k_ph_p-19FAIL900