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

qbflib.org

Instances of family k_d4_p solved by qube3.0
QBFEVAL'06

Instance	Result	Time
k_d4_p-21	FAIL	810.66
k_d4_p-20	FAIL	855.98
k_d4_p-16	FAIL	1905.35
k_d4_p-12	FAIL	2932.18
k_d4_p-8	FAIL	5236.21

Contact | Organization | Links | Citing QBFLIB