Instances of family Connect4 solved by ncQuBE1.0
QBFEVAL'07

InstanceResultTime
connect_6x5_5_RFAIL308.2