Sota solver results for family Connect4
QBFEVAL'06


InstanceSolverResultTime
connect_5x4_3_RpreQuantorUNSAT0.03
connect_5x4_4_R2clsQUNSAT0.02
connect_6x5_5_RpreQuantorUNSAT0.05
connect_8x7_3_DQbflUNSAT0.25
connect_8x7_3_WQbflUNSAT0.2
connect_8x7_4_DQbflUNSAT0.27
connect_8x7_4_WQbflUNSAT0.25
connect_9x8_3_DQbflUNSAT0.34
connect_9x8_3_WQbflUNSAT0.36
connect_9x8_4_DQbflUNSAT0.35
connect_9x8_4_WQbflUNSAT0.34
connect_9x8_5_DQbflUNSAT0.29
connect_9x8_5_WQbflUNSAT0.32