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

qbflib.org

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

Instance	Result	Time
s386_d2_s	SAT	3.56
s386_d4_s	FAIL	897.71
s386_d8_u	FAIL	898.46
s386_d7_s	FAIL	900.27

Contact | Organization | Links | Citing QBFLIB