Instances of family Connect4 solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
connect_5x4_3_DUNSAT0.18
connect_6x5_5_DUNSAT0.27
connect_7x6_4_WUNSAT0.39
connect_8x7_7_WUNSAT0.49
connect_5x4_4_RSAT93.16
connect_5x4_3_RSAT117.84
connect_8x7_6_RSAT267.6
connect_8x7_5_RSAT285.01
connect_9x8_6_RSAT434.36
connect_8x7_4_RFAIL599.71