title: Z3 benchmark Windows vs Linux
body: <p>Is there any trustful benchmark regarding the Z3 performance in Linux vs Windows?</p>
  
  <p>I know that Z3 is a Microsoft product but it is open source and Linux compatible.</p>
  
  <p>Regards</p>