[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. 

Regards,
Stephan 

--
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.