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

Question

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

Answer 1

根据this answer，Christoph Wintersteiger＆＃34;期望[s]这是非常重要的，因为它不清楚究竟应该和不应该计算什么。＆＃ 34;

对于Z3的SAT解算器的特殊情况，this answer Leonardo de Moura提到了特定C ++文件中的几种方法（例如bcp()和decide()）属于这个特定子解算器的Z3源的（smt_context.cpp）。