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

qbflib.org

Instances of family k_ph_n solved by sSolve
QBFEVAL'05

Instance	Result	Time
k_ph_n-4	SAT	0.02
k_ph_n-8	SAT	0.48
k_ph_n-12	FAIL	900.89
k_ph_n-21	FAIL	900.96
k_ph_n-20	FAIL	900.97
k_ph_n-16	FAIL	900.98

Contact | Organization | Links | Citing QBFLIB