ThatAIguyA world of ideas

THE CONSCIOUSNESS ATLAS
Read. Experiment. Follow the evidence.

ConsciousnessLearn · Explore · Joseph Anady

submodularity_witnesses.json

Source identity, revision, and recovered contents.

archive memberSource text recovered

Source identity

FieldRecorded value
Source typearchive member
Original recordsubmodularity_witnesses.json
DateNot specified in source
Path or archive memberarchives/libsrc-ef5e6c3ea329/quantum_mip_benchmark/validation/submodularity_witnesses.json
Original SHA-256504185f31d6e06cbdddb875dee51a0c5f362852fa41f097ca2f1d60cea0114d9
Reading-copy SHA-256504185f31d6e06cbdddb875dee51a0c5f362852fa41f097ca2f1d60cea0114d9
Archive source{"sourceId": "libsrc-ef5e6c3ea329", "member": "quantum_mip_benchmark/validation/submodularity_witnesses.json"}

Recovered source transcript

Download complete source text ↓843 lines · 20.8 KB
[ { "instance": "n08_dense_r00", "minimum_submodular_slack": -0.19769966873246314, "inequalities_checked": 1792, "witness": { "S": 26, "i": 5, "j": 7, "J_S_plus_i": 0.3437921291416251, "J_S_plus_j": 0.33819419059276873, "J_S": 0.4444039331432948, "J_S_plus_i_j": 0.4352820553235622 } }, { "instance": "n08_dense_r01", "minimum_submodular_slack": -0.14851398897682616, "inequalities_checked": 1792, "witness": { "S": 26, "i": 5, "j": 6, "J_S_plus_i": 0.24090665623122576, "J_S_plus_j": 0.2072770046822246, "J_S": 0.3118688348240225, "J_S_plus_i_j": 0.284828815066254 } }, { "instance": "n08_dense_r02", "minimum_submodular_slack": -0.20133927486424202, "inequalities_checked": 1792, "witness": { "S": 37, "i": 1, "j": 4, "J_S_plus_i": 0.30461761866020576, "J_S_plus_j": 0.19884906302943306, "J_S": 0.3851969451364309, "J_S_plus_i_j": 0.31960901141744996 } }, { "instance": "n08_dense_r03", "minimum_submodular_slack": -0.1472679772114523, "inequalities_checked": 1792, "witness": { "S": 84, "i": 0, "j": 5, "J_S_plus_i": 0.24350663653539828, "J_S_plus_j": 0.2436449294331067, "J_S": 0.3167467367867993, "J_S_plus_i_j": 0.3176728063931579 } }, { "instance": "n08_dense_r04", "minimum_submodular_slack": -0.1793884928619312, "inequalities_checked": 1792, "witness": { "S": 50, "i": 0, "j": 2, "J_S_plus_i": 0.25684047723545844, "J_S_plus_j": 0.2705117605731913, "J_S": 0.34101743541943674, "J_S_plus_i_j": 0.36572329525114416 } }, { "instance": "n08_modular_r00", "minimum_submodular_slack": -0.16603878099197755, "inequalities_checked": 1792, "witness": { "S": 174, "i": 0, "j": 6, "J_S_plus_i": 0.19525361758920448, "J_S_plus_j": 0.31400594737413406, "J_S": 0.1527464793008377, "J_S_plus_i_j": 0.5225518666544784 } }, { "instance": "n08_modular_r01", "minimum_submodular_slack": -0.14252556970787966, "inequalities_checked": 1792, "witness": { "S": 44, "i": 0, "j": 6, "J_S_plus_i": 0.254010440460672, "J_S_plus_j": 0.23782935163104, "J_S": 0.3180133291527231, "J_S_plus_i_j": 0.31635203264686856 } }, { "instance": "n08_modular_r02", "minimum_submodular_slack": -0.06507314682718365, "inequalities_checked": 1792, "witness": { "S": 32, "i": 0, "j": 4, "J_S_plus_i": 0.1086134263692938, "J_S_plus_j": 0.15594730019673375, "J_S": 0.2303546453551158, "J_S_plus_i_j": 0.09927922803809544 } }, { "instance": "n08_modular_r03", "minimum_submodular_slack": -0.22802508760919427, "inequalities_checked": 1792, "witness": { "S": 8, "i": 6, "j": 7, "J_S_plus_i": 0.2614034816123343, "J_S_plus_j": 0.3372084625838853, "J_S": 0.7123943379994265, "J_S_plus_i_j": 0.1142426938059874 } }, { "instance": "n08_modular_r04", "minimum_submodular_slack": -0.09688031438192576, "inequalities_checked": 1792, "witness": { "S": 64, "i": 3, "j": 5, "J_S_plus_i": 0.14979355432084646, "J_S_plus_j": 0.10414305339980479, "J_S": 0.3066457450214502, "J_S_plus_i_j": 0.04417117708112681 } }, { "instance": "n08_sparse_ring_r00", "minimum_submodular_slack": -0.2683753143682719, "inequalities_checked": 1792, "witness": { "S": 64, "i": 1, "j": 3, "J_S_plus_i": 0.37789852693336073, "J_S_plus_j": 0.5219165784858135, "J_S": 0.8729500610139198, "J_S_plus_i_j": 0.2952403587735264 } }, { "instance": "n08_sparse_ring_r01", "minimum_submodular_slack": -0.2284515249109874, "inequalities_checked": 1792, "witness": { "S": 25, "i": 1, "j": 7, "J_S_plus_i": 0.4090739213193767, "J_S_plus_j": 0.44317130887596773, "J_S": 0.533036021727959, "J_S_plus_i_j": 0.5476607333783728 } }, { "instance": "n08_sparse_ring_r02", "minimum_submodular_slack": -0.19111908010684833, "inequalities_checked": 1792, "witness": { "S": 128, "i": 3, "j": 5, "J_S_plus_i": 0.17165408863954734, "J_S_plus_j": 0.1606668480346517, "J_S": 0.44725846959848137, "J_S_plus_i_j": 0.076181547182566 } }, { "instance": "n08_sparse_ring_r03", "minimum_submodular_slack": -0.2999495948983314, "inequalities_checked": 1792, "witness": { "S": 32, "i": 2, "j": 4, "J_S_plus_i": 0.4785222048360002, "J_S_plus_j": 0.306155086338523, "J_S": 0.8533005738096067, "J_S_plus_i_j": 0.23132631226324799 } }, { "instance": "n08_sparse_ring_r04", "minimum_submodular_slack": -0.13086656640105004, "inequalities_checked": 1792, "witness": { "S": 64, "i": 0, "j": 4, "J_S_plus_i": 0.1202904804669817, "J_S_plus_j": 0.2661298866687278, "J_S": 0.41572869756305075, "J_S_plus_i_j": 0.10155823597370878 } }, { "instance": "n10_dense_r00", "minimum_submodular_slack": -0.1262187264514983, "inequalities_checked": 11520, "witness": { "S": 424, "i": 0, "j": 2, "J_S_plus_i": 0.2410438649479787, "J_S_plus_j": 0.18573635263345678, "J_S": 0.2980805683763913, "J_S_plus_i_j": 0.25491837565654246 } }, { "instance": "n10_dense_r01", "minimum_submodular_slack": -0.1872159200255475, "inequalities_checked": 11520, "witness": { "S": 54, "i": 6, "j": 8, "J_S_plus_i": 0.4106861345391683, "J_S_plus_j": 0.3748400169422104, "J_S": 0.5139256215561412, "J_S_plus_i_j": 0.458816449950785 } }, { "instance": "n10_dense_r02", "minimum_submodular_slack": -0.14732273901104753, "inequalities_checked": 11520, "witness": { "S": 8, "i": 2, "j": 6, "J_S_plus_i": 0.3647496574206125, "J_S_plus_j": 0.36747463417256004, "J_S": 0.6006595400916833, "J_S_plus_i_j": 0.2788874905125367 } }, { "instance": "n10_dense_r03", "minimum_submodular_slack": -0.23489166385161697, "inequalities_checked": 11520, "witness": { "S": 2, "i": 6, "j": 8, "J_S_plus_i": 0.34848270154098177, "J_S_plus_j": 0.4047141672137424, "J_S": 0.7224577597184235, "J_S_plus_i_j": 0.2656307728879176 } }, { "instance": "n10_dense_r04", "minimum_submodular_slack": -0.1595449125572614, "inequalities_checked": 11520, "witness": { "S": 432, "i": 3, "j": 6, "J_S_plus_i": 0.2997517784427412, "J_S_plus_j": 0.26169581003719533, "J_S": 0.3645260558404546, "J_S_plus_i_j": 0.35646644519674336 } }, { "instance": "n10_modular_r00", "minimum_submodular_slack": -0.15605767348543192, "inequalities_checked": 11520, "witness": { "S": 4, "i": 4, "j": 6, "J_S_plus_i": 0.2642757341001318, "J_S_plus_j": 0.14575469893391368, "J_S": 0.44342830652167203, "J_S_plus_i_j": 0.12265979999780537 } }, { "instance": "n10_modular_r01", "minimum_submodular_slack": -0.11536812771449578, "inequalities_checked": 11520, "witness": { "S": 351, "i": 5, "j": 9, "J_S_plus_i": 0.2563024703764784, "J_S_plus_j": 0.19176450768004982, "J_S": 0.1561471564042687, "J_S_plus_i_j": 0.4072879493667553 } }, { "instance": "n10_modular_r02", "minimum_submodular_slack": -0.06981544504103807, "inequalities_checked": 11520, "witness": { "S": 204, "i": 4, "j": 8, "J_S_plus_i": 0.11236669279889837, "J_S_plus_j": 0.14224716299492787, "J_S": 0.15354163201912335, "J_S_plus_i_j": 0.17088766881574094 } }, { "instance": "n10_modular_r03", "minimum_submodular_slack": -0.16176890231888008, "inequalities_checked": 11520, "witness": { "S": 319, "i": 6, "j": 7, "J_S_plus_i": 0.2732421348995836, "J_S_plus_j": 0.290187999011691, "J_S": 0.14144177530950008, "J_S_plus_i_j": 0.5837572609206546 } }, { "instance": "n10_modular_r04", "minimum_submodular_slack": -0.08353440194086727, "inequalities_checked": 11520, "witness": { "S": 64, "i": 1, "j": 2, "J_S_plus_i": 0.1819222328086205, "J_S_plus_j": 0.14006150142312895, "J_S": 0.28889508083160653, "J_S_plus_i_j": 0.11662305534101015 } }, { "instance": "n10_sparse_ring_r00", "minimum_submodular_slack": -0.13547361832885557, "inequalities_checked": 11520, "witness": { "S": 1, "i": 4, "j": 7, "J_S_plus_i": 0.23553852847902748, "J_S_plus_j": 0.3012781855838449, "J_S": 0.4678139594180111, "J_S_plus_i_j": 0.2044763729737168 } }, { "instance": "n10_sparse_ring_r01", "minimum_submodular_slack": -0.07257499264355541, "inequalities_checked": 11520, "witness": { "S": 128, "i": 3, "j": 5, "J_S_plus_i": 0.17909274230352476, "J_S_plus_j": 0.11425217908901653, "J_S": 0.24147754422270062, "J_S_plus_i_j": 0.1244423698133961 } }, { "instance": "n10_sparse_ring_r02", "minimum_submodular_slack": -0.14988877871444578, "inequalities_checked": 11520, "witness": { "S": 998, "i": 3, "j": 4, "J_S_plus_i": 0.21394390293288293, "J_S_plus_j": 0.1940407286606331, "J_S": 0.14681072291177064, "J_S_plus_i_j": 0.4110626873961912 } }, { "instance": "n10_sparse_ring_r03", "minimum_submodular_slack": -0.1038734840620085, "inequalities_checked": 11520, "witness": { "S": 269, "i": 5, "j": 7, "J_S_plus_i": 0.17425501623646855, "J_S_plus_j": 0.2100922706049271, "J_S": 0.23246905562522716, "J_S_plus_i_j": 0.25575171527817697 } }, { "instance": "n10_sparse_ring_r04", "minimum_submodular_slack": -0.20490425625417857, "inequalities_checked": 11520, "witness": { "S": 256, "i": 1, "j": 3, "J_S_plus_i": 0.2775858703190422, "J_S_plus_j": 0.2889151785535525, "J_S": 0.6428111038732914, "J_S_plus_i_j": 0.1285942012534818 } }, { "instance": "n12_dense_r00", "minimum_submodular_slack": -0.165526462871729, "inequalities_checked": 67584, "witness": { "S": 8, "i": 1, "j": 5, "J_S_plus_i": 0.5872986724964998, "J_S_plus_j": 0.5941736005702106, "J_S": 0.8402069578040201, "J_S_plus_i_j": 0.5067917781344193 } }, { "instance": "n12_dense_r01", "minimum_submodular_slack": -0.12808831481461602, "inequalities_checked": 67584, "witness": { "S": 355, "i": 2, "j": 3, "J_S_plus_i": 0.31524331577291603, "J_S_plus_j": 0.340961547504117, "J_S": 0.3952515406597826, "J_S_plus_i_j": 0.3890416374318664 } }, { "instance": "n12_dense_r02", "minimum_submodular_slack": -0.10918331534385384, "inequalities_checked": 67584, "witness": { "S": 690, "i": 3, "j": 8, "J_S_plus_i": 0.26426406634009564, "J_S_plus_j": 0.278460459998912, "J_S": 0.32851417834716495, "J_S_plus_i_j": 0.3233936633356966 } }, { "instance": "n12_dense_r03", "minimum_submodular_slack": -0.1589032986862523, "inequalities_checked": 67584, "witness": { "S": 3535, "i": 4, "j": 9, "J_S_plus_i": 0.45805152041574665, "J_S_plus_j": 0.5652556323359028, "J_S": 0.42561540051450114, "J_S_plus_i_j": 0.7565950509234006 } }, { "instance": "n12_dense_r04", "minimum_submodular_slack": -0.16026604408818929, "inequalities_checked": 67584, "witness": { "S": 466, "i": 9, "j": 10, "J_S_plus_i": 0.42119519389948457, "J_S_plus_j": 0.40511887786402634, "J_S": 0.48201827695977423, "J_S_plus_i_j": 0.504561838891926 } }, { "instance": "n12_modular_r00", "minimum_submodular_slack": -0.17208901369142843, "inequalities_checked": 67584, "witness": { "S": 64, "i": 3, "j": 5, "J_S_plus_i": 0.3927926410301654, "J_S_plus_j": 0.37783442145416213, "J_S": 0.6580441351341184, "J_S_plus_i_j": 0.28467194104163757 } }, { "instance": "n12_modular_r01", "minimum_submodular_slack": -0.16354750719603095, "inequalities_checked": 67584, "witness": { "S": 3391, "i": 6, "j": 7, "J_S_plus_i": 0.3727415545838093, "J_S_plus_j": 0.1451059922439959, "J_S": 0.16259831994497373, "J_S_plus_i_j": 0.5187967340788624 } }, { "instance": "n12_modular_r02", "minimum_submodular_slack": -0.13122806585602592, "inequalities_checked": 67584, "witness": { "S": 16, "i": 1, "j": 5, "J_S_plus_i": 0.22179350989143964, "J_S_plus_j": 0.24686782608278499, "J_S": 0.41890321269685743, "J_S_plus_i_j": 0.18098618913339315 } }, { "instance": "n12_modular_r03", "minimum_submodular_slack": -0.11118900860743985, "inequalities_checked": 67584, "witness": { "S": 16, "i": 2, "j": 6, "J_S_plus_i": 0.19850486430281566, "J_S_plus_j": 0.18865737465549218, "J_S": 0.40144313228300493, "J_S_plus_i_j": 0.09690811528274274 } }, { "instance": "n12_modular_r04", "minimum_submodular_slack": -0.12126437580768673, "inequalities_checked": 67584, "witness": { "S": 1471, "i": 6, "j": 9, "J_S_plus_i": 0.31663668377340687, "J_S_plus_j": 0.2914693772726698, "J_S": 0.2512092757226641, "J_S_plus_i_j": 0.4781611611310993 } }, { "instance": "n12_sparse_ring_r00", "minimum_submodular_slack": -0.1874134562521329, "inequalities_checked": 67584, "witness": { "S": 1519, "i": 9, "j": 11, "J_S_plus_i": 0.2927509618399152, "J_S_plus_j": 0.5017424732416899, "J_S": 0.26808844701239004, "J_S_plus_i_j": 0.7138184443213479 } }, { "instance": "n12_sparse_ring_r01", "minimum_submodular_slack": -0.19186635855920087, "inequalities_checked": 67584, "witness": { "S": 1787, "i": 2, "j": 11, "J_S_plus_i": 0.3066348758713636, "J_S_plus_j": 0.6988111193587807, "J_S": 0.4408265485606115, "J_S_plus_i_j": 0.7564858052287338 } }, { "instance": "n12_sparse_ring_r02", "minimum_submodular_slack": -0.21393312164885359, "inequalities_checked": 67584, "witness": { "S": 128, "i": 8, "j": 11, "J_S_plus_i": 0.40887534491207395, "J_S_plus_j": 0.34038518062962236, "J_S": 0.6401586958240004, "J_S_plus_i_j": 0.32303495136654947 } }, { "instance": "n12_sparse_ring_r03", "minimum_submodular_slack": -0.17189947794335614, "inequalities_checked": 67584, "witness": { "S": 1024, "i": 0, "j": 6, "J_S_plus_i": 0.5422251056622959, "J_S_plus_j": 0.5542004232021049, "J_S": 0.8235655005965596, "J_S_plus_i_j": 0.4447595062111972 } }, { "instance": "n12_sparse_ring_r04", "minimum_submodular_slack": -0.157906311198603, "inequalities_checked": 67584, "witness": { "S": 128, "i": 2, "j": 4, "J_S_plus_i": 0.25473476522155647, "J_S_plus_j": 0.29413014923971675, "J_S": 0.516115209774167, "J_S_plus_i_j": 0.19065601588570913 } }, { "instance": "n14_dense_r00", "minimum_submodular_slack": -0.14223012196084472, "inequalities_checked": 372736, "witness": { "S": 1, "i": 6, "j": 12, "J_S_plus_i": 0.5078874564858714, "J_S_plus_j": 0.46668751496941385, "J_S": 0.6815744522659251, "J_S_plus_i_j": 0.43523064115020493 } }, { "instance": "n14_dense_r01", "minimum_submodular_slack": -0.2013495283833061, "inequalities_checked": 372736, "witness": { "S": 512, "i": 0, "j": 5, "J_S_plus_i": 0.41421008525581887, "J_S_plus_j": 0.35534641345316687, "J_S": 0.647530465040688, "J_S_plus_i_j": 0.3233755620516039 } }, { "instance": "n14_dense_r02", "minimum_submodular_slack": -0.23141899575324837, "inequalities_checked": 372736, "witness": { "S": 4093, "i": 1, "j": 12, "J_S_plus_i": 0.4049756251910902, "J_S_plus_j": 0.40662057024378656, "J_S": 0.36424497839896125, "J_S_plus_i_j": 0.6787702127891638 } }, { "instance": "n14_dense_r03", "minimum_submodular_slack": -0.08761860998329668, "inequalities_checked": 372736, "witness": { "S": 1024, "i": 1, "j": 5, "J_S_plus_i": 0.32288698775375513, "J_S_plus_j": 0.31644511913291096, "J_S": 0.45870440313640853, "J_S_plus_i_j": 0.26824631373355423 } }, { "instance": "n14_dense_r04", "minimum_submodular_slack": -0.11991328760975473, "inequalities_checked": 372736, "witness": { "S": 6426, "i": 7, "j": 9, "J_S_plus_i": 0.3047970573701793, "J_S_plus_j": 0.32658584912319144, "J_S": 0.3881301115639444, "J_S_plus_i_j": 0.36316608253918103 } }, { "instance": "n14_modular_r00", "minimum_submodular_slack": -0.1120320438074291, "inequalities_checked": 372736, "witness": { "S": 2, "i": 9, "j": 11, "J_S_plus_i": 0.22112482156248375, "J_S_plus_j": 0.20491832931227996, "J_S": 0.40143621750556935, "J_S_plus_i_j": 0.1366389771766235 } }, { "instance": "n14_modular_r01", "minimum_submodular_slack": -0.31788418919600536, "inequalities_checked": 372736, "witness": { "S": 16, "i": 5, "j": 12, "J_S_plus_i": 0.4136550288501662, "J_S_plus_j": 0.48195994246964224, "J_S": 0.8398561766475778, "J_S_plus_i_j": 0.373642983868236 } }, { "instance": "n14_modular_r02", "minimum_submodular_slack": -0.10023400342597333, "inequalities_checked": 372736, "witness": { "S": 2048, "i": 2, "j": 6, "J_S_plus_i": 0.24780210989296292, "J_S_plus_j": 0.18877365555315637, "J_S": 0.3596473349743853, "J_S_plus_i_j": 0.17716243389770736 } }, { "instance": "n14_modular_r03", "minimum_submodular_slack": -0.2371080552086195, "inequalities_checked": 372736, "witness": { "S": 512, "i": 0, "j": 13, "J_S_plus_i": 0.5540034475972376, "J_S_plus_j": 0.5577517802152282, "J_S": 0.9100101386193747, "J_S_plus_i_j": 0.4388531444017106 } }, { "instance": "n14_modular_r04", "minimum_submodular_slack": -0.26039748438563604, "inequalities_checked": 372736, "witness": { "S": 1, "i": 3, "j": 8, "J_S_plus_i": 0.4509882503341676, "J_S_plus_j": 0.41958397391395125, "J_S": 0.7952217674290195, "J_S_plus_i_j": 0.3357479412047354 } }, { "instance": "n14_sparse_ring_r00", "minimum_submodular_slack": -0.12999955496223498, "inequalities_checked": 372736, "witness": { "S": 6142, "i": 0, "j": 11, "J_S_plus_i": 0.09488339721476877, "J_S_plus_j": 0.1944399914886079, "J_S": 0.07023161367847537, "J_S_plus_i_j": 0.3490913299871363 } }, { "instance": "n14_sparse_ring_r01", "minimum_submodular_slack": -0.11412071853966932, "inequalities_checked": 372736, "witness": { "S": 15854, "i": 4, "j": 9, "J_S_plus_i": 0.11798708894340297, "J_S_plus_j": 0.2118739597640425, "J_S": 0.09442188178211235, "J_S_plus_i_j": 0.34955988546500244 } }, { "instance": "n14_sparse_ring_r02", "minimum_submodular_slack": -0.2176777356107253, "inequalities_checked": 372736, "witness": { "S": 2, "i": 5, "j": 13, "J_S_plus_i": 0.33928571281067105, "J_S_plus_j": 0.2897999247682275, "J_S": 0.6296394222497151, "J_S_plus_i_j": 0.21712395093990872 } }, { "instance": "n14_sparse_ring_r03", "minimum_submodular_slack": -0.15596585761916543, "inequalities_checked": 372736, "witness": { "S": 2048, "i": 2, "j": 13, "J_S_plus_i": 0.3719882243273373, "J_S_plus_j": 0.23717579520115414, "J_S": 0.5581981945204346, "J_S_plus_i_j": 0.20693168262722222 } }, { "instance": "n14_sparse_ring_r04", "minimum_submodular_slack": -0.16211643101066153, "inequalities_checked": 372736, "witness": { "S": 64, "i": 3, "j": 10, "J_S_plus_i": 0.4076231846086375, "J_S_plus_j": 0.41344965221434954, "J_S": 0.6237815547181199, "J_S_plus_i_j": 0.35940771311552866 } } ]

Search equations, builds, manuscript text, and recovered sources.