45
Datasets
1624
Feature models
170
Authors
13681
Dataset views
5637
Downloads
36.09
Avg models/dataset
Datasets uploaded per month (last 12 months)
Datasets with most feature models
| Dataset | Models |
|---|---|
| Complete SPLOT dataset (more than 1000 models) | 1291 |
| CDL | 116 |
| Restaurant domain | 53 |
| Operating Systems (BusyBox) | 37 |
| Smartwatch SPL of Xiaomi Mi Band | 27 |
Most recently uploaded datasets
| Dataset | Date |
|---|---|
| Towards a SPL applied to Drone Propellers | 12 May 2026 |
| Mobile App SPLs (USJ 2025/2026) | 29 Apr 2026 |
| Mobile App SPLs (USJ 2024/2025) | 29 Apr 2026 |
| The Kubernetes variability model (automatically sy… | 07 Apr 2026 |
| Sample SPLENT app | 25 Mar 2026 |
Datasets by publication type
| Type | Count |
|---|---|
| Conference Paper | 25 |
| Other | 7 |
| Journal Article | 5 |
| Software Documentation | 3 |
| Book | 1 |
| Working Paper | 1 |
Most viewed datasets
| Dataset | Views |
|---|---|
| Complete SPLOT dataset (more than 1000 models) | 3025 |
| CDL | 1430 |
| Financial Services (Financial Services 01) | 1280 |
| Smartwatch SPL of Xiaomi Mi Band | 1222 |
| Operating Systems (BusyBox) | 1196 |
Downloads and views per month (last 12 months)
Corpus characterisation
Materialised from fact labels — 1403 of 1403 hubfiles (100.0%)1636
Hubfiles total
1403
With fact label
1403
Metrics extracted
0
Errored
100.0
Coverage %
99.22
Satisfiable %
Satisfiability
Satisfiable: 1392
· Unsatisfiable: 11
· Unknown: 0
Constraint types (corpus-wide)
Group types (corpus-wide)
Statistical summary (per feature model)
Features
| n | 1403 |
| min | 3.0 |
| Q1 | 14.0 |
| median | 22.0 |
| Q3 | 37.0 |
| p90 | 51.0 |
| max | 329.0 |
| mean | 30.001 |
| stddev | 28.855 |
Cross-tree constraints
| n | 1403 |
| min | 0.0 |
| Q1 | 0.0 |
| median | 0.0 |
| Q3 | 3.0 |
| p90 | 9.0 |
| max | 246.0 |
| mean | 3.437 |
| stddev | 11.863 |
Tree depth
| n | 1403 |
| min | 1.0 |
| Q1 | 2.0 |
| median | 3.0 |
| Q3 | 4.0 |
| p90 | 5.0 |
| max | 19.0 |
| mean | 3.22 |
| stddev | 1.435 |
Branching factor
| n | 1403 |
| min | 1.12 |
| Q1 | 2.5 |
| median | 3.0 |
| Q3 | 3.67 |
| p90 | 4.812 |
| max | 59.0 |
| mean | 3.622 |
| stddev | 3.052 |
Configurations (exact only)
| n | 772 |
| min | 1.0 |
| Q1 | 24.0 |
| median | 168.0 |
| Q3 | 6470.0 |
| p90 | 5841000.0 |
| max | 1.27e+30 |
| mean | 1.6469404158423074e+27 |
| stddev | 4.570825247023883e+28 |
Feature classification (sum across corpus)
| Type | Count |
|---|---|
| Core | 12090 |
| Dead | 707 |
| False-optional | 903 |
| Variant | 28551 |
| Pure-optional | 34 |