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

7.8 KB · on GitHub

{
  "note": "Predicted only. Face copositivity at target_suggest is required before quoting split_inv as a leading coefficient.",
  "q3_leading": 1.1118,
  "r4_class_only": 1.108741,
  "fmin": 0.8941074569749823,
  "best_split": {
    "R": 10,
    "n": 26,
    "n_faces": 67108863,
    "slsqp_phi": 0.9092237315013688,
    "target_suggest": 0.9091,
    "q_hi": 1.0926008611173783,
    "P_max_hi": 0.04425156408849633,
    "err_P_hi": 0.004685910654165426,
    "gamma_pred": 0.9044140893458346,
    "inv_pred": 1.105688214922993,
    "cut_R_over_R1": 0.9090909090909091,
    "split_gamma": 0.9044140893458346,
    "split_inv": 1.105688214922993,
    "beats_1.1118_if_certified": true,
    "beats_1.108741_if_certified": true,
    "cut_ge_gamma": true
  },
  "rows": [
    {
      "R": 4,
      "n": 18,
      "n_faces": 262143,
      "slsqp_phi": 0.9104292161366282,
      "target_suggest": 0.9103,
      "q_hi": 1.080059738892306,
      "P_max_hi": 0.03848915365043331,
      "err_P_hi": 0.004075714358925027,
      "gamma_pred": 0.9062242856410749,
      "inv_pred": 1.1034795865049973,
      "cut_R_over_R1": 0.8,
      "split_gamma": 0.8,
      "split_inv": 1.25,
      "beats_1.1118_if_certified": false,
      "beats_1.108741_if_certified": false,
      "cut_ge_gamma": false
    },
    {
      "R": 8,
      "n": 20,
      "n_faces": 1048575,
      "slsqp_phi": 0.9077332752177658,
      "target_suggest": 0.9076,
      "q_hi": 1.109569472067845,
      "P_max_hi": 0.051939257520845085,
      "err_P_hi": 0.005499980061713563,
      "gamma_pred": 0.9021000199382864,
      "inv_pred": 1.1085245293181694,
      "cut_R_over_R1": 0.8888888888888888,
      "split_gamma": 0.8888888888888888,
      "split_inv": 1.125,
      "beats_1.1118_if_certified": false,
      "beats_1.108741_if_certified": false,
      "cut_ge_gamma": false
    },
    {
      "R": 9,
      "n": 20,
      "n_faces": 1048575,
      "slsqp_phi": 0.9072014391808013,
      "target_suggest": 0.9071,
      "q_hi": 1.1161231740339044,
      "P_max_hi": 0.05487543232776105,
      "err_P_hi": 0.005810899078783884,
      "gamma_pred": 0.9012891009212162,
      "inv_pred": 1.1095219047671723,
      "cut_R_over_R1": 0.9,
      "split_gamma": 0.9,
      "split_inv": 1.1111111111111112,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": false,
      "cut_ge_gamma": false
    },
    {
      "R": 9,
      "n": 22,
      "n_faces": 4194303,
      "slsqp_phi": 0.9081231316909092,
      "target_suggest": 0.908,
      "q_hi": 1.1050315033964666,
      "P_max_hi": 0.04989545440388823,
      "err_P_hi": 0.005283556552216544,
      "gamma_pred": 0.9027164434477835,
      "inv_pred": 1.107767568939652,
      "cut_R_over_R1": 0.9,
      "split_gamma": 0.9,
      "split_inv": 1.1111111111111112,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": false,
      "cut_ge_gamma": false
    },
    {
      "R": 10,
      "n": 22,
      "n_faces": 4194303,
      "slsqp_phi": 0.9076705604848766,
      "target_suggest": 0.9075,
      "q_hi": 1.110336318167638,
      "P_max_hi": 0.05228376027923394,
      "err_P_hi": 0.005536460334878492,
      "gamma_pred": 0.9019635396651214,
      "inv_pred": 1.108692265289656,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9019635396651214,
      "split_inv": 1.108692265289656,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": true,
      "cut_ge_gamma": true
    },
    {
      "R": 10,
      "n": 24,
      "n_faces": 16777215,
      "slsqp_phi": 0.9084925373396713,
      "target_suggest": 0.9083,
      "q_hi": 1.1006941712522096,
      "P_max_hi": 0.04793376048270104,
      "err_P_hi": 0.005075827794265314,
      "gamma_pred": 0.9032241722057347,
      "inv_pred": 1.1071448603483809,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9032241722057347,
      "split_inv": 1.1071448603483809,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": true,
      "cut_ge_gamma": true
    },
    {
      "R": 10,
      "n": 26,
      "n_faces": 67108863,
      "slsqp_phi": 0.9092237315013688,
      "target_suggest": 0.9091,
      "q_hi": 1.0926008611173783,
      "P_max_hi": 0.04425156408849633,
      "err_P_hi": 0.004685910654165426,
      "gamma_pred": 0.9044140893458346,
      "inv_pred": 1.105688214922993,
      "cut_R_over_R1": 0.9090909090909091,
      "split_gamma": 0.9044140893458346,
      "split_inv": 1.105688214922993,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": true,
      "cut_ge_gamma": true
    },
    {
      "R": 12,
      "n": 22,
      "n_faces": 4194303,
      "slsqp_phi": 0.9069245919372396,
      "target_suggest": 0.9068,
      "q_hi": 1.1195762911579943,
      "P_max_hi": 0.05641518621283777,
      "err_P_hi": 0.00597394753330731,
      "gamma_pred": 0.9008260524666928,
      "inv_pred": 1.1100922284182873,
      "cut_R_over_R1": 0.9230769230769231,
      "split_gamma": 0.9008260524666928,
      "split_inv": 1.1100922284182873,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": false,
      "cut_ge_gamma": true
    },
    {
      "R": 12,
      "n": 24,
      "n_faces": 16777215,
      "slsqp_phi": 0.9077730525086324,
      "target_suggest": 0.9076,
      "q_hi": 1.1090876906620013,
      "P_max_hi": 0.05172269087956266,
      "err_P_hi": 0.005477047269333781,
      "gamma_pred": 0.9021229527306662,
      "inv_pred": 1.1084963496085167,
      "cut_R_over_R1": 0.9230769230769231,
      "split_gamma": 0.9021229527306662,
      "split_inv": 1.1084963496085167,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": true,
      "cut_ge_gamma": true
    },
    {
      "R": 12,
      "n": 26,
      "n_faces": 67108863,
      "slsqp_phi": 0.908528268693359,
      "target_suggest": 0.9084,
      "q_hi": 1.100289506258344,
      "P_max_hi": 0.04775032487640683,
      "err_P_hi": 0.005056403331433484,
      "gamma_pred": 0.9033435966685665,
      "inv_pred": 1.106998492808154,
      "cut_R_over_R1": 0.9230769230769231,
      "split_gamma": 0.9033435966685665,
      "split_inv": 1.106998492808154,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": true,
      "cut_ge_gamma": true
    },
    {
      "R": 12,
      "n": 28,
      "n_faces": 268435455,
      "slsqp_phi": 0.9092048249136097,
      "target_suggest": 0.9091,
      "q_hi": 1.0928037769740904,
      "P_max_hi": 0.044344232361942675,
      "err_P_hi": 0.004695723533298397,
      "gamma_pred": 0.9044042764667016,
      "inv_pred": 1.1057002117534966,
      "cut_R_over_R1": 0.9230769230769231,
      "split_gamma": 0.9044042764667016,
      "split_inv": 1.1057002117534966,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": true,
      "cut_ge_gamma": true
    },
    {
      "R": 14,
      "n": 24,
      "n_faces": 16777215,
      "slsqp_phi": 0.9071922579103874,
      "target_suggest": 0.907,
      "q_hi": 1.1162342262250091,
      "P_max_hi": 0.054925028989985955,
      "err_P_hi": 0.005816150995472433,
      "gamma_pred": 0.9011838490045276,
      "inv_pred": 1.1096514890991749,
      "cut_R_over_R1": 0.9333333333333333,
      "split_gamma": 0.9011838490045276,
      "split_inv": 1.1096514890991749,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": false,
      "cut_ge_gamma": true
    },
    {
      "R": 16,
      "n": 26,
      "n_faces": 67108863,
      "slsqp_phi": 0.9074944984627362,
      "target_suggest": 0.9073,
      "q_hi": 1.1125314760964868,
      "P_max_hi": 0.05326854409971745,
      "err_P_hi": 0.005640741597959384,
      "gamma_pred": 0.9016592584020406,
      "inv_pred": 1.1090664135942474,
      "cut_R_over_R1": 0.9411764705882353,
      "split_gamma": 0.9016592584020406,
      "split_inv": 1.1090664135942474,
      "beats_1.1118_if_certified": true,
      "beats_1.108741_if_certified": false,
      "cut_ge_gamma": true
    }
  ]
}