Trace Analysis Results for Action t28.unnamed(b139.unnamed)

This text provides more details for action t28.unnamed(b139.unnamed).
Action is of type: undirected interaction, may change variables of several processes.
Action t28.unnamed(b139.unnamed) occurs 263 times, which accounts for 2.63 % of all events.
On average an action occurs 294.12 times, so this action is below average.
Action occurs at position 32 for the first time, at position 10000 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
p25.schwarz(b72.schwarz) = 0 not modified
p26.schwarz(b74.schwarz) = 0 not modified
p27.schwarz(b76.schwarz) = 0 not modified
p28.schwarz(b78.schwarz) = 0 not modified
p29.schwarz(b91.schwarz) = 0 not modified
p30.schwarz(a108.schwarz) = 0 not modified
p31.schwarz(a96.schwarz) = 0 not modified
p32.schwarz(a113.schwarz) = 1 not modified
p33.schwarz(a146.schwarz) = 0 v'=v+1
p34.schwarz(a101.schwarz) = 1 v'=v-1
p35.schwarz(a172.schwarz) = 0 v'=v+1
p36.schwarz(a174.schwarz) = 1 v'=v-1
p37.schwarz(a179.schwarz) = 0 not modified
p38.schwarz(b181.schwarz) = 1 not modified
p39.schwarz(b186.schwarz) in {0,1} not modified Action occurs at full range of values!
p40.schwarz(b191.schwarz) in {0,1} not modified Action occurs at full range of values!
p41.schwarz(b193.schwarz) = 0 not modified
p42.schwarz(a198.schwarz) in {0,1} not modified Action occurs at full range of values!
p43.schwarz(a200.schwarz) in {0,1} not modified Action occurs at full range of values!
p44.schwarz(a205.schwarz) in {0,1} not modified Action occurs at full range of values!
p45.schwarz(a207.schwarz) in {0,1} not modified Action occurs at full range of values!

List of Warnings

There are no specific warnings for this action.