[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Excessively long run time - How to reduce the number of states?

Glad to hear that I could help. Indeed, the Toolbox only offers symmetry reduction for sets of model values. 


Stephan Merz

On 3 Sep 2017, at 15:18, Alon Be <alo...@xxxxxxxxx> wrote:

Ok, I changed the set of bins from {1,2,3,4,5} to a symmetry set {B_1, ... , B_5} and it does indeed work much faster!

Many many thanks! 

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.