MiniZinc：无统计输出

Question

Minizinc documentation指出，可以通过添加以下格式的特殊行来将诊断统计信息打印到输出流中

%%%mzn-stat: <name>=<value>

其中<value>可以是许多诊断之一。但是，添加行

%%%mzn-stat: n_failures=failures

不更改输出。使用-s标志可输出部分可用统计信息，但不是全部，但仅使用gecode-Chuffed会打印数字列表，我只能假定这些数字对应于这些变量

运行问题时如何更好地控制统计信息的输出？他们非常依赖求解器的选择吗？

Answer 1

  

[统计数据] 是否非常依赖求解器的选择？

我认为这是显而易见的期望。

我不确定，但是我认为您误解了文档。代码：

%%%mzn-stat: <name>=<value>

应该由FlatZinc求解器作为输出打印，而不出现在FlatZinc输入模型中（显然它会被忽略，因为它以注释前缀{{ 1}}）。

---

documentation说：

  

FlatZinc解算器可以以标准格式输出统计信息，以便   可以通过脚本读取，例如，以便进行实验和   自动汇总结果。

请注意，使用 can 一词代替了必须。

  

如何在运行时更好地控制统计信息的输出   有问题吗？

1. 请参阅每个工具的文档（如果有），否则请尝试使用该工具或与作者联系。

2. 如果您发现其余大多数工具实际上都遵循该格式，则可以与作者联系并建议采用给定的格式。如果许多此类请求开始排队，迟早会有所作为。