Double Solution.ResultFileSize { get; }