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

InstanceResultTime
connect_5x4_4_WUNSAT0.03
connect_6x5_4_DUNSAT0.08
connect_7x6_6_WUNSAT0.13
connect_8x7_7_DUNSAT0.19
connect_8x7_3_DUNSAT0.32
connect_9x8_8_DUNSAT0.32
connect_9x8_6_DUNSAT0.52
connect_5x4_3_RUNSAT254.18
connect_6x5_5_RUNSAT994.17
connect_7x6_4_RFAIL1200.09
connect_9x8_3_RFAIL1200.12