标签： python smt
我一直在研究使用SMT-LIB格式的位向量的模型生成问题。我想知道我的程序的执行时间。 我只能在论文中找到以下陈述 **＆＃34; http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r2015-06-28.pdf＆＃34; **
一些常用的统计数据（例如，解算器的命题推理引擎的重启次数）很难精确而一般地定义，而其他人的确切语义，如时间和记忆 用法，尚未得到SMT社区的同意。
程序执行时间的SMT语法是什么？