{"analysis":{"configurations":{"max":47.0,"median":47.0,"min":47.0,"upper_bounds":0},"satisfiable":1,"unsatisfiable":0,"with_dead_features":0,"with_false_optional_features":0},"dataset":{"doi":"10.5281/zenodo.12697429","id":17,"title":"Mobile Phone","version":1},"groups":{"alternative":1,"or":1},"language":{"boolean":1},"models":{"analysed":1,"failed":0,"pending":0,"total":1},"schema":"splent.factlabel.dataset/1","size":{"cross_tree_constraints":{"max":1,"median":1,"min":1,"total":1},"depth":{"max":2,"median":2,"min":2},"feature_groups":{"max":3,"median":3,"min":3,"total":3},"features":{"max":10,"median":10,"min":10,"total":10},"leaf_features":{"max":6,"median":6,"min":6,"total":6}},"variability":{"homogeneity":{"mean":56.8,"median":56.8},"total_variability":{"mean":4.6,"median":4.6}}}