String CondensedPartBase.SolverFilesDirectory { get; }