{
  "schema": "GCTI07.COMPOSITION.V1",
  "gap": "1/2",
  "shortest_word": [
    "a",
    "b"
  ],
  "randomized": {
    "seed": 107,
    "finite_models": 180,
    "task_subsets_evaluated": 1148,
    "active_state_pairs_checked": 12196,
    "passive_positive_interaction_gap_cases": 31,
    "passive_transition_stable_cases": 1103,
    "passive_submodularity_inequalities_checked": 8016,
    "active_submodularity_violation_instances": 56,
    "inconsistencies": 0
  }
}
