files / problems / union-closed / compute / best_on_ray.json
{
"ex5": {
"best_envelope": {
"b": 0.05,
"beta": 0.0,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
"verify": {
"at_best": {
"c": 0.40983704541217325,
"min_ratio": 0.9549051842764144,
"arg": {
"a": 0.04607142857142857,
"b": 0.38133333333333336,
"mean": 0.40983619047619047,
"ratio": 0.9549051842764144
},
"n_checked": 951900
},
"minus_2e-6": {
"c": 0.40983504541217325,
"min_ratio": 0.9549167013502293,
"arg": {
"a": 0.05178571428571429,
"b": 0.3776,
"mean": 0.4098314285714285,
"ratio": 0.9549167013502293
},
"n_checked": 951893
},
"minus_1e-5": {
"c": 0.40982704541217324,
"min_ratio": 0.9549317980636489,
"arg": {
"a": 0.04357142857142857,
"b": 0.38293333333333335,
"mean": 0.40981980952380953,
"ratio": 0.9549317980636489
},
"n_checked": 951848
},
"liu_c": {
"c": 0.38270908792,
"min_ratio": 0.9988054753612343,
"arg": {
"a": 0.0017857142857142857,
"b": 0.3816,
"mean": 0.3827042857142857,
"ratio": 0.9988054753612343
},
"n_checked": 813803
}
},
"beta_curve_sample": [
{
"b": 0.05,
"beta": 0.0,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.05,
"a": 0.37828458192640846,
"mean": 0.40937035283008805,
"Hmix": 0.4606560313452863,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.1,
"a": 0.377792549006281,
"mean": 0.40890292155596697,
"Hmix": 0.46029175102058895,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.15,
"a": 0.37729973666799155,
"mean": 0.40843474983459205,
"Hmix": 0.4599274706958914,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.2,
"a": 0.37680614305808446,
"mean": 0.4079658359051803,
"Hmix": 0.45956319037119403,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.25,
"a": 0.3763117663172222,
"mean": 0.40749617800136106,
"Hmix": 0.45919891004649654,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.3,
"a": 0.3758166045801631,
"mean": 0.40702577435115495,
"Hmix": 0.4588346297217991,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.35,
"a": 0.3753206559757368,
"mean": 0.40655462317695,
"Hmix": 0.45847034939710163,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.4,
"a": 0.37482391862682163,
"mean": 0.4060827226954806,
"Hmix": 0.45810606907240414,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.45,
"a": 0.3743263906503205,
"mean": 0.40561007111780445,
"Hmix": 0.45774178874770677,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.5,
"a": 0.3738280701571367,
"mean": 0.40513666664927994,
"Hmix": 0.4573775084230093,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.55,
"a": 0.3733289552521508,
"mean": 0.40466250748954335,
"Hmix": 0.45701322809831185,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.6,
"a": 0.37282904403419614,
"mean": 0.4041875918324863,
"Hmix": 0.4566489477736144,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.65,
"a": 0.37232833459603465,
"mean": 0.40371191786623295,
"Hmix": 0.45628466744891694,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.7,
"a": 0.37182682502433284,
"mean": 0.40323548377311624,
"Hmix": 0.45592038712421945,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.75,
"a": 0.37132451339963757,
"mean": 0.4027582877296557,
"Hmix": 0.455556106799522,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.8,
"a": 0.3708213977963507,
"mean": 0.40228032790653323,
"Hmix": 0.4551918264748246,
"hb": 0.2863969571159562
},
{
"b": 0.40305599999999997,
"beta": 0.85,
"a": 0.00010196913908133709,
"mean": 0.4031168698657598,
"Hmix": 0.9728093901651138,
"hb": 0.9727101936291084
},
{
"b": 0.40481599999999995,
"beta": 0.9,
"a": 3.4330158298345737e-06,
"mean": 0.4048180432760936,
"Hmix": 0.973701496751685,
"hb": 0.9736981540190331
},
{
"b": 0.4064,
"beta": 0.95,
"a": 0.00019391658004364043,
"mean": 0.4065151088819139,
"Hmix": 0.9747604815020671,
"hb": 0.9745714592831325
},
{
"b": 0.408336,
"beta": 1.0,
"a": 5.466477751248089e-05,
"mean": 0.4083683431809222,
"Hmix": 0.9756717918474673,
"hb": 0.9756184569660408
}
]
},
"ex4": {
"best_envelope": {
"b": 0.49,
"beta": 1.0,
"a": 0.000288558247189985,
"mean": 0.4901471647060669,
"Hmix": 1.0,
"hb": 0.99971144175281
},
"verify": {
"at_best": {
"c": 0.4901471647060669,
"min_ratio": 0.82642884437903,
"arg": {
"a": 0.2735714285714286,
"b": 0.29813333333333336,
"mean": 0.490144,
"ratio": 0.82642884437903
},
"n_checked": 1439982
},
"minus_2e-6": {
"c": 0.4901451647060669,
"min_ratio": 0.82642884437903,
"arg": {
"a": 0.2735714285714286,
"b": 0.29813333333333336,
"mean": 0.490144,
"ratio": 0.82642884437903
},
"n_checked": 1439976
},
"minus_1e-5": {
"c": 0.4901371647060669,
"min_ratio": 0.8264524389092875,
"arg": {
"a": 0.27464285714285713,
"b": 0.29706666666666665,
"mean": 0.4901222857142857,
"ratio": 0.8264524389092875
},
"n_checked": 1439918
},
"liu_c": {
"c": 0.38270908792,
"min_ratio": 1.0005565492494077,
"arg": {
"a": 0.1225,
"b": 0.29653333333333337,
"mean": 0.382708,
"ratio": 1.0005565492494077
},
"n_checked": 813803
}
},
"beta_curve_sample": [
{
"b": 0.05,
"beta": 0.0,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.05,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.1,
"a": 0.37877583727597197,
"mean": 0.40983704541217336,
"Hmix": 0.46102031166998386,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.15,
"a": 0.37877583727597175,
"mean": 0.40983704541217314,
"Hmix": 0.46102031166998375,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.2,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.25,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.3,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.35,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.4,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.45,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.5,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.55,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.6,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.05,
"beta": 0.65,
"a": 0.37877583727597186,
"mean": 0.40983704541217325,
"Hmix": 0.4610203116699838,
"hb": 0.2863969571159562
},
{
"b": 0.413792,
"beta": 0.7,
"a": 2.963733845451344e-05,
"mean": 0.41380937364490067,
"Hmix": 0.9784777742588294,
"hb": 0.9784487747818635
},
{
"b": 0.41836799999999996,
"beta": 0.75,
"a": 0.00011071984021493453,
"mean": 0.4184323982021039,
"Hmix": 0.9807946357525726,
"hb": 0.9806860423272185
},
{
"b": 0.424,
"beta": 0.8,
"a": 7.821588767953358e-05,
"mean": 0.4240450523513033,
"Hmix": 0.9833461243865337,
"hb": 0.9832692110965185
},
{
"b": 0.43104,
"beta": 0.85,
"a": 2.199277503200925e-05,
"mean": 0.43105251300928216,
"Hmix": 0.9862564353632615,
"hb": 0.9862347448473546
},
{
"b": 0.44019199999999997,
"beta": 0.9,
"a": 5.053484083961113e-05,
"mean": 0.4402202898081806,
"Hmix": 0.9897042291242868,
"hb": 0.9896542145785897
},
{
"b": 0.454096,
"beta": 0.95,
"a": 3.109532844047802e-05,
"mean": 0.454112975064177,
"Hmix": 0.993942308664629,
"hb": 0.9939114017020901
},
{
"b": 0.49,
"beta": 1.0,
"a": 0.000288558247189985,
"mean": 0.4901471647060669,
"Hmix": 1.0,
"hb": 0.99971144175281
}
]
},
"liu_published_replay": {
"min_ratio": 1.000024032781677,
"arg": {
"a": 0.115625,
"b": 0.302,
"mean": 0.38270625,
"ratio": 1.000024032781677
},
"n_checked": 1033207
}
}