Trace Analysis Results for Variable p1.schwarz(a9.schwarz)
This text provides more details for variable p1.schwarz(a9.schwarz).
Variable is of type: int
Variable is initialized: yes
Purpose of variable:
The variable describes a state variable, because it changes in value in the trace.
Distribution of Values
The following figure shows the distribution of values seen for this variable.
Characteristics of this set are:
Range: in {0,1}
Number of value assignments (excluding identity): 534
Total number of values (=#states) considered for statistics: 10001
Arithmetic Mean: 0.07469
Geometric Mean: 0.00000
Standard Deviation: 0.26291
Variance: 0.06912
Kurtosis: 8.47378
Skewness: 3.23606
Sequence of Values
The variable is modified for the first time at event: 1.
The variable is modified the last time at event: 9999.
It ends with a non-decreasing sequence starting at event 9973.
Note: an extended trailing sequence that is mononotonously growing for a variable that models a buffer can indicate a severe overload or partial deadlock situation.
The following figure shows the sequence of values seen in the trace. Note that the horizontal axis considers events and does not(!) reflect time stamps and durations.
State Transformation Functions
The following table shows which actions perform a state transformation to this variable.
List of Warnings
There are no specific warnings for this variable.