investigating OOPSLA benchmarks further

[IRC.git] / Robust / src / Benchmarks / mlp / directto / README.txt

The DirectTo benchmark reads in a text file to build a list of
messages for tracking and routing aircraft without conflicts.