Instances of family k_d4_p solved by <a href='solver_detail.php?solver=32'>ssolve+ut</a> <br> QBFEVAL'06

qbflib.org

Instances of family k_d4_p solved by ssolve+ut
QBFEVAL'06

Instance	Result	Time
k_d4_p-8	UNSAT	3.35
k_d4_p-12	UNSAT	7.4
k_d4_p-16	UNSAT	12.8
k_d4_p-20	UNSAT	19.32
k_d4_p-21	UNSAT	20.03

Contact | Organization | Links | Citing QBFLIB