properties

Represents the Reachability Analysis Run properties.