Instances of family Connect4 solved by GRL
QBFEVAL'06

InstanceResultTime
connect_8x7_4_WUNSAT0.85
connect_8x7_4_DUNSAT0.86
connect_8x7_3_WUNSAT0.91
connect_8x7_3_DUNSAT0.92
connect_5x4_4_RUNSAT1.31
connect_9x8_3_WUNSAT1.32
connect_9x8_5_DUNSAT1.34
connect_9x8_5_WUNSAT1.34
connect_9x8_4_DUNSAT1.35
connect_9x8_4_WUNSAT1.39
connect_9x8_3_DUNSAT1.39
connect_5x4_3_RUNSAT9.42
connect_6x5_5_RUNSAT12