Family Connect4 results for solvers
QBFEVAL'16 - Solver Portfolio Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-102413.15241.32292.873.71598.780.6
caqe-portfolio1321.16132.12138.6460.15299.420.6
squeezebf+aqme2410.36241.04293.13.68599.670.2