Hi, 

As part of my PhD research, I am using MRMC for statistical model checkering. 

For a given model(tra) and a property, I need to know how much time MRMC spends for 

(i)parsing the  model, 

(ii)generating its simulation, 

and (iii)the time spend for property verification. 

Is it possible to somehow access these informations?

Thank you very much,

Best