This folder is organized as follows:

./README: this file
./CIVL: the binary distributions for CIVL and instructions
for installing CIVL.
./CIVL_src: the source code for CIVL.
./examples: the examples supporting this submission

To run the experiments, follow the instructions below:

1. Follow the instructions in ./CIVL/README to install CIVL (for most users, 
this will be the easiest way to install and use CIVL.);
2. If you want to build CIVL from source, you may follow the instructions
in ./CIVL_src/README.
3. Go to ./examples, and run "make" from there, which will trigger 
CIVL to verify the examples there. The file ./examples/results.txt is 
the output from running make.  The files derivativeResults.txt, 
secondDerivativeResults.txt, laplace3RowsResults.txt, and diffusionResults.txt 
give the results of scaling experiments performed on these examples.  