65
Datasets
16645
Feature models
202
Authors
23518
Dataset views
6115
Downloads
256.08
Avg models/dataset
Datasets uploaded per month (last 12 months)
Datasets with most feature models
| Dataset | Models |
|---|---|
| LLM-generated UVL feature models (UVL_LLM_Guided_G… | 15002 |
| Complete SPLOT dataset (more than 1000 models) | 1291 |
| CDL | 116 |
| Restaurant domain | 53 |
| Operating Systems (BusyBox) | 37 |
Most recently uploaded datasets
| Dataset | Date |
|---|---|
| LLM-generated UVL feature models (UVL_LLM_Guided_G… | 16 Oct 2026 |
| cms_spl | 11 Oct 2026 |
| openwiki_spl | 11 Oct 2026 |
| marketplace_spl | 10 Oct 2026 |
| marketplace_spl | 10 Oct 2026 |
Datasets by publication type
| Type | Count |
|---|---|
| Conference Paper | 25 |
| Other | 7 |
| Software Documentation | 7 |
| Journal Article | 5 |
| Book | 1 |
| Working Paper | 1 |
Most viewed datasets
| Dataset | Views |
|---|---|
| Complete SPLOT dataset (more than 1000 models) | 3994 |
| CDL | 2116 |
| Operating Systems (BusyBox) | 1876 |
| Financial Services (Financial Services 01) | 1840 |
| Smartwatch SPL of Xiaomi Mi Band | 1828 |
Best rated datasets
| Dataset | Score |
|---|---|
| An Instrument for Measuring Variability Thinking | +1 |
Worst rated datasets
| Dataset | Score |
|---|---|
| An Instrument for Measuring Variability Thinking | +1 |
Downloads and views per month (last 12 months)
Corpus characterisation
Materialised from fact labels — 2933 of 3070 hubfiles (95.54%)16706
Hubfiles total
3070
With fact label
2933
Metrics extracted
0
Errored
95.54
Coverage %
97.92
Satisfiable %
Satisfiability
Satisfiable: 2872
· Unsatisfiable: 61
· Unknown: 0
Constraint types (corpus-wide)
Group types (corpus-wide)
Statistical summary (per feature model)
Features
| n | 2933 |
| min | 1.0 |
| Q1 | 13.0 |
| median | 19.0 |
| Q3 | 43.0 |
| p90 | 118.0 |
| max | 329.0 |
| mean | 38.827 |
| stddev | 43.832 |
Cross-tree constraints
| n | 2933 |
| min | 0.0 |
| Q1 | 0.0 |
| median | 2.0 |
| Q3 | 5.0 |
| p90 | 13.0 |
| max | 246.0 |
| mean | 5.577 |
| stddev | 14.423 |
Tree depth
| n | 2933 |
| min | 0.0 |
| Q1 | 2.0 |
| median | 3.0 |
| Q3 | 4.0 |
| p90 | 5.0 |
| max | 19.0 |
| mean | 3.083 |
| stddev | 1.261 |
Branching factor
| n | 2933 |
| min | 0.0 |
| Q1 | 2.53 |
| median | 3.0 |
| Q3 | 3.62 |
| p90 | 4.38 |
| max | 59.0 |
| mean | 3.387 |
| stddev | 2.258 |
Configurations (exact only)
| n | 1924 |
| min | 0.0 |
| Q1 | 30.0 |
| median | 98.0 |
| Q3 | 2048.0 |
| p90 | 3595000.0 |
| max | 1.27e+30 |
| mean | 6.678062969683112e+26 |
| stddev | 2.89541420109509e+28 |
Feature classification (sum across corpus)
| Type | Count |
|---|---|
| Core | 29164 |
| Dead | 2779 |
| False-optional | 2350 |
| Variant | 81451 |
| Pure-optional | 6416 |