{"analysis":{"configurations":{"max":1140000000.0,"median":1140000000.0,"min":1140000000.0,"upper_bounds":0},"satisfiable":1,"unsatisfiable":0,"with_dead_features":0,"with_false_optional_features":1},"dataset":{"doi":"10.5281/zenodo.23626373","id":111,"title":"openhubs_spl","version":4},"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":55,"median":55,"min":55,"total":55},"depth":{"max":4,"median":4,"min":4},"feature_groups":{"max":6,"median":6,"min":6,"total":6},"features":{"max":59,"median":59,"min":59,"total":59},"leaf_features":{"max":45,"median":45,"min":45,"total":45}},"variability":{"homogeneity":{"mean":65.6,"median":65.6},"total_variability":null}}