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

qbflib.org

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

Instance	Result	Time
k_d4_n-16	FAIL	599.94
k_d4_n-20	FAIL	746.91
k_d4_n-21	FAIL	755.32
k_d4_n-12	FAIL	1838.91
k_d4_n-8	FAIL	2666.66
k_d4_n-4	SAT	3415.19

Contact | Organization | Links | Citing QBFLIB