Running the unstructued GPUVerify tool chain
============================================

Make sure this directory is not on a network drive.

Download Z3-4.1 from here:

ftp://ftp.research.microsoft.com/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/z3-4.1.msi

Install Z3 to its default location:

C:\Program Files (x86)\Microsoft Research\Z3-4.1\bin

by running z3-4.1.msi.

To run the structured GPUVerify tool chain on the benchmarks:

Run setpath.cmd and then enter the following:

cd Benchmarks
run_benchmarks.cmd
