summaryrefslogtreecommitdiff
path: root/research/flossing/step5_E_trm_step_26041_alpha3_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_E_trm_step_26041_alpha3_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_E_trm_step_26041_alpha3_lstar0.json')
-rw-r--r--research/flossing/step5_E_trm_step_26041_alpha3_lstar0.json4562
1 files changed, 4562 insertions, 0 deletions
diff --git a/research/flossing/step5_E_trm_step_26041_alpha3_lstar0.json b/research/flossing/step5_E_trm_step_26041_alpha3_lstar0.json
new file mode 100644
index 0000000..16cb794
--- /dev/null
+++ b/research/flossing/step5_E_trm_step_26041_alpha3_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": 3.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_E_trm_step_26041_alpha3_lstar0.json"
+ },
+ "initial_acc": 0.59765625,
+ "initial_tok_acc": 0.8614245756172839,
+ "steps": [
+ {
+ "step": 0,
+ "sup_loss": 0.4102128812440103,
+ "rf_loss": 0.001729956129565835,
+ "total_loss": 0.41540274986553843,
+ "lyap1_mean": 0.010343756526708603,
+ "lyap1_max": 0.0999058187007904,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 1,
+ "sup_loss": 0.4587729675395584,
+ "rf_loss": 0.001839093747548759,
+ "total_loss": 0.46429024866578933,
+ "lyap1_mean": 0.023730961605906487,
+ "lyap1_max": 0.06171288341283798,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 2,
+ "sup_loss": 0.5582489876718982,
+ "rf_loss": 0.0023971027694642544,
+ "total_loss": 0.565440295980291,
+ "lyap1_mean": 0.0315873883664608,
+ "lyap1_max": 0.08248347043991089,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 3,
+ "sup_loss": 0.5198950097213367,
+ "rf_loss": 0.0011517263483256102,
+ "total_loss": 0.5233501887663136,
+ "lyap1_mean": 0.009176298975944519,
+ "lyap1_max": 0.05362993851304054,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 4,
+ "sup_loss": 0.4928723679419338,
+ "rf_loss": 0.0019313822267577052,
+ "total_loss": 0.4986665145057916,
+ "lyap1_mean": 0.019718090072274208,
+ "lyap1_max": 0.10264372080564499,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 5,
+ "sup_loss": 0.534728351356193,
+ "rf_loss": 0.0015017512487247586,
+ "total_loss": 0.5392336052187826,
+ "lyap1_mean": 0.014114569872617722,
+ "lyap1_max": 0.07501525431871414,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 6,
+ "sup_loss": 0.4467511301429089,
+ "rf_loss": 0.002668517641723156,
+ "total_loss": 0.45475668306807837,
+ "lyap1_mean": 0.038729555904865265,
+ "lyap1_max": 0.08213197439908981,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 7,
+ "sup_loss": 0.5533591018411943,
+ "rf_loss": 0.002191891660913825,
+ "total_loss": 0.5599347765911051,
+ "lyap1_mean": 0.04383637011051178,
+ "lyap1_max": 0.07133716344833374,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 8,
+ "sup_loss": 0.6037007663012313,
+ "rf_loss": 0.005539372563362122,
+ "total_loss": 0.6203188839913176,
+ "lyap1_mean": 0.05772095173597336,
+ "lyap1_max": 0.1158839762210846,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 9,
+ "sup_loss": 0.5412583659598922,
+ "rf_loss": 0.0015069501241669059,
+ "total_loss": 0.5457792162159776,
+ "lyap1_mean": 0.02460719831287861,
+ "lyap1_max": 0.06327586621046066,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 10,
+ "sup_loss": 0.5510983510428692,
+ "rf_loss": 0.002169545739889145,
+ "total_loss": 0.5576069882625366,
+ "lyap1_mean": 0.03553841635584831,
+ "lyap1_max": 0.07107892632484436,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 11,
+ "sup_loss": 0.5518617957675372,
+ "rf_loss": 0.002577710896730423,
+ "total_loss": 0.5595949284577285,
+ "lyap1_mean": 0.034804817289114,
+ "lyap1_max": 0.0883401557803154,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 12,
+ "sup_loss": 0.4933140076469628,
+ "rf_loss": 0.0035023814998567104,
+ "total_loss": 0.5038211516808717,
+ "lyap1_mean": 0.04045455902814865,
+ "lyap1_max": 0.0867755338549614,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 13,
+ "sup_loss": 0.49539470066683544,
+ "rf_loss": 0.001415597042068839,
+ "total_loss": 0.4996414915602113,
+ "lyap1_mean": 0.019364353269338608,
+ "lyap1_max": 0.0735095664858818,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 14,
+ "sup_loss": 0.4172609960295494,
+ "rf_loss": 0.0019194718915969133,
+ "total_loss": 0.4230194119371708,
+ "lyap1_mean": 0.021599508821964264,
+ "lyap1_max": 0.06736347824335098,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 15,
+ "sup_loss": 0.5974193827701453,
+ "rf_loss": 0.002021556720137596,
+ "total_loss": 0.6034840529305581,
+ "lyap1_mean": 0.029992777854204178,
+ "lyap1_max": 0.06518911570310593,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 16,
+ "sup_loss": 0.5127713779039956,
+ "rf_loss": 0.0049429903738200665,
+ "total_loss": 0.5276003485597945,
+ "lyap1_mean": 0.052216365933418274,
+ "lyap1_max": 0.10932855308055878,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 17,
+ "sup_loss": 0.6101392383879535,
+ "rf_loss": 0.0024135229177773,
+ "total_loss": 0.6173798071412854,
+ "lyap1_mean": 0.04433632642030716,
+ "lyap1_max": 0.07424566149711609,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 18,
+ "sup_loss": 0.489416913650414,
+ "rf_loss": 0.0009684020187705755,
+ "total_loss": 0.49232211970672574,
+ "lyap1_mean": 0.011279753409326077,
+ "lyap1_max": 0.054719675332307816,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 19,
+ "sup_loss": 0.5307243934325625,
+ "rf_loss": 0.0025468275416642427,
+ "total_loss": 0.5383648762903859,
+ "lyap1_mean": 0.03241370618343353,
+ "lyap1_max": 0.0873996913433075,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 20,
+ "sup_loss": 0.513380038008646,
+ "rf_loss": 0.002923419000580907,
+ "total_loss": 0.5221502952432193,
+ "lyap1_mean": 0.03520480543375015,
+ "lyap1_max": 0.07982706278562546,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 21,
+ "sup_loss": 0.4335927576048609,
+ "rf_loss": 0.0015729477163404226,
+ "total_loss": 0.4383116005210515,
+ "lyap1_mean": 0.020967800170183182,
+ "lyap1_max": 0.06172121316194534,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 22,
+ "sup_loss": 0.4167416811344982,
+ "rf_loss": 0.001362188020721078,
+ "total_loss": 0.4208282454294921,
+ "lyap1_mean": 0.010166887193918228,
+ "lyap1_max": 0.06990179419517517,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 23,
+ "sup_loss": 0.5786363910126815,
+ "rf_loss": 0.002708323998376727,
+ "total_loss": 0.586761362774981,
+ "lyap1_mean": 0.03408357501029968,
+ "lyap1_max": 0.08675878494977951,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 24,
+ "sup_loss": 0.5503203814764592,
+ "rf_loss": 0.0021956812124699354,
+ "total_loss": 0.5569074248810384,
+ "lyap1_mean": 0.03025444597005844,
+ "lyap1_max": 0.06667434424161911,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 25,
+ "sup_loss": 0.653926459179732,
+ "rf_loss": 0.002272757701575756,
+ "total_loss": 0.6607447322844593,
+ "lyap1_mean": 0.04148595780134201,
+ "lyap1_max": 0.057667240500450134,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 26,
+ "sup_loss": 0.6357653809297725,
+ "rf_loss": 0.002341093262657523,
+ "total_loss": 0.6427886604849145,
+ "lyap1_mean": 0.03643970936536789,
+ "lyap1_max": 0.07376095652580261,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 27,
+ "sup_loss": 0.40535584042628003,
+ "rf_loss": 0.00241992250084877,
+ "total_loss": 0.41261560792882634,
+ "lyap1_mean": 0.012843077071011066,
+ "lyap1_max": 0.07629286497831345,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 28,
+ "sup_loss": 0.5831144510225259,
+ "rf_loss": 0.002144443104043603,
+ "total_loss": 0.5895477805674874,
+ "lyap1_mean": 0.03229536861181259,
+ "lyap1_max": 0.07604295760393143,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 29,
+ "sup_loss": 0.6378075635356896,
+ "rf_loss": 0.004033805336803198,
+ "total_loss": 0.6499089790804379,
+ "lyap1_mean": 0.04783506691455841,
+ "lyap1_max": 0.10899946838617325,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 30,
+ "sup_loss": 0.569944160372001,
+ "rf_loss": 0.0014208657667040825,
+ "total_loss": 0.5742067576721133,
+ "lyap1_mean": 0.026495128870010376,
+ "lyap1_max": 0.060824599117040634,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 31,
+ "sup_loss": 0.4971865440778928,
+ "rf_loss": 0.003051013220101595,
+ "total_loss": 0.5063395842038589,
+ "lyap1_mean": 0.03133603557944298,
+ "lyap1_max": 0.12133423984050751,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 32,
+ "sup_loss": 0.4773206729269174,
+ "rf_loss": 0.003067057579755783,
+ "total_loss": 0.4865218456661847,
+ "lyap1_mean": 0.03498554602265358,
+ "lyap1_max": 0.08951087296009064,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 33,
+ "sup_loss": 0.46951049715685345,
+ "rf_loss": 0.0010258392430841923,
+ "total_loss": 0.472588014886106,
+ "lyap1_mean": 0.009763272479176521,
+ "lyap1_max": 0.07488402724266052,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 34,
+ "sup_loss": 0.6645006576677928,
+ "rf_loss": 0.0032217688858509064,
+ "total_loss": 0.6741659643253455,
+ "lyap1_mean": 0.04575226083397865,
+ "lyap1_max": 0.0775083377957344,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 35,
+ "sup_loss": 0.4370628414339835,
+ "rf_loss": 0.0022952572908252478,
+ "total_loss": 0.4439486130736286,
+ "lyap1_mean": 0.023110046982765198,
+ "lyap1_max": 0.07939014583826065,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 36,
+ "sup_loss": 0.4144963414806018,
+ "rf_loss": 0.0014791609719395638,
+ "total_loss": 0.4189338243964205,
+ "lyap1_mean": 0.015434014610946178,
+ "lyap1_max": 0.0765824019908905,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 37,
+ "sup_loss": 0.5674724230356092,
+ "rf_loss": 0.0015549375675618649,
+ "total_loss": 0.5721372357382948,
+ "lyap1_mean": 0.028311721980571747,
+ "lyap1_max": 0.07004119455814362,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 38,
+ "sup_loss": 0.4132038726200128,
+ "rf_loss": 0.0017437408678233624,
+ "total_loss": 0.4184350952234829,
+ "lyap1_mean": 0.014487679116427898,
+ "lyap1_max": 0.0831158235669136,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 39,
+ "sup_loss": 0.5932210363474596,
+ "rf_loss": 0.0031733792275190353,
+ "total_loss": 0.6027411740300167,
+ "lyap1_mean": 0.026424482464790344,
+ "lyap1_max": 0.13468006253242493,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 40,
+ "sup_loss": 0.6433411628581457,
+ "rf_loss": 0.0031640767119824886,
+ "total_loss": 0.6528333925284319,
+ "lyap1_mean": 0.04783175513148308,
+ "lyap1_max": 0.08204089850187302,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 41,
+ "sup_loss": 0.46517480047314097,
+ "rf_loss": 0.004277516156435013,
+ "total_loss": 0.478007348942446,
+ "lyap1_mean": 0.03988983854651451,
+ "lyap1_max": 0.10102134943008423,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 42,
+ "sup_loss": 0.5500466404206737,
+ "rf_loss": 0.0014042237307876348,
+ "total_loss": 0.554259311380206,
+ "lyap1_mean": 0.013508940115571022,
+ "lyap1_max": 0.07865739613771439,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 43,
+ "sup_loss": 0.49880994754977287,
+ "rf_loss": 0.0018332977779209614,
+ "total_loss": 0.5043098408835358,
+ "lyap1_mean": 0.013347750529646873,
+ "lyap1_max": 0.09141816943883896,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 44,
+ "sup_loss": 0.6899815759612378,
+ "rf_loss": 0.0014784978702664375,
+ "total_loss": 0.6944170695720371,
+ "lyap1_mean": 0.03379950672388077,
+ "lyap1_max": 0.05639614909887314,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 45,
+ "sup_loss": 0.5561127642057382,
+ "rf_loss": 0.0025772354565560818,
+ "total_loss": 0.5638444705754064,
+ "lyap1_mean": 0.037059467285871506,
+ "lyap1_max": 0.08414296805858612,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 46,
+ "sup_loss": 0.5701475859234344,
+ "rf_loss": 0.002350148279219866,
+ "total_loss": 0.577198030761094,
+ "lyap1_mean": 0.027752883732318878,
+ "lyap1_max": 0.09237787872552872,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 47,
+ "sup_loss": 0.529564956335104,
+ "rf_loss": 0.00043470162199810147,
+ "total_loss": 0.530869061259306,
+ "lyap1_mean": 0.004842753056436777,
+ "lyap1_max": 0.04594740644097328,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 48,
+ "sup_loss": 0.6216756640225529,
+ "rf_loss": 0.0025787658523768187,
+ "total_loss": 0.6294119613468527,
+ "lyap1_mean": 0.047410719096660614,
+ "lyap1_max": 0.07117260992527008,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 49,
+ "sup_loss": 0.5357269801546288,
+ "rf_loss": 0.004162909463047981,
+ "total_loss": 0.5482157085437728,
+ "lyap1_mean": 0.06355344504117966,
+ "lyap1_max": 0.07828190922737122,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 50,
+ "sup_loss": 0.6404430295319699,
+ "rf_loss": 0.0030129647348076105,
+ "total_loss": 0.6494819239692233,
+ "lyap1_mean": 0.04354946315288544,
+ "lyap1_max": 0.0881657749414444,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 51,
+ "sup_loss": 0.6439239893371502,
+ "rf_loss": 0.0026243906468153,
+ "total_loss": 0.6517971612775961,
+ "lyap1_mean": 0.044180117547512054,
+ "lyap1_max": 0.07986723631620407,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 52,
+ "sup_loss": 0.329550616358829,
+ "rf_loss": 0.0006979011814109981,
+ "total_loss": 0.3316443198448543,
+ "lyap1_mean": -0.017721693962812424,
+ "lyap1_max": 0.07185425609350204,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 53,
+ "sup_loss": 0.6014252641484072,
+ "rf_loss": 0.0021160561591386795,
+ "total_loss": 0.6077734326258233,
+ "lyap1_mean": 0.027308031916618347,
+ "lyap1_max": 0.07465166598558426,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 54,
+ "sup_loss": 0.5635453518999959,
+ "rf_loss": 0.0031520798802375793,
+ "total_loss": 0.5730015915407086,
+ "lyap1_mean": 0.039841920137405396,
+ "lyap1_max": 0.08462962508201599,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 55,
+ "sup_loss": 0.5744404393331992,
+ "rf_loss": 0.0013634476345032454,
+ "total_loss": 0.5785307820038783,
+ "lyap1_mean": 0.024579159915447235,
+ "lyap1_max": 0.06698872894048691,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 56,
+ "sup_loss": 0.5635254038007753,
+ "rf_loss": 0.002705925377085805,
+ "total_loss": 0.5716431801648634,
+ "lyap1_mean": 0.034121107310056686,
+ "lyap1_max": 0.1008274108171463,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 57,
+ "sup_loss": 0.5664822192477583,
+ "rf_loss": 0.0016449041431769729,
+ "total_loss": 0.5714169315608739,
+ "lyap1_mean": 0.021268170326948166,
+ "lyap1_max": 0.09103142470121384,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 58,
+ "sup_loss": 0.535860661091187,
+ "rf_loss": 0.0025254469364881516,
+ "total_loss": 0.5434370019006515,
+ "lyap1_mean": 0.034991759806871414,
+ "lyap1_max": 0.06924393028020859,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 59,
+ "sup_loss": 0.5003216243552555,
+ "rf_loss": 0.003645685501396656,
+ "total_loss": 0.5112586808594455,
+ "lyap1_mean": 0.03776777908205986,
+ "lyap1_max": 0.08973546326160431,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 60,
+ "sup_loss": 0.5091641554472753,
+ "rf_loss": 0.0006395512027665973,
+ "total_loss": 0.5110828090555751,
+ "lyap1_mean": 0.004964773077517748,
+ "lyap1_max": 0.04653880372643471,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 61,
+ "sup_loss": 0.5433206697975771,
+ "rf_loss": 0.002848234958946705,
+ "total_loss": 0.5518653746744172,
+ "lyap1_mean": 0.04407982528209686,
+ "lyap1_max": 0.07906471937894821,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 62,
+ "sup_loss": 0.45983319658688043,
+ "rf_loss": 0.0008877593209035695,
+ "total_loss": 0.4624964746077988,
+ "lyap1_mean": 0.01752316951751709,
+ "lyap1_max": 0.05455794185400009,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 63,
+ "sup_loss": 0.5402734798259182,
+ "rf_loss": 0.002091822447255254,
+ "total_loss": 0.5465489474005146,
+ "lyap1_mean": 0.025376953184604645,
+ "lyap1_max": 0.08225688338279724,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 64,
+ "sup_loss": 0.4915187021818133,
+ "rf_loss": 0.0014040949754416943,
+ "total_loss": 0.4957309871081384,
+ "lyap1_mean": 0.016526978462934494,
+ "lyap1_max": 0.08137242496013641,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 65,
+ "sup_loss": 0.6251527399808097,
+ "rf_loss": 0.002534997882321477,
+ "total_loss": 0.6327577338606047,
+ "lyap1_mean": 0.03451164811849594,
+ "lyap1_max": 0.08757395297288895,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 66,
+ "sup_loss": 0.48736121449921305,
+ "rf_loss": 0.002273815916851163,
+ "total_loss": 0.4941826624825972,
+ "lyap1_mean": 0.027597032487392426,
+ "lyap1_max": 0.08562694489955902,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 67,
+ "sup_loss": 0.5273561699436728,
+ "rf_loss": 0.0024576003197580576,
+ "total_loss": 0.5347289711357777,
+ "lyap1_mean": 0.036751434206962585,
+ "lyap1_max": 0.08290223777294159,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 68,
+ "sup_loss": 0.5040628496268221,
+ "rf_loss": 0.001499210949987173,
+ "total_loss": 0.5085604824767836,
+ "lyap1_mean": 0.007928289473056793,
+ "lyap1_max": 0.07655100524425507,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 69,
+ "sup_loss": 0.6597169445182759,
+ "rf_loss": 0.0029999553225934505,
+ "total_loss": 0.668716810020395,
+ "lyap1_mean": 0.050124429166316986,
+ "lyap1_max": 0.08272131532430649,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 70,
+ "sup_loss": 0.5028087856815656,
+ "rf_loss": 0.0029416067991405725,
+ "total_loss": 0.511633606311818,
+ "lyap1_mean": 0.03283324092626572,
+ "lyap1_max": 0.10765742510557175,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 71,
+ "sup_loss": 0.5965734329007117,
+ "rf_loss": 0.0013155150227248669,
+ "total_loss": 0.6005199779688863,
+ "lyap1_mean": 0.023378532379865646,
+ "lyap1_max": 0.05953170731663704,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 72,
+ "sup_loss": 0.418590327674561,
+ "rf_loss": 0.0013964786194264889,
+ "total_loss": 0.42277976353284047,
+ "lyap1_mean": 0.010264487005770206,
+ "lyap1_max": 0.0662722960114479,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 73,
+ "sup_loss": 0.5385398009457114,
+ "rf_loss": 0.0026714783161878586,
+ "total_loss": 0.546554235894275,
+ "lyap1_mean": 0.030205177143216133,
+ "lyap1_max": 0.07298935949802399,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 74,
+ "sup_loss": 0.5598028147665813,
+ "rf_loss": 0.0023533084895461798,
+ "total_loss": 0.5668627400023892,
+ "lyap1_mean": 0.04317225515842438,
+ "lyap1_max": 0.07046470791101456,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 75,
+ "sup_loss": 0.5240597017012264,
+ "rf_loss": 0.0041739316657185555,
+ "total_loss": 0.5365814966983821,
+ "lyap1_mean": 0.042859360575675964,
+ "lyap1_max": 0.12382428348064423,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 76,
+ "sup_loss": 0.6097600202593022,
+ "rf_loss": 0.0019655709620565176,
+ "total_loss": 0.6156567329126411,
+ "lyap1_mean": 0.029353909194469452,
+ "lyap1_max": 0.08025611937046051,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 77,
+ "sup_loss": 0.5114752748257124,
+ "rf_loss": 0.0021669587586075068,
+ "total_loss": 0.5179761513343656,
+ "lyap1_mean": 0.034833867102861404,
+ "lyap1_max": 0.07614531368017197,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 78,
+ "sup_loss": 0.6359336245641849,
+ "rf_loss": 0.0038110646419227123,
+ "total_loss": 0.6473668180242917,
+ "lyap1_mean": 0.045959070324897766,
+ "lyap1_max": 0.12825213372707367,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 79,
+ "sup_loss": 0.5065453712410731,
+ "rf_loss": 0.002087343018501997,
+ "total_loss": 0.5128074002965791,
+ "lyap1_mean": 0.034003496170043945,
+ "lyap1_max": 0.07389646768569946,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 80,
+ "sup_loss": 0.4745741899878374,
+ "rf_loss": 0.0022435516584664583,
+ "total_loss": 0.4813048451960674,
+ "lyap1_mean": 0.021326499059796333,
+ "lyap1_max": 0.09662687033414841,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 81,
+ "sup_loss": 0.5479725080754174,
+ "rf_loss": 0.0017904380802065134,
+ "total_loss": 0.5533438225488676,
+ "lyap1_mean": 0.029508069157600403,
+ "lyap1_max": 0.07957190275192261,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 82,
+ "sup_loss": 0.45145241279870063,
+ "rf_loss": 0.00074726965976879,
+ "total_loss": 0.45369422171979934,
+ "lyap1_mean": 0.007118904963135719,
+ "lyap1_max": 0.04912802204489708,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 83,
+ "sup_loss": 0.46149715394682683,
+ "rf_loss": 0.0018933052197098732,
+ "total_loss": 0.46717706960595645,
+ "lyap1_mean": 0.025382276624441147,
+ "lyap1_max": 0.08592425286769867,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 84,
+ "sup_loss": 0.5253678059062366,
+ "rf_loss": 0.0019516805186867714,
+ "total_loss": 0.5312228474622969,
+ "lyap1_mean": 0.02494325488805771,
+ "lyap1_max": 0.07947467267513275,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 85,
+ "sup_loss": 0.5927669723346649,
+ "rf_loss": 0.0021996248979121447,
+ "total_loss": 0.599365847261232,
+ "lyap1_mean": 0.027602259069681168,
+ "lyap1_max": 0.08062712848186493,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 86,
+ "sup_loss": 0.577166299000312,
+ "rf_loss": 0.0011055241338908672,
+ "total_loss": 0.5804828714019846,
+ "lyap1_mean": 0.021648313850164413,
+ "lyap1_max": 0.0575236938893795,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 87,
+ "sup_loss": 0.5998192463086068,
+ "rf_loss": 0.002177284564822912,
+ "total_loss": 0.6063511000030756,
+ "lyap1_mean": 0.042323824018239975,
+ "lyap1_max": 0.06103840842843056,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 88,
+ "sup_loss": 0.7011151894538395,
+ "rf_loss": 0.0032748286612331867,
+ "total_loss": 0.7109396759032004,
+ "lyap1_mean": 0.05259384214878082,
+ "lyap1_max": 0.10173940658569336,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 89,
+ "sup_loss": 0.6897655473462102,
+ "rf_loss": 0.0017927463632076979,
+ "total_loss": 0.6951437862030027,
+ "lyap1_mean": 0.03291790187358856,
+ "lyap1_max": 0.06506284326314926,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 90,
+ "sup_loss": 0.4510617920009953,
+ "rf_loss": 0.0020602382719516754,
+ "total_loss": 0.4572425068168503,
+ "lyap1_mean": 0.020194625481963158,
+ "lyap1_max": 0.07735561579465866,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 91,
+ "sup_loss": 0.5784184441446196,
+ "rf_loss": 0.004450127482414246,
+ "total_loss": 0.5917688265918624,
+ "lyap1_mean": 0.052934907376766205,
+ "lyap1_max": 0.11992254108190536,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 92,
+ "sup_loss": 0.6662621226050401,
+ "rf_loss": 0.002933206968009472,
+ "total_loss": 0.6750617435090686,
+ "lyap1_mean": 0.04333147034049034,
+ "lyap1_max": 0.08206156641244888,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 93,
+ "sup_loss": 0.508308076657019,
+ "rf_loss": 0.002205953234806657,
+ "total_loss": 0.5149259365942697,
+ "lyap1_mean": 0.020598597824573517,
+ "lyap1_max": 0.09114628285169601,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 94,
+ "sup_loss": 0.6608414061785638,
+ "rf_loss": 0.0031358632259070873,
+ "total_loss": 0.6702489953906238,
+ "lyap1_mean": 0.04601408168673515,
+ "lyap1_max": 0.09076184779405594,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 95,
+ "sup_loss": 0.5091118265267859,
+ "rf_loss": 0.0008216784917749465,
+ "total_loss": 0.5115768620603184,
+ "lyap1_mean": 0.013418051414191723,
+ "lyap1_max": 0.062278617173433304,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 96,
+ "sup_loss": 0.5235084142045083,
+ "rf_loss": 0.0032157101668417454,
+ "total_loss": 0.5331555451706949,
+ "lyap1_mean": 0.04331201687455177,
+ "lyap1_max": 0.07789703458547592,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 97,
+ "sup_loss": 0.3936994586389297,
+ "rf_loss": 0.0013637910597026348,
+ "total_loss": 0.3977908318180376,
+ "lyap1_mean": 0.01679813116788864,
+ "lyap1_max": 0.06968007981777191,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 98,
+ "sup_loss": 0.6350082316226283,
+ "rf_loss": 0.0016308565391227603,
+ "total_loss": 0.6399008011235813,
+ "lyap1_mean": 0.030492082238197327,
+ "lyap1_max": 0.06643428653478622,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 99,
+ "sup_loss": 0.4568817270340021,
+ "rf_loss": 0.0028008045628666878,
+ "total_loss": 0.46528414072260216,
+ "lyap1_mean": 0.025273632258176804,
+ "lyap1_max": 0.10567542910575867,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 100,
+ "sup_loss": 0.5497529591358308,
+ "rf_loss": 0.0027018734253942966,
+ "total_loss": 0.557858579877675,
+ "lyap1_mean": 0.03441978618502617,
+ "lyap1_max": 0.08103550225496292,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 101,
+ "sup_loss": 0.41433160202848635,
+ "rf_loss": 0.002409102162346244,
+ "total_loss": 0.42155890828269443,
+ "lyap1_mean": 0.026679035276174545,
+ "lyap1_max": 0.08441536128520966,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 102,
+ "sup_loss": 0.5003956439720396,
+ "rf_loss": 0.0023787906393408775,
+ "total_loss": 0.5075320158900622,
+ "lyap1_mean": 0.01966816931962967,
+ "lyap1_max": 0.09545757621526718,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 103,
+ "sup_loss": 0.5534670606235903,
+ "rf_loss": 0.002147376537322998,
+ "total_loss": 0.5599091902355593,
+ "lyap1_mean": 0.026930544525384903,
+ "lyap1_max": 0.09297534823417664,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 104,
+ "sup_loss": 0.6508978496772522,
+ "rf_loss": 0.0016647139564156532,
+ "total_loss": 0.6558919915464991,
+ "lyap1_mean": 0.036320269107818604,
+ "lyap1_max": 0.07078440487384796,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 105,
+ "sup_loss": 0.6089363440178198,
+ "rf_loss": 0.0020754507277160883,
+ "total_loss": 0.6151626964337987,
+ "lyap1_mean": 0.03196965157985687,
+ "lyap1_max": 0.090436190366745,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 106,
+ "sup_loss": 0.5713579874266471,
+ "rf_loss": 0.00197925535030663,
+ "total_loss": 0.5772957537103977,
+ "lyap1_mean": 0.017302196472883224,
+ "lyap1_max": 0.07834818959236145,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 107,
+ "sup_loss": 0.5488418282303763,
+ "rf_loss": 0.0023531573824584484,
+ "total_loss": 0.5559013003777517,
+ "lyap1_mean": 0.030279647558927536,
+ "lyap1_max": 0.08249279856681824,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 108,
+ "sup_loss": 0.44226092500219777,
+ "rf_loss": 0.0015625393716618419,
+ "total_loss": 0.446948543000768,
+ "lyap1_mean": 0.01184198446571827,
+ "lyap1_max": 0.07271580398082733,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 109,
+ "sup_loss": 0.6168606401264758,
+ "rf_loss": 0.002670412417501211,
+ "total_loss": 0.6248718769133181,
+ "lyap1_mean": 0.032216012477874756,
+ "lyap1_max": 0.08892066776752472,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 110,
+ "sup_loss": 0.6016670652116678,
+ "rf_loss": 0.0021886383183300495,
+ "total_loss": 0.6082329801666579,
+ "lyap1_mean": 0.02804424613714218,
+ "lyap1_max": 0.07416147738695145,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 111,
+ "sup_loss": 0.5731027379546202,
+ "rf_loss": 0.0015464932657778263,
+ "total_loss": 0.5777422177519537,
+ "lyap1_mean": 0.029167089611291885,
+ "lyap1_max": 0.06588658690452576,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 112,
+ "sup_loss": 0.5834615129168832,
+ "rf_loss": 0.0035005011595785618,
+ "total_loss": 0.5939630168612802,
+ "lyap1_mean": 0.04552611708641052,
+ "lyap1_max": 0.09260129928588867,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 113,
+ "sup_loss": 0.6423013037610354,
+ "rf_loss": 0.0026009841822087765,
+ "total_loss": 0.6501042563076618,
+ "lyap1_mean": 0.03906030207872391,
+ "lyap1_max": 0.08288124948740005,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 114,
+ "sup_loss": 0.5523979863373598,
+ "rf_loss": 0.0026205466128885746,
+ "total_loss": 0.5602596266416868,
+ "lyap1_mean": 0.04190903529524803,
+ "lyap1_max": 0.0825415775179863,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 115,
+ "sup_loss": 0.5156139433525494,
+ "rf_loss": 0.00103274779394269,
+ "total_loss": 0.5187121867343775,
+ "lyap1_mean": 0.011909937486052513,
+ "lyap1_max": 0.058214131742715836,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 116,
+ "sup_loss": 0.5703891072398741,
+ "rf_loss": 0.0017440984956920147,
+ "total_loss": 0.5756214027269502,
+ "lyap1_mean": 0.030931882560253143,
+ "lyap1_max": 0.0685550794005394,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 117,
+ "sup_loss": 0.6434336778176871,
+ "rf_loss": 0.0022800497245043516,
+ "total_loss": 0.6502738267583695,
+ "lyap1_mean": 0.04519333690404892,
+ "lyap1_max": 0.05792094022035599,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 118,
+ "sup_loss": 0.4363360739179336,
+ "rf_loss": 0.002665681764483452,
+ "total_loss": 0.44433311921138396,
+ "lyap1_mean": 0.018761079758405685,
+ "lyap1_max": 0.08658693730831146,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 119,
+ "sup_loss": 0.4891827831869817,
+ "rf_loss": 0.0024955717381089926,
+ "total_loss": 0.49666949816847805,
+ "lyap1_mean": 0.02758786641061306,
+ "lyap1_max": 0.08605543524026871,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 120,
+ "sup_loss": 0.6110697797941611,
+ "rf_loss": 0.0031438623555004597,
+ "total_loss": 0.6205013673263238,
+ "lyap1_mean": 0.05538707226514816,
+ "lyap1_max": 0.06740570068359375,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 121,
+ "sup_loss": 0.6067171239967306,
+ "rf_loss": 0.003580259159207344,
+ "total_loss": 0.6174579014743526,
+ "lyap1_mean": 0.04602959007024765,
+ "lyap1_max": 0.10600936412811279,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 122,
+ "sup_loss": 0.6156033581876089,
+ "rf_loss": 0.0031160085927695036,
+ "total_loss": 0.6249513837330868,
+ "lyap1_mean": 0.044152937829494476,
+ "lyap1_max": 0.10502860695123672,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 123,
+ "sup_loss": 0.6361801284154283,
+ "rf_loss": 0.002705847844481468,
+ "total_loss": 0.6442976719488727,
+ "lyap1_mean": 0.04316765442490578,
+ "lyap1_max": 0.07941245287656784,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 124,
+ "sup_loss": 0.7010114850838282,
+ "rf_loss": 0.0022870495449751616,
+ "total_loss": 0.707872633485923,
+ "lyap1_mean": 0.04008562117815018,
+ "lyap1_max": 0.07481126487255096,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 125,
+ "sup_loss": 0.5120654996277205,
+ "rf_loss": 0.005161907523870468,
+ "total_loss": 0.5275512221993319,
+ "lyap1_mean": 0.056629568338394165,
+ "lyap1_max": 0.11234451830387115,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 126,
+ "sup_loss": 0.4685206942955817,
+ "rf_loss": 0.0022702072747051716,
+ "total_loss": 0.4753313161196972,
+ "lyap1_mean": 0.03303786739706993,
+ "lyap1_max": 0.08396980911493301,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 127,
+ "sup_loss": 0.6441410576653989,
+ "rf_loss": 0.001389839919283986,
+ "total_loss": 0.6483105776560815,
+ "lyap1_mean": 0.006530154496431351,
+ "lyap1_max": 0.07385262846946716,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 128,
+ "sup_loss": 0.412670148777086,
+ "rf_loss": 0.001122001209296286,
+ "total_loss": 0.4160361525213902,
+ "lyap1_mean": 0.017656967043876648,
+ "lyap1_max": 0.05973173305392265,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 129,
+ "sup_loss": 0.5114587853587079,
+ "rf_loss": 0.0032401385251432657,
+ "total_loss": 0.5211792011669684,
+ "lyap1_mean": 0.05027613788843155,
+ "lyap1_max": 0.09326058626174927,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 130,
+ "sup_loss": 0.49628530583113717,
+ "rf_loss": 0.002028851071372628,
+ "total_loss": 0.5023718592780857,
+ "lyap1_mean": 0.012839050963521004,
+ "lyap1_max": 0.0948786661028862,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 131,
+ "sup_loss": 0.5489068978168958,
+ "rf_loss": 0.003350982442498207,
+ "total_loss": 0.5589598451443905,
+ "lyap1_mean": 0.04808688908815384,
+ "lyap1_max": 0.09912308305501938,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 132,
+ "sup_loss": 0.5922994207480486,
+ "rf_loss": 0.0027597742155194283,
+ "total_loss": 0.6005787433946069,
+ "lyap1_mean": 0.039043717086315155,
+ "lyap1_max": 0.097249336540699,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 133,
+ "sup_loss": 0.5970586201442071,
+ "rf_loss": 0.003140967106446624,
+ "total_loss": 0.6064815212307163,
+ "lyap1_mean": 0.040325090289115906,
+ "lyap1_max": 0.0867941826581955,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 134,
+ "sup_loss": 0.5884349531129901,
+ "rf_loss": 0.0024602748453617096,
+ "total_loss": 0.5958157776490752,
+ "lyap1_mean": 0.04240422323346138,
+ "lyap1_max": 0.0710708349943161,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 135,
+ "sup_loss": 0.584884604308513,
+ "rf_loss": 0.0020436595659703016,
+ "total_loss": 0.5910155827735932,
+ "lyap1_mean": 0.04061506316065788,
+ "lyap1_max": 0.06433521956205368,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 136,
+ "sup_loss": 0.5790557987536923,
+ "rf_loss": 0.004522835835814476,
+ "total_loss": 0.5926243062611357,
+ "lyap1_mean": 0.0588165707886219,
+ "lyap1_max": 0.10652177780866623,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 137,
+ "sup_loss": 0.6820892711709008,
+ "rf_loss": 0.0025394228287041187,
+ "total_loss": 0.6897075396570131,
+ "lyap1_mean": 0.04179568961262703,
+ "lyap1_max": 0.08719613403081894,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 138,
+ "sup_loss": 0.4750632798734806,
+ "rf_loss": 0.003538997145369649,
+ "total_loss": 0.4856802715424202,
+ "lyap1_mean": 0.04833099618554115,
+ "lyap1_max": 0.1075204461812973,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 139,
+ "sup_loss": 0.5342115497221778,
+ "rf_loss": 0.0012257599737495184,
+ "total_loss": 0.5378888296434263,
+ "lyap1_mean": 0.02224535122513771,
+ "lyap1_max": 0.053757429122924805,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 140,
+ "sup_loss": 0.6754688039627056,
+ "rf_loss": 0.0011898870579898357,
+ "total_loss": 0.6790384651366751,
+ "lyap1_mean": 0.02490830421447754,
+ "lyap1_max": 0.0495169460773468,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 141,
+ "sup_loss": 0.6667228883647821,
+ "rf_loss": 0.0023623895831406116,
+ "total_loss": 0.6738100571142039,
+ "lyap1_mean": 0.04417138174176216,
+ "lyap1_max": 0.05855623260140419,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 142,
+ "sup_loss": 0.4009612109543588,
+ "rf_loss": 0.0010287289042025805,
+ "total_loss": 0.40404739766696657,
+ "lyap1_mean": 0.02270183153450489,
+ "lyap1_max": 0.05351504310965538,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 143,
+ "sup_loss": 0.5726740854300777,
+ "rf_loss": 0.0018339264206588268,
+ "total_loss": 0.5781758646920542,
+ "lyap1_mean": 0.031713422387838364,
+ "lyap1_max": 0.05432247743010521,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 144,
+ "sup_loss": 0.6601588427213079,
+ "rf_loss": 0.004215369001030922,
+ "total_loss": 0.6728049497244006,
+ "lyap1_mean": 0.058041080832481384,
+ "lyap1_max": 0.1051945686340332,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 145,
+ "sup_loss": 0.5875819175651233,
+ "rf_loss": 0.004274607636034489,
+ "total_loss": 0.6004057404732268,
+ "lyap1_mean": 0.04893432557582855,
+ "lyap1_max": 0.11097632348537445,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 146,
+ "sup_loss": 0.47913063169809816,
+ "rf_loss": 0.0015301083913072944,
+ "total_loss": 0.4837209567556047,
+ "lyap1_mean": 0.02512541227042675,
+ "lyap1_max": 0.08469371497631073,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 147,
+ "sup_loss": 0.4935107895713399,
+ "rf_loss": 0.0026365965604782104,
+ "total_loss": 0.5014205792527746,
+ "lyap1_mean": 0.031197890639305115,
+ "lyap1_max": 0.07847423106431961,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 148,
+ "sup_loss": 0.4487019143752653,
+ "rf_loss": 0.0021728724241256714,
+ "total_loss": 0.4552205316476423,
+ "lyap1_mean": 0.018518494442105293,
+ "lyap1_max": 0.0768321231007576,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 149,
+ "sup_loss": 0.47273181303109435,
+ "rf_loss": 0.002458615694195032,
+ "total_loss": 0.48010766011367945,
+ "lyap1_mean": 0.03222118690609932,
+ "lyap1_max": 0.07451470196247101,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 150,
+ "sup_loss": 0.48160261652947783,
+ "rf_loss": 0.003347894875332713,
+ "total_loss": 0.49164630092264533,
+ "lyap1_mean": 0.029586724936962128,
+ "lyap1_max": 0.10643616318702698,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 151,
+ "sup_loss": 0.6482739627570875,
+ "rf_loss": 0.0013238465180620551,
+ "total_loss": 0.6522455021948583,
+ "lyap1_mean": 0.013208780437707901,
+ "lyap1_max": 0.06631240248680115,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 152,
+ "sup_loss": 0.4764990015139441,
+ "rf_loss": 0.0010932207806035876,
+ "total_loss": 0.47977866373933953,
+ "lyap1_mean": 0.02402043342590332,
+ "lyap1_max": 0.07537230849266052,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 153,
+ "sup_loss": 0.4783244573517685,
+ "rf_loss": 0.0024381799157708883,
+ "total_loss": 0.4856389968662505,
+ "lyap1_mean": 0.022084830328822136,
+ "lyap1_max": 0.0900685042142868,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 154,
+ "sup_loss": 0.6306794678306717,
+ "rf_loss": 0.0037184860557317734,
+ "total_loss": 0.6418349259978671,
+ "lyap1_mean": 0.046679913997650146,
+ "lyap1_max": 0.08679350465536118,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 155,
+ "sup_loss": 0.543131525676231,
+ "rf_loss": 0.004267532378435135,
+ "total_loss": 0.5559341228115364,
+ "lyap1_mean": 0.0456015020608902,
+ "lyap1_max": 0.13499890267848969,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 156,
+ "sup_loss": 0.6335519795513787,
+ "rf_loss": 0.006539498455822468,
+ "total_loss": 0.6531704758501686,
+ "lyap1_mean": 0.0712834969162941,
+ "lyap1_max": 0.13131192326545715,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 157,
+ "sup_loss": 0.6042127312811565,
+ "rf_loss": 0.002565098460763693,
+ "total_loss": 0.6119080266634476,
+ "lyap1_mean": 0.03394674137234688,
+ "lyap1_max": 0.09143158793449402,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 158,
+ "sup_loss": 0.6709254961135005,
+ "rf_loss": 0.003489430295303464,
+ "total_loss": 0.6813937872322415,
+ "lyap1_mean": 0.057667944580316544,
+ "lyap1_max": 0.07295940071344376,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 159,
+ "sup_loss": 0.6809267986121652,
+ "rf_loss": 0.002253711922094226,
+ "total_loss": 0.6876879341456172,
+ "lyap1_mean": 0.03738722950220108,
+ "lyap1_max": 0.07508794963359833,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 160,
+ "sup_loss": 0.5931000747798296,
+ "rf_loss": 0.003688607830554247,
+ "total_loss": 0.6041658987371537,
+ "lyap1_mean": 0.052463777363300323,
+ "lyap1_max": 0.09061525762081146,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 161,
+ "sup_loss": 0.297502632922196,
+ "rf_loss": 0.0006307673756964505,
+ "total_loss": 0.299394935107493,
+ "lyap1_mean": -0.00820833444595337,
+ "lyap1_max": 0.06823589652776718,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 162,
+ "sup_loss": 0.500132485578106,
+ "rf_loss": 0.0027318887878209352,
+ "total_loss": 0.5083281521743994,
+ "lyap1_mean": 0.030944623053073883,
+ "lyap1_max": 0.08284000307321548,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 163,
+ "sup_loss": 0.5471575058343863,
+ "rf_loss": 0.0028969482518732548,
+ "total_loss": 0.5558483510556673,
+ "lyap1_mean": 0.03928755223751068,
+ "lyap1_max": 0.0879998430609703,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 164,
+ "sup_loss": 0.5442093660037185,
+ "rf_loss": 0.003963571973145008,
+ "total_loss": 0.5561000819231535,
+ "lyap1_mean": 0.03989065811038017,
+ "lyap1_max": 0.0993880107998848,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 165,
+ "sup_loss": 0.4989272602783596,
+ "rf_loss": 0.0015419567935168743,
+ "total_loss": 0.5035531306589103,
+ "lyap1_mean": 0.01938936859369278,
+ "lyap1_max": 0.0902622640132904,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 166,
+ "sup_loss": 0.5601705002953054,
+ "rf_loss": 0.0032372786663472652,
+ "total_loss": 0.5698823358286859,
+ "lyap1_mean": 0.04745428264141083,
+ "lyap1_max": 0.08124354481697083,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 167,
+ "sup_loss": 0.597903568411533,
+ "rf_loss": 0.0027266470715403557,
+ "total_loss": 0.6060835096261541,
+ "lyap1_mean": 0.03323636204004288,
+ "lyap1_max": 0.07313016802072525,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 168,
+ "sup_loss": 0.5825003546480927,
+ "rf_loss": 0.004690704867243767,
+ "total_loss": 0.596572469249824,
+ "lyap1_mean": 0.05663714185357094,
+ "lyap1_max": 0.10741715133190155,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 169,
+ "sup_loss": 0.5663306204693683,
+ "rf_loss": 0.00225543649867177,
+ "total_loss": 0.5730969299653836,
+ "lyap1_mean": 0.03108643926680088,
+ "lyap1_max": 0.0769440159201622,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 170,
+ "sup_loss": 0.5340877824467587,
+ "rf_loss": 0.003745785914361477,
+ "total_loss": 0.5453251401898431,
+ "lyap1_mean": 0.0419364832341671,
+ "lyap1_max": 0.0888725221157074,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 171,
+ "sup_loss": 0.5227444946193905,
+ "rf_loss": 0.0034849641378968954,
+ "total_loss": 0.5331993868002506,
+ "lyap1_mean": 0.04059740900993347,
+ "lyap1_max": 0.13121871650218964,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 172,
+ "sup_loss": 0.5376520034302421,
+ "rf_loss": 0.0024679102934896946,
+ "total_loss": 0.5450557343107112,
+ "lyap1_mean": 0.029175685718655586,
+ "lyap1_max": 0.08366518467664719,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 173,
+ "sup_loss": 0.4976546621294164,
+ "rf_loss": 0.0030457458924502134,
+ "total_loss": 0.5067918995739364,
+ "lyap1_mean": 0.03811029717326164,
+ "lyap1_max": 0.07959527522325516,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 174,
+ "sup_loss": 0.8337094412415839,
+ "rf_loss": 0.0036853146739304066,
+ "total_loss": 0.8447653857290364,
+ "lyap1_mean": 0.04628296568989754,
+ "lyap1_max": 0.07951684296131134,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 175,
+ "sup_loss": 0.5109883339659564,
+ "rf_loss": 0.0031891781836748123,
+ "total_loss": 0.5205558685169809,
+ "lyap1_mean": 0.028045495972037315,
+ "lyap1_max": 0.08470147848129272,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 176,
+ "sup_loss": 0.5762857721676387,
+ "rf_loss": 0.004623332992196083,
+ "total_loss": 0.5901557711442269,
+ "lyap1_mean": 0.054899346083402634,
+ "lyap1_max": 0.09777417778968811,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 177,
+ "sup_loss": 0.5088339027201346,
+ "rf_loss": 0.004239179193973541,
+ "total_loss": 0.5215514403020552,
+ "lyap1_mean": 0.04046884924173355,
+ "lyap1_max": 0.11800165474414825,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 178,
+ "sup_loss": 0.6014332001274739,
+ "rf_loss": 0.0028694476932287216,
+ "total_loss": 0.6100415432071601,
+ "lyap1_mean": 0.037736449390649796,
+ "lyap1_max": 0.11667363345623016,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 179,
+ "sup_loss": 0.5390068675399966,
+ "rf_loss": 0.002893154975026846,
+ "total_loss": 0.5476863319994159,
+ "lyap1_mean": 0.04573987424373627,
+ "lyap1_max": 0.07305853813886642,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 180,
+ "sup_loss": 0.5436278600275241,
+ "rf_loss": 0.0031499662436544895,
+ "total_loss": 0.5530777592241488,
+ "lyap1_mean": 0.0417061522603035,
+ "lyap1_max": 0.0851714089512825,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 181,
+ "sup_loss": 0.4492672237004527,
+ "rf_loss": 0.004481889307498932,
+ "total_loss": 0.4627128916229495,
+ "lyap1_mean": 0.035749852657318115,
+ "lyap1_max": 0.11499383300542831,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 182,
+ "sup_loss": 0.5937439851650967,
+ "rf_loss": 0.0014664486516267061,
+ "total_loss": 0.5981433313528075,
+ "lyap1_mean": 0.025755133479833603,
+ "lyap1_max": 0.07089125365018845,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 183,
+ "sup_loss": 0.7113088973363771,
+ "rf_loss": 0.0059794215485453606,
+ "total_loss": 0.7292471610506907,
+ "lyap1_mean": 0.07598769664764404,
+ "lyap1_max": 0.09917861968278885,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 184,
+ "sup_loss": 0.486994517026442,
+ "rf_loss": 0.002835165476426482,
+ "total_loss": 0.4955000132228908,
+ "lyap1_mean": 0.03072122298181057,
+ "lyap1_max": 0.08941362798213959,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 185,
+ "sup_loss": 0.5071171793704652,
+ "rf_loss": 0.002260141307488084,
+ "total_loss": 0.5138976035257601,
+ "lyap1_mean": 0.019144207239151,
+ "lyap1_max": 0.09362046420574188,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 186,
+ "sup_loss": 0.46477902213182454,
+ "rf_loss": 0.0032286844216287136,
+ "total_loss": 0.4744650749310494,
+ "lyap1_mean": 0.022967644035816193,
+ "lyap1_max": 0.10320088267326355,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 187,
+ "sup_loss": 0.7915952112818448,
+ "rf_loss": 0.003891310188919306,
+ "total_loss": 0.803269142314264,
+ "lyap1_mean": 0.058004625141620636,
+ "lyap1_max": 0.07901225984096527,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 188,
+ "sup_loss": 0.6482354917805969,
+ "rf_loss": 0.004459053743630648,
+ "total_loss": 0.6616126534771501,
+ "lyap1_mean": 0.04957737773656845,
+ "lyap1_max": 0.1079842820763588,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 189,
+ "sup_loss": 0.7004128545823486,
+ "rf_loss": 0.008776852861046791,
+ "total_loss": 0.726743413165489,
+ "lyap1_mean": 0.08844021707773209,
+ "lyap1_max": 0.1418982595205307,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 190,
+ "sup_loss": 0.43737803270802555,
+ "rf_loss": 0.0027158332522958517,
+ "total_loss": 0.44552553223208247,
+ "lyap1_mean": 0.033158790320158005,
+ "lyap1_max": 0.0972132682800293,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 191,
+ "sup_loss": 0.5276001441093676,
+ "rf_loss": 0.001906286459416151,
+ "total_loss": 0.5333190034876161,
+ "lyap1_mean": 0.026490097865462303,
+ "lyap1_max": 0.07160634547472,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 192,
+ "sup_loss": 0.5946932787552036,
+ "rf_loss": 0.006361363455653191,
+ "total_loss": 0.6137773691221632,
+ "lyap1_mean": 0.06937354803085327,
+ "lyap1_max": 0.10980592668056488,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 193,
+ "sup_loss": 0.3844242667769397,
+ "rf_loss": 0.0009086799109354615,
+ "total_loss": 0.3871503066261614,
+ "lyap1_mean": 8.178874850273132e-05,
+ "lyap1_max": 0.06546782702207565,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 194,
+ "sup_loss": 0.5895270163302627,
+ "rf_loss": 0.0017527324380353093,
+ "total_loss": 0.594785213760784,
+ "lyap1_mean": 0.02759925276041031,
+ "lyap1_max": 0.07442127168178558,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 195,
+ "sup_loss": 0.5408440525859807,
+ "rf_loss": 0.003516579745337367,
+ "total_loss": 0.5513937915891621,
+ "lyap1_mean": 0.037531279027462006,
+ "lyap1_max": 0.09688673913478851,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 196,
+ "sup_loss": 0.7045791867256541,
+ "rf_loss": 0.004421749617904425,
+ "total_loss": 0.7178444351137061,
+ "lyap1_mean": 0.05930262431502342,
+ "lyap1_max": 0.09074998646974564,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 197,
+ "sup_loss": 0.47229348374972246,
+ "rf_loss": 0.002286037430167198,
+ "total_loss": 0.47915159604022406,
+ "lyap1_mean": 0.030347812920808792,
+ "lyap1_max": 0.08939316868782043,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 198,
+ "sup_loss": 0.5787623563274061,
+ "rf_loss": 0.0038907229900360107,
+ "total_loss": 0.5904345252975142,
+ "lyap1_mean": 0.05248021334409714,
+ "lyap1_max": 0.08091258257627487,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 199,
+ "sup_loss": 0.5847428207309777,
+ "rf_loss": 0.0025257826782763004,
+ "total_loss": 0.5923201687658066,
+ "lyap1_mean": 0.029633378610014915,
+ "lyap1_max": 0.0983462706208229,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 200,
+ "sup_loss": 0.6419058811498957,
+ "rf_loss": 0.0028206943534314632,
+ "total_loss": 0.6503679637445288,
+ "lyap1_mean": 0.04146941006183624,
+ "lyap1_max": 0.08898565918207169,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 201,
+ "sup_loss": 0.6635691793487047,
+ "rf_loss": 0.004465306177735329,
+ "total_loss": 0.6769650978819107,
+ "lyap1_mean": 0.059972476214170456,
+ "lyap1_max": 0.09945371001958847,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 202,
+ "sup_loss": 0.6575211624794204,
+ "rf_loss": 0.003901503048837185,
+ "total_loss": 0.6692256716259319,
+ "lyap1_mean": 0.04762250557541847,
+ "lyap1_max": 0.09873058646917343,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 203,
+ "sup_loss": 0.6374415587867833,
+ "rf_loss": 0.004014609381556511,
+ "total_loss": 0.6494853869314529,
+ "lyap1_mean": 0.0581357441842556,
+ "lyap1_max": 0.100794717669487,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 204,
+ "sup_loss": 0.6884147683254954,
+ "rf_loss": 0.0030582272447645664,
+ "total_loss": 0.6975894505254504,
+ "lyap1_mean": 0.044477835297584534,
+ "lyap1_max": 0.0795053169131279,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 205,
+ "sup_loss": 0.6179689521398266,
+ "rf_loss": 0.0039598699659109116,
+ "total_loss": 0.6298485620375593,
+ "lyap1_mean": 0.058449406176805496,
+ "lyap1_max": 0.09202735126018524,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 206,
+ "sup_loss": 0.5695957285784257,
+ "rf_loss": 0.003999270498752594,
+ "total_loss": 0.5815935400746834,
+ "lyap1_mean": 0.051670826971530914,
+ "lyap1_max": 0.11617245525121689,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 207,
+ "sup_loss": 0.637395812032879,
+ "rf_loss": 0.002998069394379854,
+ "total_loss": 0.6463900206816798,
+ "lyap1_mean": 0.04715922102332115,
+ "lyap1_max": 0.08843076974153519,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 208,
+ "sup_loss": 0.5291149429095031,
+ "rf_loss": 0.0016087160911411047,
+ "total_loss": 0.5339410909500958,
+ "lyap1_mean": 0.021208394318819046,
+ "lyap1_max": 0.09246685355901718,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 209,
+ "sup_loss": 0.5425334969490893,
+ "rf_loss": 0.002703417558223009,
+ "total_loss": 0.5506437500894196,
+ "lyap1_mean": 0.040979206562042236,
+ "lyap1_max": 0.07136913388967514,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 210,
+ "sup_loss": 0.5727753776587152,
+ "rf_loss": 0.00241828546859324,
+ "total_loss": 0.5800302342973256,
+ "lyap1_mean": 0.03696976602077484,
+ "lyap1_max": 0.07039329409599304,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 211,
+ "sup_loss": 0.48978832573204456,
+ "rf_loss": 0.0014006784185767174,
+ "total_loss": 0.4939903609877747,
+ "lyap1_mean": 0.01770603097975254,
+ "lyap1_max": 0.06462503969669342,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 212,
+ "sup_loss": 0.6636828522205086,
+ "rf_loss": 0.0023388052359223366,
+ "total_loss": 0.6706992679282756,
+ "lyap1_mean": 0.03966435790061951,
+ "lyap1_max": 0.08003133535385132,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 213,
+ "sup_loss": 0.5359584548890742,
+ "rf_loss": 0.0037228462751954794,
+ "total_loss": 0.54712699348183,
+ "lyap1_mean": 0.05024644359946251,
+ "lyap1_max": 0.07827876508235931,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 214,
+ "sup_loss": 0.5490848910029282,
+ "rf_loss": 0.0025330958887934685,
+ "total_loss": 0.5566841786693086,
+ "lyap1_mean": 0.04089915752410889,
+ "lyap1_max": 0.06988667696714401,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 215,
+ "sup_loss": 0.4980964273428852,
+ "rf_loss": 0.0009319927776232362,
+ "total_loss": 0.5008924057921702,
+ "lyap1_mean": 0.0041476525366306305,
+ "lyap1_max": 0.06726501137018204,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 216,
+ "sup_loss": 0.5442476148533629,
+ "rf_loss": 0.002926404820755124,
+ "total_loss": 0.5530268295484589,
+ "lyap1_mean": 0.04533495008945465,
+ "lyap1_max": 0.0859864205121994,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 217,
+ "sup_loss": 0.5175808556885004,
+ "rf_loss": 0.0015643027145415545,
+ "total_loss": 0.5222737640649557,
+ "lyap1_mean": 0.026529232040047646,
+ "lyap1_max": 0.07001189142465591,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 218,
+ "sup_loss": 0.35271215145423973,
+ "rf_loss": 0.0004435379523783922,
+ "total_loss": 0.3540427653113749,
+ "lyap1_mean": -0.004127119202166796,
+ "lyap1_max": 0.0574435219168663,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 219,
+ "sup_loss": 0.6356722748867323,
+ "rf_loss": 0.0015823564026504755,
+ "total_loss": 0.6404193443275144,
+ "lyap1_mean": 0.023814760148525238,
+ "lyap1_max": 0.06590866297483444,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 220,
+ "sup_loss": 0.4962833204202173,
+ "rf_loss": 0.0037345041055232286,
+ "total_loss": 0.5074868329696176,
+ "lyap1_mean": 0.044375792145729065,
+ "lyap1_max": 0.08740291744470596,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 221,
+ "sup_loss": 0.4579490361621538,
+ "rf_loss": 0.004124145954847336,
+ "total_loss": 0.47032147402669583,
+ "lyap1_mean": 0.04262608289718628,
+ "lyap1_max": 0.10222046077251434,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 222,
+ "sup_loss": 0.6266983669043064,
+ "rf_loss": 0.0030687071848660707,
+ "total_loss": 0.6359044886917352,
+ "lyap1_mean": 0.053526610136032104,
+ "lyap1_max": 0.08074440062046051,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 223,
+ "sup_loss": 0.6455828235742953,
+ "rf_loss": 0.0032913724426180124,
+ "total_loss": 0.65545694113498,
+ "lyap1_mean": 0.050407201051712036,
+ "lyap1_max": 0.08884114027023315,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 224,
+ "sup_loss": 0.4317711190616832,
+ "rf_loss": 0.001389794866554439,
+ "total_loss": 0.4359405035449312,
+ "lyap1_mean": 0.004772009328007698,
+ "lyap1_max": 0.0723162591457367,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 225,
+ "sup_loss": 0.6609604513998121,
+ "rf_loss": 0.002708960324525833,
+ "total_loss": 0.6690873323733896,
+ "lyap1_mean": 0.045073993504047394,
+ "lyap1_max": 0.07728851586580276,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 226,
+ "sup_loss": 0.6572801099034855,
+ "rf_loss": 0.0026465062983334064,
+ "total_loss": 0.665219629264147,
+ "lyap1_mean": 0.03191269934177399,
+ "lyap1_max": 0.084498830139637,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 227,
+ "sup_loss": 0.6869122907469134,
+ "rf_loss": 0.004904827103018761,
+ "total_loss": 0.7016267720559697,
+ "lyap1_mean": 0.06650698184967041,
+ "lyap1_max": 0.09315608441829681,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 228,
+ "sup_loss": 0.6379912878012166,
+ "rf_loss": 0.0031249045860022306,
+ "total_loss": 0.6473660013263927,
+ "lyap1_mean": 0.04458793252706528,
+ "lyap1_max": 0.08232782036066055,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 229,
+ "sup_loss": 0.49471825623834603,
+ "rf_loss": 0.0018384417053312063,
+ "total_loss": 0.5002335811215091,
+ "lyap1_mean": 0.024167370051145554,
+ "lyap1_max": 0.0806422159075737,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 230,
+ "sup_loss": 0.4195893469942188,
+ "rf_loss": 0.002336339559406042,
+ "total_loss": 0.4265983656724369,
+ "lyap1_mean": 0.01807807758450508,
+ "lyap1_max": 0.09448733180761337,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 231,
+ "sup_loss": 0.6034973465374065,
+ "rf_loss": 0.0038815808948129416,
+ "total_loss": 0.6151420889890147,
+ "lyap1_mean": 0.05719085782766342,
+ "lyap1_max": 0.09857702255249023,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 232,
+ "sup_loss": 0.49635806191933224,
+ "rf_loss": 0.004312701523303986,
+ "total_loss": 0.5092961664892441,
+ "lyap1_mean": 0.058284491300582886,
+ "lyap1_max": 0.08715536445379257,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 233,
+ "sup_loss": 0.5633176987829028,
+ "rf_loss": 0.0033266826067119837,
+ "total_loss": 0.5732977468358694,
+ "lyap1_mean": 0.04870428889989853,
+ "lyap1_max": 0.08865442126989365,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 234,
+ "sup_loss": 0.730063202627622,
+ "rf_loss": 0.001972734462469816,
+ "total_loss": 0.7359814060150315,
+ "lyap1_mean": 0.026539411395788193,
+ "lyap1_max": 0.07300694286823273,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 235,
+ "sup_loss": 0.570137635798585,
+ "rf_loss": 0.0046363770961761475,
+ "total_loss": 0.5840467670871134,
+ "lyap1_mean": 0.05553362891077995,
+ "lyap1_max": 0.09855161607265472,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 236,
+ "sup_loss": 0.6398631171450667,
+ "rf_loss": 0.001950724981725216,
+ "total_loss": 0.6457152920902424,
+ "lyap1_mean": 0.0413905531167984,
+ "lyap1_max": 0.05737609043717384,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 237,
+ "sup_loss": 0.6238846768768626,
+ "rf_loss": 0.0031012350227683783,
+ "total_loss": 0.633188381712337,
+ "lyap1_mean": 0.03905465453863144,
+ "lyap1_max": 0.0979398563504219,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 238,
+ "sup_loss": 0.5530577734712399,
+ "rf_loss": 0.00202192016877234,
+ "total_loss": 0.5591235342103875,
+ "lyap1_mean": 0.025886593386530876,
+ "lyap1_max": 0.09421537816524506,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 239,
+ "sup_loss": 0.49082869150374653,
+ "rf_loss": 0.0037115998566150665,
+ "total_loss": 0.5019634910735917,
+ "lyap1_mean": 0.03700736165046692,
+ "lyap1_max": 0.12161791324615479,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 240,
+ "sup_loss": 0.4694843132885673,
+ "rf_loss": 0.0021395632065832615,
+ "total_loss": 0.4759030029083171,
+ "lyap1_mean": 0.023105377331376076,
+ "lyap1_max": 0.09367494285106659,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 241,
+ "sup_loss": 0.6107357862578805,
+ "rf_loss": 0.0029537018854171038,
+ "total_loss": 0.6195968921469625,
+ "lyap1_mean": 0.0446944534778595,
+ "lyap1_max": 0.10111410170793533,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 242,
+ "sup_loss": 0.5391809825163518,
+ "rf_loss": 0.0030855759978294373,
+ "total_loss": 0.5484377105098401,
+ "lyap1_mean": 0.044007956981658936,
+ "lyap1_max": 0.08633584529161453,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 243,
+ "sup_loss": 0.5330077986447832,
+ "rf_loss": 0.0017226949566975236,
+ "total_loss": 0.5381758836312911,
+ "lyap1_mean": 0.025069672614336014,
+ "lyap1_max": 0.057684920728206635,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 244,
+ "sup_loss": 0.6150219557447302,
+ "rf_loss": 0.0029910560697317123,
+ "total_loss": 0.6239951239539253,
+ "lyap1_mean": 0.03864851966500282,
+ "lyap1_max": 0.09314195066690445,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 245,
+ "sup_loss": 0.5057776960064507,
+ "rf_loss": 0.003176935249939561,
+ "total_loss": 0.5153085019891,
+ "lyap1_mean": 0.03881855309009552,
+ "lyap1_max": 0.08541763573884964,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 246,
+ "sup_loss": 0.6993506822707064,
+ "rf_loss": 0.0036288155242800713,
+ "total_loss": 0.7102371288435466,
+ "lyap1_mean": 0.052690014243125916,
+ "lyap1_max": 0.11848196387290955,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 247,
+ "sup_loss": 0.5148264112644217,
+ "rf_loss": 0.0032581675332039595,
+ "total_loss": 0.524600913631203,
+ "lyap1_mean": 0.033441200852394104,
+ "lyap1_max": 0.0990590751171112,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 248,
+ "sup_loss": 0.5187893542234578,
+ "rf_loss": 0.0034401058219373226,
+ "total_loss": 0.5291096712236085,
+ "lyap1_mean": 0.055397093296051025,
+ "lyap1_max": 0.08488285541534424,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 249,
+ "sup_loss": 0.503771104902727,
+ "rf_loss": 0.0032225106842815876,
+ "total_loss": 0.5134386374212331,
+ "lyap1_mean": 0.039259810000658035,
+ "lyap1_max": 0.08846387267112732,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 250,
+ "sup_loss": 0.6354263816346167,
+ "rf_loss": 0.004626844543963671,
+ "total_loss": 0.649306915732169,
+ "lyap1_mean": 0.055277854204177856,
+ "lyap1_max": 0.10542868822813034,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 251,
+ "sup_loss": 0.615112436656899,
+ "rf_loss": 0.003348470665514469,
+ "total_loss": 0.6251578486534424,
+ "lyap1_mean": 0.05332597345113754,
+ "lyap1_max": 0.08902808278799057,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 252,
+ "sup_loss": 0.6383688395149745,
+ "rf_loss": 0.0031774684321135283,
+ "total_loss": 0.6479012445784844,
+ "lyap1_mean": 0.04091145098209381,
+ "lyap1_max": 0.10139181464910507,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 253,
+ "sup_loss": 0.6035345944448006,
+ "rf_loss": 0.004148674663156271,
+ "total_loss": 0.6159806179686081,
+ "lyap1_mean": 0.047774698585271835,
+ "lyap1_max": 0.1007501408457756,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 254,
+ "sup_loss": 0.5282740211102113,
+ "rf_loss": 0.0024099231231957674,
+ "total_loss": 0.5355037907126292,
+ "lyap1_mean": 0.031380705535411835,
+ "lyap1_max": 0.08091647177934647,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 255,
+ "sup_loss": 0.6344196445112457,
+ "rf_loss": 0.002402098849415779,
+ "total_loss": 0.641625941059493,
+ "lyap1_mean": 0.03658400475978851,
+ "lyap1_max": 0.08033395558595657,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 256,
+ "sup_loss": 0.4257667717880825,
+ "rf_loss": 0.0020221213344484568,
+ "total_loss": 0.4318331360242585,
+ "lyap1_mean": 0.020241711288690567,
+ "lyap1_max": 0.0934184342622757,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 257,
+ "sup_loss": 0.4647072155204813,
+ "rf_loss": 0.0017442178213968873,
+ "total_loss": 0.46993986910108726,
+ "lyap1_mean": 0.020661598071455956,
+ "lyap1_max": 0.08929615467786789,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 258,
+ "sup_loss": 0.5736784474151194,
+ "rf_loss": 0.00101559201721102,
+ "total_loss": 0.5767252235831678,
+ "lyap1_mean": 0.025043834000825882,
+ "lyap1_max": 0.058814652264118195,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 259,
+ "sup_loss": 0.5574933417201725,
+ "rf_loss": 0.0019838721491396427,
+ "total_loss": 0.5634449581675914,
+ "lyap1_mean": 0.03617126867175102,
+ "lyap1_max": 0.07922844588756561,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 260,
+ "sup_loss": 0.7875259520236603,
+ "rf_loss": 0.002525906078517437,
+ "total_loss": 0.7951036702592126,
+ "lyap1_mean": 0.03970301151275635,
+ "lyap1_max": 0.08764571696519852,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 261,
+ "sup_loss": 0.6559941187475176,
+ "rf_loss": 0.002901348751038313,
+ "total_loss": 0.6646981645349712,
+ "lyap1_mean": 0.04363631457090378,
+ "lyap1_max": 0.08070799708366394,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 262,
+ "sup_loss": 0.4674063058059823,
+ "rf_loss": 0.0030755004845559597,
+ "total_loss": 0.4766328067939889,
+ "lyap1_mean": 0.03664879500865936,
+ "lyap1_max": 0.09453628212213516,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 263,
+ "sup_loss": 0.6310381701121605,
+ "rf_loss": 0.0029494566842913628,
+ "total_loss": 0.6398865401650345,
+ "lyap1_mean": 0.04247845336794853,
+ "lyap1_max": 0.08645305782556534,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 264,
+ "sup_loss": 0.5654723861750343,
+ "rf_loss": 0.002262301044538617,
+ "total_loss": 0.5722592895414808,
+ "lyap1_mean": 0.03539146110415459,
+ "lyap1_max": 0.08684062212705612,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 265,
+ "sup_loss": 0.5815116382220858,
+ "rf_loss": 0.0022083937656134367,
+ "total_loss": 0.5881368192860955,
+ "lyap1_mean": 0.030617274343967438,
+ "lyap1_max": 0.09588341414928436,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 266,
+ "sup_loss": 0.5197219054210594,
+ "rf_loss": 0.001165090361610055,
+ "total_loss": 0.5232171765058896,
+ "lyap1_mean": 0.008500820957124233,
+ "lyap1_max": 0.0651443675160408,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 267,
+ "sup_loss": 0.5507512862350266,
+ "rf_loss": 0.0012309565208852291,
+ "total_loss": 0.5544441557976822,
+ "lyap1_mean": 0.01874341070652008,
+ "lyap1_max": 0.08786344528198242,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 268,
+ "sup_loss": 0.6226052665473023,
+ "rf_loss": 0.0018700945656746626,
+ "total_loss": 0.6282155500114956,
+ "lyap1_mean": 0.03258604183793068,
+ "lyap1_max": 0.06780628859996796,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 269,
+ "sup_loss": 0.5940223351033922,
+ "rf_loss": 0.003401249647140503,
+ "total_loss": 0.6042260840448137,
+ "lyap1_mean": 0.043059468269348145,
+ "lyap1_max": 0.09683126956224442,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 270,
+ "sup_loss": 0.6572248185409911,
+ "rf_loss": 0.002609938383102417,
+ "total_loss": 0.6650546336902984,
+ "lyap1_mean": 0.03841648995876312,
+ "lyap1_max": 0.0870039314031601,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 271,
+ "sup_loss": 0.49198055950994457,
+ "rf_loss": 0.0030253957957029343,
+ "total_loss": 0.5010567468970534,
+ "lyap1_mean": 0.03532927855849266,
+ "lyap1_max": 0.08120524138212204,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 272,
+ "sup_loss": 0.615640726773991,
+ "rf_loss": 0.0020511422771960497,
+ "total_loss": 0.6217941538384097,
+ "lyap1_mean": 0.038463395088911057,
+ "lyap1_max": 0.08847977966070175,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 273,
+ "sup_loss": 0.6367792791772797,
+ "rf_loss": 0.0020351652055978775,
+ "total_loss": 0.6428847747940734,
+ "lyap1_mean": 0.03387432545423508,
+ "lyap1_max": 0.07252556085586548,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 274,
+ "sup_loss": 0.6020687052344974,
+ "rf_loss": 0.001793669885955751,
+ "total_loss": 0.6074497147759493,
+ "lyap1_mean": 0.027395395562052727,
+ "lyap1_max": 0.07444755733013153,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 275,
+ "sup_loss": 0.5812083840221409,
+ "rf_loss": 0.003584497608244419,
+ "total_loss": 0.5919618768468742,
+ "lyap1_mean": 0.04460734874010086,
+ "lyap1_max": 0.10611693561077118,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 276,
+ "sup_loss": 0.5857693539164319,
+ "rf_loss": 0.0013692444190382957,
+ "total_loss": 0.5898770871735468,
+ "lyap1_mean": 0.024265479296445847,
+ "lyap1_max": 0.06527967751026154,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 277,
+ "sup_loss": 0.43596260082218735,
+ "rf_loss": 0.0014397657942026854,
+ "total_loss": 0.44028189797196476,
+ "lyap1_mean": 0.01820916309952736,
+ "lyap1_max": 0.05881267786026001,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 278,
+ "sup_loss": 0.5110516506710593,
+ "rf_loss": 0.0005348181002773345,
+ "total_loss": 0.512656105030099,
+ "lyap1_mean": 0.008261393755674362,
+ "lyap1_max": 0.048958729952573776,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 279,
+ "sup_loss": 0.589349436658222,
+ "rf_loss": 0.0010671076597645879,
+ "total_loss": 0.5925507597539311,
+ "lyap1_mean": 0.017470091581344604,
+ "lyap1_max": 0.05551318824291229,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 280,
+ "sup_loss": 0.6884249556981439,
+ "rf_loss": 0.0016058619366958737,
+ "total_loss": 0.6932425416246468,
+ "lyap1_mean": 0.034670501947402954,
+ "lyap1_max": 0.08152464032173157,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 281,
+ "sup_loss": 0.5833663173047638,
+ "rf_loss": 0.003449635114520788,
+ "total_loss": 0.5937152221826649,
+ "lyap1_mean": 0.04340094327926636,
+ "lyap1_max": 0.10965590178966522,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 282,
+ "sup_loss": 0.5285228608287019,
+ "rf_loss": 0.00213672430254519,
+ "total_loss": 0.5349330339691681,
+ "lyap1_mean": 0.030822932720184326,
+ "lyap1_max": 0.09488312155008316,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 283,
+ "sup_loss": 0.5309043626565045,
+ "rf_loss": 0.0016214490169659257,
+ "total_loss": 0.5357687098238176,
+ "lyap1_mean": 0.02320871315896511,
+ "lyap1_max": 0.05688747018575668,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 284,
+ "sup_loss": 0.7420217130765739,
+ "rf_loss": 0.002718917094171047,
+ "total_loss": 0.7501784643590871,
+ "lyap1_mean": 0.042950280010700226,
+ "lyap1_max": 0.10092934966087341,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 285,
+ "sup_loss": 0.5030719482064685,
+ "rf_loss": 0.001378405257128179,
+ "total_loss": 0.5072071638614377,
+ "lyap1_mean": 0.01257180143147707,
+ "lyap1_max": 0.06249220296740532,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 286,
+ "sup_loss": 0.41781878390522403,
+ "rf_loss": 0.00039330997969955206,
+ "total_loss": 0.4189987138443227,
+ "lyap1_mean": 0.006741272751241922,
+ "lyap1_max": 0.04057919606566429,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 287,
+ "sup_loss": 0.5655357472733372,
+ "rf_loss": 0.002512070583179593,
+ "total_loss": 0.5730719592557066,
+ "lyap1_mean": 0.026676159352064133,
+ "lyap1_max": 0.08730814605951309,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 288,
+ "sup_loss": 0.5102984581637948,
+ "rf_loss": 0.0032989357132464647,
+ "total_loss": 0.5201952655363649,
+ "lyap1_mean": 0.03315574675798416,
+ "lyap1_max": 0.11451506614685059,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 289,
+ "sup_loss": 0.6068472769183132,
+ "rf_loss": 0.0007243180880323052,
+ "total_loss": 0.6090202312988254,
+ "lyap1_mean": 0.007474682293832302,
+ "lyap1_max": 0.06714566051959991,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 290,
+ "sup_loss": 0.5671205849059722,
+ "rf_loss": 0.002365723717957735,
+ "total_loss": 0.5742177560598454,
+ "lyap1_mean": 0.031985100358724594,
+ "lyap1_max": 0.09253459423780441,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 291,
+ "sup_loss": 0.5866128737847428,
+ "rf_loss": 0.002175870817154646,
+ "total_loss": 0.5931404862362067,
+ "lyap1_mean": 0.031331174075603485,
+ "lyap1_max": 0.07787175476551056,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 292,
+ "sup_loss": 0.4620516268699594,
+ "rf_loss": 0.0004797615110874176,
+ "total_loss": 0.46349091140322163,
+ "lyap1_mean": -0.0068753063678741455,
+ "lyap1_max": 0.040037356317043304,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 293,
+ "sup_loss": 0.36612388193819334,
+ "rf_loss": 0.0010736642871052027,
+ "total_loss": 0.36934487479950895,
+ "lyap1_mean": 0.0031753666698932648,
+ "lyap1_max": 0.0786132961511612,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 294,
+ "sup_loss": 0.5024041781876766,
+ "rf_loss": 0.0010997687932103872,
+ "total_loss": 0.5057034845673077,
+ "lyap1_mean": 0.023572638630867004,
+ "lyap1_max": 0.05844034627079964,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 295,
+ "sup_loss": 0.4083517643584955,
+ "rf_loss": 0.00040225862176157534,
+ "total_loss": 0.4095585402528841,
+ "lyap1_mean": 0.00859839841723442,
+ "lyap1_max": 0.048453330993652344,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 296,
+ "sup_loss": 0.6406818516218151,
+ "rf_loss": 0.002585486974567175,
+ "total_loss": 0.6484383125455166,
+ "lyap1_mean": 0.03875983506441116,
+ "lyap1_max": 0.08463113009929657,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 297,
+ "sup_loss": 0.41618304789948607,
+ "rf_loss": 0.0008873224724084139,
+ "total_loss": 0.4188450153167113,
+ "lyap1_mean": 0.009510987438261509,
+ "lyap1_max": 0.057769373059272766,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 298,
+ "sup_loss": 0.6036948374701745,
+ "rf_loss": 0.0030819480307400227,
+ "total_loss": 0.6129406820280558,
+ "lyap1_mean": 0.04635424166917801,
+ "lyap1_max": 0.07763020694255829,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 299,
+ "sup_loss": 0.5140818952946494,
+ "rf_loss": 0.0009670315776020288,
+ "total_loss": 0.5169829900274555,
+ "lyap1_mean": 0.01192011870443821,
+ "lyap1_max": 0.05061298981308937,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 300,
+ "sup_loss": 0.4840606397106853,
+ "rf_loss": 0.0015737530775368214,
+ "total_loss": 0.48878189894329577,
+ "lyap1_mean": 0.01839582994580269,
+ "lyap1_max": 0.06315314024686813,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 301,
+ "sup_loss": 0.5901825193657062,
+ "rf_loss": 0.0008736838353797793,
+ "total_loss": 0.5928035707554302,
+ "lyap1_mean": 0.017530957236886024,
+ "lyap1_max": 0.04802548885345459,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 302,
+ "sup_loss": 0.6353828988568996,
+ "rf_loss": 0.00267648883163929,
+ "total_loss": 0.6434123653518175,
+ "lyap1_mean": 0.04330091178417206,
+ "lyap1_max": 0.07919301092624664,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 303,
+ "sup_loss": 0.6026541184036643,
+ "rf_loss": 0.0010964296525344253,
+ "total_loss": 0.6059434072448523,
+ "lyap1_mean": 0.0234694704413414,
+ "lyap1_max": 0.07944776117801666,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 304,
+ "sup_loss": 0.5515858995808555,
+ "rf_loss": 0.0005310686537995934,
+ "total_loss": 0.5531791055422542,
+ "lyap1_mean": 0.0033397385850548744,
+ "lyap1_max": 0.045274779200553894,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 305,
+ "sup_loss": 0.5210549931975254,
+ "rf_loss": 0.0004138235526625067,
+ "total_loss": 0.5222964638846167,
+ "lyap1_mean": 0.008075426332652569,
+ "lyap1_max": 0.048218052834272385,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 306,
+ "sup_loss": 0.6205108556619002,
+ "rf_loss": 0.0036131874658167362,
+ "total_loss": 0.6313504185250117,
+ "lyap1_mean": 0.04219604656100273,
+ "lyap1_max": 0.12630313634872437,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 307,
+ "sup_loss": 0.5593079254651797,
+ "rf_loss": 0.0026790390256792307,
+ "total_loss": 0.567345042775048,
+ "lyap1_mean": 0.038952793926000595,
+ "lyap1_max": 0.10053598135709763,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 308,
+ "sup_loss": 0.5165576816237539,
+ "rf_loss": 0.0019809571094810963,
+ "total_loss": 0.5225005529521972,
+ "lyap1_mean": 0.025452660396695137,
+ "lyap1_max": 0.10313387215137482,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 309,
+ "sup_loss": 0.6192591148084491,
+ "rf_loss": 0.0037599108181893826,
+ "total_loss": 0.630538846797356,
+ "lyap1_mean": 0.05600889027118683,
+ "lyap1_max": 0.10076817870140076,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 310,
+ "sup_loss": 0.5653608661644982,
+ "rf_loss": 0.002917846431955695,
+ "total_loss": 0.5741144052275347,
+ "lyap1_mean": 0.033322859555482864,
+ "lyap1_max": 0.12446503341197968,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 311,
+ "sup_loss": 0.5965777323491903,
+ "rf_loss": 0.002230549231171608,
+ "total_loss": 0.6032693800427051,
+ "lyap1_mean": 0.03722072392702103,
+ "lyap1_max": 0.07778821885585785,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 312,
+ "sup_loss": 0.4390131362301765,
+ "rf_loss": 0.000603793072514236,
+ "total_loss": 0.4408245154477192,
+ "lyap1_mean": 0.005864771548658609,
+ "lyap1_max": 0.04182520508766174,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 313,
+ "sup_loss": 0.47807041663603295,
+ "rf_loss": 0.0006950100068934262,
+ "total_loss": 0.4801554467149209,
+ "lyap1_mean": 0.009723999537527561,
+ "lyap1_max": 0.06865102797746658,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 314,
+ "sup_loss": 0.6939778844460716,
+ "rf_loss": 0.0029739984311163425,
+ "total_loss": 0.7028998802050819,
+ "lyap1_mean": 0.04123557358980179,
+ "lyap1_max": 0.08432208746671677,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 315,
+ "sup_loss": 0.7243228841192619,
+ "rf_loss": 0.003156509716063738,
+ "total_loss": 0.7337924137331144,
+ "lyap1_mean": 0.049903303384780884,
+ "lyap1_max": 0.09414588660001755,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 316,
+ "sup_loss": 0.49486530897579756,
+ "rf_loss": 0.0009771083714440465,
+ "total_loss": 0.497796634206545,
+ "lyap1_mean": 0.012532999739050865,
+ "lyap1_max": 0.05145092308521271,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 317,
+ "sup_loss": 0.6747459109194174,
+ "rf_loss": 0.0022292647045105696,
+ "total_loss": 0.6814337048001184,
+ "lyap1_mean": 0.04073227569460869,
+ "lyap1_max": 0.08975791931152344,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 318,
+ "sup_loss": 0.6344212901263153,
+ "rf_loss": 0.0019223906565457582,
+ "total_loss": 0.6401884623287832,
+ "lyap1_mean": 0.04177515208721161,
+ "lyap1_max": 0.06631409376859665,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 319,
+ "sup_loss": 0.5615532827261344,
+ "rf_loss": 0.0016672539059072733,
+ "total_loss": 0.5665550446766868,
+ "lyap1_mean": 0.026061231270432472,
+ "lyap1_max": 0.06387961655855179,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 320,
+ "sup_loss": 0.5561287185612005,
+ "rf_loss": 0.0013461444759741426,
+ "total_loss": 0.5601671521055382,
+ "lyap1_mean": 0.012878967449069023,
+ "lyap1_max": 0.05979765206575394,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 321,
+ "sup_loss": 0.5205239131579361,
+ "rf_loss": 0.0012822874123230577,
+ "total_loss": 0.5243707755113206,
+ "lyap1_mean": 0.017885159701108932,
+ "lyap1_max": 0.06527003645896912,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 322,
+ "sup_loss": 0.6492868464273307,
+ "rf_loss": 0.0020396048203110695,
+ "total_loss": 0.6554056608882639,
+ "lyap1_mean": 0.02981647662818432,
+ "lyap1_max": 0.08034072071313858,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 323,
+ "sup_loss": 0.7596267036852971,
+ "rf_loss": 0.0018507950007915497,
+ "total_loss": 0.7651790886876717,
+ "lyap1_mean": 0.031435199081897736,
+ "lyap1_max": 0.07013954222202301,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 324,
+ "sup_loss": 0.6537560683818722,
+ "rf_loss": 0.0015509992372244596,
+ "total_loss": 0.6584090658607149,
+ "lyap1_mean": 0.032360486686229706,
+ "lyap1_max": 0.060175199061632156,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 325,
+ "sup_loss": 0.5513165213901058,
+ "rf_loss": 0.003164842026308179,
+ "total_loss": 0.560811047701861,
+ "lyap1_mean": 0.05303206294775009,
+ "lyap1_max": 0.08963770419359207,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 326,
+ "sup_loss": 0.7212714135691847,
+ "rf_loss": 0.0021545644849538803,
+ "total_loss": 0.7277351070240463,
+ "lyap1_mean": 0.03986829146742821,
+ "lyap1_max": 0.06917707622051239,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 327,
+ "sup_loss": 0.5397690809318507,
+ "rf_loss": 0.002615618519484997,
+ "total_loss": 0.5476159364903057,
+ "lyap1_mean": 0.030381610617041588,
+ "lyap1_max": 0.10428324341773987,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 328,
+ "sup_loss": 0.5247823681485322,
+ "rf_loss": 0.0024718542117625475,
+ "total_loss": 0.5321979310166505,
+ "lyap1_mean": 0.036832958459854126,
+ "lyap1_max": 0.07467968016862869,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 329,
+ "sup_loss": 0.5888685704624975,
+ "rf_loss": 0.0010021098423749208,
+ "total_loss": 0.5918748999896223,
+ "lyap1_mean": 0.024914667010307312,
+ "lyap1_max": 0.052583735436201096,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 330,
+ "sup_loss": 0.5258005814755213,
+ "rf_loss": 0.0031076387967914343,
+ "total_loss": 0.535123497633065,
+ "lyap1_mean": 0.031148597598075867,
+ "lyap1_max": 0.0914350375533104,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 331,
+ "sup_loss": 0.6373413189446431,
+ "rf_loss": 0.0024633705615997314,
+ "total_loss": 0.6447314306294423,
+ "lyap1_mean": 0.04597395658493042,
+ "lyap1_max": 0.07518506795167923,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 332,
+ "sup_loss": 0.52775368742454,
+ "rf_loss": 0.0020147431641817093,
+ "total_loss": 0.5337979169170851,
+ "lyap1_mean": 0.03952667862176895,
+ "lyap1_max": 0.07113754004240036,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 333,
+ "sup_loss": 0.5786254619387914,
+ "rf_loss": 0.0016089805867522955,
+ "total_loss": 0.5834524034662176,
+ "lyap1_mean": 0.029763514176011086,
+ "lyap1_max": 0.0638602152466774,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 334,
+ "sup_loss": 0.48857784369829305,
+ "rf_loss": 0.0012652085861191154,
+ "total_loss": 0.49237346934023507,
+ "lyap1_mean": 0.02091844007372856,
+ "lyap1_max": 0.06232328712940216,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 335,
+ "sup_loss": 0.5711390509717967,
+ "rf_loss": 0.002675591967999935,
+ "total_loss": 0.5791658268757965,
+ "lyap1_mean": 0.04307087883353233,
+ "lyap1_max": 0.08133035153150558,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 336,
+ "sup_loss": 0.5187835205119052,
+ "rf_loss": 0.002516434993594885,
+ "total_loss": 0.5263328254926899,
+ "lyap1_mean": 0.040188007056713104,
+ "lyap1_max": 0.0729234367609024,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 337,
+ "sup_loss": 0.6209335343864318,
+ "rf_loss": 0.003067925339564681,
+ "total_loss": 0.6301373101722952,
+ "lyap1_mean": 0.042179472744464874,
+ "lyap1_max": 0.09862794727087021,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 338,
+ "sup_loss": 0.46368119842674727,
+ "rf_loss": 0.002241907175630331,
+ "total_loss": 0.47040691995363826,
+ "lyap1_mean": 0.024746406823396683,
+ "lyap1_max": 0.07217137515544891,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 339,
+ "sup_loss": 0.48979113630589105,
+ "rf_loss": 0.0014364388771355152,
+ "total_loss": 0.4941004529372976,
+ "lyap1_mean": 0.013098789379000664,
+ "lyap1_max": 0.08024308830499649,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 340,
+ "sup_loss": 0.5972385743569508,
+ "rf_loss": 0.002691863104701042,
+ "total_loss": 0.605314163671054,
+ "lyap1_mean": 0.0439777672290802,
+ "lyap1_max": 0.07528228312730789,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 341,
+ "sup_loss": 0.5723775131652575,
+ "rf_loss": 0.0014515151269733906,
+ "total_loss": 0.5767320585461777,
+ "lyap1_mean": 0.024147577583789825,
+ "lyap1_max": 0.06656347960233688,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 342,
+ "sup_loss": 0.5699429553999302,
+ "rf_loss": 0.0019343579187989235,
+ "total_loss": 0.575746029156327,
+ "lyap1_mean": 0.026963097974658012,
+ "lyap1_max": 0.09592654556035995,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 343,
+ "sup_loss": 0.5302658929559118,
+ "rf_loss": 0.0011090869084000587,
+ "total_loss": 0.5335931536811119,
+ "lyap1_mean": 0.020187079906463623,
+ "lyap1_max": 0.059420835226774216,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 344,
+ "sup_loss": 0.4961268733539141,
+ "rf_loss": 0.0014619180001318455,
+ "total_loss": 0.5005126273543097,
+ "lyap1_mean": 0.01863468997180462,
+ "lyap1_max": 0.06910475343465805,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 345,
+ "sup_loss": 0.5986997959740302,
+ "rf_loss": 0.0035415631718933582,
+ "total_loss": 0.6093244859553716,
+ "lyap1_mean": 0.05267808213829994,
+ "lyap1_max": 0.085862897336483,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 346,
+ "sup_loss": 0.5620119447036771,
+ "rf_loss": 0.0016495195450261235,
+ "total_loss": 0.5669605034551708,
+ "lyap1_mean": 0.03270978480577469,
+ "lyap1_max": 0.0665418729186058,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 347,
+ "sup_loss": 0.5406458030322072,
+ "rf_loss": 0.0009941650787368417,
+ "total_loss": 0.5436282983848331,
+ "lyap1_mean": 0.010672724805772305,
+ "lyap1_max": 0.06343332678079605,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 348,
+ "sup_loss": 0.5324584236113618,
+ "rf_loss": 0.000620472535956651,
+ "total_loss": 0.5343198412774394,
+ "lyap1_mean": 0.013003747910261154,
+ "lyap1_max": 0.04677306115627289,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 349,
+ "sup_loss": 0.5268815730586115,
+ "rf_loss": 0.0006493278197012842,
+ "total_loss": 0.5288295564595077,
+ "lyap1_mean": 0.009834472090005875,
+ "lyap1_max": 0.061227571219205856,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 350,
+ "sup_loss": 0.7166662293664823,
+ "rf_loss": 0.0027621628250926733,
+ "total_loss": 0.7249527176089297,
+ "lyap1_mean": 0.04736301302909851,
+ "lyap1_max": 0.08003298938274384,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 351,
+ "sup_loss": 0.5803797743600214,
+ "rf_loss": 0.0019702143035829067,
+ "total_loss": 0.5862904172707701,
+ "lyap1_mean": 0.021793346852064133,
+ "lyap1_max": 0.07789682596921921,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 352,
+ "sup_loss": 0.4805015763285265,
+ "rf_loss": 0.0008866468560881913,
+ "total_loss": 0.48316151695499876,
+ "lyap1_mean": 0.007605327758938074,
+ "lyap1_max": 0.07437896728515625,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 353,
+ "sup_loss": 0.5841512479762533,
+ "rf_loss": 0.0009856006363406777,
+ "total_loss": 0.5871080500016906,
+ "lyap1_mean": 0.022887377068400383,
+ "lyap1_max": 0.05476607754826546,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 354,
+ "sup_loss": 0.6529694652491778,
+ "rf_loss": 0.002321213250979781,
+ "total_loss": 0.6599331047692865,
+ "lyap1_mean": 0.03996530547738075,
+ "lyap1_max": 0.09547314047813416,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 355,
+ "sup_loss": 0.6696344793670768,
+ "rf_loss": 0.002018870087340474,
+ "total_loss": 0.6756910898619288,
+ "lyap1_mean": 0.03565870225429535,
+ "lyap1_max": 0.07597426325082779,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 356,
+ "sup_loss": 0.7085148622995826,
+ "rf_loss": 0.002123064361512661,
+ "total_loss": 0.7148840553841206,
+ "lyap1_mean": 0.04139257222414017,
+ "lyap1_max": 0.06840799748897552,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 357,
+ "sup_loss": 0.4813817483757824,
+ "rf_loss": 0.000825568800792098,
+ "total_loss": 0.4838584547781587,
+ "lyap1_mean": 0.012385258451104164,
+ "lyap1_max": 0.051191363483667374,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 358,
+ "sup_loss": 0.5651658455634575,
+ "rf_loss": 0.0017000050283968449,
+ "total_loss": 0.570265860648648,
+ "lyap1_mean": 0.03568024933338165,
+ "lyap1_max": 0.07369998842477798,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 359,
+ "sup_loss": 0.6154996383292143,
+ "rf_loss": 0.0014297700254246593,
+ "total_loss": 0.6197889482890729,
+ "lyap1_mean": 0.024306314066052437,
+ "lyap1_max": 0.07367789000272751,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 360,
+ "sup_loss": 0.5030136912910195,
+ "rf_loss": 0.002228527795523405,
+ "total_loss": 0.5096992746775897,
+ "lyap1_mean": 0.03265954554080963,
+ "lyap1_max": 0.09206917136907578,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 361,
+ "sup_loss": 0.6634269903371569,
+ "rf_loss": 0.0026951739564538,
+ "total_loss": 0.6715125122065183,
+ "lyap1_mean": 0.04596263915300369,
+ "lyap1_max": 0.08607827126979828,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 362,
+ "sup_loss": 0.6930112704008173,
+ "rf_loss": 0.0015958319418132305,
+ "total_loss": 0.697798766226257,
+ "lyap1_mean": 0.03526563197374344,
+ "lyap1_max": 0.06080428883433342,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 363,
+ "sup_loss": 0.6741018129876488,
+ "rf_loss": 0.00043549572001211345,
+ "total_loss": 0.6754083001185813,
+ "lyap1_mean": 0.008198006078600883,
+ "lyap1_max": 0.05302230641245842,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 364,
+ "sup_loss": 0.564623697595149,
+ "rf_loss": 0.00044646987225860357,
+ "total_loss": 0.5659631072119248,
+ "lyap1_mean": 0.004555205348879099,
+ "lyap1_max": 0.04160105809569359,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 365,
+ "sup_loss": 0.6018097948402528,
+ "rf_loss": 0.0015111647080630064,
+ "total_loss": 0.6063432887316111,
+ "lyap1_mean": 0.03324710577726364,
+ "lyap1_max": 0.0743691623210907,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 366,
+ "sup_loss": 0.43032075315125057,
+ "rf_loss": 0.0007042039651423693,
+ "total_loss": 0.4324333650466777,
+ "lyap1_mean": 0.007384442258626223,
+ "lyap1_max": 0.05703906714916229,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 367,
+ "sup_loss": 0.55940614985476,
+ "rf_loss": 0.0021150470711290836,
+ "total_loss": 0.5657512910681473,
+ "lyap1_mean": 0.03295368328690529,
+ "lyap1_max": 0.07145216315984726,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 368,
+ "sup_loss": 0.7359114428866048,
+ "rf_loss": 0.0007661881390959024,
+ "total_loss": 0.7382100073038925,
+ "lyap1_mean": 0.018424078822135925,
+ "lyap1_max": 0.05058715119957924,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 369,
+ "sup_loss": 0.4896195943054628,
+ "rf_loss": 0.0006062039756216109,
+ "total_loss": 0.4914382062905353,
+ "lyap1_mean": 0.00849563255906105,
+ "lyap1_max": 0.05917436257004738,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 370,
+ "sup_loss": 0.5670074331208765,
+ "rf_loss": 0.0008304669172503054,
+ "total_loss": 0.5694988339308351,
+ "lyap1_mean": 0.017740152776241302,
+ "lyap1_max": 0.05732885003089905,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 371,
+ "sup_loss": 0.4641231846679282,
+ "rf_loss": 0.0006277368520386517,
+ "total_loss": 0.4660063952822518,
+ "lyap1_mean": 0.0038649141788482666,
+ "lyap1_max": 0.055546484887599945,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 372,
+ "sup_loss": 0.6353077852627033,
+ "rf_loss": 0.000261711364146322,
+ "total_loss": 0.6360929193551422,
+ "lyap1_mean": 0.006101387552917004,
+ "lyap1_max": 0.0265310388058424,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 373,
+ "sup_loss": 0.42487397046811176,
+ "rf_loss": 3.3632764825597405e-05,
+ "total_loss": 0.42497486876258855,
+ "lyap1_mean": -0.01847948506474495,
+ "lyap1_max": 0.01322998758405447,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 374,
+ "sup_loss": 0.5994636748997105,
+ "rf_loss": 0.002174702938646078,
+ "total_loss": 0.6059877837156488,
+ "lyap1_mean": 0.02771017700433731,
+ "lyap1_max": 0.08601747453212738,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 375,
+ "sup_loss": 0.5654347235778713,
+ "rf_loss": 0.0019577075727283955,
+ "total_loss": 0.5713078462960565,
+ "lyap1_mean": 0.02248688042163849,
+ "lyap1_max": 0.08429998904466629,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 376,
+ "sup_loss": 0.5548314969309132,
+ "rf_loss": 0.0006042640306986868,
+ "total_loss": 0.5566442890812169,
+ "lyap1_mean": 0.012043989263474941,
+ "lyap1_max": 0.039769407361745834,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 377,
+ "sup_loss": 0.4848646466546928,
+ "rf_loss": 0.0003887175116688013,
+ "total_loss": 0.4860307991896992,
+ "lyap1_mean": 0.003002478275448084,
+ "lyap1_max": 0.046504586935043335,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 378,
+ "sup_loss": 0.5029380534544318,
+ "rf_loss": 0.0007051355205476284,
+ "total_loss": 0.5050534600160747,
+ "lyap1_mean": 0.005615970119833946,
+ "lyap1_max": 0.043411508202552795,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 379,
+ "sup_loss": 0.5019236678648622,
+ "rf_loss": 0.001766833709552884,
+ "total_loss": 0.5072241692263515,
+ "lyap1_mean": 0.023037858307361603,
+ "lyap1_max": 0.08216305822134018,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 380,
+ "sup_loss": 0.5522576261720035,
+ "rf_loss": 0.0010355133563280106,
+ "total_loss": 0.5553641662409875,
+ "lyap1_mean": 0.020258210599422455,
+ "lyap1_max": 0.06735986471176147,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 381,
+ "sup_loss": 0.5196130894121692,
+ "rf_loss": 0.0007068882696330547,
+ "total_loss": 0.5217337542210684,
+ "lyap1_mean": 0.019129576161503792,
+ "lyap1_max": 0.03985002264380455,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 382,
+ "sup_loss": 0.6381360467729027,
+ "rf_loss": 0.0015323172556236386,
+ "total_loss": 0.6427329986561889,
+ "lyap1_mean": 0.03551241755485535,
+ "lyap1_max": 0.059775080531835556,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 383,
+ "sup_loss": 0.4995074770509845,
+ "rf_loss": 0.0013023243518546224,
+ "total_loss": 0.5034144502229637,
+ "lyap1_mean": 0.016642482951283455,
+ "lyap1_max": 0.05472239479422569,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 384,
+ "sup_loss": 0.5268809062907763,
+ "rf_loss": 0.0010870988480746746,
+ "total_loss": 0.5301422028350004,
+ "lyap1_mean": 0.019072284922003746,
+ "lyap1_max": 0.06832742691040039,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 385,
+ "sup_loss": 0.52864412275209,
+ "rf_loss": 0.0007699992274865508,
+ "total_loss": 0.5309541203181344,
+ "lyap1_mean": 0.004424505867063999,
+ "lyap1_max": 0.06091280281543732,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 386,
+ "sup_loss": 0.4443521714792628,
+ "rf_loss": 0.0010975404875352979,
+ "total_loss": 0.44764479305828403,
+ "lyap1_mean": 0.013993817381560802,
+ "lyap1_max": 0.07363580167293549,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 387,
+ "sup_loss": 0.572808262144077,
+ "rf_loss": 0.0020028389990329742,
+ "total_loss": 0.5788167791411759,
+ "lyap1_mean": 0.03022008389234543,
+ "lyap1_max": 0.08363687247037888,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 388,
+ "sup_loss": 0.5093351134077825,
+ "rf_loss": 0.0017434321343898773,
+ "total_loss": 0.5145654098109521,
+ "lyap1_mean": 0.018140148371458054,
+ "lyap1_max": 0.07540576159954071,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 389,
+ "sup_loss": 0.4812343816401899,
+ "rf_loss": 0.0006698732613585889,
+ "total_loss": 0.483244001366058,
+ "lyap1_mean": 0.009135146625339985,
+ "lyap1_max": 0.04435378685593605,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 390,
+ "sup_loss": 0.5241231881892822,
+ "rf_loss": 0.0013545912224799395,
+ "total_loss": 0.5281869620895526,
+ "lyap1_mean": 0.01229756698012352,
+ "lyap1_max": 0.07090899348258972,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 391,
+ "sup_loss": 0.6400827938479479,
+ "rf_loss": 0.0015271903248503804,
+ "total_loss": 0.6446643649389143,
+ "lyap1_mean": 0.02855902537703514,
+ "lyap1_max": 0.08442188799381256,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 392,
+ "sup_loss": 0.6625807629874597,
+ "rf_loss": 0.0012147180968895555,
+ "total_loss": 0.6662249173945437,
+ "lyap1_mean": 0.02453799545764923,
+ "lyap1_max": 0.054868243634700775,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 393,
+ "sup_loss": 0.6643237246958127,
+ "rf_loss": 0.0024627503007650375,
+ "total_loss": 0.6717119755981078,
+ "lyap1_mean": 0.03483545035123825,
+ "lyap1_max": 0.08327745646238327,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 394,
+ "sup_loss": 0.6678859705553558,
+ "rf_loss": 0.00134939921554178,
+ "total_loss": 0.6719341680855658,
+ "lyap1_mean": 0.03113848716020584,
+ "lyap1_max": 0.07152270525693893,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 395,
+ "sup_loss": 0.5837719174112046,
+ "rf_loss": 0.0010011943522840738,
+ "total_loss": 0.5867755004680568,
+ "lyap1_mean": 0.018151383846998215,
+ "lyap1_max": 0.07073134183883667,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 396,
+ "sup_loss": 0.46653124678662883,
+ "rf_loss": 0.0008821637602522969,
+ "total_loss": 0.46917773818380104,
+ "lyap1_mean": 0.014957347884774208,
+ "lyap1_max": 0.05261056125164032,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 397,
+ "sup_loss": 0.4573189025547216,
+ "rf_loss": 0.0006762081757187843,
+ "total_loss": 0.4593475270818779,
+ "lyap1_mean": 0.0015861783176660538,
+ "lyap1_max": 0.06418295204639435,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 398,
+ "sup_loss": 0.6231044889802747,
+ "rf_loss": 0.0019754525274038315,
+ "total_loss": 0.6290308465624862,
+ "lyap1_mean": 0.039771050214767456,
+ "lyap1_max": 0.08255021274089813,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 399,
+ "sup_loss": 0.5683683629927586,
+ "rf_loss": 0.0011559890117496252,
+ "total_loss": 0.5718363300280075,
+ "lyap1_mean": 0.028553849086165428,
+ "lyap1_max": 0.05331547558307648,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 400,
+ "sup_loss": 0.578985125081796,
+ "rf_loss": 0.0002599495055619627,
+ "total_loss": 0.5797649736275857,
+ "lyap1_mean": -0.0009849248453974724,
+ "lyap1_max": 0.03005368448793888,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 401,
+ "sup_loss": 0.5900133076313243,
+ "rf_loss": 0.0034104473888874054,
+ "total_loss": 0.6002446497979865,
+ "lyap1_mean": 0.0421992652118206,
+ "lyap1_max": 0.12075970321893692,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 402,
+ "sup_loss": 0.6148585250769222,
+ "rf_loss": 0.0006213674787431955,
+ "total_loss": 0.6167226275131518,
+ "lyap1_mean": 0.012030219659209251,
+ "lyap1_max": 0.0408673956990242,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 403,
+ "sup_loss": 0.5874060121727462,
+ "rf_loss": 0.000729928957298398,
+ "total_loss": 0.5895957990446414,
+ "lyap1_mean": 0.006420600228011608,
+ "lyap1_max": 0.05616118758916855,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 404,
+ "sup_loss": 0.394117028731759,
+ "rf_loss": 0.000481118680909276,
+ "total_loss": 0.39556038477448685,
+ "lyap1_mean": 0.00047818582970649004,
+ "lyap1_max": 0.044262152165174484,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 405,
+ "sup_loss": 0.6478138346373631,
+ "rf_loss": 0.0006934978300705552,
+ "total_loss": 0.6498943282439901,
+ "lyap1_mean": 0.015910303220152855,
+ "lyap1_max": 0.05181358754634857,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 406,
+ "sup_loss": 0.6806224401950269,
+ "rf_loss": 0.000884590670466423,
+ "total_loss": 0.6832762122064262,
+ "lyap1_mean": 0.01181999035179615,
+ "lyap1_max": 0.06682275980710983,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 407,
+ "sup_loss": 0.5356717778766376,
+ "rf_loss": 0.0007086154073476791,
+ "total_loss": 0.5377976240986806,
+ "lyap1_mean": 0.008392170071601868,
+ "lyap1_max": 0.055516064167022705,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 408,
+ "sup_loss": 0.5439524666098731,
+ "rf_loss": 0.0010828819358721375,
+ "total_loss": 0.5472011125339048,
+ "lyap1_mean": 0.019484911113977432,
+ "lyap1_max": 0.07124217599630356,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 409,
+ "sup_loss": 0.7066068642952542,
+ "rf_loss": 0.0006918029394000769,
+ "total_loss": 0.7086822731134544,
+ "lyap1_mean": 0.02260793000459671,
+ "lyap1_max": 0.049787137657403946,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 410,
+ "sup_loss": 0.5906869551131944,
+ "rf_loss": 0.0011211164528504014,
+ "total_loss": 0.5940503045881609,
+ "lyap1_mean": 0.015993312001228333,
+ "lyap1_max": 0.057816676795482635,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 411,
+ "sup_loss": 0.5803329119517688,
+ "rf_loss": 0.0008769356645643711,
+ "total_loss": 0.582963718945462,
+ "lyap1_mean": 0.014583935029804707,
+ "lyap1_max": 0.05401574447751045,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 412,
+ "sup_loss": 0.6832459112064062,
+ "rf_loss": 0.001798003795556724,
+ "total_loss": 0.6886399224766611,
+ "lyap1_mean": 0.03324523940682411,
+ "lyap1_max": 0.07008414715528488,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 413,
+ "sup_loss": 0.6248384952253518,
+ "rf_loss": 0.0015930412337183952,
+ "total_loss": 0.629617618926507,
+ "lyap1_mean": 0.027857188135385513,
+ "lyap1_max": 0.0731096863746643,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 414,
+ "sup_loss": 0.6406891276609693,
+ "rf_loss": 0.0010283879237249494,
+ "total_loss": 0.6437742915485595,
+ "lyap1_mean": 0.026657359674572945,
+ "lyap1_max": 0.06136885657906532,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 415,
+ "sup_loss": 0.4781657001892874,
+ "rf_loss": 0.0006120378384366632,
+ "total_loss": 0.4800018137045974,
+ "lyap1_mean": 0.0053801522590219975,
+ "lyap1_max": 0.04924877732992172,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 416,
+ "sup_loss": 0.6198467481720735,
+ "rf_loss": 0.0012236916227266192,
+ "total_loss": 0.6235178229238381,
+ "lyap1_mean": 0.027290280908346176,
+ "lyap1_max": 0.0654178336262703,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 417,
+ "sup_loss": 0.6236115370373614,
+ "rf_loss": 0.0012880067806690931,
+ "total_loss": 0.6274755573793687,
+ "lyap1_mean": 0.0254954993724823,
+ "lyap1_max": 0.08222196251153946,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 418,
+ "sup_loss": 0.5156748508347307,
+ "rf_loss": 0.0008983192965388298,
+ "total_loss": 0.5183698087243472,
+ "lyap1_mean": 0.006366936024278402,
+ "lyap1_max": 0.07291091978549957,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 419,
+ "sup_loss": 0.5590803189768356,
+ "rf_loss": 0.0010643558343872428,
+ "total_loss": 0.562273386363582,
+ "lyap1_mean": 0.020634429529309273,
+ "lyap1_max": 0.04423946514725685,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 420,
+ "sup_loss": 0.555197455402224,
+ "rf_loss": 0.000961373676545918,
+ "total_loss": 0.5580815765482771,
+ "lyap1_mean": 0.012198152020573616,
+ "lyap1_max": 0.07635221630334854,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 421,
+ "sup_loss": 0.558051604766776,
+ "rf_loss": 0.0006941443425603211,
+ "total_loss": 0.5601340378526646,
+ "lyap1_mean": 0.0076980553567409515,
+ "lyap1_max": 0.05274500325322151,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 422,
+ "sup_loss": 0.5900185267464753,
+ "rf_loss": 0.0011458604130893946,
+ "total_loss": 0.5934561079857434,
+ "lyap1_mean": 0.019177861511707306,
+ "lyap1_max": 0.06957697123289108,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 423,
+ "sup_loss": 0.4960706478557605,
+ "rf_loss": 0.0014875878114253283,
+ "total_loss": 0.5005334115228671,
+ "lyap1_mean": 0.021097630262374878,
+ "lyap1_max": 0.0699978843331337,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 424,
+ "sup_loss": 0.6202618709566085,
+ "rf_loss": 0.0010647043818607926,
+ "total_loss": 0.6234559842186062,
+ "lyap1_mean": 0.024253830313682556,
+ "lyap1_max": 0.04929065331816673,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 425,
+ "sup_loss": 0.45701438315527426,
+ "rf_loss": 0.001317939953878522,
+ "total_loss": 0.46096820324974047,
+ "lyap1_mean": 0.009744051843881607,
+ "lyap1_max": 0.07833423465490341,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 426,
+ "sup_loss": 0.5242224415438487,
+ "rf_loss": 5.5714241170790046e-05,
+ "total_loss": 0.5243895842600851,
+ "lyap1_mean": -0.004373045172542334,
+ "lyap1_max": 0.01768513396382332,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 427,
+ "sup_loss": 0.6210952735293529,
+ "rf_loss": 0.0010992009192705154,
+ "total_loss": 0.6243928762871644,
+ "lyap1_mean": 0.02876747027039528,
+ "lyap1_max": 0.05923672020435333,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 428,
+ "sup_loss": 0.5591561954810331,
+ "rf_loss": 0.0013957144692540169,
+ "total_loss": 0.5633433388887952,
+ "lyap1_mean": 0.019159607589244843,
+ "lyap1_max": 0.0764298066496849,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 429,
+ "sup_loss": 0.6384781383213403,
+ "rf_loss": 0.0008256952278316021,
+ "total_loss": 0.6409552240048351,
+ "lyap1_mean": 0.02205655537545681,
+ "lyap1_max": 0.0415680855512619,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 430,
+ "sup_loss": 0.64274912742391,
+ "rf_loss": 0.0014853860484436154,
+ "total_loss": 0.6472052856856562,
+ "lyap1_mean": 0.03560073673725128,
+ "lyap1_max": 0.0561961755156517,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 431,
+ "sup_loss": 0.5774552185523125,
+ "rf_loss": 0.0015558702871203423,
+ "total_loss": 0.5821228294136735,
+ "lyap1_mean": 0.0273647028952837,
+ "lyap1_max": 0.07600345462560654,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 432,
+ "sup_loss": 0.5046584655791957,
+ "rf_loss": 0.0020077088847756386,
+ "total_loss": 0.5106815922335226,
+ "lyap1_mean": 0.02950887754559517,
+ "lyap1_max": 0.08097541332244873,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 433,
+ "sup_loss": 0.5606592479893304,
+ "rf_loss": 0.001678975997492671,
+ "total_loss": 0.5656961757489778,
+ "lyap1_mean": 0.02799064666032791,
+ "lyap1_max": 0.08018792420625687,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 434,
+ "sup_loss": 0.5121929320729846,
+ "rf_loss": 0.0023219683207571507,
+ "total_loss": 0.519158837035256,
+ "lyap1_mean": 0.025565285235643387,
+ "lyap1_max": 0.10517121851444244,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 435,
+ "sup_loss": 0.44800183049358805,
+ "rf_loss": 0.000188735022675246,
+ "total_loss": 0.4485680355616138,
+ "lyap1_mean": -0.004439753480255604,
+ "lyap1_max": 0.0237355288118124,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 436,
+ "sup_loss": 0.5950415184196994,
+ "rf_loss": 0.0005903381970711052,
+ "total_loss": 0.5968125330691204,
+ "lyap1_mean": 0.017893919721245766,
+ "lyap1_max": 0.053754955530166626,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 437,
+ "sup_loss": 0.5665290542241407,
+ "rf_loss": 0.00043483954505063593,
+ "total_loss": 0.5678335728883964,
+ "lyap1_mean": 0.0018789293244481087,
+ "lyap1_max": 0.04571705311536789,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 438,
+ "sup_loss": 0.49081226474283063,
+ "rf_loss": 0.0004975419142283499,
+ "total_loss": 0.49230489054372334,
+ "lyap1_mean": 0.013462616130709648,
+ "lyap1_max": 0.042835284024477005,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 439,
+ "sup_loss": 0.5867506811220919,
+ "rf_loss": 0.0014905560528859496,
+ "total_loss": 0.5912223491643345,
+ "lyap1_mean": 0.026933934539556503,
+ "lyap1_max": 0.0696437731385231,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 440,
+ "sup_loss": 0.6742471471046818,
+ "rf_loss": 0.0015694263856858015,
+ "total_loss": 0.6789554260289086,
+ "lyap1_mean": 0.03223586454987526,
+ "lyap1_max": 0.06684055179357529,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 441,
+ "sup_loss": 0.5502716219811522,
+ "rf_loss": 0.0008992014918476343,
+ "total_loss": 0.5529692264566951,
+ "lyap1_mean": 0.01739412359893322,
+ "lyap1_max": 0.06520865857601166,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 442,
+ "sup_loss": 0.624530898843386,
+ "rf_loss": 0.0009915233822539449,
+ "total_loss": 0.6275054691065631,
+ "lyap1_mean": 0.022626962512731552,
+ "lyap1_max": 0.05410172417759895,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 443,
+ "sup_loss": 0.6524304236794274,
+ "rf_loss": 0.0010408083908259869,
+ "total_loss": 0.6555528488519053,
+ "lyap1_mean": 0.02590646967291832,
+ "lyap1_max": 0.06465720385313034,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 444,
+ "sup_loss": 0.635743792169506,
+ "rf_loss": 0.0012611261336132884,
+ "total_loss": 0.6395271704539306,
+ "lyap1_mean": 0.027036836370825768,
+ "lyap1_max": 0.05963943153619766,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 445,
+ "sup_loss": 0.7051691353492108,
+ "rf_loss": 0.0012338270898908377,
+ "total_loss": 0.7088706166188833,
+ "lyap1_mean": 0.029898757115006447,
+ "lyap1_max": 0.057583339512348175,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 446,
+ "sup_loss": 0.6991860508308557,
+ "rf_loss": 0.001479121157899499,
+ "total_loss": 0.7036234145373849,
+ "lyap1_mean": 0.03474683687090874,
+ "lyap1_max": 0.06727960705757141,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 447,
+ "sup_loss": 0.4648595412844079,
+ "rf_loss": 0.0008084612200036645,
+ "total_loss": 0.4672849250608342,
+ "lyap1_mean": 0.007602483965456486,
+ "lyap1_max": 0.07429806888103485,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 448,
+ "sup_loss": 0.6252089145464405,
+ "rf_loss": 0.0005145617760717869,
+ "total_loss": 0.6267525998746558,
+ "lyap1_mean": 0.01925579644739628,
+ "lyap1_max": 0.03672703355550766,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 449,
+ "sup_loss": 0.6376845338905522,
+ "rf_loss": 0.0012746399734169245,
+ "total_loss": 0.641508453810803,
+ "lyap1_mean": 0.02972402051091194,
+ "lyap1_max": 0.06905032694339752,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 450,
+ "sup_loss": 0.5894739412831846,
+ "rf_loss": 0.001037714770063758,
+ "total_loss": 0.5925870855933759,
+ "lyap1_mean": 0.018022438511252403,
+ "lyap1_max": 0.053693484514951706,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 451,
+ "sup_loss": 0.6681741181636223,
+ "rf_loss": 0.002351370407268405,
+ "total_loss": 0.6752282291525968,
+ "lyap1_mean": 0.04013168439269066,
+ "lyap1_max": 0.09585802257061005,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 452,
+ "sup_loss": 0.5635852013908846,
+ "rf_loss": 0.00026451563462615013,
+ "total_loss": 0.5643787482947631,
+ "lyap1_mean": -0.001381692592985928,
+ "lyap1_max": 0.04167918860912323,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 453,
+ "sup_loss": 0.5263451845519543,
+ "rf_loss": 0.0001575455244164914,
+ "total_loss": 0.5268178211252038,
+ "lyap1_mean": -0.009230686351656914,
+ "lyap1_max": 0.02843475341796875,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 454,
+ "sup_loss": 0.6141920708592761,
+ "rf_loss": 0.0015577743761241436,
+ "total_loss": 0.6188653939876485,
+ "lyap1_mean": 0.027189847081899643,
+ "lyap1_max": 0.0615251287817955,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 455,
+ "sup_loss": 0.5696572997163936,
+ "rf_loss": 0.0015683716628700495,
+ "total_loss": 0.5743624149378344,
+ "lyap1_mean": 0.0354185551404953,
+ "lyap1_max": 0.05758814141154289,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 456,
+ "sup_loss": 0.4124501208184781,
+ "rf_loss": 0.000228647913900204,
+ "total_loss": 0.4131360645747306,
+ "lyap1_mean": -0.004978930577635765,
+ "lyap1_max": 0.027638738974928856,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 457,
+ "sup_loss": 0.5019522746031897,
+ "rf_loss": 0.00038211699575185776,
+ "total_loss": 0.5030986255904453,
+ "lyap1_mean": 0.006854843348264694,
+ "lyap1_max": 0.033504221588373184,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 458,
+ "sup_loss": 0.5562254764235844,
+ "rf_loss": 0.001734845107421279,
+ "total_loss": 0.5614300115130176,
+ "lyap1_mean": 0.03817833587527275,
+ "lyap1_max": 0.06602955609560013,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 459,
+ "sup_loss": 0.5811169186571548,
+ "rf_loss": 0.00019260775297880173,
+ "total_loss": 0.5816947419160912,
+ "lyap1_mean": -0.0004673487273976207,
+ "lyap1_max": 0.029707180336117744,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 460,
+ "sup_loss": 0.5783267625948326,
+ "rf_loss": 0.0011973173823207617,
+ "total_loss": 0.5819187147417949,
+ "lyap1_mean": 0.020961787551641464,
+ "lyap1_max": 0.06405959278345108,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 461,
+ "sup_loss": 0.6201087607329981,
+ "rf_loss": 0.0003871791413985193,
+ "total_loss": 0.621270298098986,
+ "lyap1_mean": 0.006278141401708126,
+ "lyap1_max": 0.03855535760521889,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 462,
+ "sup_loss": 0.6749006813047145,
+ "rf_loss": 0.0012265219120308757,
+ "total_loss": 0.6785802469243918,
+ "lyap1_mean": 0.019844919443130493,
+ "lyap1_max": 0.07387185841798782,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 463,
+ "sup_loss": 0.7465216535761988,
+ "rf_loss": 0.0009736752836033702,
+ "total_loss": 0.7494426793105936,
+ "lyap1_mean": 0.024830859154462814,
+ "lyap1_max": 0.058018434792757034,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 464,
+ "sup_loss": 0.6151279158909053,
+ "rf_loss": 0.0030115079134702682,
+ "total_loss": 0.6241624396313161,
+ "lyap1_mean": 0.03598911315202713,
+ "lyap1_max": 0.09926988184452057,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 465,
+ "sup_loss": 0.568579137625411,
+ "rf_loss": 0.002092865528538823,
+ "total_loss": 0.5748577344438581,
+ "lyap1_mean": 0.030679084360599518,
+ "lyap1_max": 0.0885150358080864,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 466,
+ "sup_loss": 0.5212238218216032,
+ "rf_loss": 0.0008839404326863587,
+ "total_loss": 0.5238756431778699,
+ "lyap1_mean": 0.01848749816417694,
+ "lyap1_max": 0.07659786939620972,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 467,
+ "sup_loss": 0.47865140150736396,
+ "rf_loss": 0.0022312807850539684,
+ "total_loss": 0.48534524386252587,
+ "lyap1_mean": 0.02867284044623375,
+ "lyap1_max": 0.07738085091114044,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 468,
+ "sup_loss": 0.6544049277768103,
+ "rf_loss": 0.001695911050774157,
+ "total_loss": 0.659492661045548,
+ "lyap1_mean": 0.03361905738711357,
+ "lyap1_max": 0.07987049967050552,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 469,
+ "sup_loss": 0.6599129987547752,
+ "rf_loss": 0.0007805617060512304,
+ "total_loss": 0.6622546838729289,
+ "lyap1_mean": 0.016036415472626686,
+ "lyap1_max": 0.05177430808544159,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 470,
+ "sup_loss": 0.5746322743112307,
+ "rf_loss": 0.000905348570086062,
+ "total_loss": 0.5773483201379042,
+ "lyap1_mean": 0.01000247709453106,
+ "lyap1_max": 0.06173805519938469,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 471,
+ "sup_loss": 0.5904163635639205,
+ "rf_loss": 0.00047932646702975035,
+ "total_loss": 0.5918543429650097,
+ "lyap1_mean": 0.014815318398177624,
+ "lyap1_max": 0.04408394545316696,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 472,
+ "sup_loss": 0.49496127237012794,
+ "rf_loss": 0.000496368738822639,
+ "total_loss": 0.49645037858659585,
+ "lyap1_mean": 0.009854847565293312,
+ "lyap1_max": 0.05320781469345093,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 473,
+ "sup_loss": 0.4901267199397047,
+ "rf_loss": 0.0006676486227661371,
+ "total_loss": 0.4921296658080031,
+ "lyap1_mean": 0.0053549474105238914,
+ "lyap1_max": 0.053607117384672165,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 474,
+ "sup_loss": 0.44915233144855854,
+ "rf_loss": 0.0018881683936342597,
+ "total_loss": 0.454816836513046,
+ "lyap1_mean": 0.01684337854385376,
+ "lyap1_max": 0.09776773303747177,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 475,
+ "sup_loss": 0.7793542245502525,
+ "rf_loss": 0.0009998800233006477,
+ "total_loss": 0.7823538646201544,
+ "lyap1_mean": 0.025709090754389763,
+ "lyap1_max": 0.06504081934690475,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 476,
+ "sup_loss": 0.47374981890340884,
+ "rf_loss": 0.00027374460478313267,
+ "total_loss": 0.47457105274686207,
+ "lyap1_mean": -0.0006674192845821381,
+ "lyap1_max": 0.03870252147316933,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 477,
+ "sup_loss": 0.48398438725754955,
+ "rf_loss": 0.000921735423617065,
+ "total_loss": 0.4867495934119854,
+ "lyap1_mean": 0.008009672164916992,
+ "lyap1_max": 0.05595066025853157,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 478,
+ "sup_loss": 0.61475752412212,
+ "rf_loss": 0.0015234460588544607,
+ "total_loss": 0.6193278620658528,
+ "lyap1_mean": 0.028995700180530548,
+ "lyap1_max": 0.06154155358672142,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 479,
+ "sup_loss": 0.5193530174505169,
+ "rf_loss": 0.0012322347611188889,
+ "total_loss": 0.5230497217338735,
+ "lyap1_mean": 0.013476717285811901,
+ "lyap1_max": 0.09572943300008774,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 480,
+ "sup_loss": 0.5689673143452649,
+ "rf_loss": 0.0004720475117210299,
+ "total_loss": 0.5703834569095318,
+ "lyap1_mean": 0.0059379227459430695,
+ "lyap1_max": 0.05533089488744736,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 481,
+ "sup_loss": 0.4912212120293225,
+ "rf_loss": 0.0006973791169002652,
+ "total_loss": 0.4933133494964386,
+ "lyap1_mean": 0.015506061725318432,
+ "lyap1_max": 0.04919331520795822,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 482,
+ "sup_loss": 0.6912273699763934,
+ "rf_loss": 0.0010741341393440962,
+ "total_loss": 0.6944497723944257,
+ "lyap1_mean": 0.025954678654670715,
+ "lyap1_max": 0.06805693358182907,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 483,
+ "sup_loss": 0.5795509708064424,
+ "rf_loss": 0.0007683706353418529,
+ "total_loss": 0.5818560826542603,
+ "lyap1_mean": 0.008958054706454277,
+ "lyap1_max": 0.0630064532160759,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 484,
+ "sup_loss": 0.48680175484577115,
+ "rf_loss": 2.3377731849905103e-05,
+ "total_loss": 0.48687188804132087,
+ "lyap1_mean": -0.01593536138534546,
+ "lyap1_max": 0.009891312569379807,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 485,
+ "sup_loss": 0.5566991874208339,
+ "rf_loss": 0.0002586306945886463,
+ "total_loss": 0.557475079475496,
+ "lyap1_mean": -0.006800273433327675,
+ "lyap1_max": 0.04495292529463768,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 486,
+ "sup_loss": 0.7095490205767642,
+ "rf_loss": 9.133219282375649e-05,
+ "total_loss": 0.7098230171625114,
+ "lyap1_mean": -0.0019600242376327515,
+ "lyap1_max": 0.024740835651755333,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 487,
+ "sup_loss": 0.5702634254268724,
+ "rf_loss": 0.0007580001838505268,
+ "total_loss": 0.5725374259784239,
+ "lyap1_mean": 0.018329644575715065,
+ "lyap1_max": 0.04270198196172714,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 488,
+ "sup_loss": 0.5352042508898043,
+ "rf_loss": 0.0010540164075791836,
+ "total_loss": 0.5383663001125418,
+ "lyap1_mean": 0.01935122162103653,
+ "lyap1_max": 0.06608540564775467,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 489,
+ "sup_loss": 0.5640216992373243,
+ "rf_loss": 0.0008317832835018635,
+ "total_loss": 0.5665170490878298,
+ "lyap1_mean": 0.011786524206399918,
+ "lyap1_max": 0.060666102916002274,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 490,
+ "sup_loss": 0.5271751509208537,
+ "rf_loss": 0.00034921718179248273,
+ "total_loss": 0.5282228024371273,
+ "lyap1_mean": 0.0036740810610353947,
+ "lyap1_max": 0.046740900725126266,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 491,
+ "sup_loss": 0.5027314986462308,
+ "rf_loss": 0.000261405308265239,
+ "total_loss": 0.5035157145710265,
+ "lyap1_mean": -0.008256673812866211,
+ "lyap1_max": 0.04362840577960014,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 492,
+ "sup_loss": 0.6033681553429392,
+ "rf_loss": 0.0007758386200293899,
+ "total_loss": 0.605695671086612,
+ "lyap1_mean": 0.012295967899262905,
+ "lyap1_max": 0.05941874161362648,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 493,
+ "sup_loss": 0.5130654824104781,
+ "rf_loss": 0.0004892433062195778,
+ "total_loss": 0.5145332123291368,
+ "lyap1_mean": 0.004929577000439167,
+ "lyap1_max": 0.04030277207493782,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 494,
+ "sup_loss": 0.5253553687676711,
+ "rf_loss": 0.0004074011230841279,
+ "total_loss": 0.5265775721369235,
+ "lyap1_mean": 0.0077795484103262424,
+ "lyap1_max": 0.04502815380692482,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 495,
+ "sup_loss": 0.6481451635655989,
+ "rf_loss": 0.0005416483618319035,
+ "total_loss": 0.6497701086510946,
+ "lyap1_mean": 0.010687782429158688,
+ "lyap1_max": 0.05096622556447983,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 496,
+ "sup_loss": 0.6193858375770865,
+ "rf_loss": 0.0006125769577920437,
+ "total_loss": 0.6212235684504627,
+ "lyap1_mean": 0.013012658804655075,
+ "lyap1_max": 0.039842840284109116,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 497,
+ "sup_loss": 0.7414805589765799,
+ "rf_loss": 0.0012236025650054216,
+ "total_loss": 0.7451513666715962,
+ "lyap1_mean": 0.02863960899412632,
+ "lyap1_max": 0.05580991879105568,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 498,
+ "sup_loss": 0.659901891320988,
+ "rf_loss": 0.0006648735143244267,
+ "total_loss": 0.6618965118639613,
+ "lyap1_mean": 0.013323493301868439,
+ "lyap1_max": 0.05389416217803955,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 499,
+ "sup_loss": 0.49919813516695655,
+ "rf_loss": 0.00363364489749074,
+ "total_loss": 0.51009907032509,
+ "lyap1_mean": 0.04554063454270363,
+ "lyap1_max": 0.10301273316144943,
+ "frac_above_star": 0.875
+ }
+ ],
+ "evals": [
+ {
+ "step": 0,
+ "acc": 0.59765625,
+ "tok_acc": 0.8614245756172839
+ },
+ {
+ "step": 100,
+ "acc": 0.59765625,
+ "tok_acc": 0.8567467206790124
+ },
+ {
+ "step": 200,
+ "acc": 0.638671875,
+ "tok_acc": 0.8679349922839507
+ },
+ {
+ "step": 300,
+ "acc": 0.587890625,
+ "tok_acc": 0.8486448688271605
+ },
+ {
+ "step": 400,
+ "acc": 0.556640625,
+ "tok_acc": 0.845679012345679
+ },
+ {
+ "step": 500,
+ "acc": 0.53125,
+ "tok_acc": 0.8381317515432098
+ },
+ {
+ "step": 500,
+ "acc": 0.53125,
+ "tok_acc": 0.8381317515432098
+ }
+ ],
+ "final_acc": 0.53125,
+ "final_tok_acc": 0.8381317515432098
+} \ No newline at end of file