Boolean UserDefinedResult.IsSolved { get; }