Instances of family Connect4 solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
connect_8x7_3_DUNSAT0.81
connect_8x7_4_WUNSAT0.82
connect_8x7_4_DUNSAT0.86
connect_8x7_3_WUNSAT0.87
connect_9x8_5_DUNSAT1.34
connect_9x8_5_WUNSAT1.34
connect_9x8_4_DUNSAT1.43
connect_9x8_4_WUNSAT1.48
connect_9x8_3_WUNSAT1.48
connect_9x8_3_DUNSAT1.51
connect_5x4_4_RFAIL206.7
connect_5x4_3_RFAIL497.43
connect_6x5_5_RFAIL4113.93