Instances of family k_ph_p solved by <a href='solver_detail.php?solver=278'>qbfrelay-limited-depqbf</a> <br> QBFEVAL'17 - Prenex CNF Track

qbflib.org

Instances of family k_ph_p solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

Instance	Result	Time
k_ph_p-13	FAIL	891.1
k_ph_p-12	FAIL	892.83
k_ph_p-15	FAIL	892.93
k_ph_p-21	FAIL	893.62
k_ph_p-14	FAIL	893.77
k_ph_p-11	FAIL	893.9
k_ph_p-17	FAIL	900
k_ph_p-18	FAIL	900
k_ph_p-19	FAIL	900
k_ph_p-20	FAIL	900

Contact | Organization | Links | Citing QBFLIB