觸發理論求解器的運行時間

Question

我想觸發理論求解器的運行時間，看看每次理論檢查需要多少時間。有誰知道我需要看哪個文件和哪個變量？我不知道統計方法是否有這個選項。

Answer 1

根據this answer,Christoph Wintersteiger「期望這是非常平凡的，因爲不清楚究竟究竟應該計算什麼，不應該計算什麼。」

對於Z3的SAT解算器的特殊情況下，通過this answer提到Leonardo de Moura幾種方法（如bcp()和decide()）中的屬於該特定子求解器Z3的源的特定C++文件（smt_context.cpp）。