files / problems / simon-ionization-excess / compute / q5 / certs / scan_compact.json
{
"note": "Predicted only. Face copositivity at target_suggest is required before quoting split_inv as a leading coefficient.",
"q4_leading": 1.1057,
"fmin": 0.8941074569749823,
"best_split": {
"R": 10.0,
"n": 30,
"n_faces": 1073741823,
"slsqp_phi": 0.9104583636277934,
"target_suggest": 0.9103,
"q_hi": 1.0797751623277096,
"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.1057_if_certified": true,
"cut_ge_gamma": true
},
"rows": [
{
"R": 9.0,
"n": 26,
"n_faces": 67108863,
"slsqp_phi": 0.9096366899260131,
"target_suggest": 0.9095,
"q_hi": 1.0881822434633168,
"P_max_hi": 0.0422291894011433,
"err_P_hi": 0.00447175625557219,
"gamma_pred": 0.9050282437444278,
"inv_pred": 1.1049378921729998,
"cut_R_over_R1": 0.9,
"split_gamma": 0.9,
"split_inv": 1.1111111111111112,
"beats_1.1057_if_certified": false,
"cut_ge_gamma": false
},
{
"R": 9.5,
"n": 26,
"n_faces": 67108863,
"slsqp_phi": 0.9094277734121189,
"target_suggest": 0.9093,
"q_hi": 1.0904474821747407,
"P_max_hi": 0.043267043513882594,
"err_P_hi": 0.004581657266859126,
"gamma_pred": 0.9047183427331409,
"inv_pred": 1.1053163761210087,
"cut_R_over_R1": 0.9047619047619048,
"split_gamma": 0.9047183427331409,
"split_inv": 1.1053163761210087,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 9.6,
"n": 26,
"n_faces": 67108863,
"slsqp_phi": 0.9093867436505486,
"target_suggest": 0.9092,
"q_hi": 1.0908867399524704,
"P_max_hi": 0.04346803593700946,
"err_P_hi": 0.00460294086567279,
"gamma_pred": 0.9045970591343272,
"inv_pred": 1.105464571106356,
"cut_R_over_R1": 0.9056603773584906,
"split_gamma": 0.9045970591343272,
"split_inv": 1.105464571106356,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 9.7,
"n": 26,
"n_faces": 67108863,
"slsqp_phi": 0.9093447907198402,
"target_suggest": 0.9092,
"q_hi": 1.0913216199563467,
"P_max_hi": 0.04366694203555976,
"err_P_hi": 0.004624003538271466,
"gamma_pred": 0.9045759964617286,
"inv_pred": 1.1054903113851404,
"cut_R_over_R1": 0.9065420560747663,
"split_gamma": 0.9045759964617286,
"split_inv": 1.1054903113851404,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 9.8,
"n": 26,
"n_faces": 67108863,
"slsqp_phi": 0.9093036652796894,
"target_suggest": 0.9092,
"q_hi": 1.0917522102797013,
"P_max_hi": 0.04386380462695082,
"err_P_hi": 0.0046448498187003605,
"gamma_pred": 0.9045551501812996,
"inv_pred": 1.1055157883956224,
"cut_R_over_R1": 0.9074074074074074,
"split_gamma": 0.9045551501812996,
"split_inv": 1.1055157883956224,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 9.9,
"n": 26,
"n_faces": 67108863,
"slsqp_phi": 0.9092633254793822,
"target_suggest": 0.9091,
"q_hi": 1.0921785963666066,
"P_max_hi": 0.04405866522422559,
"err_P_hi": 0.00466548410288116,
"gamma_pred": 0.9044345158971189,
"inv_pred": 1.1056632430796702,
"cut_R_over_R1": 0.908256880733945,
"split_gamma": 0.9044345158971189,
"split_inv": 1.1056632430796702,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"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.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 27,
"n_faces": 134217727,
"slsqp_phi": 0.9095583921685909,
"target_suggest": 0.9094,
"q_hi": 1.0890229622637302,
"P_max_hi": 0.04261464037104794,
"err_P_hi": 0.004512572638986851,
"gamma_pred": 0.9048874273610131,
"inv_pred": 1.1051098399238128,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9048874273610131,
"split_inv": 1.1051098399238128,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 28,
"n_faces": 268435455,
"slsqp_phi": 0.9098741562510729,
"target_suggest": 0.9097,
"q_hi": 1.0857111194022042,
"P_max_hi": 0.04109443470137431,
"err_P_hi": 0.0043515941947040605,
"gamma_pred": 0.9053484058052959,
"inv_pred": 1.1045471484654714,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9053484058052959,
"split_inv": 1.1045471484654714,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 29,
"n_faces": 536870911,
"slsqp_phi": 0.9101719224387652,
"target_suggest": 0.91,
"q_hi": 1.0826367338740543,
"P_max_hi": 0.03967889960355027,
"err_P_hi": 0.004201699583454305,
"gamma_pred": 0.9057983004165457,
"inv_pred": 1.1039985386814417,
"cut_R_over_R1": 0.9090909090909091,
"split_gamma": 0.9057983004165457,
"split_inv": 1.1039985386814417,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.0,
"n": 30,
"n_faces": 1073741823,
"slsqp_phi": 0.9104583636277934,
"target_suggest": 0.9103,
"q_hi": 1.0797751623277096,
"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.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 10.5,
"n": 26,
"n_faces": 67108863,
"slsqp_phi": 0.9090356840955262,
"target_suggest": 0.9089,
"q_hi": 1.09465310051261,
"P_max_hi": 0.04518795999654842,
"err_P_hi": 0.004785067998147283,
"gamma_pred": 0.9041149320018528,
"inv_pred": 1.106054069680989,
"cut_R_over_R1": 0.9130434782608695,
"split_gamma": 0.9041149320018528,
"split_inv": 1.106054069680989,
"beats_1.1057_if_certified": false,
"cut_ge_gamma": true
},
{
"R": 10.5,
"n": 28,
"n_faces": 268435455,
"slsqp_phi": 0.909691133881299,
"target_suggest": 0.9095,
"q_hi": 1.087604626638119,
"P_max_hi": 0.04196418494204887,
"err_P_hi": 0.0044436942594857105,
"gamma_pred": 0.9050563057405142,
"inv_pred": 1.1049036326881376,
"cut_R_over_R1": 0.9130434782608695,
"split_gamma": 0.9050563057405142,
"split_inv": 1.1049036326881376,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 11.0,
"n": 26,
"n_faces": 67108863,
"slsqp_phi": 0.9088613006685391,
"target_suggest": 0.9087,
"q_hi": 1.0966134414086781,
"P_max_hi": 0.04608071259133263,
"err_P_hi": 0.004879603840701166,
"gamma_pred": 0.9038203961592988,
"inv_pred": 1.1064145091761677,
"cut_R_over_R1": 0.9166666666666666,
"split_gamma": 0.9038203961592988,
"split_inv": 1.1064145091761677,
"beats_1.1057_if_certified": false,
"cut_ge_gamma": true
},
{
"R": 11.0,
"n": 28,
"n_faces": 268435455,
"slsqp_phi": 0.9095223914308023,
"target_suggest": 0.9094,
"q_hi": 1.0894131065611496,
"P_max_hi": 0.042793407526915433,
"err_P_hi": 0.00453150274773101,
"gamma_pred": 0.9048684972522689,
"inv_pred": 1.1051329591389336,
"cut_R_over_R1": 0.9166666666666666,
"split_gamma": 0.9048684972522689,
"split_inv": 1.1051329591389336,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
},
{
"R": 12.0,
"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.1057_if_certified": false,
"cut_ge_gamma": true
},
{
"R": 12.0,
"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.1057_if_certified": false,
"cut_ge_gamma": true
},
{
"R": 12.0,
"n": 30,
"n_faces": 1073741823,
"slsqp_phi": 0.9098108290213135,
"target_suggest": 0.9097,
"q_hi": 1.086357352941934,
"P_max_hi": 0.041391448507209494,
"err_P_hi": 0.004383045741917487,
"gamma_pred": 0.9053169542580825,
"inv_pred": 1.1045855214536564,
"cut_R_over_R1": 0.9230769230769231,
"split_gamma": 0.9053169542580825,
"split_inv": 1.1045855214536564,
"beats_1.1057_if_certified": true,
"cut_ge_gamma": true
}
]
}