Attributes:

KKKK (node-wise),

EEEE (element-wise)

The KKKK (for nodes) or EEEE (for elements) attributes can be assigned any data for display purposes, for linking different datasets or calculation results, or other operations. This data is also written to the background files, i.e. it is recorded during the execution of the model checking module.