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

qbflib.org

Instances of family Connect4 solved by 2clsQ
QBFEVAL'06

Instance	Result	Time
connect_5x4_4_R	UNSAT	0.02
connect_5x4_3_R	UNSAT	0.05
connect_6x5_5_R	UNSAT	0.07
connect_8x7_3_D	UNSAT	0.33
connect_8x7_4_W	UNSAT	0.36
connect_8x7_3_W	UNSAT	0.37
connect_8x7_4_D	UNSAT	0.38
connect_9x8_5_W	UNSAT	0.52
connect_9x8_4_D	UNSAT	0.53
connect_9x8_5_D	UNSAT	0.54
connect_9x8_4_W	UNSAT	0.55
connect_9x8_3_W	UNSAT	0.58
connect_9x8_3_D	UNSAT	0.7

Contact | Organization | Links | Citing QBFLIB