Instances of family Connect4 solved by QMRes
QBFEVAL'05

InstanceResultTime
connect_9x8_8_DFAIL4.11
connect_9x8_8_WFAIL4.13
connect_9x8_8_RFAIL4.15
connect_8x7_4_DFAIL4.9
connect_8x7_4_WFAIL4.93
connect_8x7_4_RFAIL4.93
connect_9x8_7_DFAIL5.18
connect_9x8_7_RFAIL5.19
connect_9x8_7_WFAIL5.23
connect_8x7_3_RFAIL6.11
connect_8x7_3_DFAIL6.14
connect_8x7_3_WFAIL6.18
connect_9x8_6_WFAIL6.52
connect_9x8_6_DFAIL6.53
connect_9x8_6_RFAIL6.58
connect_9x8_5_WFAIL7.92
connect_9x8_5_RFAIL7.98
connect_9x8_5_DFAIL8.08
connect_9x8_4_RFAIL10.17
connect_9x8_4_DFAIL10.17
connect_9x8_4_WFAIL10.3
connect_9x8_3_WFAIL13.6
connect_9x8_3_DFAIL13.66
connect_9x8_3_RFAIL13.68
connect_6x5_5_DUNSAT205.1
connect_6x5_4_DUNSAT241.75
connect_6x5_3_DUNSAT360.33
connect_5x4_3_WFAIL900.45
connect_7x6_6_WFAIL900.47
connect_8x7_6_DFAIL900.56
connect_8x7_6_WFAIL900.56
connect_7x6_3_WFAIL900.57
connect_5x4_3_RFAIL900.59
connect_6x5_5_RFAIL900.6
connect_8x7_5_WFAIL900.61
connect_7x6_4_RFAIL900.62
connect_8x7_7_DFAIL900.63
connect_8x7_5_DFAIL900.64
connect_7x6_5_WFAIL900.64
connect_8x7_7_RFAIL900.64
connect_8x7_7_WFAIL900.64
connect_5x4_4_RFAIL900.65
connect_7x6_4_WFAIL900.65
connect_8x7_5_RFAIL900.65
connect_7x6_5_DFAIL900.67
connect_7x6_3_DFAIL900.67
connect_7x6_4_DFAIL900.67
connect_8x7_6_RFAIL900.68
connect_7x6_3_RFAIL900.69
connect_6x5_4_RFAIL900.69
connect_5x4_4_DFAIL900.69
connect_6x5_3_RFAIL900.71
connect_7x6_5_RFAIL900.71
connect_5x4_3_DFAIL900.71
connect_6x5_3_WFAIL900.76
connect_6x5_5_WFAIL900.77
connect_6x5_4_WFAIL900.78
connect_7x6_6_RFAIL900.79
connect_7x6_6_DFAIL900.81
connect_5x4_4_WFAIL900.83