String NamedSelection.SolverName { get; }