Python Picosat SAT解算器：设置传播限制——但值是多少？

从API：

/* As alternative to a decision limit you can use the number of propagations
 * as limit.  This is more linearly related to execution time. This has to
 * be called after 'picosat_init' and before 'picosat_sat'.
 */
void picosat_set_propagation_limit (PicoSAT *, unsigned long long limit);

我查阅了文件，但找不到任何细节。我应该选择什么价值？还有比随机测试更好的猜测吗？后者可能需要几天时间，因为我一次运行的执行时间长达24小时

实际上，我使用“pycosat”作为picosat的python绑定

---

PS：有人可以添加“picosat”标记吗？

参数传播限制是结果模型的最大大小，对我来说，它与磁盘大小相关（1 MB文本文件中有100万个结果）。

我当前的方法是在一小时内找到一个有解决方案的值，然后设置传播限制*5然后*10然后*100，*500等，并在Parralel中运行所有这些。