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

qbflib.org

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

Instance	Result	Time
k_d4_n-8	SAT	1.89
k_d4_n-12	SAT	16.03
k_d4_n-20	SAT	17.15
k_d4_n-21	SAT	17.55
k_d4_n-16	SAT	17.66

Contact | Organization | Links | Citing QBFLIB