Solution names in GUI are sorted