String Solution.ResultFileTimestamp { get; }