job-run/upper_bound_audit.csv

dimension,depth,coverage_M,coverage_holds,global_loss,logit_loss,logit_excess,probability_loss,probability_minus_logit,B_pstar,B_X,theorem_bound,excess_to_bound_ratio,bound_holds,control
3,3,3,True,0.5144284148276026,0.5144295668188228,1.1519912201940485e-06,0.6730492070563803,0.15861964023755748,2.4749999999999996,1.0,4.286825748732971,2.687282590234826e-07,True,covered cyclic path
3,6,3,True,0.5144284148276026,0.5144284181270298,3.2994271759179128e-09,0.6731552672642638,0.158726849137234,2.4749999999999996,1.0,3.0312435566941827,1.0884731346088884e-09,True,covered cyclic path
3,12,3,True,0.5144284148276026,0.5144284148276306,2.7977620220553945e-14,0.6731551986993691,0.15872678387173855,2.4749999999999996,1.0,2.1434128743664855,1.3052837628785404e-14,True,covered cyclic path
3,24,3,True,0.5144284148276026,0.5144284148276027,1.1102230246251565e-16,0.6731551986993514,0.15872678387174866,2.4749999999999996,1.0,1.5156217783470913,7.325198413524679e-17,True,covered cyclic path
4,4,4,True,0.4869272007233333,0.4869296750988876,2.474375554339936e-06,0.6780974950587446,0.191167819959857,3.3,1.0,6.6,3.7490538702120246e-07,True,covered cyclic path
4,8,4,True,0.4869272007233333,0.4869272414416719,4.071833858976248e-08,0.6781022558994596,0.19117501445778773,3.3,1.0,4.666904755831213,8.72491313196089e-09,True,covered cyclic path
4,16,4,True,0.4869272007233333,0.48692720072450135,1.1680656442081272e-12,0.6781022555312541,0.1911750548067528,3.3,1.0,3.3,3.5395928612367494e-13,True,covered cyclic path
4,32,4,True,0.4869272007233333,0.4869272007233333,0.0,0.678102255531254,0.19117505480792074,3.3,1.0,2.3334523779156067,0.0,True,covered cyclic path
5,5,5,True,0.463324685968864,0.46332645550877727,1.769539913265561e-06,0.680386660515498,0.21706020500672074,4.124999999999999,1.0,9.22378040718663,1.9184540775567888e-07,True,covered cyclic path
5,10,5,True,0.463324685968864,0.46332471278572607,2.68168620642939e-08,0.6803868326695682,0.21706211988384216,4.124999999999999,1.0,6.5221976740972805,4.111629761053746e-09,True,covered cyclic path
5,20,5,True,0.463324685968864,0.4633246859703344,1.4703793738135573e-12,0.6803868326688891,0.21706214669855473,4.124999999999999,1.0,4.611890203593315,3.1882358618770315e-13,True,covered cyclic path
5,40,5,True,0.463324685968864,0.463324685968864,0.0,0.6803868326688891,0.2170621467000251,4.124999999999999,1.0,3.2610988370486402,0.0,True,covered cyclic path
6,6,6,True,0.4429024895246981,0.44290358606427294,1.096539574862998e-06,0.6819173883475536,0.23901380228328062,4.949999999999999,1.0,12.12497422677673,9.043644583106871e-08,True,covered cyclic path
6,12,6,True,0.4429024895246981,0.4429024995952242,1.0070526135219637e-08,0.6819173936173238,0.23901489402209963,4.949999999999999,1.0,8.573651497465942,1.1745900959697413e-09,True,covered cyclic path
6,24,6,True,0.4429024895246981,0.4429024895249154,2.173261570703744e-13,0.6819173936173231,0.23901490409240767,4.949999999999999,1.0,6.062487113388365,3.5847689736186396e-14,True,covered cyclic path
6,48,6,True,0.4429024895246981,0.44290248952469813,5.551115123125783e-17,0.6819173936173231,0.23901490409262494,4.949999999999999,1.0,4.286825748732971,1.2949243679350599e-17,True,covered cyclic path
8,8,8,True,0.40929066142130943,0.4092911474385409,4.860172314602451e-07,0.6839527972939423,0.2746616498554014,6.6,1.0,18.667619023324853,2.603530910144327e-08,True,covered cyclic path
8,16,8,True,0.40929066142130943,0.40929066261173364,1.1904242036564483e-09,0.6839527972972353,0.2746621346855017,6.6,1.0,13.2,9.018365179215517e-11,True,covered cyclic path
8,32,8,True,0.40929066142130943,0.4092906614213612,5.179190409876355e-14,0.6839527972972353,0.2746621358758741,6.6,1.0,9.333809511662427,5.5488494846665236e-15,True,covered cyclic path
8,64,8,True,0.40929066142130943,0.40929066142130943,0.0,0.6839527972972353,0.2746621358759259,6.6,1.0,6.6,0.0,True,covered cyclic path
10,10,10,True,0.38255602470429095,0.38255630534052565,2.806362346952085e-07,0.6853196831272096,0.30276337778668394,8.249999999999998,1.0,26.088790696389122,1.0756966007399131e-08,True,covered cyclic path
10,20,10,True,0.38255602470429095,0.3825560249819988,2.777078567106628e-10,0.6853196831272108,0.302763658145212,8.249999999999998,1.0,18.44756081437326,1.5053906557353048e-11,True,covered cyclic path
10,40,10,True,0.38255602470429095,0.3825560247043336,4.263256414560601e-14,0.6853196831272108,0.3027636584228772,8.249999999999998,1.0,13.044395348194561,3.268266792565948e-15,True,covered cyclic path
10,80,10,True,0.38255602470429095,0.38255602470429095,0.0,0.6853196831272108,0.30276365842291986,8.249999999999998,1.0,9.22378040718663,0.0,True,covered cyclic path
12,12,12,True,0.36060107869092856,0.36060126834413075,1.896532021983255e-07,0.6863181182289503,0.3257168498848195,9.899999999999999,1.0,34.29460598986377,5.530117542519079e-09,True,covered cyclic path
12,24,12,True,0.36060107869092856,0.36060107892956694,2.386383868291375e-10,0.6863181182289503,0.32571703929938334,9.899999999999999,1.0,24.24994845355346,9.840779137580751e-12,True,covered cyclic path
12,48,12,True,0.36060107869092856,0.36060107869097613,4.757305660518796e-14,0.6863181182289503,0.32571703953797415,9.899999999999999,1.0,17.147302994931884,2.774375458300866e-15,True,covered cyclic path
12,96,12,True,0.36060107869092856,0.36060107869092856,0.0,0.6863181182289503,0.3257170395380217,9.899999999999999,1.0,12.12497422677673,0.0,True,covered cyclic path
2,256,,False,0.19086497110644213,0.6931471805599453,0.5022822094535031,,,3.0,1.0,0.375,1.3394192252093415,False,M-coverage deliberately broken; bound is out of scope
2,1024,,False,0.19086497110644213,0.6931471805599453,0.5022822094535031,,,3.0,1.0,0.1875,2.678838450418683,False,M-coverage deliberately broken; bound is out of scope
2,4096,,False,0.19086497110644213,0.6931471805599453,0.5022822094535031,,,3.0,1.0,0.09375,5.357676900837366,False,M-coverage deliberately broken; bound is out of scope
2,16384,,False,0.19086497110644213,0.6931471805599453,0.5022822094535031,,,3.0,1.0,0.046875,10.715353801674732,False,M-coverage deliberately broken; bound is out of scope