Parallel processing Z3的并行版本是否适用于BV逻辑？

我无法在Windows7上使用并行Z3 3.2（来自bin_mt或x64_mt目录）和

PAR_NUM_THREADS=2

的处理器的两个内核。与单线程版本相同的50%，没有时间差

---

这些逻辑支持并行版本还是只与QF_IDL一起工作？

错误地说，Z3.2中没有包括并行执行。这就是为什么Z3在设置

PAR_NUM_THREADS=2

时仍按顺序运行。Z3团队已经纠正了这个错误，所以并行功能将在下一版本中可用

编辑：

---

正如@Leo在评论中提到的，并行功能现在计划用于Z3 4.1。

不幸的是，计划更改了，此功能将在下一个版本中重新发布：-（下一个版本将是Z3 4.0。并行执行支持现在计划用于4.1版。对此表示抱歉。