Trace Analysis Results for Action t8.unnamed(a97.unnamed)

This text provides more details for action t8.unnamed(a97.unnamed).
Action is of type: local, supposed to change variables of a single process only.
Action t8.unnamed(a97.unnamed) occurs 241 times, which accounts for 2.41 % of all events.
On average an action occurs 294.12 times, so this action is below average.
Action occurs at position 127 for the first time, at position 9920 for the last time.
It never follows another action in zero time, there is always a non-zero delay observed before this action occurs.

Enabling Set and State Transformations

The following table shows for what value setting of variables the action occurs and what state transformation it performs.The table shows only those variables that belong to processes that the action corresponds to.
VariableEnabling RangeState TransformationRemarks
p10.schwarz(a68.schwarz) = 0 not modified
p11.schwarz(b145.schwarz) = 1 v'=v-1
p12.schwarz(a127.schwarz) = 1 v'=v Action performs identity function!
p13.schwarz(a169.schwarz) = 0 not modified
p14.schwarz(a95.schwarz) = 1 v'=v-1
p15.schwarz(a100.schwarz) = 0 v'=v+1
p16.schwarz(a132.schwarz) = 0 not modified
p17.schwarz(a105.schwarz) = 0 not modified
p18.schwarz(a137.schwarz) = 0 not modified
p19.schwarz(a84.schwarz) = 0 not modified
p20.schwarz(a110.schwarz) = 0 not modified
p21.schwarz(a142.schwarz) = 0 not modified
p22.schwarz(a89.schwarz) = 0 not modified
p23.schwarz(a115.schwarz) = 0 not modified
p24.schwarz(a147.schwarz) = 0 not modified

List of Warnings