Instances of family k_ph_p solved by Qute_opt500
Prenex CNF Track

InstanceResultTime
k_ph_p-11FAIL43.62
k_ph_p-15FAIL45.94
k_ph_p-18FAIL48.22
k_ph_p-19FAIL54.16
k_ph_p-20FAIL60.48