{"analysis":{"configurations":{"max":3290000000.0,"median":1645000040.0,"min":80.0,"upper_bounds":0},"satisfiable":3,"unsatisfiable":0,"with_dead_features":0,"with_false_optional_features":0},"dataset":{"doi":"10.5281/zenodo.14288417","id":49,"title":"Feature models used in the paper \"Conflict-Guided Data Synthesis for Diagnosis Space Learning\"","version":1},"groups":{"alternative":2,"or":3},"language":{"boolean":3},"models":{"analysed":3,"failed":0,"pending":4,"total":7},"schema":"splent.factlabel.dataset/1","size":{"cross_tree_constraints":{"max":34,"median":9,"min":2,"total":45},"depth":{"max":7,"median":5,"min":2},"feature_groups":{"max":36,"median":9,"min":2,"total":47},"features":{"max":179,"median":65,"min":14,"total":258},"leaf_features":{"max":124,"median":48,"min":9,"total":181}},"variability":{"homogeneity":{"mean":67.7,"median":67.7},"total_variability":{"mean":0.5,"median":0.5}}}