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

*From*: Alon Be <alo...@xxxxxxxxx>*Date*: Sun, 3 Sep 2017 06:18:49 -0700 (PDT)*References*: <2342194a-141c-48d8-8fc2-ac5b7420a33a@googlegroups.com>

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!

**Follow-Ups**:

**References**:

- Prev by Date:
**Re: [tlaplus] Excessively long run time - How to reduce the number of states?** - Next by Date:
**Re: [tlaplus] Re: Excessively long run time - How to reduce the number of states?** - Previous by thread:
**Re: [tlaplus] Excessively long run time - How to reduce the number of states?** - Next by thread:
**Re: [tlaplus] Re: Excessively long run time - How to reduce the number of states?** - Index(es):