Instances of family Connect4 solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
connect_5x4_3_WUNSAT0.08
connect_5x4_4_DUNSAT0.08
connect_5x4_4_WUNSAT0.09
connect_5x4_3_DUNSAT0.12
connect_6x5_5_WUNSAT0.15
connect_6x5_5_DUNSAT0.15
connect_6x5_4_WUNSAT0.17
connect_6x5_3_WUNSAT0.19
connect_6x5_3_DUNSAT0.21
connect_6x5_4_DUNSAT0.23
connect_7x6_6_DUNSAT0.28
connect_7x6_6_WUNSAT0.29
connect_7x6_5_DUNSAT0.32
connect_7x6_5_WUNSAT0.32
connect_7x6_4_WUNSAT0.36
connect_7x6_4_DUNSAT0.38
connect_7x6_3_WUNSAT0.41
connect_7x6_3_DUNSAT0.44
connect_8x7_7_WUNSAT0.46
connect_8x7_7_DUNSAT0.48
connect_8x7_6_WUNSAT0.51
connect_8x7_6_DUNSAT0.54
connect_8x7_5_WUNSAT0.63
connect_8x7_4_WUNSAT0.63
connect_8x7_5_DUNSAT0.63
connect_8x7_3_WUNSAT0.67
connect_8x7_3_DUNSAT0.7
connect_8x7_4_DUNSAT0.7
connect_9x8_8_WUNSAT0.74
connect_9x8_8_DUNSAT0.78
connect_9x8_7_WUNSAT0.88
connect_9x8_7_DUNSAT0.93
connect_9x8_6_WUNSAT1.01
connect_9x8_5_WUNSAT1.04
connect_9x8_6_DUNSAT1.06
connect_9x8_4_WUNSAT1.15
connect_9x8_5_DUNSAT1.16
connect_9x8_3_WUNSAT1.17
connect_9x8_4_DUNSAT1.24
connect_9x8_3_DUNSAT1.25
connect_6x5_3_RFAIL5.8
connect_7x6_5_RFAIL7.48
connect_6x5_5_RFAIL9.61
connect_5x4_3_RFAIL9.74
connect_9x8_3_RFAIL39.12
connect_9x8_4_RFAIL43.71
connect_8x7_5_RFAIL48.07
connect_9x8_5_RFAIL48.82
connect_9x8_8_RFAIL56.62
connect_7x6_3_RFAIL75.63
connect_8x7_4_RFAIL80.11
connect_8x7_3_RFAIL137.9
connect_7x6_4_RFAIL187.16
connect_7x6_6_RFAIL211.99
connect_5x4_4_RUNSAT225.03
connect_8x7_6_RFAIL232.4
connect_9x8_6_RFAIL294.92
connect_6x5_4_RFAIL366.6
connect_8x7_7_RFAIL375.59
connect_9x8_7_RFAIL481.7