我在Alloy中编写了一个包含100个签名的复杂模型，每个签名都有一些基于抽象签名的关系 . 当我尝试解决模型时会出现问题 . 大约两个小时后，分析仪会返回一条消息，说明"solver run out of the memory, reduce the scope or increase the memory or simplify the model" . 范围已经减少到1.此外，内存增加到最大限制 . 我在两台机器上做了这个实验（我的笔记本电脑有8GB内存，我的桌面有4GB），我仍然得到同样的信息 .
有谁遇到过这种问题？ Alloy能够处理如此复杂的模型吗？
问候