Process: Sender_transport_layer(1)

We start with a table that describes for each variable of this process, what type it has and what range of values have been observed. Possible types are integer, double and string. A range of values is provided only for variables of type integer or double. If a variable changes in value, the table gives the position of the two events that perform the first and last change in value. If no remarks are given, then the variable is properly initialized, it gets assigned a value by some action at least once and its values do not show a monotonic behavior (in case of numerical values).

Name(Identifier)TypeRange1st change at eventlast change at eventRemarks
p10.schwarz(a68.schwarz)int in {0,1}877 Deadlocked? Constant towards end of trace (23.00% of all events).
p11.schwarz(a111.schwarz)int in {0,1}8100
p12.schwarz(a127.schwarz)int in {0,1}1077 Deadlocked? Constant towards end of trace (23.00% of all events).
p13.schwarz(a169.schwarz)int in {0,1}875 Deadlocked? Constant towards end of trace (25.00% of all events).
p14.schwarz(a95.schwarz)int in {0,1}1298
p15.schwarz(a100.schwarz)int in {0,1}1299
p16.schwarz(a132.schwarz)int in {0,1}4471 Deadlocked? Constant towards end of trace (29.00% of all events).
p17.schwarz(a105.schwarz)int in {0,1}14100
p18.schwarz(a137.schwarz)int in {0,1}4572 Deadlocked? Constant towards end of trace (28.00% of all events).
p19.schwarz(a84.schwarz)int in {0,1}2997
p20.schwarz(a110.schwarz)int in {0,1}18100
p21.schwarz(a142.schwarz)int in {0,1}4673 Deadlocked? Constant towards end of trace (27.00% of all events).
p22.schwarz(a89.schwarz)int in {0,1}2896
p23.schwarz(a115.schwarz)int in {0,1}2136 Deadlocked? Constant towards end of trace (64.00% of all events).
p24.schwarz(a147.schwarz)int in {0,1}4776 Deadlocked? Constant towards end of trace (24.00% of all events).

The following graph shows the progress measure of the sequence, which is the length of the trace if cycles are removed:
Sorry, figure for the caption is missing