Instances of family Connect4 solved by <a href='solver_detail.php?solver=11'>sSolve</a> <br> QBFEVAL'05

qbflib.org

Instances of family Connect4 solved by sSolve
QBFEVAL'05

Instance	Result	Time
connect_5x4_4_D	UNSAT	0.05
connect_5x4_4_W	UNSAT	0.07
connect_5x4_3_D	UNSAT	0.07
connect_5x4_3_W	UNSAT	0.09
connect_6x5_4_W	UNSAT	0.13
connect_6x5_5_W	UNSAT	0.14
connect_6x5_5_D	UNSAT	0.14
connect_6x5_3_D	UNSAT	0.15
connect_6x5_3_W	UNSAT	0.15
connect_6x5_4_D	UNSAT	0.17
connect_7x6_6_D	UNSAT	0.21
connect_7x6_5_D	UNSAT	0.23
connect_7x6_6_W	UNSAT	0.24
connect_7x6_5_W	UNSAT	0.25
connect_7x6_3_D	UNSAT	0.28
connect_7x6_4_W	UNSAT	0.29
connect_7x6_4_D	UNSAT	0.29
connect_7x6_3_W	UNSAT	0.33
connect_8x7_7_W	UNSAT	0.34
connect_8x7_7_D	UNSAT	0.37
connect_8x7_6_D	UNSAT	0.44
connect_8x7_6_W	UNSAT	0.45
connect_8x7_5_D	UNSAT	0.46
connect_8x7_5_W	UNSAT	0.49
connect_9x8_8_W	UNSAT	0.59
connect_9x8_8_D	UNSAT	0.59
connect_8x7_4_D	UNSAT	0.63
connect_8x7_4_W	UNSAT	0.65
connect_9x8_7_D	UNSAT	0.66
connect_8x7_3_W	UNSAT	0.68
connect_8x7_3_D	UNSAT	0.69
connect_9x8_7_W	UNSAT	0.71
connect_9x8_6_W	UNSAT	0.79
connect_9x8_6_D	UNSAT	0.8
connect_9x8_5_D	UNSAT	0.98
connect_9x8_5_W	UNSAT	0.98
connect_9x8_4_D	UNSAT	1.04
connect_9x8_4_W	UNSAT	1.05
connect_9x8_3_W	UNSAT	1.06
connect_9x8_3_D	UNSAT	1.13
connect_5x4_4_R	UNSAT	4.81
connect_5x4_3_R	UNSAT	23.89
connect_6x5_5_R	UNSAT	253.79
connect_9x8_3_R	FAIL	900.91
connect_9x8_5_R	FAIL	900.93
connect_9x8_4_R	FAIL	900.93
connect_8x7_3_R	FAIL	900.93
connect_9x8_6_R	FAIL	900.95
connect_9x8_7_R	FAIL	900.96
connect_7x6_4_R	FAIL	900.96
connect_8x7_4_R	FAIL	900.97
connect_8x7_5_R	FAIL	900.97
connect_9x8_8_R	FAIL	900.98
connect_8x7_6_R	FAIL	900.99
connect_7x6_3_R	FAIL	900.99
connect_8x7_7_R	FAIL	900.99
connect_7x6_5_R	FAIL	900.99
connect_7x6_6_R	FAIL	901
connect_6x5_4_R	FAIL	901
connect_6x5_3_R	FAIL	901.02

Contact | Organization | Links | Citing QBFLIB