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

qbflib.org

Instances of family Connect4 solved by WalkQSAT
QBFEVAL'06

Instance	Result	Time
connect_8x7_4_D	FAIL	0.55
connect_8x7_3_D	FAIL	0.6
connect_8x7_3_W	FAIL	0.64
connect_8x7_4_W	FAIL	0.64
connect_9x8_5_W	FAIL	0.85
connect_9x8_5_D	FAIL	0.88
connect_9x8_4_W	FAIL	0.89
connect_9x8_3_D	FAIL	0.9
connect_9x8_4_D	FAIL	0.91
connect_9x8_3_W	FAIL	0.93
connect_6x5_5_R	FAIL	600.93
connect_5x4_4_R	FAIL	600.95
connect_5x4_3_R	FAIL	600.97

Contact | Organization | Links | Citing QBFLIB