Instances of family k_ph_n solved by <a href='solver_detail.php?solver=5'>QChaffLearn</a> <br> QBFEVAL'05

qbflib.org

Instances of family k_ph_n solved by QChaffLearn
QBFEVAL'05

Instance	Result	Time
k_ph_n-4	SAT	0
k_ph_n-8	SAT	0.4
k_ph_n-16	UNSAT	2.93
k_ph_n-20	UNSAT	3.36
k_ph_n-21	UNSAT	3.62
k_ph_n-12	SAT	10.54

Contact | Organization | Links | Citing QBFLIB