4

I could not utilize both cores of the processor with parallel Z3 3.2 (from bin_mt or x64_mt directory) with PAR_NUM_THREADS=2 on Windows7. The same 50% and no time difference with single threaded version.

Is parallel version supported for these logics or it works with QF_IDL only?

Ayrat
  • 1,221
  • 1
  • 18
  • 36

1 Answers1

1

By mistake, parallel execution hasn't been included in Z3 3.2. That's why Z3 still runs sequentially when you set PAR_NUM_THREADS=2. Z3 team has corrected the mistake so parallel feature will be available in the next release.

EDIT:

As @Leo mentioned in the comment, parallel feature is now planned for Z3 4.1.

pad
  • 41,040
  • 7
  • 92
  • 166
  • 3
    Unfortunately, the plan changed, this feature will be back in the release following the next one :-( The next release will be Z3 4.0. The parallel execution support is now planned for version 4.1. Sorry about that. – Leonardo de Moura Mar 14 '12 at 15:43