{"analysis":{"configurations":{"max":228.0,"median":228.0,"min":228.0,"upper_bounds":0},"satisfiable":1,"unsatisfiable":0,"with_dead_features":0,"with_false_optional_features":0},"dataset":{"doi":"10.5281/zenodo.23800448","id":118,"title":"Pizza FM with full expressiveness for SMT analysis","version":1},"groups":{"alternative":1,"or":1},"language":{"aggregate":1,"arithmetic":1,"boolean":1,"type":1},"models":{"analysed":1,"failed":0,"pending":0,"total":1},"schema":"splent.factlabel.dataset/1","size":{"cross_tree_constraints":{"max":7,"median":7,"min":7,"total":7},"depth":{"max":2,"median":2,"min":2},"feature_groups":{"max":3,"median":3,"min":3,"total":3},"features":{"max":15,"median":15,"min":15,"total":15},"leaf_features":{"max":11,"median":11,"min":11,"total":11}},"variability":{"homogeneity":{"mean":62.2,"median":62.2},"total_variability":{"mean":0.7,"median":0.7}}}