Instances of family Connect4 solved by semprop
QBFEVAL'05

InstanceResultTime
connect_5x4_4_WUNSAT0.04
connect_5x4_4_DUNSAT0.04
connect_5x4_3_DUNSAT0.06
connect_5x4_3_WUNSAT0.07
connect_6x5_5_WUNSAT0.13
connect_6x5_4_WUNSAT0.13
connect_6x5_4_DUNSAT0.15
connect_6x5_5_DUNSAT0.16
connect_6x5_3_DUNSAT0.17
connect_6x5_3_WUNSAT0.17
connect_7x6_6_DUNSAT0.34
connect_7x6_6_WUNSAT0.34
connect_7x6_5_WUNSAT0.36
connect_7x6_5_DUNSAT0.38
connect_7x6_3_DUNSAT0.43
connect_7x6_3_WUNSAT0.43
connect_7x6_4_DUNSAT0.45
connect_7x6_4_WUNSAT0.45
connect_8x7_7_WUNSAT0.46
connect_8x7_7_DUNSAT0.47
connect_8x7_5_WUNSAT0.7
connect_8x7_5_DUNSAT0.71
connect_8x7_6_DUNSAT0.72
connect_8x7_6_WUNSAT0.73
connect_8x7_4_DUNSAT0.8
connect_8x7_4_WUNSAT0.81
connect_9x8_8_DUNSAT0.85
connect_9x8_8_WUNSAT0.86
connect_8x7_3_DUNSAT0.89
connect_8x7_3_WUNSAT0.92
connect_9x8_6_DUNSAT1.26
connect_9x8_7_DUNSAT1.27
connect_9x8_7_WUNSAT1.28
connect_9x8_5_WUNSAT1.31
connect_9x8_6_WUNSAT1.32
connect_9x8_5_DUNSAT1.35
connect_9x8_4_DUNSAT1.46
connect_9x8_3_WUNSAT1.49
connect_9x8_4_WUNSAT1.51
connect_9x8_3_DUNSAT1.54
connect_5x4_4_RUNSAT31.69
connect_5x4_3_RUNSAT65.21
connect_6x5_5_RUNSAT390.27
connect_9x8_3_RFAIL900.85
connect_9x8_5_RFAIL900.87
connect_9x8_8_RFAIL900.89
connect_8x7_3_RFAIL900.9
connect_9x8_4_RFAIL900.91
connect_8x7_7_RFAIL900.92
connect_9x8_6_RFAIL900.92
connect_8x7_4_RFAIL900.93
connect_8x7_5_RFAIL900.93
connect_7x6_3_RFAIL900.93
connect_9x8_7_RFAIL900.95
connect_7x6_4_RFAIL900.95
connect_6x5_4_RFAIL900.97
connect_7x6_5_RFAIL900.98
connect_8x7_6_RFAIL900.98
connect_7x6_6_RFAIL900.98
connect_6x5_3_RFAIL900.99