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

qbflib.org

Instances of family Connect4 solved by skizzo_v0.4
QBFEVAL'05

Instance	Result	Time
connect_5x4_4_W	UNSAT	0.09
connect_5x4_4_D	UNSAT	0.09
connect_5x4_3_D	UNSAT	0.1
connect_5x4_3_W	UNSAT	0.1
connect_6x5_5_W	UNSAT	0.11
connect_6x5_5_D	UNSAT	0.14
connect_6x5_4_W	UNSAT	0.2
connect_6x5_3_D	UNSAT	0.21
connect_6x5_3_W	UNSAT	0.21
connect_6x5_4_D	UNSAT	0.21
connect_7x6_6_W	UNSAT	0.27
connect_7x6_6_D	UNSAT	0.3
connect_7x6_5_W	UNSAT	0.34
connect_7x6_4_W	UNSAT	0.36
connect_7x6_5_D	UNSAT	0.36
connect_7x6_4_D	UNSAT	0.38
connect_7x6_3_W	UNSAT	0.38
connect_8x7_7_W	UNSAT	0.41
connect_7x6_3_D	UNSAT	0.43
connect_8x7_7_D	UNSAT	0.49
connect_8x7_6_W	UNSAT	0.53
connect_8x7_6_D	UNSAT	0.57
connect_8x7_5_D	UNSAT	0.59
connect_8x7_5_W	UNSAT	0.62
connect_8x7_4_W	UNSAT	0.68
connect_8x7_4_D	UNSAT	0.69
connect_8x7_3_W	UNSAT	0.7
connect_9x8_8_D	UNSAT	0.71
connect_9x8_8_W	UNSAT	0.74
connect_8x7_3_D	UNSAT	0.81
connect_9x8_7_W	UNSAT	0.86
connect_9x8_7_D	UNSAT	0.9
connect_9x8_6_W	UNSAT	1.05
connect_9x8_6_D	UNSAT	1.09
connect_9x8_5_W	UNSAT	1.1
connect_9x8_5_D	UNSAT	1.16
connect_9x8_4_W	UNSAT	1.19
connect_9x8_3_W	UNSAT	1.24
connect_9x8_4_D	UNSAT	1.24
connect_9x8_3_D	UNSAT	1.34
connect_5x4_4_R	FAIL	2.64
connect_7x6_5_R	FAIL	17.21
connect_7x6_3_R	FAIL	18.97
connect_8x7_5_R	FAIL	20.93
connect_8x7_6_R	FAIL	23.57
connect_7x6_4_R	FAIL	23.83
connect_8x7_4_R	FAIL	24.61
connect_8x7_3_R	FAIL	26.27
connect_7x6_6_R	FAIL	29.18
connect_9x8_6_R	FAIL	35.61
connect_9x8_5_R	FAIL	37.28
connect_9x8_3_R	FAIL	39.15
connect_9x8_7_R	FAIL	41.24
connect_9x8_4_R	FAIL	41.39
connect_6x5_4_R	FAIL	43.17
connect_6x5_3_R	FAIL	49.83
connect_9x8_8_R	FAIL	52.01
connect_8x7_7_R	FAIL	54.52
connect_5x4_3_R	FAIL	121.01
connect_6x5_5_R	FAIL	206.46

Contact | Organization | Links | Citing QBFLIB