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

InstanceResultTime
connect_5x4_3_DUNSAT0.31
connect_6x5_5_DUNSAT0.41
connect_7x6_4_WUNSAT1.03
connect_8x7_7_WUNSAT2.28
connect_5x4_4_RUNSAT24.22
connect_5x4_3_RUNSAT30.31
connect_8x7_4_RFAIL617.81
connect_8x7_6_RFAIL627.38
connect_8x7_5_RFAIL657.75
connect_9x8_6_RFAIL661.84