54
Datasets
1633
Feature models
189
Authors
18511
Dataset views
5876
Downloads
30.24
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 |
|---|---|
| openwiki_spl | 30 Jul 2026 |
| openwiki_spl | 29 Jul 2026 |
| demo_spl | 28 Jul 2026 |
| demo_spl | 28 Jul 2026 |
| demo_spl | 28 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) | 3631 |
| CDL | 1814 |
| Operating Systems (BusyBox) | 1578 |
| Smartwatch SPL of Xiaomi Mi Band | 1567 |
| Financial Services (Financial Services 01) | 1556 |
Downloads and views per month (last 12 months)
Corpus characterisation
Materialised from fact labels — 1414 of 1414 hubfiles (100.0%)1649
Hubfiles total
1414
With fact label
1414
Metrics extracted
0
Errored
100.0
Coverage %
99.22
Satisfiable %
Satisfiability
Satisfiable: 1403
· Unsatisfiable: 11
· Unknown: 0
Constraint types (corpus-wide)
Group types (corpus-wide)
Statistical summary (per feature model)
Features
| n | 1414 |
| min | 3.0 |
| Q1 | 14.0 |
| median | 22.0 |
| Q3 | 37.0 |
| p90 | 51.0 |
| max | 329.0 |
| mean | 29.902 |
| stddev | 28.779 |
Cross-tree constraints
| n | 1414 |
| min | 0.0 |
| Q1 | 0.0 |
| median | 0.0 |
| Q3 | 3.0 |
| p90 | 9.0 |
| max | 246.0 |
| mean | 3.453 |
| stddev | 11.826 |
Tree depth
| n | 1414 |
| min | 1.0 |
| Q1 | 2.0 |
| median | 3.0 |
| Q3 | 4.0 |
| p90 | 5.0 |
| max | 19.0 |
| mean | 3.211 |
| stddev | 1.435 |
Branching factor
| n | 1414 |
| min | 1.12 |
| Q1 | 2.5 |
| median | 3.0 |
| Q3 | 3.67 |
| p90 | 4.88 |
| max | 59.0 |
| mean | 3.632 |
| stddev | 3.049 |
Configurations (exact only)
| n | 783 |
| min | 1.0 |
| Q1 | 24.0 |
| median | 168.0 |
| Q3 | 6144.0 |
| p90 | 3248000.0 |
| max | 1.27e+30 |
| mean | 1.6238033218777284e+27 |
| stddev | 4.538605087985182e+28 |
Feature classification (sum across corpus)
| Type | Count |
|---|---|
| Core | 12165 |
| Dead | 707 |
| False-optional | 904 |
| Variant | 28667 |
| Pure-optional | 85 |