如何在Z3 3.2中获取统计信息？

(get-info statistics)

获得Z3运行的统计数据。使用Z3 3.2我得到

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

针对上述情况，并

(get-info :statistics)

Z3与

unsupported

什么是获得统计数据（比/ ST命令 - 其他的新的方式回复线选项）？

虽然我们在这个参数： INI options page列出

(set-option :STATISTICS true)

为一个有效的选择，但Z3 3.2再次

unsupported

(get-info :all-statistics)

回答应该做的伎俩。

2012-01-09 10:01:58 pad

的确如此，谢谢！它在文档中的某处提到过吗？ – 2012-01-09 10:06:04

我在http://rise4fun.com/samples浏览Z3的示例时看到了它（请参阅我的更新）。 – pad 2012-01-09 10:09:02

是否有可能获得特定统计信息的方式，例如“冲突”还是“量化实例化”？ – 2012-01-09 10:13:19

回答