Trace Analysis Results for Action t6.unnamed(a55.unnamed)

This text provides more details for action t6.unnamed(a55.unnamed).
Action is of type: undirected interaction, may change variables of several processes.
Action t6.unnamed(a55.unnamed) occurs 3 times, which accounts for 3.00 % of all events.
On average an action occurs 2.94 times, so this action is above average.
Action occurs at position 8 for the first time, at position 75 for the last time.
Note that the action is not(!) present in the last 25 events, which is 25.00% of all events. May be it becomes rare or even dead?
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.

Variable	Enabling Range	State Transformation	Remarks
p10.schwarz(a68.schwarz)	= 0	v'=v+1
p11.schwarz(a111.schwarz)	= 1	v'=v-1
p12.schwarz(a127.schwarz)	= 0	not modified
p13.schwarz(a169.schwarz)	= 1	v'=v-1
p14.schwarz(a95.schwarz)	in {0,1}	not modified	Action occurs at full range of values!
p15.schwarz(a100.schwarz)	= 0	not modified
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)	in {0,1}	not modified	Action occurs at full range of values!
p1.schwarz(a9.schwarz)	in {0,1}	not modified	Action occurs at full range of values!
p2.schwarz(a11.schwarz)	in {0,1}	not modified	Action occurs at full range of values!
p3.schwarz(a16.schwarz)	= 0	not modified
p4.schwarz(a18.schwarz)	= 1	not modified
p5.schwarz(a31.schwarz)	= 0	not modified
p6.schwarz(a33.schwarz)	in {0,1}	not modified	Action occurs at full range of values!
p7.schwarz(a38.schwarz)	in {0,1}	not modified	Action occurs at full range of values!
p8.schwarz(a51.schwarz)	= 0	v'=v+1
p9.schwarz(a49.schwarz)	= 1	v'=v-1

List of Warnings

Type 16: Action t6.unnamed(a55.unnamed) may deadlock, because it occurs the last time at event 75 and is not seen for the remaining 25.00 percent of the trace.