Re: TLC: NoSuchElementException on checkpoint restore

[evgeniy....@xxxxxxxxx]

Some time later I got this message:

Error: Java ran out of memory.  Running Java with a larger memory allocation
pool (heap) may fix this.  But it won't help if some state has an enormous
number of successor states, or if TLC must compute the value of a huge set.
Finished in 04min 10s at (2017-04-04 18:08:25)

This is strange because I ran TLC with the same parameters for virtual machine memory 
as before.