Number of processors:		(A positive integer)
Maximum faults:		(A non-negative integer)
Max clock deviation:		(A non-negative integer)
Point to point delay:		(A positive integer)
Simulation time:		(A positive integer)
Max messages:		(A positive integer)

User Manual
Source Code
Report