Boolean StrainResult.IsSolved { get; }