Instances of family Connect4 solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
connect_5x4_3_DUNSAT0.05
connect_6x5_5_DUNSAT0.09
connect_7x6_4_WUNSAT0.09
connect_8x7_7_WUNSAT0.12
connect_5x4_3_RUNSAT21.45
connect_5x4_4_RUNSAT37.43
connect_8x7_5_RFAIL600
connect_9x8_6_RFAIL600
connect_8x7_6_RFAIL600
connect_8x7_4_RFAIL600