Instances of family k_ph_p solved by GhostQ-PG_plain
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
k_ph_p-11UNSAT250.04
k_ph_p-12FAIL900.01
k_ph_p-13FAIL900.01
k_ph_p-14FAIL900.09
k_ph_p-15FAIL900.09