Java virtual machine</em> error.


<h3>Log base 2 of number of disk storage files</h3>

If your computer has multiple disk drives, setting this parameter to a value greater
than 0 might make it possible to reduce the time
TLC spends writing to disk on a model with a very large number of reachable states.&nbsp;

Contact us for more information.

<h3>Saving defaults</h3>

Clicking on the "Save as default" button in this section will save this configuration and use
it as the configuration in new models.

<h2><