z3py：为什么重命名变量后检查时间变化如此之大？

Question

我观察到，在我定义的变量名称中删除了“ - ”之后，我在z3py中编写的逻辑公式的检查时间发生了很大的变化（从大约60秒到大约30％，大约50％）。

如，

vec = IntVector('vec-1',10)

到

vec = IntVector('vec1',10)

这是预期的吗？如果是这样，为什么？