KConfig
Description
Translated from FeatureIDE.xml, original publication in https://doi.org/10.1145/3106237.3106252
Dataset fact label
What the fact labels of its 1 models say together.
| Models | 5 | |||
|---|---|---|---|---|
| Analysed | 1 | |||
| Waiting for analysis | 4 | |||
| UVL language | ||||
| Boolean | 1 | |||
| Size and structure | Least | Median | Most | Total |
|---|---|---|---|---|
| Features | 96 | 96 | 96 | 96 |
| Leaf features | 78 | 78 | 78 | 78 |
| Cross-tree constraints | 14 | 14 | 14 | 14 |
| Depth of the tree | 3 | 3 | 3 | |
| Groups | 5 | 5 | 5 | 5 |
| Analysis | |
|---|---|
| Satisfiable | 1 / 1 |
| With dead features | 1 |
| With false optional features | 1 |
| Configurations | 8.3 × 10¹¹ |
| Variability | |
| Homogeneity | 56.1 % |