Instances of family k_d4_p solved by <a href='solver_detail.php?solver=8'>semprop</a> <br> QBFEVAL'06

qbflib.org

Instances of family k_d4_p solved by semprop
QBFEVAL'06

Instance	Result	Time
k_d4_p-8	UNSAT	4.07
k_d4_p-12	UNSAT	47.98
k_d4_p-16	UNSAT	392.93
k_d4_p-20	FAIL	601
k_d4_p-21	FAIL	601

Contact | Organization | Links | Citing QBFLIB