Instances of family Connect4 solved by semprop
QBFEVAL'06

InstanceResultTime
connect_8x7_4_WUNSAT0.79
connect_8x7_4_DUNSAT0.82
connect_8x7_3_WUNSAT0.87
connect_8x7_3_DUNSAT0.89
connect_9x8_5_WUNSAT1.29
connect_9x8_5_DUNSAT1.33
connect_9x8_4_WUNSAT1.45
connect_9x8_4_DUNSAT1.46
connect_9x8_3_WUNSAT1.5
connect_9x8_3_DUNSAT1.51
connect_5x4_4_RUNSAT32.21
connect_5x4_3_RUNSAT65.46
connect_6x5_5_RUNSAT395.81