Instances of family k_ph_n solved by GhostQ_PG___plain_qcir_2018
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
k_ph_n-21FAIL900