{"analysis":{"configurations":{"max":380000000.0,"median":380000000.0,"min":380000000.0,"upper_bounds":0},"satisfiable":1,"unsatisfiable":0,"with_dead_features":0,"with_false_optional_features":1},"dataset":{"doi":"10.5281/zenodo.23614354","id":110,"title":"openhubs_spl","version":3},"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":54,"median":54,"min":54,"total":54},"depth":{"max":4,"median":4,"min":4},"feature_groups":{"max":5,"median":5,"min":5,"total":5},"features":{"max":57,"median":57,"min":57,"total":57},"leaf_features":{"max":43,"median":43,"min":43,"total":43}},"variability":{"homogeneity":{"mean":64.6,"median":64.6},"total_variability":null}}