Skip to content

KConfig

UVL

axTLS.uvl

5.1 KB

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.

Download the JSON
Models
Models5
Analysed1
Waiting for analysis4
UVL language
Boolean1
Size and structure
Size and structureLeastMedianMostTotal
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
Analysis
Satisfiable1 / 1
With dead features1
With false optional features1
Configurations8.3 × 10¹¹
Variability
Homogeneity56.1 %