This is the archive of all our experiments for our paper submitted in
FME 2016. To run these examples, please download all three tools from
following addresses:

Latest CIVL:    https://vsl.cis.udel.edu/lib/sw/civl/current/latest/release/
CIVL v1.7.1     https://vsl.cis.udel.edu/civl/1.7.1
MPISpin:        http://vsl.cis.udel.edu/lib/downloads/mpi-spin.tgz
Latest TASS:    https://vsl.cis.udel.edu/lib/sw/tass/current/latest/release/
TASS v1.2       http://vsl.cis.udel.edu/lib/sw/tass/1.2/latest/release/index.html

After install all three tools, one can use Makefiles to re-run all
experiments.  If one has any question for how to run the experiments
or installation of tools, please contract ziqing@udel.edu or
civl-dev@googlegroups.com

Ziqing Luo
University of Delaware