Instances of family Connect4 solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
connect_5x4_3_DUNSAT0.22
connect_6x5_5_DUNSAT0.32
connect_7x6_4_WUNSAT0.52
connect_8x7_7_WUNSAT0.62
connect_5x4_4_RUNSAT59.14
connect_5x4_3_RUNSAT61.15
connect_8x7_6_RFAIL299.74
connect_8x7_4_RFAIL299.81
connect_8x7_5_RFAIL299.82
connect_9x8_6_RFAIL299.82