Instances of family Connect4 solved by caqe-minisat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
connect_5x4_3_DUNSAT0.2
connect_6x5_5_DUNSAT0.27
connect_7x6_4_WUNSAT0.41
connect_8x7_7_WUNSAT0.5
connect_5x4_4_RUNSAT39.5
connect_5x4_3_RUNSAT42.89
connect_8x7_5_RFAIL599.65
connect_9x8_6_RFAIL599.66
connect_8x7_4_RFAIL599.66
connect_8x7_6_RFAIL599.73