Trace Analysis Results for Action t33.unnamed(a202.unnamed)

This text provides more details for action t33.unnamed(a202.unnamed).
Action is of type: local, supposed to change variables of a single process only.
Action t33.unnamed(a202.unnamed) occurs 2 times, which accounts for 2.00 % of all events.
On average an action occurs 2.94 times, so this action is below average.
Action occurs at position 70 for the first time, at position 93 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
p35.schwarz(a172.schwarz) = 0 not modified
p36.schwarz(a174.schwarz) = 1 not modified
p37.schwarz(a179.schwarz) = 0 not modified
p38.schwarz(b181.schwarz) = 1 not modified
p39.schwarz(b186.schwarz) = 0 not modified
p40.schwarz(b191.schwarz) = 1 not modified
p41.schwarz(b193.schwarz) = 0 not modified
p42.schwarz(a198.schwarz) = 1 v'=v-1
p43.schwarz(a200.schwarz) = 0 v'=v+1
p44.schwarz(a205.schwarz) = 0 v'=v+1
p45.schwarz(a207.schwarz) = 1 v'=v-1

List of Warnings

There are no specific warnings for this action.