Instances of family Connect4 solved by yQuaffle
QBFEVAL'06

InstanceResultTime
connect_8x7_4_WUNSAT1.82
connect_8x7_3_DUNSAT1.89
connect_8x7_3_WUNSAT1.94
connect_8x7_4_DUNSAT1.95
connect_9x8_5_DUNSAT2.47
connect_9x8_5_WUNSAT2.48
connect_9x8_4_WUNSAT2.61
connect_9x8_4_DUNSAT2.62
connect_9x8_3_DUNSAT2.63
connect_9x8_3_WUNSAT2.65
connect_5x4_4_RUNSAT123.19
connect_5x4_3_RUNSAT141.66
connect_6x5_5_RFAIL514.58