Instances of family k_d4_p solved by <a href='solver_detail.php?solver=19'>QUBE-BJ</a> <br> QBFEVAL'04

qbflib.org

Instances of family k_d4_p solved by QUBE-BJ
QBFEVAL'04

Instance	Result	Time
k_d4_p-19	UNSAT	1.69
k_d4_p-3	UNSAT	2.2
k_d4_p-14	UNSAT	2.6
k_d4_p-13	UNSAT	18.12
k_d4_p-17	UNSAT	38.09
k_d4_p-16	UNSAT	48.62
k_d4_p-6	UNSAT	83.41
k_d4_p-7	FAIL	901.04

Contact | Organization | Links | Citing QBFLIB