{"analysis":{"configurations":{"max":129600.0,"median":129600.0,"min":129600.0,"upper_bounds":0},"satisfiable":1,"unsatisfiable":0,"with_dead_features":0,"with_false_optional_features":1},"dataset":{"doi":"10.5281/zenodo.21610307","id":87,"title":"cms_spl","version":1},"groups":{"alternative":1},"language":{"boolean":1},"models":{"analysed":1,"failed":0,"pending":0,"total":1},"schema":"splent.factlabel.dataset/1","size":{"cross_tree_constraints":{"max":14,"median":14,"min":14,"total":14},"depth":{"max":2,"median":2,"min":2},"feature_groups":{"max":3,"median":3,"min":3,"total":3},"features":{"max":30,"median":30,"min":30,"total":30},"leaf_features":{"max":26,"median":26,"min":26,"total":26}},"variability":{"homogeneity":{"mean":62.9,"median":62.9},"total_variability":{"mean":0.0,"median":0.0}}}