{"analysis":{"configurations":{"max":5700000000.0,"median":5700000000.0,"min":5700000000.0,"upper_bounds":0},"satisfiable":1,"unsatisfiable":0,"with_dead_features":0,"with_false_optional_features":1},"dataset":{"doi":"10.5281/zenodo.23628801","id":112,"title":"openhubs_spl","version":5},"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":58,"median":58,"min":58,"total":58},"depth":{"max":4,"median":4,"min":4},"feature_groups":{"max":7,"median":7,"min":7,"total":7},"features":{"max":64,"median":64,"min":64,"total":64},"leaf_features":{"max":49,"median":49,"min":49,"total":49}},"variability":{"homogeneity":{"mean":64.5,"median":64.5},"total_variability":null}}