Section 1: Variables

In this section, we describe characteristics of individual variables. The set of variables is partitioned with respect to the processes they belong to.

Process: Link (0-1)(0L1)

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
The state of the link from node 0 to node 1(0L1_state)int = 1 Variable is constant!

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

Process: Link (1-2)(1L2)

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
The state of the link from node 1 to node 2(1L2_state)int = 1 Variable is constant!

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

Process: Link (2-3)(2L3)

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
The state of the link from node 2 to node 3(2L3_state)int = 1 Variable is constant!

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

Process: Link (3-4)(3L4)

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
The state of the link from node 3 to node 4(3L4_state)int = 1 Variable is constant!

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

Process: Link (4-5)(4L5)

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
The state of the link from node 4 to node 5(4L5_state)int = 1 Variable is constant!

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

Process: Link (5-6)(5L6)

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
The state of the link from node 5 to node 6(5L6_state)int = 1 Variable is constant!

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

Process: Link (6-0)(6L0)

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
The state of the link from node 6 to node 0(6L0_state)int = 1 Variable is constant!

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

Process: Node 4(4)(4)

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
State of node 4(node4_state)int = 1 Variable is constant!
Number of packets dropped by node 4(node4_dropped)int = 0 Variable is constant!
Number of packets received by node 4(node4_received)int in {0,...,8}84255 Variable is monotonously non-decreasing! Deadlocked? Constant towards end of trace (74.50% of all events).
Number of packets sent by node 4(node4_sent)int in {0,...,6}87238 Variable is monotonously non-decreasing! Deadlocked? Constant towards end of trace (76.20% 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

Process: Node 0(0)(0)

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
State of node 0(node0_state)int = 1 Variable is constant!
Number of packets dropped by node 0(node0_dropped)int = 0 Variable is constant!
Number of packets received by node 0(node0_received)int in {0,...,11}41247 Variable is monotonously non-decreasing! Deadlocked? Constant towards end of trace (75.30% of all events).
Number of packets sent by node 0(node0_sent)int in {0,...,75}3991 Variable is monotonously non-decreasing!

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

Process: Node 5(5)(5)

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
State of node 5(node5_state)int = 1 Variable is constant!
Number of packets dropped by node 5(node5_dropped)int = 0 Variable is constant!
Number of packets received by node 5(node5_received)int in {0,...,9}58240 Variable is monotonously non-decreasing! Deadlocked? Constant towards end of trace (76.00% of all events).
Number of packets sent by node 5(node5_sent)int in {0,...,6}61254 Variable is monotonously non-decreasing! Deadlocked? Constant towards end of trace (74.60% 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

Process: Node 1(1)(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
State of node 1(node1_state)int = 1 Variable is constant!
Number of packets dropped by node 1(node1_dropped)int = 0 Variable is constant!
Number of packets received by node 1(node1_received)int in {0,...,73}13997 Variable is monotonously non-decreasing!
Number of packets sent by node 1(node1_sent)int in {0,...,73}161000 Variable is monotonously non-decreasing!

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

Process: Node 6(6)(6)

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
State of node 6(node6_state)int = 1 Variable is constant!
Number of packets dropped by node 6(node6_dropped)int = 0 Variable is constant!
Number of packets received by node 6(node6_received)int in {0,...,8}20256 Variable is monotonously non-decreasing! Deadlocked? Constant towards end of trace (74.40% of all events).
Number of packets sent by node 6(node6_sent)int in {0,...,12}23230 Variable is monotonously non-decreasing! Deadlocked? Constant towards end of trace (77.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

Process: Node 2(2)(2)

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
State of node 2(node2_state)int = 1 Variable is constant!
Number of packets dropped by node 2(node2_dropped)int = 0 Variable is constant!
Number of packets received by node 2(node2_received)int in {0,...,70}48993 Variable is monotonously non-decreasing!
Number of packets sent by node 2(node2_sent)int in {0,...,70}9996 Variable is monotonously non-decreasing!

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

Process: Node 3(3)(3)

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
State of node 3(node3_state)int = 1 Variable is constant!
Number of packets dropped by node 3(node3_dropped)int = 0 Variable is constant!
Number of packets received by node 3(node3_received)int in {0,...,65}34992 Variable is monotonously non-decreasing!
Number of packets sent by node 3(node3_sent)int in {0,...,10}37192 Variable is monotonously non-decreasing! Deadlocked? Constant towards end of trace (80.80% 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

Global Variables

The trace does not contain any global variables.