Instances of family k_ph_p solved by QFUN
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
k_ph_p-12UNSAT26.7
k_ph_p-19FAIL900.02