This is an example for a benchmark submission to the workshop ARCH14.

The submission has two parts:
- an extended abstract of 3-6 pages, and
- (optionally) additional files describing the model, incl. model files for tools.

This archive contains both the extended abstract and additional files:
- benchmark_subm_example.pdf: Example for an extended abstract, to be used as template 
  and containing important guidelines.
- benchmark_subm_example.tex: Latex source of the example.
- bouncing_ball_spaceex.zip:  Additional files, here model files for the SpaceEx tool.

