bugfix
Link to github page
Bugfix
Sort solvers in cactus plot by number of instances solved