Int32 SolveConfigurations.Count { get; }