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

qbflib.org

Instances of family k_d4_p solved by Quaffle
QBFEVAL'06

Instance	Result	Time
k_d4_p-8	FAIL	563.3
k_d4_p-12	FAIL	565.49
k_d4_p-16	FAIL	566.17
k_d4_p-20	FAIL	567.86
k_d4_p-21	FAIL	570.01

Contact | Organization | Links | Citing QBFLIB