files / problems / covering / share / 2026-08-16 / result / data / family_table.json
[
{
"density": 1.24609375,
"density_den": 256,
"density_num": 319,
"from_r": null,
"improvement": 1,
"m": null,
"n": 50,
"p_bound": 10,
"published": 51,
"published_label": "KR 2003",
"r": 10,
"reachable": 1,
"step": "seed"
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 107,
"published_label": "phi(12)",
"r": 12,
"reachable": 0,
"step": null
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 215,
"published_label": "phi(14)",
"r": 14,
"reachable": 0,
"step": null
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 431,
"published_label": "phi(16)",
"r": 16,
"reachable": 0,
"step": null
},
{
"density": 1.2684669494628906,
"density_den": 262144,
"density_num": 332521,
"from_r": 10,
"improvement": 16,
"m": 4,
"n": 815,
"p_bound": 33,
"published": 831,
"published_label": "Phi(18)",
"r": 18,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.269242286682129,
"density_den": 1048576,
"density_num": 1330897,
"from_r": 10,
"improvement": 32,
"m": 5,
"n": 1631,
"p_bound": 65,
"published": 1663,
"published_label": "Phi(20)",
"r": 20,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 3389,
"published_label": "Phihat(22)",
"r": 22,
"reachable": 0,
"step": null
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 6781,
"published_label": "Phihat(24)",
"r": 24,
"reachable": 0,
"step": null
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 13565,
"published_label": "Phihat(26)",
"r": 26,
"reachable": 0,
"step": null
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 26623,
"published_label": "Phi(28)",
"r": 28,
"reachable": 0,
"step": null
},
{
"density": 1.2699952134862542,
"density_den": 1073741824,
"density_num": 1363646977,
"from_r": 18,
"improvement": 1024,
"m": 6,
"n": 52223,
"p_bound": 129,
"published": 53247,
"published_label": "Phi(30)",
"r": 30,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700073721352965,
"density_den": 4294967296,
"density_num": 5454640129,
"from_r": 18,
"improvement": 2048,
"m": 7,
"n": 104447,
"p_bound": 257,
"published": 106495,
"published_label": "Phi(32)",
"r": 32,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700134516344406,
"density_den": 17179869184,
"density_num": 21818664961,
"from_r": 20,
"improvement": 4096,
"m": 7,
"n": 208895,
"p_bound": 257,
"published": 212991,
"published_label": "Phi(34)",
"r": 34,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700164914276684,
"density_den": 68719476736,
"density_num": 87274868737,
"from_r": 20,
"improvement": 8192,
"m": 8,
"n": 417791,
"p_bound": 513,
"published": 425983,
"published_label": "Phi(36)",
"r": 36,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700180113351962,
"density_den": 274877906944,
"density_num": 349099892737,
"from_r": 20,
"improvement": 16384,
"m": 9,
"n": 835583,
"p_bound": 1025,
"published": 851967,
"published_label": "Phi(38)",
"r": 38,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700187712916886,
"density_den": 1099511627776,
"density_num": 1396400406529,
"from_r": 20,
"improvement": 32768,
"m": 10,
"n": 1671167,
"p_bound": 2049,
"published": 1703935,
"published_label": "Phi(40)",
"r": 40,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 3407871,
"published_label": "Phi(42)",
"r": 42,
"reachable": 0,
"step": null
},
{
"density": null,
"density_den": null,
"density_num": null,
"from_r": null,
"improvement": null,
"m": null,
"n": null,
"p_bound": null,
"published": 6815743,
"published_label": "Phi(44)",
"r": 44,
"reachable": 0,
"step": null
},
{
"density": 1.2700194362551116,
"density_den": 70368744177664,
"density_num": 89369672810497,
"from_r": 30,
"improvement": 262144,
"m": 8,
"n": 13369343,
"p_bound": 513,
"published": 13631487,
"published_label": "Phi(46)",
"r": 46,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700194837525522,
"density_den": 281474976710656,
"density_num": 357478704611329,
"from_r": 30,
"improvement": 524288,
"m": 9,
"n": 26738687,
"p_bound": 1025,
"published": 27262975,
"published_label": "Phi(48)",
"r": 48,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700195075012752,
"density_den": 1125899906842624,
"density_num": 1429914845184001,
"from_r": 32,
"improvement": 1048576,
"m": 9,
"n": 53477375,
"p_bound": 1025,
"published": 54525951,
"published_label": "Phi(50)",
"r": 50,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700195193756374,
"density_den": 4503599627370496,
"density_num": 5719659434213377,
"from_r": 34,
"improvement": 2097152,
"m": 9,
"n": 106954751,
"p_bound": 1025,
"published": 109051903,
"published_label": "Phi(52)",
"r": 52,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700195253128186,
"density_den": 18014398509481984,
"density_num": 22878637843808257,
"from_r": 34,
"improvement": 4194304,
"m": 10,
"n": 213909503,
"p_bound": 2049,
"published": 218103807,
"published_label": "Phi(54)",
"r": 54,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700195282814093,
"density_den": 72057594037927936,
"density_num": 91514551589142529,
"from_r": 36,
"improvement": 8388608,
"m": 10,
"n": 427819007,
"p_bound": 2049,
"published": 436207615,
"published_label": "Phi(56)",
"r": 56,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700195297657046,
"density_den": 288230376151711744,
"density_num": 366058206784389121,
"from_r": 36,
"improvement": 16777216,
"m": 11,
"n": 855638015,
"p_bound": 4097,
"published": 872415231,
"published_label": "Phi(58)",
"r": 58,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700195305078523,
"density_den": 1152921504606846976,
"density_num": 1464232827993194497,
"from_r": 38,
"improvement": 33554432,
"m": 11,
"n": 1711276031,
"p_bound": 4097,
"published": 1744830463,
"published_label": "Phi(60)",
"r": 60,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.2700195308789262,
"density_den": 4611686018427387904,
"density_num": 5856931313684054017,
"from_r": 38,
"improvement": 67108864,
"m": 12,
"n": 3422552063,
"p_bound": 8193,
"published": 3489660927,
"published_label": "Phi(62)",
"r": 62,
"reachable": 1,
"step": "QM_2^2"
},
{
"density": 1.270019531064463,
"density_den": 18446744073709551616,
"density_num": 23427725258158768129,
"from_r": 40,
"improvement": 134217728,
"m": 12,
"n": 6845104127,
"p_bound": 8193,
"published": 6979321855,
"published_label": "Phi(64)",
"r": 64,
"reachable": 1,
"step": "QM_2^2"
}
]