Instances of family k_d4_n solved by <a href='solver_detail.php?solver=34'>sKizzo-0.9-abs</a> <br> QBFEVAL'06

qbflib.org

Instances of family k_d4_n solved by sKizzo-0.9-abs
QBFEVAL'06

Instance	Result	Time
k_d4_n-4	SAT	0.18
k_d4_n-8	SAT	1.52
k_d4_n-12	SAT	18.9
k_d4_n-21	SAT	19.31
k_d4_n-20	SAT	20.08
k_d4_n-16	SAT	25.78

Contact | Organization | Links | Citing QBFLIB