Boolean EffectiveStressTracker.IsSolved { get; }