1

对于 Z3 2.x,我使用了 SMTLib2 命令

(get-info statistics)

获取 Z3 运行的统计信息。使用 Z3 3.2 我得到

(error "line _ column _: invalid command argument, keyword expected")

对于上述情况,以及

(get-info :statistics)

Z3 回复

unsupported

获取统计信息的新方法是什么(除了 /st 命令行选项)?


当我们在这里时:INI 选项页面列表

(set-option :STATISTICS true)

作为一个有效的选项,但 Z3 3.2 再次回复

unsupported
4

1 回答 1

2
(get-info :all-statistics)

应该做的伎俩。

官方示例:http ://rise4fun.com/Z3/doc_examples

于 2012-01-09T10:01:58.260 回答