Instances of family Connect4 solved by QUANTOR
QBFEVAL'05

InstanceResultTime
connect_5x4_4_DUNSAT0.03
connect_5x4_3_WUNSAT0.05
connect_5x4_4_WUNSAT0.05
connect_5x4_3_DUNSAT0.05
connect_6x5_5_WUNSAT0.08
connect_6x5_5_DUNSAT0.1
connect_6x5_4_DUNSAT0.11
connect_6x5_4_WUNSAT0.12
connect_6x5_3_WUNSAT0.12
connect_6x5_3_DUNSAT0.15
connect_7x6_6_WUNSAT0.17
connect_7x6_6_DUNSAT0.18
connect_7x6_5_WUNSAT0.2
connect_7x6_4_WUNSAT0.22
connect_7x6_5_DUNSAT0.23
connect_7x6_3_WUNSAT0.26
connect_7x6_4_DUNSAT0.27
connect_8x7_7_WUNSAT0.28
connect_7x6_3_DUNSAT0.29
connect_8x7_7_DUNSAT0.31
connect_8x7_6_WUNSAT0.34
connect_8x7_6_DUNSAT0.35
connect_8x7_5_WUNSAT0.39
connect_9x8_8_WUNSAT0.45
connect_8x7_4_WUNSAT0.45
connect_8x7_3_DUNSAT0.46
connect_8x7_3_WUNSAT0.46
connect_8x7_5_DUNSAT0.46
connect_8x7_4_DUNSAT0.49
connect_9x8_8_DUNSAT0.5
connect_9x8_7_WUNSAT0.52
connect_9x8_7_DUNSAT0.6
connect_9x8_6_WUNSAT0.63
connect_9x8_5_WUNSAT0.66
connect_9x8_6_DUNSAT0.69
connect_9x8_5_DUNSAT0.7
connect_9x8_4_WUNSAT0.75
connect_9x8_3_WUNSAT0.77
connect_9x8_4_DUNSAT0.79
connect_9x8_3_DUNSAT0.88
connect_5x4_4_RFAIL28.34
connect_7x6_3_RFAIL30.23
connect_5x4_3_RFAIL30.92
connect_9x8_4_RFAIL31.35
connect_8x7_7_RFAIL33.71
connect_7x6_5_RFAIL34.82
connect_6x5_3_RFAIL36.39
connect_9x8_3_RFAIL37.27
connect_9x8_5_RFAIL38.42
connect_8x7_3_RFAIL38.69
connect_8x7_4_RFAIL40.19
connect_9x8_6_RFAIL40.25
connect_7x6_4_RFAIL40.46
connect_9x8_7_RFAIL41.29
connect_6x5_4_RFAIL42.75
connect_8x7_6_RFAIL42.94
connect_7x6_6_RFAIL44.73
connect_8x7_5_RFAIL46.65
connect_6x5_5_RFAIL62
connect_9x8_8_RFAIL64.77