files / problems / union-closed / compute / q2 / certs / hunt_three.json
{
"claimed_c": 0.38304,
"probe_c": 0.4,
"ex4_3atomic_claimed": {
"accepted": 12532,
"worst": {
"vals": [
0.9976189398035458,
0.28051064540182313,
0.5216202185959454
],
"wts": [
0.13649587056311668,
0.8532342719826593,
0.010269857454223959
],
"mean": 0.38086912728177047,
"ratio": 1.0059758114692967
},
"n_hits_below_1": 0,
"hits": []
},
"ex4_near_ray_claimed": {
"accepted": 12367,
"worst": {
"vals": [
0.3064241540754115,
0.9996864928063975,
0.19642119999280738
],
"wts": [
0.8860736407686057,
0.11094033092074344,
0.0029860283106508158
],
"mean": 0.3830064354139697,
"ratio": 1.0009717509557745
},
"n_hits_below_1": 0,
"hits": []
},
"ex4_2mix_claimed": {
"accepted": 7208,
"worst": {
"v0": [
0.3603035231817454,
0.9951134464687539
],
"w0": [
0.6007040386652861,
0.399295961334714
],
"v1": [
0.060991492380511825,
0.0006601563827558499
],
"w1": [
0.2013374216272335,
0.7986625783727664
],
"q": 0.5515881615078493,
"mean": 0.2822907215030484,
"ratio": 0.8255448643216279
},
"n_hits_below_1": 9,
"hits": [
{
"v0": [
0.4801081685169799,
0.9635008436880315
],
"w0": [
0.660705496406948,
0.33929450359305213
],
"v1": [
0.01239324162616906,
0.04569365626321109
],
"w1": [
0.67911206461783,
0.3208879353821701
],
"q": 0.5609244936995758,
"mean": 0.2957631432599213,
"ratio": 0.9618768856565357
},
{
"v0": [
0.4220708421749759,
0.9479743657126376
],
"w0": [
0.64490991676504,
0.35509008323496005
],
"v1": [
0.0204453884811151,
0.09991181589614417
],
"w1": [
0.603815716128778,
0.396184283871222
],
"q": 0.4298566719150637,
"mean": 0.3694331365137012,
"ratio": 0.9748355345706625
},
{
"v0": [
0.022214992266080147,
0.015691996178025525
],
"w0": [
0.6320244049986318,
0.3679755950013683
],
"v1": [
0.671593668966709,
0.9477554122057326
],
"w1": [
0.5229106075283966,
0.4770893924716033
],
"q": 0.41349604956862596,
"mean": 0.34380241400404643,
"ratio": 0.982290713004477
},
{
"v0": [
0.00333443508675757,
0.3442280300648449
],
"w0": [
0.8940248770087696,
0.10597512299123049
],
"v1": [
0.9626753912979971,
0.5491804505864185
],
"w1": [
0.5623491199157015,
0.4376508800842985
],
"q": 0.4124863453261659,
"mean": 0.3456279605561885,
"ratio": 0.9514963817264721
},
{
"v0": [
0.010180137239052423,
0.5127212859569207
],
"w0": [
0.9667223442104566,
0.03327765578954343
],
"v1": [
0.9785114133347879,
0.6247804556786031
],
"w1": [
0.39928996852568255,
0.6007100314743175
],
"q": 0.32772199141012426,
"mean": 0.2691288006185913,
"ratio": 0.9816896113147593
},
{
"v0": [
0.9160207988294798,
0.002573272146591976
],
"w0": [
0.16766578244643376,
0.8323342175535662
],
"v1": [
0.7697220686762128,
0.9845331930546233
],
"w1": [
0.6307964149061744,
0.3692035850938255
],
"q": 0.3275190987410205,
"mean": 0.3827974478447484,
"ratio": 0.9809335716637012
},
{
"v0": [
0.9897619968997989,
0.3885790860810555
],
"w0": [
0.10808749061067253,
0.8919125093893273
],
"v1": [
0.021851321354230846,
0.9464622508862636
],
"w1": [
0.8219407379846226,
0.17805926201537733
],
"q": 0.29470035905159986,
"mean": 0.37485305391832663,
"ratio": 0.9794343719945877
},
{
"v0": [
0.03238560609941332,
0.0018230420568543515
],
"w0": [
0.040574865501322895,
0.9594251344986772
],
"v1": [
0.6577143294152475,
0.9448393721143105
],
"w1": [
0.5500510240675767,
0.44994897593242333
],
"q": 0.3146809278455681,
"mean": 0.2497235043837576,
"ratio": 0.8524794111833424
}
]
},
"half_3atomic_claimed": {
"accepted": 6132,
"worst": {
"vals": [
0.14468111482959722,
0.2643328479661823,
0.9958288051328951
],
"wts": [
0.16720603149556212,
0.6438449623788663,
0.18894900612557158
],
"mean": 0.38254179059837196,
"ratio": 1.0291119777198816
},
"n_hits_below_1": 0,
"hits": []
},
"ex4_ex5_3atomic_claimed": {
"accepted": 4622,
"worst": {
"vals": [
0.987097368963862,
0.3139784946528916,
0.35018494903347785
],
"wts": [
0.06708123259036854,
0.27767513617797285,
0.6552436312316586
],
"mean": 0.3828561870638716,
"ratio": 1.0151246668948584
},
"n_hits_below_1": 0,
"hits": []
},
"ex4_3atomic_probe_0_40": {
"accepted": 6559,
"worst": {
"vals": [
0.3293408327790601,
0.8862961642653283,
0.9960812973253366
],
"wts": [
0.9014986949609606,
0.009262575798248745,
0.08923872924079077
],
"mean": 0.3939987455427147,
"ratio": 0.9921329170122817
},
"n_hits_below_1": 2,
"hits": [
{
"vals": [
0.3293408327790601,
0.8862961642653283,
0.9960812973253366
],
"wts": [
0.9014986949609606,
0.009262575798248745,
0.08923872924079077
],
"mean": 0.3939987455427147,
"ratio": 0.9921329170122817
},
{
"vals": [
0.9479979878698369,
0.3104021307694329,
0.3750162722431667
],
"wts": [
0.13055105681242735,
0.7823810004398825,
0.0870679427476903
],
"mean": 0.3992667641036423,
"ratio": 0.9961027783838021
}
]
},
"ray_at_mean_0_39": {
"b": 0.29649392356933757,
"a": 0.13291438349058582,
"mean": 0.39,
"ratio": 0.988737079678574
},
"hits_at_claimed_atomic": 0,
"hits_at_claimed_2mix": 9,
"hits_at_claimed": 9,
"hits_at_probe": 3,
"note": "incomplete search, not a lower bound for every 3-atomic law. The 0.40 probe is expected to have hits: {b,1} itself crosses at 0.383051, so 0.40 is already past the class ceiling."
}