所以我正在编写一个自动化定理证明器作为我正在采用的数据库管理类的项目。我决定将其作为Perl中的CGI程序实现。我还要写一篇论文，与该程序一起指出我所使用的策略效率低下，这是对使用广度优先SOS策略的一系列条款的解决方案的反驳。
这对我的问题很好。你看，该程序适用于小套子句。但是，对于较大的集合，我遇到了问题。
例如，我只是尝试在一组16个子句中运行它。对于这个特定的子句集，需要使用此策略生成空集的新子句的数量相当大，但我相信，如果有足够的时间，程序可以找到空集。
问题是，每当我尝试使用这些输入加载程序时，浏览器会自动停止在生成的第70-80个子句之间的某个位置加载页面。
是否有解决方法可以让我完整加载程序并获得最终结果？
非常感谢任何人对此事的帮助。我真的不想将程序重写为非cgi程序，但看起来这可能是我唯一的选择。