Dashboard

Platform usage

17
Datasets
902
Feature models
35
Authors
743
Dataset views
95
Downloads
53.06
Avg models/dataset

Datasets uploaded per month (last 12 months)

Datasets with most feature models

Most recently uploaded datasets

Datasets by publication type

Type Count
Data Management Plan 4
Conference Paper 2
Journal Article 2
Project Milestone 1
Book 1
Preprint 1

Downloads and views per month (last 12 months)


Corpus characterisation

Materialised from fact labels — 204 of 1853 hubfiles (11.01%)
1911
Hubfiles total
1853
With fact label
204
Metrics extracted
0
Errored
11.01
Coverage %
100.0
Satisfiable %

Satisfiability

Satisfiable: 204 · Unsatisfiable: 0 · Unknown: 0

Constraint types (corpus-wide)

Group types (corpus-wide)

Statistical summary (per feature model)

Features

n 204
min 10.0
Q1 10.0
median 10.0
Q3 10.0
p90 10.0
max 38.0
mean 10.662
stddev 4.019

Cross-tree constraints

n 204
min 0.0
Q1 2.0
median 2.0
Q3 2.0
p90 2.0
max 10.0
mean 1.99
stddev 0.643

Tree depth

n 204
min 2.0
Q1 2.0
median 2.0
Q3 2.0
p90 2.0
max 4.0
mean 2.02
stddev 0.198

Branching factor

n 204
min 2.58
Q1 3.0
median 3.0
Q3 3.0
p90 3.0
max 8.0
mean 3.054
stddev 0.447

Configurations (exact only)

n 81
min 24.0
Q1 24.0
median 24.0
Q3 24.0
p90 24.0
max 117000.0
mean 4382.222
stddev 22224.306

Feature classification (sum across corpus)

Type Count
Core 642
Dead 0
False-optional 0
Variant 1533
Pure-optional 170

Features per model (log buckets)

Cross-tree constraints per model (log buckets)

Tree depth distribution

Number of configurations (log buckets, exact only)