files / problems / sidon-second-term / compute / search_results.jsonl
{"tag": "table1-R1-replay", "R": 1, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9461473014450581, "a": 1.7733066036889458, "b": 0.5048166595497499, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "table1-R2-replay", "R": 2, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9450510576567568, "a": 1.226927207526526, "b": 0.7279335694076581, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_cho": true, "beats_published": false}
{"tag": "table1-R3-replay", "R": 3, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9437979300977993, "a": 1.2657575340121527, "b": 0.7037323570442506, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "table1-R4-replay", "R": 4, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9436448861104898, "a": 1.2696806818322341, "b": 0.7013304083649423, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "table1-R5-replay", "R": 5, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9435665925888534, "a": 1.2697740658588317, "b": 0.7011624655033089, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "table1-R6-replay", "R": 6, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9435030630929332, "a": 1.274107955145629, "b": 0.6986833623246618, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "table1-R7-replay", "R": 7, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9434969529873997, "a": 1.275028123070603, "b": 0.6981700906743171, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_cho": true, "beats_published": true}
{"tag": "table1-R8-replay", "R": 8, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9434925900612208, "a": 1.2731623817588364, "b": 0.6991867496671365, "feasible": true, "min_cover_left": 0.999999999999999, "min_cover_right": 0.999999999999999, "beats_cho": true, "beats_published": true}
{"tag": "hz-r8-m32-L4-fixedp", "R": 8, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9434925900612208, "a": 1.2731623817588364, "b": 0.6991867496671365, "feasible": true, "min_cover_left": 0.999999999999999, "min_cover_right": 0.999999999999999, "beats_cho": true, "beats_published": true}
{"tag": "hz-r8-m32-L5-fixedp", "R": 8, "m": 32, "L": 5, "asymmetric": false, "gamma": 0.943492509729883, "a": 1.2731623817588364, "b": 0.6991866306060963, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_cho": true, "beats_published": true}
{"tag": "sym1-m16-L4-seed0", "R": 1, "m": 16, "L": 4, "asymmetric": false, "gamma": 0.9484705196041248, "a": 1.6910705897194789, "b": 0.531968524570785, "feasible": true, "min_cover_left": 0.9999999999999997, "min_cover_right": 0.9999999999999997, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m16-L4-seed1", "R": 1, "m": 16, "L": 4, "asymmetric": false, "gamma": 0.9484705196069004, "a": 1.6910715376190932, "b": 0.5319682263885479, "feasible": true, "min_cover_left": 0.9999999999999997, "min_cover_right": 0.9999999999999997, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m16-L4-seed2", "R": 1, "m": 16, "L": 4, "asymmetric": false, "gamma": 0.9489729510385191, "a": 1.8725487378298982, "b": 0.48092188128913804, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m16-L4-seed3", "R": 1, "m": 16, "L": 4, "asymmetric": false, "gamma": 0.9518060434575006, "a": 2.510610585877655, "b": 0.3608423980437916, "feasible": true, "min_cover_left": 0.9999999933873004, "min_cover_right": 0.9999999933873004, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m16-L4-seed4", "R": 1, "m": 16, "L": 4, "asymmetric": false, "gamma": 0.9518054234897643, "a": 2.494756013319418, "b": 0.3631351360003867, "feasible": true, "min_cover_left": 0.9999999927332733, "min_cover_right": 0.9999999927332733, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m16-L4-seed5", "R": 1, "m": 16, "L": 4, "asymmetric": false, "gamma": 0.9489728652311261, "a": 1.8721378771787658, "b": 0.48102733774184614, "feasible": true, "min_cover_left": 0.9999999999999997, "min_cover_right": 0.9999999999999997, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m24-L4-seed0", "R": 1, "m": 24, "L": 4, "asymmetric": false, "gamma": 0.9496620914264307, "a": 1.5201648772567897, "b": 0.5932633370137248, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m24-L4-seed1", "R": 1, "m": 24, "L": 4, "asymmetric": false, "gamma": 0.946775467924319, "a": 1.7447544362982592, "b": 0.5137592821171539, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m24-L4-seed2", "R": 1, "m": 24, "L": 4, "asymmetric": false, "gamma": 0.9467754679427839, "a": 1.7447355322884872, "b": 0.5137648486602053, "feasible": true, "min_cover_left": 0.9999999999999997, "min_cover_right": 0.9999999999999997, "beats_cho": true, "beats_published": false}
{"tag": "fast-r8-m32-L4", "R": 8, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9434925900612208, "a": 1.2731623817588364, "b": 0.6991867496671365, "feasible": true, "min_cover_left": 0.999999999999999, "min_cover_right": 0.999999999999999, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m32-L5", "R": 8, "m": 32, "L": 5, "asymmetric": false, "gamma": 0.943492509729883, "a": 1.2731623817588364, "b": 0.6991866306060963, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m32-L6", "R": 8, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9434925084844293, "a": 1.2731623817588364, "b": 0.6991866287601791, "feasible": true, "min_cover_left": 0.999999999999999, "min_cover_right": 0.999999999999999, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m32-L7", "R": 8, "m": 32, "L": 7, "asymmetric": false, "gamma": 0.9434925084670628, "a": 1.2731623817588364, "b": 0.6991866287344397, "feasible": true, "min_cover_left": 0.9999999999999992, "min_cover_right": 0.9999999999999992, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m32-L8", "R": 8, "m": 32, "L": 8, "asymmetric": false, "gamma": 0.943492508466575, "a": 1.2731623817588364, "b": 0.6991866287337167, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_cho": true, "beats_published": true}
{"tag": "sym1-m24-L4-seed3", "R": 1, "m": 24, "L": 4, "asymmetric": false, "gamma": 0.9700816431395393, "a": 1.3451211880754341, "b": 0.6996086320688706, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_cho": true, "beats_published": false}
{"tag": "fast-r8-m32-L9", "R": 8, "m": 32, "L": 9, "asymmetric": false, "gamma": 0.9434925084665654, "a": 1.2731623817588364, "b": 0.6991866287337025, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m32-L10", "R": 8, "m": 32, "L": 10, "asymmetric": false, "gamma": 0.9434925084665631, "a": 1.2731623817588364, "b": 0.699186628733699, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m32-L11", "R": 8, "m": 32, "L": 11, "asymmetric": false, "gamma": 0.9434925084665654, "a": 1.2731623817588364, "b": 0.6991866287337025, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m32-L12", "R": 8, "m": 32, "L": 12, "asymmetric": false, "gamma": 0.9434925084665631, "a": 1.2731623817588364, "b": 0.699186628733699, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": true}
{"tag": "sym1-m24-L4-seed4", "R": 1, "m": 24, "L": 4, "asymmetric": false, "gamma": 0.9509395854972899, "a": 1.6194884047524407, "b": 0.5583776287697404, "feasible": true, "min_cover_left": 0.9999999999999997, "min_cover_right": 0.9999999999999997, "beats_cho": true, "beats_published": false}
{"tag": "fast-r8-m64-L4", "R": 8, "m": 64, "L": 4, "asymmetric": false, "gamma": 0.9434925900612274, "a": 1.2731623817588364, "b": 0.6991867496671462, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m64-L5", "R": 8, "m": 64, "L": 5, "asymmetric": false, "gamma": 0.9434925097298914, "a": 1.2731623817588364, "b": 0.6991866306061087, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m64-L6", "R": 8, "m": 64, "L": 6, "asymmetric": false, "gamma": 0.9434925084844353, "a": 1.2731623817588364, "b": 0.699186628760188, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m64-L8", "R": 8, "m": 64, "L": 8, "asymmetric": false, "gamma": 0.9434925084665762, "a": 1.2731623817588364, "b": 0.6991866287337185, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m96-L4", "R": 8, "m": 96, "L": 4, "asymmetric": false, "gamma": 0.9434925900612225, "a": 1.2731623817588362, "b": 0.6991867496671391, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m96-L5", "R": 8, "m": 96, "L": 5, "asymmetric": false, "gamma": 0.9434925097298889, "a": 1.2731623817588362, "b": 0.6991866306061052, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": true}
{"tag": "sym1-m24-L4-seed5", "R": 1, "m": 24, "L": 4, "asymmetric": false, "gamma": 0.9509395854978082, "a": 1.619490740288897, "b": 0.5583768235102289, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": false}
{"tag": "fast-r8-m96-L6", "R": 8, "m": 96, "L": 6, "asymmetric": false, "gamma": 0.9434925084844353, "a": 1.2731623817588362, "b": 0.699186628760188, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m96-L8", "R": 8, "m": 96, "L": 8, "asymmetric": false, "gamma": 0.9434925084665761, "a": 1.2731623817588362, "b": 0.6991866287337185, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m128-L4", "R": 8, "m": 128, "L": 4, "asymmetric": false, "gamma": 0.9434925900612225, "a": 1.2731623817588364, "b": 0.6991867496671391, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_cho": true, "beats_published": true}
{"tag": "sym1-m32-L3-seed0", "R": 1, "m": 32, "L": 3, "asymmetric": false, "gamma": 0.9462328006676093, "a": 1.7692622064616335, "b": 0.5060620804475899, "feasible": true, "min_cover_left": 0.9999999999999997, "min_cover_right": 0.9999999999999997, "beats_cho": true, "beats_published": false}
{"tag": "fast-r8-m128-L5", "R": 8, "m": 128, "L": 5, "asymmetric": false, "gamma": 0.9434925097298877, "a": 1.2731623817588364, "b": 0.6991866306061034, "feasible": true, "min_cover_left": 0.999999999999999, "min_cover_right": 0.999999999999999, "beats_cho": true, "beats_published": true}
{"tag": "fast-r8-m128-L6", "R": 8, "m": 128, "L": 6, "asymmetric": false, "gamma": 0.9434925084844342, "a": 1.2731623817588364, "b": 0.6991866287601862, "feasible": true, "min_cover_left": 0.9999999999999992, "min_cover_right": 0.9999999999999992, "beats_cho": true, "beats_published": true}
{"tag": "sym1-m32-L3-seed1", "R": 1, "m": 32, "L": 3, "asymmetric": false, "gamma": 0.946232800677463, "a": 1.7692659636150758, "b": 0.5060610058017883, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_cho": true, "beats_published": false}
{"tag": "fast-r8-m128-L8", "R": 8, "m": 128, "L": 8, "asymmetric": false, "gamma": 0.943492508466575, "a": 1.2731623817588364, "b": 0.6991866287337167, "feasible": true, "min_cover_left": 0.9999999999999991, "min_cover_right": 0.9999999999999991, "beats_cho": true, "beats_published": true}
{"tag": "fast-R1-m32-L4", "R": 1, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9461473014450581, "a": 1.7733066036889458, "b": 0.5048166595497499, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "fast-R1-m32-L6", "R": 1, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9461473008454496, "a": 1.7733066036889458, "b": 0.5048166589099079, "feasible": true, "min_cover_left": 0.9999999999999976, "min_cover_right": 0.9999999999999976, "beats_cho": true, "beats_published": false}
{"tag": "fast-R1-m32-L8", "R": 1, "m": 32, "L": 8, "asymmetric": false, "gamma": 0.9461473008449802, "a": 1.7733066036889458, "b": 0.504816658909407, "feasible": true, "min_cover_left": 0.9999999999999651, "min_cover_right": 0.9999999999999651, "beats_cho": true, "beats_published": false}
{"tag": "fast-R3-m32-L4", "R": 3, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9437979300977993, "a": 1.2657575340121527, "b": 0.7037323570442506, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "fast-R3-m32-L6", "R": 3, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9437978333904845, "a": 1.2657575340121527, "b": 0.7037322128268055, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_cho": true, "beats_published": false}
{"tag": "fast-R3-m32-L8", "R": 3, "m": 32, "L": 8, "asymmetric": false, "gamma": 0.9437978333618084, "a": 1.2657575340121527, "b": 0.7037322127840415, "feasible": true, "min_cover_left": 0.9999999999999993, "min_cover_right": 0.9999999999999993, "beats_cho": true, "beats_published": false}
{"tag": "fast-R6-m32-L4", "R": 6, "m": 32, "L": 4, "asymmetric": false, "gamma": 0.9435030630929332, "a": 1.274107955145629, "b": 0.6986833623246618, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "fast-R6-m32-L6", "R": 6, "m": 32, "L": 6, "asymmetric": false, "gamma": 0.9435029830167442, "a": 1.274107955145629, "b": 0.6986832437285475, "feasible": true, "min_cover_left": 0.9999999999999998, "min_cover_right": 0.9999999999999998, "beats_cho": true, "beats_published": false}
{"tag": "fast-R6-m32-L8", "R": 6, "m": 32, "L": 8, "asymmetric": false, "gamma": 0.9435029829994956, "a": 1.274107955145629, "b": 0.6986832437030017, "feasible": true, "min_cover_left": 0.9999999999999994, "min_cover_right": 0.9999999999999994, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m32-L3-seed2", "R": 1, "m": 32, "L": 3, "asymmetric": false, "gamma": 0.947103435207352, "a": 2.4932355912319224, "b": 0.35977543403283097, "feasible": true, "min_cover_left": 0.9999999915597292, "min_cover_right": 0.9999999915597292, "beats_cho": true, "beats_published": false}
{"tag": "ms-sanity-hz-r8-L4", "kind": "multiscale", "ms": [32, 32, 32, 32, 32, 32, 32, 32], "Ls": [4, 4, 4, 4, 4, 4, 4, 4], "R": 8, "gamma": 0.9434925900612192, "A": 0.03978632442996363, "B": 22.3739759893483, "min_cover": 0.9999999999999989, "feasible": true, "beats_published": true}
{"tag": "ms-sanity-hz-r8-L6", "kind": "multiscale", "ms": [32, 32, 32, 32, 32, 32, 32, 32], "Ls": [6, 6, 6, 6, 6, 6, 6, 6], "R": 8, "gamma": 0.9434925084844286, "A": 0.03978632442996363, "B": 22.3739721203257, "min_cover": 0.9999999999999989, "feasible": true, "beats_published": true}
{"tag": "cd-start", "L": 6, "gamma": 0.9434925084844293}
{"tag": "sym1-m32-L3-seed3", "R": 1, "m": 32, "L": 3, "asymmetric": false, "gamma": 0.9473322567881414, "a": 2.690107060711701, "b": 0.3336069474178789, "feasible": true, "min_cover_left": 0.9999999907216212, "min_cover_right": 0.9999999907216212, "beats_cho": true, "beats_published": false}
{"tag": "sym1-m32-L3-seed4", "R": 1, "m": 32, "L": 3, "asymmetric": false, "gamma": 0.948204929822053, "a": 1.651320203397386, "b": 0.5444689570739056, "feasible": true, "min_cover_left": 0.9999999999999996, "min_cover_right": 0.9999999999999996, "beats_cho": true, "beats_published": false}