Instances of family s386 solved by <a href='solver_detail.php?solver=9'>skizzo_v0.4</a> <br> QBFEVAL'05

qbflib.org

Instances of family s386 solved by skizzo_v0.4
QBFEVAL'05

Instance	Result	Time
s386_d2_s	SAT	3.63
s386_d7_s	FAIL	900.6
s386_d8_u	FAIL	900.69
s386_d4_s	FAIL	900.8

Contact | Organization | Links | Citing QBFLIB