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

InstanceResultTime
connect_6x5_5_RUNSAT127.72