{
  "schema_version": 1,
  "samples_per_bin": 200,
  "seed": 20261026,
  "sizes": {
    "20": {
      "bins": [
        {
          "m": 80,
          "density": 4.0,
          "count": 200,
          "sat_fraction": 0.85,
          "mean_conflicts": 6.18
        },
        {
          "m": 82,
          "density": 4.1,
          "count": 200,
          "sat_fraction": 0.795,
          "mean_conflicts": 6.99
        },
        {
          "m": 84,
          "density": 4.2,
          "count": 200,
          "sat_fraction": 0.72,
          "mean_conflicts": 7.755
        },
        {
          "m": 85,
          "density": 4.25,
          "count": 200,
          "sat_fraction": 0.66,
          "mean_conflicts": 7.735
        },
        {
          "m": 86,
          "density": 4.3,
          "count": 200,
          "sat_fraction": 0.69,
          "mean_conflicts": 7.575
        },
        {
          "m": 88,
          "density": 4.4,
          "count": 200,
          "sat_fraction": 0.615,
          "mean_conflicts": 8.06
        },
        {
          "m": 90,
          "density": 4.5,
          "count": 200,
          "sat_fraction": 0.53,
          "mean_conflicts": 9.16
        },
        {
          "m": 92,
          "density": 4.6,
          "count": 200,
          "sat_fraction": 0.535,
          "mean_conflicts": 9.445
        },
        {
          "m": 93,
          "density": 4.65,
          "count": 200,
          "sat_fraction": 0.46,
          "mean_conflicts": 9.105
        },
        {
          "m": 94,
          "density": 4.7,
          "count": 200,
          "sat_fraction": 0.55,
          "mean_conflicts": 8.63
        },
        {
          "m": 96,
          "density": 4.8,
          "count": 200,
          "sat_fraction": 0.39,
          "mean_conflicts": 9.66
        },
        {
          "m": 98,
          "density": 4.9,
          "count": 200,
          "sat_fraction": 0.315,
          "mean_conflicts": 10.155
        },
        {
          "m": 100,
          "density": 5.0,
          "count": 200,
          "sat_fraction": 0.245,
          "mean_conflicts": 10.53
        },
        {
          "m": 102,
          "density": 5.1,
          "count": 200,
          "sat_fraction": 0.24,
          "mean_conflicts": 10.235
        },
        {
          "m": 104,
          "density": 5.2,
          "count": 200,
          "sat_fraction": 0.2,
          "mean_conflicts": 10.17
        }
      ],
      "selected_m": [
        88,
        90,
        92
      ],
      "center_m": 90,
      "coverage": {
        "unique_candidates": 3000,
        "outcomes": {
          "sat": 1559,
          "unsat": 1441
        },
        "unknown_fraction": 0.0
      }
    },
    "30": {
      "bins": [
        {
          "m": 120,
          "density": 4.0,
          "count": 200,
          "sat_fraction": 0.82,
          "mean_conflicts": 12.535
        },
        {
          "m": 123,
          "density": 4.1,
          "count": 200,
          "sat_fraction": 0.75,
          "mean_conflicts": 13.795
        },
        {
          "m": 126,
          "density": 4.2,
          "count": 200,
          "sat_fraction": 0.745,
          "mean_conflicts": 13.945
        },
        {
          "m": 128,
          "density": 4.266666666666667,
          "count": 200,
          "sat_fraction": 0.68,
          "mean_conflicts": 15.155
        },
        {
          "m": 129,
          "density": 4.3,
          "count": 200,
          "sat_fraction": 0.595,
          "mean_conflicts": 15.905
        },
        {
          "m": 132,
          "density": 4.4,
          "count": 200,
          "sat_fraction": 0.525,
          "mean_conflicts": 16.23
        },
        {
          "m": 134,
          "density": 4.466666666666667,
          "count": 200,
          "sat_fraction": 0.47,
          "mean_conflicts": 16.77
        },
        {
          "m": 135,
          "density": 4.5,
          "count": 200,
          "sat_fraction": 0.51,
          "mean_conflicts": 17.35
        },
        {
          "m": 138,
          "density": 4.6,
          "count": 200,
          "sat_fraction": 0.395,
          "mean_conflicts": 17.935
        },
        {
          "m": 141,
          "density": 4.7,
          "count": 200,
          "sat_fraction": 0.32,
          "mean_conflicts": 18.215
        },
        {
          "m": 144,
          "density": 4.8,
          "count": 200,
          "sat_fraction": 0.28,
          "mean_conflicts": 17.69
        },
        {
          "m": 147,
          "density": 4.9,
          "count": 200,
          "sat_fraction": 0.22,
          "mean_conflicts": 18.19
        },
        {
          "m": 150,
          "density": 5.0,
          "count": 200,
          "sat_fraction": 0.145,
          "mean_conflicts": 18.525
        },
        {
          "m": 153,
          "density": 5.1,
          "count": 200,
          "sat_fraction": 0.08,
          "mean_conflicts": 18.835
        },
        {
          "m": 156,
          "density": 5.2,
          "count": 200,
          "sat_fraction": 0.065,
          "mean_conflicts": 17.66
        }
      ],
      "selected_m": [
        134,
        135,
        138
      ],
      "center_m": 135,
      "coverage": {
        "unique_candidates": 3000,
        "outcomes": {
          "sat": 1320,
          "unsat": 1680
        },
        "unknown_fraction": 0.0
      }
    },
    "40": {
      "bins": [
        {
          "m": 160,
          "density": 4.0,
          "count": 200,
          "sat_fraction": 0.815,
          "mean_conflicts": 21.575
        },
        {
          "m": 164,
          "density": 4.1,
          "count": 200,
          "sat_fraction": 0.77,
          "mean_conflicts": 23.66
        },
        {
          "m": 168,
          "density": 4.2,
          "count": 200,
          "sat_fraction": 0.7,
          "mean_conflicts": 23.945
        },
        {
          "m": 171,
          "density": 4.275,
          "count": 200,
          "sat_fraction": 0.635,
          "mean_conflicts": 27.725
        },
        {
          "m": 172,
          "density": 4.3,
          "count": 200,
          "sat_fraction": 0.61,
          "mean_conflicts": 27.74
        },
        {
          "m": 175,
          "density": 4.375,
          "count": 200,
          "sat_fraction": 0.49,
          "mean_conflicts": 30.755
        },
        {
          "m": 176,
          "density": 4.4,
          "count": 200,
          "sat_fraction": 0.515,
          "mean_conflicts": 28.125
        },
        {
          "m": 180,
          "density": 4.5,
          "count": 200,
          "sat_fraction": 0.4,
          "mean_conflicts": 29.785
        },
        {
          "m": 184,
          "density": 4.6,
          "count": 200,
          "sat_fraction": 0.32,
          "mean_conflicts": 30.615
        },
        {
          "m": 188,
          "density": 4.7,
          "count": 200,
          "sat_fraction": 0.26,
          "mean_conflicts": 30.7
        },
        {
          "m": 192,
          "density": 4.8,
          "count": 200,
          "sat_fraction": 0.135,
          "mean_conflicts": 32.6
        },
        {
          "m": 196,
          "density": 4.9,
          "count": 200,
          "sat_fraction": 0.195,
          "mean_conflicts": 29.975
        },
        {
          "m": 200,
          "density": 5.0,
          "count": 200,
          "sat_fraction": 0.09,
          "mean_conflicts": 30.145
        },
        {
          "m": 204,
          "density": 5.1,
          "count": 200,
          "sat_fraction": 0.065,
          "mean_conflicts": 30.07
        },
        {
          "m": 208,
          "density": 5.2,
          "count": 200,
          "sat_fraction": 0.04,
          "mean_conflicts": 28.615
        }
      ],
      "selected_m": [
        172,
        175,
        176
      ],
      "center_m": 175,
      "coverage": {
        "unique_candidates": 3000,
        "outcomes": {
          "sat": 1208,
          "unsat": 1792
        },
        "unknown_fraction": 0.0
      }
    },
    "50": {
      "bins": [
        {
          "m": 200,
          "density": 4.0,
          "count": 200,
          "sat_fraction": 0.885,
          "mean_conflicts": 30.905
        },
        {
          "m": 205,
          "density": 4.1,
          "count": 200,
          "sat_fraction": 0.835,
          "mean_conflicts": 35.08
        },
        {
          "m": 210,
          "density": 4.2,
          "count": 200,
          "sat_fraction": 0.635,
          "mean_conflicts": 41.57
        },
        {
          "m": 213,
          "density": 4.26,
          "count": 200,
          "sat_fraction": 0.64,
          "mean_conflicts": 42.88
        },
        {
          "m": 215,
          "density": 4.3,
          "count": 200,
          "sat_fraction": 0.515,
          "mean_conflicts": 47.215
        },
        {
          "m": 217,
          "density": 4.34,
          "count": 200,
          "sat_fraction": 0.51,
          "mean_conflicts": 49.235
        },
        {
          "m": 220,
          "density": 4.4,
          "count": 200,
          "sat_fraction": 0.445,
          "mean_conflicts": 52.565
        },
        {
          "m": 225,
          "density": 4.5,
          "count": 200,
          "sat_fraction": 0.36,
          "mean_conflicts": 50.875
        },
        {
          "m": 230,
          "density": 4.6,
          "count": 200,
          "sat_fraction": 0.22,
          "mean_conflicts": 52.18
        },
        {
          "m": 235,
          "density": 4.7,
          "count": 200,
          "sat_fraction": 0.145,
          "mean_conflicts": 52.27
        },
        {
          "m": 240,
          "density": 4.8,
          "count": 200,
          "sat_fraction": 0.15,
          "mean_conflicts": 48.225
        },
        {
          "m": 245,
          "density": 4.9,
          "count": 200,
          "sat_fraction": 0.105,
          "mean_conflicts": 48.95
        },
        {
          "m": 250,
          "density": 5.0,
          "count": 200,
          "sat_fraction": 0.035,
          "mean_conflicts": 48.385
        },
        {
          "m": 255,
          "density": 5.1,
          "count": 200,
          "sat_fraction": 0.045,
          "mean_conflicts": 45.745
        },
        {
          "m": 260,
          "density": 5.2,
          "count": 200,
          "sat_fraction": 0.05,
          "mean_conflicts": 42.15
        }
      ],
      "selected_m": [
        215,
        217,
        220
      ],
      "center_m": 217,
      "coverage": {
        "unique_candidates": 3000,
        "outcomes": {
          "sat": 1115,
          "unsat": 1885
        },
        "unknown_fraction": 0.0
      }
    }
  }
}