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}119992
p11.schwarz(b145.schwarz)int in {0,1}119992
p12.schwarz(a127.schwarz)int in {0,1}179992
p13.schwarz(a169.schwarz)int in {0,1}119991
p14.schwarz(a95.schwarz)int in {0,1}189984
p15.schwarz(a100.schwarz)int in {0,1}1279921
p16.schwarz(a132.schwarz)int in {0,1}189987
p17.schwarz(a105.schwarz)int in {0,1}1299922
p18.schwarz(a137.schwarz)int in {0,1}219988
p19.schwarz(a84.schwarz)int in {0,1}399983
p20.schwarz(a110.schwarz)int in {0,1}1309923
p21.schwarz(a142.schwarz)int in {0,1}229989
p22.schwarz(a89.schwarz)int in {0,1}389982
p23.schwarz(a115.schwarz)int in {0,1}1319924
p24.schwarz(a147.schwarz)int in {0,1}239990

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