s found
on disk, so having too many reachable states can't run it out of memory.&nbsp;
However, it runs much faster when it can keep those states in memory.&nbsp;
TLC can run out of heap space if it takes too much memory to represent the
set of initial states or the set of successor states of a single state.&nbsp;
If TLC does run out of memory in the middle of a long run,
you can give it more and restart it from a checkpoint.

<p>

Setting the this parameter too large may produce a
<em>Could not create the 