Instances of family Connect4 solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
connect_5x4_4_DUNSAT0.14
connect_5x4_3_DUNSAT0.16
connect_5x4_4_WUNSAT0.16
connect_5x4_3_WUNSAT0.17
connect_6x5_5_WUNSAT0.24
connect_6x5_5_DUNSAT0.26
connect_6x5_4_DUNSAT0.26
connect_6x5_3_DUNSAT0.29
connect_6x5_4_WUNSAT0.31
connect_6x5_3_WUNSAT0.32
connect_7x6_6_DUNSAT0.35
connect_7x6_6_WUNSAT0.42
connect_7x6_5_DUNSAT0.48
connect_7x6_5_WUNSAT0.48
connect_7x6_4_WUNSAT0.52
connect_7x6_4_DUNSAT0.52
connect_7x6_3_WUNSAT0.56
connect_7x6_3_DUNSAT0.58
connect_8x7_7_DUNSAT0.64
connect_8x7_7_WUNSAT0.65
connect_8x7_6_DUNSAT0.76
connect_8x7_6_WUNSAT0.77
connect_8x7_5_DUNSAT0.86
connect_8x7_5_WUNSAT0.88
connect_9x8_8_DUNSAT0.97
connect_9x8_8_WUNSAT0.99
connect_9x8_7_DUNSAT1.19
connect_9x8_7_WUNSAT1.2
connect_9x8_6_WUNSAT1.28
connect_9x8_6_DUNSAT1.31
connect_8x7_4_DUNSAT1.37
connect_8x7_4_WUNSAT1.37
connect_8x7_3_WUNSAT1.41
connect_8x7_3_DUNSAT1.51
connect_9x8_5_DUNSAT1.95
connect_9x8_5_WUNSAT1.95
connect_9x8_4_DUNSAT2.04
connect_9x8_4_WUNSAT2.08
connect_9x8_3_WUNSAT2.11
connect_9x8_3_DUNSAT2.12
connect_5x4_4_RUNSAT116.68
connect_5x4_3_RUNSAT177.27
connect_7x6_6_RFAIL880.5
connect_6x5_4_RFAIL881.99
connect_7x6_5_RFAIL882.32
connect_6x5_5_RFAIL882.53
connect_8x7_5_RFAIL883.25
connect_6x5_3_RFAIL883.53
connect_8x7_7_RFAIL883.74
connect_8x7_6_RFAIL883.83
connect_7x6_3_RFAIL885.72
connect_9x8_8_RFAIL887.11
connect_8x7_4_RFAIL887.28
connect_7x6_4_RFAIL888.05
connect_9x8_7_RFAIL889.01
connect_8x7_3_RFAIL889.76
connect_9x8_3_RFAIL890.24
connect_9x8_5_RFAIL891.39
connect_9x8_4_RFAIL892.17
connect_9x8_6_RFAIL894.8