Sota solver results for family k_ph_p <br> QBFEVAL'19 - Prenex CNF Track

qbflib.org

Sota solver results for family k_ph_p
QBFEVAL'19 - Prenex CNF Track

Instance	Solver	Result	Time
k_ph_p-11	GhostQ___cegar_pcnf_2019	UNSAT	214.99

Contact | Organization | Links | Citing QBFLIB