files / problems / union-closed / compute / q2 / certs / hunt_mixes.json

5.0 KB · on GitHub

{
  "ceiling": 0.3830513565868256,
  "claimed": 0.38304,
  "ex4_best": {
    "weights": {
      "iid": 0.0,
      "ex4": 1.0
    },
    "b": 0.2964939277592424,
    "a": 0.12303721636955689,
    "mean": 0.38305135658682565,
    "Hmix": 1.0,
    "hb": 0.8769627836304431,
    "below_ceiling": true,
    "beats_claimed": true
  },
  "ex5_best": {
    "weights": {
      "iid": 0.9,
      "ex5": 0.1
    },
    "b": 0.3092367249052648,
    "a": 0.10636402589318661,
    "mean": 0.38270908778350354,
    "Hmix": 0.9984942960205337,
    "hb": 0.8922904228644065,
    "below_ceiling": true,
    "beats_claimed": false
  },
  "ex4_ex5_best": {
    "weights": {
      "ex4": 1.0,
      "ex5": 0.0
    },
    "b": 0.2964939277592424,
    "a": 0.12303721636955689,
    "mean": 0.38305135658682565,
    "Hmix": 1.0,
    "hb": 0.8769627836304431,
    "below_ceiling": true,
    "beats_claimed": true
  },
  "three_way_best": {
    "weights": {
      "iid": 0.0,
      "ex4": 0.8,
      "maxent": 0.2
    },
    "b": 0.2964939277536444,
    "a": 0.12303721637653509,
    "mean": 0.38305135658682565,
    "Hmix": 1.0,
    "hb": 0.8769627836234649,
    "below_ceiling": true,
    "beats_claimed": true
  },
  "ex5_ell_best": {
    "weights": {
      "ex5": 1.0
    },
    "b": 0.2941055999487827,
    "a": 0.12600208590929196,
    "mean": 0.38304976678692426,
    "Hmix": 0.9999632923813981,
    "hb": 0.8739658317086187,
    "ell": 0.35000000000000003,
    "below_ceiling": true,
    "beats_claimed": true
  },
  "ex4_curve_sample": [
    {
      "weights": {
        "iid": 1.0,
        "ex4": 0.0
      },
      "b": 0.3819660109531138,
      "a": 4.805419395736976e-10,
      "mean": 0.381966011250105,
      "Hmix": 0.9594187284776015,
      "hb": 0.9594187280165605,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.9,
        "ex4": 0.1
      },
      "b": 0.3193096082680899,
      "a": 0.09320318596878241,
      "mean": 0.3827521214358425,
      "Hmix": 0.9965067010753165,
      "hb": 0.9036291016958559,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.8,
        "ex4": 0.2
      },
      "b": 0.30840835028389596,
      "a": 0.10770209278004994,
      "mean": 0.38289421830752757,
      "Hmix": 0.9989125982002511,
      "hb": 0.8913276208697269,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.7,
        "ex4": 0.3
      },
      "b": 0.30387161615653463,
      "a": 0.11360287887107012,
      "mean": 0.3829538046250177,
      "Hmix": 0.9995205866573906,
      "hb": 0.8859721705222101,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.6,
        "ex4": 0.4
      },
      "b": 0.3013866566680222,
      "a": 0.11680267976182734,
      "mean": 0.38298656728656677,
      "Hmix": 0.99975319053183,
      "hb": 0.8829793387772755,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.5,
        "ex4": 0.5
      },
      "b": 0.2998186406573675,
      "a": 0.11881014411707225,
      "mean": 0.3830072888689532,
      "Hmix": 0.9998629558303036,
      "hb": 0.8810690939507834,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.4,
        "ex4": 0.6
      },
      "b": 0.29873921236389617,
      "a": 0.12018690539920396,
      "mean": 0.38302157630768774,
      "Hmix": 0.9999217592779962,
      "hb": 0.879744257389046,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.29999999999999993,
        "ex4": 0.7000000000000001
      },
      "b": 0.2979508363969419,
      "a": 0.12118978467764319,
      "mean": 0.38303202336711595,
      "Hmix": 0.999956030595113,
      "hb": 0.8787715745601804,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.19999999999999996,
        "ex4": 0.8
      },
      "b": 0.2973497833799213,
      "a": 0.12195287141753808,
      "mean": 0.38303999489889495,
      "Hmix": 0.9999772209880143,
      "hb": 0.878027127536396,
      "below_ceiling": true,
      "beats_claimed": false
    },
    {
      "weights": {
        "iid": 0.09999999999999998,
        "ex4": 0.9
      },
      "b": 0.29687640658162373,
      "a": 0.12255295053131154,
      "mean": 0.38304627754322396,
      "Hmix": 0.9999908955155402,
      "hb": 0.8774390607656622,
      "below_ceiling": true,
      "beats_claimed": true
    },
    {
      "weights": {
        "iid": 0.0,
        "ex4": 1.0
      },
      "b": 0.2964939277592424,
      "a": 0.12303721636955689,
      "mean": 0.38305135658682565,
      "Hmix": 1.0,
      "hb": 0.8769627836304431,
      "below_ceiling": true,
      "beats_claimed": true
    }
  ],
  "anyone_beats_claimed_0_38304": true,
  "anyone_beats_ceiling": false,
  "note": "pure Example 4 is best on this ray and still sits at the analytic ceiling.  No mix is a dent of 0.38304 toward 1/2."
}