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

qbflib.org

Instances of family Connect4 solved by WalkQSAT
QBFEVAL'05

Instance	Result	Time
connect_5x4_4_W	UNSAT	0.11
connect_5x4_4_D	UNSAT	0.12
connect_5x4_3_W	UNSAT	0.13
connect_5x4_3_D	UNSAT	0.15
connect_6x5_5_W	UNSAT	0.17
connect_6x5_5_D	UNSAT	0.18
connect_6x5_4_W	UNSAT	0.21
connect_6x5_4_D	UNSAT	0.25
connect_6x5_3_D	UNSAT	0.25
connect_6x5_3_W	UNSAT	0.26
connect_7x6_6_D	UNSAT	0.33
connect_7x6_6_W	UNSAT	0.34
connect_7x6_5_D	UNSAT	0.37
connect_7x6_5_W	UNSAT	0.4
connect_7x6_4_W	UNSAT	0.43
connect_7x6_4_D	UNSAT	0.45
connect_7x6_3_D	UNSAT	0.48
connect_7x6_3_W	UNSAT	0.49
connect_8x7_3_W	FAIL	0.56
connect_8x7_4_W	FAIL	0.57
connect_8x7_7_W	UNSAT	0.57
connect_8x7_7_D	UNSAT	0.58
connect_8x7_4_D	FAIL	0.58
connect_8x7_4_R	FAIL	0.61
connect_8x7_3_D	FAIL	0.62
connect_8x7_3_R	FAIL	0.62
connect_8x7_6_D	UNSAT	0.63
connect_8x7_6_W	UNSAT	0.65
connect_8x7_5_W	UNSAT	0.7
connect_8x7_5_D	UNSAT	0.75
connect_9x8_8_D	UNSAT	0.82
connect_9x8_5_D	FAIL	0.84
connect_9x8_8_W	UNSAT	0.86
connect_9x8_5_R	FAIL	0.86
connect_9x8_5_W	FAIL	0.88
connect_9x8_3_R	FAIL	0.93
connect_9x8_4_R	FAIL	0.94
connect_9x8_4_W	FAIL	0.96
connect_9x8_7_W	UNSAT	0.97
connect_9x8_3_D	FAIL	0.97
connect_9x8_3_W	FAIL	0.98
connect_9x8_4_D	FAIL	1
connect_9x8_7_D	UNSAT	1.04
connect_9x8_6_W	UNSAT	1.17
connect_9x8_6_D	UNSAT	1.18
connect_7x6_3_R	FAIL	61.3
connect_5x4_3_R	FAIL	510.67
connect_9x8_8_R	FAIL	900.79
connect_9x8_6_R	FAIL	900.8
connect_8x7_6_R	FAIL	900.81
connect_9x8_7_R	FAIL	900.82
connect_7x6_6_R	FAIL	900.85
connect_8x7_7_R	FAIL	900.88
connect_7x6_4_R	FAIL	900.88
connect_7x6_5_R	FAIL	900.88
connect_8x7_5_R	FAIL	900.89
connect_6x5_5_R	FAIL	900.9
connect_6x5_3_R	FAIL	900.95
connect_6x5_4_R	FAIL	900.97
connect_5x4_4_R	FAIL	900.98

Contact | Organization | Links | Citing QBFLIB