files / problems / simon-ionization-excess / compute / q6 / certs / scan_compact.json
{
"note": "Predicted only. Face copositivity at target_suggest is required before quoting split_inv as a leading coefficient.",
"q5_leading": 1.1035,
"fmin": 0.8941074569749823,
"best_split": {
"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.1035_if_certified": true,
"cut_ge_gamma": true
},
"rows": [
{
"R": 9.0,
"n": 32,
"n_faces": 4294967295,
"slsqp_phi": 0.9113473512280296,
"target_suggest": 0.9112,
"P_max_hi": 0.03431815192339476,
"err_P_hi": 0.0036340363790871738,
"gamma_pred": 0.9075659636209128,
"inv_pred": 1.101848284404919,
"cut_R_over_R1": 0.9,
"split_gamma": 0.9,
"split_inv": 1.1111111111111112,
"beats_1.1035_if_certified": false,
"cut_ge_gamma": false
},
{
"R": 9.5,
"n": 32,
"n_faces": 4294967295,
"slsqp_phi": 0.9111558183802073,
"target_suggest": 0.911,
"P_max_hi": 0.03516193264074674,
"err_P_hi": 0.0037233864650030486,
"gamma_pred": 0.907276613534997,
"inv_pred": 1.1021996875944233,
"cut_R_over_R1": 0.9047619047619048,
"split_gamma": 0.9047619047619048,
"split_inv": 1.1052631578947367,
"beats_1.1035_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.1035_if_certified": true,
"cut_ge_gamma": true
},
{
"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.1035_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 30,
"n_faces": 1073741823,
"slsqp_phi": 0.9104583636277934,
"target_suggest": 0.9103,
"P_max_hi": 0.03835758969177434,
"err_P_hi": 0.00406178271677219,
"gamma_pred": 0.9062382172832278,
"inv_pred": 1.1034626226621258,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9062382172832278,
"split_inv": 1.1034626226621258,
"beats_1.1035_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 31,
"n_faces": 2147483647,
"slsqp_phi": 0.9107231845895241,
"target_suggest": 0.9106,
"P_max_hi": 0.03712140404871473,
"err_P_hi": 0.0039308798753775916,
"gamma_pred": 0.9066691201246224,
"inv_pred": 1.1029381918979981,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9066691201246224,
"split_inv": 1.1029381918979981,
"beats_1.1035_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.1035_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.1035_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.1035_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.5,
"n": 32,
"n_faces": 4294967295,
"slsqp_phi": 0.9108107752149603,
"target_suggest": 0.9107,
"P_max_hi": 0.03672371610366828,
"err_P_hi": 0.003888767687546229,
"gamma_pred": 0.9068112323124538,
"inv_pred": 1.1027653433999778,
"cut_R_over_R1": 0.9130434782608695,
"split_gamma": 0.9068112323124538,
"split_inv": 1.1027653433999778,
"beats_1.1035_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 11.0,
"n": 32,
"n_faces": 4294967295,
"slsqp_phi": 0.910651969854216,
"target_suggest": 0.9105,
"P_max_hi": 0.03744959155720181,
"err_P_hi": 0.0039656324852403325,
"gamma_pred": 0.9065343675147597,
"inv_pred": 1.1031021391295666,
"cut_R_over_R1": 0.9166666666666666,
"split_gamma": 0.9065343675147597,
"split_inv": 1.1031021391295666,
"beats_1.1035_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 12.0,
"n": 32,
"n_faces": 4294967295,
"slsqp_phi": 0.9103590618926285,
"target_suggest": 0.9102,
"P_max_hi": 0.03880716763109086,
"err_P_hi": 0.004109389668054363,
"gamma_pred": 0.9060906103319456,
"inv_pred": 1.1036423825578003,
"cut_R_over_R1": 0.9230769230769231,
"split_gamma": 0.9060906103319456,
"split_inv": 1.1036423825578003,
"beats_1.1035_if_certified": false,
"cut_ge_gamma": true
}
]
}