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: Join22(p2)

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
system_fail33(sv33)int in {0,1}189818499

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: Rep23(p3)

This process does not contain any state variables.
Process contains no variables, so progress cannot be measured!

Process: Join14(p4)

This process does not contain any state variables.
Process contains no variables, so progress cannot be measured!

Process: Rep15(p5)

This process does not contain any state variables.
Process contains no variables, so progress cannot be measured!

Process: disks6(p6)

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
disks_working1(sv1)int in {3,4}119964
disks_failed2(sv2)int in {0,1}119964

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: disks7(p7)

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
disks_working4(sv4)int in {2,...,4}719954
disks_failed5(sv5)int in {0,...,2}719954

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: disks8(p8)

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
disks_working7(sv7)int in {2,...,4}319948
disks_failed8(sv8)int in {0,...,2}319948

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: controllers9(p9)

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
controllers_working11(sv11)int in {1,2}5719966
controllers_failed13(sv13)int in {0,1}5719966

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: Join110(p10)

This process does not contain any state variables.
Process contains no variables, so progress cannot be measured!

Process: Rep111(p11)

This process does not contain any state variables.
Process contains no variables, so progress cannot be measured!

Process: disks12(p12)

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
disks_working15(sv15)int in {3,4}1319962
disks_failed16(sv16)int in {0,1}1319962

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: disks13(p13)

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
disks_working18(sv18)int in {2,...,4}1119974
disks_failed19(sv19)int in {0,...,2}1119974

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: disks14(p14)

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
disks_working21(sv21)int in {3,4}919972
disks_failed22(sv22)int in {0,1}919972

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: controllers15(p15)

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
controllers_working25(sv25)int in {0,...,2}1719970
controllers_failed27(sv27)int in {0,...,2}1719970

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: processors16(p16)

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
processors_working30(sv30)int in {1,2}2119896
processors_failed31(sv31)int in {0,1}2119896

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.