Instances of family Connect4 solved by qbfbdd
QBFEVAL'05

InstanceResultTime
connect_9x8_6_RFAIL7.15
connect_9x8_7_RFAIL7.97
connect_8x7_6_DFAIL8.01
connect_9x8_8_DFAIL8.12
connect_9x8_7_DFAIL8.36
connect_8x7_5_DFAIL8.69
connect_9x8_6_DFAIL9.06
connect_9x8_5_DFAIL9.15
connect_8x7_7_RFAIL9.45
connect_8x7_5_RFAIL9.47
connect_9x8_4_DFAIL9.92
connect_9x8_8_RFAIL10.02
connect_9x8_5_RFAIL10.02
connect_8x7_6_WFAIL10.12
connect_9x8_3_WFAIL10.77
connect_9x8_4_WFAIL10.79
connect_9x8_3_DFAIL10.84
connect_9x8_5_WFAIL10.86
connect_9x8_4_RFAIL11.1
connect_8x7_7_DFAIL11.42
connect_7x6_5_DFAIL11.89
connect_9x8_3_RFAIL12.2
connect_7x6_4_DFAIL12.83
connect_7x6_3_DFAIL13.18
connect_8x7_4_DFAIL14
connect_8x7_5_WFAIL14.42
connect_8x7_4_RFAIL14.88
connect_8x7_3_RFAIL15.71
connect_8x7_3_DFAIL16.31
connect_8x7_6_RFAIL16.98
connect_8x7_4_WFAIL19.56
connect_7x6_5_WFAIL22.94
connect_6x5_3_DFAIL25.09
connect_9x8_8_WFAIL26.62
connect_7x6_4_WFAIL28.13
connect_8x7_3_WFAIL32.33
connect_6x5_4_DFAIL57.12
connect_7x6_6_DFAIL86.52
connect_5x4_3_DFAIL86.93
connect_7x6_3_RFAIL144.27
connect_7x6_4_RFAIL150.3
connect_6x5_4_WFAIL296.25
connect_6x5_5_DFAIL400.81
connect_8x7_7_WFAIL559.42
connect_7x6_5_RFAIL711.92
connect_9x8_7_WFAIL897.91
connect_6x5_5_RFAIL900.38
connect_6x5_3_RFAIL900.39
connect_6x5_4_RFAIL900.44
connect_5x4_3_WFAIL900.45
connect_9x8_6_WFAIL900.49
connect_5x4_3_RFAIL900.52
connect_7x6_6_RFAIL900.57
connect_7x6_6_WFAIL900.62
connect_5x4_4_WFAIL900.66
connect_5x4_4_RFAIL900.67
connect_5x4_4_DFAIL900.7
connect_6x5_3_WFAIL900.74
connect_7x6_3_WFAIL900.75
connect_6x5_5_WFAIL900.85