files / problems / simon-ionization-excess / compute / q9 / certs / scan_compact.json

4.1 KB · on GitHub

{
  "note": "Predicted only. Face copositivity at target_suggest is required before quoting split_inv as a leading coefficient. printed_lead uses the notebook ceil-to-next-10^{-4}; 1.101667 prints as 1.1017.",
  "q8_leading": 1.102,
  "fmin": 0.8941074569749823,
  "best_split": {
    "R": 10.0,
    "n": 34,
    "n_faces": 17179869183,
    "slsqp_phi": 0.9114518727717587,
    "target_suggest": 0.9114,
    "err_P_hi": 0.003584315336477774,
    "gamma_pred": 0.9078156846635222,
    "inv_pred": 1.1015451890662646,
    "cut_R_over_R1": 0.9090909090909091,
    "split_gamma": 0.9078156846635222,
    "split_inv": 1.1015451890662646,
    "printed_lead": "1.1016",
    "beats_1.1020_if_certified": true,
    "cut_ge_gamma": true,
    "note": "R=10 n=34 matrix; q8 leftover predicted printed 1.1017",
    "P_max_hi": 0.03384860948736455
  },
  "rows": [
    {
      "R": 9.9,
      "n": 34,
      "n_faces": 17179869183,
      "slsqp_phi": 0.9114850039577025,
      "target_suggest": 0.9113,
      "err_P_hi": 0.0035686823720018023,
      "gamma_pred": 0.9077313176279982,
      "inv_pred": 1.1016475696939818,
      "cut_R_over_R1": 0.908256880733945,
      "split_gamma": 0.9077313176279982,
      "split_inv": 1.1016475696939818,
      "printed_lead": "1.1017",
      "beats_1.1020_if_certified": true,
      "cut_ge_gamma": true,
      "note": "",
      "P_max_hi": 0.033700979030777276
    },
    {
      "R": 10.0,
      "n": 33,
      "n_faces": 8589934591,
      "slsqp_phi": 0.9112207128892256,
      "target_suggest": 0.9111,
      "err_P_hi": 0.003692844163506504,
      "gamma_pred": 0.9074071558364936,
      "inv_pred": 1.1020411218579709,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9074071558364936,
      "split_inv": 1.1020411218579709,
      "printed_lead": "1.1021",
      "beats_1.1020_if_certified": false,
      "cut_ge_gamma": true,
      "note": "",
      "P_max_hi": 0.03487350532920953
    },
    {
      "R": 10.0,
      "n": 34,
      "n_faces": 17179869183,
      "slsqp_phi": 0.9114518727717587,
      "target_suggest": 0.9113,
      "err_P_hi": 0.003584315336477774,
      "gamma_pred": 0.9077156846635223,
      "inv_pred": 1.1016665426142618,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9077156846635223,
      "split_inv": 1.1016665426142618,
      "printed_lead": "1.1017",
      "beats_1.1020_if_certified": true,
      "cut_ge_gamma": true,
      "note": "",
      "P_max_hi": 0.03384860948736455
    },
    {
      "R": 10.0,
      "n": 35,
      "n_faces": 34359738367,
      "slsqp_phi": 0.9116723740887986,
      "target_suggest": 0.9115,
      "err_P_hi": 0.0034819812474670606,
      "gamma_pred": 0.908018018752533,
      "inv_pred": 1.1012997312254167,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.908018018752533,
      "split_inv": 1.1012997312254167,
      "printed_lead": "1.1013",
      "beats_1.1020_if_certified": true,
      "cut_ge_gamma": true,
      "note": "",
      "P_max_hi": 0.03288221387453527
    },
    {
      "R": 10.0,
      "n": 34,
      "n_faces": 17179869183,
      "slsqp_phi": 0.9114518727717587,
      "target_suggest": 0.9113,
      "err_P_hi": 0.003584315336477774,
      "gamma_pred": 0.9077156846635223,
      "inv_pred": 1.1016665426142618,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9077156846635223,
      "split_inv": 1.1016665426142618,
      "printed_lead": "1.1017",
      "beats_1.1020_if_certified": true,
      "cut_ge_gamma": true,
      "note": "R=10 n=34 matrix; q8 leftover predicted printed 1.1017",
      "P_max_hi": 0.03384860948736455
    },
    {
      "R": 10.0,
      "n": 34,
      "n_faces": 17179869183,
      "slsqp_phi": 0.9114518727717587,
      "target_suggest": 0.9114,
      "err_P_hi": 0.003584315336477774,
      "gamma_pred": 0.9078156846635222,
      "inv_pred": 1.1015451890662646,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9078156846635222,
      "split_inv": 1.1015451890662646,
      "printed_lead": "1.1016",
      "beats_1.1020_if_certified": true,
      "cut_ge_gamma": true,
      "note": "R=10 n=34 matrix; q8 leftover predicted printed 1.1017",
      "P_max_hi": 0.03384860948736455
    }
  ]
}