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

qbflib.org

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

Instance	Result	Time
k_d4_p-21	FAIL	888.7
k_d4_p-20	FAIL	1155.49
k_d4_p-16	FAIL	2343.93
k_d4_p-12	FAIL	2431.21
k_d4_p-8	FAIL	5999.93

Contact | Organization | Links | Citing QBFLIB