{
  "scenario": "school-400",
  "config": {
    "n_students": 400,
    "dataset_seed": 20260401,
    "attributes": [
      "学年",
      "クラス",
      "性別",
      "出身小学校",
      "通学方法",
      "部活動",
      "委員会",
      "就学援助"
    ],
    "sensitive": "就学援助",
    "noise": "なし（正確な集計値）",
    "class": "3年B組"
  },
  "solver_config": {
    "solver": "ortools-cpsat",
    "mode": "auto",
    "max_solutions": 100,
    "time_limit": 25.0,
    "random_seed": 0,
    "representation": "record-type frequency"
  },
  "school_wide": {
    "n_tables": 15,
    "tables": [
      {
        "attributes": [
          "学年",
          "クラス"
        ],
        "source": "学校要覧「学級編制」"
      },
      {
        "attributes": [
          "学年",
          "クラス",
          "性別"
        ],
        "source": "学校要覧「学級編制（男女別）」"
      },
      {
        "attributes": [
          "学年",
          "出身小学校"
        ],
        "source": "学校要覧「入学者の状況」"
      },
      {
        "attributes": [
          "学年",
          "クラス",
          "出身小学校"
        ],
        "source": "学級編成資料"
      },
      {
        "attributes": [
          "学年",
          "通学方法"
        ],
        "source": "安全指導計画「通学手段の状況」"
      },
      {
        "attributes": [
          "出身小学校",
          "通学方法"
        ],
        "source": "安全指導計画「校区別の通学手段」"
      },
      {
        "attributes": [
          "学年",
          "クラス",
          "通学方法"
        ],
        "source": "安全指導計画「学級別の通学手段」"
      },
      {
        "attributes": [
          "学年",
          "部活動"
        ],
        "source": "部活動報告「加入状況」"
      },
      {
        "attributes": [
          "性別",
          "部活動"
        ],
        "source": "部活動報告「男女別加入状況」"
      },
      {
        "attributes": [
          "学年",
          "クラス",
          "部活動"
        ],
        "source": "部活動報告「学級別加入状況」"
      },
      {
        "attributes": [
          "学年",
          "性別",
          "部活動"
        ],
        "source": "部活動報告「学年・男女別加入状況」"
      },
      {
        "attributes": [
          "学年",
          "就学援助"
        ],
        "source": "就学支援状況報告「学年別」"
      },
      {
        "attributes": [
          "性別",
          "就学援助"
        ],
        "source": "就学支援状況報告「男女別」"
      },
      {
        "attributes": [
          "出身小学校",
          "就学援助"
        ],
        "source": "就学支援状況報告「地域別」"
      },
      {
        "attributes": [
          "通学方法",
          "就学援助"
        ],
        "source": "就学支援状況報告「通学手段別」"
      }
    ],
    "n_cells": 267,
    "n_variables": 2304,
    "density": 0.173611,
    "school_unique_students": 121,
    "exposure": {
      "exposed_students": 0,
      "checked_students": 121,
      "ruled_out_by_counterexample": 94,
      "certified_by_bounds": 27,
      "unresolved": 0,
      "fully_resolved": true,
      "n_students": 400,
      "examples": []
    }
  },
  "class_realistic": {
    "n_students": 33,
    "n_tables": 12,
    "tables": [
      {
        "attributes": [
          "性別"
        ],
        "source": "学級経営案"
      },
      {
        "attributes": [
          "出身小学校"
        ],
        "source": "学級経営案「出身校の内訳」"
      },
      {
        "attributes": [
          "通学方法"
        ],
        "source": "安全指導「通学手段」"
      },
      {
        "attributes": [
          "部活動"
        ],
        "source": "部活動加入状況"
      },
      {
        "attributes": [
          "委員会"
        ],
        "source": "学級組織"
      },
      {
        "attributes": [
          "就学援助"
        ],
        "source": "就学支援の対象人数"
      },
      {
        "attributes": [
          "性別",
          "部活動"
        ],
        "source": "部活動報告「男女別」"
      },
      {
        "attributes": [
          "性別",
          "通学方法"
        ],
        "source": "安全指導「男女別の通学手段」"
      },
      {
        "attributes": [
          "性別",
          "委員会"
        ],
        "source": "学級組織「男女別」"
      },
      {
        "attributes": [
          "性別",
          "出身小学校"
        ],
        "source": "学級編成資料「男女・出身校」"
      },
      {
        "attributes": [
          "出身小学校",
          "通学方法"
        ],
        "source": "安全指導「校区別の通学手段」"
      },
      {
        "attributes": [
          "出身小学校",
          "部活動"
        ],
        "source": "部活動報告「出身校別の傾向」"
      }
    ],
    "n_cells": 77,
    "solver": {
      "status": "FEASIBLE",
      "n_solutions_found": 200,
      "exhausted": false,
      "cap": 200,
      "candidate_count": null,
      "candidate_count_label": ">200",
      "unique": false,
      "objective": 0.0,
      "n_variables": 768,
      "n_constraints": 78,
      "wall_time": 4.4336,
      "timed_out": false
    },
    "evaluation": {
      "n_candidates_evaluated": 200,
      "candidates_exhaustive": false,
      "expected_record_type_accuracy": 0.223788,
      "expected_is_representative": false,
      "best_record_type_accuracy": 0.363636,
      "worst_record_type_accuracy": 0.060606,
      "any_candidate_exact": false,
      "first_candidate": {
        "record_type_accuracy": 0.090909,
        "attribute_accuracy": {
          "性別": 1.0,
          "出身小学校": 1.0,
          "通学方法": 1.0,
          "部活動": 1.0,
          "委員会": 1.0,
          "就学援助": 1.0
        },
        "mean_attribute_accuracy": 1.0,
        "misplaced_records": 30,
        "exact": false
      }
    }
  },
  "single_class": {
    "n_students": 33,
    "n_tables": 41,
    "n_cells": 771,
    "n_variables": 768,
    "density": 0.042969,
    "solver": {
      "status": "OPTIMAL",
      "n_solutions_found": 1,
      "exhausted": true,
      "cap": 20,
      "candidate_count": 1,
      "candidate_count_label": "1",
      "unique": true,
      "objective": 0.0,
      "n_variables": 768,
      "n_constraints": 772,
      "wall_time": 0.0051,
      "timed_out": false
    },
    "evaluation": {
      "n_candidates_evaluated": 1,
      "candidates_exhaustive": true,
      "expected_record_type_accuracy": 1.0,
      "expected_is_representative": true,
      "best_record_type_accuracy": 1.0,
      "worst_record_type_accuracy": 1.0,
      "any_candidate_exact": true,
      "first_candidate": {
        "record_type_accuracy": 1.0,
        "attribute_accuracy": {
          "性別": 1.0,
          "出身小学校": 1.0,
          "通学方法": 1.0,
          "部活動": 1.0,
          "委員会": 1.0,
          "就学援助": 1.0
        },
        "mean_attribute_accuracy": 1.0,
        "misplaced_records": 0,
        "exact": true
      }
    },
    "minimal_sufficient_subset": {
      "n_start": 771,
      "n_minimal": 71,
      "by_level": {
        "1": 10,
        "2": 56,
        "3": 5
      },
      "n_tested": 771,
      "completed": true,
      "verified_unique": true,
      "statistic_ids": [
        "t0002",
        "t0005",
        "t0006",
        "t0009",
        "t0010",
        "t0012",
        "t0013",
        "t0015",
        "t0016",
        "t0019",
        "t0025",
        "t0027",
        "t0033",
        "t0034",
        "t0035",
        "t0040",
        "t0041",
        "t0047",
        "t0049",
        "t0053",
        "t0059",
        "t0060",
        "t0063",
        "t0064",
        "t0065",
        "t0067",
        "t0074",
        "t0075",
        "t0077",
        "t0078",
        "t0080",
        "t0081",
        "t0087",
        "t0089",
        "t0093",
        "t0095",
        "t0096",
        "t0097",
        "t0101",
        "t0103",
        "t0105",
        "t0110",
        "t0111",
        "t0113",
        "t0114",
        "t0116",
        "t0117",
        "t0123",
        "t0124",
        "t0125",
        "t0127",
        "t0128",
        "t0129",
        "t0133",
        "t0137",
        "t0141",
        "t0147",
        "t0148",
        "t0149",
        "t0152",
        "t0153",
        "t0157",
        "t0159",
        "t0163",
        "t0165",
        "t0167",
        "t0363",
        "t0503",
        "t0559",
        "t0667",
        "t0771"
      ],
      "n_table_kinds": 26
    }
  }
}