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

InstanceResultTime
connect_5x4_4_RUNSAT26.26
connect_5x4_3_RUNSAT52.9
connect_6x5_5_RUNSAT139.44
connect_8x7_4_WUNSAT1716.88
connect_8x7_4_DUNSAT1717.71
connect_8x7_3_WUNSAT1718.78
connect_8x7_3_DUNSAT1730.58
connect_9x8_5_WUNSAT1956.37
connect_9x8_5_DUNSAT1957.06
connect_9x8_4_WUNSAT1984.64
connect_9x8_4_DUNSAT1990.77
connect_9x8_3_DUNSAT1993.25
connect_9x8_3_WUNSAT2000.09