Sort solvers in cactus plot by number of instances solved