summaryrefslogtreecommitdiff
path: root/research/flossing/step5_C_trm_step_26041_alpha1_lstar0.json
diff options
context:
space:
mode:
Diffstat (limited to 'research/flossing/step5_C_trm_step_26041_alpha1_lstar0.json')
-rw-r--r--research/flossing/step5_C_trm_step_26041_alpha1_lstar0.json4562
1 files changed, 4562 insertions, 0 deletions
diff --git a/research/flossing/step5_C_trm_step_26041_alpha1_lstar0.json b/research/flossing/step5_C_trm_step_26041_alpha1_lstar0.json
new file mode 100644
index 0000000..4834a5a
--- /dev/null
+++ b/research/flossing/step5_C_trm_step_26041_alpha1_lstar0.json
@@ -0,0 +1,4562 @@
+{
+ "args": {
+ "ckpt_root": "/home/yurenh2/rrm/trm/checkpoints/Sudoku-extreme-1k-aug-1000-ACT-torch/pretrain_mlp_t_sudoku_singleGPU",
+ "ckpt_name": "step_26041",
+ "n_steps": 500,
+ "batch_size": 8,
+ "lr": 1e-05,
+ "alpha_rf": 1.0,
+ "lambda_star": 0.0,
+ "rf_mode": "fixed",
+ "k_lyap": 2,
+ "lyap_act_steps": 4,
+ "seed": 42,
+ "eval_every": 100,
+ "eval_n": 512,
+ "eval_batch_size": 32,
+ "out": "step5_C_trm_step_26041_alpha1_lstar0.json"
+ },
+ "initial_acc": 0.59765625,
+ "initial_tok_acc": 0.8614245756172839,
+ "steps": [
+ {
+ "step": 0,
+ "sup_loss": 0.4200808365035027,
+ "rf_loss": 0.001729956129565835,
+ "total_loss": 0.42181079263306853,
+ "lyap1_mean": 0.010343756526708603,
+ "lyap1_max": 0.0999058187007904,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 1,
+ "sup_loss": 0.47190421151788003,
+ "rf_loss": 0.002002747030928731,
+ "total_loss": 0.47390695854880877,
+ "lyap1_mean": 0.02789272926747799,
+ "lyap1_max": 0.06295095384120941,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 2,
+ "sup_loss": 0.5632477045459034,
+ "rf_loss": 0.0023138008546084166,
+ "total_loss": 0.5655615054005119,
+ "lyap1_mean": 0.03084397315979004,
+ "lyap1_max": 0.07305742800235748,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 3,
+ "sup_loss": 0.5063764258436015,
+ "rf_loss": 0.001071701291948557,
+ "total_loss": 0.5074481271355501,
+ "lyap1_mean": 0.007740560919046402,
+ "lyap1_max": 0.05308622494339943,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 4,
+ "sup_loss": 0.48282804912322486,
+ "rf_loss": 0.001427283976227045,
+ "total_loss": 0.4842553330994519,
+ "lyap1_mean": 0.01732153445482254,
+ "lyap1_max": 0.07748977839946747,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 5,
+ "sup_loss": 0.544691423868597,
+ "rf_loss": 0.0014404435642063618,
+ "total_loss": 0.5461318674328034,
+ "lyap1_mean": 0.015713531523942947,
+ "lyap1_max": 0.07988853007555008,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 6,
+ "sup_loss": 0.4458589706924323,
+ "rf_loss": 0.0014347584219649434,
+ "total_loss": 0.44729372911439724,
+ "lyap1_mean": 0.026149816811084747,
+ "lyap1_max": 0.06515344232320786,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 7,
+ "sup_loss": 0.5586490718445121,
+ "rf_loss": 0.0012249124702066183,
+ "total_loss": 0.5598739843147187,
+ "lyap1_mean": 0.02824661321938038,
+ "lyap1_max": 0.061846815049648285,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 8,
+ "sup_loss": 0.5181821193769985,
+ "rf_loss": 0.00116450572386384,
+ "total_loss": 0.5193466251008624,
+ "lyap1_mean": 0.02343718148767948,
+ "lyap1_max": 0.04941082000732422,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 9,
+ "sup_loss": 0.5848612639464734,
+ "rf_loss": 0.0016524940729141235,
+ "total_loss": 0.5865137580193875,
+ "lyap1_mean": 0.02660655789077282,
+ "lyap1_max": 0.0890251100063324,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 10,
+ "sup_loss": 0.5643520899857408,
+ "rf_loss": 0.0040472568944096565,
+ "total_loss": 0.5683993468801505,
+ "lyap1_mean": 0.04425225406885147,
+ "lyap1_max": 0.09516140818595886,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 11,
+ "sup_loss": 0.510841156342395,
+ "rf_loss": 0.0012980708852410316,
+ "total_loss": 0.512139227227636,
+ "lyap1_mean": 0.020170893520116806,
+ "lyap1_max": 0.060410868376493454,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 12,
+ "sup_loss": 0.47070061551167347,
+ "rf_loss": 0.0031273982021957636,
+ "total_loss": 0.47382801371386923,
+ "lyap1_mean": 0.0324358195066452,
+ "lyap1_max": 0.09581868350505829,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 13,
+ "sup_loss": 0.5208371132900662,
+ "rf_loss": 0.0021382072009146214,
+ "total_loss": 0.5229753204909808,
+ "lyap1_mean": 0.02865959331393242,
+ "lyap1_max": 0.08007741719484329,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 14,
+ "sup_loss": 0.4147823781013066,
+ "rf_loss": 0.001990881748497486,
+ "total_loss": 0.41677325984980407,
+ "lyap1_mean": 0.01909000612795353,
+ "lyap1_max": 0.06686845421791077,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 15,
+ "sup_loss": 0.6102387971182173,
+ "rf_loss": 0.002829386154189706,
+ "total_loss": 0.613068183272407,
+ "lyap1_mean": 0.0331362709403038,
+ "lyap1_max": 0.09979990869760513,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 16,
+ "sup_loss": 0.570214883055293,
+ "rf_loss": 0.004191861487925053,
+ "total_loss": 0.574406744543218,
+ "lyap1_mean": 0.04219186305999756,
+ "lyap1_max": 0.09483522921800613,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 17,
+ "sup_loss": 0.5769024930535662,
+ "rf_loss": 0.0024437452666461468,
+ "total_loss": 0.5793462383202124,
+ "lyap1_mean": 0.039977557957172394,
+ "lyap1_max": 0.07966359704732895,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 18,
+ "sup_loss": 0.47905375495981184,
+ "rf_loss": 0.0015224015805870295,
+ "total_loss": 0.48057615654039887,
+ "lyap1_mean": 0.00793007668107748,
+ "lyap1_max": 0.09041734784841537,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 19,
+ "sup_loss": 0.5285499306188286,
+ "rf_loss": 0.0024912722874432802,
+ "total_loss": 0.5310412029062719,
+ "lyap1_mean": 0.02560747042298317,
+ "lyap1_max": 0.09110637754201889,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 20,
+ "sup_loss": 0.53256144128909,
+ "rf_loss": 0.002254946855828166,
+ "total_loss": 0.5348163881449182,
+ "lyap1_mean": 0.0274222269654274,
+ "lyap1_max": 0.07850228250026703,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 21,
+ "sup_loss": 0.43827702796705137,
+ "rf_loss": 0.0030049793422222137,
+ "total_loss": 0.4412820073092736,
+ "lyap1_mean": 0.028975147753953934,
+ "lyap1_max": 0.10292286425828934,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 22,
+ "sup_loss": 0.44541258517978527,
+ "rf_loss": 0.0005322180222719908,
+ "total_loss": 0.44594480320205726,
+ "lyap1_mean": -0.0007049711421132088,
+ "lyap1_max": 0.043959569185972214,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 23,
+ "sup_loss": 0.5048269469401431,
+ "rf_loss": 0.003687134012579918,
+ "total_loss": 0.508514080952723,
+ "lyap1_mean": 0.03388011083006859,
+ "lyap1_max": 0.11095193773508072,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 24,
+ "sup_loss": 0.5631751001116099,
+ "rf_loss": 0.0021411916241049767,
+ "total_loss": 0.5653162917357148,
+ "lyap1_mean": 0.03025251068174839,
+ "lyap1_max": 0.07176010310649872,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 25,
+ "sup_loss": 0.6673905526610088,
+ "rf_loss": 0.002599798608571291,
+ "total_loss": 0.6699903512695801,
+ "lyap1_mean": 0.0404333733022213,
+ "lyap1_max": 0.07656089961528778,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 26,
+ "sup_loss": 0.6261106842653196,
+ "rf_loss": 0.00230965344235301,
+ "total_loss": 0.6284203377076726,
+ "lyap1_mean": 0.0367579311132431,
+ "lyap1_max": 0.06722597777843475,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 27,
+ "sup_loss": 0.4092418070004479,
+ "rf_loss": 0.0019617797806859016,
+ "total_loss": 0.4112035867811338,
+ "lyap1_mean": 0.007098580710589886,
+ "lyap1_max": 0.08141709119081497,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 28,
+ "sup_loss": 0.5578856276039412,
+ "rf_loss": 0.0026125176809728146,
+ "total_loss": 0.560498145284914,
+ "lyap1_mean": 0.03506162390112877,
+ "lyap1_max": 0.0843752846121788,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 29,
+ "sup_loss": 0.6156509651459183,
+ "rf_loss": 0.0027218442410230637,
+ "total_loss": 0.6183728093869414,
+ "lyap1_mean": 0.031603239476680756,
+ "lyap1_max": 0.09431564062833786,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 30,
+ "sup_loss": 0.5932796459449785,
+ "rf_loss": 0.0018880858551710844,
+ "total_loss": 0.5951677318001496,
+ "lyap1_mean": 0.03199339658021927,
+ "lyap1_max": 0.08026787638664246,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 31,
+ "sup_loss": 0.5159917421461302,
+ "rf_loss": 0.0023749489337205887,
+ "total_loss": 0.5183666910798508,
+ "lyap1_mean": 0.03142464905977249,
+ "lyap1_max": 0.08337820321321487,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 32,
+ "sup_loss": 0.49879093000907415,
+ "rf_loss": 0.0019179709488525987,
+ "total_loss": 0.5007089009579268,
+ "lyap1_mean": 0.02097446471452713,
+ "lyap1_max": 0.06798236072063446,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 33,
+ "sup_loss": 0.557363310311292,
+ "rf_loss": 0.0007619809475727379,
+ "total_loss": 0.5581252912588648,
+ "lyap1_mean": 0.010876748710870743,
+ "lyap1_max": 0.05444452911615372,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 34,
+ "sup_loss": 0.5196405319540365,
+ "rf_loss": 0.002801339142024517,
+ "total_loss": 0.522441871096061,
+ "lyap1_mean": 0.03852064535021782,
+ "lyap1_max": 0.07424065470695496,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 35,
+ "sup_loss": 0.3966356053581033,
+ "rf_loss": 0.0014093954814597964,
+ "total_loss": 0.3980450008395631,
+ "lyap1_mean": 0.005116401240229607,
+ "lyap1_max": 0.068181611597538,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 36,
+ "sup_loss": 0.4872329910426705,
+ "rf_loss": 0.0018640655325725675,
+ "total_loss": 0.48909705657524305,
+ "lyap1_mean": 0.026564307510852814,
+ "lyap1_max": 0.07650914043188095,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 37,
+ "sup_loss": 0.5912973418438572,
+ "rf_loss": 0.002363035921007395,
+ "total_loss": 0.5936603777648646,
+ "lyap1_mean": 0.03747545927762985,
+ "lyap1_max": 0.09838958084583282,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 38,
+ "sup_loss": 0.4622111792238753,
+ "rf_loss": 0.0022248958703130484,
+ "total_loss": 0.4644360750941883,
+ "lyap1_mean": 0.02812507003545761,
+ "lyap1_max": 0.0878811627626419,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 39,
+ "sup_loss": 0.6514148273694745,
+ "rf_loss": 0.001734175137244165,
+ "total_loss": 0.6531490025067187,
+ "lyap1_mean": 0.017801932990550995,
+ "lyap1_max": 0.08119213581085205,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 40,
+ "sup_loss": 0.706134005642838,
+ "rf_loss": 0.0028001456521451473,
+ "total_loss": 0.7089341512949832,
+ "lyap1_mean": 0.04890374466776848,
+ "lyap1_max": 0.08765897154808044,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 41,
+ "sup_loss": 0.5269063036618598,
+ "rf_loss": 0.003238275647163391,
+ "total_loss": 0.5301445793090231,
+ "lyap1_mean": 0.034293223172426224,
+ "lyap1_max": 0.0867040604352951,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 42,
+ "sup_loss": 0.5503479985096227,
+ "rf_loss": 0.001993404468521476,
+ "total_loss": 0.5523414029781442,
+ "lyap1_mean": 0.026044711470603943,
+ "lyap1_max": 0.07599431276321411,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 43,
+ "sup_loss": 0.48815421570443884,
+ "rf_loss": 0.0016106187831610441,
+ "total_loss": 0.4897648344875999,
+ "lyap1_mean": 0.010356412269175053,
+ "lyap1_max": 0.07406928390264511,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 44,
+ "sup_loss": 0.708743091701458,
+ "rf_loss": 0.001639518653973937,
+ "total_loss": 0.7103826103554319,
+ "lyap1_mean": 0.03535977005958557,
+ "lyap1_max": 0.05924959480762482,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 45,
+ "sup_loss": 0.5531598475100629,
+ "rf_loss": 0.0033099823631346226,
+ "total_loss": 0.5564698298731975,
+ "lyap1_mean": 0.03871718421578407,
+ "lyap1_max": 0.1004580482840538,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 46,
+ "sup_loss": 0.5931406973670755,
+ "rf_loss": 0.0018529703374952078,
+ "total_loss": 0.5949936677045707,
+ "lyap1_mean": 0.029162956401705742,
+ "lyap1_max": 0.06573771685361862,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 47,
+ "sup_loss": 0.5708149915705383,
+ "rf_loss": 0.0002634208940435201,
+ "total_loss": 0.5710784124645818,
+ "lyap1_mean": -0.0031957640312612057,
+ "lyap1_max": 0.041292667388916016,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 48,
+ "sup_loss": 0.6202011695275332,
+ "rf_loss": 0.0029853752348572016,
+ "total_loss": 0.6231865447623904,
+ "lyap1_mean": 0.04652070999145508,
+ "lyap1_max": 0.0965476706624031,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 49,
+ "sup_loss": 0.5922455804025786,
+ "rf_loss": 0.0030493091326206923,
+ "total_loss": 0.5952948895351993,
+ "lyap1_mean": 0.050192609429359436,
+ "lyap1_max": 0.09430691599845886,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 50,
+ "sup_loss": 0.6630757455700849,
+ "rf_loss": 0.002510565100237727,
+ "total_loss": 0.6655863106703226,
+ "lyap1_mean": 0.03721302002668381,
+ "lyap1_max": 0.10475634783506393,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 51,
+ "sup_loss": 0.6249887261294259,
+ "rf_loss": 0.0022718776017427444,
+ "total_loss": 0.6272606037311687,
+ "lyap1_mean": 0.04002027213573456,
+ "lyap1_max": 0.07963940501213074,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 52,
+ "sup_loss": 0.3332944317265202,
+ "rf_loss": 0.0006017336854711175,
+ "total_loss": 0.3338961654119913,
+ "lyap1_mean": -0.017650360241532326,
+ "lyap1_max": 0.06636516004800797,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 53,
+ "sup_loss": 0.5486309992910077,
+ "rf_loss": 0.0017383592203259468,
+ "total_loss": 0.5503693585113336,
+ "lyap1_mean": 0.020950641483068466,
+ "lyap1_max": 0.06949464976787567,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 54,
+ "sup_loss": 0.5805703757267491,
+ "rf_loss": 0.001884182682260871,
+ "total_loss": 0.58245455840901,
+ "lyap1_mean": 0.0324549600481987,
+ "lyap1_max": 0.07041025161743164,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 55,
+ "sup_loss": 0.5721336739186755,
+ "rf_loss": 0.0008954140357673168,
+ "total_loss": 0.5730290879544429,
+ "lyap1_mean": 0.01804092526435852,
+ "lyap1_max": 0.053229253739118576,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 56,
+ "sup_loss": 0.4911018248830848,
+ "rf_loss": 0.001246415195055306,
+ "total_loss": 0.4923482400781401,
+ "lyap1_mean": 0.016145048663020134,
+ "lyap1_max": 0.07171989977359772,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 57,
+ "sup_loss": 0.5861143628636606,
+ "rf_loss": 0.0019043751526623964,
+ "total_loss": 0.588018738016323,
+ "lyap1_mean": 0.027045730501413345,
+ "lyap1_max": 0.0735091045498848,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 58,
+ "sup_loss": 0.5657466044586685,
+ "rf_loss": 0.001406054012477398,
+ "total_loss": 0.5671526584711459,
+ "lyap1_mean": 0.02289268560707569,
+ "lyap1_max": 0.06711134314537048,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 59,
+ "sup_loss": 0.49324579438405114,
+ "rf_loss": 0.0021995152346789837,
+ "total_loss": 0.4954453096187301,
+ "lyap1_mean": 0.022681185975670815,
+ "lyap1_max": 0.09633173793554306,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 60,
+ "sup_loss": 0.5053408567876904,
+ "rf_loss": 0.0005838850629515946,
+ "total_loss": 0.505924741850642,
+ "lyap1_mean": -0.0011162464506924152,
+ "lyap1_max": 0.05002157390117645,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 61,
+ "sup_loss": 0.5530991822323953,
+ "rf_loss": 0.0024399308022111654,
+ "total_loss": 0.5555391130346065,
+ "lyap1_mean": 0.03964586555957794,
+ "lyap1_max": 0.09368208795785904,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 62,
+ "sup_loss": 0.4737423515795422,
+ "rf_loss": 0.0030349090229719877,
+ "total_loss": 0.4767772606025142,
+ "lyap1_mean": 0.02953583374619484,
+ "lyap1_max": 0.12921297550201416,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 63,
+ "sup_loss": 0.55592773401548,
+ "rf_loss": 0.0021293237805366516,
+ "total_loss": 0.5580570577960167,
+ "lyap1_mean": 0.02687208540737629,
+ "lyap1_max": 0.06775714457035065,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 64,
+ "sup_loss": 0.5039921534414507,
+ "rf_loss": 0.0007003110949881375,
+ "total_loss": 0.5046924645364388,
+ "lyap1_mean": 0.003263973630964756,
+ "lyap1_max": 0.0725298821926117,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 65,
+ "sup_loss": 0.6207256469011548,
+ "rf_loss": 0.001712324912659824,
+ "total_loss": 0.6224379718138147,
+ "lyap1_mean": 0.020918823778629303,
+ "lyap1_max": 0.086483895778656,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 66,
+ "sup_loss": 0.4393144112826729,
+ "rf_loss": 0.0012083562323823571,
+ "total_loss": 0.44052276751505526,
+ "lyap1_mean": 0.010591963306069374,
+ "lyap1_max": 0.05901436135172844,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 67,
+ "sup_loss": 0.5564597703969848,
+ "rf_loss": 0.0035164300352334976,
+ "total_loss": 0.5599762004322183,
+ "lyap1_mean": 0.05211064964532852,
+ "lyap1_max": 0.09735705703496933,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 68,
+ "sup_loss": 0.5166584350325617,
+ "rf_loss": 0.000506037671584636,
+ "total_loss": 0.5171644727041463,
+ "lyap1_mean": -0.006418300326913595,
+ "lyap1_max": 0.03759606182575226,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 69,
+ "sup_loss": 0.6707422211665731,
+ "rf_loss": 0.002062396612018347,
+ "total_loss": 0.6728046177785915,
+ "lyap1_mean": 0.040105268359184265,
+ "lyap1_max": 0.06600769609212875,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 70,
+ "sup_loss": 0.5130394086017368,
+ "rf_loss": 0.001823384314775467,
+ "total_loss": 0.5148627929165123,
+ "lyap1_mean": 0.017024990171194077,
+ "lyap1_max": 0.0735200047492981,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 71,
+ "sup_loss": 0.6284631223438998,
+ "rf_loss": 0.001882373820990324,
+ "total_loss": 0.6303454961648901,
+ "lyap1_mean": 0.03522567078471184,
+ "lyap1_max": 0.06758115440607071,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 72,
+ "sup_loss": 0.4714978903440162,
+ "rf_loss": 0.0013446464436128736,
+ "total_loss": 0.47284253678762905,
+ "lyap1_mean": 0.011349263601005077,
+ "lyap1_max": 0.06485379487276077,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 73,
+ "sup_loss": 0.5030449506850935,
+ "rf_loss": 0.001232542796060443,
+ "total_loss": 0.5042774934811539,
+ "lyap1_mean": 0.010569621808826923,
+ "lyap1_max": 0.06603151559829712,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 74,
+ "sup_loss": 0.6121880959489375,
+ "rf_loss": 0.0030133253894746304,
+ "total_loss": 0.6152014213384122,
+ "lyap1_mean": 0.04093962907791138,
+ "lyap1_max": 0.12593834102153778,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 75,
+ "sup_loss": 0.5558778366302844,
+ "rf_loss": 0.0017821064684540033,
+ "total_loss": 0.5576599430987385,
+ "lyap1_mean": 0.0192672461271286,
+ "lyap1_max": 0.09104893356561661,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 76,
+ "sup_loss": 0.5599394268054068,
+ "rf_loss": 0.0025180289521813393,
+ "total_loss": 0.5624574557575881,
+ "lyap1_mean": 0.032944243401288986,
+ "lyap1_max": 0.06834080070257187,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 77,
+ "sup_loss": 0.5390225617326908,
+ "rf_loss": 0.0031965598464012146,
+ "total_loss": 0.542219121579092,
+ "lyap1_mean": 0.04424364119768143,
+ "lyap1_max": 0.09206590801477432,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 78,
+ "sup_loss": 0.6104305697932328,
+ "rf_loss": 0.0019846518989652395,
+ "total_loss": 0.6124152216921981,
+ "lyap1_mean": 0.032371122390031815,
+ "lyap1_max": 0.06521938741207123,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 79,
+ "sup_loss": 0.5230597796428081,
+ "rf_loss": 0.0020212307572364807,
+ "total_loss": 0.5250810104000446,
+ "lyap1_mean": 0.024284502491354942,
+ "lyap1_max": 0.08322206884622574,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 80,
+ "sup_loss": 0.4615765314918232,
+ "rf_loss": 0.0011192362289875746,
+ "total_loss": 0.4626957677208108,
+ "lyap1_mean": 0.004108601249754429,
+ "lyap1_max": 0.06321354955434799,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 81,
+ "sup_loss": 0.5369847057295495,
+ "rf_loss": 0.001989036099985242,
+ "total_loss": 0.5389737418295347,
+ "lyap1_mean": 0.03154744580388069,
+ "lyap1_max": 0.09084123373031616,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 82,
+ "sup_loss": 0.4628800115944384,
+ "rf_loss": 0.002586119342595339,
+ "total_loss": 0.46546613093703376,
+ "lyap1_mean": 0.024750635027885437,
+ "lyap1_max": 0.09122774004936218,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 83,
+ "sup_loss": 0.5188810177329642,
+ "rf_loss": 0.002418355317786336,
+ "total_loss": 0.5212993730507506,
+ "lyap1_mean": 0.022249799221754074,
+ "lyap1_max": 0.09037560224533081,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 84,
+ "sup_loss": 0.5943679373519131,
+ "rf_loss": 0.0013976169284433126,
+ "total_loss": 0.5957655542803564,
+ "lyap1_mean": 0.021214567124843597,
+ "lyap1_max": 0.06726584583520889,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 85,
+ "sup_loss": 0.590165688147812,
+ "rf_loss": 0.0028967480175197124,
+ "total_loss": 0.5930624361653317,
+ "lyap1_mean": 0.03540312126278877,
+ "lyap1_max": 0.09765679389238358,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 86,
+ "sup_loss": 0.6475624400835975,
+ "rf_loss": 0.0018402922432869673,
+ "total_loss": 0.6494027323268845,
+ "lyap1_mean": 0.03412214294075966,
+ "lyap1_max": 0.06823709607124329,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 87,
+ "sup_loss": 0.5891026012467946,
+ "rf_loss": 0.0012504574842751026,
+ "total_loss": 0.5903530587310697,
+ "lyap1_mean": 0.02816963568329811,
+ "lyap1_max": 0.05186092481017113,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 88,
+ "sup_loss": 0.6899491734685419,
+ "rf_loss": 0.002098985016345978,
+ "total_loss": 0.6920481584848879,
+ "lyap1_mean": 0.03808104991912842,
+ "lyap1_max": 0.08689889311790466,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 89,
+ "sup_loss": 0.6805144655839523,
+ "rf_loss": 0.0014100122498348355,
+ "total_loss": 0.6819244778337872,
+ "lyap1_mean": 0.030907755717635155,
+ "lyap1_max": 0.059589337557554245,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 90,
+ "sup_loss": 0.49021760881238097,
+ "rf_loss": 0.0022036307491362095,
+ "total_loss": 0.4924212395615172,
+ "lyap1_mean": 0.02792472019791603,
+ "lyap1_max": 0.09527665376663208,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 91,
+ "sup_loss": 0.5674439522759606,
+ "rf_loss": 0.003418455831706524,
+ "total_loss": 0.5708624081076671,
+ "lyap1_mean": 0.05073096603155136,
+ "lyap1_max": 0.09727640450000763,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 92,
+ "sup_loss": 0.6557973963085141,
+ "rf_loss": 0.0031570536084473133,
+ "total_loss": 0.6589544499169614,
+ "lyap1_mean": 0.045756250619888306,
+ "lyap1_max": 0.09953975677490234,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 93,
+ "sup_loss": 0.4713321039026311,
+ "rf_loss": 0.0019066495588049293,
+ "total_loss": 0.473238753461436,
+ "lyap1_mean": 0.01635807380080223,
+ "lyap1_max": 0.07939457893371582,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 94,
+ "sup_loss": 0.5449776366797289,
+ "rf_loss": 0.001947644748724997,
+ "total_loss": 0.5469252814284539,
+ "lyap1_mean": 0.02601362019777298,
+ "lyap1_max": 0.08243697881698608,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 95,
+ "sup_loss": 0.5665969345985092,
+ "rf_loss": 0.0011821663938462734,
+ "total_loss": 0.5677791009923555,
+ "lyap1_mean": 0.019657650962471962,
+ "lyap1_max": 0.06071090325713158,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 96,
+ "sup_loss": 0.5286436644236435,
+ "rf_loss": 0.0021437471732497215,
+ "total_loss": 0.5307874115968932,
+ "lyap1_mean": 0.03694690763950348,
+ "lyap1_max": 0.07297644764184952,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 97,
+ "sup_loss": 0.44907814418263153,
+ "rf_loss": 0.0016639700625091791,
+ "total_loss": 0.4507421142451407,
+ "lyap1_mean": 0.015276141464710236,
+ "lyap1_max": 0.06905777007341385,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 98,
+ "sup_loss": 0.637561664066614,
+ "rf_loss": 0.002170249819755554,
+ "total_loss": 0.6397319138863695,
+ "lyap1_mean": 0.03937116265296936,
+ "lyap1_max": 0.06542914360761642,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 99,
+ "sup_loss": 0.47268439434055665,
+ "rf_loss": 0.0019794797990471125,
+ "total_loss": 0.47466387413960376,
+ "lyap1_mean": 0.011831900104880333,
+ "lyap1_max": 0.09381899982690811,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 100,
+ "sup_loss": 0.5703719361394408,
+ "rf_loss": 0.0030957499984651804,
+ "total_loss": 0.573467686137906,
+ "lyap1_mean": 0.039898015558719635,
+ "lyap1_max": 0.08013123273849487,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 101,
+ "sup_loss": 0.466157052589336,
+ "rf_loss": 0.0014446423156186938,
+ "total_loss": 0.4676016949049547,
+ "lyap1_mean": 0.009904155507683754,
+ "lyap1_max": 0.08879467844963074,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 102,
+ "sup_loss": 0.49914056466129314,
+ "rf_loss": 0.0013886450324207544,
+ "total_loss": 0.500529209693714,
+ "lyap1_mean": 0.006596082355827093,
+ "lyap1_max": 0.0709727481007576,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 103,
+ "sup_loss": 0.6044877148386713,
+ "rf_loss": 0.0010738441487774253,
+ "total_loss": 0.6055615589874487,
+ "lyap1_mean": 0.015912100672721863,
+ "lyap1_max": 0.05773777887225151,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 104,
+ "sup_loss": 0.6798189114916571,
+ "rf_loss": 0.00353995687328279,
+ "total_loss": 0.6833588683649399,
+ "lyap1_mean": 0.05690111964941025,
+ "lyap1_max": 0.0877917930483818,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 105,
+ "sup_loss": 0.585762432752036,
+ "rf_loss": 0.002227196004241705,
+ "total_loss": 0.5879896287562777,
+ "lyap1_mean": 0.030657827854156494,
+ "lyap1_max": 0.07682403922080994,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 106,
+ "sup_loss": 0.5432897596144936,
+ "rf_loss": 0.00235931109637022,
+ "total_loss": 0.5456490707108638,
+ "lyap1_mean": 0.026117857545614243,
+ "lyap1_max": 0.09842240065336227,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 107,
+ "sup_loss": 0.5521861866500041,
+ "rf_loss": 0.0020742923952639103,
+ "total_loss": 0.554260479045268,
+ "lyap1_mean": 0.030483892187476158,
+ "lyap1_max": 0.06916967034339905,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 108,
+ "sup_loss": 0.45670128682212063,
+ "rf_loss": 0.0014295298606157303,
+ "total_loss": 0.45813081668273636,
+ "lyap1_mean": 0.015776269137859344,
+ "lyap1_max": 0.06464236229658127,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 109,
+ "sup_loss": 0.6277571028085854,
+ "rf_loss": 0.0018843414727598429,
+ "total_loss": 0.6296414442813453,
+ "lyap1_mean": 0.030862566083669662,
+ "lyap1_max": 0.06016987934708595,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 110,
+ "sup_loss": 0.5569959792134097,
+ "rf_loss": 0.0028996351175010204,
+ "total_loss": 0.5598956143309107,
+ "lyap1_mean": 0.04074850678443909,
+ "lyap1_max": 0.10681693255901337,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 111,
+ "sup_loss": 0.5725007049784033,
+ "rf_loss": 0.002150719054043293,
+ "total_loss": 0.5746514240324466,
+ "lyap1_mean": 0.03913792595267296,
+ "lyap1_max": 0.06755571067333221,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 112,
+ "sup_loss": 0.5504965130178806,
+ "rf_loss": 0.00414096238091588,
+ "total_loss": 0.5546374753987965,
+ "lyap1_mean": 0.039295993745326996,
+ "lyap1_max": 0.13182762265205383,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 113,
+ "sup_loss": 0.6465839123474225,
+ "rf_loss": 0.002228380646556616,
+ "total_loss": 0.6488122929939791,
+ "lyap1_mean": 0.03320850059390068,
+ "lyap1_max": 0.07955320924520493,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 114,
+ "sup_loss": 0.5636223326779212,
+ "rf_loss": 0.001501354854553938,
+ "total_loss": 0.5651236875324751,
+ "lyap1_mean": 0.026540495455265045,
+ "lyap1_max": 0.05523265153169632,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 115,
+ "sup_loss": 0.5343873668341926,
+ "rf_loss": 0.0017679182346910238,
+ "total_loss": 0.5361552850688837,
+ "lyap1_mean": 0.02353585883975029,
+ "lyap1_max": 0.0654701367020607,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 116,
+ "sup_loss": 0.5760444935339232,
+ "rf_loss": 0.002930878195911646,
+ "total_loss": 0.5789753717298348,
+ "lyap1_mean": 0.04559709131717682,
+ "lyap1_max": 0.07151131331920624,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 117,
+ "sup_loss": 0.622626018476077,
+ "rf_loss": 0.0008470400935038924,
+ "total_loss": 0.6234730585695809,
+ "lyap1_mean": 0.014747514389455318,
+ "lyap1_max": 0.04157056659460068,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 118,
+ "sup_loss": 0.45637171014000455,
+ "rf_loss": 0.001905178651213646,
+ "total_loss": 0.4582768887912182,
+ "lyap1_mean": 0.024571122601628304,
+ "lyap1_max": 0.06765442341566086,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 119,
+ "sup_loss": 0.43065682279334,
+ "rf_loss": 0.0012480844743549824,
+ "total_loss": 0.431904907267695,
+ "lyap1_mean": 0.008015751838684082,
+ "lyap1_max": 0.05918155983090401,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 120,
+ "sup_loss": 0.6241998450554781,
+ "rf_loss": 0.0031497422605752945,
+ "total_loss": 0.6273495873160534,
+ "lyap1_mean": 0.054138414561748505,
+ "lyap1_max": 0.07038865238428116,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 121,
+ "sup_loss": 0.6317901476104468,
+ "rf_loss": 0.0020810142159461975,
+ "total_loss": 0.633871161826393,
+ "lyap1_mean": 0.03461707755923271,
+ "lyap1_max": 0.06680302321910858,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 122,
+ "sup_loss": 0.5822894382682792,
+ "rf_loss": 0.0021149280946701765,
+ "total_loss": 0.5844043663629493,
+ "lyap1_mean": 0.030233250930905342,
+ "lyap1_max": 0.08559098839759827,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 123,
+ "sup_loss": 0.6952365956169967,
+ "rf_loss": 0.001689948490820825,
+ "total_loss": 0.6969265441078175,
+ "lyap1_mean": 0.03264627605676651,
+ "lyap1_max": 0.05336135998368263,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 124,
+ "sup_loss": 0.7273994627257802,
+ "rf_loss": 0.002022149972617626,
+ "total_loss": 0.7294216126983978,
+ "lyap1_mean": 0.04186896234750748,
+ "lyap1_max": 0.0704648494720459,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 125,
+ "sup_loss": 0.5521959411256372,
+ "rf_loss": 0.0015963332261890173,
+ "total_loss": 0.5537922743518262,
+ "lyap1_mean": 0.024627428501844406,
+ "lyap1_max": 0.06874828040599823,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 126,
+ "sup_loss": 0.48505606496335113,
+ "rf_loss": 0.0018303568940609694,
+ "total_loss": 0.4868864218574121,
+ "lyap1_mean": 0.016863709315657616,
+ "lyap1_max": 0.09079866111278534,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 127,
+ "sup_loss": 0.4802592669717116,
+ "rf_loss": 0.0011024652048945427,
+ "total_loss": 0.48136173217660616,
+ "lyap1_mean": 0.0045020319521427155,
+ "lyap1_max": 0.07586601376533508,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 128,
+ "sup_loss": 0.5098431917084411,
+ "rf_loss": 0.0008189322543330491,
+ "total_loss": 0.5106621239627741,
+ "lyap1_mean": 0.010686378926038742,
+ "lyap1_max": 0.048118796199560165,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 129,
+ "sup_loss": 0.4604603105067393,
+ "rf_loss": 0.00244489056058228,
+ "total_loss": 0.4629052010673216,
+ "lyap1_mean": 0.04041397199034691,
+ "lyap1_max": 0.06742742657661438,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 130,
+ "sup_loss": 0.49229414786504716,
+ "rf_loss": 0.001059937640093267,
+ "total_loss": 0.4933540855051404,
+ "lyap1_mean": 0.008464125916361809,
+ "lyap1_max": 0.0619346983730793,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 131,
+ "sup_loss": 0.531993585377071,
+ "rf_loss": 0.0017144271405413747,
+ "total_loss": 0.5337080125176124,
+ "lyap1_mean": 0.022947341203689575,
+ "lyap1_max": 0.07944077253341675,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 132,
+ "sup_loss": 0.6099145830178281,
+ "rf_loss": 0.0019620172679424286,
+ "total_loss": 0.6118766002857705,
+ "lyap1_mean": 0.03053244762122631,
+ "lyap1_max": 0.08955039083957672,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 133,
+ "sup_loss": 0.6263528407666862,
+ "rf_loss": 0.0007558098877780139,
+ "total_loss": 0.6271086506544642,
+ "lyap1_mean": 0.010974261909723282,
+ "lyap1_max": 0.04239202290773392,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 134,
+ "sup_loss": 0.5430635328296776,
+ "rf_loss": 0.0017550868215039372,
+ "total_loss": 0.5448186196511815,
+ "lyap1_mean": 0.02771167829632759,
+ "lyap1_max": 0.08295124769210815,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 135,
+ "sup_loss": 0.5812638951390791,
+ "rf_loss": 0.0006872997619211674,
+ "total_loss": 0.5819511949010002,
+ "lyap1_mean": 0.010874416679143906,
+ "lyap1_max": 0.05926566570997238,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 136,
+ "sup_loss": 0.5550593647941795,
+ "rf_loss": 0.0018606301164254546,
+ "total_loss": 0.556919994910605,
+ "lyap1_mean": 0.024193596094846725,
+ "lyap1_max": 0.09068774431943893,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 137,
+ "sup_loss": 0.6169772022217282,
+ "rf_loss": 0.0008655303972773254,
+ "total_loss": 0.6178427326190056,
+ "lyap1_mean": 0.010950164869427681,
+ "lyap1_max": 0.058409180492162704,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 138,
+ "sup_loss": 0.4603342176808792,
+ "rf_loss": 0.002176516456529498,
+ "total_loss": 0.4625107341374087,
+ "lyap1_mean": 0.025095175951719284,
+ "lyap1_max": 0.08232230693101883,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 139,
+ "sup_loss": 0.554202004430521,
+ "rf_loss": 0.0013865750515833497,
+ "total_loss": 0.5555885794821044,
+ "lyap1_mean": 0.010835034772753716,
+ "lyap1_max": 0.09024219959974289,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 140,
+ "sup_loss": 0.6797497392595173,
+ "rf_loss": 0.0009295563795603812,
+ "total_loss": 0.6806792956390777,
+ "lyap1_mean": 0.018740952014923096,
+ "lyap1_max": 0.07570964097976685,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 141,
+ "sup_loss": 0.6686721299822536,
+ "rf_loss": 0.0008042066474445164,
+ "total_loss": 0.6694763366296981,
+ "lyap1_mean": 0.014139286242425442,
+ "lyap1_max": 0.054343901574611664,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 142,
+ "sup_loss": 0.3903992082501686,
+ "rf_loss": 0.0006155204027891159,
+ "total_loss": 0.3910147286529577,
+ "lyap1_mean": 0.007908941246569157,
+ "lyap1_max": 0.04561488330364227,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 143,
+ "sup_loss": 0.5764223670996709,
+ "rf_loss": 0.0005365831311792135,
+ "total_loss": 0.5769589502308501,
+ "lyap1_mean": 0.010178785771131516,
+ "lyap1_max": 0.038212042301893234,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 144,
+ "sup_loss": 0.7242668431209617,
+ "rf_loss": 0.0015012497315183282,
+ "total_loss": 0.72576809285248,
+ "lyap1_mean": 0.029960235580801964,
+ "lyap1_max": 0.06777460128068924,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 145,
+ "sup_loss": 0.5939134843797833,
+ "rf_loss": 0.001182724256068468,
+ "total_loss": 0.5950962086358518,
+ "lyap1_mean": 0.025832034647464752,
+ "lyap1_max": 0.05829673260450363,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 146,
+ "sup_loss": 0.5209471534997295,
+ "rf_loss": 0.0012213787995278835,
+ "total_loss": 0.5221685322992574,
+ "lyap1_mean": 0.015053506009280682,
+ "lyap1_max": 0.06551758199930191,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 147,
+ "sup_loss": 0.5003169053892818,
+ "rf_loss": 0.0020133950747549534,
+ "total_loss": 0.5023303004640367,
+ "lyap1_mean": 0.020682737231254578,
+ "lyap1_max": 0.08240726590156555,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 148,
+ "sup_loss": 0.4748076651750852,
+ "rf_loss": 0.0014572737272828817,
+ "total_loss": 0.4762649389023681,
+ "lyap1_mean": 0.004915539175271988,
+ "lyap1_max": 0.08714001625776291,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 149,
+ "sup_loss": 0.4617029769642469,
+ "rf_loss": 0.003396399784833193,
+ "total_loss": 0.4650993767490801,
+ "lyap1_mean": 0.03584287315607071,
+ "lyap1_max": 0.10760607570409775,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 150,
+ "sup_loss": 0.49666650802223544,
+ "rf_loss": 0.0007595745846629143,
+ "total_loss": 0.49742608260689836,
+ "lyap1_mean": 0.0016814619302749634,
+ "lyap1_max": 0.054703209549188614,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 151,
+ "sup_loss": 0.5483196480895567,
+ "rf_loss": 0.0004908987320959568,
+ "total_loss": 0.5488105468216526,
+ "lyap1_mean": 0.005342734046280384,
+ "lyap1_max": 0.03478515148162842,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 152,
+ "sup_loss": 0.5262068644812747,
+ "rf_loss": 0.0007747381459921598,
+ "total_loss": 0.5269816026272669,
+ "lyap1_mean": 0.01874307356774807,
+ "lyap1_max": 0.04403109848499298,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 153,
+ "sup_loss": 0.5066081833346199,
+ "rf_loss": 0.00041559242527000606,
+ "total_loss": 0.5070237757598899,
+ "lyap1_mean": -0.002589109819382429,
+ "lyap1_max": 0.03816783055663109,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 154,
+ "sup_loss": 0.6254722031518019,
+ "rf_loss": 0.0026879364158958197,
+ "total_loss": 0.6281601395676977,
+ "lyap1_mean": 0.03762222081422806,
+ "lyap1_max": 0.0815080851316452,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 155,
+ "sup_loss": 0.5595494340767835,
+ "rf_loss": 0.0026768618263304234,
+ "total_loss": 0.5622262959031139,
+ "lyap1_mean": 0.045117899775505066,
+ "lyap1_max": 0.08991555124521255,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 156,
+ "sup_loss": 0.6957436708569705,
+ "rf_loss": 0.0015441946452483535,
+ "total_loss": 0.6972878655022189,
+ "lyap1_mean": 0.03281496465206146,
+ "lyap1_max": 0.06516143679618835,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 157,
+ "sup_loss": 0.661988897832596,
+ "rf_loss": 0.0005806690314784646,
+ "total_loss": 0.6625695668640744,
+ "lyap1_mean": 0.010852007195353508,
+ "lyap1_max": 0.035445716232061386,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 158,
+ "sup_loss": 0.6712416958686653,
+ "rf_loss": 0.002074123825877905,
+ "total_loss": 0.6733158196945432,
+ "lyap1_mean": 0.043320681899785995,
+ "lyap1_max": 0.06259766966104507,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 159,
+ "sup_loss": 0.5928500316958023,
+ "rf_loss": 0.0019242719281464815,
+ "total_loss": 0.5947743036239488,
+ "lyap1_mean": 0.038039520382881165,
+ "lyap1_max": 0.08669497817754745,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 160,
+ "sup_loss": 0.6424231093570376,
+ "rf_loss": 0.0019811540842056274,
+ "total_loss": 0.6444042634412432,
+ "lyap1_mean": 0.03614417463541031,
+ "lyap1_max": 0.0595395527780056,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 161,
+ "sup_loss": 0.31094420960539987,
+ "rf_loss": 0.0007510550203733146,
+ "total_loss": 0.3116952646257732,
+ "lyap1_mean": -0.009920861572027206,
+ "lyap1_max": 0.07284756749868393,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 162,
+ "sup_loss": 0.41065399896066457,
+ "rf_loss": 0.001285835518501699,
+ "total_loss": 0.41193983447916627,
+ "lyap1_mean": 0.014469576999545097,
+ "lyap1_max": 0.05918417125940323,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 163,
+ "sup_loss": 0.5856596702140718,
+ "rf_loss": 0.0014442401006817818,
+ "total_loss": 0.5871039103147536,
+ "lyap1_mean": 0.03265662491321564,
+ "lyap1_max": 0.05749828740954399,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 164,
+ "sup_loss": 0.4764237738681589,
+ "rf_loss": 0.0019225908908993006,
+ "total_loss": 0.4783463647590582,
+ "lyap1_mean": 0.020618773996829987,
+ "lyap1_max": 0.07239798456430435,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 165,
+ "sup_loss": 0.5139028525298279,
+ "rf_loss": 0.0013331746449694037,
+ "total_loss": 0.5152360271747973,
+ "lyap1_mean": 0.0280094463378191,
+ "lyap1_max": 0.0661604255437851,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 166,
+ "sup_loss": 0.5833165386887896,
+ "rf_loss": 0.0005171375814825296,
+ "total_loss": 0.5838336762702722,
+ "lyap1_mean": 0.005982402246445417,
+ "lyap1_max": 0.046044133603572845,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 167,
+ "sup_loss": 0.5578975636051736,
+ "rf_loss": 0.00145632098428905,
+ "total_loss": 0.5593538845894627,
+ "lyap1_mean": 0.018342522904276848,
+ "lyap1_max": 0.054861683398485184,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 168,
+ "sup_loss": 0.5581192919192123,
+ "rf_loss": 0.0017993859946727753,
+ "total_loss": 0.559918677913885,
+ "lyap1_mean": 0.022065280005335808,
+ "lyap1_max": 0.0881992056965828,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 169,
+ "sup_loss": 0.5796128253677075,
+ "rf_loss": 0.0016238961834460497,
+ "total_loss": 0.5812367215511536,
+ "lyap1_mean": 0.021303337067365646,
+ "lyap1_max": 0.09243900328874588,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 170,
+ "sup_loss": 0.4969279498813566,
+ "rf_loss": 0.0015224574599415064,
+ "total_loss": 0.4984504073412981,
+ "lyap1_mean": 0.018315399065613747,
+ "lyap1_max": 0.07807359099388123,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 171,
+ "sup_loss": 0.5784988369787907,
+ "rf_loss": 0.0014814517926424742,
+ "total_loss": 0.5799802887714332,
+ "lyap1_mean": 0.018671004101634026,
+ "lyap1_max": 0.07594287395477295,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 172,
+ "sup_loss": 0.576805733873557,
+ "rf_loss": 0.001055093016475439,
+ "total_loss": 0.5778608268900325,
+ "lyap1_mean": 0.014324840158224106,
+ "lyap1_max": 0.07310082763433456,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 173,
+ "sup_loss": 0.5504668367588967,
+ "rf_loss": 0.001299599651247263,
+ "total_loss": 0.551766436410144,
+ "lyap1_mean": 0.025529420003294945,
+ "lyap1_max": 0.05113459378480911,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 174,
+ "sup_loss": 0.610536075222986,
+ "rf_loss": 0.001801655744202435,
+ "total_loss": 0.6123377309671885,
+ "lyap1_mean": 0.031006470322608948,
+ "lyap1_max": 0.06624162942171097,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 175,
+ "sup_loss": 0.5608807293415057,
+ "rf_loss": 0.0011777897598221898,
+ "total_loss": 0.5620585191013279,
+ "lyap1_mean": 0.006034039426594973,
+ "lyap1_max": 0.05685354024171829,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 176,
+ "sup_loss": 0.6119193531562307,
+ "rf_loss": 0.002965709427371621,
+ "total_loss": 0.6148850625836023,
+ "lyap1_mean": 0.04194416478276253,
+ "lyap1_max": 0.08713328093290329,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 177,
+ "sup_loss": 0.567294447843216,
+ "rf_loss": 0.0028601286467164755,
+ "total_loss": 0.5701545764899325,
+ "lyap1_mean": 0.030161824077367783,
+ "lyap1_max": 0.09470830857753754,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 178,
+ "sup_loss": 0.522205504452661,
+ "rf_loss": 0.0007097235647961497,
+ "total_loss": 0.5229152280174572,
+ "lyap1_mean": -0.002176314126700163,
+ "lyap1_max": 0.05032990872859955,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 179,
+ "sup_loss": 0.5886562138237375,
+ "rf_loss": 0.002200234914198518,
+ "total_loss": 0.590856448737936,
+ "lyap1_mean": 0.03764732554554939,
+ "lyap1_max": 0.08706744015216827,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 180,
+ "sup_loss": 0.5118384619201597,
+ "rf_loss": 0.0009761527180671692,
+ "total_loss": 0.5128146146382269,
+ "lyap1_mean": 0.015847064554691315,
+ "lyap1_max": 0.05076340213418007,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 181,
+ "sup_loss": 0.440683487638571,
+ "rf_loss": 0.001854845555499196,
+ "total_loss": 0.4425383331940702,
+ "lyap1_mean": 0.02152998000383377,
+ "lyap1_max": 0.06883954256772995,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 182,
+ "sup_loss": 0.5821573525660487,
+ "rf_loss": 0.0014480937970802188,
+ "total_loss": 0.5836054463631289,
+ "lyap1_mean": 0.022179508581757545,
+ "lyap1_max": 0.09917444735765457,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 183,
+ "sup_loss": 0.7559556483348954,
+ "rf_loss": 0.0023739375174045563,
+ "total_loss": 0.7583295858522999,
+ "lyap1_mean": 0.04721113294363022,
+ "lyap1_max": 0.07289193570613861,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 184,
+ "sup_loss": 0.4403067292428484,
+ "rf_loss": 0.0029448391869664192,
+ "total_loss": 0.44325156842981484,
+ "lyap1_mean": 0.0301034078001976,
+ "lyap1_max": 0.09171812236309052,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 185,
+ "sup_loss": 0.5606504671529582,
+ "rf_loss": 0.0013293984811753035,
+ "total_loss": 0.5619798656341335,
+ "lyap1_mean": 0.006508489139378071,
+ "lyap1_max": 0.0745750144124031,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 186,
+ "sup_loss": 0.46957261459468913,
+ "rf_loss": 0.00302596902474761,
+ "total_loss": 0.47259858361943674,
+ "lyap1_mean": 0.027415145188570023,
+ "lyap1_max": 0.09747497737407684,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 187,
+ "sup_loss": 0.5665118894230706,
+ "rf_loss": 0.0018523595063015819,
+ "total_loss": 0.5683642489293722,
+ "lyap1_mean": 0.03224559500813484,
+ "lyap1_max": 0.05756813660264015,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 188,
+ "sup_loss": 0.579277282210763,
+ "rf_loss": 0.002232206054031849,
+ "total_loss": 0.5815094882647949,
+ "lyap1_mean": 0.028751235455274582,
+ "lyap1_max": 0.09962465614080429,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 189,
+ "sup_loss": 0.7370636333083023,
+ "rf_loss": 0.0029933589976280928,
+ "total_loss": 0.7400569923059304,
+ "lyap1_mean": 0.05009276419878006,
+ "lyap1_max": 0.08693099766969681,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 190,
+ "sup_loss": 0.4700715596676134,
+ "rf_loss": 0.0022297287359833717,
+ "total_loss": 0.47230128840359675,
+ "lyap1_mean": 0.021762020885944366,
+ "lyap1_max": 0.0765187069773674,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 191,
+ "sup_loss": 0.4950922167236431,
+ "rf_loss": 0.0008478394593112171,
+ "total_loss": 0.49594005618295434,
+ "lyap1_mean": 0.005059981718659401,
+ "lyap1_max": 0.07400209456682205,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 192,
+ "sup_loss": 0.5570932241628649,
+ "rf_loss": 0.0016516540199518204,
+ "total_loss": 0.5587448781828167,
+ "lyap1_mean": 0.02117874100804329,
+ "lyap1_max": 0.079483762383461,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 193,
+ "sup_loss": 0.4024360363548433,
+ "rf_loss": 0.0014474939089268446,
+ "total_loss": 0.40388353026377016,
+ "lyap1_mean": -0.0034045297652482986,
+ "lyap1_max": 0.08781173080205917,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 194,
+ "sup_loss": 0.631620374414978,
+ "rf_loss": 0.0014478352386504412,
+ "total_loss": 0.6330682096536284,
+ "lyap1_mean": 0.019342806190252304,
+ "lyap1_max": 0.06942475587129593,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 195,
+ "sup_loss": 0.5436877635841653,
+ "rf_loss": 0.002122841775417328,
+ "total_loss": 0.5458106053595826,
+ "lyap1_mean": 0.027274740859866142,
+ "lyap1_max": 0.07520167529582977,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 196,
+ "sup_loss": 0.678012119094406,
+ "rf_loss": 0.0012344092829152942,
+ "total_loss": 0.6792465283773212,
+ "lyap1_mean": 0.029112014919519424,
+ "lyap1_max": 0.05148155614733696,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 197,
+ "sup_loss": 0.46495034616624675,
+ "rf_loss": 0.0016378939617425203,
+ "total_loss": 0.4665882401279893,
+ "lyap1_mean": 0.00790528953075409,
+ "lyap1_max": 0.07490750402212143,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 198,
+ "sup_loss": 0.5826886295948199,
+ "rf_loss": 0.003188708098605275,
+ "total_loss": 0.5858773376934252,
+ "lyap1_mean": 0.03856544941663742,
+ "lyap1_max": 0.09910248965024948,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 199,
+ "sup_loss": 0.5926694720682523,
+ "rf_loss": 0.0008558293338865042,
+ "total_loss": 0.5935253014021388,
+ "lyap1_mean": 0.013883856125175953,
+ "lyap1_max": 0.05076884105801582,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 200,
+ "sup_loss": 0.6400416100919808,
+ "rf_loss": 0.0015009092167019844,
+ "total_loss": 0.6415425193086828,
+ "lyap1_mean": 0.0365094318985939,
+ "lyap1_max": 0.061349108815193176,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 201,
+ "sup_loss": 0.635580038780105,
+ "rf_loss": 0.0039034492801874876,
+ "total_loss": 0.6394834880602925,
+ "lyap1_mean": 0.05839567631483078,
+ "lyap1_max": 0.10313410311937332,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 202,
+ "sup_loss": 0.6026444620033662,
+ "rf_loss": 0.0020615458488464355,
+ "total_loss": 0.6047060078522126,
+ "lyap1_mean": 0.0321882963180542,
+ "lyap1_max": 0.07845307141542435,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 203,
+ "sup_loss": 0.6349523132226887,
+ "rf_loss": 0.0032664865721017122,
+ "total_loss": 0.6382187997947905,
+ "lyap1_mean": 0.04928603768348694,
+ "lyap1_max": 0.09448393434286118,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 204,
+ "sup_loss": 0.7025688079588068,
+ "rf_loss": 0.001260820310562849,
+ "total_loss": 0.7038296282693697,
+ "lyap1_mean": 0.02347809076309204,
+ "lyap1_max": 0.061625946313142776,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 205,
+ "sup_loss": 0.6157980505649261,
+ "rf_loss": 0.0012392004719004035,
+ "total_loss": 0.6170372510368265,
+ "lyap1_mean": 0.024878859519958496,
+ "lyap1_max": 0.049974147230386734,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 206,
+ "sup_loss": 0.5653167759364655,
+ "rf_loss": 0.002573765814304352,
+ "total_loss": 0.5678905417507698,
+ "lyap1_mean": 0.03812503069639206,
+ "lyap1_max": 0.08685533702373505,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 207,
+ "sup_loss": 0.6292364489989936,
+ "rf_loss": 0.0009588443790562451,
+ "total_loss": 0.6301952933780498,
+ "lyap1_mean": 0.02093764953315258,
+ "lyap1_max": 0.051974665373563766,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 208,
+ "sup_loss": 0.5537405948986917,
+ "rf_loss": 0.0008884207345545292,
+ "total_loss": 0.5546290156332462,
+ "lyap1_mean": 0.01100807636976242,
+ "lyap1_max": 0.06767226755619049,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 209,
+ "sup_loss": 0.5911949210636611,
+ "rf_loss": 0.0032887738198041916,
+ "total_loss": 0.5944836948834653,
+ "lyap1_mean": 0.042599212378263474,
+ "lyap1_max": 0.10613523423671722,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 210,
+ "sup_loss": 0.5584874348270943,
+ "rf_loss": 0.0008558197296224535,
+ "total_loss": 0.5593432545567167,
+ "lyap1_mean": 0.013650293461978436,
+ "lyap1_max": 0.049407195299863815,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 211,
+ "sup_loss": 0.5871586447524184,
+ "rf_loss": 0.00227219401858747,
+ "total_loss": 0.5894308387710059,
+ "lyap1_mean": 0.03315190225839615,
+ "lyap1_max": 0.07155653089284897,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 212,
+ "sup_loss": 0.6705601787476116,
+ "rf_loss": 0.0029003184754401445,
+ "total_loss": 0.6734604972230518,
+ "lyap1_mean": 0.05107557028532028,
+ "lyap1_max": 0.06858992576599121,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 213,
+ "sup_loss": 0.5508296755052636,
+ "rf_loss": 0.002060718834400177,
+ "total_loss": 0.5528903943396638,
+ "lyap1_mean": 0.03666060045361519,
+ "lyap1_max": 0.06406673789024353,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 214,
+ "sup_loss": 0.6765867462161186,
+ "rf_loss": 0.0013007166562601924,
+ "total_loss": 0.6778874628723788,
+ "lyap1_mean": 0.0310242660343647,
+ "lyap1_max": 0.055790118873119354,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 215,
+ "sup_loss": 0.5137925208726455,
+ "rf_loss": 0.0006052467506378889,
+ "total_loss": 0.5143977676232834,
+ "lyap1_mean": -0.0003791963681578636,
+ "lyap1_max": 0.04229029268026352,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 216,
+ "sup_loss": 0.5354946973554511,
+ "rf_loss": 0.0031179634388536215,
+ "total_loss": 0.5386126607943047,
+ "lyap1_mean": 0.041704922914505005,
+ "lyap1_max": 0.10547394305467606,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 217,
+ "sup_loss": 0.5021544260004139,
+ "rf_loss": 0.0015287064015865326,
+ "total_loss": 0.5036831324020005,
+ "lyap1_mean": 0.016753336414694786,
+ "lyap1_max": 0.07690891623497009,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 218,
+ "sup_loss": 0.37692435450283873,
+ "rf_loss": 0.0005958653055131435,
+ "total_loss": 0.3775202198083519,
+ "lyap1_mean": 0.004094125237315893,
+ "lyap1_max": 0.06291285157203674,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 219,
+ "sup_loss": 0.5414159268031378,
+ "rf_loss": 0.00027405490982346237,
+ "total_loss": 0.5416899817129612,
+ "lyap1_mean": -0.002685751300305128,
+ "lyap1_max": 0.0323842354118824,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 220,
+ "sup_loss": 0.5024644754002613,
+ "rf_loss": 0.0037263440899550915,
+ "total_loss": 0.5061908194902164,
+ "lyap1_mean": 0.04795428365468979,
+ "lyap1_max": 0.09793771058320999,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 221,
+ "sup_loss": 0.4094072527181556,
+ "rf_loss": 0.0020950278267264366,
+ "total_loss": 0.411502280544882,
+ "lyap1_mean": 0.019828476011753082,
+ "lyap1_max": 0.08098381757736206,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 222,
+ "sup_loss": 0.5962318198031228,
+ "rf_loss": 0.001924649579450488,
+ "total_loss": 0.5981564693825733,
+ "lyap1_mean": 0.025089334696531296,
+ "lyap1_max": 0.07989435642957687,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 223,
+ "sup_loss": 0.6291524988577328,
+ "rf_loss": 0.001402063644491136,
+ "total_loss": 0.630554562502224,
+ "lyap1_mean": 0.028667600825428963,
+ "lyap1_max": 0.06975750625133514,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 224,
+ "sup_loss": 0.4100725549621884,
+ "rf_loss": 0.0002857223153114319,
+ "total_loss": 0.41035827727749985,
+ "lyap1_mean": -0.02146705985069275,
+ "lyap1_max": 0.047205522656440735,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 225,
+ "sup_loss": 0.6644327768845453,
+ "rf_loss": 0.0013193490449339151,
+ "total_loss": 0.6657521259294792,
+ "lyap1_mean": 0.024226080626249313,
+ "lyap1_max": 0.061640664935112,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 226,
+ "sup_loss": 0.5784778050072502,
+ "rf_loss": 0.0018802285194396973,
+ "total_loss": 0.5803580335266899,
+ "lyap1_mean": 0.023443888872861862,
+ "lyap1_max": 0.0604182705283165,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 227,
+ "sup_loss": 0.6390644179624617,
+ "rf_loss": 0.002166205085813999,
+ "total_loss": 0.6412306230482757,
+ "lyap1_mean": 0.04263211041688919,
+ "lyap1_max": 0.0839332565665245,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 228,
+ "sup_loss": 0.6298100136061607,
+ "rf_loss": 0.0017559994012117386,
+ "total_loss": 0.6315660130073725,
+ "lyap1_mean": 0.030041471123695374,
+ "lyap1_max": 0.06299399584531784,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 229,
+ "sup_loss": 0.5492596804487485,
+ "rf_loss": 0.002886282280087471,
+ "total_loss": 0.552145962728836,
+ "lyap1_mean": 0.045540716499090195,
+ "lyap1_max": 0.07881493866443634,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 230,
+ "sup_loss": 0.40597931185319025,
+ "rf_loss": 0.0009563816711306572,
+ "total_loss": 0.4069356935243209,
+ "lyap1_mean": 0.005330939777195454,
+ "lyap1_max": 0.05988504737615585,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 231,
+ "sup_loss": 0.6260626675076867,
+ "rf_loss": 0.0021278602071106434,
+ "total_loss": 0.6281905277147973,
+ "lyap1_mean": 0.03827334940433502,
+ "lyap1_max": 0.06707434356212616,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 232,
+ "sup_loss": 0.5071900552083952,
+ "rf_loss": 0.002904652152210474,
+ "total_loss": 0.5100947073606057,
+ "lyap1_mean": 0.040798258036375046,
+ "lyap1_max": 0.0917666107416153,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 233,
+ "sup_loss": 0.5760808861168202,
+ "rf_loss": 0.002122859936207533,
+ "total_loss": 0.5782037460530277,
+ "lyap1_mean": 0.04026466980576515,
+ "lyap1_max": 0.0693671852350235,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 234,
+ "sup_loss": 0.762980607808454,
+ "rf_loss": 0.0021640381310135126,
+ "total_loss": 0.7651446459394675,
+ "lyap1_mean": 0.0311192087829113,
+ "lyap1_max": 0.07705245167016983,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 235,
+ "sup_loss": 0.5831074646143168,
+ "rf_loss": 0.003465336048975587,
+ "total_loss": 0.5865728006632924,
+ "lyap1_mean": 0.04357504844665527,
+ "lyap1_max": 0.108049176633358,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 236,
+ "sup_loss": 0.6303022338779094,
+ "rf_loss": 0.0012426974717527628,
+ "total_loss": 0.6315449313496622,
+ "lyap1_mean": 0.025781091302633286,
+ "lyap1_max": 0.060332633554935455,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 237,
+ "sup_loss": 0.6403333615592066,
+ "rf_loss": 0.0018133879639208317,
+ "total_loss": 0.6421467495231274,
+ "lyap1_mean": 0.02986873872578144,
+ "lyap1_max": 0.08214402198791504,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 238,
+ "sup_loss": 0.5749873470242398,
+ "rf_loss": 0.0017273712437599897,
+ "total_loss": 0.5767147182679998,
+ "lyap1_mean": 0.02398442104458809,
+ "lyap1_max": 0.07657570391893387,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 239,
+ "sup_loss": 0.5224915496603829,
+ "rf_loss": 0.002612041775137186,
+ "total_loss": 0.5251035914355201,
+ "lyap1_mean": 0.03842487186193466,
+ "lyap1_max": 0.0822005346417427,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 240,
+ "sup_loss": 0.5669743267178243,
+ "rf_loss": 0.0016939060296863317,
+ "total_loss": 0.5686682327475107,
+ "lyap1_mean": 0.01529971044510603,
+ "lyap1_max": 0.07974981516599655,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 241,
+ "sup_loss": 0.6421469356100074,
+ "rf_loss": 0.003911573439836502,
+ "total_loss": 0.6460585090498439,
+ "lyap1_mean": 0.05462932586669922,
+ "lyap1_max": 0.09097569435834885,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 242,
+ "sup_loss": 0.5894872691524917,
+ "rf_loss": 0.0012274541659280658,
+ "total_loss": 0.5907147233184198,
+ "lyap1_mean": 0.014003551565110683,
+ "lyap1_max": 0.06631311029195786,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 243,
+ "sup_loss": 0.5697134575965722,
+ "rf_loss": 0.0022869091480970383,
+ "total_loss": 0.5720003667446693,
+ "lyap1_mean": 0.028436267748475075,
+ "lyap1_max": 0.06737615168094635,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 244,
+ "sup_loss": 0.5990808471318381,
+ "rf_loss": 0.0009798496030271053,
+ "total_loss": 0.6000606967348652,
+ "lyap1_mean": 0.015304729342460632,
+ "lyap1_max": 0.05348365008831024,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 245,
+ "sup_loss": 0.5842597537440277,
+ "rf_loss": 0.0024968916550278664,
+ "total_loss": 0.5867566453990556,
+ "lyap1_mean": 0.03630486875772476,
+ "lyap1_max": 0.08394832164049149,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 246,
+ "sup_loss": 0.6773042945453834,
+ "rf_loss": 0.0014194464311003685,
+ "total_loss": 0.6787237409764838,
+ "lyap1_mean": 0.024123474955558777,
+ "lyap1_max": 0.0778324082493782,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 247,
+ "sup_loss": 0.4652351712471454,
+ "rf_loss": 0.0016526496037840843,
+ "total_loss": 0.4668878208509295,
+ "lyap1_mean": 0.02522001974284649,
+ "lyap1_max": 0.0639725774526596,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 248,
+ "sup_loss": 0.5680785195296588,
+ "rf_loss": 0.004580236040055752,
+ "total_loss": 0.5726587555697146,
+ "lyap1_mean": 0.05515333265066147,
+ "lyap1_max": 0.09435839205980301,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 249,
+ "sup_loss": 0.5039175154637436,
+ "rf_loss": 0.0016718388069421053,
+ "total_loss": 0.5055893542706857,
+ "lyap1_mean": 0.025032997131347656,
+ "lyap1_max": 0.06805305182933807,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 250,
+ "sup_loss": 0.6707641381956849,
+ "rf_loss": 0.00419588852673769,
+ "total_loss": 0.6749600267224226,
+ "lyap1_mean": 0.05172302573919296,
+ "lyap1_max": 0.10934128612279892,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 251,
+ "sup_loss": 0.5458741287031068,
+ "rf_loss": 0.0019561126828193665,
+ "total_loss": 0.5478302413859262,
+ "lyap1_mean": 0.03386649861931801,
+ "lyap1_max": 0.08931681513786316,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 252,
+ "sup_loss": 0.5833724628355818,
+ "rf_loss": 0.001878961455076933,
+ "total_loss": 0.5852514242906587,
+ "lyap1_mean": 0.03243504837155342,
+ "lyap1_max": 0.07574282586574554,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 253,
+ "sup_loss": 0.5302961559348388,
+ "rf_loss": 0.0006744911661371589,
+ "total_loss": 0.530970647100976,
+ "lyap1_mean": 0.010183644481003284,
+ "lyap1_max": 0.053862154483795166,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 254,
+ "sup_loss": 0.5483201757517953,
+ "rf_loss": 0.002047091955319047,
+ "total_loss": 0.5503672677071143,
+ "lyap1_mean": 0.03463852033019066,
+ "lyap1_max": 0.06919831037521362,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 255,
+ "sup_loss": 0.6776451191479831,
+ "rf_loss": 0.0018207607790827751,
+ "total_loss": 0.6794658799270659,
+ "lyap1_mean": 0.03711262345314026,
+ "lyap1_max": 0.08576308935880661,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 256,
+ "sup_loss": 0.6970759058454628,
+ "rf_loss": 0.0007768607465550303,
+ "total_loss": 0.6978527665920178,
+ "lyap1_mean": 0.0028598117642104626,
+ "lyap1_max": 0.059522420167922974,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 257,
+ "sup_loss": 0.8685468443812577,
+ "rf_loss": 0.0005779393250122666,
+ "total_loss": 0.86912478370627,
+ "lyap1_mean": 0.01014593243598938,
+ "lyap1_max": 0.03576140105724335,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 258,
+ "sup_loss": 0.5786618687621975,
+ "rf_loss": 0.0014258719747886062,
+ "total_loss": 0.5800877407369861,
+ "lyap1_mean": 0.027873769402503967,
+ "lyap1_max": 0.06124989315867424,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 259,
+ "sup_loss": 0.5934600123583423,
+ "rf_loss": 0.002016838639974594,
+ "total_loss": 0.5954768509983169,
+ "lyap1_mean": 0.03629309684038162,
+ "lyap1_max": 0.0896613821387291,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 260,
+ "sup_loss": 0.634933315298766,
+ "rf_loss": 0.002654207870364189,
+ "total_loss": 0.6375875231691301,
+ "lyap1_mean": 0.03721531480550766,
+ "lyap1_max": 0.10321007668972015,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 261,
+ "sup_loss": 0.6264531881763756,
+ "rf_loss": 0.0008715796866454184,
+ "total_loss": 0.627324767863021,
+ "lyap1_mean": 0.013178705237805843,
+ "lyap1_max": 0.05018395557999611,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 262,
+ "sup_loss": 0.4555378306942867,
+ "rf_loss": 0.0018022442236542702,
+ "total_loss": 0.457340074917941,
+ "lyap1_mean": 0.028325112536549568,
+ "lyap1_max": 0.07065320760011673,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 263,
+ "sup_loss": 0.6320591056285979,
+ "rf_loss": 0.0033811847679316998,
+ "total_loss": 0.6354402903965296,
+ "lyap1_mean": 0.053827084600925446,
+ "lyap1_max": 0.08834128081798553,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 264,
+ "sup_loss": 0.6028377576544124,
+ "rf_loss": 0.0034949113614857197,
+ "total_loss": 0.6063326690158981,
+ "lyap1_mean": 0.05010093003511429,
+ "lyap1_max": 0.09768607467412949,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 265,
+ "sup_loss": 0.819349552778754,
+ "rf_loss": 0.001181828323751688,
+ "total_loss": 0.8205313811025057,
+ "lyap1_mean": 0.022824183106422424,
+ "lyap1_max": 0.055764589458703995,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 266,
+ "sup_loss": 0.5262012113840749,
+ "rf_loss": 0.0010974318720400333,
+ "total_loss": 0.527298643256115,
+ "lyap1_mean": 0.012476025149226189,
+ "lyap1_max": 0.04998975619673729,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 267,
+ "sup_loss": 0.8918448765210008,
+ "rf_loss": 0.0029640442226082087,
+ "total_loss": 0.894808920743609,
+ "lyap1_mean": 0.03491252660751343,
+ "lyap1_max": 0.10416681319475174,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 268,
+ "sup_loss": 0.6928193707538611,
+ "rf_loss": 0.0026626167818903923,
+ "total_loss": 0.6954819875357515,
+ "lyap1_mean": 0.04402431100606918,
+ "lyap1_max": 0.08050806075334549,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 269,
+ "sup_loss": 0.5375443197896063,
+ "rf_loss": 0.001344767166301608,
+ "total_loss": 0.5388890869559079,
+ "lyap1_mean": 0.011915255337953568,
+ "lyap1_max": 0.05807067081332207,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 270,
+ "sup_loss": 0.8141942357957743,
+ "rf_loss": 0.0029735970310866833,
+ "total_loss": 0.817167832826861,
+ "lyap1_mean": 0.05022137612104416,
+ "lyap1_max": 0.09703349322080612,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 271,
+ "sup_loss": 0.6771150105687597,
+ "rf_loss": 0.0024654099252074957,
+ "total_loss": 0.6795804204939672,
+ "lyap1_mean": 0.03201334550976753,
+ "lyap1_max": 0.08197087794542313,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 272,
+ "sup_loss": 0.6367832906522904,
+ "rf_loss": 0.0013318262062966824,
+ "total_loss": 0.6381151168585871,
+ "lyap1_mean": 0.021651476621627808,
+ "lyap1_max": 0.07340081036090851,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 273,
+ "sup_loss": 0.6519073240531824,
+ "rf_loss": 0.0013577869394794106,
+ "total_loss": 0.6532651109926618,
+ "lyap1_mean": 0.018089957535266876,
+ "lyap1_max": 0.06834150850772858,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 274,
+ "sup_loss": 0.6859608934295015,
+ "rf_loss": 0.001633987296372652,
+ "total_loss": 0.6875948807258742,
+ "lyap1_mean": 0.026646457612514496,
+ "lyap1_max": 0.06858029216527939,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 275,
+ "sup_loss": 0.7543788062708139,
+ "rf_loss": 0.003981442656368017,
+ "total_loss": 0.7583602489271819,
+ "lyap1_mean": 0.05638458952307701,
+ "lyap1_max": 0.11095494776964188,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 276,
+ "sup_loss": 1.23241156402126,
+ "rf_loss": 0.0032768745440989733,
+ "total_loss": 1.235688438565359,
+ "lyap1_mean": 0.045915476977825165,
+ "lyap1_max": 0.0847666785120964,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 277,
+ "sup_loss": 1.4214660430383197,
+ "rf_loss": 0.000662243168335408,
+ "total_loss": 1.422128286206655,
+ "lyap1_mean": 0.008646744303405285,
+ "lyap1_max": 0.04814014583826065,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 278,
+ "sup_loss": 1.3247218185849665,
+ "rf_loss": 0.001166648929938674,
+ "total_loss": 1.3258884675149052,
+ "lyap1_mean": 0.02102993242442608,
+ "lyap1_max": 0.05700330063700676,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 279,
+ "sup_loss": 0.8940548947446095,
+ "rf_loss": 0.0019289094489067793,
+ "total_loss": 0.8959838041935163,
+ "lyap1_mean": 0.025596443563699722,
+ "lyap1_max": 0.0742989033460617,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 280,
+ "sup_loss": 1.2107298674061144,
+ "rf_loss": 0.001535159768536687,
+ "total_loss": 1.2122650271746511,
+ "lyap1_mean": 0.03370796516537666,
+ "lyap1_max": 0.05293259769678116,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 281,
+ "sup_loss": 1.4955317062438742,
+ "rf_loss": 0.003723878413438797,
+ "total_loss": 1.499255584657313,
+ "lyap1_mean": 0.046069905161857605,
+ "lyap1_max": 0.09766820818185806,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 282,
+ "sup_loss": 1.3610332921067148,
+ "rf_loss": 0.0012837646063417196,
+ "total_loss": 1.3623170567130565,
+ "lyap1_mean": 0.024813462048768997,
+ "lyap1_max": 0.055365461856126785,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 283,
+ "sup_loss": 1.2598805874863315,
+ "rf_loss": 0.004867918789386749,
+ "total_loss": 1.2647485062757182,
+ "lyap1_mean": 0.060314688831567764,
+ "lyap1_max": 0.1272660195827484,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 284,
+ "sup_loss": 1.3289705602009174,
+ "rf_loss": 0.002373715862631798,
+ "total_loss": 1.3313442760635492,
+ "lyap1_mean": 0.042003240436315536,
+ "lyap1_max": 0.07869040220975876,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 285,
+ "sup_loss": 0.9481759954014276,
+ "rf_loss": 0.000618137011770159,
+ "total_loss": 0.9487941324131978,
+ "lyap1_mean": 0.006710551679134369,
+ "lyap1_max": 0.05744415894150734,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 286,
+ "sup_loss": 1.5393831257383013,
+ "rf_loss": 0.0011540940031409264,
+ "total_loss": 1.5405372197414422,
+ "lyap1_mean": 0.004834805615246296,
+ "lyap1_max": 0.07439660280942917,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 287,
+ "sup_loss": 1.060338167396059,
+ "rf_loss": 0.0024417596869170666,
+ "total_loss": 1.062779927082976,
+ "lyap1_mean": 0.0379595011472702,
+ "lyap1_max": 0.09387240558862686,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 288,
+ "sup_loss": 0.5698750052368748,
+ "rf_loss": 0.0029135928489267826,
+ "total_loss": 0.5727885980858016,
+ "lyap1_mean": 0.03168059512972832,
+ "lyap1_max": 0.11183399707078934,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 289,
+ "sup_loss": 1.3348758817222544,
+ "rf_loss": 0.0010617710649967194,
+ "total_loss": 1.335937652787251,
+ "lyap1_mean": 0.025808505713939667,
+ "lyap1_max": 0.06193338707089424,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 290,
+ "sup_loss": 1.0642224535076754,
+ "rf_loss": 0.0035807639360427856,
+ "total_loss": 1.0678032174437182,
+ "lyap1_mean": 0.05198024958372116,
+ "lyap1_max": 0.11014330387115479,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 291,
+ "sup_loss": 1.3958188802898317,
+ "rf_loss": 0.0026288945227861404,
+ "total_loss": 1.3984477748126178,
+ "lyap1_mean": 0.04171366989612579,
+ "lyap1_max": 0.10828940570354462,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 292,
+ "sup_loss": 1.3482322992472524,
+ "rf_loss": 0.0008557364344596863,
+ "total_loss": 1.349088035681712,
+ "lyap1_mean": 0.013875674456357956,
+ "lyap1_max": 0.0471150241792202,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 293,
+ "sup_loss": 1.3751985201913985,
+ "rf_loss": 0.0010636496590450406,
+ "total_loss": 1.3762621698504436,
+ "lyap1_mean": 0.017319567501544952,
+ "lyap1_max": 0.06356608122587204,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 294,
+ "sup_loss": 0.8512458320641433,
+ "rf_loss": 0.0011225843336433172,
+ "total_loss": 0.8523684163977866,
+ "lyap1_mean": 0.023348959162831306,
+ "lyap1_max": 0.0618806928396225,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 295,
+ "sup_loss": 1.2294372425876843,
+ "rf_loss": 0.0010203910060226917,
+ "total_loss": 1.230457633593707,
+ "lyap1_mean": 0.011956830509006977,
+ "lyap1_max": 0.06282266229391098,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 296,
+ "sup_loss": 1.2552558064061372,
+ "rf_loss": 0.0008652736432850361,
+ "total_loss": 1.2561210800494222,
+ "lyap1_mean": 0.024357929825782776,
+ "lyap1_max": 0.04411085695028305,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 297,
+ "sup_loss": 1.148886202201537,
+ "rf_loss": 0.0013394133420661092,
+ "total_loss": 1.150225615543603,
+ "lyap1_mean": 0.023773018270730972,
+ "lyap1_max": 0.06065642461180687,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 298,
+ "sup_loss": 0.6707869421837208,
+ "rf_loss": 0.0024588534142822027,
+ "total_loss": 0.673245795598003,
+ "lyap1_mean": 0.040576592087745667,
+ "lyap1_max": 0.09487275779247284,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 299,
+ "sup_loss": 0.5441707126566324,
+ "rf_loss": 0.00124131771735847,
+ "total_loss": 0.5454120303739909,
+ "lyap1_mean": 0.026051463559269905,
+ "lyap1_max": 0.06879422813653946,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 300,
+ "sup_loss": 0.5801547729035972,
+ "rf_loss": 0.0014828441198915243,
+ "total_loss": 0.5816376170234887,
+ "lyap1_mean": 0.02008991688489914,
+ "lyap1_max": 0.08075261116027832,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 301,
+ "sup_loss": 0.6397757403996337,
+ "rf_loss": 0.0010251738131046295,
+ "total_loss": 0.6408009142127383,
+ "lyap1_mean": 0.019072167575359344,
+ "lyap1_max": 0.0744679644703865,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 302,
+ "sup_loss": 0.8116769973673252,
+ "rf_loss": 0.0013123685494065285,
+ "total_loss": 0.8129893659167318,
+ "lyap1_mean": 0.023590566590428352,
+ "lyap1_max": 0.07868145406246185,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 303,
+ "sup_loss": 0.7885273066802232,
+ "rf_loss": 0.0018957288702949882,
+ "total_loss": 0.7904230355505182,
+ "lyap1_mean": 0.037356890738010406,
+ "lyap1_max": 0.07935258746147156,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 304,
+ "sup_loss": 0.5370996991646102,
+ "rf_loss": 0.0011229462688788772,
+ "total_loss": 0.5382226454334891,
+ "lyap1_mean": 0.01878424733877182,
+ "lyap1_max": 0.05787457153201103,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 305,
+ "sup_loss": 0.7300343095114084,
+ "rf_loss": 0.0007577651995234191,
+ "total_loss": 0.7307920747109318,
+ "lyap1_mean": 0.016016440466046333,
+ "lyap1_max": 0.0604519248008728,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 306,
+ "sup_loss": 0.8508779658975605,
+ "rf_loss": 0.0007508774287998676,
+ "total_loss": 0.8516288433263604,
+ "lyap1_mean": 0.017726432532072067,
+ "lyap1_max": 0.07125290483236313,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 307,
+ "sup_loss": 0.6685131291912065,
+ "rf_loss": 0.0008365638786926866,
+ "total_loss": 0.6693496930698992,
+ "lyap1_mean": 0.016643883660435677,
+ "lyap1_max": 0.046403057873249054,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 308,
+ "sup_loss": 0.5468496146181886,
+ "rf_loss": 0.0009272811585105956,
+ "total_loss": 0.5477768957766992,
+ "lyap1_mean": 0.013207799755036831,
+ "lyap1_max": 0.06929599493741989,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 309,
+ "sup_loss": 0.7287151288697111,
+ "rf_loss": 0.0023636887781322002,
+ "total_loss": 0.7310788176478433,
+ "lyap1_mean": 0.04350636899471283,
+ "lyap1_max": 0.07748989760875702,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 310,
+ "sup_loss": 0.6018991989748976,
+ "rf_loss": 0.001638940186239779,
+ "total_loss": 0.6035381391611374,
+ "lyap1_mean": 0.019114451482892036,
+ "lyap1_max": 0.09161876887083054,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 311,
+ "sup_loss": 0.6503432659051271,
+ "rf_loss": 0.0013844049535691738,
+ "total_loss": 0.6517276708586963,
+ "lyap1_mean": 0.0209273099899292,
+ "lyap1_max": 0.07292520254850388,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 312,
+ "sup_loss": 0.7631456811705014,
+ "rf_loss": 0.0007014982402324677,
+ "total_loss": 0.7638471794107339,
+ "lyap1_mean": 0.010177482850849628,
+ "lyap1_max": 0.051785025745630264,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 313,
+ "sup_loss": 0.5631178312702714,
+ "rf_loss": 0.0011035826755687594,
+ "total_loss": 0.5642214139458401,
+ "lyap1_mean": 0.021952703595161438,
+ "lyap1_max": 0.06937295943498611,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 314,
+ "sup_loss": 0.7836708152523891,
+ "rf_loss": 0.0006221909425221384,
+ "total_loss": 0.7842930061949113,
+ "lyap1_mean": 0.01426749862730503,
+ "lyap1_max": 0.05592067539691925,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 315,
+ "sup_loss": 0.9618988410274072,
+ "rf_loss": 0.0003078118315897882,
+ "total_loss": 0.962206652858997,
+ "lyap1_mean": 0.0015443098964169621,
+ "lyap1_max": 0.04323509335517883,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 316,
+ "sup_loss": 0.5522167431577057,
+ "rf_loss": 0.001127520459704101,
+ "total_loss": 0.5533442636174098,
+ "lyap1_mean": 0.011191476136446,
+ "lyap1_max": 0.07138305902481079,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 317,
+ "sup_loss": 0.6766729342131257,
+ "rf_loss": 0.0020520128309726715,
+ "total_loss": 0.6787249470440984,
+ "lyap1_mean": 0.03404887765645981,
+ "lyap1_max": 0.0912395492196083,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 318,
+ "sup_loss": 0.6567244645259408,
+ "rf_loss": 0.0014861311065033078,
+ "total_loss": 0.6582105956324441,
+ "lyap1_mean": 0.03491944819688797,
+ "lyap1_max": 0.06032123044133186,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 319,
+ "sup_loss": 0.6008231793737011,
+ "rf_loss": 0.0011700373142957687,
+ "total_loss": 0.6019932166879969,
+ "lyap1_mean": 0.02540477365255356,
+ "lyap1_max": 0.06993196904659271,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 320,
+ "sup_loss": 0.5617437069239615,
+ "rf_loss": 0.0004118735669180751,
+ "total_loss": 0.5621555804908795,
+ "lyap1_mean": 0.0004942074883729219,
+ "lyap1_max": 0.04058407247066498,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 321,
+ "sup_loss": 0.4741408661236021,
+ "rf_loss": 0.0015427622711285949,
+ "total_loss": 0.4756836283947307,
+ "lyap1_mean": 0.021910404786467552,
+ "lyap1_max": 0.09282451868057251,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 322,
+ "sup_loss": 0.6250737206664922,
+ "rf_loss": 0.0015117910224944353,
+ "total_loss": 0.6265855116889867,
+ "lyap1_mean": 0.03307414799928665,
+ "lyap1_max": 0.05876079201698303,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 323,
+ "sup_loss": 0.7838014548330616,
+ "rf_loss": 0.0006340513355098665,
+ "total_loss": 0.7844355061685715,
+ "lyap1_mean": 0.01649395376443863,
+ "lyap1_max": 0.0529162622988224,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 324,
+ "sup_loss": 0.6671478459349457,
+ "rf_loss": 0.0007239470141939819,
+ "total_loss": 0.6678717929491397,
+ "lyap1_mean": 0.020455054938793182,
+ "lyap1_max": 0.04937053844332695,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 325,
+ "sup_loss": 0.5397099346750626,
+ "rf_loss": 0.0010052138241007924,
+ "total_loss": 0.5407151484991634,
+ "lyap1_mean": 0.023210003972053528,
+ "lyap1_max": 0.05741742625832558,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 326,
+ "sup_loss": 0.6630031876741531,
+ "rf_loss": 0.001328961574472487,
+ "total_loss": 0.6643321492486256,
+ "lyap1_mean": 0.02786932699382305,
+ "lyap1_max": 0.08352240920066833,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 327,
+ "sup_loss": 0.5571623569538502,
+ "rf_loss": 0.001214574440382421,
+ "total_loss": 0.5583769313942326,
+ "lyap1_mean": 0.02381538227200508,
+ "lyap1_max": 0.061528097838163376,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 328,
+ "sup_loss": 0.555961507997231,
+ "rf_loss": 0.0012027461780235171,
+ "total_loss": 0.5571642541752545,
+ "lyap1_mean": 0.022396376356482506,
+ "lyap1_max": 0.0731552317738533,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 329,
+ "sup_loss": 0.6009049735848018,
+ "rf_loss": 0.0010891793062910438,
+ "total_loss": 0.6019941528910928,
+ "lyap1_mean": 0.023367714136838913,
+ "lyap1_max": 0.05627913773059845,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 330,
+ "sup_loss": 0.5515631901124475,
+ "rf_loss": 0.0008196518756449223,
+ "total_loss": 0.5523828419880924,
+ "lyap1_mean": 0.009094594046473503,
+ "lyap1_max": 0.049894388765096664,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 331,
+ "sup_loss": 0.6759063793233435,
+ "rf_loss": 0.00040784673183225095,
+ "total_loss": 0.6763142260551758,
+ "lyap1_mean": 0.013544800691306591,
+ "lyap1_max": 0.04908767342567444,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 332,
+ "sup_loss": 0.5640395181792449,
+ "rf_loss": 0.001440596068277955,
+ "total_loss": 0.5654801142475229,
+ "lyap1_mean": 0.02687056176364422,
+ "lyap1_max": 0.07377228140830994,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 333,
+ "sup_loss": 0.5683215852301273,
+ "rf_loss": 0.0029518920928239822,
+ "total_loss": 0.5712734773229513,
+ "lyap1_mean": 0.04718029126524925,
+ "lyap1_max": 0.09908587485551834,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 334,
+ "sup_loss": 0.5391338026650538,
+ "rf_loss": 0.0010473558213561773,
+ "total_loss": 0.54018115848641,
+ "lyap1_mean": 0.022291403263807297,
+ "lyap1_max": 0.06308871507644653,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 335,
+ "sup_loss": 0.6593828964976121,
+ "rf_loss": 0.0016988751012831926,
+ "total_loss": 0.6610817715988953,
+ "lyap1_mean": 0.038406096398830414,
+ "lyap1_max": 0.053564947098493576,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 336,
+ "sup_loss": 0.5164153553520141,
+ "rf_loss": 0.0022540614008903503,
+ "total_loss": 0.5186694167529045,
+ "lyap1_mean": 0.03340409696102142,
+ "lyap1_max": 0.07267245650291443,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 337,
+ "sup_loss": 0.6153400769519465,
+ "rf_loss": 0.0008269844693131745,
+ "total_loss": 0.6161670614212597,
+ "lyap1_mean": 0.016465771943330765,
+ "lyap1_max": 0.061223309487104416,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 338,
+ "sup_loss": 0.508392452214284,
+ "rf_loss": 0.0013136189663782716,
+ "total_loss": 0.5097060711806622,
+ "lyap1_mean": 0.018049245700240135,
+ "lyap1_max": 0.0784723311662674,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 339,
+ "sup_loss": 0.528748240233861,
+ "rf_loss": 0.0007538208737969398,
+ "total_loss": 0.529502061107658,
+ "lyap1_mean": 0.0126891378313303,
+ "lyap1_max": 0.05080210044980049,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 340,
+ "sup_loss": 0.5946230877378561,
+ "rf_loss": 0.0010886343661695719,
+ "total_loss": 0.5957117221040257,
+ "lyap1_mean": 0.018575353547930717,
+ "lyap1_max": 0.077618308365345,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 341,
+ "sup_loss": 0.6666804340712457,
+ "rf_loss": 0.0020668841898441315,
+ "total_loss": 0.6687473182610898,
+ "lyap1_mean": 0.03190479800105095,
+ "lyap1_max": 0.09190475940704346,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 342,
+ "sup_loss": 0.5823933122970626,
+ "rf_loss": 0.002586337272077799,
+ "total_loss": 0.5849796495691404,
+ "lyap1_mean": 0.040747933089733124,
+ "lyap1_max": 0.08387033641338348,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 343,
+ "sup_loss": 0.5370581017490027,
+ "rf_loss": 0.0016156892525032163,
+ "total_loss": 0.5386737910015059,
+ "lyap1_mean": 0.021658822894096375,
+ "lyap1_max": 0.06818847358226776,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 344,
+ "sup_loss": 0.6095031433535083,
+ "rf_loss": 0.0017871565651148558,
+ "total_loss": 0.6112902999186232,
+ "lyap1_mean": 0.028168095275759697,
+ "lyap1_max": 0.0680287778377533,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 345,
+ "sup_loss": 0.713520097200341,
+ "rf_loss": 0.0008983664447441697,
+ "total_loss": 0.7144184636450852,
+ "lyap1_mean": 0.02652014046907425,
+ "lyap1_max": 0.04787081852555275,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 346,
+ "sup_loss": 0.6081796891891246,
+ "rf_loss": 0.0016971200238913298,
+ "total_loss": 0.6098768092130159,
+ "lyap1_mean": 0.03568613529205322,
+ "lyap1_max": 0.0588974691927433,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 347,
+ "sup_loss": 0.5435835093042528,
+ "rf_loss": 0.000451886560767889,
+ "total_loss": 0.5440353958650207,
+ "lyap1_mean": 0.0056178634986281395,
+ "lyap1_max": 0.04067743942141533,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 348,
+ "sup_loss": 0.6181198891776183,
+ "rf_loss": 0.0017467099241912365,
+ "total_loss": 0.6198665991018095,
+ "lyap1_mean": 0.0263197124004364,
+ "lyap1_max": 0.07395925372838974,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 349,
+ "sup_loss": 0.5717824653005081,
+ "rf_loss": 0.0009810177143663168,
+ "total_loss": 0.5727634830148745,
+ "lyap1_mean": 0.017026541754603386,
+ "lyap1_max": 0.0531860813498497,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 350,
+ "sup_loss": 0.6751253265300787,
+ "rf_loss": 0.0028430595993995667,
+ "total_loss": 0.6779683861294783,
+ "lyap1_mean": 0.04612813517451286,
+ "lyap1_max": 0.0779285579919815,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 351,
+ "sup_loss": 0.6418164154674825,
+ "rf_loss": 0.0016105554532259703,
+ "total_loss": 0.6434269709207084,
+ "lyap1_mean": 0.02290927805006504,
+ "lyap1_max": 0.07244578748941422,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 352,
+ "sup_loss": 0.5609664296878709,
+ "rf_loss": 0.0006594874430447817,
+ "total_loss": 0.5616259171309157,
+ "lyap1_mean": 0.009352956898510456,
+ "lyap1_max": 0.058871712535619736,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 353,
+ "sup_loss": 0.6272068017376108,
+ "rf_loss": 0.0015001647407189012,
+ "total_loss": 0.6287069664783297,
+ "lyap1_mean": 0.026368657127022743,
+ "lyap1_max": 0.0673890933394432,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 354,
+ "sup_loss": 0.6872020953804997,
+ "rf_loss": 0.002155542839318514,
+ "total_loss": 0.6893576382198182,
+ "lyap1_mean": 0.04076262563467026,
+ "lyap1_max": 0.08269982039928436,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 355,
+ "sup_loss": 0.6302130301207065,
+ "rf_loss": 0.0016021355986595154,
+ "total_loss": 0.631815165719366,
+ "lyap1_mean": 0.028096208348870277,
+ "lyap1_max": 0.09006310999393463,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 356,
+ "sup_loss": 0.7312276633097274,
+ "rf_loss": 0.002027129288762808,
+ "total_loss": 0.7332547925984902,
+ "lyap1_mean": 0.043227531015872955,
+ "lyap1_max": 0.06771759688854218,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 357,
+ "sup_loss": 0.577756088355867,
+ "rf_loss": 0.001905013108626008,
+ "total_loss": 0.579661101464493,
+ "lyap1_mean": 0.023291096091270447,
+ "lyap1_max": 0.08179374039173126,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 358,
+ "sup_loss": 0.6144083186468797,
+ "rf_loss": 0.003770134411752224,
+ "total_loss": 0.618178453058632,
+ "lyap1_mean": 0.05666258931159973,
+ "lyap1_max": 0.09531042724847794,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 359,
+ "sup_loss": 0.5644777556170784,
+ "rf_loss": 0.0018129909876734018,
+ "total_loss": 0.5662907466047518,
+ "lyap1_mean": 0.027961596846580505,
+ "lyap1_max": 0.07755743712186813,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 360,
+ "sup_loss": 0.5019569951445884,
+ "rf_loss": 0.0010712514631450176,
+ "total_loss": 0.5030282466077334,
+ "lyap1_mean": 0.018400974571704865,
+ "lyap1_max": 0.057791754603385925,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 361,
+ "sup_loss": 0.6416965695177455,
+ "rf_loss": 0.001408713636919856,
+ "total_loss": 0.6431052831546653,
+ "lyap1_mean": 0.03295781835913658,
+ "lyap1_max": 0.04936494678258896,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 362,
+ "sup_loss": 0.6309294746408266,
+ "rf_loss": 0.0006794296205043793,
+ "total_loss": 0.631608904261331,
+ "lyap1_mean": 0.013654902577400208,
+ "lyap1_max": 0.04311494529247284,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 363,
+ "sup_loss": 0.6659531955533515,
+ "rf_loss": 0.0014082578709349036,
+ "total_loss": 0.6673614534242864,
+ "lyap1_mean": 0.025217458605766296,
+ "lyap1_max": 0.09260102361440659,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 364,
+ "sup_loss": 0.6128375600492328,
+ "rf_loss": 0.0016514535527676344,
+ "total_loss": 0.6144890136020005,
+ "lyap1_mean": 0.037611640989780426,
+ "lyap1_max": 0.06039034202694893,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 365,
+ "sup_loss": 0.4867475689070615,
+ "rf_loss": 0.0008741977508179843,
+ "total_loss": 0.4876217666578795,
+ "lyap1_mean": 0.014137979596853256,
+ "lyap1_max": 0.05842055007815361,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 366,
+ "sup_loss": 0.4663247179236979,
+ "rf_loss": 0.0018925194162875414,
+ "total_loss": 0.46821723733998544,
+ "lyap1_mean": 0.025180645287036896,
+ "lyap1_max": 0.07188466191291809,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 367,
+ "sup_loss": 0.6757744795914226,
+ "rf_loss": 0.002038726583123207,
+ "total_loss": 0.6778132061745458,
+ "lyap1_mean": 0.03420569747686386,
+ "lyap1_max": 0.077299565076828,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 368,
+ "sup_loss": 0.7047186871246921,
+ "rf_loss": 0.0006197041366249323,
+ "total_loss": 0.705338391261317,
+ "lyap1_mean": 0.017550062388181686,
+ "lyap1_max": 0.046965453773736954,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 369,
+ "sup_loss": 0.5300496635348152,
+ "rf_loss": 0.0018218313343822956,
+ "total_loss": 0.5318714948691975,
+ "lyap1_mean": 0.02292734384536743,
+ "lyap1_max": 0.0738568976521492,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 370,
+ "sup_loss": 0.5810223427155404,
+ "rf_loss": 0.0012444123858585954,
+ "total_loss": 0.582266755101399,
+ "lyap1_mean": 0.022088129073381424,
+ "lyap1_max": 0.0654662549495697,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 371,
+ "sup_loss": 0.5514009593856571,
+ "rf_loss": 0.0014322830829769373,
+ "total_loss": 0.5528332424686341,
+ "lyap1_mean": 0.02067960426211357,
+ "lyap1_max": 0.06536001712083817,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 372,
+ "sup_loss": 0.620116284841228,
+ "rf_loss": 0.0015338517259806395,
+ "total_loss": 0.6216501365672087,
+ "lyap1_mean": 0.03171718493103981,
+ "lyap1_max": 0.05522024258971214,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 373,
+ "sup_loss": 0.5064188131101234,
+ "rf_loss": 0.0007782754255458713,
+ "total_loss": 0.5071970885356692,
+ "lyap1_mean": 0.005821417085826397,
+ "lyap1_max": 0.054934609681367874,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 374,
+ "sup_loss": 0.6738921145118484,
+ "rf_loss": 0.0019828130025416613,
+ "total_loss": 0.67587492751439,
+ "lyap1_mean": 0.03225202485918999,
+ "lyap1_max": 0.07732083648443222,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 375,
+ "sup_loss": 0.5890639973812596,
+ "rf_loss": 0.0020325626246631145,
+ "total_loss": 0.5910965600059227,
+ "lyap1_mean": 0.039293207228183746,
+ "lyap1_max": 0.07012130320072174,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 376,
+ "sup_loss": 0.574285120046327,
+ "rf_loss": 0.0019556554034352303,
+ "total_loss": 0.5762407754497623,
+ "lyap1_mean": 0.031872451305389404,
+ "lyap1_max": 0.07463661581277847,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 377,
+ "sup_loss": 0.5460930098635616,
+ "rf_loss": 0.0018978111911565065,
+ "total_loss": 0.5479908210547181,
+ "lyap1_mean": 0.031853996217250824,
+ "lyap1_max": 0.07903999835252762,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 378,
+ "sup_loss": 0.5173929684485403,
+ "rf_loss": 0.0014694114215672016,
+ "total_loss": 0.5188623798701075,
+ "lyap1_mean": 0.020990710705518723,
+ "lyap1_max": 0.061580535024404526,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 379,
+ "sup_loss": 0.5199590057911747,
+ "rf_loss": 0.0013713249936699867,
+ "total_loss": 0.5213303307848447,
+ "lyap1_mean": 0.015460497699677944,
+ "lyap1_max": 0.08125107735395432,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 380,
+ "sup_loss": 0.5968686330386476,
+ "rf_loss": 0.0016896144952625036,
+ "total_loss": 0.5985582475339101,
+ "lyap1_mean": 0.02717975713312626,
+ "lyap1_max": 0.07624264806509018,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 381,
+ "sup_loss": 0.5693716462699172,
+ "rf_loss": 0.0031934420112520456,
+ "total_loss": 0.5725650882811693,
+ "lyap1_mean": 0.05461890250444412,
+ "lyap1_max": 0.07585544139146805,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 382,
+ "sup_loss": 0.6206439776303763,
+ "rf_loss": 0.0015007214387878776,
+ "total_loss": 0.6221446990691641,
+ "lyap1_mean": 0.03653665632009506,
+ "lyap1_max": 0.05353069305419922,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 383,
+ "sup_loss": 0.5059272029983589,
+ "rf_loss": 0.0023681146558374166,
+ "total_loss": 0.5082953176541963,
+ "lyap1_mean": 0.030427275225520134,
+ "lyap1_max": 0.09480524063110352,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 384,
+ "sup_loss": 0.5449754706385186,
+ "rf_loss": 0.0024453462101519108,
+ "total_loss": 0.5474208168486705,
+ "lyap1_mean": 0.028572656214237213,
+ "lyap1_max": 0.09718651324510574,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 385,
+ "sup_loss": 0.558471939930225,
+ "rf_loss": 0.0008809483260847628,
+ "total_loss": 0.5593528882563098,
+ "lyap1_mean": 0.017161136493086815,
+ "lyap1_max": 0.042010389268398285,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 386,
+ "sup_loss": 0.48328867163716044,
+ "rf_loss": 0.0006510941893793643,
+ "total_loss": 0.4839397658265398,
+ "lyap1_mean": 0.014531128108501434,
+ "lyap1_max": 0.051432713866233826,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 387,
+ "sup_loss": 0.5587824782520987,
+ "rf_loss": 0.0018769775051623583,
+ "total_loss": 0.5606594557572611,
+ "lyap1_mean": 0.02300792932510376,
+ "lyap1_max": 0.0729789137840271,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 388,
+ "sup_loss": 0.5358146523871778,
+ "rf_loss": 0.0013174788327887654,
+ "total_loss": 0.5371321312199666,
+ "lyap1_mean": 0.015854844823479652,
+ "lyap1_max": 0.07292778044939041,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 389,
+ "sup_loss": 0.5081479447345039,
+ "rf_loss": 0.0026014060713350773,
+ "total_loss": 0.5107493508058389,
+ "lyap1_mean": 0.03415210545063019,
+ "lyap1_max": 0.08890692889690399,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 390,
+ "sup_loss": 0.5383664577061442,
+ "rf_loss": 0.0013343433383852243,
+ "total_loss": 0.5397008010445294,
+ "lyap1_mean": 0.016584690660238266,
+ "lyap1_max": 0.0691494420170784,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 391,
+ "sup_loss": 0.5483021171936562,
+ "rf_loss": 0.0027662382926791906,
+ "total_loss": 0.5510683554863354,
+ "lyap1_mean": 0.04952007532119751,
+ "lyap1_max": 0.08290360867977142,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 392,
+ "sup_loss": 0.6930554431685999,
+ "rf_loss": 0.0013493052683770657,
+ "total_loss": 0.694404748436977,
+ "lyap1_mean": 0.03466677665710449,
+ "lyap1_max": 0.05610843747854233,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 393,
+ "sup_loss": 0.6446314051519773,
+ "rf_loss": 0.002256780629977584,
+ "total_loss": 0.6468881857819548,
+ "lyap1_mean": 0.03751252219080925,
+ "lyap1_max": 0.08350682258605957,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 394,
+ "sup_loss": 0.6797502896011945,
+ "rf_loss": 0.001176494755782187,
+ "total_loss": 0.6809267843569767,
+ "lyap1_mean": 0.02207980677485466,
+ "lyap1_max": 0.07615794986486435,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 395,
+ "sup_loss": 0.6247156549172896,
+ "rf_loss": 0.0019183268304914236,
+ "total_loss": 0.6266339817477811,
+ "lyap1_mean": 0.03423784673213959,
+ "lyap1_max": 0.07280105352401733,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 396,
+ "sup_loss": 0.489290463759525,
+ "rf_loss": 0.004473309963941574,
+ "total_loss": 0.4937637737234666,
+ "lyap1_mean": 0.05649912357330322,
+ "lyap1_max": 0.09982746094465256,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 397,
+ "sup_loss": 0.47630987719565265,
+ "rf_loss": 0.0016369749791920185,
+ "total_loss": 0.47794685217484467,
+ "lyap1_mean": 0.01570996083319187,
+ "lyap1_max": 0.07945220172405243,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 398,
+ "sup_loss": 0.6127149735222028,
+ "rf_loss": 0.004036420490592718,
+ "total_loss": 0.6167513940127956,
+ "lyap1_mean": 0.06179402768611908,
+ "lyap1_max": 0.09064899384975433,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 399,
+ "sup_loss": 0.5939911475674595,
+ "rf_loss": 0.0015123416669666767,
+ "total_loss": 0.5955034892344262,
+ "lyap1_mean": 0.027166983112692833,
+ "lyap1_max": 0.08180706202983856,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 400,
+ "sup_loss": 0.5573866436400742,
+ "rf_loss": 0.002147998195141554,
+ "total_loss": 0.5595346418352157,
+ "lyap1_mean": 0.024688318371772766,
+ "lyap1_max": 0.11301419883966446,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 401,
+ "sup_loss": 0.610669797815871,
+ "rf_loss": 0.005914963316172361,
+ "total_loss": 0.6165847611320434,
+ "lyap1_mean": 0.05829494819045067,
+ "lyap1_max": 0.13822799921035767,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 402,
+ "sup_loss": 0.5912797821202075,
+ "rf_loss": 0.0013771805679425597,
+ "total_loss": 0.59265696268815,
+ "lyap1_mean": 0.033721063286066055,
+ "lyap1_max": 0.06329566985368729,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 403,
+ "sup_loss": 0.5737464090711292,
+ "rf_loss": 0.002580870408564806,
+ "total_loss": 0.576327279479694,
+ "lyap1_mean": 0.03651314228773117,
+ "lyap1_max": 0.08221504092216492,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 404,
+ "sup_loss": 0.445462667485747,
+ "rf_loss": 0.002222461625933647,
+ "total_loss": 0.4476851291116806,
+ "lyap1_mean": 0.02532942220568657,
+ "lyap1_max": 0.09023572504520416,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 405,
+ "sup_loss": 0.6703465019051059,
+ "rf_loss": 0.001906410208903253,
+ "total_loss": 0.6722529121140092,
+ "lyap1_mean": 0.03442580997943878,
+ "lyap1_max": 0.0825660228729248,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 406,
+ "sup_loss": 0.7045044506415021,
+ "rf_loss": 0.001167541486211121,
+ "total_loss": 0.7056719921277133,
+ "lyap1_mean": 0.020810365676879883,
+ "lyap1_max": 0.06251882761716843,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 407,
+ "sup_loss": 0.5806781892677935,
+ "rf_loss": 0.0017473379848524928,
+ "total_loss": 0.582425527252646,
+ "lyap1_mean": 0.02425471879541874,
+ "lyap1_max": 0.07958205789327621,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 408,
+ "sup_loss": 0.5599794115725644,
+ "rf_loss": 0.0017489965539425611,
+ "total_loss": 0.5617284081265069,
+ "lyap1_mean": 0.03182270750403404,
+ "lyap1_max": 0.084056057035923,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 409,
+ "sup_loss": 0.7017246098844295,
+ "rf_loss": 0.002099005039781332,
+ "total_loss": 0.7038236149242109,
+ "lyap1_mean": 0.04325941205024719,
+ "lyap1_max": 0.06632344424724579,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 410,
+ "sup_loss": 0.5772104767255113,
+ "rf_loss": 0.0016158631769940257,
+ "total_loss": 0.5788263399025053,
+ "lyap1_mean": 0.02724890597164631,
+ "lyap1_max": 0.0515250526368618,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 411,
+ "sup_loss": 0.5432984669404415,
+ "rf_loss": 0.0026127623859792948,
+ "total_loss": 0.5459112293264208,
+ "lyap1_mean": 0.039056047797203064,
+ "lyap1_max": 0.08806491643190384,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 412,
+ "sup_loss": 0.6800114812515816,
+ "rf_loss": 0.002693017479032278,
+ "total_loss": 0.6827044987306139,
+ "lyap1_mean": 0.04687969386577606,
+ "lyap1_max": 0.09670194983482361,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 413,
+ "sup_loss": 0.576675284286074,
+ "rf_loss": 0.0010767013300210238,
+ "total_loss": 0.577751985616095,
+ "lyap1_mean": 0.020438481122255325,
+ "lyap1_max": 0.04973438382148743,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 414,
+ "sup_loss": 0.6557322062548063,
+ "rf_loss": 0.0023182551376521587,
+ "total_loss": 0.6580504613924585,
+ "lyap1_mean": 0.043858520686626434,
+ "lyap1_max": 0.08322931826114655,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 415,
+ "sup_loss": 0.4890810169272069,
+ "rf_loss": 0.0007547576678916812,
+ "total_loss": 0.4898357745950986,
+ "lyap1_mean": 0.016461219638586044,
+ "lyap1_max": 0.040067158639431,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 416,
+ "sup_loss": 0.600263275794477,
+ "rf_loss": 0.0023040901869535446,
+ "total_loss": 0.6025673659814306,
+ "lyap1_mean": 0.03968821465969086,
+ "lyap1_max": 0.08925742655992508,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 417,
+ "sup_loss": 0.6602938692483921,
+ "rf_loss": 0.0020041544921696186,
+ "total_loss": 0.6622980237405617,
+ "lyap1_mean": 0.035725776106119156,
+ "lyap1_max": 0.07582633197307587,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 418,
+ "sup_loss": 0.5337302519637572,
+ "rf_loss": 0.002199694514274597,
+ "total_loss": 0.5359299464780318,
+ "lyap1_mean": 0.019646845757961273,
+ "lyap1_max": 0.09504194557666779,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 419,
+ "sup_loss": 0.6240213805500735,
+ "rf_loss": 0.0027583190239965916,
+ "total_loss": 0.6267796995740701,
+ "lyap1_mean": 0.0419590137898922,
+ "lyap1_max": 0.09344200044870377,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 420,
+ "sup_loss": 0.6086745735499473,
+ "rf_loss": 0.00146080635022372,
+ "total_loss": 0.610135379900171,
+ "lyap1_mean": 0.033275868743658066,
+ "lyap1_max": 0.06353472173213959,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 421,
+ "sup_loss": 0.5911084431188289,
+ "rf_loss": 0.00165928911883384,
+ "total_loss": 0.5927677322376628,
+ "lyap1_mean": 0.02615795098245144,
+ "lyap1_max": 0.08818431943655014,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 422,
+ "sup_loss": 0.5765081707261451,
+ "rf_loss": 0.0009474693797528744,
+ "total_loss": 0.577455640105898,
+ "lyap1_mean": 0.01909920573234558,
+ "lyap1_max": 0.04984712228178978,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 423,
+ "sup_loss": 0.4971016048696122,
+ "rf_loss": 0.0012698443606495857,
+ "total_loss": 0.4983714492302618,
+ "lyap1_mean": 0.02674224227666855,
+ "lyap1_max": 0.061214629560709,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 424,
+ "sup_loss": 0.5995457815051464,
+ "rf_loss": 0.00027612928533926606,
+ "total_loss": 0.5998219107904856,
+ "lyap1_mean": 0.009508244693279266,
+ "lyap1_max": 0.02821524441242218,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 425,
+ "sup_loss": 0.4393324010176472,
+ "rf_loss": 0.00040822234586812556,
+ "total_loss": 0.4397406233635153,
+ "lyap1_mean": -0.004910987336188555,
+ "lyap1_max": 0.046037863940000534,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 426,
+ "sup_loss": 0.5865881666906574,
+ "rf_loss": 0.0013874249998480082,
+ "total_loss": 0.5879755916905054,
+ "lyap1_mean": 0.021788714453577995,
+ "lyap1_max": 0.07424114644527435,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 427,
+ "sup_loss": 0.6128814286098759,
+ "rf_loss": 0.0024081787560135126,
+ "total_loss": 0.6152896073658894,
+ "lyap1_mean": 0.044150643050670624,
+ "lyap1_max": 0.07228948175907135,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 428,
+ "sup_loss": 0.5793460659461601,
+ "rf_loss": 0.0009269028669223189,
+ "total_loss": 0.5802729688130824,
+ "lyap1_mean": 0.013821449130773544,
+ "lyap1_max": 0.062279656529426575,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 429,
+ "sup_loss": 0.6749555501868121,
+ "rf_loss": 0.0018645580857992172,
+ "total_loss": 0.6768201082726113,
+ "lyap1_mean": 0.041960734874010086,
+ "lyap1_max": 0.05729619786143303,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 430,
+ "sup_loss": 0.6354297725051543,
+ "rf_loss": 0.0021369745954871178,
+ "total_loss": 0.6375667471006414,
+ "lyap1_mean": 0.04137206822633743,
+ "lyap1_max": 0.07624854147434235,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 431,
+ "sup_loss": 0.5601418512989415,
+ "rf_loss": 0.001248836168088019,
+ "total_loss": 0.5613906874670295,
+ "lyap1_mean": 0.030411353334784508,
+ "lyap1_max": 0.055583756417036057,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 432,
+ "sup_loss": 0.49850314668677453,
+ "rf_loss": 0.000886998197529465,
+ "total_loss": 0.499390144884304,
+ "lyap1_mean": 0.014654465019702911,
+ "lyap1_max": 0.07326029986143112,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 433,
+ "sup_loss": 0.5874758696630714,
+ "rf_loss": 0.0025350225623697042,
+ "total_loss": 0.5900108922254411,
+ "lyap1_mean": 0.04039587080478668,
+ "lyap1_max": 0.07253007590770721,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 434,
+ "sup_loss": 0.5210973347666915,
+ "rf_loss": 0.0028332623187452555,
+ "total_loss": 0.5239305970854368,
+ "lyap1_mean": 0.0301288440823555,
+ "lyap1_max": 0.10169540345668793,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 435,
+ "sup_loss": 0.4526687650483918,
+ "rf_loss": 0.002266938565298915,
+ "total_loss": 0.45493570361369073,
+ "lyap1_mean": 0.0333818718791008,
+ "lyap1_max": 0.08655213564634323,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 436,
+ "sup_loss": 0.5430751278658046,
+ "rf_loss": 0.000939882651437074,
+ "total_loss": 0.5440150105172417,
+ "lyap1_mean": 0.018850333988666534,
+ "lyap1_max": 0.0677044615149498,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 437,
+ "sup_loss": 0.5708410225493472,
+ "rf_loss": 0.0008602512534707785,
+ "total_loss": 0.571701273802818,
+ "lyap1_mean": 0.012880721129477024,
+ "lyap1_max": 0.05573175847530365,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 438,
+ "sup_loss": 0.6027968195654487,
+ "rf_loss": 0.0032723036129027605,
+ "total_loss": 0.6060691231783515,
+ "lyap1_mean": 0.03980628401041031,
+ "lyap1_max": 0.09734226763248444,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 439,
+ "sup_loss": 0.6017990849031812,
+ "rf_loss": 0.0007473737932741642,
+ "total_loss": 0.6025464586964554,
+ "lyap1_mean": 0.017749011516571045,
+ "lyap1_max": 0.05823877826333046,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 440,
+ "sup_loss": 0.7017774013471766,
+ "rf_loss": 0.0027217534370720387,
+ "total_loss": 0.7044991547842486,
+ "lyap1_mean": 0.04489036649465561,
+ "lyap1_max": 0.08676376938819885,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 441,
+ "sup_loss": 0.541781833654622,
+ "rf_loss": 0.0015425296733155847,
+ "total_loss": 0.5433243633279375,
+ "lyap1_mean": 0.023545632138848305,
+ "lyap1_max": 0.09994190186262131,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 442,
+ "sup_loss": 0.6353173776996993,
+ "rf_loss": 0.0029571650084108114,
+ "total_loss": 0.6382745427081101,
+ "lyap1_mean": 0.04867789149284363,
+ "lyap1_max": 0.08881654590368271,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 443,
+ "sup_loss": 0.6751789728005768,
+ "rf_loss": 0.0023828288540244102,
+ "total_loss": 0.6775618016546012,
+ "lyap1_mean": 0.04673803225159645,
+ "lyap1_max": 0.06521928310394287,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 444,
+ "sup_loss": 0.6828072333847413,
+ "rf_loss": 0.0027738080825656652,
+ "total_loss": 0.6855810414673069,
+ "lyap1_mean": 0.041228629648685455,
+ "lyap1_max": 0.11173896491527557,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 445,
+ "sup_loss": 0.6459541771929763,
+ "rf_loss": 0.0025450456887483597,
+ "total_loss": 0.6484992228817247,
+ "lyap1_mean": 0.04477780684828758,
+ "lyap1_max": 0.07512985914945602,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 446,
+ "sup_loss": 0.6502448915045136,
+ "rf_loss": 0.0026282542385160923,
+ "total_loss": 0.6528731457430297,
+ "lyap1_mean": 0.04797019809484482,
+ "lyap1_max": 0.06889145821332932,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 447,
+ "sup_loss": 0.48100793225273014,
+ "rf_loss": 0.001236268668435514,
+ "total_loss": 0.48224420092116566,
+ "lyap1_mean": 0.0186515711247921,
+ "lyap1_max": 0.07088442146778107,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 448,
+ "sup_loss": 0.6511706654419039,
+ "rf_loss": 0.001896898727864027,
+ "total_loss": 0.653067564169768,
+ "lyap1_mean": 0.035178475081920624,
+ "lyap1_max": 0.07658100873231888,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 449,
+ "sup_loss": 0.6495079054765145,
+ "rf_loss": 0.0010715257376432419,
+ "total_loss": 0.6505794312141577,
+ "lyap1_mean": 0.019441179931163788,
+ "lyap1_max": 0.06762313842773438,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 450,
+ "sup_loss": 0.5779020172506624,
+ "rf_loss": 0.002088308334350586,
+ "total_loss": 0.579990325585013,
+ "lyap1_mean": 0.02120842970907688,
+ "lyap1_max": 0.09659936279058456,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 451,
+ "sup_loss": 0.6311615890077962,
+ "rf_loss": 0.002570522017776966,
+ "total_loss": 0.6337321110255731,
+ "lyap1_mean": 0.04513245075941086,
+ "lyap1_max": 0.08113884925842285,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 452,
+ "sup_loss": 0.6771357367710865,
+ "rf_loss": 0.0006540928152389824,
+ "total_loss": 0.6777898295863255,
+ "lyap1_mean": -0.0010796808637678623,
+ "lyap1_max": 0.060005348175764084,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 453,
+ "sup_loss": 0.546207950867405,
+ "rf_loss": 0.00042240892071276903,
+ "total_loss": 0.5466303597881178,
+ "lyap1_mean": 0.0003286984283477068,
+ "lyap1_max": 0.03513108193874359,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 454,
+ "sup_loss": 0.6005498919662042,
+ "rf_loss": 0.0009669004939496517,
+ "total_loss": 0.6015167924601539,
+ "lyap1_mean": 0.025765620172023773,
+ "lyap1_max": 0.0419883094727993,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 455,
+ "sup_loss": 0.5637491838669131,
+ "rf_loss": 0.001428214949555695,
+ "total_loss": 0.5651773988164688,
+ "lyap1_mean": 0.029524076730012894,
+ "lyap1_max": 0.05624343082308769,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 456,
+ "sup_loss": 0.4979923888778706,
+ "rf_loss": 0.001759853563271463,
+ "total_loss": 0.4997522424411421,
+ "lyap1_mean": 0.02529224380850792,
+ "lyap1_max": 0.0790579542517662,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 457,
+ "sup_loss": 0.5145174646054114,
+ "rf_loss": 0.0015320308739319444,
+ "total_loss": 0.5160494954793433,
+ "lyap1_mean": 0.020397739484906197,
+ "lyap1_max": 0.08382277190685272,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 458,
+ "sup_loss": 0.5604014412924787,
+ "rf_loss": 0.002057337900623679,
+ "total_loss": 0.5624587791931024,
+ "lyap1_mean": 0.040410369634628296,
+ "lyap1_max": 0.07245269417762756,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 459,
+ "sup_loss": 0.5697023152100146,
+ "rf_loss": 0.001801767386496067,
+ "total_loss": 0.5715040825965106,
+ "lyap1_mean": 0.025261588394641876,
+ "lyap1_max": 0.08898594975471497,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 460,
+ "sup_loss": 0.5362072330882928,
+ "rf_loss": 0.0026788045652210712,
+ "total_loss": 0.5388860376535138,
+ "lyap1_mean": 0.03392229601740837,
+ "lyap1_max": 0.08602214604616165,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 461,
+ "sup_loss": 0.5665661252894323,
+ "rf_loss": 0.0008997700642794371,
+ "total_loss": 0.5674658953537117,
+ "lyap1_mean": 0.016113823279738426,
+ "lyap1_max": 0.05834623798727989,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 462,
+ "sup_loss": 0.5956563193024328,
+ "rf_loss": 0.0014949881006032228,
+ "total_loss": 0.597151307403036,
+ "lyap1_mean": 0.023004652932286263,
+ "lyap1_max": 0.060504164546728134,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 463,
+ "sup_loss": 0.6891272468578147,
+ "rf_loss": 0.0019795990083366632,
+ "total_loss": 0.6911068458661513,
+ "lyap1_mean": 0.03422834351658821,
+ "lyap1_max": 0.0713517814874649,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 464,
+ "sup_loss": 0.5808235681351741,
+ "rf_loss": 0.0015987837687134743,
+ "total_loss": 0.5824223519038876,
+ "lyap1_mean": 0.021298984065651894,
+ "lyap1_max": 0.07669458538293839,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 465,
+ "sup_loss": 0.6003495015861234,
+ "rf_loss": 0.002920710714533925,
+ "total_loss": 0.6032702123006574,
+ "lyap1_mean": 0.041894108057022095,
+ "lyap1_max": 0.09611640870571136,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 466,
+ "sup_loss": 0.49109539478409486,
+ "rf_loss": 0.0010048642288893461,
+ "total_loss": 0.4921002590129842,
+ "lyap1_mean": 0.010866931639611721,
+ "lyap1_max": 0.05538950115442276,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 467,
+ "sup_loss": 0.4700956959947161,
+ "rf_loss": 0.001059905393049121,
+ "total_loss": 0.47115560138776524,
+ "lyap1_mean": 0.01454400084912777,
+ "lyap1_max": 0.06517349928617477,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 468,
+ "sup_loss": 0.692319375705245,
+ "rf_loss": 0.0018315762281417847,
+ "total_loss": 0.6941509519333868,
+ "lyap1_mean": 0.03535206615924835,
+ "lyap1_max": 0.07581493258476257,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 469,
+ "sup_loss": 0.6665104065384011,
+ "rf_loss": 0.0013309200294315815,
+ "total_loss": 0.6678413265678327,
+ "lyap1_mean": 0.027664054185152054,
+ "lyap1_max": 0.07932392507791519,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 470,
+ "sup_loss": 0.5399660955901802,
+ "rf_loss": 0.0004678074619732797,
+ "total_loss": 0.5404339030521534,
+ "lyap1_mean": 0.0090805534273386,
+ "lyap1_max": 0.042606644332408905,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 471,
+ "sup_loss": 0.590118190719022,
+ "rf_loss": 0.0016934238374233246,
+ "total_loss": 0.5918116145564454,
+ "lyap1_mean": 0.02850450575351715,
+ "lyap1_max": 0.0779862105846405,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 472,
+ "sup_loss": 0.49434419403206853,
+ "rf_loss": 0.0020687312353402376,
+ "total_loss": 0.49641292526740877,
+ "lyap1_mean": 0.029960310086607933,
+ "lyap1_max": 0.08181807398796082,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 473,
+ "sup_loss": 0.423630904493602,
+ "rf_loss": 0.0010698840487748384,
+ "total_loss": 0.42470078854237686,
+ "lyap1_mean": 0.010598588734865189,
+ "lyap1_max": 0.05918852612376213,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 474,
+ "sup_loss": 0.4027238452916339,
+ "rf_loss": 0.0009516055579297245,
+ "total_loss": 0.40367545084956363,
+ "lyap1_mean": 0.00855465978384018,
+ "lyap1_max": 0.06463165581226349,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 475,
+ "sup_loss": 0.7297952027414392,
+ "rf_loss": 0.0016379645094275475,
+ "total_loss": 0.7314331672508667,
+ "lyap1_mean": 0.03457013517618179,
+ "lyap1_max": 0.06040195748209953,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 476,
+ "sup_loss": 0.4485702803353612,
+ "rf_loss": 0.00048223789781332016,
+ "total_loss": 0.44905251823317455,
+ "lyap1_mean": -0.0023067882284522057,
+ "lyap1_max": 0.05328699201345444,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 477,
+ "sup_loss": 0.44797442420375333,
+ "rf_loss": 0.001114958431571722,
+ "total_loss": 0.44908938263532505,
+ "lyap1_mean": 0.01038635428994894,
+ "lyap1_max": 0.05251718685030937,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 478,
+ "sup_loss": 0.596960608091694,
+ "rf_loss": 0.002680344507098198,
+ "total_loss": 0.5996409525987922,
+ "lyap1_mean": 0.03698315843939781,
+ "lyap1_max": 0.1042441874742508,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 479,
+ "sup_loss": 0.558653877038796,
+ "rf_loss": 0.002003508387133479,
+ "total_loss": 0.5606573854259295,
+ "lyap1_mean": 0.019704485312104225,
+ "lyap1_max": 0.10678338259458542,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 480,
+ "sup_loss": 0.6165416820952608,
+ "rf_loss": 0.001506658736616373,
+ "total_loss": 0.6180483408318772,
+ "lyap1_mean": 0.03242785483598709,
+ "lyap1_max": 0.07156527042388916,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 481,
+ "sup_loss": 0.5608829798667504,
+ "rf_loss": 0.0007949658902361989,
+ "total_loss": 0.5616779457569866,
+ "lyap1_mean": 0.018487846478819847,
+ "lyap1_max": 0.0448363795876503,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 482,
+ "sup_loss": 0.6618261320050502,
+ "rf_loss": 0.0011412458261474967,
+ "total_loss": 0.6629673778311977,
+ "lyap1_mean": 0.02183135226368904,
+ "lyap1_max": 0.060807645320892334,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 483,
+ "sup_loss": 0.6012482073450902,
+ "rf_loss": 0.001097784610465169,
+ "total_loss": 0.6023459919555554,
+ "lyap1_mean": 0.025056704878807068,
+ "lyap1_max": 0.05439408868551254,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 484,
+ "sup_loss": 0.49721902570380416,
+ "rf_loss": 0.0008760618511587381,
+ "total_loss": 0.4980950875549629,
+ "lyap1_mean": 0.009069306775927544,
+ "lyap1_max": 0.046717025339603424,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 485,
+ "sup_loss": 0.5944115956677546,
+ "rf_loss": 0.0008450830937363207,
+ "total_loss": 0.5952566787614909,
+ "lyap1_mean": 0.011378820985555649,
+ "lyap1_max": 0.06109587475657463,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 486,
+ "sup_loss": 0.7048901706469067,
+ "rf_loss": 0.0008818490314297378,
+ "total_loss": 0.7057720196783365,
+ "lyap1_mean": 0.021292930468916893,
+ "lyap1_max": 0.0667325109243393,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 487,
+ "sup_loss": 0.5404122074228944,
+ "rf_loss": 0.00198764749802649,
+ "total_loss": 0.5423998549209209,
+ "lyap1_mean": 0.031179092824459076,
+ "lyap1_max": 0.07164224982261658,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 488,
+ "sup_loss": 0.5371826638644132,
+ "rf_loss": 0.0018928200006484985,
+ "total_loss": 0.5390754838650617,
+ "lyap1_mean": 0.033878959715366364,
+ "lyap1_max": 0.06859801709651947,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 489,
+ "sup_loss": 0.5299616359282388,
+ "rf_loss": 0.00215232465416193,
+ "total_loss": 0.5321139605824007,
+ "lyap1_mean": 0.030697287991642952,
+ "lyap1_max": 0.09514429420232773,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 490,
+ "sup_loss": 0.5348217522404577,
+ "rf_loss": 0.0006773091154173017,
+ "total_loss": 0.535499061355875,
+ "lyap1_mean": 0.015523385256528854,
+ "lyap1_max": 0.05199055373668671,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 491,
+ "sup_loss": 0.8883809390046099,
+ "rf_loss": 0.0010342812165617943,
+ "total_loss": 0.8894152202211717,
+ "lyap1_mean": 0.011973448097705841,
+ "lyap1_max": 0.06120604649186134,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 492,
+ "sup_loss": 0.5944528709708192,
+ "rf_loss": 0.0006903195753693581,
+ "total_loss": 0.5951431905461886,
+ "lyap1_mean": 0.013610954396426678,
+ "lyap1_max": 0.046512898057699203,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 493,
+ "sup_loss": 0.5232291117401617,
+ "rf_loss": 0.0010804455960169435,
+ "total_loss": 0.5243095573361787,
+ "lyap1_mean": 0.013695324771106243,
+ "lyap1_max": 0.056539371609687805,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 494,
+ "sup_loss": 0.5064214183795961,
+ "rf_loss": 0.0008875307976268232,
+ "total_loss": 0.5073089491772229,
+ "lyap1_mean": 0.018921975046396255,
+ "lyap1_max": 0.04505554586648941,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 495,
+ "sup_loss": 0.6693595243943136,
+ "rf_loss": 0.0010283344890922308,
+ "total_loss": 0.6703878588834058,
+ "lyap1_mean": 0.026461943984031677,
+ "lyap1_max": 0.060531821101903915,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 496,
+ "sup_loss": 0.5574995448890523,
+ "rf_loss": 0.0017597138648852706,
+ "total_loss": 0.5592592587539376,
+ "lyap1_mean": 0.03532008081674576,
+ "lyap1_max": 0.06282345205545425,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 497,
+ "sup_loss": 0.6360974792856422,
+ "rf_loss": 0.003434127662330866,
+ "total_loss": 0.6395316069479731,
+ "lyap1_mean": 0.04968583956360817,
+ "lyap1_max": 0.0952412337064743,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 498,
+ "sup_loss": 0.6501736295459508,
+ "rf_loss": 0.0017629594076424837,
+ "total_loss": 0.6519365889535933,
+ "lyap1_mean": 0.029123321175575256,
+ "lyap1_max": 0.08675266057252884,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 499,
+ "sup_loss": 0.5527645890401214,
+ "rf_loss": 0.0031369253993034363,
+ "total_loss": 0.5559015144394248,
+ "lyap1_mean": 0.045582327991724014,
+ "lyap1_max": 0.09826134890317917,
+ "frac_above_star": 1.0
+ }
+ ],
+ "evals": [
+ {
+ "step": 0,
+ "acc": 0.59765625,
+ "tok_acc": 0.8614245756172839
+ },
+ {
+ "step": 100,
+ "acc": 0.544921875,
+ "tok_acc": 0.8441599151234568
+ },
+ {
+ "step": 200,
+ "acc": 0.533203125,
+ "tok_acc": 0.8375530478395061
+ },
+ {
+ "step": 300,
+ "acc": 0.44921875,
+ "tok_acc": 0.8125723379629629
+ },
+ {
+ "step": 400,
+ "acc": 0.52734375,
+ "tok_acc": 0.8372636959876543
+ },
+ {
+ "step": 500,
+ "acc": 0.53125,
+ "tok_acc": 0.8399160879629629
+ },
+ {
+ "step": 500,
+ "acc": 0.53125,
+ "tok_acc": 0.8399160879629629
+ }
+ ],
+ "final_acc": 0.53125,
+ "final_tok_acc": 0.8399160879629629
+} \ No newline at end of file