Instances of family k_ph_p solved by caqe-pre
Prenex CNF Track

InstanceResultTime
k_ph_p-11UNSAT754.83
k_ph_p-15FAIL900
k_ph_p-20FAIL900
k_ph_p-18FAIL900
k_ph_p-19FAIL900