Забелязах, че времето за проверка на моите логически формули, написани в z3py, се промени много (от ~60s на ~30s, около 50%), след като премахнах "-" в имената на променливите, които дефинирах.
E.g.,
vec = IntVector('vec-1',10)
to
vec = IntVector('vec1',10)
Това нещо очаквано ли е? Ако да защо?