1
Datasets
1
Feature models
1
Authors
8
Dataset views
0
Downloads
1.0
Avg models/dataset
Datasets uploaded per month (last 12 months)
Datasets with most feature models
| Dataset | Models |
|---|---|
| PRUEBA | 1 |
Most recently uploaded datasets
| Dataset | Date |
|---|---|
| PRUEBA | 22 Jul 2026 |
Datasets by publication type
No data available.
Most viewed datasets
| Dataset | Views |
|---|---|
| PRUEBA | 8 |
Downloads and views per month (last 12 months)
Corpus characterisation
Materialised from fact labels — 1 of 1 hubfiles (100.0%)1
Hubfiles total
1
With fact label
1
Metrics extracted
0
Errored
100.0
Coverage %
100.0
Satisfiable %
Satisfiability
Satisfiable: 1
· Unsatisfiable: 0
· Unknown: 0
Constraint types (corpus-wide)
Group types (corpus-wide)
Statistical summary (per feature model)
Features
| n | 1 |
| min | 32.0 |
| Q1 | 32.0 |
| median | 32.0 |
| Q3 | 32.0 |
| p90 | 32.0 |
| max | 32.0 |
| mean | 32.0 |
| stddev | 0.0 |
Cross-tree constraints
| n | 1 |
| min | 0.0 |
| Q1 | 0.0 |
| median | 0.0 |
| Q3 | 0.0 |
| p90 | 0.0 |
| max | 0.0 |
| mean | 0.0 |
| stddev | 0.0 |
Tree depth
| n | 1 |
| min | 4.0 |
| Q1 | 4.0 |
| median | 4.0 |
| Q3 | 4.0 |
| p90 | 4.0 |
| max | 4.0 |
| mean | 4.0 |
| stddev | 0.0 |
Branching factor
| n | 1 |
| min | 2.58 |
| Q1 | 2.58 |
| median | 2.58 |
| Q3 | 2.58 |
| p90 | 2.58 |
| max | 2.58 |
| mean | 2.58 |
| stddev | 0.0 |
Configurations (exact only)
| n | 1 |
| min | 432.0 |
| Q1 | 432.0 |
| median | 432.0 |
| Q3 | 432.0 |
| p90 | 432.0 |
| max | 432.0 |
| mean | 432.0 |
| stddev | 0.0 |
Feature classification (sum across corpus)
| Type | Count |
|---|---|
| Core | 16 |
| Dead | 0 |
| False-optional | 0 |
| Variant | 16 |
| Pure-optional | 7 |
Features per model (log buckets)
Cross-tree constraints per model (log buckets)
Tree depth distribution
Number of configurations (log buckets, exact only)
Largest models (features)
| Dataset | Features |
|---|---|
| PRUEBA · propeller.uvl | 32 |
Most constrained models
| Dataset | CTCs |
|---|---|
| PRUEBA · propeller.uvl | 0 |
Most configurations
| Dataset | Configs |
|---|---|
| PRUEBA · propeller.uvl | 432 |