[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Excessively long run time - How to reduce the number of states?
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
:
Re: [tlaplus] Re: Excessively long run time - How to reduce the number of states?
From:
Stephan Merz
References
:
Excessively long run time - How to reduce the number of states?
From:
Alon Be
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):
Date
Thread