Sota solver results for family Connect4
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
connect_5x4_3_Dcaqe-portfolioUNSAT0.22
connect_5x4_3_Rsqueezebf+aqmeUNSAT5.53
connect_5x4_4_Raqme-10UNSAT1.8
connect_6x5_5_Dcaqe-portfolioUNSAT0.32
connect_7x6_4_Wcaqe-portfolioUNSAT0.52
connect_8x7_7_Wcaqe-portfolioUNSAT0.62