Z3 触发理论求解器的运行时间

我想触发理论解算器的运行时间，看看每次理论检查需要多少时间。有人知道我需要查看哪个文件和哪个变量吗？我不知道统计方法是否有这个选项

根据“预计这是不寻常的，因为不清楚到底应该和不应该计算什么。”

对于Z3的SAT求解器的特殊情况，在特定的C++子文件（<代码> SMTTValue.CPP < /代码>）中提到了属于这个特定子求解器的Z3的源的几种方法（例如：代码> BCPE（）/代码>和代码> > DEDEDATE（）/代码>）。