{"analysis":{"configurations":{"max":360.0,"median":194.5,"min":29.0,"upper_bounds":0},"satisfiable":2,"unsatisfiable":0,"with_dead_features":1,"with_false_optional_features":1},"dataset":{"doi":"10.5281/zenodo.17308577","id":58,"title":"Third Tutorial on UVL (SPLC 2025)","version":1},"groups":{"alternative":2},"language":{"aggregate":1,"arithmetic":1,"boolean":2,"feature_cardinality":1,"type":1},"models":{"analysed":2,"failed":0,"pending":1,"total":3},"schema":"splent.factlabel.dataset/1","size":{"cross_tree_constraints":{"max":11,"median":5.5,"min":0,"total":11},"depth":{"max":2,"median":1.5,"min":1},"feature_groups":{"max":2,"median":1.5,"min":1,"total":3},"features":{"max":43,"median":36.5,"min":30,"total":73},"leaf_features":{"max":39,"median":34.0,"min":29,"total":68}},"variability":{"homogeneity":{"mean":16.1,"median":16.1},"total_variability":null}}