Instances of family Connect4 solved by QbflHR
QBFEVAL'05

InstanceResultTime
connect_5x4_4_DUNSAT0.01
connect_5x4_3_WUNSAT0.02
connect_5x4_3_DUNSAT0.02
connect_6x5_4_DUNSAT0.04
connect_6x5_5_WUNSAT0.04
connect_6x5_4_WUNSAT0.04
connect_5x4_4_WUNSAT0.05
connect_6x5_5_DUNSAT0.05
connect_7x6_5_DUNSAT0.06
connect_7x6_6_DUNSAT0.07
connect_6x5_3_DUNSAT0.07
connect_7x6_4_DUNSAT0.07
connect_6x5_3_WUNSAT0.07
connect_7x6_3_DUNSAT0.08
connect_7x6_6_WUNSAT0.09
connect_7x6_5_WUNSAT0.09
connect_7x6_4_WUNSAT0.1
connect_7x6_3_WUNSAT0.1
connect_8x7_7_DUNSAT0.12
connect_8x7_7_WUNSAT0.13
connect_9x8_8_WUNSAT0.14
connect_8x7_5_DUNSAT0.14
connect_8x7_6_WUNSAT0.14
connect_8x7_5_WUNSAT0.14
connect_8x7_6_DUNSAT0.15
connect_9x8_8_DUNSAT0.18
connect_9x8_7_WUNSAT0.2
connect_9x8_7_DUNSAT0.2
connect_9x8_6_DUNSAT0.22
connect_9x8_6_WUNSAT0.24
connect_8x7_4_WUNSAT0.29
connect_8x7_3_DUNSAT0.29
connect_8x7_4_DUNSAT0.29
connect_8x7_3_WUNSAT0.32
connect_9x8_4_WUNSAT0.4
connect_9x8_5_WUNSAT0.4
connect_9x8_5_DUNSAT0.41
connect_9x8_4_DUNSAT0.41
connect_9x8_3_WUNSAT0.43
connect_9x8_3_DUNSAT0.43
connect_5x4_4_RUNSAT8.61
connect_5x4_3_RUNSAT61.81
connect_6x5_5_RUNSAT144.94
connect_9x8_3_RFAIL899.96
connect_9x8_5_RFAIL900.54
connect_9x8_4_RFAIL900.64
connect_8x7_3_RFAIL900.66
connect_8x7_4_RFAIL900.79
connect_8x7_5_RFAIL900.86
connect_6x5_3_RFAIL900.87
connect_7x6_3_RFAIL900.89
connect_9x8_7_RFAIL900.89
connect_9x8_8_RFAIL900.89
connect_7x6_5_RFAIL900.9
connect_7x6_4_RFAIL900.91
connect_8x7_6_RFAIL900.92
connect_8x7_7_RFAIL900.92
connect_6x5_4_RFAIL900.93
connect_9x8_6_RFAIL900.94
connect_7x6_6_RFAIL900.94