z3的运行时间，或者DPLL(T)算法的运行时间，是否可以估算？即使是最坏的情况
Is it possible to estimate the running time of z3, or the running time of DPLL(T) algorithm? Even the worst case
我正在研究可视化 Microsoft z3 的原型。不知z3或算法的运行时间是否可以估算？如果我能得到最坏情况 运行 的时间，那就太好了。
另外，在z3中，有什么方法可以通过理论求解器获取每个检查过程的运行时间？
感谢您的回答。
一般情况下是不可能的。 SAT是NP完全问题，SMT至少和SAT一样难
我正在研究可视化 Microsoft z3 的原型。不知z3或算法的运行时间是否可以估算？如果我能得到最坏情况 运行 的时间，那就太好了。
另外，在z3中，有什么方法可以通过理论求解器获取每个检查过程的运行时间？
感谢您的回答。
一般情况下是不可能的。 SAT是NP完全问题，SMT至少和SAT一样难