files / problems / simon-ionization-excess / compute / q7 / certs / scan_compact.json
{
"note": "Predicted only. Face copositivity at target_suggest is required before quoting split_inv as a leading coefficient.",
"q6_leading": 1.1026,
"fmin": 0.8941074569749823,
"best_split": {
"R": 10.0,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9114518727717587,
"target_suggest": 0.9113,
"P_max_hi": 0.03384860948736455,
"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,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
"rows": [
{
"R": 9.0,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9118050172278175,
"target_suggest": 0.9117,
"P_max_hi": 0.03230088542023337,
"err_P_hi": 0.0034204228991082295,
"gamma_pred": 0.9082795771008917,
"inv_pred": 1.100982588634072,
"cut_R_over_R1": 0.9,
"split_gamma": 0.9,
"split_inv": 1.1111111111111112,
"beats_1.1026_if_certified": false,
"cut_ge_gamma": false
},
{
"R": 9.5,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9116229451220789,
"target_suggest": 0.9115,
"P_max_hi": 0.03309514147760062,
"err_P_hi": 0.003504528692835872,
"gamma_pred": 0.9079954713071641,
"inv_pred": 1.1013270788238456,
"cut_R_over_R1": 0.9047619047619048,
"split_gamma": 0.9047619047619048,
"split_inv": 1.1052631578947367,
"beats_1.1026_if_certified": false,
"cut_ge_gamma": false
},
{
"R": 9.8,
"n": 32,
"n_faces": 4294967295,
"slsqp_phi": 0.9110484054267761,
"target_suggest": 0.9109,
"P_max_hi": 0.035647114125425046,
"err_P_hi": 0.0037747635662442884,
"gamma_pred": 0.9071252364337558,
"inv_pred": 1.1023836178688724,
"cut_R_over_R1": 0.9074074074074074,
"split_gamma": 0.9071252364337558,
"split_inv": 1.1023836178688724,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 9.8,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112905370148998,
"target_suggest": 0.9111,
"P_max_hi": 0.034567772718063744,
"err_P_hi": 0.0036604693598265986,
"gamma_pred": 0.9074395306401735,
"inv_pred": 1.1020018042354047,
"cut_R_over_R1": 0.9074074074074074,
"split_gamma": 0.9074074074074074,
"split_inv": 1.1020408163265305,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": false
},
{
"R": 9.8,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9115186406984576,
"target_suggest": 0.9114,
"P_max_hi": 0.03355184826906677,
"err_P_hi": 0.003552890536401019,
"gamma_pred": 0.9078471094635989,
"inv_pred": 1.1015070594770628,
"cut_R_over_R1": 0.9074074074074074,
"split_gamma": 0.9074074074074074,
"split_inv": 1.1020408163265305,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": false
},
{
"R": 9.9,
"n": 32,
"n_faces": 4294967295,
"slsqp_phi": 0.9110137155826077,
"target_suggest": 0.9109,
"P_max_hi": 0.03580554245753279,
"err_P_hi": 0.0037915399452183897,
"gamma_pred": 0.9071084600547816,
"inv_pred": 1.1024040057344504,
"cut_R_over_R1": 0.908256880733945,
"split_gamma": 0.9071084600547816,
"split_inv": 1.1024040057344504,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 9.9,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112553052141645,
"target_suggest": 0.9111,
"P_max_hi": 0.03472141190113462,
"err_P_hi": 0.0036767386036302596,
"gamma_pred": 0.9074232613963698,
"inv_pred": 1.1020215620890856,
"cut_R_over_R1": 0.908256880733945,
"split_gamma": 0.9074232613963698,
"split_inv": 1.1020215620890856,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 32,
"n_faces": 4294967295,
"slsqp_phi": 0.9109795231275686,
"target_suggest": 0.9108,
"P_max_hi": 0.03596237674553022,
"err_P_hi": 0.0038081475268079553,
"gamma_pred": 0.9069918524731921,
"inv_pred": 1.1025457365170288,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9069918524731921,
"split_inv": 1.1025457365170288,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9112207128892256,
"target_suggest": 0.9111,
"P_max_hi": 0.03487350532920953,
"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,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 34,
"n_faces": 17179869183,
"slsqp_phi": 0.9114518727717587,
"target_suggest": 0.9113,
"P_max_hi": 0.03384860948736455,
"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,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 35,
"n_faces": 34359738367,
"slsqp_phi": 0.9116723740887986,
"target_suggest": 0.9115,
"P_max_hi": 0.03288221387453527,
"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,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.5,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9110561536784566,
"target_suggest": 0.9109,
"P_max_hi": 0.03561183203115812,
"err_P_hi": 0.0037710274555591153,
"gamma_pred": 0.9071289725444409,
"inv_pred": 1.1023790775804037,
"cut_R_over_R1": 0.9130434782608695,
"split_gamma": 0.9071289725444409,
"split_inv": 1.1023790775804037,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 11.0,
"n": 33,
"n_faces": 8589934591,
"slsqp_phi": 0.9109025406376022,
"target_suggest": 0.9108,
"P_max_hi": 0.036315769075864764,
"err_P_hi": 0.0038455691393526176,
"gamma_pred": 0.9069544308606474,
"inv_pred": 1.1025912283719235,
"cut_R_over_R1": 0.9166666666666666,
"split_gamma": 0.9069544308606474,
"split_inv": 1.1025912283719235,
"beats_1.1026_if_certified": true,
"cut_ge_gamma": true
}
]
}