Make sure this directory is not on a network drive.

Install Z3 to its default location
C:\Program Files (x86)\Microsoft Research\Z3-3.3\bin
by running z3-3.3.msi.

To run GPUVerify on the benchmarks:
Run setpath.cmd and then enter the following:
cd Benchmarks
run_benchmarks.cmd

