The best, undoubtedly, EfficientFrontier is the best
EfficientFrontier is an analytical solver, the numerical solvers, such as OSQP, Clarabel, and LightenQP are in the second tier.
see Speed and Accuracy · PharosAbad/LightenQP.jl Wiki · GitHub for more information.