Instances of family k_ph_p solved by Qute_default
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
k_ph_p-21FAIL900
k_ph_p-17FAIL900
k_ph_p-18FAIL900
k_ph_p-19FAIL900
k_ph_p-13FAIL900
k_ph_p-14FAIL900
k_ph_p-20FAIL900
k_ph_p-15FAIL900
k_ph_p-12FAIL900
k_ph_p-11FAIL900