Re: [prism] PRISM crashed when computing steady state probabilities

[Dave Parker]

Hi Debjani,

It's not clear from the error log what the problem is. Email me the
model file off-list and tell me how much RAM your machine has, so I can
look into it.

Best wishes,

Dave.

On 22/05/2013 12:47, Debjani Gautam wrote:
> PRISM have crashed, when computing steady state probabilities.
>
> Total number of states of the model: 834406
> Total transitions:3168549
>
> PRISM configuration for computing the steady state probabilities:
>
> PRISM_JAVAMAXMEM="-Xmx4096m"
> Engine MTBDD
>
> Even i checked the model with Hybrid, then also the same problem(prism
> crashed) happened.
>
> I can attach the log file as well.
>
> Please suggest me as soon as possible.
>
> Debjani
>
> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com.
> To post to this group, send an email to prismmod...@googlegroups.com.
> Visit this group at
> http://groups.google.com/group/prismmodelchecker?hl=en-GB.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>