Trace Analysis Results for Variable p11.schwarz(b145.schwarz)

This text provides more details for variable p11.schwarz(b145.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): 3550
Total number of values (=#states) considered for statistics: 10001
Arithmetic Mean: 0.73693
Geometric Mean: 0.00000
Standard Deviation: 0.44032
Variance: 0.19389
Kurtosis: -0.84162
Skewness: -1.07636
Sorry, figure for the caption is missing

Sequence of Values

The variable is modified for the first time at event: 11.
The variable is modified the last time at event: 9992.
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.
Sorry, figure for the caption is missing

State Transformation Functions

The following table shows which actions perform a state transformation to this variable.

ActionOccurrencesState TransformationRemarks
t10.unnamed(a81.unnamed)503 v'=v+1
t11.unnamed(a102.unnamed)241 v'=v+1
t12.unnamed(a134.unnamed)263 v'=v+1
t13.unnamed(a107.unnamed)241 v'=v-1
t14.unnamed(a139.unnamed)263 v'=v-1
t15.unnamed(a86.unnamed)503 v'=v-1
t16.unnamed(a112.unnamed)241 v'=v+1
t17.unnamed(a144.unnamed)263 v'=v+1
t7.unnamed(a72.unnamed)264 v'=v+1
t8.unnamed(a97.unnamed)241 v'=v-1
t9.unnamed(a129.unnamed)263 v'=v-1
t6.unnamed(a55.unnamed)264 v'=v-1

List of Warnings

There are no specific warnings for this variable.