Dear MRMC developer(s),
Can we identify how much time spent for simulation trace generation, and the time spent for property verification. Is it possible to separately identify each time when verifying a model with MRMC in statistical model checking mode? Or MRMC does verification on fly(parallel with simulation) which means we can't separate them? 


Thanks in advance,
Best


Mehmet Emin BAKIR
University of Sheffield
Department of Computer Science
Verification and Testing Group

On 25 November 2015 at 21:17, Mehmet E Bakir <mebakir1@sheffield.ac.uk> wrote:
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




Mehmet Emin BAKIR
Department of Computer Science