time for model construction

[Mridu Nanda]

Hi,

I have a relatively small model, but the time to construct it is very large. I was wondering if the time to construct the model is related to the number of lines in the PRISM file (the file in question has ~21k lines). It also has ~10k initial states. However, the total number of states and transitions, once built,  is only ~30k each. Which factor most effects the model construction time? 

Thanks,

Mridu