This benchmark suite contains benchmark instances of the tank network
benchmark with stratified controllers in the SpaceEx format. For every
benchmark instance we provide its model description in SX format, an
approriate configuration file and a run script to plot the results on your
machine.
The benchmarks also include a corresponding benchdef file. Thus, it is possible
to generate the SpaceEx model files with our benchmark generator.

The example 1 from our website
(http://swt.informatik.uni-freiburg.de/tool/spaceex/benchgen) can be found in
samples/example1-website/*.

To fully take advantage of the run scripts, you need the following tools
installed on your system:
 - spaceex (with the executable sspaceex in your path: http://spaceex.imag.fr)
 - graph   (as part of plotutils:  http://www.gnu.org/software/plotutils/)
 - ps2eps  (http://www.tm.uka.de/~bless/ps2eps)
 - ps2pdf  (as part of ghostscript-gpl: http://www.ghostscript.com/)

You can view and edit the SpaceEx model files (the XML files we provide) using
the SpaceEx Model Editor (available via the SpaceEx homepage mentioned
above).
