Class SolverCTMC.AnalyzerResult