files / problems / union-closed / compute / refine_rays.json
{
"closed_form": {
"x": 0.7071067811865475,
"p": 0.8724293398564681,
"c4": 0.3830992976813884,
"formula": "1 - h(2^{-1/2}) / sqrt(2)",
"liu": 0.382709087918735,
"cstar": 0.382345533366703,
"phi": 0.3819660112501051
},
"rays": {
"iid": {
"weights": {
"iid": 1,
"max": 0,
"ex4": 0,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9817427344426768,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 0.9988086672842128,
"min_ratio_le_0.38280": 0.9986745177384314,
"min_ratio_le_0.38300": 0.998338386579233,
"min_ratio_le_0.38310": 0.9981679791478663
},
"sawin": {
"weights": {
"iid": 0.96439302,
"max": 0.03560698,
"ex4": 0,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9680400304751434,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 0.9994163217765349,
"min_ratio_le_0.38280": 0.9992787922527646,
"min_ratio_le_0.38300": 0.9989504097028699,
"min_ratio_le_0.38310": 0.9987746546416248
},
"liu_ex5": {
"weights": {
"iid": 0.89994744,
"max": 0,
"ex4": 0,
"ex5": 0.10005256
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9801449535523566,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 1.0000022263915915,
"min_ratio_le_0.38280": 0.999860326801925,
"min_ratio_le_0.38300": 0.9995508804693872,
"min_ratio_le_0.38310": 0.9993781499932043
},
"ex4_b08": {
"weights": {
"iid": 0.92,
"max": 0,
"ex4": 0.08,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9817427344426768,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 0.99998103408174,
"min_ratio_le_0.38280": 0.9998600697511173,
"min_ratio_le_0.38300": 0.9995359698987175,
"min_ratio_le_0.38310": 0.9993481954172018
},
"ex4_b10": {
"weights": {
"iid": 0.9,
"max": 0,
"ex4": 0.1,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9817427344426768,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 1.0000924340666457,
"min_ratio_le_0.38280": 0.9999430251020647,
"min_ratio_le_0.38300": 0.999618898360085,
"min_ratio_le_0.38310": 0.9994528591888805
},
"ex4_b12": {
"weights": {
"iid": 0.88,
"max": 0,
"ex4": 0.12,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9817427344426768,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 1.0001628828443878,
"min_ratio_le_0.38280": 0.9999990179388675,
"min_ratio_le_0.38300": 0.9996806640353745,
"min_ratio_le_0.38310": 0.9995448222813551
},
"ex4_b16": {
"weights": {
"iid": 0.84,
"max": 0,
"ex4": 0.16,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9817427344426767,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 1.000239809845372,
"min_ratio_le_0.38280": 1.0000927672582536,
"min_ratio_le_0.38300": 0.9997839911871307,
"min_ratio_le_0.38310": 0.9996137663497034
},
"ex4_b20": {
"weights": {
"iid": 0.8,
"max": 0,
"ex4": 0.2,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9817427344426768,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 1.00030502144541,
"min_ratio_le_0.38280": 1.0001842630448343,
"min_ratio_le_0.38300": 0.9998536569015891,
"min_ratio_le_0.38310": 0.999682703345598
},
"triple_sawin_ex4": {
"weights": {
"iid": 0.9,
"max": 0.03,
"ex4": 0.07,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9701977755883735,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 0.9997238463135534,
"min_ratio_le_0.38280": 0.9995711330583119,
"min_ratio_le_0.38300": 0.9992639152531867,
"min_ratio_le_0.38310": 0.9990931152896196
},
"triple_eq": {
"weights": {
"iid": 0.86,
"max": 0.0356,
"ex4": 0.1044,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9680427166022368,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 0.9997110039689956,
"min_ratio_le_0.38280": 0.999581350514399,
"min_ratio_le_0.38300": 0.9992538377968848,
"min_ratio_le_0.38310": 0.9990841664464822
},
"triple_more_ex4": {
"weights": {
"iid": 0.82,
"max": 0.03,
"ex4": 0.15,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9701977755883733,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 0.9998542695136289,
"min_ratio_le_0.38280": 0.9997128072292826,
"min_ratio_le_0.38300": 0.9993799223861844,
"min_ratio_le_0.38310": 0.9992309892814082
},
"triple_more_max": {
"weights": {
"iid": 0.88,
"max": 0.06,
"ex4": 0.06,
"ex5": 0
},
"max_mean_ratio_le_1": 0.42000000000000004,
"at": {
"ratio": 0.9586528167340701,
"mean": 0.42000000000000004,
"a": 0.3882129322179071,
"b": 0.05195773081201335
},
"min_ratio_le_0.382709": 0.9993232954940202,
"min_ratio_le_0.38280": 0.9991739292122945,
"min_ratio_le_0.38300": 0.9988211969152158,
"min_ratio_le_0.38310": 0.9986742749764781
}
},
"interior": {
"liu_ex5": {
"global_min": 0.04154697579087082,
"at_mean": 0.9786122448979593,
"at": {
"x": 0.9786122448979593,
"y": 0.9786122448979593,
"p": 0.14307692307692307
},
"cstar": {
"min_ratio": 1.0031530427985227,
"mean": 0.38194106750392465,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2661538461538462
},
"liu": {
"min_ratio": 1.002280287315474,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38280": {
"min_ratio": 1.002280287315474,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38300": {
"min_ratio": 1.0015673281682413,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"c4": {
"min_ratio": 1.0015673281682413,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"max_mean_r_le_1": {
"ratio": 0.04154697579087082,
"mean": 0.9786122448979594,
"x": 0.9786122448979593,
"y": 0.9786122448979593,
"p": 0.24153846153846154
}
},
"ex4_b10": {
"global_min": 0.13069681486199197,
"at_mean": 0.9727782103610676,
"at": {
"x": 0.9378367346938776,
"y": 0.9786122448979593,
"p": 0.14307692307692307
},
"cstar": {
"min_ratio": 1.004347325217343,
"mean": 0.38194106750392465,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2661538461538462
},
"liu": {
"min_ratio": 1.0035291978811347,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38280": {
"min_ratio": 1.0035291978811347,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38300": {
"min_ratio": 1.0028001144592655,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"c4": {
"min_ratio": 1.0028001144592655,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"max_mean_r_le_1": {
"ratio": 0.13460096341764935,
"mean": 0.9786122448979594,
"x": 0.9786122448979593,
"y": 0.9786122448979593,
"p": 0.24153846153846154
}
},
"ex4_b16": {
"global_min": 0.17602436986782274,
"at_mean": 0.9640271585557301,
"at": {
"x": 0.8766734693877551,
"y": 0.9786122448979593,
"p": 0.14307692307692307
},
"cstar": {
"min_ratio": 1.0068941358112997,
"mean": 0.38194106750392465,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2661538461538462
},
"liu": {
"min_ratio": 1.006117650027752,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38280": {
"min_ratio": 1.006117650027752,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38300": {
"min_ratio": 1.0053978016275615,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"c4": {
"min_ratio": 1.0053978016275615,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"max_mean_r_le_1": {
"ratio": 0.19229423252313937,
"mean": 0.9786122448979594,
"x": 0.9786122448979593,
"y": 0.9786122448979593,
"p": 0.24153846153846154
}
},
"triple_eq": {
"global_min": 0.16156395303238796,
"at_mean": 0.9669441758241759,
"at": {
"x": 0.897061224489796,
"y": 0.9786122448979593,
"p": 0.14307692307692307
},
"cstar": {
"min_ratio": 1.0060465371633658,
"mean": 0.38194106750392465,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2661538461538462
},
"liu": {
"min_ratio": 1.0052582083527994,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38280": {
"min_ratio": 1.0052582083527994,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38300": {
"min_ratio": 1.0045330688790073,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"c4": {
"min_ratio": 1.0045330688790073,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"max_mean_r_le_1": {
"ratio": 0.17306314282130938,
"mean": 0.9786122448979594,
"x": 0.9786122448979593,
"y": 0.9786122448979593,
"p": 0.24153846153846154
}
},
"triple_more_ex4": {
"global_min": 0.18992745596896699,
"at_mean": 0.9615178963893249,
"at": {
"x": 0.8766734693877551,
"y": 0.9786122448979593,
"p": 0.16769230769230767
},
"cstar": {
"min_ratio": 1.00774420038667,
"mean": 0.38194106750392465,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2661538461538462
},
"liu": {
"min_ratio": 1.0069833121070815,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38280": {
"min_ratio": 1.0069833121070815,
"mean": 0.3825370172684458,
"x": 0.3465918367346939,
"y": 0.3873673469387755,
"p": 0.11846153846153847
},
"c38300": {
"min_ratio": 1.0062646773847745,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"c4": {
"min_ratio": 1.0062646773847745,
"mean": 0.3829447723704867,
"x": 0.36697959183673473,
"y": 0.3873673469387755,
"p": 0.2169230769230769
},
"max_mean_r_le_1": {
"ratio": 0.21152532222496936,
"mean": 0.9786122448979594,
"x": 0.9786122448979593,
"y": 0.9786122448979593,
"p": 0.24153846153846154
}
}
}
}