Instances of family Connect4 solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
connect_5x4_3_DUNSAT0.31
connect_6x5_5_DUNSAT0.51
connect_7x6_4_WUNSAT1.12
connect_8x7_7_WUNSAT1.51
connect_5x4_4_RUNSAT25.41
connect_5x4_3_RUNSAT53.31
connect_9x8_6_RFAIL616.32
connect_8x7_5_RFAIL625.83
connect_8x7_4_RFAIL648.64
connect_8x7_6_RFAIL659.5