Instances of family Connect4 solved by openQbf
QBFEVAL'05

InstanceResultTime
connect_9x8_6_WUNSAT3.27
connect_9x8_7_DUNSAT3.38
connect_9x8_6_DUNSAT3.39
connect_9x8_8_WUNSAT3.48
connect_9x8_7_WUNSAT3.53
connect_9x8_8_DUNSAT3.54
connect_8x7_5_WUNSAT4.09
connect_8x7_5_DUNSAT4.1
connect_8x7_6_WUNSAT4.25
connect_8x7_6_DUNSAT4.31
connect_8x7_7_DUNSAT4.35
connect_8x7_7_WUNSAT4.43
connect_7x6_3_WUNSAT4.64
connect_7x6_3_DUNSAT4.66
connect_7x6_4_WUNSAT4.77
connect_7x6_4_DUNSAT4.87
connect_7x6_5_WUNSAT5.01
connect_7x6_5_DUNSAT5.04
connect_7x6_6_WUNSAT5.08
connect_7x6_6_DUNSAT5.17
connect_6x5_3_DUNSAT5.44
connect_6x5_4_WUNSAT5.53
connect_6x5_5_WUNSAT5.59
connect_6x5_3_WUNSAT5.62
connect_6x5_4_DUNSAT5.79
connect_5x4_3_WUNSAT5.85
connect_5x4_4_DUNSAT5.91
connect_5x4_4_WUNSAT5.92
connect_6x5_5_DUNSAT6.04
connect_5x4_3_DUNSAT6.18
connect_5x4_4_RUNSAT170.49
connect_5x4_3_RUNSAT395.57
connect_9x8_4_DUNSAT531.69
connect_8x7_3_DUNSAT538.12
connect_8x7_4_DUNSAT544.01
connect_8x7_4_WUNSAT546.39
connect_9x8_4_WUNSAT560.17
connect_9x8_5_DUNSAT577.86
connect_9x8_5_WUNSAT600.73
connect_9x8_3_DUNSAT615.52
connect_8x7_3_WUNSAT653.98
connect_9x8_3_WUNSAT660.08
connect_6x5_4_RFAIL900.86
connect_7x6_4_RFAIL900.87
connect_9x8_5_RFAIL900.88
connect_6x5_5_RFAIL900.89
connect_7x6_5_RFAIL900.89
connect_9x8_4_RFAIL900.9
connect_8x7_3_RFAIL900.9
connect_8x7_4_RFAIL900.91
connect_9x8_7_RFAIL900.91
connect_8x7_5_RFAIL900.92
connect_9x8_3_RFAIL900.92
connect_6x5_3_RFAIL900.92
connect_9x8_6_RFAIL900.93
connect_7x6_6_RFAIL900.93
connect_7x6_3_RFAIL900.93
connect_9x8_8_RFAIL900.93
connect_8x7_6_RFAIL900.96
connect_8x7_7_RFAIL900.98