Buckets:
| <html> | |
| <head><meta charset="utf-8" /></head> | |
| <body> | |
| <div style="height:420px; width:1000px;"> <script>window.PlotlyConfig = {MathJaxConfig: 'local'};</script> | |
| <script charset="utf-8" src="https://cdn.plot.ly/plotly-3.7.0.min.js" integrity="sha256-jvTGqxNp8AGWEcvNLVuKr+8j5dGe9Yw51LQkmDH+IYA=" crossorigin="anonymous"></script> <div id="8c31a4b3-b160-4201-a380-2bb20b2c5a72" class="plotly-graph-div" style="height:100%; width:100%;"></div> <script> window.PLOTLYENV=window.PLOTLYENV || {}; if (document.getElementById("8c31a4b3-b160-4201-a380-2bb20b2c5a72")) { Plotly.newPlot( "8c31a4b3-b160-4201-a380-2bb20b2c5a72", [{"marker":{"color":"#2ca02c","size":7},"mode":"markers","name":"in-assumption","x":[0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.01,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.03,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.06,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15,0.15],"y":[0.00035714508633025296,0.00035026109365917887,0.000343340960646289,0.00033638449806380104,0.0003293915156985011,0.00018901200141153247,0.00018536493337683896,0.00018169869471845854,0.00017801318480903513,0.00017430830249452072,0.00009735160548488236,0.00009547208170913402,0.00009358267161044509,0.00009168332322437105,0.0000897739843137352,0.000049419824074806965,0.00004846541011686102,0.00004750597414654255,0.00004654148974837842,0.00004557193036805731,0.0010729953100625921,0.0010524059223108503,0.0010317090139406746,0.0010109040279867578,0.0009899904046462545,0.0005674734138674028,0.0005565497648214951,0.0005455688568559813,0.0005345303911077313,0.000523434067167137,0.0002921709203730176,0.0002865370096308663,0.000280873507133678,0.00027518025779145537,0.0002694571057049622,0.00014828940137403526,0.00014542736101631228,0.00014255027195742595,0.0001396580551583105,0.00013675063116570037,0.0021506661298311153,0.0021096747714097978,0.0020684710562912587,0.002027053902277063,0.00198542222184148,0.0011362583669766871,0.0011144636815032917,0.001092555234563814,0.0010705324374258775,0.001048394698363644,0.0005846900581691168,0.0005734362112496147,0.0005621233821217308,0.0005507512630068484,0.000539319544534574,0.00029666857784947783,0.0002909481007410677,0.00028519757819371475,0.0002794168527502181,0.0002736057661318972,0.003594819150592647,0.0035269156048126603,0.0034586640451902424,0.00339006273727804,0.0033211099384966893,0.001896676333040569,0.0018604686109038454,0.001824072959452392,0.0017874884172572325,0.0017507140181174403,0.0009752569534432006,0.000956531574145002,0.0009377083374478711,0.0009187867356970718,0.00089976625864369,0.0004946470915697442,0.00048512096814392496,0.00047554488432243326,0.0004659185790529311,0.000456241789929257,0.005411648295986563,0.005310569187693837,0.005208979023598875,0.005106875328722477,0.005004255617226512,0.002850470066188741,0.0027963770032049546,0.002742005164862624,0.0026873531456615106,0.0026324195333412674,0.001464335079406292,0.001436305142061025,0.001408129252855603,0.0013798066601991635,0.0013513366087184947,0.0007423445357159705,0.000728070353063868,0.0007137214457399788,0.0006992974247379581,0.0006847978990492656],"type":"scatter","xaxis":"x","yaxis":"y"},{"marker":{"color":"#1f77b4","size":6},"mode":"markers","name":"lhs vs rhs","x":[0.0013095215803364136,0.0013164055730074877,0.0013233257060203776,0.0013302821686028655,0.0013372751509681655,0.000693340939764938,0.0006969880077996315,0.000700654246458012,0.0007043397563674354,0.0007080446386819498,0.0003571938490605722,0.00035907337283632053,0.00036096278293500946,0.0003628621313210835,0.00036477147023171935,0.0001813494066944238,0.00018230382065236974,0.0001832632566226882,0.00018422774102085234,0.00018519730040117346,0.003927004689937408,0.00394759407768915,0.0039682909860593255,0.003989095972013242,0.004010009595353746,0.002079585409662009,0.0020905090587079165,0.0021014899666734303,0.0021125284324216803,0.0021236247563622746,0.001071465443263346,0.0010770993540054972,0.0010827628565026855,0.0010884561058449082,0.0010941792579314013,0.000544018290933657,0.00054688033129138,0.0005497574203502663,0.0005526496371493818,0.0005555570611419919,0.007849333870168885,0.007890325228590202,0.007931528943708742,0.007972946097722937,0.00801457777815852,0.004157859280082136,0.0041796539655555316,0.004201562412495009,0.004223585209632946,0.004245722948695179,0.0021425826691036103,0.0021538365160231124,0.0021651493451509962,0.0021765214642658786,0.002187953182738153,0.0010879468067659067,0.0010936672838743168,0.0010994178064216698,0.0011051985318651664,0.0011110096184834873,0.013071847516074023,0.01313975106185401,0.013208002621476428,0.01327660392938863,0.01334555672816998,0.0069268530787241385,0.006963060800860862,0.0069994564523123155,0.007036040994507475,0.007072815393647267,0.0035701975920113455,0.003588922971309544,0.003607746208006675,0.0036266678097574743,0.003645688286810856,0.0018130452161225637,0.001822571339548383,0.0018321474233698746,0.0018417737286393768,0.001851450517763051,0.019588351704013435,0.01968943081230616,0.019791020976401123,0.01989312467127752,0.019995744382773486,0.010384824051458316,0.010438917114442102,0.010493288952784433,0.010547940971985546,0.01060287458430579,0.005353846738775526,0.005381876676120793,0.005410052565326215,0.005438375157982654,0.005466845209463323,0.0027191939258224907,0.002733468108474593,0.0027478170157984824,0.002762241036800503,0.0027767405624891956],"y":[0.0016666666666666666,0.0016666666666666666,0.0016666666666666666,0.0016666666666666666,0.0016666666666666666,0.0008823529411764705,0.0008823529411764705,0.0008823529411764705,0.0008823529411764705,0.0008823529411764705,0.00045454545454545455,0.00045454545454545455,0.00045454545454545455,0.00045454545454545455,0.00045454545454545455,0.00023076923076923076,0.00023076923076923076,0.00023076923076923076,0.00023076923076923076,0.00023076923076923076,0.005,0.005,0.005,0.005,0.005,0.0026470588235294116,0.0026470588235294116,0.0026470588235294116,0.0026470588235294116,0.0026470588235294116,0.0013636363636363635,0.0013636363636363635,0.0013636363636363635,0.0013636363636363635,0.0013636363636363635,0.0006923076923076923,0.0006923076923076923,0.0006923076923076923,0.0006923076923076923,0.0006923076923076923,0.01,0.01,0.01,0.01,0.01,0.005294117647058823,0.005294117647058823,0.005294117647058823,0.005294117647058823,0.005294117647058823,0.002727272727272727,0.002727272727272727,0.002727272727272727,0.002727272727272727,0.002727272727272727,0.0013846153846153845,0.0013846153846153845,0.0013846153846153845,0.0013846153846153845,0.0013846153846153845,0.01666666666666667,0.01666666666666667,0.01666666666666667,0.01666666666666667,0.01666666666666667,0.008823529411764707,0.008823529411764707,0.008823529411764707,0.008823529411764707,0.008823529411764707,0.004545454545454546,0.004545454545454546,0.004545454545454546,0.004545454545454546,0.004545454545454546,0.002307692307692308,0.002307692307692308,0.002307692307692308,0.002307692307692308,0.002307692307692308,0.024999999999999998,0.024999999999999998,0.024999999999999998,0.024999999999999998,0.024999999999999998,0.013235294117647057,0.013235294117647057,0.013235294117647057,0.013235294117647057,0.013235294117647057,0.006818181818181818,0.006818181818181818,0.006818181818181818,0.006818181818181818,0.006818181818181818,0.003461538461538461,0.003461538461538461,0.003461538461538461,0.003461538461538461,0.003461538461538461],"type":"scatter","xaxis":"x2","yaxis":"y2"},{"line":{"color":"#999","dash":"dot"},"mode":"lines","name":"y=x","x":[0.0001813494066944238,0.024999999999999998],"y":[0.0001813494066944238,0.024999999999999998],"type":"scatter","xaxis":"x2","yaxis":"y2"}], {"template":{"data":{"barpolar":[{"marker":{"line":{"color":"white","width":0.5},"pattern":{"fillmode":"overlay","size":10,"solidity":0.2}},"type":"barpolar"}],"bar":[{"error_x":{"color":"#2a3f5f"},"error_y":{"color":"#2a3f5f"},"marker":{"line":{"color":"white","width":0.5},"pattern":{"fillmode":"overlay","size":10,"solidity":0.2}},"type":"bar"}],"carpet":[{"aaxis":{"endlinecolor":"#2a3f5f","gridcolor":"#C8D4E3","linecolor":"#C8D4E3","minorgridcolor":"#C8D4E3","startlinecolor":"#2a3f5f"},"baxis":{"endlinecolor":"#2a3f5f","gridcolor":"#C8D4E3","linecolor":"#C8D4E3","minorgridcolor":"#C8D4E3","startlinecolor":"#2a3f5f"},"type":"carpet"}],"choropleth":[{"colorbar":{"outlinewidth":0,"ticks":""},"type":"choropleth"}],"contourcarpet":[{"colorbar":{"outlinewidth":0,"ticks":""},"type":"contourcarpet"}],"contour":[{"colorbar":{"outlinewidth":0,"ticks":""},"colorscale":[[0.0,"#0d0887"],[0.1111111111111111,"#46039f"],[0.2222222222222222,"#7201a8"],[0.3333333333333333,"#9c179e"],[0.4444444444444444,"#bd3786"],[0.5555555555555556,"#d8576b"],[0.6666666666666666,"#ed7953"],[0.7777777777777778,"#fb9f3a"],[0.8888888888888888,"#fdca26"],[1.0,"#f0f921"]],"type":"contour"}],"heatmap":[{"colorbar":{"outlinewidth":0,"ticks":""},"colorscale":[[0.0,"#0d0887"],[0.1111111111111111,"#46039f"],[0.2222222222222222,"#7201a8"],[0.3333333333333333,"#9c179e"],[0.4444444444444444,"#bd3786"],[0.5555555555555556,"#d8576b"],[0.6666666666666666,"#ed7953"],[0.7777777777777778,"#fb9f3a"],[0.8888888888888888,"#fdca26"],[1.0,"#f0f921"]],"type":"heatmap"}],"histogram2dcontour":[{"colorbar":{"outlinewidth":0,"ticks":""},"colorscale":[[0.0,"#0d0887"],[0.1111111111111111,"#46039f"],[0.2222222222222222,"#7201a8"],[0.3333333333333333,"#9c179e"],[0.4444444444444444,"#bd3786"],[0.5555555555555556,"#d8576b"],[0.6666666666666666,"#ed7953"],[0.7777777777777778,"#fb9f3a"],[0.8888888888888888,"#fdca26"],[1.0,"#f0f921"]],"type":"histogram2dcontour"}],"histogram2d":[{"colorbar":{"outlinewidth":0,"ticks":""},"colorscale":[[0.0,"#0d0887"],[0.1111111111111111,"#46039f"],[0.2222222222222222,"#7201a8"],[0.3333333333333333,"#9c179e"],[0.4444444444444444,"#bd3786"],[0.5555555555555556,"#d8576b"],[0.6666666666666666,"#ed7953"],[0.7777777777777778,"#fb9f3a"],[0.8888888888888888,"#fdca26"],[1.0,"#f0f921"]],"type":"histogram2d"}],"histogram":[{"marker":{"pattern":{"fillmode":"overlay","size":10,"solidity":0.2}},"type":"histogram"}],"mesh3d":[{"colorbar":{"outlinewidth":0,"ticks":""},"type":"mesh3d"}],"parcoords":[{"line":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"parcoords"}],"pie":[{"automargin":true,"type":"pie"}],"scatter3d":[{"line":{"colorbar":{"outlinewidth":0,"ticks":""}},"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scatter3d"}],"scattercarpet":[{"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scattercarpet"}],"scattergeo":[{"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scattergeo"}],"scattergl":[{"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scattergl"}],"scattermapbox":[{"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scattermapbox"}],"scattermap":[{"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scattermap"}],"scatterpolargl":[{"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scatterpolargl"}],"scatterpolar":[{"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scatterpolar"}],"scatter":[{"fillpattern":{"fillmode":"overlay","size":10,"solidity":0.2},"type":"scatter"}],"scatterternary":[{"marker":{"colorbar":{"outlinewidth":0,"ticks":""}},"type":"scatterternary"}],"surface":[{"colorbar":{"outlinewidth":0,"ticks":""},"colorscale":[[0.0,"#0d0887"],[0.1111111111111111,"#46039f"],[0.2222222222222222,"#7201a8"],[0.3333333333333333,"#9c179e"],[0.4444444444444444,"#bd3786"],[0.5555555555555556,"#d8576b"],[0.6666666666666666,"#ed7953"],[0.7777777777777778,"#fb9f3a"],[0.8888888888888888,"#fdca26"],[1.0,"#f0f921"]],"type":"surface"}],"table":[{"cells":{"fill":{"color":"#EBF0F8"},"line":{"color":"white"}},"header":{"fill":{"color":"#C8D4E3"},"line":{"color":"white"}},"type":"table"}]},"layout":{"annotationdefaults":{"arrowcolor":"#2a3f5f","arrowhead":0,"arrowwidth":1},"autotypenumbers":"strict","coloraxis":{"colorbar":{"outlinewidth":0,"ticks":""}},"colorscale":{"diverging":[[0,"#8e0152"],[0.1,"#c51b7d"],[0.2,"#de77ae"],[0.3,"#f1b6da"],[0.4,"#fde0ef"],[0.5,"#f7f7f7"],[0.6,"#e6f5d0"],[0.7,"#b8e186"],[0.8,"#7fbc41"],[0.9,"#4d9221"],[1,"#276419"]],"sequential":[[0.0,"#0d0887"],[0.1111111111111111,"#46039f"],[0.2222222222222222,"#7201a8"],[0.3333333333333333,"#9c179e"],[0.4444444444444444,"#bd3786"],[0.5555555555555556,"#d8576b"],[0.6666666666666666,"#ed7953"],[0.7777777777777778,"#fb9f3a"],[0.8888888888888888,"#fdca26"],[1.0,"#f0f921"]],"sequentialminus":[[0.0,"#0d0887"],[0.1111111111111111,"#46039f"],[0.2222222222222222,"#7201a8"],[0.3333333333333333,"#9c179e"],[0.4444444444444444,"#bd3786"],[0.5555555555555556,"#d8576b"],[0.6666666666666666,"#ed7953"],[0.7777777777777778,"#fb9f3a"],[0.8888888888888888,"#fdca26"],[1.0,"#f0f921"]]},"colorway":["#636efa","#EF553B","#00cc96","#ab63fa","#FFA15A","#19d3f3","#FF6692","#B6E880","#FF97FF","#FECB52"],"font":{"color":"#2a3f5f"},"geo":{"bgcolor":"white","lakecolor":"white","landcolor":"white","showlakes":true,"showland":true,"subunitcolor":"#C8D4E3"},"hoverlabel":{"align":"left"},"hovermode":"closest","mapbox":{"style":"light"},"paper_bgcolor":"white","plot_bgcolor":"white","polar":{"angularaxis":{"gridcolor":"#EBF0F8","linecolor":"#EBF0F8","ticks":""},"bgcolor":"white","radialaxis":{"gridcolor":"#EBF0F8","linecolor":"#EBF0F8","ticks":""}},"scene":{"xaxis":{"backgroundcolor":"white","gridcolor":"#DFE8F3","gridwidth":2,"linecolor":"#EBF0F8","showbackground":true,"ticks":"","zerolinecolor":"#EBF0F8"},"yaxis":{"backgroundcolor":"white","gridcolor":"#DFE8F3","gridwidth":2,"linecolor":"#EBF0F8","showbackground":true,"ticks":"","zerolinecolor":"#EBF0F8"},"zaxis":{"backgroundcolor":"white","gridcolor":"#DFE8F3","gridwidth":2,"linecolor":"#EBF0F8","showbackground":true,"ticks":"","zerolinecolor":"#EBF0F8"}},"shapedefaults":{"line":{"color":"#2a3f5f"}},"ternary":{"aaxis":{"gridcolor":"#DFE8F3","linecolor":"#A2B1C6","ticks":""},"baxis":{"gridcolor":"#DFE8F3","linecolor":"#A2B1C6","ticks":""},"bgcolor":"white","caxis":{"gridcolor":"#DFE8F3","linecolor":"#A2B1C6","ticks":""}},"title":{"x":0.05},"xaxis":{"automargin":true,"gridcolor":"#EBF0F8","linecolor":"#EBF0F8","ticks":"","title":{"standoff":15},"zerolinecolor":"#EBF0F8","zerolinewidth":2},"yaxis":{"automargin":true,"gridcolor":"#EBF0F8","linecolor":"#EBF0F8","ticks":"","title":{"standoff":15},"zerolinecolor":"#EBF0F8","zerolinewidth":2}}},"xaxis":{"anchor":"y","domain":[0.0,0.45],"title":{"text":"perturbation delta"}},"yaxis":{"anchor":"x","domain":[0.0,1.0],"title":{"text":"margin (\u003e0 satisfied)"}},"xaxis2":{"anchor":"y2","domain":[0.55,1.0],"title":{"text":"RHS (bound)"}},"yaxis2":{"anchor":"x2","domain":[0.0,1.0],"title":{"text":"LHS (achieved)"}},"annotations":[{"font":{"size":16},"showarrow":false,"text":"signed margin vs delta","x":0.225,"xanchor":"center","xref":"paper","y":1.0,"yanchor":"bottom","yref":"paper"},{"font":{"size":16},"showarrow":false,"text":"empirical vs bound","x":0.775,"xanchor":"center","xref":"paper","y":1.0,"yanchor":"bottom","yref":"paper"}],"shapes":[{"line":{"color":"#d62728","dash":"dash"},"type":"line","x0":0,"x1":1,"xref":"x domain","y0":0,"y1":0,"yref":"y"}],"title":{"text":"claim2-twophase-W2-bound — theory-numerical verification"},"height":420,"width":1000}, {"responsive": true} ) }; </script> </div> | |
| </body> | |
| </html> |
Xet Storage Details
- Size:
- 15.8 kB
- Xet hash:
- eb1b3aae332b8c9f41589bdb66c2403771a125b8198cec41b3a64df94a677170
·
Xet efficiently stores files, intelligently splitting them into unique chunks and accelerating uploads and downloads. More info.