Instances of family k_branch_p solved by GhostQ___plain_pcnf_2019
Prenex CNF Track

InstanceResultTime
k_branch_p-16FAIL900
k_branch_p-21FAIL900
k_branch_p-14FAIL900
k_branch_p-18FAIL900
k_branch_p-19FAIL900