标签： sat
我正在使用Sugar（基于SAT的约束求解器）来运行实验，对于每个新实验，我都会增加Sugar文件的大小，这意味着CPU和内存使用率的百分比应该增加。但是，对于没有意义的较大文件，CPU百分比较低，有人可以帮我解释这种现象吗？ 图像中显示了Sugar的规格以及用于运行实验的服务器。 machne specifications used in expirement
