47
Datasets
1626
Feature models
178
Authors
17213
Dataset views
5818
Downloads
34.6
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 |
|---|---|
| Sample SPLENT app | 24 Jun 2026 |
| Sample SPLENT app | 24 Jun 2026 |
| 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 |
Datasets by publication type
| Type | Count |
|---|---|
| Conference Paper | 25 |
| Other | 7 |
| Software Documentation | 5 |
| Journal Article | 5 |
| Working Paper | 1 |
| Book | 1 |
Most viewed datasets
| Dataset | Views |
|---|---|
| Complete SPLOT dataset (more than 1000 models) | 3489 |
| CDL | 1715 |
| Smartwatch SPL of Xiaomi Mi Band | 1499 |
| Financial Services (Financial Services 01) | 1493 |
| Operating Systems (BusyBox) | 1490 |
Downloads and views per month (last 12 months)
Corpus characterisation
Materialised from fact labels — 1407 of 1407 hubfiles (100.0%)1642
Hubfiles total
1407
With fact label
1407
Metrics extracted
0
Errored
100.0
Coverage %
99.22
Satisfiable %
Satisfiability
Satisfiable: 1396
· Unsatisfiable: 11
· Unknown: 0
Constraint types (corpus-wide)
Group types (corpus-wide)
Statistical summary (per feature model)
Features
| n | 1407 |
| min | 3.0 |
| Q1 | 14.0 |
| median | 22.0 |
| Q3 | 37.0 |
| p90 | 51.0 |
| max | 329.0 |
| mean | 29.984 |
| stddev | 28.818 |
Cross-tree constraints
| n | 1407 |
| min | 0.0 |
| Q1 | 0.0 |
| median | 0.0 |
| Q3 | 3.0 |
| p90 | 9.0 |
| max | 246.0 |
| mean | 3.44 |
| stddev | 11.848 |
Tree depth
| n | 1407 |
| min | 1.0 |
| Q1 | 2.0 |
| median | 3.0 |
| Q3 | 4.0 |
| p90 | 5.0 |
| max | 19.0 |
| mean | 3.219 |
| stddev | 1.434 |
Branching factor
| n | 1407 |
| min | 1.12 |
| Q1 | 2.5 |
| median | 3.0 |
| Q3 | 3.67 |
| p90 | 4.836 |
| max | 59.0 |
| mean | 3.626 |
| stddev | 3.051 |
Configurations (exact only)
| n | 776 |
| min | 1.0 |
| Q1 | 24.0 |
| median | 169.5 |
| Q3 | 6366.0 |
| p90 | 4549000.0 |
| max | 1.27e+30 |
| mean | 1.6384510322554916e+27 |
| stddev | 4.559029583865923e+28 |
Feature classification (sum across corpus)
| Type | Count |
|---|---|
| Core | 12130 |
| Dead | 707 |
| False-optional | 903 |
| Variant | 28607 |
| Pure-optional | 56 |