title: different run time for the same code in Z3
body: <p>I used fixedpoint of z3, and I found that the running time of the fixedpoint is always different. Have you meet the same problem? why does this happen?</p>