Instances of family Connect4 solved by qube4.0
QBFEVAL'06

InstanceResultTime
connect_5x4_4_RUNSAT2.61
connect_5x4_3_RUNSAT29.11
connect_6x5_5_RUNSAT88.14
connect_8x7_4_DUNSAT260.93
connect_8x7_4_WUNSAT262.48
connect_8x7_3_DUNSAT275.93
connect_8x7_3_WUNSAT276.58
connect_9x8_5_DUNSAT434.52
connect_9x8_5_WUNSAT437
connect_9x8_4_WUNSAT467.37
connect_9x8_4_DUNSAT468.11
connect_9x8_3_WUNSAT471.32
connect_9x8_3_DUNSAT485.61