Instances of family Connect4 solved by quantor-3.1
QBFEVAL'10 - Competitive Track.

InstanceResultTime
connect_5x4_4_WUNSAT0.05
connect_6x5_4_DUNSAT0.12
connect_7x6_6_WUNSAT0.18
connect_8x7_7_DUNSAT0.3
connect_8x7_3_DUNSAT0.56
connect_9x8_8_DUNSAT0.56
connect_9x8_6_DUNSAT0.73
connect_5x4_3_RFAIL62.69
connect_6x5_5_RFAIL67.19
connect_7x6_4_RFAIL82.82
connect_9x8_3_RFAIL110.51