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

qbflib.org

Instances of family s820 solved by QUANTOR
QBFEVAL'05

Instance	Result	Time
s820_d2_s	SAT	54.79
s820_d11_u	FAIL	899.04
s820_d10_s	FAIL	899.43
s820_d8_s	FAIL	899.46
s820_d4_s	FAIL	899.96

Contact | Organization | Links | Citing QBFLIB