Instances of family Connect4 solved by preQuantor
QBFEVAL'06

InstanceResultTime
connect_5x4_4_RUNSAT0.02
connect_5x4_3_RUNSAT0.03
connect_6x5_5_RUNSAT0.05
connect_8x7_4_WUNSAT0.31
connect_8x7_4_DUNSAT0.31
connect_8x7_3_DUNSAT0.34
connect_8x7_3_WUNSAT0.35
connect_9x8_5_WUNSAT0.5
connect_9x8_5_DUNSAT0.53
connect_9x8_3_WUNSAT0.58
connect_9x8_4_DUNSAT0.58
connect_9x8_4_WUNSAT0.61
connect_9x8_3_DUNSAT0.72