Feature models used in the paper "Conflict-Guided Data Synthesis for Diagnosis Space Learning"
Description
Feature models used in the paper "Conflict-Guided Data Synthesis for Diagnosis Space Learning"
Dataset fact label
What the fact labels of its 3 models say together.
| Models | 7 | |||
|---|---|---|---|---|
| Analysed | 3 | |||
| Waiting for analysis | 4 | |||
| UVL language | ||||
| Boolean | 3 | |||
| Size and structure | Least | Median | Most | Total |
|---|---|---|---|---|
| Features | 14 | 65 | 179 | 258 |
| Leaf features | 9 | 48 | 124 | 181 |
| Cross-tree constraints | 2 | 9 | 34 | 45 |
| Depth of the tree | 2 | 5 | 7 | |
| Groups | 2 | 9 | 36 | 47 |
| Analysis | |
|---|---|
| Satisfiable | 3 / 3 |
| With dead features | 0 |
| With false optional features | 0 |
| Configurations | 80 … 3.3 × 10⁹ |
| Median | 1.6 × 10⁹ |
| Variability | |
| Total variability | 0.5 % |
| Homogeneity | 67.7 % |
