Sota solver results for family k_d4_n <br> QBFEVAL'04

qbflib.org

Sota solver results for family k_d4_n
QBFEVAL'04

Instance	Solver	Result	Time
k_d4_n-12	QMRes	SAT	4.3
k_d4_n-13	QMRes	SAT	4.46
k_d4_n-14	QMRes	SAT	5.7
k_d4_n-15	QMRes	SAT	6.2
k_d4_n-16	QMRes	SAT	7.36
k_d4_n-6	QMRes	SAT	0.81
k_d4_n-8	QMRes	SAT	1.62
k_d4_n-9	QMRes	SAT	2.19

Contact | Organization | Links | Citing QBFLIB