summaryrefslogtreecommitdiff
path: root/research/flossing/step5_F_trm_step_26041_alpha2_lstar0.json
diff options
context:
space:
mode:
authorYurenHao0426 <blackhao0426@gmail.com>2026-06-13 12:35:36 -0500
committerYurenHao0426 <blackhao0426@gmail.com>2026-06-13 12:35:36 -0500
commit66e0d8b9fd4d0f7a2231d689c055e26fdf1cf04a (patch)
treec29cba61124018755a19b02c9d33e3ad5f2e05cc /research/flossing/step5_F_trm_step_26041_alpha2_lstar0.json
rrm workspace: TRM/HRM/SRM code, Maze dataset, dynamical-analysis pipelineHEADmain
Curated export for clone-and-run Maze training (2x A6000) + diagnostics. trm/hrm pretrain.py carry trajectory-augmentation code (backward-compatible). Heavy artifacts (checkpoints/wandb/npz) gitignored; see PROVENANCE.md. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Diffstat (limited to 'research/flossing/step5_F_trm_step_26041_alpha2_lstar0.json')
-rw-r--r--research/flossing/step5_F_trm_step_26041_alpha2_lstar0.json4562
1 files changed, 4562 insertions, 0 deletions
diff --git a/research/flossing/step5_F_trm_step_26041_alpha2_lstar0.json b/research/flossing/step5_F_trm_step_26041_alpha2_lstar0.json
new file mode 100644
index 0000000..6498ce9
--- /dev/null
+++ b/research/flossing/step5_F_trm_step_26041_alpha2_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": 2.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_F_trm_step_26041_alpha2_lstar0.json"
+ },
+ "initial_acc": 0.59765625,
+ "initial_tok_acc": 0.8614245756172839,
+ "steps": [
+ {
+ "step": 0,
+ "sup_loss": 0.42008234999486116,
+ "rf_loss": 0.001729956129565835,
+ "total_loss": 0.42354226225399283,
+ "lyap1_mean": 0.010343756526708603,
+ "lyap1_max": 0.0999058187007904,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 1,
+ "sup_loss": 0.4738603959531844,
+ "rf_loss": 0.0025100342463701963,
+ "total_loss": 0.4788804644459248,
+ "lyap1_mean": 0.03149992227554321,
+ "lyap1_max": 0.08887345343828201,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 2,
+ "sup_loss": 0.5360245364679904,
+ "rf_loss": 0.0018719586078077555,
+ "total_loss": 0.5397684536836059,
+ "lyap1_mean": 0.0261363722383976,
+ "lyap1_max": 0.06630080193281174,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 3,
+ "sup_loss": 0.5070235572460668,
+ "rf_loss": 0.000761932460591197,
+ "total_loss": 0.5085474221672492,
+ "lyap1_mean": 0.0031117545440793037,
+ "lyap1_max": 0.04836111515760422,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 4,
+ "sup_loss": 0.48899484592602305,
+ "rf_loss": 0.001355785527266562,
+ "total_loss": 0.49170641698055617,
+ "lyap1_mean": 0.01976846531033516,
+ "lyap1_max": 0.08001985400915146,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 5,
+ "sup_loss": 0.5594602684890626,
+ "rf_loss": 0.0010125027038156986,
+ "total_loss": 0.561485273896694,
+ "lyap1_mean": 0.011108090169727802,
+ "lyap1_max": 0.06083367019891739,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 6,
+ "sup_loss": 0.46496423633755607,
+ "rf_loss": 0.0019506656099110842,
+ "total_loss": 0.46886556755737824,
+ "lyap1_mean": 0.028305506333708763,
+ "lyap1_max": 0.07791370898485184,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 7,
+ "sup_loss": 0.5792987520124118,
+ "rf_loss": 0.002908483147621155,
+ "total_loss": 0.5851157183076541,
+ "lyap1_mean": 0.05069926753640175,
+ "lyap1_max": 0.08179153501987457,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 8,
+ "sup_loss": 0.5431179918932192,
+ "rf_loss": 0.0018153202254325151,
+ "total_loss": 0.5467486323440842,
+ "lyap1_mean": 0.029531147330999374,
+ "lyap1_max": 0.0839211642742157,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 9,
+ "sup_loss": 0.6126726034616023,
+ "rf_loss": 0.0032609086483716965,
+ "total_loss": 0.6191944207583457,
+ "lyap1_mean": 0.045468732714653015,
+ "lyap1_max": 0.07987459748983383,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 10,
+ "sup_loss": 0.5939926500265568,
+ "rf_loss": 0.0028927898965775967,
+ "total_loss": 0.599778229819712,
+ "lyap1_mean": 0.03649424389004707,
+ "lyap1_max": 0.08975239843130112,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 11,
+ "sup_loss": 0.5158877106690056,
+ "rf_loss": 0.0022091642022132874,
+ "total_loss": 0.5203060390734322,
+ "lyap1_mean": 0.029684696346521378,
+ "lyap1_max": 0.0878518745303154,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 12,
+ "sup_loss": 0.4950166243767729,
+ "rf_loss": 0.0035055570770055056,
+ "total_loss": 0.5020277385307839,
+ "lyap1_mean": 0.0425872877240181,
+ "lyap1_max": 0.07911788672208786,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 13,
+ "sup_loss": 0.5361774116405038,
+ "rf_loss": 0.0019039188046008348,
+ "total_loss": 0.5399852492497055,
+ "lyap1_mean": 0.02971448190510273,
+ "lyap1_max": 0.07312142103910446,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 14,
+ "sup_loss": 0.38995504975318074,
+ "rf_loss": 0.0014467737637460232,
+ "total_loss": 0.3928485972806728,
+ "lyap1_mean": 0.00853564403951168,
+ "lyap1_max": 0.08175881206989288,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 15,
+ "sup_loss": 0.5645217180448929,
+ "rf_loss": 0.0020870575681328773,
+ "total_loss": 0.5686958331811587,
+ "lyap1_mean": 0.02840547263622284,
+ "lyap1_max": 0.07589008659124374,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 16,
+ "sup_loss": 0.4846610209361143,
+ "rf_loss": 0.002214070875197649,
+ "total_loss": 0.4890891626865096,
+ "lyap1_mean": 0.019869904965162277,
+ "lyap1_max": 0.09843702614307404,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 17,
+ "sup_loss": 0.6180299060983678,
+ "rf_loss": 0.002099048113450408,
+ "total_loss": 0.6222280023252686,
+ "lyap1_mean": 0.043297816067934036,
+ "lyap1_max": 0.06418994814157486,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 18,
+ "sup_loss": 0.5297072841675685,
+ "rf_loss": 0.0005439077503979206,
+ "total_loss": 0.5307950996683644,
+ "lyap1_mean": 0.0017338315956294537,
+ "lyap1_max": 0.03993990644812584,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 19,
+ "sup_loss": 0.5166197634755015,
+ "rf_loss": 0.001218958175741136,
+ "total_loss": 0.5190576798269838,
+ "lyap1_mean": 0.015046326443552971,
+ "lyap1_max": 0.062004540115594864,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 20,
+ "sup_loss": 0.5005008997800271,
+ "rf_loss": 0.0009759212261997163,
+ "total_loss": 0.5024527422324265,
+ "lyap1_mean": 0.014732304029166698,
+ "lyap1_max": 0.060052111744880676,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 21,
+ "sup_loss": 0.454766714077215,
+ "rf_loss": 0.002208031713962555,
+ "total_loss": 0.4591827775051401,
+ "lyap1_mean": 0.01851576939225197,
+ "lyap1_max": 0.1074441522359848,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 22,
+ "sup_loss": 0.4173310271943099,
+ "rf_loss": 0.0013099079951643944,
+ "total_loss": 0.4199508431846387,
+ "lyap1_mean": 0.002463181968778372,
+ "lyap1_max": 0.08919179439544678,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 23,
+ "sup_loss": 0.5181182162128046,
+ "rf_loss": 0.0021681187208741903,
+ "total_loss": 0.522454453654553,
+ "lyap1_mean": 0.026431061327457428,
+ "lyap1_max": 0.08539079129695892,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 24,
+ "sup_loss": 0.5637012418622057,
+ "rf_loss": 0.001843349076807499,
+ "total_loss": 0.5673879400158207,
+ "lyap1_mean": 0.024177230894565582,
+ "lyap1_max": 0.08071970194578171,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 25,
+ "sup_loss": 0.5997036765465594,
+ "rf_loss": 0.0013597107026726007,
+ "total_loss": 0.6024230979519046,
+ "lyap1_mean": 0.030197873711586,
+ "lyap1_max": 0.06531383097171783,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 26,
+ "sup_loss": 0.64676717366026,
+ "rf_loss": 0.002179918112233281,
+ "total_loss": 0.6511270098847266,
+ "lyap1_mean": 0.042077600955963135,
+ "lyap1_max": 0.07497645914554596,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 27,
+ "sup_loss": 0.40483993408464086,
+ "rf_loss": 0.0017127455212175846,
+ "total_loss": 0.40826542512707603,
+ "lyap1_mean": 0.00565324816852808,
+ "lyap1_max": 0.06834100931882858,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 28,
+ "sup_loss": 0.5905391666247288,
+ "rf_loss": 0.002397990319877863,
+ "total_loss": 0.5953351472644846,
+ "lyap1_mean": 0.03139173611998558,
+ "lyap1_max": 0.08624143898487091,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 29,
+ "sup_loss": 0.5906049672714128,
+ "rf_loss": 0.0018187779933214188,
+ "total_loss": 0.5942425232580556,
+ "lyap1_mean": 0.024308517575263977,
+ "lyap1_max": 0.08326154947280884,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 30,
+ "sup_loss": 0.5513959919753955,
+ "rf_loss": 0.0021326481364667416,
+ "total_loss": 0.5556612882483289,
+ "lyap1_mean": 0.021286796778440475,
+ "lyap1_max": 0.08548635989427567,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 31,
+ "sup_loss": 0.4708547969669838,
+ "rf_loss": 0.0018233568407595158,
+ "total_loss": 0.4745015106485028,
+ "lyap1_mean": 0.02719852700829506,
+ "lyap1_max": 0.07223816215991974,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 32,
+ "sup_loss": 0.47600043339275605,
+ "rf_loss": 0.0021042749285697937,
+ "total_loss": 0.48020898324989564,
+ "lyap1_mean": 0.021459143608808517,
+ "lyap1_max": 0.06925345212221146,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 33,
+ "sup_loss": 0.5263414658621354,
+ "rf_loss": 0.0008028911543078721,
+ "total_loss": 0.5279472481707511,
+ "lyap1_mean": 0.011565620079636574,
+ "lyap1_max": 0.06452881544828415,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 34,
+ "sup_loss": 0.5001485957201988,
+ "rf_loss": 0.0034474350977689028,
+ "total_loss": 0.5070434659157366,
+ "lyap1_mean": 0.045107804238796234,
+ "lyap1_max": 0.08111207187175751,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 35,
+ "sup_loss": 0.4171721788352788,
+ "rf_loss": 0.002669266425073147,
+ "total_loss": 0.4225107116854251,
+ "lyap1_mean": 0.022672291845083237,
+ "lyap1_max": 0.07492740452289581,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 36,
+ "sup_loss": 0.44433105097481207,
+ "rf_loss": 0.0016791685484349728,
+ "total_loss": 0.447689388071682,
+ "lyap1_mean": 0.020763561129570007,
+ "lyap1_max": 0.07399985194206238,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 37,
+ "sup_loss": 0.5888534539385737,
+ "rf_loss": 0.0011216101702302694,
+ "total_loss": 0.5910966742790342,
+ "lyap1_mean": 0.025652248412370682,
+ "lyap1_max": 0.05704978108406067,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 38,
+ "sup_loss": 0.43205826509053963,
+ "rf_loss": 0.0010592672042548656,
+ "total_loss": 0.43417679949904936,
+ "lyap1_mean": 0.011727411299943924,
+ "lyap1_max": 0.07008034735918045,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 39,
+ "sup_loss": 0.7107256394747135,
+ "rf_loss": 0.001748923328705132,
+ "total_loss": 0.7142234861321237,
+ "lyap1_mean": 0.014324164018034935,
+ "lyap1_max": 0.1018591821193695,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 40,
+ "sup_loss": 0.6556345117522588,
+ "rf_loss": 0.002064660657197237,
+ "total_loss": 0.6597638330666533,
+ "lyap1_mean": 0.03324289619922638,
+ "lyap1_max": 0.07194370031356812,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 41,
+ "sup_loss": 0.43837142029546267,
+ "rf_loss": 0.003992072306573391,
+ "total_loss": 0.44635556490860945,
+ "lyap1_mean": 0.0393441803753376,
+ "lyap1_max": 0.09370286017656326,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 42,
+ "sup_loss": 0.5563901924576085,
+ "rf_loss": 0.0006713930051773787,
+ "total_loss": 0.5577329784679632,
+ "lyap1_mean": 0.004644882399588823,
+ "lyap1_max": 0.0475320927798748,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 43,
+ "sup_loss": 0.5113882488092828,
+ "rf_loss": 0.001539662480354309,
+ "total_loss": 0.5144675737699914,
+ "lyap1_mean": 0.012180292047560215,
+ "lyap1_max": 0.06671970337629318,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 44,
+ "sup_loss": 0.665285062105485,
+ "rf_loss": 0.001325448276475072,
+ "total_loss": 0.6679359586584351,
+ "lyap1_mean": 0.027398407459259033,
+ "lyap1_max": 0.06306058913469315,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 45,
+ "sup_loss": 0.557326405823146,
+ "rf_loss": 0.0024830903857946396,
+ "total_loss": 0.5622925865947352,
+ "lyap1_mean": 0.029845919460058212,
+ "lyap1_max": 0.0978723019361496,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 46,
+ "sup_loss": 0.6007477227480976,
+ "rf_loss": 0.0037040547467768192,
+ "total_loss": 0.6081558322416513,
+ "lyap1_mean": 0.05067473649978638,
+ "lyap1_max": 0.09415775537490845,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 47,
+ "sup_loss": 0.5350823600449781,
+ "rf_loss": 0.0006294710328802466,
+ "total_loss": 0.5363413021107386,
+ "lyap1_mean": 0.0034622149541974068,
+ "lyap1_max": 0.0485069714486599,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 48,
+ "sup_loss": 0.6006372085750531,
+ "rf_loss": 0.004247347358614206,
+ "total_loss": 0.6091319032922815,
+ "lyap1_mean": 0.055768392980098724,
+ "lyap1_max": 0.0822141170501709,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 49,
+ "sup_loss": 0.5434857897416278,
+ "rf_loss": 0.0036109955981373787,
+ "total_loss": 0.5507077809379025,
+ "lyap1_mean": 0.052345409989356995,
+ "lyap1_max": 0.11212503910064697,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 50,
+ "sup_loss": 0.6728161754075099,
+ "rf_loss": 0.003372414503246546,
+ "total_loss": 0.679561004414003,
+ "lyap1_mean": 0.04897380620241165,
+ "lyap1_max": 0.09990984946489334,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 51,
+ "sup_loss": 0.6645419065214456,
+ "rf_loss": 0.002616248559206724,
+ "total_loss": 0.6697744036398591,
+ "lyap1_mean": 0.040353015065193176,
+ "lyap1_max": 0.06868293136358261,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 52,
+ "sup_loss": 0.33343610130439594,
+ "rf_loss": 0.0009515013662166893,
+ "total_loss": 0.3353391040368293,
+ "lyap1_mean": -0.0123830521479249,
+ "lyap1_max": 0.070926234126091,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 53,
+ "sup_loss": 0.5694782170837858,
+ "rf_loss": 0.0025665287394076586,
+ "total_loss": 0.5746112745626011,
+ "lyap1_mean": 0.032978471368551254,
+ "lyap1_max": 0.08566258102655411,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 54,
+ "sup_loss": 0.5334037305730941,
+ "rf_loss": 0.0028403045143932104,
+ "total_loss": 0.5390843396018805,
+ "lyap1_mean": 0.03351929783821106,
+ "lyap1_max": 0.08761072903871536,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 55,
+ "sup_loss": 0.5638523011617416,
+ "rf_loss": 0.0019483116921037436,
+ "total_loss": 0.567748924545949,
+ "lyap1_mean": 0.019980071112513542,
+ "lyap1_max": 0.0810072124004364,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 56,
+ "sup_loss": 0.5470297943593874,
+ "rf_loss": 0.002468443475663662,
+ "total_loss": 0.5519666813107147,
+ "lyap1_mean": 0.02902296371757984,
+ "lyap1_max": 0.07786818593740463,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 57,
+ "sup_loss": 0.5250627086867585,
+ "rf_loss": 0.0020315987057983875,
+ "total_loss": 0.5291259060983553,
+ "lyap1_mean": 0.021309874951839447,
+ "lyap1_max": 0.07822354137897491,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 58,
+ "sup_loss": 0.5833288259588855,
+ "rf_loss": 0.0031123277731239796,
+ "total_loss": 0.5895534815051334,
+ "lyap1_mean": 0.03892204910516739,
+ "lyap1_max": 0.08919841796159744,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 59,
+ "sup_loss": 0.5577541269121377,
+ "rf_loss": 0.002771685365587473,
+ "total_loss": 0.5632974976433126,
+ "lyap1_mean": 0.03208030387759209,
+ "lyap1_max": 0.07741136103868484,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 60,
+ "sup_loss": 0.49290239291875726,
+ "rf_loss": 0.001750660827383399,
+ "total_loss": 0.49640371457352406,
+ "lyap1_mean": 0.012855617329478264,
+ "lyap1_max": 0.08840340375900269,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 61,
+ "sup_loss": 0.5495186776198232,
+ "rf_loss": 0.0030065891332924366,
+ "total_loss": 0.5555318558864081,
+ "lyap1_mean": 0.03938320651650429,
+ "lyap1_max": 0.08276354521512985,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 62,
+ "sup_loss": 0.4432309742913345,
+ "rf_loss": 0.0012923108879476786,
+ "total_loss": 0.44581559606722987,
+ "lyap1_mean": 0.010127153247594833,
+ "lyap1_max": 0.061446283012628555,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 63,
+ "sup_loss": 0.5555884022072312,
+ "rf_loss": 0.0025951529387384653,
+ "total_loss": 0.5607787080847081,
+ "lyap1_mean": 0.03227928280830383,
+ "lyap1_max": 0.08205213397741318,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 64,
+ "sup_loss": 0.5456752639237161,
+ "rf_loss": 0.001435156911611557,
+ "total_loss": 0.5485455777469392,
+ "lyap1_mean": 0.02337631955742836,
+ "lyap1_max": 0.07643768191337585,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 65,
+ "sup_loss": 0.6066129445678073,
+ "rf_loss": 0.0025630281306803226,
+ "total_loss": 0.611739000829168,
+ "lyap1_mean": 0.03155408799648285,
+ "lyap1_max": 0.0963275358080864,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 66,
+ "sup_loss": 0.44270150923811635,
+ "rf_loss": 0.0036333545576781034,
+ "total_loss": 0.44996821835347256,
+ "lyap1_mean": 0.03231217712163925,
+ "lyap1_max": 0.11153771728277206,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 67,
+ "sup_loss": 0.5153950647744268,
+ "rf_loss": 0.0029646793846040964,
+ "total_loss": 0.521324423543635,
+ "lyap1_mean": 0.03697287291288376,
+ "lyap1_max": 0.08888847380876541,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 68,
+ "sup_loss": 0.5004338068887345,
+ "rf_loss": 0.0009072300745174289,
+ "total_loss": 0.5022482670377694,
+ "lyap1_mean": -0.0017813872545957565,
+ "lyap1_max": 0.056566864252090454,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 69,
+ "sup_loss": 0.6760019969140899,
+ "rf_loss": 0.0025116396136581898,
+ "total_loss": 0.6810252761414063,
+ "lyap1_mean": 0.03878726065158844,
+ "lyap1_max": 0.10133110731840134,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 70,
+ "sup_loss": 0.4941715140138492,
+ "rf_loss": 0.0005966988392174244,
+ "total_loss": 0.495364911692284,
+ "lyap1_mean": -3.397627733647823e-05,
+ "lyap1_max": 0.04900847747921944,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 71,
+ "sup_loss": 0.6290552932882253,
+ "rf_loss": 0.0023446844425052404,
+ "total_loss": 0.6337446621732358,
+ "lyap1_mean": 0.030977711081504822,
+ "lyap1_max": 0.081052765250206,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 72,
+ "sup_loss": 0.431141477491142,
+ "rf_loss": 0.0011857327772304416,
+ "total_loss": 0.4335129430456029,
+ "lyap1_mean": 0.008283921517431736,
+ "lyap1_max": 0.08480027318000793,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 73,
+ "sup_loss": 0.544060015870648,
+ "rf_loss": 0.0020064702257514,
+ "total_loss": 0.5480729563221508,
+ "lyap1_mean": 0.02388649433851242,
+ "lyap1_max": 0.07691247016191483,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 74,
+ "sup_loss": 0.5901563630774077,
+ "rf_loss": 0.0023418355267494917,
+ "total_loss": 0.5948400341309067,
+ "lyap1_mean": 0.0411786288022995,
+ "lyap1_max": 0.09132155030965805,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 75,
+ "sup_loss": 0.516294677371835,
+ "rf_loss": 0.0032523823902010918,
+ "total_loss": 0.5227994421522372,
+ "lyap1_mean": 0.0367179736495018,
+ "lyap1_max": 0.0894378051161766,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 76,
+ "sup_loss": 0.5421904643181978,
+ "rf_loss": 0.0030114445835351944,
+ "total_loss": 0.5482133534852682,
+ "lyap1_mean": 0.024383997544646263,
+ "lyap1_max": 0.10065577179193497,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 77,
+ "sup_loss": 0.5367683203327328,
+ "rf_loss": 0.0034090650733560324,
+ "total_loss": 0.5435864504794449,
+ "lyap1_mean": 0.05086278170347214,
+ "lyap1_max": 0.09749520570039749,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 78,
+ "sup_loss": 0.616234588025695,
+ "rf_loss": 0.0033044852316379547,
+ "total_loss": 0.6228435584889709,
+ "lyap1_mean": 0.05093815177679062,
+ "lyap1_max": 0.08364997804164886,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 79,
+ "sup_loss": 0.4190674092766345,
+ "rf_loss": 0.0014041340909898281,
+ "total_loss": 0.42187567745861415,
+ "lyap1_mean": 0.017919320613145828,
+ "lyap1_max": 0.06672646105289459,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 80,
+ "sup_loss": 0.48641324887796594,
+ "rf_loss": 0.0022385490592569113,
+ "total_loss": 0.49089034699647977,
+ "lyap1_mean": 0.018867069855332375,
+ "lyap1_max": 0.08324059098958969,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 81,
+ "sup_loss": 0.530333274695596,
+ "rf_loss": 0.002378322184085846,
+ "total_loss": 0.5350899190637677,
+ "lyap1_mean": 0.03314380347728729,
+ "lyap1_max": 0.08921107649803162,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 82,
+ "sup_loss": 0.413333451481566,
+ "rf_loss": 0.002804031129926443,
+ "total_loss": 0.4189415137414189,
+ "lyap1_mean": 0.015426816418766975,
+ "lyap1_max": 0.12717150151729584,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 83,
+ "sup_loss": 0.46489496194107766,
+ "rf_loss": 0.001285491744056344,
+ "total_loss": 0.46746594542919034,
+ "lyap1_mean": 0.013798156753182411,
+ "lyap1_max": 0.06080089509487152,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 84,
+ "sup_loss": 0.4440111449253431,
+ "rf_loss": 0.0029774196445941925,
+ "total_loss": 0.4499659842145315,
+ "lyap1_mean": 0.02757851593196392,
+ "lyap1_max": 0.0991915911436081,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 85,
+ "sup_loss": 0.5658066442690455,
+ "rf_loss": 0.0017134032677859068,
+ "total_loss": 0.5692334508046173,
+ "lyap1_mean": 0.017342474311590195,
+ "lyap1_max": 0.0724891945719719,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 86,
+ "sup_loss": 0.6965272528695627,
+ "rf_loss": 0.002937828190624714,
+ "total_loss": 0.7024029092508122,
+ "lyap1_mean": 0.04402792453765869,
+ "lyap1_max": 0.07658658176660538,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 87,
+ "sup_loss": 0.6341597784939104,
+ "rf_loss": 0.003494391916319728,
+ "total_loss": 0.6411485623265498,
+ "lyap1_mean": 0.05482741445302963,
+ "lyap1_max": 0.08663975447416306,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 88,
+ "sup_loss": 0.686801419153878,
+ "rf_loss": 0.0035024737007915974,
+ "total_loss": 0.6938063665554612,
+ "lyap1_mean": 0.050015904009342194,
+ "lyap1_max": 0.09357888251543045,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 89,
+ "sup_loss": 0.7402907136388567,
+ "rf_loss": 0.0015003951266407967,
+ "total_loss": 0.7432915038921383,
+ "lyap1_mean": 0.031040970236063004,
+ "lyap1_max": 0.059229765087366104,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 90,
+ "sup_loss": 0.4483382205253144,
+ "rf_loss": 0.0028642755933105946,
+ "total_loss": 0.4540667717119356,
+ "lyap1_mean": 0.031075041741132736,
+ "lyap1_max": 0.11017634719610214,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 91,
+ "sup_loss": 0.6151617161902381,
+ "rf_loss": 0.003527292050421238,
+ "total_loss": 0.6222163002910805,
+ "lyap1_mean": 0.051020462065935135,
+ "lyap1_max": 0.09029228985309601,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 92,
+ "sup_loss": 0.6640689419607894,
+ "rf_loss": 0.002207854762673378,
+ "total_loss": 0.6684846514861361,
+ "lyap1_mean": 0.035731296986341476,
+ "lyap1_max": 0.06695930659770966,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 93,
+ "sup_loss": 0.46021046940138616,
+ "rf_loss": 0.001070764265023172,
+ "total_loss": 0.4623519979314325,
+ "lyap1_mean": 0.004130983725190163,
+ "lyap1_max": 0.06968680769205093,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 94,
+ "sup_loss": 0.6133381881592559,
+ "rf_loss": 0.00267808698117733,
+ "total_loss": 0.6186943621216106,
+ "lyap1_mean": 0.03511631488800049,
+ "lyap1_max": 0.09148602932691574,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 95,
+ "sup_loss": 0.5559059322171659,
+ "rf_loss": 0.0005404707044363022,
+ "total_loss": 0.5569868736260385,
+ "lyap1_mean": 0.010117702186107635,
+ "lyap1_max": 0.037174127995967865,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 96,
+ "sup_loss": 0.6359180301255885,
+ "rf_loss": 0.0019774124957621098,
+ "total_loss": 0.6398728551171127,
+ "lyap1_mean": 0.024143913760781288,
+ "lyap1_max": 0.07519076019525528,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 97,
+ "sup_loss": 0.5510643906758875,
+ "rf_loss": 0.0008118327241390944,
+ "total_loss": 0.5526880561241657,
+ "lyap1_mean": 0.00407422473654151,
+ "lyap1_max": 0.05579547584056854,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 98,
+ "sup_loss": 0.6469373637646382,
+ "rf_loss": 0.0022664291318506002,
+ "total_loss": 0.6514702220283394,
+ "lyap1_mean": 0.040007084608078,
+ "lyap1_max": 0.08081954717636108,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 99,
+ "sup_loss": 0.4799714796525264,
+ "rf_loss": 0.0011531763011589646,
+ "total_loss": 0.48227783225484433,
+ "lyap1_mean": 0.012029057368636131,
+ "lyap1_max": 0.07185216248035431,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 100,
+ "sup_loss": 0.5247182009251267,
+ "rf_loss": 0.0014200899749994278,
+ "total_loss": 0.5275583808751255,
+ "lyap1_mean": 0.015550630167126656,
+ "lyap1_max": 0.06472281366586685,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 101,
+ "sup_loss": 0.426251857674586,
+ "rf_loss": 0.0016568698920309544,
+ "total_loss": 0.4295655974586479,
+ "lyap1_mean": 0.012051127851009369,
+ "lyap1_max": 0.072860486805439,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 102,
+ "sup_loss": 0.6192339442174797,
+ "rf_loss": 0.0019326659385114908,
+ "total_loss": 0.6230992760945027,
+ "lyap1_mean": 0.01843465119600296,
+ "lyap1_max": 0.09273044019937515,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 103,
+ "sup_loss": 0.6243754679060651,
+ "rf_loss": 0.003429166739806533,
+ "total_loss": 0.6312338013856782,
+ "lyap1_mean": 0.03743208944797516,
+ "lyap1_max": 0.10277450829744339,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 104,
+ "sup_loss": 0.6415713651719196,
+ "rf_loss": 0.0030683507211506367,
+ "total_loss": 0.6477080666142209,
+ "lyap1_mean": 0.05082682892680168,
+ "lyap1_max": 0.08504704385995865,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 105,
+ "sup_loss": 0.6022789857891885,
+ "rf_loss": 0.001862353296019137,
+ "total_loss": 0.6060036923812268,
+ "lyap1_mean": 0.026900365948677063,
+ "lyap1_max": 0.0789126306772232,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 106,
+ "sup_loss": 0.5989100783106659,
+ "rf_loss": 0.0023837583139538765,
+ "total_loss": 0.6036775949385736,
+ "lyap1_mean": 0.03776612877845764,
+ "lyap1_max": 0.08602192252874374,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 107,
+ "sup_loss": 0.5266920309119374,
+ "rf_loss": 0.0037744995206594467,
+ "total_loss": 0.5342410299532563,
+ "lyap1_mean": 0.0413072444498539,
+ "lyap1_max": 0.124237060546875,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 108,
+ "sup_loss": 0.41799102994386933,
+ "rf_loss": 0.0012125310022383928,
+ "total_loss": 0.4204160919483461,
+ "lyap1_mean": 0.006607342511415482,
+ "lyap1_max": 0.06136263534426689,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 109,
+ "sup_loss": 0.582944306422965,
+ "rf_loss": 0.0021377522498369217,
+ "total_loss": 0.5872198109226389,
+ "lyap1_mean": 0.031210899353027344,
+ "lyap1_max": 0.07071858644485474,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 110,
+ "sup_loss": 0.4807423939823497,
+ "rf_loss": 0.0025633126497268677,
+ "total_loss": 0.4858690192818034,
+ "lyap1_mean": 0.03154110908508301,
+ "lyap1_max": 0.09578027576208115,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 111,
+ "sup_loss": 0.5677675616078025,
+ "rf_loss": 0.0030212923884391785,
+ "total_loss": 0.5738101463846809,
+ "lyap1_mean": 0.04498099908232689,
+ "lyap1_max": 0.09726012498140335,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 112,
+ "sup_loss": 0.5117766911624191,
+ "rf_loss": 0.0018131491960957646,
+ "total_loss": 0.5154029895546106,
+ "lyap1_mean": 0.02720385044813156,
+ "lyap1_max": 0.074513740837574,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 113,
+ "sup_loss": 0.8425864094733924,
+ "rf_loss": 0.001993910176679492,
+ "total_loss": 0.8465742298267513,
+ "lyap1_mean": 0.02668585628271103,
+ "lyap1_max": 0.07438675314188004,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 114,
+ "sup_loss": 0.4896395865656718,
+ "rf_loss": 0.0015801694244146347,
+ "total_loss": 0.49279992541450107,
+ "lyap1_mean": 0.017038248479366302,
+ "lyap1_max": 0.08106757700443268,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 115,
+ "sup_loss": 0.5059145253638527,
+ "rf_loss": 0.0020448691211640835,
+ "total_loss": 0.5100042636061809,
+ "lyap1_mean": 0.02803175523877144,
+ "lyap1_max": 0.06628334522247314,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 116,
+ "sup_loss": 0.571062579413059,
+ "rf_loss": 0.0031442667823284864,
+ "total_loss": 0.577351112977716,
+ "lyap1_mean": 0.047506581991910934,
+ "lyap1_max": 0.07937929034233093,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 117,
+ "sup_loss": 0.6327637538294953,
+ "rf_loss": 0.00403354037553072,
+ "total_loss": 0.6408308345805568,
+ "lyap1_mean": 0.04751299321651459,
+ "lyap1_max": 0.12275513261556625,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 118,
+ "sup_loss": 0.46703857513758984,
+ "rf_loss": 0.00213140738196671,
+ "total_loss": 0.47130138990152326,
+ "lyap1_mean": 0.019103042781352997,
+ "lyap1_max": 0.08328427374362946,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 119,
+ "sup_loss": 0.4491542641876328,
+ "rf_loss": 0.0014000937808305025,
+ "total_loss": 0.45195445174929383,
+ "lyap1_mean": 0.00528914388269186,
+ "lyap1_max": 0.07760176807641983,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 120,
+ "sup_loss": 0.6134683233045994,
+ "rf_loss": 0.004411616362631321,
+ "total_loss": 0.6222915560298621,
+ "lyap1_mean": 0.061045896261930466,
+ "lyap1_max": 0.09600536525249481,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 121,
+ "sup_loss": 0.6321335163337343,
+ "rf_loss": 0.004199176095426083,
+ "total_loss": 0.6405318685245864,
+ "lyap1_mean": 0.0521351620554924,
+ "lyap1_max": 0.08934872597455978,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 122,
+ "sup_loss": 0.603367882975715,
+ "rf_loss": 0.0033885142765939236,
+ "total_loss": 0.6101449115289028,
+ "lyap1_mean": 0.0483742281794548,
+ "lyap1_max": 0.09127535670995712,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 123,
+ "sup_loss": 0.705631645868432,
+ "rf_loss": 0.0026138811372220516,
+ "total_loss": 0.7108594081428761,
+ "lyap1_mean": 0.03335198760032654,
+ "lyap1_max": 0.09062132984399796,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 124,
+ "sup_loss": 0.7421925142915903,
+ "rf_loss": 0.003942001610994339,
+ "total_loss": 0.750076517513579,
+ "lyap1_mean": 0.055967479944229126,
+ "lyap1_max": 0.09757045656442642,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 125,
+ "sup_loss": 0.49700949231693153,
+ "rf_loss": 0.0020322189666330814,
+ "total_loss": 0.5010739302501976,
+ "lyap1_mean": 0.03592962026596069,
+ "lyap1_max": 0.06770087778568268,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 126,
+ "sup_loss": 0.5402396558932664,
+ "rf_loss": 0.002277946565300226,
+ "total_loss": 0.5447955490238668,
+ "lyap1_mean": 0.025570344179868698,
+ "lyap1_max": 0.07643652707338333,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 127,
+ "sup_loss": 0.4648886586746979,
+ "rf_loss": 0.0010582787217572331,
+ "total_loss": 0.4670052161182124,
+ "lyap1_mean": 0.0006294713821262121,
+ "lyap1_max": 0.05929435417056084,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 128,
+ "sup_loss": 0.41015600211087894,
+ "rf_loss": 0.002185711869969964,
+ "total_loss": 0.41452742585081886,
+ "lyap1_mean": 0.0174187570810318,
+ "lyap1_max": 0.07464519888162613,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 129,
+ "sup_loss": 0.45493410178958293,
+ "rf_loss": 0.004246474243700504,
+ "total_loss": 0.46342705027698394,
+ "lyap1_mean": 0.05079134926199913,
+ "lyap1_max": 0.10802794992923737,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 130,
+ "sup_loss": 0.5057478524703747,
+ "rf_loss": 0.0037498646415770054,
+ "total_loss": 0.5132475817535287,
+ "lyap1_mean": 0.034420277923345566,
+ "lyap1_max": 0.0838523656129837,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 131,
+ "sup_loss": 0.5258487456201952,
+ "rf_loss": 0.004618227947503328,
+ "total_loss": 0.5350852015152019,
+ "lyap1_mean": 0.05440273880958557,
+ "lyap1_max": 0.12948420643806458,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 132,
+ "sup_loss": 0.616125165536365,
+ "rf_loss": 0.00404150877147913,
+ "total_loss": 0.6242081830793232,
+ "lyap1_mean": 0.047664839774370193,
+ "lyap1_max": 0.10902369767427444,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 133,
+ "sup_loss": 0.9530467164578379,
+ "rf_loss": 0.0028741960413753986,
+ "total_loss": 0.9587951085405887,
+ "lyap1_mean": 0.03826416656374931,
+ "lyap1_max": 0.08412988483905792,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 134,
+ "sup_loss": 0.5652136548516326,
+ "rf_loss": 0.00618822081014514,
+ "total_loss": 0.5775900964719228,
+ "lyap1_mean": 0.07444916665554047,
+ "lyap1_max": 0.11573998630046844,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 135,
+ "sup_loss": 0.6003187575604301,
+ "rf_loss": 0.0017193726962432265,
+ "total_loss": 0.6037575029529165,
+ "lyap1_mean": 0.025712527334690094,
+ "lyap1_max": 0.07716581970453262,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 136,
+ "sup_loss": 0.5767810776287264,
+ "rf_loss": 0.0047148349694907665,
+ "total_loss": 0.586210747567708,
+ "lyap1_mean": 0.049663297832012177,
+ "lyap1_max": 0.12733781337738037,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 137,
+ "sup_loss": 0.6240978485038247,
+ "rf_loss": 0.002214122796431184,
+ "total_loss": 0.628526094096687,
+ "lyap1_mean": 0.028447169810533524,
+ "lyap1_max": 0.07206950336694717,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 138,
+ "sup_loss": 0.454079779369743,
+ "rf_loss": 0.0022690186742693186,
+ "total_loss": 0.4586178167182816,
+ "lyap1_mean": 0.028895597904920578,
+ "lyap1_max": 0.0815393403172493,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 139,
+ "sup_loss": 0.484121159637523,
+ "rf_loss": 0.002504792995750904,
+ "total_loss": 0.4891307456290248,
+ "lyap1_mean": 0.02247539535164833,
+ "lyap1_max": 0.10377729684114456,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 140,
+ "sup_loss": 0.6828920335695815,
+ "rf_loss": 0.0025548511184751987,
+ "total_loss": 0.6880017358065319,
+ "lyap1_mean": 0.04163537919521332,
+ "lyap1_max": 0.07791871577501297,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 141,
+ "sup_loss": 0.686265366066757,
+ "rf_loss": 0.0030068233609199524,
+ "total_loss": 0.6922790127885969,
+ "lyap1_mean": 0.04011594504117966,
+ "lyap1_max": 0.09046503901481628,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 142,
+ "sup_loss": 0.3564258408376691,
+ "rf_loss": 0.0025938893668353558,
+ "total_loss": 0.3616136195713398,
+ "lyap1_mean": 0.018552973866462708,
+ "lyap1_max": 0.08801934123039246,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 143,
+ "sup_loss": 0.5777158141581438,
+ "rf_loss": 0.0033494937233626842,
+ "total_loss": 0.5844148016048691,
+ "lyap1_mean": 0.03701559454202652,
+ "lyap1_max": 0.09928934276103973,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 144,
+ "sup_loss": 0.7126808206045018,
+ "rf_loss": 0.0032061943784356117,
+ "total_loss": 0.719093209361373,
+ "lyap1_mean": 0.05193227902054787,
+ "lyap1_max": 0.08015406876802444,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 145,
+ "sup_loss": 0.5969511233652574,
+ "rf_loss": 0.003627181053161621,
+ "total_loss": 0.6042054854715806,
+ "lyap1_mean": 0.04903711378574371,
+ "lyap1_max": 0.09325104206800461,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 146,
+ "sup_loss": 0.4640542315181011,
+ "rf_loss": 0.0029773449059575796,
+ "total_loss": 0.47000892133001626,
+ "lyap1_mean": 0.023770660161972046,
+ "lyap1_max": 0.11496601998806,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 147,
+ "sup_loss": 0.540082349896567,
+ "rf_loss": 0.003603807184845209,
+ "total_loss": 0.5472899642662574,
+ "lyap1_mean": 0.035247109830379486,
+ "lyap1_max": 0.10561791062355042,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 148,
+ "sup_loss": 0.4596549711272666,
+ "rf_loss": 0.003838903270661831,
+ "total_loss": 0.46733277766859027,
+ "lyap1_mean": 0.027568433433771133,
+ "lyap1_max": 0.108485646545887,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 149,
+ "sup_loss": 0.47407895367846353,
+ "rf_loss": 0.0019038042519241571,
+ "total_loss": 0.47788656218231185,
+ "lyap1_mean": 0.02092898264527321,
+ "lyap1_max": 0.07889345288276672,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 150,
+ "sup_loss": 0.4670476469508823,
+ "rf_loss": 0.0011217303108423948,
+ "total_loss": 0.4692911075725671,
+ "lyap1_mean": 0.006112257018685341,
+ "lyap1_max": 0.06971411406993866,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 151,
+ "sup_loss": 0.49896838580693076,
+ "rf_loss": 0.0017485566204413772,
+ "total_loss": 0.5024654990478135,
+ "lyap1_mean": 0.020342132076621056,
+ "lyap1_max": 0.07059525698423386,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 152,
+ "sup_loss": 0.5788107602548458,
+ "rf_loss": 0.0012478919234126806,
+ "total_loss": 0.5813065441016712,
+ "lyap1_mean": 0.01863330602645874,
+ "lyap1_max": 0.06611362099647522,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 153,
+ "sup_loss": 0.4853415825564435,
+ "rf_loss": 0.002248829696327448,
+ "total_loss": 0.4898392419490984,
+ "lyap1_mean": 0.022655155509710312,
+ "lyap1_max": 0.08792951703071594,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 154,
+ "sup_loss": 0.669105486965462,
+ "rf_loss": 0.003719433443620801,
+ "total_loss": 0.6765443538527036,
+ "lyap1_mean": 0.057067982852458954,
+ "lyap1_max": 0.08642031997442245,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 155,
+ "sup_loss": 0.5579411753081716,
+ "rf_loss": 0.004528914578258991,
+ "total_loss": 0.5669990044646895,
+ "lyap1_mean": 0.05710311233997345,
+ "lyap1_max": 0.1004478707909584,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 156,
+ "sup_loss": 0.6410747036815313,
+ "rf_loss": 0.004626311361789703,
+ "total_loss": 0.6503273264051107,
+ "lyap1_mean": 0.05512295663356781,
+ "lyap1_max": 0.09510008990764618,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 157,
+ "sup_loss": 0.5991160406875745,
+ "rf_loss": 0.0013313991948962212,
+ "total_loss": 0.601778839077367,
+ "lyap1_mean": 0.02166498824954033,
+ "lyap1_max": 0.059571437537670135,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 158,
+ "sup_loss": 0.643768268311422,
+ "rf_loss": 0.0030785012058913708,
+ "total_loss": 0.6499252707232047,
+ "lyap1_mean": 0.04768437147140503,
+ "lyap1_max": 0.09849750250577927,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 159,
+ "sup_loss": 0.6114857973796856,
+ "rf_loss": 0.00533852307125926,
+ "total_loss": 0.6221628435222041,
+ "lyap1_mean": 0.06275783479213715,
+ "lyap1_max": 0.12700237333774567,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 160,
+ "sup_loss": 0.5980273799973962,
+ "rf_loss": 0.00353155261836946,
+ "total_loss": 0.6050904852341351,
+ "lyap1_mean": 0.0435115285217762,
+ "lyap1_max": 0.10560319572687149,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 161,
+ "sup_loss": 0.3528078230103052,
+ "rf_loss": 0.0022343075834214687,
+ "total_loss": 0.35727643817714816,
+ "lyap1_mean": 0.011346150189638138,
+ "lyap1_max": 0.08817572146654129,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 162,
+ "sup_loss": 0.46639418624711226,
+ "rf_loss": 0.0021867542527616024,
+ "total_loss": 0.47076769475263547,
+ "lyap1_mean": 0.03517672047019005,
+ "lyap1_max": 0.0947301983833313,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 163,
+ "sup_loss": 0.5636352551347968,
+ "rf_loss": 0.0027823294512927532,
+ "total_loss": 0.5691999140373823,
+ "lyap1_mean": 0.049000196158885956,
+ "lyap1_max": 0.08124784380197525,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 164,
+ "sup_loss": 0.4717683353796338,
+ "rf_loss": 0.0020268773660063744,
+ "total_loss": 0.47582209011164656,
+ "lyap1_mean": 0.019226044416427612,
+ "lyap1_max": 0.07477167993783951,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 165,
+ "sup_loss": 0.544521870308026,
+ "rf_loss": 0.004206078127026558,
+ "total_loss": 0.5529340265620791,
+ "lyap1_mean": 0.051374323666095734,
+ "lyap1_max": 0.10968585312366486,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 166,
+ "sup_loss": 0.5730929560599293,
+ "rf_loss": 0.0044755530543625355,
+ "total_loss": 0.5820440621686543,
+ "lyap1_mean": 0.055022016167640686,
+ "lyap1_max": 0.09909616410732269,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 167,
+ "sup_loss": 0.5651463516954335,
+ "rf_loss": 0.0017363694496452808,
+ "total_loss": 0.568619090594724,
+ "lyap1_mean": 0.02176397666335106,
+ "lyap1_max": 0.06842529773712158,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 168,
+ "sup_loss": 0.5597516028588084,
+ "rf_loss": 0.0021916385740041733,
+ "total_loss": 0.5641348800068168,
+ "lyap1_mean": 0.022722166031599045,
+ "lyap1_max": 0.08067750185728073,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 169,
+ "sup_loss": 0.5975742239934184,
+ "rf_loss": 0.002417866373434663,
+ "total_loss": 0.6024099567402877,
+ "lyap1_mean": 0.03315875306725502,
+ "lyap1_max": 0.08133603632450104,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 170,
+ "sup_loss": 0.5427923787370469,
+ "rf_loss": 0.00319187855347991,
+ "total_loss": 0.5491761358440067,
+ "lyap1_mean": 0.03271183744072914,
+ "lyap1_max": 0.12281841784715652,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 171,
+ "sup_loss": 0.5178499332563486,
+ "rf_loss": 0.0007483582012355328,
+ "total_loss": 0.5193466496588197,
+ "lyap1_mean": 0.001086958684027195,
+ "lyap1_max": 0.05790568143129349,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 172,
+ "sup_loss": 0.49125982681727665,
+ "rf_loss": 0.00135591602884233,
+ "total_loss": 0.4939716588749613,
+ "lyap1_mean": 0.017923491075634956,
+ "lyap1_max": 0.0639396533370018,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 173,
+ "sup_loss": 0.5839984176191754,
+ "rf_loss": 0.004018065519630909,
+ "total_loss": 0.5920345486584372,
+ "lyap1_mean": 0.04919881373643875,
+ "lyap1_max": 0.08838249742984772,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 174,
+ "sup_loss": 0.6591329522933336,
+ "rf_loss": 0.0027896789833903313,
+ "total_loss": 0.6647123102601142,
+ "lyap1_mean": 0.042470816522836685,
+ "lyap1_max": 0.08313201367855072,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 175,
+ "sup_loss": 0.5032465734694953,
+ "rf_loss": 0.0017820022767409682,
+ "total_loss": 0.5068105780229772,
+ "lyap1_mean": 0.009770499542355537,
+ "lyap1_max": 0.08964855223894119,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 176,
+ "sup_loss": 0.5463888497271394,
+ "rf_loss": 0.0036977154668420553,
+ "total_loss": 0.5537842806608235,
+ "lyap1_mean": 0.04204157739877701,
+ "lyap1_max": 0.09152188152074814,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 177,
+ "sup_loss": 0.5379771261071671,
+ "rf_loss": 0.0024455685634166002,
+ "total_loss": 0.5428682632340003,
+ "lyap1_mean": 0.026627298444509506,
+ "lyap1_max": 0.08806946128606796,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 178,
+ "sup_loss": 0.5243962560339677,
+ "rf_loss": 0.000378096621716395,
+ "total_loss": 0.5251524492774005,
+ "lyap1_mean": -0.006628324743360281,
+ "lyap1_max": 0.04275001212954521,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 179,
+ "sup_loss": 0.5134761836597838,
+ "rf_loss": 0.001423865556716919,
+ "total_loss": 0.5163239147732176,
+ "lyap1_mean": 0.028349021449685097,
+ "lyap1_max": 0.06094437837600708,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 180,
+ "sup_loss": 0.5042075387318965,
+ "rf_loss": 0.00125218799803406,
+ "total_loss": 0.5067119147279646,
+ "lyap1_mean": 0.0224457960575819,
+ "lyap1_max": 0.0543932169675827,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 181,
+ "sup_loss": 0.4480626521585025,
+ "rf_loss": 0.0022596195340156555,
+ "total_loss": 0.4525818912265338,
+ "lyap1_mean": 0.019072454422712326,
+ "lyap1_max": 0.0762103945016861,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 182,
+ "sup_loss": 0.6084021032270477,
+ "rf_loss": 0.0027114509139209986,
+ "total_loss": 0.6138250050548897,
+ "lyap1_mean": 0.03395771235227585,
+ "lyap1_max": 0.1163625419139862,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 183,
+ "sup_loss": 0.7033042152137083,
+ "rf_loss": 0.0023326429072767496,
+ "total_loss": 0.7079695010282618,
+ "lyap1_mean": 0.04191422089934349,
+ "lyap1_max": 0.07945560663938522,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 184,
+ "sup_loss": 0.5262147261663465,
+ "rf_loss": 0.0043996055610477924,
+ "total_loss": 0.535013937288442,
+ "lyap1_mean": 0.04850028082728386,
+ "lyap1_max": 0.11262089014053345,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 185,
+ "sup_loss": 0.5798706439096376,
+ "rf_loss": 0.002188001060858369,
+ "total_loss": 0.5842466460313543,
+ "lyap1_mean": 0.013942720368504524,
+ "lyap1_max": 0.09050624072551727,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 186,
+ "sup_loss": 0.4122599127139813,
+ "rf_loss": 0.001431892509572208,
+ "total_loss": 0.41512369773312574,
+ "lyap1_mean": 0.002893473021686077,
+ "lyap1_max": 0.06391863524913788,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 187,
+ "sup_loss": 0.4909638780989515,
+ "rf_loss": 0.0036366968415677547,
+ "total_loss": 0.498237271782087,
+ "lyap1_mean": 0.041350483894348145,
+ "lyap1_max": 0.10764828324317932,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 188,
+ "sup_loss": 0.5881274360428923,
+ "rf_loss": 0.0023150162305682898,
+ "total_loss": 0.5927574685040289,
+ "lyap1_mean": 0.02768545225262642,
+ "lyap1_max": 0.07166528701782227,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 189,
+ "sup_loss": 0.6351679887395638,
+ "rf_loss": 0.00454720389097929,
+ "total_loss": 0.6442623965215224,
+ "lyap1_mean": 0.05841163918375969,
+ "lyap1_max": 0.10620588809251785,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 190,
+ "sup_loss": 0.38023499439505926,
+ "rf_loss": 0.0018045054748654366,
+ "total_loss": 0.38384400534479013,
+ "lyap1_mean": 0.024089781567454338,
+ "lyap1_max": 0.07268049567937851,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 191,
+ "sup_loss": 0.551191702149153,
+ "rf_loss": 0.0007524722022935748,
+ "total_loss": 0.5526966465537402,
+ "lyap1_mean": 0.0053823865018785,
+ "lyap1_max": 0.0657884031534195,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 192,
+ "sup_loss": 0.5817474954497763,
+ "rf_loss": 0.003480565268546343,
+ "total_loss": 0.588708625986869,
+ "lyap1_mean": 0.05607175454497337,
+ "lyap1_max": 0.08679863065481186,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 193,
+ "sup_loss": 0.30618400759160286,
+ "rf_loss": 0.0008462149417027831,
+ "total_loss": 0.3078764374750084,
+ "lyap1_mean": -0.00686985906213522,
+ "lyap1_max": 0.06355845183134079,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 194,
+ "sup_loss": 0.6442225235130437,
+ "rf_loss": 0.002165713580325246,
+ "total_loss": 0.6485539506736941,
+ "lyap1_mean": 0.03510749340057373,
+ "lyap1_max": 0.0870823934674263,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 195,
+ "sup_loss": 0.48721017264964567,
+ "rf_loss": 0.002944017294794321,
+ "total_loss": 0.4930982072392343,
+ "lyap1_mean": 0.031604230403900146,
+ "lyap1_max": 0.09974732249975204,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 196,
+ "sup_loss": 0.7363898945717111,
+ "rf_loss": 0.0029942630790174007,
+ "total_loss": 0.7423784207297459,
+ "lyap1_mean": 0.05110422521829605,
+ "lyap1_max": 0.08077998459339142,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 197,
+ "sup_loss": 0.5027427641985566,
+ "rf_loss": 0.0033064507879316807,
+ "total_loss": 0.5093556657744199,
+ "lyap1_mean": 0.029272645711898804,
+ "lyap1_max": 0.09889513999223709,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 198,
+ "sup_loss": 0.6605964723072398,
+ "rf_loss": 0.005053125321865082,
+ "total_loss": 0.67070272295097,
+ "lyap1_mean": 0.0629187673330307,
+ "lyap1_max": 0.0966472402215004,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 199,
+ "sup_loss": 0.6007018834556892,
+ "rf_loss": 0.0045716124586761,
+ "total_loss": 0.6098451083730414,
+ "lyap1_mean": 0.04905059561133385,
+ "lyap1_max": 0.11664608865976334,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 200,
+ "sup_loss": 0.611405939378692,
+ "rf_loss": 0.003405839204788208,
+ "total_loss": 0.6182176177882684,
+ "lyap1_mean": 0.051162347197532654,
+ "lyap1_max": 0.08571337908506393,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 201,
+ "sup_loss": 0.6541279487298424,
+ "rf_loss": 0.0039443280547857285,
+ "total_loss": 0.6620166048394138,
+ "lyap1_mean": 0.05184540897607803,
+ "lyap1_max": 0.11016849428415298,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 202,
+ "sup_loss": 0.5855510952260518,
+ "rf_loss": 0.0024558412842452526,
+ "total_loss": 0.5904627777945423,
+ "lyap1_mean": 0.030396901071071625,
+ "lyap1_max": 0.08529018610715866,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 203,
+ "sup_loss": 0.6594767441792857,
+ "rf_loss": 0.004403918981552124,
+ "total_loss": 0.66828458214239,
+ "lyap1_mean": 0.06290004402399063,
+ "lyap1_max": 0.0878886803984642,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 204,
+ "sup_loss": 0.7094253169598133,
+ "rf_loss": 0.002131582470610738,
+ "total_loss": 0.7136884819010347,
+ "lyap1_mean": 0.03600744903087616,
+ "lyap1_max": 0.07330548763275146,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 205,
+ "sup_loss": 0.6331030190937498,
+ "rf_loss": 0.0033600935712456703,
+ "total_loss": 0.6398232062362411,
+ "lyap1_mean": 0.047956276684999466,
+ "lyap1_max": 0.08340927958488464,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 206,
+ "sup_loss": 0.5685820575687259,
+ "rf_loss": 0.002005839254707098,
+ "total_loss": 0.5725937360781401,
+ "lyap1_mean": 0.028723668307065964,
+ "lyap1_max": 0.07768437266349792,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 207,
+ "sup_loss": 0.6277937192403893,
+ "rf_loss": 0.0024887854233384132,
+ "total_loss": 0.6327712900870661,
+ "lyap1_mean": 0.03743245452642441,
+ "lyap1_max": 0.09635977447032928,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 208,
+ "sup_loss": 0.5751258358856873,
+ "rf_loss": 0.0027218186296522617,
+ "total_loss": 0.5805694731449919,
+ "lyap1_mean": 0.03005276247859001,
+ "lyap1_max": 0.10275766998529434,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 209,
+ "sup_loss": 0.5993739225977992,
+ "rf_loss": 0.0036650430411100388,
+ "total_loss": 0.6067040086800193,
+ "lyap1_mean": 0.05169663205742836,
+ "lyap1_max": 0.08498629927635193,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 210,
+ "sup_loss": 0.7098005639958774,
+ "rf_loss": 0.005722987465560436,
+ "total_loss": 0.7212465389269983,
+ "lyap1_mean": 0.062072355300188065,
+ "lyap1_max": 0.11934247612953186,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 211,
+ "sup_loss": 0.5903777175739978,
+ "rf_loss": 0.0025795884430408478,
+ "total_loss": 0.5955368944600795,
+ "lyap1_mean": 0.02477279305458069,
+ "lyap1_max": 0.08379668742418289,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 212,
+ "sup_loss": 0.6770245138551046,
+ "rf_loss": 0.003501325147226453,
+ "total_loss": 0.6840271641495576,
+ "lyap1_mean": 0.04715579003095627,
+ "lyap1_max": 0.0961759015917778,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 213,
+ "sup_loss": 0.5052251950205576,
+ "rf_loss": 0.002038116566836834,
+ "total_loss": 0.5093014281542313,
+ "lyap1_mean": 0.030576067045331,
+ "lyap1_max": 0.09462282061576843,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 214,
+ "sup_loss": 0.6873430469811999,
+ "rf_loss": 0.00306948134675622,
+ "total_loss": 0.6934820096747123,
+ "lyap1_mean": 0.0478324219584465,
+ "lyap1_max": 0.08576635271310806,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 215,
+ "sup_loss": 0.5108170456928325,
+ "rf_loss": 0.0025280844420194626,
+ "total_loss": 0.5158732145768714,
+ "lyap1_mean": 0.027911754325032234,
+ "lyap1_max": 0.09635103493928909,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 216,
+ "sup_loss": 0.6249309802016362,
+ "rf_loss": 0.0031416164711117744,
+ "total_loss": 0.6312142131438597,
+ "lyap1_mean": 0.051984429359436035,
+ "lyap1_max": 0.08932074159383774,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 217,
+ "sup_loss": 0.5247709432662526,
+ "rf_loss": 0.002063223160803318,
+ "total_loss": 0.5288973895878593,
+ "lyap1_mean": 0.037269845604896545,
+ "lyap1_max": 0.07348364591598511,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 218,
+ "sup_loss": 0.3626380176376073,
+ "rf_loss": 0.0010387010406702757,
+ "total_loss": 0.36471541971894783,
+ "lyap1_mean": 0.017617132514715195,
+ "lyap1_max": 0.07144177705049515,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 219,
+ "sup_loss": 0.5626924107293059,
+ "rf_loss": 0.0011356128379702568,
+ "total_loss": 0.5649636364052464,
+ "lyap1_mean": 0.01754463091492653,
+ "lyap1_max": 0.0624837651848793,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 220,
+ "sup_loss": 0.7731392015163852,
+ "rf_loss": 0.004222244489938021,
+ "total_loss": 0.7815836904962612,
+ "lyap1_mean": 0.050089333206415176,
+ "lyap1_max": 0.10938069224357605,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 221,
+ "sup_loss": 0.40813072028134706,
+ "rf_loss": 0.002969251247122884,
+ "total_loss": 0.4140692227755928,
+ "lyap1_mean": 0.032583292573690414,
+ "lyap1_max": 0.09675348550081253,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 222,
+ "sup_loss": 0.6348623354295875,
+ "rf_loss": 0.0029142575804144144,
+ "total_loss": 0.6406908505904163,
+ "lyap1_mean": 0.034295208752155304,
+ "lyap1_max": 0.08367570489645004,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 223,
+ "sup_loss": 0.6543463206692998,
+ "rf_loss": 0.0018292792374268174,
+ "total_loss": 0.6580048791441534,
+ "lyap1_mean": 0.027230340987443924,
+ "lyap1_max": 0.06705362349748611,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 224,
+ "sup_loss": 0.4292696936346273,
+ "rf_loss": 0.0012209134874865413,
+ "total_loss": 0.4317115206096004,
+ "lyap1_mean": -0.0032009538263082504,
+ "lyap1_max": 0.06298094987869263,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 225,
+ "sup_loss": 0.6541284562742247,
+ "rf_loss": 0.004079232923686504,
+ "total_loss": 0.6622869221215977,
+ "lyap1_mean": 0.05715913325548172,
+ "lyap1_max": 0.10466865450143814,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 226,
+ "sup_loss": 0.5710625549847032,
+ "rf_loss": 0.0025043077766895294,
+ "total_loss": 0.5760711705380822,
+ "lyap1_mean": 0.028005775064229965,
+ "lyap1_max": 0.08432134240865707,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 227,
+ "sup_loss": 0.6739751537217785,
+ "rf_loss": 0.0037467675283551216,
+ "total_loss": 0.6814686887784888,
+ "lyap1_mean": 0.05702933296561241,
+ "lyap1_max": 0.09838242083787918,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 228,
+ "sup_loss": 0.6388056773964415,
+ "rf_loss": 0.002543290611356497,
+ "total_loss": 0.6438922586191544,
+ "lyap1_mean": 0.03891429305076599,
+ "lyap1_max": 0.0936068743467331,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 229,
+ "sup_loss": 0.5559631467939008,
+ "rf_loss": 0.004220686387270689,
+ "total_loss": 0.5644045195684422,
+ "lyap1_mean": 0.05540649592876434,
+ "lyap1_max": 0.108612060546875,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 230,
+ "sup_loss": 0.3875164269870706,
+ "rf_loss": 0.0016743658343330026,
+ "total_loss": 0.3908651586557366,
+ "lyap1_mean": 0.009599409997463226,
+ "lyap1_max": 0.06875645369291306,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 231,
+ "sup_loss": 0.6500047603108383,
+ "rf_loss": 0.003625073004513979,
+ "total_loss": 0.6572549063198663,
+ "lyap1_mean": 0.056394062936306,
+ "lyap1_max": 0.08378802984952927,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 232,
+ "sup_loss": 0.48698175027089396,
+ "rf_loss": 0.0014182650484144688,
+ "total_loss": 0.4898182803677229,
+ "lyap1_mean": 0.02745865285396576,
+ "lyap1_max": 0.07104270160198212,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 233,
+ "sup_loss": 0.6073785688064774,
+ "rf_loss": 0.003701769281178713,
+ "total_loss": 0.6147821073688349,
+ "lyap1_mean": 0.05927402898669243,
+ "lyap1_max": 0.08361455798149109,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 234,
+ "sup_loss": 0.7141290102161343,
+ "rf_loss": 0.0019226588774472475,
+ "total_loss": 0.7179743279710288,
+ "lyap1_mean": 0.022151805460453033,
+ "lyap1_max": 0.07817062735557556,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 235,
+ "sup_loss": 0.556149500853082,
+ "rf_loss": 0.0032892655581235886,
+ "total_loss": 0.5627280319693292,
+ "lyap1_mean": 0.040687501430511475,
+ "lyap1_max": 0.09504878520965576,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 236,
+ "sup_loss": 0.6931447437003154,
+ "rf_loss": 0.0020870219450443983,
+ "total_loss": 0.6973187875904042,
+ "lyap1_mean": 0.03787196800112724,
+ "lyap1_max": 0.06536950916051865,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 237,
+ "sup_loss": 0.613146022007796,
+ "rf_loss": 0.0023771654814481735,
+ "total_loss": 0.6179003529706923,
+ "lyap1_mean": 0.0357489213347435,
+ "lyap1_max": 0.08172771334648132,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 238,
+ "sup_loss": 0.5653128619686311,
+ "rf_loss": 0.0016201194375753403,
+ "total_loss": 0.5685531008437817,
+ "lyap1_mean": 0.031242286786437035,
+ "lyap1_max": 0.060724351555109024,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 239,
+ "sup_loss": 0.49374574887410533,
+ "rf_loss": 0.002434238325804472,
+ "total_loss": 0.49861422552571427,
+ "lyap1_mean": 0.03739110380411148,
+ "lyap1_max": 0.07286304980516434,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 240,
+ "sup_loss": 0.7094900155173268,
+ "rf_loss": 0.0023735356517136097,
+ "total_loss": 0.714237086820754,
+ "lyap1_mean": 0.03097207099199295,
+ "lyap1_max": 0.10223280638456345,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 241,
+ "sup_loss": 0.6283361315112467,
+ "rf_loss": 0.002959002275019884,
+ "total_loss": 0.6342541360612864,
+ "lyap1_mean": 0.046732962131500244,
+ "lyap1_max": 0.08957462012767792,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 242,
+ "sup_loss": 0.4762539241329179,
+ "rf_loss": 0.0020473727490752935,
+ "total_loss": 0.4803486696310685,
+ "lyap1_mean": 0.021978359669446945,
+ "lyap1_max": 0.08586516231298447,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 243,
+ "sup_loss": 0.5110923572671405,
+ "rf_loss": 0.0015939576551318169,
+ "total_loss": 0.5142802725774042,
+ "lyap1_mean": 0.01737145334482193,
+ "lyap1_max": 0.08650218695402145,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 244,
+ "sup_loss": 0.6350124491869964,
+ "rf_loss": 0.002359631936997175,
+ "total_loss": 0.6397317130609907,
+ "lyap1_mean": 0.036661602556705475,
+ "lyap1_max": 0.07910343259572983,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 245,
+ "sup_loss": 0.7290041480269353,
+ "rf_loss": 0.006492967717349529,
+ "total_loss": 0.7419900834616343,
+ "lyap1_mean": 0.07116271555423737,
+ "lyap1_max": 0.14350005984306335,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 246,
+ "sup_loss": 0.6575630208372301,
+ "rf_loss": 0.002195965498685837,
+ "total_loss": 0.6619549518346017,
+ "lyap1_mean": 0.03605400398373604,
+ "lyap1_max": 0.0792277455329895,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 247,
+ "sup_loss": 0.5193215695042469,
+ "rf_loss": 0.0023401130456477404,
+ "total_loss": 0.5240017955955424,
+ "lyap1_mean": 0.034994155168533325,
+ "lyap1_max": 0.09255783259868622,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 248,
+ "sup_loss": 0.5585665886373234,
+ "rf_loss": 0.0035537676885724068,
+ "total_loss": 0.5656741240144683,
+ "lyap1_mean": 0.04891980066895485,
+ "lyap1_max": 0.1009976789355278,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 249,
+ "sup_loss": 0.48733935945599677,
+ "rf_loss": 0.0012265907134860754,
+ "total_loss": 0.4897925408829689,
+ "lyap1_mean": 0.013950003311038017,
+ "lyap1_max": 0.07087339460849762,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 250,
+ "sup_loss": 0.7275993107324095,
+ "rf_loss": 0.004015372134745121,
+ "total_loss": 0.7356300550018997,
+ "lyap1_mean": 0.05545594170689583,
+ "lyap1_max": 0.08195003867149353,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 251,
+ "sup_loss": 0.5421099937062545,
+ "rf_loss": 0.001639248221181333,
+ "total_loss": 0.5453884901486171,
+ "lyap1_mean": 0.028727415949106216,
+ "lyap1_max": 0.08136403560638428,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 252,
+ "sup_loss": 0.5899879911732782,
+ "rf_loss": 0.005655837710946798,
+ "total_loss": 0.6012996665951718,
+ "lyap1_mean": 0.06863261014223099,
+ "lyap1_max": 0.13882559537887573,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 253,
+ "sup_loss": 0.6209733047538876,
+ "rf_loss": 0.002366391709074378,
+ "total_loss": 0.6257060881720363,
+ "lyap1_mean": 0.03207863122224808,
+ "lyap1_max": 0.08247672021389008,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 254,
+ "sup_loss": 0.477964694207511,
+ "rf_loss": 0.0022349534556269646,
+ "total_loss": 0.4824346011187649,
+ "lyap1_mean": 0.0238829143345356,
+ "lyap1_max": 0.0837937518954277,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 255,
+ "sup_loss": 0.6737049510007029,
+ "rf_loss": 0.0018918025307357311,
+ "total_loss": 0.6774885560621744,
+ "lyap1_mean": 0.03287314996123314,
+ "lyap1_max": 0.07881327718496323,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 256,
+ "sup_loss": 0.5229417811477589,
+ "rf_loss": 0.0018596623558551073,
+ "total_loss": 0.5266611058594691,
+ "lyap1_mean": 0.01954055204987526,
+ "lyap1_max": 0.07537049800157547,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 257,
+ "sup_loss": 0.46346626067439056,
+ "rf_loss": 0.0013882655184715986,
+ "total_loss": 0.46624279171133376,
+ "lyap1_mean": 0.01968526467680931,
+ "lyap1_max": 0.08327283710241318,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 258,
+ "sup_loss": 0.5590628802431452,
+ "rf_loss": 0.0008422826649621129,
+ "total_loss": 0.5607474455730694,
+ "lyap1_mean": 0.018561113625764847,
+ "lyap1_max": 0.05257517099380493,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 259,
+ "sup_loss": 0.538088452749218,
+ "rf_loss": 0.001896813279017806,
+ "total_loss": 0.5418820793072536,
+ "lyap1_mean": 0.02616165764629841,
+ "lyap1_max": 0.06961604952812195,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 260,
+ "sup_loss": 0.6121423596942969,
+ "rf_loss": 0.002053625416010618,
+ "total_loss": 0.6162496105263181,
+ "lyap1_mean": 0.029470428824424744,
+ "lyap1_max": 0.06790658831596375,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 261,
+ "sup_loss": 0.6134083520500629,
+ "rf_loss": 0.0016743633896112442,
+ "total_loss": 0.6167570788292854,
+ "lyap1_mean": 0.02711893618106842,
+ "lyap1_max": 0.06385541707277298,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 262,
+ "sup_loss": 0.5237174334161039,
+ "rf_loss": 0.003917320631444454,
+ "total_loss": 0.5315520746789928,
+ "lyap1_mean": 0.04419570416212082,
+ "lyap1_max": 0.09784369170665741,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 263,
+ "sup_loss": 0.5458593382701671,
+ "rf_loss": 0.0026877839118242264,
+ "total_loss": 0.5512349060938155,
+ "lyap1_mean": 0.03496668487787247,
+ "lyap1_max": 0.0804479792714119,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 264,
+ "sup_loss": 0.5332817408401653,
+ "rf_loss": 0.0015877007972449064,
+ "total_loss": 0.5364571424346551,
+ "lyap1_mean": 0.020673684775829315,
+ "lyap1_max": 0.07683765143156052,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 265,
+ "sup_loss": 0.616421542677845,
+ "rf_loss": 0.002727051265537739,
+ "total_loss": 0.6218756452089205,
+ "lyap1_mean": 0.03895878046751022,
+ "lyap1_max": 0.08847547322511673,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 266,
+ "sup_loss": 0.47538833909221173,
+ "rf_loss": 0.001803216990083456,
+ "total_loss": 0.47899477307237864,
+ "lyap1_mean": 0.014795691706240177,
+ "lyap1_max": 0.07628506422042847,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 267,
+ "sup_loss": 0.5347583920862083,
+ "rf_loss": 0.0024496482219547033,
+ "total_loss": 0.5396576885301178,
+ "lyap1_mean": 0.03563549742102623,
+ "lyap1_max": 0.09056457877159119,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 268,
+ "sup_loss": 0.6423815255141232,
+ "rf_loss": 0.003179015591740608,
+ "total_loss": 0.6487395566976044,
+ "lyap1_mean": 0.04753263294696808,
+ "lyap1_max": 0.07765862345695496,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 269,
+ "sup_loss": 0.8824314072344901,
+ "rf_loss": 0.0017692366382107139,
+ "total_loss": 0.8859698805109115,
+ "lyap1_mean": 0.03519471734762192,
+ "lyap1_max": 0.06678397208452225,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 270,
+ "sup_loss": 0.6783763330210821,
+ "rf_loss": 0.0023796656168997288,
+ "total_loss": 0.6831356642548816,
+ "lyap1_mean": 0.035795412957668304,
+ "lyap1_max": 0.08409663289785385,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 271,
+ "sup_loss": 0.4518748482296683,
+ "rf_loss": 0.00204095127992332,
+ "total_loss": 0.4559567507895149,
+ "lyap1_mean": 0.0225216131657362,
+ "lyap1_max": 0.07833097875118256,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 272,
+ "sup_loss": 0.6298538420589398,
+ "rf_loss": 0.0025160559453070164,
+ "total_loss": 0.6348859539495538,
+ "lyap1_mean": 0.0445980429649353,
+ "lyap1_max": 0.07659557461738586,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 273,
+ "sup_loss": 0.6882760598710549,
+ "rf_loss": 0.0014072245685383677,
+ "total_loss": 0.6910905090081316,
+ "lyap1_mean": 0.03317098319530487,
+ "lyap1_max": 0.05516824871301651,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 274,
+ "sup_loss": 0.6067002819404619,
+ "rf_loss": 0.0014523020945489407,
+ "total_loss": 0.6096048861295598,
+ "lyap1_mean": 0.02518070489168167,
+ "lyap1_max": 0.07135484367609024,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 275,
+ "sup_loss": 0.5941914649972088,
+ "rf_loss": 0.00327304657548666,
+ "total_loss": 0.6007375581481821,
+ "lyap1_mean": 0.05087011680006981,
+ "lyap1_max": 0.08088908344507217,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 276,
+ "sup_loss": 0.6827718677348177,
+ "rf_loss": 0.002067823661491275,
+ "total_loss": 0.6869075150578002,
+ "lyap1_mean": 0.03615821897983551,
+ "lyap1_max": 0.09627684950828552,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 277,
+ "sup_loss": 0.45192032423821826,
+ "rf_loss": 0.0012044745963066816,
+ "total_loss": 0.4543292734308316,
+ "lyap1_mean": 0.017651842907071114,
+ "lyap1_max": 0.06819505244493484,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 278,
+ "sup_loss": 0.6983605222011541,
+ "rf_loss": 0.0017509405734017491,
+ "total_loss": 0.7018624033479576,
+ "lyap1_mean": 0.018094420433044434,
+ "lyap1_max": 0.07239176332950592,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 279,
+ "sup_loss": 0.6855613176494948,
+ "rf_loss": 0.00405286205932498,
+ "total_loss": 0.6936670417681448,
+ "lyap1_mean": 0.045202963054180145,
+ "lyap1_max": 0.10554882884025574,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 280,
+ "sup_loss": 0.6952063112657744,
+ "rf_loss": 0.002354763448238373,
+ "total_loss": 0.6999158381622511,
+ "lyap1_mean": 0.04638247564435005,
+ "lyap1_max": 0.06725716590881348,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 281,
+ "sup_loss": 0.549725634686394,
+ "rf_loss": 0.002791228936985135,
+ "total_loss": 0.5553080925603643,
+ "lyap1_mean": 0.0400400273501873,
+ "lyap1_max": 0.08624590933322906,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 282,
+ "sup_loss": 0.5823301179283288,
+ "rf_loss": 0.0030978145077824593,
+ "total_loss": 0.5885257469438937,
+ "lyap1_mean": 0.045487381517887115,
+ "lyap1_max": 0.09408778697252274,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 283,
+ "sup_loss": 0.5612889680352413,
+ "rf_loss": 0.001455723075196147,
+ "total_loss": 0.5642004141856336,
+ "lyap1_mean": 0.028989357873797417,
+ "lyap1_max": 0.07284953445196152,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 284,
+ "sup_loss": 0.6919613152798164,
+ "rf_loss": 0.0029627832118421793,
+ "total_loss": 0.6978868817035008,
+ "lyap1_mean": 0.04418959096074104,
+ "lyap1_max": 0.1179358959197998,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 285,
+ "sup_loss": 0.481525920193365,
+ "rf_loss": 0.002123224548995495,
+ "total_loss": 0.485772369291356,
+ "lyap1_mean": 0.02464839071035385,
+ "lyap1_max": 0.07067874073982239,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 286,
+ "sup_loss": 0.41370322149208244,
+ "rf_loss": 0.0018702002707868814,
+ "total_loss": 0.4174436220336562,
+ "lyap1_mean": 0.01457342877984047,
+ "lyap1_max": 0.08713751286268234,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 287,
+ "sup_loss": 0.5917448692994788,
+ "rf_loss": 0.0031289313919842243,
+ "total_loss": 0.5980027320834472,
+ "lyap1_mean": 0.03453207015991211,
+ "lyap1_max": 0.11020028591156006,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 288,
+ "sup_loss": 0.6178237724511053,
+ "rf_loss": 0.0026496215723454952,
+ "total_loss": 0.6231230155957963,
+ "lyap1_mean": 0.041731320321559906,
+ "lyap1_max": 0.08390635997056961,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 289,
+ "sup_loss": 0.6080334469436753,
+ "rf_loss": 0.0024308706633746624,
+ "total_loss": 0.6128951882704247,
+ "lyap1_mean": 0.032543133944272995,
+ "lyap1_max": 0.09550216048955917,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 290,
+ "sup_loss": 0.5741094573348631,
+ "rf_loss": 0.00601015891879797,
+ "total_loss": 0.586129775172459,
+ "lyap1_mean": 0.0665021762251854,
+ "lyap1_max": 0.13135217130184174,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 291,
+ "sup_loss": 0.6124354675205127,
+ "rf_loss": 0.0015735902125015855,
+ "total_loss": 0.6155826479455159,
+ "lyap1_mean": 0.024439428001642227,
+ "lyap1_max": 0.08241710066795349,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 292,
+ "sup_loss": 0.5361224992972538,
+ "rf_loss": 0.0022115099709481,
+ "total_loss": 0.54054551923915,
+ "lyap1_mean": 0.024380886927247047,
+ "lyap1_max": 0.07521024346351624,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 293,
+ "sup_loss": 0.4716102733278161,
+ "rf_loss": 0.0020502943079918623,
+ "total_loss": 0.4757108619437998,
+ "lyap1_mean": 0.018959805369377136,
+ "lyap1_max": 0.0746261328458786,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 294,
+ "sup_loss": 0.4988190733378113,
+ "rf_loss": 0.0011363393859937787,
+ "total_loss": 0.5010917521097988,
+ "lyap1_mean": 0.02044685371220112,
+ "lyap1_max": 0.055017903447151184,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 295,
+ "sup_loss": 0.4618929543789189,
+ "rf_loss": 0.0029731367249041796,
+ "total_loss": 0.4678392278287273,
+ "lyap1_mean": 0.0392950139939785,
+ "lyap1_max": 0.08746994286775589,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 296,
+ "sup_loss": 0.6662989731350417,
+ "rf_loss": 0.0027142760809510946,
+ "total_loss": 0.6717275252969439,
+ "lyap1_mean": 0.04438617825508118,
+ "lyap1_max": 0.10947167873382568,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 297,
+ "sup_loss": 0.4420148023145514,
+ "rf_loss": 0.0025804892648011446,
+ "total_loss": 0.4471757808441537,
+ "lyap1_mean": 0.03489706292748451,
+ "lyap1_max": 0.09073369204998016,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 298,
+ "sup_loss": 0.5812264705873885,
+ "rf_loss": 0.001709316624328494,
+ "total_loss": 0.5846451038360455,
+ "lyap1_mean": 0.03191164880990982,
+ "lyap1_max": 0.05950617417693138,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 299,
+ "sup_loss": 0.48791341734047244,
+ "rf_loss": 0.002032833406701684,
+ "total_loss": 0.4919790841538758,
+ "lyap1_mean": 0.018443617969751358,
+ "lyap1_max": 0.0765509307384491,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 300,
+ "sup_loss": 0.5098932876148812,
+ "rf_loss": 0.0015332754701375961,
+ "total_loss": 0.5129598385551564,
+ "lyap1_mean": 0.023376021534204483,
+ "lyap1_max": 0.07803676277399063,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 301,
+ "sup_loss": 0.5532147837073937,
+ "rf_loss": 0.0009106824873015285,
+ "total_loss": 0.5550361486819968,
+ "lyap1_mean": 0.012255750596523285,
+ "lyap1_max": 0.057452891021966934,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 302,
+ "sup_loss": 0.6122960076955113,
+ "rf_loss": 0.0019183892291039228,
+ "total_loss": 0.6161327861537191,
+ "lyap1_mean": 0.037472568452358246,
+ "lyap1_max": 0.07123978435993195,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 303,
+ "sup_loss": 0.6919322395831642,
+ "rf_loss": 0.0018390651093795896,
+ "total_loss": 0.6956103698019234,
+ "lyap1_mean": 0.041780516505241394,
+ "lyap1_max": 0.052734289318323135,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 304,
+ "sup_loss": 0.5782516382230763,
+ "rf_loss": 0.002083961386233568,
+ "total_loss": 0.5824195609955435,
+ "lyap1_mean": 0.027280937880277634,
+ "lyap1_max": 0.09674938768148422,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 305,
+ "sup_loss": 0.5139601822278108,
+ "rf_loss": 0.0023150681518018246,
+ "total_loss": 0.5185903185314145,
+ "lyap1_mean": 0.0330229178071022,
+ "lyap1_max": 0.08378748595714569,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 306,
+ "sup_loss": 0.6145875503217375,
+ "rf_loss": 0.0012585530057549477,
+ "total_loss": 0.6171046563332474,
+ "lyap1_mean": 0.020090799778699875,
+ "lyap1_max": 0.0653819739818573,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 307,
+ "sup_loss": 0.583726357593816,
+ "rf_loss": 0.002044744323939085,
+ "total_loss": 0.5878158462416941,
+ "lyap1_mean": 0.03767891600728035,
+ "lyap1_max": 0.06978580355644226,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 308,
+ "sup_loss": 0.5307724403811753,
+ "rf_loss": 0.0013749139616265893,
+ "total_loss": 0.5335222683044285,
+ "lyap1_mean": 0.01164940930902958,
+ "lyap1_max": 0.0715305283665657,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 309,
+ "sup_loss": 0.6150506014134258,
+ "rf_loss": 0.00407143821939826,
+ "total_loss": 0.6231934778522223,
+ "lyap1_mean": 0.058891162276268005,
+ "lyap1_max": 0.11586097627878189,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 310,
+ "sup_loss": 0.5982881625582956,
+ "rf_loss": 0.0013614692725241184,
+ "total_loss": 0.6010111011033439,
+ "lyap1_mean": 0.020605171099305153,
+ "lyap1_max": 0.057099178433418274,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 311,
+ "sup_loss": 0.6118817627268677,
+ "rf_loss": 0.001718311570584774,
+ "total_loss": 0.6153183858680372,
+ "lyap1_mean": 0.033156149089336395,
+ "lyap1_max": 0.07839292287826538,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 312,
+ "sup_loss": 0.5050348955447608,
+ "rf_loss": 0.001292461878620088,
+ "total_loss": 0.507619819302001,
+ "lyap1_mean": 0.014937036670744419,
+ "lyap1_max": 0.06053337827324867,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 313,
+ "sup_loss": 0.48111949859315956,
+ "rf_loss": 0.001973243895918131,
+ "total_loss": 0.4850659863849958,
+ "lyap1_mean": 0.02669423446059227,
+ "lyap1_max": 0.0863003209233284,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 314,
+ "sup_loss": 0.6469154388584536,
+ "rf_loss": 0.002233681036159396,
+ "total_loss": 0.6513828009307724,
+ "lyap1_mean": 0.03706054016947746,
+ "lyap1_max": 0.07146487385034561,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 315,
+ "sup_loss": 0.6070308284533484,
+ "rf_loss": 0.0003317538066767156,
+ "total_loss": 0.6076943360667019,
+ "lyap1_mean": 0.00986551120877266,
+ "lyap1_max": 0.027034621685743332,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 316,
+ "sup_loss": 0.5068699136163698,
+ "rf_loss": 0.001714531215839088,
+ "total_loss": 0.510298976048048,
+ "lyap1_mean": 0.01908043585717678,
+ "lyap1_max": 0.06904516369104385,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 317,
+ "sup_loss": 0.6937517801804315,
+ "rf_loss": 0.003482980653643608,
+ "total_loss": 0.7007177414877187,
+ "lyap1_mean": 0.05469647794961929,
+ "lyap1_max": 0.09107176959514618,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 318,
+ "sup_loss": 0.6332959486497108,
+ "rf_loss": 0.0019350078655406833,
+ "total_loss": 0.6371659643807922,
+ "lyap1_mean": 0.03826964274048805,
+ "lyap1_max": 0.0634903833270073,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 319,
+ "sup_loss": 0.6414218828165941,
+ "rf_loss": 0.0028361158911138773,
+ "total_loss": 0.6470941145988218,
+ "lyap1_mean": 0.037891823798418045,
+ "lyap1_max": 0.11394211649894714,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 320,
+ "sup_loss": 0.5503885822212559,
+ "rf_loss": 0.0009786627488210797,
+ "total_loss": 0.552345907718898,
+ "lyap1_mean": 0.01829412579536438,
+ "lyap1_max": 0.051045771688222885,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 321,
+ "sup_loss": 0.4803434708317976,
+ "rf_loss": 0.002148274565115571,
+ "total_loss": 0.48464001996202877,
+ "lyap1_mean": 0.03638407960534096,
+ "lyap1_max": 0.07829679548740387,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 322,
+ "sup_loss": 0.6248680305736742,
+ "rf_loss": 0.0015732108149677515,
+ "total_loss": 0.6280144522036097,
+ "lyap1_mean": 0.030219892039895058,
+ "lyap1_max": 0.06041917949914932,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 323,
+ "sup_loss": 0.6973822052309785,
+ "rf_loss": 0.0012605893425643444,
+ "total_loss": 0.6999033839161072,
+ "lyap1_mean": 0.028227167204022408,
+ "lyap1_max": 0.059582967311143875,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 324,
+ "sup_loss": 0.7262189924294354,
+ "rf_loss": 0.0028232987970113754,
+ "total_loss": 0.7318655900234582,
+ "lyap1_mean": 0.05036156624555588,
+ "lyap1_max": 0.08762690424919128,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 325,
+ "sup_loss": 0.5568063727506558,
+ "rf_loss": 0.003526299726217985,
+ "total_loss": 0.5638589722030918,
+ "lyap1_mean": 0.043032534420490265,
+ "lyap1_max": 0.09570331871509552,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 326,
+ "sup_loss": 0.687750158294678,
+ "rf_loss": 0.001155751058831811,
+ "total_loss": 0.6900616604123416,
+ "lyap1_mean": 0.024838456884026527,
+ "lyap1_max": 0.07128030061721802,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 327,
+ "sup_loss": 0.5678767708787563,
+ "rf_loss": 0.0016637123189866543,
+ "total_loss": 0.5712041955167296,
+ "lyap1_mean": 0.03321653604507446,
+ "lyap1_max": 0.07059475779533386,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 328,
+ "sup_loss": 0.6225753350885604,
+ "rf_loss": 0.002781654242426157,
+ "total_loss": 0.6281386435734128,
+ "lyap1_mean": 0.04325705021619797,
+ "lyap1_max": 0.08703775703907013,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 329,
+ "sup_loss": 0.6709005824494102,
+ "rf_loss": 0.002571696415543556,
+ "total_loss": 0.6760439752804973,
+ "lyap1_mean": 0.04539300873875618,
+ "lyap1_max": 0.07032252848148346,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 330,
+ "sup_loss": 0.5515780200505068,
+ "rf_loss": 0.002739810384809971,
+ "total_loss": 0.5570576408201268,
+ "lyap1_mean": 0.028078900650143623,
+ "lyap1_max": 0.08153503388166428,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 331,
+ "sup_loss": 0.6491334805869379,
+ "rf_loss": 0.0021592704579234123,
+ "total_loss": 0.6534520215027847,
+ "lyap1_mean": 0.04314431548118591,
+ "lyap1_max": 0.08015775680541992,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 332,
+ "sup_loss": 0.5845301090201188,
+ "rf_loss": 0.0023005397524684668,
+ "total_loss": 0.5891311885250557,
+ "lyap1_mean": 0.037780556827783585,
+ "lyap1_max": 0.07700511068105698,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 333,
+ "sup_loss": 0.4491858024641994,
+ "rf_loss": 0.002422965131700039,
+ "total_loss": 0.4540317327275995,
+ "lyap1_mean": 0.023992355912923813,
+ "lyap1_max": 0.07804949581623077,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 334,
+ "sup_loss": 0.5512622159044687,
+ "rf_loss": 0.003147605573758483,
+ "total_loss": 0.5575574270519856,
+ "lyap1_mean": 0.04592470824718475,
+ "lyap1_max": 0.09140676259994507,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 335,
+ "sup_loss": 0.657265511539581,
+ "rf_loss": 0.0030314354225993156,
+ "total_loss": 0.6633283823847796,
+ "lyap1_mean": 0.04821056127548218,
+ "lyap1_max": 0.09265405684709549,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 336,
+ "sup_loss": 0.49892430634539336,
+ "rf_loss": 0.0011342093348503113,
+ "total_loss": 0.501192725015094,
+ "lyap1_mean": 0.019716978073120117,
+ "lyap1_max": 0.058279916644096375,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 337,
+ "sup_loss": 0.56833039405275,
+ "rf_loss": 0.002402832265943289,
+ "total_loss": 0.5731360585846366,
+ "lyap1_mean": 0.030361328274011612,
+ "lyap1_max": 0.0747796893119812,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 338,
+ "sup_loss": 0.45543731024800954,
+ "rf_loss": 0.0013505755923688412,
+ "total_loss": 0.4581384614327472,
+ "lyap1_mean": 0.019305309280753136,
+ "lyap1_max": 0.05630909278988838,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 339,
+ "sup_loss": 0.4714076621023443,
+ "rf_loss": 0.001726323738694191,
+ "total_loss": 0.4748603095797327,
+ "lyap1_mean": 0.022561172023415565,
+ "lyap1_max": 0.0771588459610939,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 340,
+ "sup_loss": 1.0737172432636635,
+ "rf_loss": 0.0015672256704419851,
+ "total_loss": 1.0768516946045474,
+ "lyap1_mean": 0.024908650666475296,
+ "lyap1_max": 0.08164499700069427,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 341,
+ "sup_loss": 0.6300687828505933,
+ "rf_loss": 0.0019008864182978868,
+ "total_loss": 0.6338705556871891,
+ "lyap1_mean": 0.02806687355041504,
+ "lyap1_max": 0.07301034033298492,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 342,
+ "sup_loss": 0.6046185400366273,
+ "rf_loss": 0.0025859426241368055,
+ "total_loss": 0.6097904252849009,
+ "lyap1_mean": 0.035651613026857376,
+ "lyap1_max": 0.10706150531768799,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 343,
+ "sup_loss": 0.5121362450496149,
+ "rf_loss": 0.0020798328332602978,
+ "total_loss": 0.5162959107161355,
+ "lyap1_mean": 0.028828376904129982,
+ "lyap1_max": 0.07229530811309814,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 344,
+ "sup_loss": 0.5846952305261585,
+ "rf_loss": 0.002640482969582081,
+ "total_loss": 0.5899761964653226,
+ "lyap1_mean": 0.0282503142952919,
+ "lyap1_max": 0.08429061621427536,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 345,
+ "sup_loss": 0.6457377808650296,
+ "rf_loss": 0.0022719085682183504,
+ "total_loss": 0.6502815980014663,
+ "lyap1_mean": 0.04482061788439751,
+ "lyap1_max": 0.06145322322845459,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 346,
+ "sup_loss": 0.6010931441817201,
+ "rf_loss": 0.0014262318145483732,
+ "total_loss": 0.6039456078108169,
+ "lyap1_mean": 0.029823288321495056,
+ "lyap1_max": 0.06710921972990036,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 347,
+ "sup_loss": 0.5371908440327139,
+ "rf_loss": 0.0013036495074629784,
+ "total_loss": 0.5397981430476398,
+ "lyap1_mean": 0.016424762085080147,
+ "lyap1_max": 0.05403871834278107,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 348,
+ "sup_loss": 0.5769889848735925,
+ "rf_loss": 0.0012423805892467499,
+ "total_loss": 0.579473746052086,
+ "lyap1_mean": 0.01666642352938652,
+ "lyap1_max": 0.05880225822329521,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 349,
+ "sup_loss": 0.5702220813264959,
+ "rf_loss": 0.0019379635341465473,
+ "total_loss": 0.574098008394789,
+ "lyap1_mean": 0.027900073677301407,
+ "lyap1_max": 0.07859326899051666,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 350,
+ "sup_loss": 0.6351338564673134,
+ "rf_loss": 0.0022279105614870787,
+ "total_loss": 0.6395896775902875,
+ "lyap1_mean": 0.03720864653587341,
+ "lyap1_max": 0.07340148836374283,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 351,
+ "sup_loss": 0.5818898376292981,
+ "rf_loss": 0.0019581865053623915,
+ "total_loss": 0.5858062106400229,
+ "lyap1_mean": 0.027162881568074226,
+ "lyap1_max": 0.06797035783529282,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 352,
+ "sup_loss": 0.593097768548153,
+ "rf_loss": 0.0038439773488789797,
+ "total_loss": 0.600785723245911,
+ "lyap1_mean": 0.0418817475438118,
+ "lyap1_max": 0.10399139672517776,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 353,
+ "sup_loss": 0.6587650417893658,
+ "rf_loss": 0.002376426011323929,
+ "total_loss": 0.6635178938120136,
+ "lyap1_mean": 0.03558654338121414,
+ "lyap1_max": 0.07528489083051682,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 354,
+ "sup_loss": 0.6967686989075251,
+ "rf_loss": 0.0035194135271012783,
+ "total_loss": 0.7038075259617277,
+ "lyap1_mean": 0.05549360066652298,
+ "lyap1_max": 0.09267471730709076,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 355,
+ "sup_loss": 0.6221585258776489,
+ "rf_loss": 0.002553365658968687,
+ "total_loss": 0.6272652571955862,
+ "lyap1_mean": 0.038819264620542526,
+ "lyap1_max": 0.09552779793739319,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 356,
+ "sup_loss": 0.697002948941569,
+ "rf_loss": 0.002717783208936453,
+ "total_loss": 0.7024385153594419,
+ "lyap1_mean": 0.04991765320301056,
+ "lyap1_max": 0.07309569418430328,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 357,
+ "sup_loss": 0.5817949437415182,
+ "rf_loss": 0.002313414588570595,
+ "total_loss": 0.5864217729186594,
+ "lyap1_mean": 0.030271822586655617,
+ "lyap1_max": 0.07694359868764877,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 358,
+ "sup_loss": 0.6253487752005624,
+ "rf_loss": 0.0016997094498947263,
+ "total_loss": 0.6287481941003519,
+ "lyap1_mean": 0.0356338769197464,
+ "lyap1_max": 0.058701351284980774,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 359,
+ "sup_loss": 0.6156601617403406,
+ "rf_loss": 0.002075319644063711,
+ "total_loss": 0.619810801028468,
+ "lyap1_mean": 0.03873056173324585,
+ "lyap1_max": 0.07814273983240128,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 360,
+ "sup_loss": 0.5203584719495513,
+ "rf_loss": 0.0015189007390290499,
+ "total_loss": 0.5233962734276094,
+ "lyap1_mean": 0.025483205914497375,
+ "lyap1_max": 0.07388424128293991,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 361,
+ "sup_loss": 0.6669463458476701,
+ "rf_loss": 0.0012466192711144686,
+ "total_loss": 0.669439584389899,
+ "lyap1_mean": 0.03154725581407547,
+ "lyap1_max": 0.047948285937309265,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 362,
+ "sup_loss": 0.7225575914708913,
+ "rf_loss": 0.0016475400188937783,
+ "total_loss": 0.7258526715086788,
+ "lyap1_mean": 0.02822757139801979,
+ "lyap1_max": 0.06565629690885544,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 363,
+ "sup_loss": 0.6826389528387973,
+ "rf_loss": 0.0013801436871290207,
+ "total_loss": 0.6853992402130553,
+ "lyap1_mean": 0.024209778755903244,
+ "lyap1_max": 0.08185145258903503,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 364,
+ "sup_loss": 0.629609567152427,
+ "rf_loss": 0.001838437165133655,
+ "total_loss": 0.6332864414826943,
+ "lyap1_mean": 0.03716537356376648,
+ "lyap1_max": 0.07812660932540894,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 365,
+ "sup_loss": 0.5888143658301829,
+ "rf_loss": 0.002420266391709447,
+ "total_loss": 0.5936548986136018,
+ "lyap1_mean": 0.04020000994205475,
+ "lyap1_max": 0.0679432675242424,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 366,
+ "sup_loss": 0.4543540828429774,
+ "rf_loss": 0.0007705347379669547,
+ "total_loss": 0.4558951523189113,
+ "lyap1_mean": 0.009309016168117523,
+ "lyap1_max": 0.047440413385629654,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 367,
+ "sup_loss": 0.6295919406035471,
+ "rf_loss": 0.0007867167587392032,
+ "total_loss": 0.6311653741210255,
+ "lyap1_mean": 0.014678286388516426,
+ "lyap1_max": 0.05075808987021446,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 368,
+ "sup_loss": 0.6651675792431894,
+ "rf_loss": 0.0007610447355546057,
+ "total_loss": 0.6666896687142986,
+ "lyap1_mean": 0.018928974866867065,
+ "lyap1_max": 0.04460093006491661,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 369,
+ "sup_loss": 0.579174301537964,
+ "rf_loss": 0.0009031900553964078,
+ "total_loss": 0.5809806816487568,
+ "lyap1_mean": 0.011884171515703201,
+ "lyap1_max": 0.06000281125307083,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 370,
+ "sup_loss": 0.6231767012816892,
+ "rf_loss": 0.0014912260230630636,
+ "total_loss": 0.6261591533278154,
+ "lyap1_mean": 0.03345188498497009,
+ "lyap1_max": 0.07059675455093384,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 371,
+ "sup_loss": 0.4908200031267178,
+ "rf_loss": 0.0006572443526238203,
+ "total_loss": 0.49213449183196545,
+ "lyap1_mean": 0.004733522888273001,
+ "lyap1_max": 0.05784395709633827,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 372,
+ "sup_loss": 0.634921094127367,
+ "rf_loss": 0.0014258141163736582,
+ "total_loss": 0.6377727223601143,
+ "lyap1_mean": 0.029819054529070854,
+ "lyap1_max": 0.06220129504799843,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 373,
+ "sup_loss": 0.45877364918197205,
+ "rf_loss": 0.0003781233972404152,
+ "total_loss": 0.4595298959764529,
+ "lyap1_mean": -0.00847710482776165,
+ "lyap1_max": 0.054968465119600296,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 374,
+ "sup_loss": 0.5909596516583061,
+ "rf_loss": 0.0011252458207309246,
+ "total_loss": 0.593210143299768,
+ "lyap1_mean": 0.017213547602295876,
+ "lyap1_max": 0.05228547379374504,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 375,
+ "sup_loss": 0.5911643794401632,
+ "rf_loss": 0.0026812113355845213,
+ "total_loss": 0.5965268021113322,
+ "lyap1_mean": 0.03690722584724426,
+ "lyap1_max": 0.0882534310221672,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 376,
+ "sup_loss": 0.5646957293967803,
+ "rf_loss": 0.0003221248334739357,
+ "total_loss": 0.5653399790637281,
+ "lyap1_mean": 0.0035772337578237057,
+ "lyap1_max": 0.029390882700681686,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 377,
+ "sup_loss": 0.5370662891799999,
+ "rf_loss": 0.0008807771955616772,
+ "total_loss": 0.5388278435711232,
+ "lyap1_mean": 0.01626182347536087,
+ "lyap1_max": 0.04931570962071419,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 378,
+ "sup_loss": 0.5368878114592274,
+ "rf_loss": 0.0009738832013681531,
+ "total_loss": 0.5388355778619637,
+ "lyap1_mean": 0.019303476437926292,
+ "lyap1_max": 0.04168376326560974,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 379,
+ "sup_loss": 0.4462625602103073,
+ "rf_loss": 0.0009612395660951734,
+ "total_loss": 0.44818503934249765,
+ "lyap1_mean": 0.016683440655469894,
+ "lyap1_max": 0.05711882561445236,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 380,
+ "sup_loss": 0.6116706672773237,
+ "rf_loss": 0.001590995118021965,
+ "total_loss": 0.6148526575133676,
+ "lyap1_mean": 0.03517674282193184,
+ "lyap1_max": 0.07682108134031296,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 381,
+ "sup_loss": 0.6322786017526041,
+ "rf_loss": 0.0014299079775810242,
+ "total_loss": 0.6351384177077661,
+ "lyap1_mean": 0.03394228219985962,
+ "lyap1_max": 0.05472031235694885,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 382,
+ "sup_loss": 0.6448195715004711,
+ "rf_loss": 0.001617764588445425,
+ "total_loss": 0.6480551006773619,
+ "lyap1_mean": 0.03396252170205116,
+ "lyap1_max": 0.07566867768764496,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 383,
+ "sup_loss": 0.4812033283329372,
+ "rf_loss": 0.0008026605937629938,
+ "total_loss": 0.4828086495204632,
+ "lyap1_mean": 0.004754247143864632,
+ "lyap1_max": 0.04690777137875557,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 384,
+ "sup_loss": 0.5645138831225963,
+ "rf_loss": 0.0022601590026170015,
+ "total_loss": 0.5690342011278303,
+ "lyap1_mean": 0.023399390280246735,
+ "lyap1_max": 0.1000804603099823,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 385,
+ "sup_loss": 0.546096844718747,
+ "rf_loss": 0.0005646086647175252,
+ "total_loss": 0.547226062048182,
+ "lyap1_mean": 0.011412343010306358,
+ "lyap1_max": 0.04569428786635399,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 386,
+ "sup_loss": 0.44718956916645936,
+ "rf_loss": 0.0007475139573216438,
+ "total_loss": 0.44868459708110264,
+ "lyap1_mean": 0.004338840954005718,
+ "lyap1_max": 0.05603933334350586,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 387,
+ "sup_loss": 0.6044973129929592,
+ "rf_loss": 0.0008757746545597911,
+ "total_loss": 0.6062488623020788,
+ "lyap1_mean": 0.023867003619670868,
+ "lyap1_max": 0.05134608596563339,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 388,
+ "sup_loss": 0.5673712579995184,
+ "rf_loss": 0.00030462746508419514,
+ "total_loss": 0.5679805129296868,
+ "lyap1_mean": 0.008280654437839985,
+ "lyap1_max": 0.031211255118250847,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 389,
+ "sup_loss": 0.5820092501475468,
+ "rf_loss": 0.001148168696090579,
+ "total_loss": 0.5843055875397279,
+ "lyap1_mean": 0.017821330577135086,
+ "lyap1_max": 0.051373980939388275,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 390,
+ "sup_loss": 0.5000754271058057,
+ "rf_loss": 0.0011676670983433723,
+ "total_loss": 0.5024107613024924,
+ "lyap1_mean": 0.007275314070284367,
+ "lyap1_max": 0.07973878085613251,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 391,
+ "sup_loss": 0.5427377855816911,
+ "rf_loss": 0.0027551865205168724,
+ "total_loss": 0.5482481586227248,
+ "lyap1_mean": 0.04023400694131851,
+ "lyap1_max": 0.08328409492969513,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 392,
+ "sup_loss": 0.7055773893944459,
+ "rf_loss": 0.0011685742065310478,
+ "total_loss": 0.707914537807508,
+ "lyap1_mean": 0.030049344524741173,
+ "lyap1_max": 0.06332261860370636,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 393,
+ "sup_loss": 0.6967937573139926,
+ "rf_loss": 0.0016004056669771671,
+ "total_loss": 0.699994568647947,
+ "lyap1_mean": 0.03103642351925373,
+ "lyap1_max": 0.060234468430280685,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 394,
+ "sup_loss": 0.691300890845664,
+ "rf_loss": 0.0009667433332651854,
+ "total_loss": 0.6932343775121944,
+ "lyap1_mean": 0.02095755562186241,
+ "lyap1_max": 0.0504833348095417,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 395,
+ "sup_loss": 0.6201632426757927,
+ "rf_loss": 0.0020744665525853634,
+ "total_loss": 0.6243121757809634,
+ "lyap1_mean": 0.04265117645263672,
+ "lyap1_max": 0.07632705569267273,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 396,
+ "sup_loss": 0.5922991939239658,
+ "rf_loss": 0.003521756734699011,
+ "total_loss": 0.5993427073933638,
+ "lyap1_mean": 0.046551384031772614,
+ "lyap1_max": 0.09716302156448364,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 397,
+ "sup_loss": 0.48088416065908035,
+ "rf_loss": 0.0008925485890358686,
+ "total_loss": 0.4826692578371521,
+ "lyap1_mean": 0.008491726592183113,
+ "lyap1_max": 0.06461212784051895,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 398,
+ "sup_loss": 0.6291345367641267,
+ "rf_loss": 0.0024788244627416134,
+ "total_loss": 0.6340921856896099,
+ "lyap1_mean": 0.042999252676963806,
+ "lyap1_max": 0.07226461172103882,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 399,
+ "sup_loss": 0.6166133784365092,
+ "rf_loss": 0.0009675115579739213,
+ "total_loss": 0.618548401552457,
+ "lyap1_mean": 0.024963414296507835,
+ "lyap1_max": 0.04744831100106239,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 400,
+ "sup_loss": 0.5329247527479669,
+ "rf_loss": 0.001076853252016008,
+ "total_loss": 0.5350784592519989,
+ "lyap1_mean": 0.017678603529930115,
+ "lyap1_max": 0.06252121925354004,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 401,
+ "sup_loss": 0.604914608296972,
+ "rf_loss": 0.001820763573050499,
+ "total_loss": 0.608556135443073,
+ "lyap1_mean": 0.030763961374759674,
+ "lyap1_max": 0.07954153418540955,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 402,
+ "sup_loss": 0.6706053609902587,
+ "rf_loss": 0.0011093616485595703,
+ "total_loss": 0.6728240842873778,
+ "lyap1_mean": 0.03143412992358208,
+ "lyap1_max": 0.05381686985492706,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 403,
+ "sup_loss": 0.6669685747259587,
+ "rf_loss": 0.0023559541441500187,
+ "total_loss": 0.6716804830142588,
+ "lyap1_mean": 0.030915331095457077,
+ "lyap1_max": 0.07392431795597076,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 404,
+ "sup_loss": 0.4917204833623019,
+ "rf_loss": 0.0014735190197825432,
+ "total_loss": 0.494667521401867,
+ "lyap1_mean": 0.02469530701637268,
+ "lyap1_max": 0.06390626728534698,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 405,
+ "sup_loss": 0.6674170063765347,
+ "rf_loss": 0.0012114022392779589,
+ "total_loss": 0.6698398108550906,
+ "lyap1_mean": 0.02923121117055416,
+ "lyap1_max": 0.04823198914527893,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 406,
+ "sup_loss": 0.6999309654473382,
+ "rf_loss": 0.0009246236877515912,
+ "total_loss": 0.7017802128228414,
+ "lyap1_mean": 0.01947629451751709,
+ "lyap1_max": 0.04880226403474808,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 407,
+ "sup_loss": 0.555607811422259,
+ "rf_loss": 0.0008836649940349162,
+ "total_loss": 0.5573751414103288,
+ "lyap1_mean": 0.01641838066279888,
+ "lyap1_max": 0.05172473564743996,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 408,
+ "sup_loss": 0.5534635205684032,
+ "rf_loss": 0.0013765902258455753,
+ "total_loss": 0.5562167010200944,
+ "lyap1_mean": 0.019883694127202034,
+ "lyap1_max": 0.0696934163570404,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 409,
+ "sup_loss": 0.6959583600877389,
+ "rf_loss": 0.0012914931867271662,
+ "total_loss": 0.6985413464611933,
+ "lyap1_mean": 0.028169486671686172,
+ "lyap1_max": 0.07159527391195297,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 410,
+ "sup_loss": 0.6318248932094308,
+ "rf_loss": 0.0017840468790382147,
+ "total_loss": 0.6353929869675072,
+ "lyap1_mean": 0.02850835770368576,
+ "lyap1_max": 0.06243947148323059,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 411,
+ "sup_loss": 0.722226237611991,
+ "rf_loss": 0.0018545491620898247,
+ "total_loss": 0.7259353359361707,
+ "lyap1_mean": 0.031225290149450302,
+ "lyap1_max": 0.08773459494113922,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 412,
+ "sup_loss": 0.7041939725166431,
+ "rf_loss": 0.0013679268304258585,
+ "total_loss": 0.7069298261774948,
+ "lyap1_mean": 0.03513108193874359,
+ "lyap1_max": 0.053899526596069336,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 413,
+ "sup_loss": 0.5603354274552916,
+ "rf_loss": 0.0013697040267288685,
+ "total_loss": 0.5630748355087494,
+ "lyap1_mean": 0.02650696039199829,
+ "lyap1_max": 0.06426774710416794,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 414,
+ "sup_loss": 0.6868947141299235,
+ "rf_loss": 0.0021621743217110634,
+ "total_loss": 0.6912190627733457,
+ "lyap1_mean": 0.04185660555958748,
+ "lyap1_max": 0.0672273337841034,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 415,
+ "sup_loss": 0.5389336020364702,
+ "rf_loss": 0.0013611647300422192,
+ "total_loss": 0.5416559314965547,
+ "lyap1_mean": 0.029727961868047714,
+ "lyap1_max": 0.06044390797615051,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 416,
+ "sup_loss": 0.5574089887725717,
+ "rf_loss": 0.0014073876664042473,
+ "total_loss": 0.5602237641053802,
+ "lyap1_mean": 0.021959060803055763,
+ "lyap1_max": 0.06393137574195862,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 417,
+ "sup_loss": 0.6901732742440481,
+ "rf_loss": 0.0016607163706794381,
+ "total_loss": 0.6934947069854069,
+ "lyap1_mean": 0.03362180292606354,
+ "lyap1_max": 0.07655725628137589,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 418,
+ "sup_loss": 0.5100931437323883,
+ "rf_loss": 0.001727765193209052,
+ "total_loss": 0.5135486741188064,
+ "lyap1_mean": 0.01680164411664009,
+ "lyap1_max": 0.08980229496955872,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 419,
+ "sup_loss": 0.6186679859861706,
+ "rf_loss": 0.001602029544301331,
+ "total_loss": 0.6218720450747732,
+ "lyap1_mean": 0.02940332517027855,
+ "lyap1_max": 0.07560224086046219,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 420,
+ "sup_loss": 0.5920068338806009,
+ "rf_loss": 0.0024970234371721745,
+ "total_loss": 0.5970008807549453,
+ "lyap1_mean": 0.0408596470952034,
+ "lyap1_max": 0.07443667948246002,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 421,
+ "sup_loss": 0.596884516228192,
+ "rf_loss": 0.001122932997532189,
+ "total_loss": 0.5991303822232564,
+ "lyap1_mean": 0.0188863854855299,
+ "lyap1_max": 0.05301086604595184,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 422,
+ "sup_loss": 0.6084193991548708,
+ "rf_loss": 0.0013310142094269395,
+ "total_loss": 0.6110814275737246,
+ "lyap1_mean": 0.022077351808547974,
+ "lyap1_max": 0.06382454931735992,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 423,
+ "sup_loss": 0.5596960841738193,
+ "rf_loss": 0.002663696650415659,
+ "total_loss": 0.5650234774746506,
+ "lyap1_mean": 0.0424170158803463,
+ "lyap1_max": 0.08658874034881592,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 424,
+ "sup_loss": 0.6696068907885084,
+ "rf_loss": 0.0011113706277683377,
+ "total_loss": 0.6718296320440451,
+ "lyap1_mean": 0.02877005562186241,
+ "lyap1_max": 0.04884961619973183,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 425,
+ "sup_loss": 0.5607763693863926,
+ "rf_loss": 0.0011426034616306424,
+ "total_loss": 0.5630615763096539,
+ "lyap1_mean": 0.019622385501861572,
+ "lyap1_max": 0.052518732845783234,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 426,
+ "sup_loss": 0.6003269708539971,
+ "rf_loss": 0.0034494237042963505,
+ "total_loss": 0.6072258182625898,
+ "lyap1_mean": 0.03839016705751419,
+ "lyap1_max": 0.11221785098314285,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 427,
+ "sup_loss": 0.6404011346778596,
+ "rf_loss": 0.0014990278286859393,
+ "total_loss": 0.6433991903352315,
+ "lyap1_mean": 0.03183326870203018,
+ "lyap1_max": 0.057496532797813416,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 428,
+ "sup_loss": 0.5605893353313653,
+ "rf_loss": 0.0011246311478316784,
+ "total_loss": 0.5628385976270287,
+ "lyap1_mean": 0.01836850307881832,
+ "lyap1_max": 0.05581800267100334,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 429,
+ "sup_loss": 0.7009584827619778,
+ "rf_loss": 0.002839531982317567,
+ "total_loss": 0.7066375467266129,
+ "lyap1_mean": 0.04772181808948517,
+ "lyap1_max": 0.1016436517238617,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 430,
+ "sup_loss": 0.6632900203011659,
+ "rf_loss": 0.0023985549341887236,
+ "total_loss": 0.6680871301695434,
+ "lyap1_mean": 0.04397973418235779,
+ "lyap1_max": 0.08218581229448318,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 431,
+ "sup_loss": 0.6503723305187853,
+ "rf_loss": 0.003919655457139015,
+ "total_loss": 0.6582116414330633,
+ "lyap1_mean": 0.06077321618795395,
+ "lyap1_max": 0.08081717044115067,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 432,
+ "sup_loss": 0.5245349295626925,
+ "rf_loss": 0.0015380517579615116,
+ "total_loss": 0.5276110330786156,
+ "lyap1_mean": 0.026638243347406387,
+ "lyap1_max": 0.0690951719880104,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 433,
+ "sup_loss": 0.5947633843293647,
+ "rf_loss": 0.0022966116666793823,
+ "total_loss": 0.5993566076627235,
+ "lyap1_mean": 0.0385880209505558,
+ "lyap1_max": 0.07355015724897385,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 434,
+ "sup_loss": 0.5488637488452772,
+ "rf_loss": 0.001264163525775075,
+ "total_loss": 0.5513920758968274,
+ "lyap1_mean": 0.013775207102298737,
+ "lyap1_max": 0.06778475642204285,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 435,
+ "sup_loss": 0.46733905471229403,
+ "rf_loss": 0.0011881975224241614,
+ "total_loss": 0.46971544975714236,
+ "lyap1_mean": 0.021116111427545547,
+ "lyap1_max": 0.05689365789294243,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 436,
+ "sup_loss": 0.6040888380764724,
+ "rf_loss": 0.0011442219838500023,
+ "total_loss": 0.6063772820441724,
+ "lyap1_mean": 0.023307528346776962,
+ "lyap1_max": 0.06207907199859619,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 437,
+ "sup_loss": 0.5768766184085905,
+ "rf_loss": 0.001301504671573639,
+ "total_loss": 0.5794796277517378,
+ "lyap1_mean": 0.01848381757736206,
+ "lyap1_max": 0.062487926334142685,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 438,
+ "sup_loss": 0.5652751971438419,
+ "rf_loss": 0.0021508727222681046,
+ "total_loss": 0.5695769425883781,
+ "lyap1_mean": 0.032309822738170624,
+ "lyap1_max": 0.08094464987516403,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 439,
+ "sup_loss": 0.5618787204985325,
+ "rf_loss": 0.0008202380267903209,
+ "total_loss": 0.5635191965521131,
+ "lyap1_mean": 0.010942287743091583,
+ "lyap1_max": 0.060497626662254333,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 440,
+ "sup_loss": 0.7395190379062347,
+ "rf_loss": 0.0015163325006142259,
+ "total_loss": 0.7425517029074632,
+ "lyap1_mean": 0.03313194215297699,
+ "lyap1_max": 0.07704634219408035,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 441,
+ "sup_loss": 0.5640747289956284,
+ "rf_loss": 0.0012293674517422915,
+ "total_loss": 0.566533463899113,
+ "lyap1_mean": 0.023489734157919884,
+ "lyap1_max": 0.05283398553729057,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 442,
+ "sup_loss": 0.6379123307784489,
+ "rf_loss": 0.0012584684882313013,
+ "total_loss": 0.6404292677549115,
+ "lyap1_mean": 0.03152833506464958,
+ "lyap1_max": 0.05044468492269516,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 443,
+ "sup_loss": 0.7038264021324044,
+ "rf_loss": 0.0011966486927121878,
+ "total_loss": 0.7062196995178288,
+ "lyap1_mean": 0.0273570753633976,
+ "lyap1_max": 0.06497225910425186,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 444,
+ "sup_loss": 0.6421399927309374,
+ "rf_loss": 0.0027628466486930847,
+ "total_loss": 0.6476656860283235,
+ "lyap1_mean": 0.04152507334947586,
+ "lyap1_max": 0.11397215723991394,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 445,
+ "sup_loss": 0.6036835768122288,
+ "rf_loss": 0.002176757901906967,
+ "total_loss": 0.6080370926160428,
+ "lyap1_mean": 0.04195921868085861,
+ "lyap1_max": 0.07177602499723434,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 446,
+ "sup_loss": 0.6306206303205093,
+ "rf_loss": 0.0016777528217062354,
+ "total_loss": 0.6339761359639218,
+ "lyap1_mean": 0.03514160215854645,
+ "lyap1_max": 0.07657361030578613,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 447,
+ "sup_loss": 0.4948876202577503,
+ "rf_loss": 0.0013348642969503999,
+ "total_loss": 0.4975573488516511,
+ "lyap1_mean": 0.017772803083062172,
+ "lyap1_max": 0.06785963475704193,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 448,
+ "sup_loss": 0.7085982749776991,
+ "rf_loss": 0.0014493782073259354,
+ "total_loss": 0.711497031392351,
+ "lyap1_mean": 0.03002648800611496,
+ "lyap1_max": 0.07049822062253952,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 449,
+ "sup_loss": 0.6399639188484274,
+ "rf_loss": 0.0010814894922077656,
+ "total_loss": 0.6421268978328429,
+ "lyap1_mean": 0.020463528111577034,
+ "lyap1_max": 0.060484692454338074,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 450,
+ "sup_loss": 0.6028417823469661,
+ "rf_loss": 0.000925443135201931,
+ "total_loss": 0.6046926686173699,
+ "lyap1_mean": 0.018899623304605484,
+ "lyap1_max": 0.05595022439956665,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 451,
+ "sup_loss": 0.6105707457584933,
+ "rf_loss": 0.0003892937384080142,
+ "total_loss": 0.6113493332353094,
+ "lyap1_mean": 0.01112421415746212,
+ "lyap1_max": 0.04178476706147194,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 452,
+ "sup_loss": 0.6295050013910861,
+ "rf_loss": 0.0014721534680575132,
+ "total_loss": 0.6324493083272011,
+ "lyap1_mean": 0.018579931929707527,
+ "lyap1_max": 0.07591743767261505,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 453,
+ "sup_loss": 0.6258393836305752,
+ "rf_loss": 0.0007461663335561752,
+ "total_loss": 0.6273317162976876,
+ "lyap1_mean": 0.0068776560947299,
+ "lyap1_max": 0.052892252802848816,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 454,
+ "sup_loss": 0.5839507210312856,
+ "rf_loss": 0.0006138813332654536,
+ "total_loss": 0.5851784836978166,
+ "lyap1_mean": 0.0158836767077446,
+ "lyap1_max": 0.050614845007658005,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 455,
+ "sup_loss": 0.6083910274342823,
+ "rf_loss": 0.0015785483410581946,
+ "total_loss": 0.6115481241163987,
+ "lyap1_mean": 0.02350039780139923,
+ "lyap1_max": 0.0833461731672287,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 456,
+ "sup_loss": 0.4796421580287935,
+ "rf_loss": 0.0022549910936504602,
+ "total_loss": 0.48415214021609443,
+ "lyap1_mean": 0.02713378518819809,
+ "lyap1_max": 0.08657857775688171,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 457,
+ "sup_loss": 0.5417684060344278,
+ "rf_loss": 0.0009110141545534134,
+ "total_loss": 0.5435904343435346,
+ "lyap1_mean": 0.008908838033676147,
+ "lyap1_max": 0.07267224043607712,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 458,
+ "sup_loss": 0.8310837572718051,
+ "rf_loss": 0.0014412973541766405,
+ "total_loss": 0.8339663519801583,
+ "lyap1_mean": 0.033413004130125046,
+ "lyap1_max": 0.053661048412323,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 459,
+ "sup_loss": 0.7026376593741178,
+ "rf_loss": 0.0016228267922997475,
+ "total_loss": 0.7058833129587173,
+ "lyap1_mean": 0.022269679233431816,
+ "lyap1_max": 0.10192296653985977,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 460,
+ "sup_loss": 0.5525815319883318,
+ "rf_loss": 0.0007429092656821012,
+ "total_loss": 0.554067350519696,
+ "lyap1_mean": 0.012832710519433022,
+ "lyap1_max": 0.05043958127498627,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 461,
+ "sup_loss": 0.5932913396957571,
+ "rf_loss": 0.001068958779796958,
+ "total_loss": 0.595429257255351,
+ "lyap1_mean": 0.014817174524068832,
+ "lyap1_max": 0.059222135692834854,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 462,
+ "sup_loss": 0.6701587915049403,
+ "rf_loss": 0.0012979130260646343,
+ "total_loss": 0.6727546175570696,
+ "lyap1_mean": 0.0219709612429142,
+ "lyap1_max": 0.06083554029464722,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 463,
+ "sup_loss": 0.7517694543023533,
+ "rf_loss": 0.0009595297160558403,
+ "total_loss": 0.753688513734465,
+ "lyap1_mean": 0.023528367280960083,
+ "lyap1_max": 0.054092761129140854,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 464,
+ "sup_loss": 0.6083316199771643,
+ "rf_loss": 0.0010076083708554506,
+ "total_loss": 0.6103468367188752,
+ "lyap1_mean": 0.01638462394475937,
+ "lyap1_max": 0.06186089292168617,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 465,
+ "sup_loss": 0.6068780718241519,
+ "rf_loss": 0.002179594011977315,
+ "total_loss": 0.6112372598481065,
+ "lyap1_mean": 0.03126678615808487,
+ "lyap1_max": 0.08812110871076584,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 466,
+ "sup_loss": 0.5295754618273351,
+ "rf_loss": 0.00038373132701963186,
+ "total_loss": 0.5303429244813743,
+ "lyap1_mean": 0.0069247703067958355,
+ "lyap1_max": 0.03790761157870293,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 467,
+ "sup_loss": 0.5087647143543396,
+ "rf_loss": 0.0006316503859125078,
+ "total_loss": 0.5100280151261646,
+ "lyap1_mean": 0.010855133645236492,
+ "lyap1_max": 0.051842667162418365,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 468,
+ "sup_loss": 0.673605104731305,
+ "rf_loss": 0.0031878165900707245,
+ "total_loss": 0.6799807379114464,
+ "lyap1_mean": 0.04838176816701889,
+ "lyap1_max": 0.08802217990159988,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 469,
+ "sup_loss": 0.6393094752987473,
+ "rf_loss": 0.0007879426702857018,
+ "total_loss": 0.6408853606393187,
+ "lyap1_mean": 0.022862929850816727,
+ "lyap1_max": 0.05070583149790764,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 470,
+ "sup_loss": 0.5560955028337307,
+ "rf_loss": 0.0003449928481131792,
+ "total_loss": 0.556785488529957,
+ "lyap1_mean": 0.001549532637000084,
+ "lyap1_max": 0.04323792830109596,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 471,
+ "sup_loss": 0.746650581222621,
+ "rf_loss": 0.0010243309661746025,
+ "total_loss": 0.7486992431549702,
+ "lyap1_mean": 0.02167872153222561,
+ "lyap1_max": 0.06100058555603027,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 472,
+ "sup_loss": 0.5447223846778337,
+ "rf_loss": 0.001232737209647894,
+ "total_loss": 0.5471878590971295,
+ "lyap1_mean": 0.030615929514169693,
+ "lyap1_max": 0.05545726418495178,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 473,
+ "sup_loss": 0.4821326386727586,
+ "rf_loss": 0.0013334652176126838,
+ "total_loss": 0.48479956910798394,
+ "lyap1_mean": 0.01017845794558525,
+ "lyap1_max": 0.06054919213056564,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 474,
+ "sup_loss": 0.469176469753423,
+ "rf_loss": 0.001135223894380033,
+ "total_loss": 0.47144691754218304,
+ "lyap1_mean": 0.007871401496231556,
+ "lyap1_max": 0.0778409019112587,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 475,
+ "sup_loss": 0.7714313769061095,
+ "rf_loss": 0.0013427040539681911,
+ "total_loss": 0.7741167850140459,
+ "lyap1_mean": 0.030844738706946373,
+ "lyap1_max": 0.05878452956676483,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 476,
+ "sup_loss": 0.4947547582352849,
+ "rf_loss": 0.00026581838028505445,
+ "total_loss": 0.49528639499585503,
+ "lyap1_mean": -0.00030439067631959915,
+ "lyap1_max": 0.03847603499889374,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 477,
+ "sup_loss": 0.48943805702990745,
+ "rf_loss": 0.0007287848857231438,
+ "total_loss": 0.49089562680135373,
+ "lyap1_mean": 0.00991931650787592,
+ "lyap1_max": 0.0441783182322979,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 478,
+ "sup_loss": 0.5827011291377454,
+ "rf_loss": 0.0022891401313245296,
+ "total_loss": 0.5872794094003945,
+ "lyap1_mean": 0.03098113089799881,
+ "lyap1_max": 0.07988177239894867,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 479,
+ "sup_loss": 0.5808523616647203,
+ "rf_loss": 0.0006033865502104163,
+ "total_loss": 0.5820591347651412,
+ "lyap1_mean": 0.014023852534592152,
+ "lyap1_max": 0.04952913895249367,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 480,
+ "sup_loss": 0.5598009815468453,
+ "rf_loss": 0.0013207067968323827,
+ "total_loss": 0.5624423951405101,
+ "lyap1_mean": 0.02774243801832199,
+ "lyap1_max": 0.059908829629421234,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 481,
+ "sup_loss": 0.5417788915010339,
+ "rf_loss": 0.0011352775618433952,
+ "total_loss": 0.5440494466247207,
+ "lyap1_mean": 0.017743077129125595,
+ "lyap1_max": 0.0762414038181305,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 482,
+ "sup_loss": 0.6633216869539753,
+ "rf_loss": 0.0011324231745675206,
+ "total_loss": 0.6655865333031104,
+ "lyap1_mean": 0.02618720382452011,
+ "lyap1_max": 0.0628528967499733,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 483,
+ "sup_loss": 0.560359390203842,
+ "rf_loss": 0.0010801632888615131,
+ "total_loss": 0.562519716781565,
+ "lyap1_mean": 0.013779498636722565,
+ "lyap1_max": 0.061067134141922,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 484,
+ "sup_loss": 0.5351984341993822,
+ "rf_loss": 0.0007298738928511739,
+ "total_loss": 0.5366581819850845,
+ "lyap1_mean": 0.00417329603806138,
+ "lyap1_max": 0.045899540185928345,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 485,
+ "sup_loss": 0.5633185417212541,
+ "rf_loss": 0.0011627718340605497,
+ "total_loss": 0.5656440853893752,
+ "lyap1_mean": 0.00965491309762001,
+ "lyap1_max": 0.08894913643598557,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 486,
+ "sup_loss": 0.721599762961171,
+ "rf_loss": 0.001572229666635394,
+ "total_loss": 0.7247442222944418,
+ "lyap1_mean": 0.03182617202401161,
+ "lyap1_max": 0.06411103904247284,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 487,
+ "sup_loss": 0.8464127036200656,
+ "rf_loss": 0.0014170873910188675,
+ "total_loss": 0.8492468784021033,
+ "lyap1_mean": 0.026021340861916542,
+ "lyap1_max": 0.06342040747404099,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 488,
+ "sup_loss": 0.6261243958067153,
+ "rf_loss": 0.0010892923455685377,
+ "total_loss": 0.6283029804978524,
+ "lyap1_mean": 0.022739561274647713,
+ "lyap1_max": 0.07830224186182022,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 489,
+ "sup_loss": 0.5477649872210888,
+ "rf_loss": 0.0012018752750009298,
+ "total_loss": 0.5501687377710907,
+ "lyap1_mean": 0.025041161105036736,
+ "lyap1_max": 0.0675778016448021,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 490,
+ "sup_loss": 0.6047412968132676,
+ "rf_loss": 0.0011870783055201173,
+ "total_loss": 0.6071154534243078,
+ "lyap1_mean": 0.02321557328104973,
+ "lyap1_max": 0.08024711906909943,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 491,
+ "sup_loss": 0.5617622856478808,
+ "rf_loss": 0.002233229810371995,
+ "total_loss": 0.5662287452686248,
+ "lyap1_mean": 0.027388274669647217,
+ "lyap1_max": 0.08551545441150665,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 492,
+ "sup_loss": 0.6010321224898746,
+ "rf_loss": 0.0006628678529523313,
+ "total_loss": 0.6023578581957792,
+ "lyap1_mean": 0.015618358738720417,
+ "lyap1_max": 0.0494055412709713,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 493,
+ "sup_loss": 0.5898786286380552,
+ "rf_loss": 0.0017371904104948044,
+ "total_loss": 0.5933530094590448,
+ "lyap1_mean": 0.02964531071484089,
+ "lyap1_max": 0.05694723129272461,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 494,
+ "sup_loss": 0.5484427513149676,
+ "rf_loss": 0.0011068193707615137,
+ "total_loss": 0.5506563900564906,
+ "lyap1_mean": 0.013178011402487755,
+ "lyap1_max": 0.07563658803701401,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 495,
+ "sup_loss": 0.7040911794088791,
+ "rf_loss": 0.001240135752595961,
+ "total_loss": 0.706571450914071,
+ "lyap1_mean": 0.02822929620742798,
+ "lyap1_max": 0.059161476790905,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 496,
+ "sup_loss": 0.5758578483101842,
+ "rf_loss": 0.0019225343130528927,
+ "total_loss": 0.57970291693629,
+ "lyap1_mean": 0.03150187432765961,
+ "lyap1_max": 0.0886862576007843,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 497,
+ "sup_loss": 0.6662925033029449,
+ "rf_loss": 0.002538133878260851,
+ "total_loss": 0.6713687710594666,
+ "lyap1_mean": 0.04542361572384834,
+ "lyap1_max": 0.09649137407541275,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 498,
+ "sup_loss": 0.6564635889924676,
+ "rf_loss": 0.0013882670318707824,
+ "total_loss": 0.6592401230562092,
+ "lyap1_mean": 0.02568008378148079,
+ "lyap1_max": 0.07915139198303223,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 499,
+ "sup_loss": 0.5545165591980932,
+ "rf_loss": 0.0016263403231278062,
+ "total_loss": 0.5577692398443488,
+ "lyap1_mean": 0.0313965380191803,
+ "lyap1_max": 0.07053118944168091,
+ "frac_above_star": 0.875
+ }
+ ],
+ "evals": [
+ {
+ "step": 0,
+ "acc": 0.59765625,
+ "tok_acc": 0.8614245756172839
+ },
+ {
+ "step": 100,
+ "acc": 0.623046875,
+ "tok_acc": 0.8663676697530864
+ },
+ {
+ "step": 200,
+ "acc": 0.595703125,
+ "tok_acc": 0.8504292052469136
+ },
+ {
+ "step": 300,
+ "acc": 0.564453125,
+ "tok_acc": 0.8463541666666666
+ },
+ {
+ "step": 400,
+ "acc": 0.482421875,
+ "tok_acc": 0.8235918209876543
+ },
+ {
+ "step": 500,
+ "acc": 0.52734375,
+ "tok_acc": 0.8367332175925926
+ },
+ {
+ "step": 500,
+ "acc": 0.52734375,
+ "tok_acc": 0.8367332175925926
+ }
+ ],
+ "final_acc": 0.52734375,
+ "final_tok_acc": 0.8367332175925926
+} \ No newline at end of file