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

qbflib.org

Instances of family s820 solved by sSolve
QBFEVAL'05

Instance	Result	Time
s820_d10_s	FAIL	900.29
s820_d4_s	FAIL	900.32
s820_d2_s	FAIL	900.38
s820_d11_u	FAIL	900.42
s820_d8_s	FAIL	900.47

Contact | Organization | Links | Citing QBFLIB