【发布时间】：2012-03-14 11:04:18
【问题描述】：
我无法在 Windows7 上使用带有 PAR_NUM_THREADS=2 的并行 Z3 3.2（来自 bin_mt 或 x64_mt 目录）处理器的两个内核。与单线程版本相同的 50% 且没有时间差异。
这些逻辑是否支持并行版本，还是仅适用于 QF_IDL？
【问题讨论】：
【发布时间】：2012-03-14 11:04:18
【问题描述】：
错误地，Z3 3.2 中没有包含并行执行。这就是设置PAR_NUM_THREADS=2 时Z3 仍按顺序运行的原因。 Z3 团队已纠正错误，因此下一个版本将提供并行功能。
编辑：
正如@Leo 在评论中提到的，现在计划在 Z3 4.1 中使用并行功能。
【讨论】：
-
不幸的是，计划改变了，这个功能将在下一个版本中重新出现:-(下一个版本将是 Z3 4.0。现在计划在 4.1 版本中支持并行执行。抱歉那个。