{"analysis":{"configurations":{"max":826000000000.0,"median":826000000000.0,"min":826000000000.0,"upper_bounds":0},"satisfiable":1,"unsatisfiable":0,"with_dead_features":1,"with_false_optional_features":1},"dataset":{"doi":"10.5281/zenodo.12697351","id":12,"title":"KConfig","version":1},"groups":{"alternative":1},"language":{"boolean":1},"models":{"analysed":1,"failed":0,"pending":4,"total":5},"schema":"splent.factlabel.dataset/1","size":{"cross_tree_constraints":{"max":14,"median":14,"min":14,"total":14},"depth":{"max":3,"median":3,"min":3},"feature_groups":{"max":5,"median":5,"min":5,"total":5},"features":{"max":96,"median":96,"min":96,"total":96},"leaf_features":{"max":78,"median":78,"min":78,"total":78}},"variability":{"homogeneity":{"mean":56.1,"median":56.1},"total_variability":null}}