Z3 4.4.2-x86 + ACIDE 0.17 Windows 32bit
 Z3 4.4.2-x64 + ACIDE 0.17 Windows 64bit

 Z3 4.4.2-x86 + ACIDE 0.17 Ubuntu 14.04 32bit

 Z3 4.4.2-x64 + ACIDE 0.17 Ubuntu 14.04 64bit

 Z3 4.4.2 + ACIDE 0.17 Mac OS X
   (tested on Mavericks and El Capitan)