Instances of family Connect4 solved by yQuaffle
QBFEVAL'05

InstanceResultTime
connect_5x4_4_DUNSAT0.14
connect_5x4_4_WUNSAT0.17
connect_5x4_3_WUNSAT0.18
connect_5x4_3_DUNSAT0.19
connect_6x5_5_WUNSAT0.24
connect_6x5_5_DUNSAT0.25
connect_6x5_4_WUNSAT0.28
connect_6x5_4_DUNSAT0.28
connect_6x5_3_DUNSAT0.31
connect_6x5_3_WUNSAT0.32
connect_7x6_6_DUNSAT0.39
connect_7x6_6_WUNSAT0.39
connect_7x6_5_WUNSAT0.45
connect_7x6_5_DUNSAT0.46
connect_7x6_4_WUNSAT0.49
connect_7x6_4_DUNSAT0.52
connect_7x6_3_DUNSAT0.55
connect_7x6_3_WUNSAT0.59
connect_8x7_7_WUNSAT0.64
connect_8x7_7_DUNSAT0.64
connect_8x7_6_WUNSAT0.69
connect_8x7_6_DUNSAT0.74
connect_8x7_5_DUNSAT0.83
connect_8x7_5_WUNSAT0.83
connect_9x8_8_WUNSAT0.94
connect_9x8_8_DUNSAT0.96
connect_9x8_7_WUNSAT1.11
connect_9x8_7_DUNSAT1.13
connect_9x8_6_DUNSAT1.3
connect_9x8_6_WUNSAT1.3
connect_8x7_4_WUNSAT1.44
connect_8x7_4_DUNSAT1.47
connect_8x7_3_WUNSAT1.48
connect_8x7_3_DUNSAT1.53
connect_9x8_5_DUNSAT1.98
connect_9x8_5_WUNSAT1.98
connect_9x8_3_WUNSAT2.05
connect_9x8_4_WUNSAT2.05
connect_9x8_3_DUNSAT2.06
connect_9x8_4_DUNSAT2.09
connect_5x4_4_RUNSAT111.51
connect_5x4_3_RUNSAT131.83
connect_8x7_4_RFAIL573.54
connect_7x6_4_RFAIL655.17
connect_7x6_5_RFAIL663.28
connect_8x7_3_RFAIL690.44
connect_7x6_6_RFAIL716.27
connect_8x7_5_RFAIL717.76
connect_8x7_7_RFAIL719.79
connect_8x7_6_RFAIL729.58
connect_6x5_4_RFAIL732.35
connect_9x8_3_RFAIL762.75
connect_9x8_4_RFAIL777.08
connect_9x8_5_RFAIL792.55
connect_9x8_8_RFAIL793.59
connect_9x8_6_RFAIL795.13
connect_9x8_7_RFAIL799.28
connect_7x6_3_RFAIL806.47
connect_6x5_3_RFAIL812.31
connect_6x5_5_RFAIL836.32