Instances of family Connect4 solved by GRL
QBFEVAL'05

InstanceResultTime
connect_5x4_3_WUNSAT0.08
connect_5x4_3_DUNSAT0.08
connect_5x4_4_WUNSAT0.1
connect_5x4_4_DUNSAT0.1
connect_6x5_5_WUNSAT0.14
connect_6x5_4_DUNSAT0.17
connect_6x5_4_WUNSAT0.17
connect_6x5_5_DUNSAT0.17
connect_6x5_3_DUNSAT0.19
connect_6x5_3_WUNSAT0.21
connect_7x6_6_WUNSAT0.29
connect_7x6_6_DUNSAT0.3
connect_7x6_5_WUNSAT0.3
connect_7x6_4_DUNSAT0.32
connect_7x6_5_DUNSAT0.34
connect_7x6_4_WUNSAT0.38
connect_7x6_3_WUNSAT0.39
connect_7x6_3_DUNSAT0.41
connect_8x7_7_WUNSAT0.43
connect_8x7_7_DUNSAT0.44
connect_8x7_6_DUNSAT0.54
connect_8x7_6_WUNSAT0.54
connect_8x7_5_WUNSAT0.61
connect_8x7_5_DUNSAT0.64
connect_9x8_8_DUNSAT0.71
connect_9x8_8_WUNSAT0.76
connect_9x8_7_WUNSAT0.83
connect_8x7_4_WUNSAT0.85
connect_8x7_4_DUNSAT0.85
connect_8x7_3_DUNSAT0.88
connect_9x8_7_DUNSAT0.88
connect_8x7_3_WUNSAT0.95
connect_9x8_6_DUNSAT0.95
connect_9x8_6_WUNSAT0.97
connect_9x8_5_DUNSAT1.27
connect_5x4_4_RUNSAT1.31
connect_9x8_5_WUNSAT1.31
connect_9x8_4_DUNSAT1.36
connect_9x8_3_WUNSAT1.37
connect_9x8_3_DUNSAT1.38
connect_9x8_4_WUNSAT1.42
connect_5x4_3_RUNSAT9.42
connect_6x5_5_RUNSAT11.91
connect_7x6_6_RUNSAT87.88
connect_9x8_3_RFAIL146.67
connect_9x8_4_RFAIL229.61
connect_7x6_5_RUNSAT332.01
connect_8x7_3_RFAIL345.78
connect_6x5_4_RUNSAT440.89
connect_8x7_4_RFAIL547.34
connect_6x5_3_RSAT648.96
connect_8x7_7_RUNSAT779.92
connect_9x8_5_RFAIL900.41
connect_7x6_4_RFAIL900.66
connect_9x8_6_RFAIL900.67
connect_8x7_5_RFAIL900.67
connect_7x6_3_RFAIL900.69
connect_9x8_8_RFAIL900.79
connect_9x8_7_RFAIL900.8
connect_8x7_6_RFAIL900.84