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

InstanceResultTime
connect_6x5_5_DUNSAT5.22
connect_7x6_4_WUNSAT22.29
connect_8x7_7_WUNSAT58.12
connect_9x8_6_RFAIL599.31
connect_8x7_6_RFAIL599.31