Trace Analysis Results for Action Node 5 up(node5_UP)

This text provides more details for action Node 5 up(node5_UP).
Action is of type: local, supposed to change variables of a single process only.
Action Node 5 up(node5_UP) occurs 0 times, which accounts for 0.00 % of all events.
On average an action occurs 10.20 times, so this action is below average.

List of Warnings

Type 5: Action Node 5 up(node5_UP) is declared, but does not occur in the trace.
Type 9: Action Node 5 up(node5_UP) is not present in any cycles observed in this trace.