String RBDAnalysisSettings.ScratchSolverFilesDirectory { get; }