Race-Analysis Benchmark
-----------------------

Scoot uses the modelchecker Cadence SMV and assumes that it can
be found from PATH. Cadence SMV can be downloaded from `www.kenncmil.com'.

The script 'script-time.sh' can be used to run the experiments for
a specific amount of clock cycles:

Example:
--------

% script-time.sh 10

The script creates directory `rc10' that contains the benchmark.

It builds then the following simulators:
- scoot_exhaustive_sim: simulator without support for partial order reduction
- scoot_exhaustive_sim.p: simulator with support for persistent sets
- scoot_exhaustive_sim.s: simulator with support for sleep sets
- scoot_exhaustive_sim.ps: simulator that combines sleep and persistent sets

Subsequently, the script runs the simulators and stores statistics in `time.log'.
The simulation last for 10 clock cycles.

