58
Datasets
1637
Feature models
193
Authors
20401
Dataset views
5961
Downloads
28.22
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 |
|---|---|
| cms_spl | 15 Aug 2026 |
| cms_spl | 13 Aug 2026 |
| cms_spl | 13 Aug 2026 |
| cms_spl | 13 Aug 2026 |
| openwiki_spl | 30 Jul 2026 |
Datasets by publication type
| Type | Count |
|---|---|
| Conference Paper | 25 |
| Other | 7 |
| Software Documentation | 5 |
| Journal Article | 5 |
| Book | 1 |
| Working Paper | 1 |
Most viewed datasets
| Dataset | Views |
|---|---|
| Complete SPLOT dataset (more than 1000 models) | 3776 |
| CDL | 1952 |
| Operating Systems (BusyBox) | 1707 |
| Financial Services (Financial Services 01) | 1675 |
| Smartwatch SPL of Xiaomi Mi Band | 1665 |
Downloads and views per month (last 12 months)
Corpus characterisation
Materialised from fact labels — 1418 of 1418 hubfiles (100.0%)1653
Hubfiles total
1418
With fact label
1418
Metrics extracted
0
Errored
100.0
Coverage %
99.22
Satisfiable %
Satisfiability
Satisfiable: 1407
· Unsatisfiable: 11
· Unknown: 0
Constraint types (corpus-wide)
Group types (corpus-wide)
Statistical summary (per feature model)
Features
| n | 1418 |
| min | 3.0 |
| Q1 | 14.0 |
| median | 22.0 |
| Q3 | 37.0 |
| p90 | 51.0 |
| max | 329.0 |
| mean | 29.913 |
| stddev | 28.739 |
Cross-tree constraints
| n | 1418 |
| min | 0.0 |
| Q1 | 0.0 |
| median | 0.0 |
| Q3 | 3.0 |
| p90 | 9.0 |
| max | 246.0 |
| mean | 3.501 |
| stddev | 11.843 |
Tree depth
| n | 1418 |
| min | 1.0 |
| Q1 | 2.0 |
| median | 3.0 |
| Q3 | 4.0 |
| p90 | 5.0 |
| max | 19.0 |
| mean | 3.207 |
| stddev | 1.435 |
Branching factor
| n | 1418 |
| min | 1.12 |
| Q1 | 2.5 |
| median | 3.0 |
| Q3 | 3.67 |
| p90 | 5.0 |
| max | 59.0 |
| mean | 3.644 |
| stddev | 3.055 |
Configurations (exact only)
| n | 787 |
| min | 1.0 |
| Q1 | 24.0 |
| median | 171.0 |
| Q3 | 6762.0 |
| p90 | 2916000.0 |
| max | 1.27e+30 |
| mean | 1.615550191906304e+27 |
| stddev | 4.527056489177212e+28 |
Feature classification (sum across corpus)
| Type | Count |
|---|---|
| Core | 12195 |
| Dead | 707 |
| False-optional | 908 |
| Variant | 28772 |
| Pure-optional | 111 |