Instances of family k_d4_n solved by <a href='solver_detail.php?solver=51'>sKizzo-0.10-qck</a> <br> QBFEVAL'07

qbflib.org

Instances of family k_d4_n solved by sKizzo-0.10-qck
QBFEVAL'07

Instance	Result	Time
k_d4_n-8	SAT	1.87
k_d4_n-12	SAT	4.88
k_d4_n-16	SAT	5.34
k_d4_n-20	SAT	5.66
k_d4_n-21	SAT	6.41

Contact | Organization | Links | Citing QBFLIB