Instances of family Qshifter solved by <a href='solver_detail.php?solver=12'>WalkQSAT</a> <br> QBFEVAL'06

qbflib.org

Instances of family Qshifter solved by WalkQSAT
QBFEVAL'06

Instance	Result	Time
qshifter_7	FAIL	600.9
qshifter_8	FAIL	600.92
qshifter_6	FAIL	600.95
qshifter_5	FAIL	600.98

Contact | Organization | Links | Citing QBFLIB