Re: ARC model specified in spinroot/promela

"Mathew, Cherry G.*" <c@bow.st> writes:
> I'm hoping that someone can help me complete the current run, as I don't
> have the computing resources required to run the full model (about 16GB
> RAM).

16 GB is not a huge amount of memory.  Would it help if you had access
to a jail or VM with enough memory to run the model yourself?

DES
-- 
Dag-Erling Smørgrav - des@FreeBSD.org