Trace Analysis Results for Variable C1WaitsForServer(C1WaitsForServer)
This text provides more details for variable C1WaitsForServer(C1WaitsForServer).
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,...,2}
Number of value assignments (excluding identity): 1466
Total number of values (=#states) considered for statistics: 5474
Arithmetic Mean: 0.52795
Geometric Mean: 0.00000
Standard Deviation: 0.62212
Variance: 0.38703
Kurtosis: -0.42955
Skewness: 0.75268
Sequence of Values
The variable is modified for the first time at event: 2.
The variable is modified the last time at event: 5473.
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
- Type 8: Action C2RestartIfFailed(8) occurs only once, linear state transformation for C1WaitsForServer(C1WaitsForServer) is possible but fitting is based on not enough data to be uniquely determined.
- Type 11: Variable C1WaitsForServer(C1WaitsForServer) is not element of any variable invariant computed for the linear state transformations performed by the actions of this trace.
- Type 14: Action C1StopThinking(17) of process UserC1(UserC1) accesses variable C1WaitsForServer(C1WaitsForServer) of process FullModel(FullModel)