summaryrefslogtreecommitdiff
path: root/research/flossing/step5_B_trm_step_26041_alpha10_lstar0.03.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_B_trm_step_26041_alpha10_lstar0.03.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_B_trm_step_26041_alpha10_lstar0.03.json')
-rw-r--r--research/flossing/step5_B_trm_step_26041_alpha10_lstar0.03.json4562
1 files changed, 4562 insertions, 0 deletions
diff --git a/research/flossing/step5_B_trm_step_26041_alpha10_lstar0.03.json b/research/flossing/step5_B_trm_step_26041_alpha10_lstar0.03.json
new file mode 100644
index 0000000..93ba5f0
--- /dev/null
+++ b/research/flossing/step5_B_trm_step_26041_alpha10_lstar0.03.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": 10.0,
+ "lambda_star": 0.03,
+ "rf_mode": "fixed",
+ "k_lyap": 2,
+ "lyap_act_steps": 4,
+ "seed": 42,
+ "eval_every": 100,
+ "eval_n": 512,
+ "eval_batch_size": 32,
+ "out": "step5_B_trm_step_26041_alpha10_lstar0.03.json"
+ },
+ "initial_acc": 0.59765625,
+ "initial_tok_acc": 0.8614245756172839,
+ "steps": [
+ {
+ "step": 0,
+ "sup_loss": 0.4131004644350338,
+ "rf_loss": 0.000684327504131943,
+ "total_loss": 0.4199437393599379,
+ "lyap1_mean": 0.010343756526708603,
+ "lyap1_max": 0.0999058187007904,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 1,
+ "sup_loss": 0.4612396205175734,
+ "rf_loss": 0.0005749189876951277,
+ "total_loss": 0.46698881027810935,
+ "lyap1_mean": 0.027688756585121155,
+ "lyap1_max": 0.08360730111598969,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 2,
+ "sup_loss": 0.5293221594227878,
+ "rf_loss": 0.0009411592036485672,
+ "total_loss": 0.5387337514592735,
+ "lyap1_mean": 0.03591388463973999,
+ "lyap1_max": 0.08159741014242172,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 3,
+ "sup_loss": 0.449017582950918,
+ "rf_loss": 0.0002554269740357995,
+ "total_loss": 0.451571852691276,
+ "lyap1_mean": 0.009248941205441952,
+ "lyap1_max": 0.06499291211366653,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 4,
+ "sup_loss": 0.48459772100974785,
+ "rf_loss": 0.0005444170092232525,
+ "total_loss": 0.49004189098556505,
+ "lyap1_mean": 0.021347830072045326,
+ "lyap1_max": 0.09119968116283417,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 5,
+ "sup_loss": 0.532109322021996,
+ "rf_loss": 0.00028072978602722287,
+ "total_loss": 0.5349166197658529,
+ "lyap1_mean": 0.01522902026772499,
+ "lyap1_max": 0.06721722334623337,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 6,
+ "sup_loss": 0.44617174292071904,
+ "rf_loss": 0.00018791938782669604,
+ "total_loss": 0.44805093674077834,
+ "lyap1_mean": 0.02237004227936268,
+ "lyap1_max": 0.051155935972929,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 7,
+ "sup_loss": 0.564363453815567,
+ "rf_loss": 0.0006263203104026616,
+ "total_loss": 0.5706266568031783,
+ "lyap1_mean": 0.04234819859266281,
+ "lyap1_max": 0.07029943913221359,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 8,
+ "sup_loss": 0.5322995102735125,
+ "rf_loss": 0.0007486524991691113,
+ "total_loss": 0.5397860352652036,
+ "lyap1_mean": 0.03468165174126625,
+ "lyap1_max": 0.10293817520141602,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 9,
+ "sup_loss": 0.570564104313369,
+ "rf_loss": 0.0005087722674943507,
+ "total_loss": 0.5756518268718972,
+ "lyap1_mean": 0.033995673060417175,
+ "lyap1_max": 0.07296187430620193,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 10,
+ "sup_loss": 0.6022899218559904,
+ "rf_loss": 0.0007376371067948639,
+ "total_loss": 0.6096662928075237,
+ "lyap1_mean": 0.03330277279019356,
+ "lyap1_max": 0.07636603713035583,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 11,
+ "sup_loss": 0.5291068599791681,
+ "rf_loss": 0.0004687481268774718,
+ "total_loss": 0.5337943410733198,
+ "lyap1_mean": 0.0350162535905838,
+ "lyap1_max": 0.07166787981987,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 12,
+ "sup_loss": 0.45534364215316586,
+ "rf_loss": 0.000586151028983295,
+ "total_loss": 0.46120515267582946,
+ "lyap1_mean": 0.026130806654691696,
+ "lyap1_max": 0.07420187443494797,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 13,
+ "sup_loss": 0.4958953334861054,
+ "rf_loss": 0.001094888779334724,
+ "total_loss": 0.5068442215122833,
+ "lyap1_mean": 0.024429000914096832,
+ "lyap1_max": 0.11730892211198807,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 14,
+ "sup_loss": 0.42867594111103224,
+ "rf_loss": 0.0009805290028452873,
+ "total_loss": 0.4384812311394851,
+ "lyap1_mean": 0.02664024755358696,
+ "lyap1_max": 0.08898869156837463,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 15,
+ "sup_loss": 0.5975032843896251,
+ "rf_loss": 0.00044969437294639647,
+ "total_loss": 0.6020002280608814,
+ "lyap1_mean": 0.024935904890298843,
+ "lyap1_max": 0.07502150535583496,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 16,
+ "sup_loss": 0.5195247890478693,
+ "rf_loss": 0.0016711557982489467,
+ "total_loss": 0.5362363463318668,
+ "lyap1_mean": 0.03684147819876671,
+ "lyap1_max": 0.12142005562782288,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 17,
+ "sup_loss": 0.5878968095082241,
+ "rf_loss": 0.001598266651853919,
+ "total_loss": 0.6038794764924246,
+ "lyap1_mean": 0.05850442871451378,
+ "lyap1_max": 0.10491680353879929,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 18,
+ "sup_loss": 0.4861112837236898,
+ "rf_loss": 4.007430106867105e-05,
+ "total_loss": 0.4865120267343765,
+ "lyap1_mean": 0.007764614652842283,
+ "lyap1_max": 0.04427383840084076,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 19,
+ "sup_loss": 0.5276642174505742,
+ "rf_loss": 0.0005028584273532033,
+ "total_loss": 0.5326928014912756,
+ "lyap1_mean": 0.019983189180493355,
+ "lyap1_max": 0.07180415093898773,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 20,
+ "sup_loss": 0.5967290309280298,
+ "rf_loss": 0.00019842290203087032,
+ "total_loss": 0.5987132600065461,
+ "lyap1_mean": 0.01456924993544817,
+ "lyap1_max": 0.06751841306686401,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 21,
+ "sup_loss": 0.47647901776001084,
+ "rf_loss": 3.558467506081797e-05,
+ "total_loss": 0.47683486450334306,
+ "lyap1_mean": 0.010311358608305454,
+ "lyap1_max": 0.04274265468120575,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 22,
+ "sup_loss": 0.4464288851567737,
+ "rf_loss": 5.477587546920404e-05,
+ "total_loss": 0.44697664392601766,
+ "lyap1_mean": -0.0013893295545130968,
+ "lyap1_max": 0.04582134261727333,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 23,
+ "sup_loss": 0.535950667156743,
+ "rf_loss": 0.00019121397053822875,
+ "total_loss": 0.5378628068621253,
+ "lyap1_mean": 0.018578168004751205,
+ "lyap1_max": 0.05846451595425606,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 24,
+ "sup_loss": 0.5780553809652101,
+ "rf_loss": 0.0001588106679264456,
+ "total_loss": 0.5796434875862669,
+ "lyap1_mean": 0.01501130498945713,
+ "lyap1_max": 0.05792135000228882,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 25,
+ "sup_loss": 0.6405105404262066,
+ "rf_loss": 3.0368515581358224e-05,
+ "total_loss": 0.6408142255674683,
+ "lyap1_mean": 0.018023677170276642,
+ "lyap1_max": 0.03952699527144432,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 26,
+ "sup_loss": 0.6287511066384769,
+ "rf_loss": 6.939181184861809e-05,
+ "total_loss": 0.6294450247278592,
+ "lyap1_mean": 0.018496282398700714,
+ "lyap1_max": 0.0519823357462883,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 27,
+ "sup_loss": 0.37457779769689054,
+ "rf_loss": 0.00020273680274840444,
+ "total_loss": 0.3766051656370631,
+ "lyap1_mean": -0.0022265217266976833,
+ "lyap1_max": 0.05980056896805763,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 28,
+ "sup_loss": 0.5946739904491382,
+ "rf_loss": 0.00019410370441619307,
+ "total_loss": 0.5966150274641963,
+ "lyap1_mean": 0.021128136664628983,
+ "lyap1_max": 0.061842311173677444,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 29,
+ "sup_loss": 0.6254563414290387,
+ "rf_loss": 0.0003991105477325618,
+ "total_loss": 0.6294474470227797,
+ "lyap1_mean": 0.027497010305523872,
+ "lyap1_max": 0.0715591311454773,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 30,
+ "sup_loss": 0.5448900064854522,
+ "rf_loss": 0.0001768725924193859,
+ "total_loss": 0.546658732409646,
+ "lyap1_mean": 0.01597721129655838,
+ "lyap1_max": 0.057941339910030365,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 31,
+ "sup_loss": 0.4964623038215398,
+ "rf_loss": 0.00028605092666111887,
+ "total_loss": 0.4993228131463586,
+ "lyap1_mean": 0.01309279166162014,
+ "lyap1_max": 0.07502664625644684,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 32,
+ "sup_loss": 0.5789462789388856,
+ "rf_loss": 0.00031774677336215973,
+ "total_loss": 0.5821237466725072,
+ "lyap1_mean": 0.018205884844064713,
+ "lyap1_max": 0.07346229255199432,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 33,
+ "sup_loss": 0.4859044776355028,
+ "rf_loss": 0.0,
+ "total_loss": 0.4859044776355028,
+ "lyap1_mean": -0.004303710535168648,
+ "lyap1_max": 0.021287133917212486,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 34,
+ "sup_loss": 0.5210316304326532,
+ "rf_loss": 0.0003946663346141577,
+ "total_loss": 0.5249782937787948,
+ "lyap1_mean": 0.02847166731953621,
+ "lyap1_max": 0.06976616382598877,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 35,
+ "sup_loss": 0.4316328417675087,
+ "rf_loss": 0.00027977002901025116,
+ "total_loss": 0.43443054199940356,
+ "lyap1_mean": 0.016635509207844734,
+ "lyap1_max": 0.07058998197317123,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 36,
+ "sup_loss": 0.47188964326332916,
+ "rf_loss": 0.0005792338051833212,
+ "total_loss": 0.47768198119874705,
+ "lyap1_mean": 0.030068056657910347,
+ "lyap1_max": 0.08413770794868469,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 37,
+ "sup_loss": 0.6355717857913041,
+ "rf_loss": 1.0865858712350018e-05,
+ "total_loss": 0.6356804443747897,
+ "lyap1_mean": 0.019788220524787903,
+ "lyap1_max": 0.038085147738456726,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 38,
+ "sup_loss": 0.43351136851401184,
+ "rf_loss": 7.845784421078861e-05,
+ "total_loss": 0.4342959469561197,
+ "lyap1_mean": 0.003964768722653389,
+ "lyap1_max": 0.05019920691847801,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 39,
+ "sup_loss": 0.6286862340583919,
+ "rf_loss": 0.00024277532065752894,
+ "total_loss": 0.6311139873522786,
+ "lyap1_mean": 0.007422251161187887,
+ "lyap1_max": 0.0683722048997879,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 40,
+ "sup_loss": 0.6666837425949199,
+ "rf_loss": 3.524760904838331e-05,
+ "total_loss": 0.6670362186781278,
+ "lyap1_mean": 0.012731370516121387,
+ "lyap1_max": 0.0445743054151535,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 41,
+ "sup_loss": 0.43217892507112327,
+ "rf_loss": 0.0006124398787505925,
+ "total_loss": 0.43830332374221387,
+ "lyap1_mean": 0.024762898683547974,
+ "lyap1_max": 0.07921337336301804,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 42,
+ "sup_loss": 0.5668928212668418,
+ "rf_loss": 2.0951185319972865e-07,
+ "total_loss": 0.5668949163854307,
+ "lyap1_mean": -0.0008603036403656006,
+ "lyap1_max": 0.03129464015364647,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 43,
+ "sup_loss": 0.5119449832609012,
+ "rf_loss": 0.00020913845219183713,
+ "total_loss": 0.5140363677537158,
+ "lyap1_mean": 0.0028304895386099815,
+ "lyap1_max": 0.06603655219078064,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 44,
+ "sup_loss": 0.6935122393853216,
+ "rf_loss": 1.9394137780182064e-05,
+ "total_loss": 0.6937061807631234,
+ "lyap1_mean": 0.01937359943985939,
+ "lyap1_max": 0.04102034494280815,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 45,
+ "sup_loss": 0.6160525285564806,
+ "rf_loss": 0.0005854510236531496,
+ "total_loss": 0.6219070387930121,
+ "lyap1_mean": 0.02399574965238571,
+ "lyap1_max": 0.08384675532579422,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 46,
+ "sup_loss": 0.5987412740850356,
+ "rf_loss": 0.00019232009071856737,
+ "total_loss": 0.6006644749922213,
+ "lyap1_mean": 0.020181601867079735,
+ "lyap1_max": 0.05383830517530441,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 47,
+ "sup_loss": 0.5257075473734646,
+ "rf_loss": 0.0,
+ "total_loss": 0.5257075473734646,
+ "lyap1_mean": -0.0065527064725756645,
+ "lyap1_max": 0.027356630191206932,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 48,
+ "sup_loss": 0.6313502076439367,
+ "rf_loss": 0.0002621875610202551,
+ "total_loss": 0.6339720832541392,
+ "lyap1_mean": 0.04302162677049637,
+ "lyap1_max": 0.05735769122838974,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 49,
+ "sup_loss": 0.5358100264507505,
+ "rf_loss": 7.67787714721635e-05,
+ "total_loss": 0.5365778141363683,
+ "lyap1_mean": 0.024731231853365898,
+ "lyap1_max": 0.05344594269990921,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 50,
+ "sup_loss": 0.6864142031001033,
+ "rf_loss": 0.00040522802737541497,
+ "total_loss": 0.6904664835484804,
+ "lyap1_mean": 0.020242173224687576,
+ "lyap1_max": 0.08664476871490479,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 51,
+ "sup_loss": 0.6303520413317423,
+ "rf_loss": 0.00017006570124067366,
+ "total_loss": 0.6320526982859414,
+ "lyap1_mean": 0.024424368515610695,
+ "lyap1_max": 0.06210064888000488,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 52,
+ "sup_loss": 0.3703529850404764,
+ "rf_loss": 0.0007887729443609715,
+ "total_loss": 0.37824071448408614,
+ "lyap1_mean": -0.00873822346329689,
+ "lyap1_max": 0.10519034415483475,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 53,
+ "sup_loss": 0.5498343514648669,
+ "rf_loss": 0.0005290438421070576,
+ "total_loss": 0.5551247898859375,
+ "lyap1_mean": 0.028221052139997482,
+ "lyap1_max": 0.08134114742279053,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 54,
+ "sup_loss": 0.5676690350610061,
+ "rf_loss": 0.00017097394447773695,
+ "total_loss": 0.5693787745057834,
+ "lyap1_mean": 0.02290918678045273,
+ "lyap1_max": 0.05281706899404526,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 55,
+ "sup_loss": 0.5794573694795969,
+ "rf_loss": 2.099608173011802e-05,
+ "total_loss": 0.579667330304174,
+ "lyap1_mean": 0.01037386991083622,
+ "lyap1_max": 0.04151143878698349,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 56,
+ "sup_loss": 0.5563227233098592,
+ "rf_loss": 0.0004049808776471764,
+ "total_loss": 0.5603725320281233,
+ "lyap1_mean": 0.015451050363481045,
+ "lyap1_max": 0.08012544363737106,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 57,
+ "sup_loss": 0.5609577592027168,
+ "rf_loss": 7.60229304432869e-05,
+ "total_loss": 0.5617179885071497,
+ "lyap1_mean": 0.0038994350470602512,
+ "lyap1_max": 0.047521527856588364,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 58,
+ "sup_loss": 0.5570543457172924,
+ "rf_loss": 0.001025298610329628,
+ "total_loss": 0.5673073318205887,
+ "lyap1_mean": 0.035887524485588074,
+ "lyap1_max": 0.10828112810850143,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 59,
+ "sup_loss": 0.4977776382498492,
+ "rf_loss": 0.000550033466424793,
+ "total_loss": 0.5032779730305125,
+ "lyap1_mean": 0.02987266704440117,
+ "lyap1_max": 0.084052674472332,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 60,
+ "sup_loss": 0.5184083376214437,
+ "rf_loss": 6.405388558050618e-05,
+ "total_loss": 0.5190488764918006,
+ "lyap1_mean": 0.00816476158797741,
+ "lyap1_max": 0.050571102648973465,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 61,
+ "sup_loss": 0.5565027035005575,
+ "rf_loss": 0.0006496147252619267,
+ "total_loss": 0.5629988507531768,
+ "lyap1_mean": 0.03868032246828079,
+ "lyap1_max": 0.08815108984708786,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 62,
+ "sup_loss": 0.45324864557286204,
+ "rf_loss": 0.00013436831068247557,
+ "total_loss": 0.4545923286796868,
+ "lyap1_mean": 0.0015753889456391335,
+ "lyap1_max": 0.06278637796640396,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 63,
+ "sup_loss": 0.5701155689532812,
+ "rf_loss": 0.0006436198018491268,
+ "total_loss": 0.5765517669717725,
+ "lyap1_mean": 0.03390594199299812,
+ "lyap1_max": 0.08453516662120819,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 64,
+ "sup_loss": 0.5205052150640649,
+ "rf_loss": 0.0002253186103189364,
+ "total_loss": 0.5227584012545657,
+ "lyap1_mean": 0.010088360868394375,
+ "lyap1_max": 0.07181636244058609,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 65,
+ "sup_loss": 0.6329153711078611,
+ "rf_loss": 0.0006258378853090107,
+ "total_loss": 0.6391737498445359,
+ "lyap1_mean": 0.02749057114124298,
+ "lyap1_max": 0.0914153978228569,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 66,
+ "sup_loss": 0.44083490933608716,
+ "rf_loss": 0.000530579942278564,
+ "total_loss": 0.44614070899170344,
+ "lyap1_mean": 0.01242663711309433,
+ "lyap1_max": 0.08763527125120163,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 67,
+ "sup_loss": 0.5345096449490616,
+ "rf_loss": 0.0009169801487587392,
+ "total_loss": 0.543679446087403,
+ "lyap1_mean": 0.04225270450115204,
+ "lyap1_max": 0.08612587302923203,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 68,
+ "sup_loss": 0.5010314277728436,
+ "rf_loss": 0.00046443691826425493,
+ "total_loss": 0.5056757970136938,
+ "lyap1_mean": 0.0076718879863619804,
+ "lyap1_max": 0.09095177799463272,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 69,
+ "sup_loss": 0.6519786366964175,
+ "rf_loss": 0.00014895301137585193,
+ "total_loss": 0.6534681667810722,
+ "lyap1_mean": 0.019427618011832237,
+ "lyap1_max": 0.06357774138450623,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 70,
+ "sup_loss": 0.519459176203255,
+ "rf_loss": 0.0006605032831430435,
+ "total_loss": 0.5260642090346854,
+ "lyap1_mean": 0.02662980929017067,
+ "lyap1_max": 0.09576749801635742,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 71,
+ "sup_loss": 0.6278658614072157,
+ "rf_loss": 0.0007269997149705887,
+ "total_loss": 0.6351358585569216,
+ "lyap1_mean": 0.03421049565076828,
+ "lyap1_max": 0.09963960200548172,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 72,
+ "sup_loss": 0.44487392047015706,
+ "rf_loss": 3.992069832747802e-05,
+ "total_loss": 0.44527312746798375,
+ "lyap1_mean": 0.0012608729302883148,
+ "lyap1_max": 0.046901851892471313,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 73,
+ "sup_loss": 0.49850814868588184,
+ "rf_loss": 6.698362267343327e-05,
+ "total_loss": 0.4991779849271681,
+ "lyap1_mean": 0.009904935956001282,
+ "lyap1_max": 0.047871317714452744,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 74,
+ "sup_loss": 0.6092844529851422,
+ "rf_loss": 0.00016232050256803632,
+ "total_loss": 0.6109076580108226,
+ "lyap1_mean": 0.02809196338057518,
+ "lyap1_max": 0.05764929577708244,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 75,
+ "sup_loss": 0.5260138580971028,
+ "rf_loss": 7.739586726529524e-05,
+ "total_loss": 0.5267878167843076,
+ "lyap1_mean": 0.00517450924962759,
+ "lyap1_max": 0.051295049488544464,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 76,
+ "sup_loss": 0.5394488318023534,
+ "rf_loss": 0.0010193249909207225,
+ "total_loss": 0.5496420819443912,
+ "lyap1_mean": 0.03952789306640625,
+ "lyap1_max": 0.09421078860759735,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 77,
+ "sup_loss": 0.5505349907807793,
+ "rf_loss": 0.0006570650730282068,
+ "total_loss": 0.5571056415110613,
+ "lyap1_mean": 0.026720179244875908,
+ "lyap1_max": 0.08596906065940857,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 78,
+ "sup_loss": 0.5882222794157821,
+ "rf_loss": 0.00034722682903520763,
+ "total_loss": 0.5916945477643418,
+ "lyap1_mean": 0.02824985980987549,
+ "lyap1_max": 0.07308636605739594,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 79,
+ "sup_loss": 0.49211360754054095,
+ "rf_loss": 0.0010030316188931465,
+ "total_loss": 0.5021439237294725,
+ "lyap1_mean": 0.038050584495067596,
+ "lyap1_max": 0.09305385500192642,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 80,
+ "sup_loss": 0.5872259734666414,
+ "rf_loss": 7.332812674576417e-05,
+ "total_loss": 0.5879592547195471,
+ "lyap1_mean": 0.00330032198689878,
+ "lyap1_max": 0.04659612104296684,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 81,
+ "sup_loss": 0.5549360903090568,
+ "rf_loss": 0.0009936386486515403,
+ "total_loss": 0.5648724770284028,
+ "lyap1_mean": 0.03738874942064285,
+ "lyap1_max": 0.09851555526256561,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 82,
+ "sup_loss": 0.4676116661998931,
+ "rf_loss": 8.715883450349793e-05,
+ "total_loss": 0.46848325455948,
+ "lyap1_mean": 0.0015303096733987331,
+ "lyap1_max": 0.05387766659259796,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 83,
+ "sup_loss": 0.5519623360115303,
+ "rf_loss": 0.0008280713809654117,
+ "total_loss": 0.5602430500540151,
+ "lyap1_mean": 0.029549062252044678,
+ "lyap1_max": 0.08675321936607361,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 84,
+ "sup_loss": 0.49600968098703685,
+ "rf_loss": 2.700691402424127e-05,
+ "total_loss": 0.49627975012727926,
+ "lyap1_mean": 0.008527092635631561,
+ "lyap1_max": 0.04054633155465126,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 85,
+ "sup_loss": 0.5644440945412603,
+ "rf_loss": 6.852252408862114e-05,
+ "total_loss": 0.5651293197821465,
+ "lyap1_mean": 0.01786114275455475,
+ "lyap1_max": 0.047949083149433136,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 86,
+ "sup_loss": 0.6843877034055905,
+ "rf_loss": 0.00012310965394135565,
+ "total_loss": 0.6856187999741079,
+ "lyap1_mean": 0.030214987695217133,
+ "lyap1_max": 0.0512382835149765,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 87,
+ "sup_loss": 0.6307073392283677,
+ "rf_loss": 0.00038485563709400594,
+ "total_loss": 0.6345558956575155,
+ "lyap1_mean": 0.044198982417583466,
+ "lyap1_max": 0.06929103285074234,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 88,
+ "sup_loss": 0.6646552785505749,
+ "rf_loss": 0.0008899340173229575,
+ "total_loss": 0.6735546189566352,
+ "lyap1_mean": 0.043081555515527725,
+ "lyap1_max": 0.1022011786699295,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 89,
+ "sup_loss": 0.6879290560384269,
+ "rf_loss": 0.0002968760090880096,
+ "total_loss": 0.6908978162457223,
+ "lyap1_mean": 0.038532696664333344,
+ "lyap1_max": 0.060237817466259,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 90,
+ "sup_loss": 0.46336412978730845,
+ "rf_loss": 0.0004904523957520723,
+ "total_loss": 0.4682686537448292,
+ "lyap1_mean": 0.023017384111881256,
+ "lyap1_max": 0.08525054156780243,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 91,
+ "sup_loss": 0.6342380010933343,
+ "rf_loss": 0.0007709844503551722,
+ "total_loss": 0.641947845596886,
+ "lyap1_mean": 0.050268225371837616,
+ "lyap1_max": 0.08289588242769241,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 92,
+ "sup_loss": 0.6488601593739827,
+ "rf_loss": 0.0004944809479638934,
+ "total_loss": 0.6538049690864522,
+ "lyap1_mean": 0.027624301612377167,
+ "lyap1_max": 0.08691278100013733,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 93,
+ "sup_loss": 0.4787803952723894,
+ "rf_loss": 0.00037898781010881066,
+ "total_loss": 0.4825702732570622,
+ "lyap1_mean": 0.01858186163008213,
+ "lyap1_max": 0.06992581486701965,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 94,
+ "sup_loss": 0.5554406660245623,
+ "rf_loss": 0.00042255924199707806,
+ "total_loss": 0.5596662586191561,
+ "lyap1_mean": 0.023889292031526566,
+ "lyap1_max": 0.07007306069135666,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 95,
+ "sup_loss": 0.5045218610678526,
+ "rf_loss": 0.00011247045040363446,
+ "total_loss": 0.505646565557337,
+ "lyap1_mean": 0.013615449890494347,
+ "lyap1_max": 0.05878809094429016,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 96,
+ "sup_loss": 0.61294815171078,
+ "rf_loss": 0.0007002711063250899,
+ "total_loss": 0.6199508630068615,
+ "lyap1_mean": 0.043006531894207,
+ "lyap1_max": 0.07786452770233154,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 97,
+ "sup_loss": 0.46962470647500903,
+ "rf_loss": 0.00012516930291894823,
+ "total_loss": 0.4708763994750947,
+ "lyap1_mean": 0.006142003461718559,
+ "lyap1_max": 0.05769146606326103,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 98,
+ "sup_loss": 0.6582963609392218,
+ "rf_loss": 0.00026057628565467894,
+ "total_loss": 0.660902123737561,
+ "lyap1_mean": 0.03447750210762024,
+ "lyap1_max": 0.0674106776714325,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 99,
+ "sup_loss": 0.5345492809832918,
+ "rf_loss": 0.0008869746816344559,
+ "total_loss": 0.543419027683221,
+ "lyap1_mean": 0.026038311421871185,
+ "lyap1_max": 0.09175170958042145,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 100,
+ "sup_loss": 0.5469265987240994,
+ "rf_loss": 0.00039121918962337077,
+ "total_loss": 0.5508387905621255,
+ "lyap1_mean": 0.0201663039624691,
+ "lyap1_max": 0.06923048198223114,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 101,
+ "sup_loss": 0.5251089407139875,
+ "rf_loss": 7.114847539924085e-05,
+ "total_loss": 0.5258204254679799,
+ "lyap1_mean": 0.01595490425825119,
+ "lyap1_max": 0.04854369908571243,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 102,
+ "sup_loss": 0.5047450544354805,
+ "rf_loss": 0.0003236937918700278,
+ "total_loss": 0.5079819922377654,
+ "lyap1_mean": 0.010523445904254913,
+ "lyap1_max": 0.06364431232213974,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 103,
+ "sup_loss": 0.5740966428591993,
+ "rf_loss": 0.0002701778430491686,
+ "total_loss": 0.5767984212896909,
+ "lyap1_mean": 0.014277488924562931,
+ "lyap1_max": 0.07442010194063187,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 104,
+ "sup_loss": 0.7066430875128729,
+ "rf_loss": 0.000154800625750795,
+ "total_loss": 0.7081910937121731,
+ "lyap1_mean": 0.037673842161893845,
+ "lyap1_max": 0.05138583481311798,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 105,
+ "sup_loss": 0.5833379939171373,
+ "rf_loss": 0.0005040441756136715,
+ "total_loss": 0.5883784355568586,
+ "lyap1_mean": 0.03806398808956146,
+ "lyap1_max": 0.07182176411151886,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 106,
+ "sup_loss": 0.5210021177738788,
+ "rf_loss": 0.0009880699217319489,
+ "total_loss": 0.5308828169911983,
+ "lyap1_mean": 0.022847438231110573,
+ "lyap1_max": 0.10928833484649658,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 107,
+ "sup_loss": 0.5486048614126929,
+ "rf_loss": 0.0007117027416825294,
+ "total_loss": 0.5557218888295182,
+ "lyap1_mean": 0.03269680216908455,
+ "lyap1_max": 0.0757557675242424,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 108,
+ "sup_loss": 0.49026863947594196,
+ "rf_loss": 0.0009010573849081993,
+ "total_loss": 0.49927921332502395,
+ "lyap1_mean": 0.028330381959676743,
+ "lyap1_max": 0.10813784599304199,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 109,
+ "sup_loss": 0.6301594938477506,
+ "rf_loss": 0.00015220794011838734,
+ "total_loss": 0.6316815731907268,
+ "lyap1_mean": 0.02182573825120926,
+ "lyap1_max": 0.0530426949262619,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 110,
+ "sup_loss": 0.5255794442983102,
+ "rf_loss": 0.0005238158628344536,
+ "total_loss": 0.5308176029266547,
+ "lyap1_mean": 0.03384825214743614,
+ "lyap1_max": 0.07236763834953308,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 111,
+ "sup_loss": 0.5709964620976545,
+ "rf_loss": 8.957824320532382e-05,
+ "total_loss": 0.5718922445297078,
+ "lyap1_mean": 0.021474935114383698,
+ "lyap1_max": 0.04835178703069687,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 112,
+ "sup_loss": 0.574663056990584,
+ "rf_loss": 0.0004675422387663275,
+ "total_loss": 0.5793384793200396,
+ "lyap1_mean": 0.03050665743649006,
+ "lyap1_max": 0.0675920844078064,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 113,
+ "sup_loss": 0.6222344807933193,
+ "rf_loss": 0.00033123945468105376,
+ "total_loss": 0.6255468752819222,
+ "lyap1_mean": 0.02506411448121071,
+ "lyap1_max": 0.07110962271690369,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 114,
+ "sup_loss": 0.5399016214620195,
+ "rf_loss": 0.00022211791656445712,
+ "total_loss": 0.5421228006567679,
+ "lyap1_mean": 0.027773357927799225,
+ "lyap1_max": 0.05913153290748596,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 115,
+ "sup_loss": 0.555405182126076,
+ "rf_loss": 0.00011902230471605435,
+ "total_loss": 0.5565954051586847,
+ "lyap1_mean": 0.02091866359114647,
+ "lyap1_max": 0.058729883283376694,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 116,
+ "sup_loss": 0.6105032051606505,
+ "rf_loss": 0.0007062084041535854,
+ "total_loss": 0.6175652892021863,
+ "lyap1_mean": 0.03991611301898956,
+ "lyap1_max": 0.08530418574810028,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 117,
+ "sup_loss": 0.7784698968466479,
+ "rf_loss": 0.0001351377577520907,
+ "total_loss": 0.7798212744241688,
+ "lyap1_mean": 0.019968181848526,
+ "lyap1_max": 0.05867588520050049,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 118,
+ "sup_loss": 0.4125602886819174,
+ "rf_loss": 0.00035651441430673003,
+ "total_loss": 0.41612543294140003,
+ "lyap1_mean": 0.0032264310866594315,
+ "lyap1_max": 0.07799806445837021,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 119,
+ "sup_loss": 0.49726409562077034,
+ "rf_loss": 0.00010120947990799323,
+ "total_loss": 0.49827619040529836,
+ "lyap1_mean": 0.014017551206052303,
+ "lyap1_max": 0.04786026477813721,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 120,
+ "sup_loss": 0.6429771050468578,
+ "rf_loss": 0.00021128810476511717,
+ "total_loss": 0.645089986094509,
+ "lyap1_mean": 0.03736595809459686,
+ "lyap1_max": 0.0673024132847786,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 121,
+ "sup_loss": 0.6375439992410489,
+ "rf_loss": 0.0002996005641762167,
+ "total_loss": 0.6405400048246034,
+ "lyap1_mean": 0.028919002041220665,
+ "lyap1_max": 0.0679536983370781,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 122,
+ "sup_loss": 0.6261572880679401,
+ "rf_loss": 0.001447731745429337,
+ "total_loss": 0.6406346052894029,
+ "lyap1_mean": 0.04243169724941254,
+ "lyap1_max": 0.11531373858451843,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 123,
+ "sup_loss": 0.713217370934963,
+ "rf_loss": 0.0003324805584270507,
+ "total_loss": 0.7165421764610258,
+ "lyap1_mean": 0.03004474565386772,
+ "lyap1_max": 0.07502712309360504,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 124,
+ "sup_loss": 0.7402260598433255,
+ "rf_loss": 0.00015107540821190923,
+ "total_loss": 0.7417368139545484,
+ "lyap1_mean": 0.03769328445196152,
+ "lyap1_max": 0.05254518613219261,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 125,
+ "sup_loss": 0.5439777359565295,
+ "rf_loss": 0.0004001834022346884,
+ "total_loss": 0.5479795699206688,
+ "lyap1_mean": 0.033103764057159424,
+ "lyap1_max": 0.07145155221223831,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 126,
+ "sup_loss": 0.5342916160125039,
+ "rf_loss": 6.248940917430446e-05,
+ "total_loss": 0.5349165101187988,
+ "lyap1_mean": 0.013250075280666351,
+ "lyap1_max": 0.0480072908103466,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 127,
+ "sup_loss": 0.481170134071374,
+ "rf_loss": 8.687586523592472e-05,
+ "total_loss": 0.48203889272373324,
+ "lyap1_mean": 0.0008134022355079651,
+ "lyap1_max": 0.056015681475400925,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 128,
+ "sup_loss": 0.3974760537286096,
+ "rf_loss": 0.00034128845436498523,
+ "total_loss": 0.4008889383886748,
+ "lyap1_mean": 0.01691882684826851,
+ "lyap1_max": 0.06354166567325592,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 129,
+ "sup_loss": 0.5604887890867043,
+ "rf_loss": 0.00041818947647698224,
+ "total_loss": 0.5646706840260971,
+ "lyap1_mean": 0.03681088238954544,
+ "lyap1_max": 0.07028781622648239,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 130,
+ "sup_loss": 0.5074158537877362,
+ "rf_loss": 9.224349923897535e-05,
+ "total_loss": 0.5083382887510222,
+ "lyap1_mean": 0.0004723547026515007,
+ "lyap1_max": 0.05678253620862961,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 131,
+ "sup_loss": 0.5300561870938245,
+ "rf_loss": 0.0005713908467441797,
+ "total_loss": 0.5357700955612663,
+ "lyap1_mean": 0.03360525146126747,
+ "lyap1_max": 0.07885809987783432,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 132,
+ "sup_loss": 0.5972381037032091,
+ "rf_loss": 0.00022081375936977565,
+ "total_loss": 0.5994462413551145,
+ "lyap1_mean": 0.015580902807414532,
+ "lyap1_max": 0.06997525691986084,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 133,
+ "sup_loss": 0.5930666410626347,
+ "rf_loss": 2.9561204428318888e-05,
+ "total_loss": 0.593362253092366,
+ "lyap1_mean": 0.012216005474328995,
+ "lyap1_max": 0.041294071823358536,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 134,
+ "sup_loss": 0.5618825124694324,
+ "rf_loss": 0.00017480218957643956,
+ "total_loss": 0.5636305343943007,
+ "lyap1_mean": 0.02518542855978012,
+ "lyap1_max": 0.06287702918052673,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 135,
+ "sup_loss": 0.6257235672115998,
+ "rf_loss": 0.0005405907868407667,
+ "total_loss": 0.6311294751964228,
+ "lyap1_mean": 0.02683652937412262,
+ "lyap1_max": 0.09389990568161011,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 136,
+ "sup_loss": 0.6563654880713928,
+ "rf_loss": 0.0006349623436108232,
+ "total_loss": 0.6627151112746704,
+ "lyap1_mean": 0.042838968336582184,
+ "lyap1_max": 0.06800459325313568,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 137,
+ "sup_loss": 0.6069639415779642,
+ "rf_loss": 4.4168689782964066e-05,
+ "total_loss": 0.6074056284685179,
+ "lyap1_mean": 0.013808329589664936,
+ "lyap1_max": 0.04376356676220894,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 138,
+ "sup_loss": 0.4440851735956255,
+ "rf_loss": 0.0008397847996093333,
+ "total_loss": 0.4524830219409648,
+ "lyap1_mean": 0.033725738525390625,
+ "lyap1_max": 0.0888758972287178,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 139,
+ "sup_loss": 0.5148319958988512,
+ "rf_loss": 0.00041024363599717617,
+ "total_loss": 0.518934432258823,
+ "lyap1_mean": 0.012568899430334568,
+ "lyap1_max": 0.08607491850852966,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 140,
+ "sup_loss": 0.7195775625065595,
+ "rf_loss": 5.3774459956912324e-05,
+ "total_loss": 0.7201153071134045,
+ "lyap1_mean": 0.016659047454595566,
+ "lyap1_max": 0.04825673997402191,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 141,
+ "sup_loss": 0.6833280419876548,
+ "rf_loss": 0.00020544638391584158,
+ "total_loss": 0.6853825058268133,
+ "lyap1_mean": 0.02626148983836174,
+ "lyap1_max": 0.062499869614839554,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 142,
+ "sup_loss": 0.4023606541106515,
+ "rf_loss": 0.0001940392394317314,
+ "total_loss": 0.40430104653407267,
+ "lyap1_mean": 0.01798754744231701,
+ "lyap1_max": 0.06146341562271118,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 143,
+ "sup_loss": 0.5464109169319294,
+ "rf_loss": 0.00040584869566373527,
+ "total_loss": 0.5504694037139438,
+ "lyap1_mean": 0.024168889969587326,
+ "lyap1_max": 0.08145850896835327,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 144,
+ "sup_loss": 0.6919575904907456,
+ "rf_loss": 0.0002113230584654957,
+ "total_loss": 0.6940708210171929,
+ "lyap1_mean": 0.029966143891215324,
+ "lyap1_max": 0.05794559419155121,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 145,
+ "sup_loss": 0.5614158781784081,
+ "rf_loss": 0.00033984743640758097,
+ "total_loss": 0.5648143524842762,
+ "lyap1_mean": 0.01891937106847763,
+ "lyap1_max": 0.07979565113782883,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 146,
+ "sup_loss": 0.49025028243431,
+ "rf_loss": 6.913630932103842e-05,
+ "total_loss": 0.49094164555662423,
+ "lyap1_mean": 0.011875300668179989,
+ "lyap1_max": 0.04885467141866684,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 147,
+ "sup_loss": 0.47731290580709285,
+ "rf_loss": 0.00025001438916660845,
+ "total_loss": 0.47981304964055127,
+ "lyap1_mean": 0.012139922007918358,
+ "lyap1_max": 0.07471486181020737,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 148,
+ "sup_loss": 0.5032717902434612,
+ "rf_loss": 0.00039922629366628826,
+ "total_loss": 0.5072640530055011,
+ "lyap1_mean": 0.015013680793344975,
+ "lyap1_max": 0.07581779360771179,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 149,
+ "sup_loss": 0.4890218803344157,
+ "rf_loss": 0.00020316489099059254,
+ "total_loss": 0.4910535293316331,
+ "lyap1_mean": 0.013411201536655426,
+ "lyap1_max": 0.06993024051189423,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 150,
+ "sup_loss": 0.4578140914392262,
+ "rf_loss": 7.970125443534926e-05,
+ "total_loss": 0.45861110396902777,
+ "lyap1_mean": -7.014255970716476e-05,
+ "lyap1_max": 0.05474982038140297,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 151,
+ "sup_loss": 0.543113584994719,
+ "rf_loss": 0.0011017720680683851,
+ "total_loss": 0.5541313061410641,
+ "lyap1_mean": 0.01890314370393753,
+ "lyap1_max": 0.11826643347740173,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 152,
+ "sup_loss": 0.5286465488516281,
+ "rf_loss": 3.114848004770465e-05,
+ "total_loss": 0.5289580336448292,
+ "lyap1_mean": 0.014341470785439014,
+ "lyap1_max": 0.04578568413853645,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 153,
+ "sup_loss": 0.45902927237722996,
+ "rf_loss": 1.1518562132550869e-05,
+ "total_loss": 0.4591444579967365,
+ "lyap1_mean": -0.0061255646869540215,
+ "lyap1_max": 0.039599400013685226,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 154,
+ "sup_loss": 0.6334423034098329,
+ "rf_loss": 9.29914676817134e-05,
+ "total_loss": 0.6343722180575462,
+ "lyap1_mean": 0.02737864851951599,
+ "lyap1_max": 0.04809729754924774,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 155,
+ "sup_loss": 0.6065064642127708,
+ "rf_loss": 0.0014398116618394852,
+ "total_loss": 0.6209045808311656,
+ "lyap1_mean": 0.045456402003765106,
+ "lyap1_max": 0.10017043352127075,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 156,
+ "sup_loss": 0.6614727123576624,
+ "rf_loss": 0.0008070564363151789,
+ "total_loss": 0.6695432762551529,
+ "lyap1_mean": 0.034162938594818115,
+ "lyap1_max": 0.08801834285259247,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 157,
+ "sup_loss": 0.6222177014610346,
+ "rf_loss": 1.762005740602035e-05,
+ "total_loss": 0.6223939020314568,
+ "lyap1_mean": 0.007891087792813778,
+ "lyap1_max": 0.04187267646193504,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 158,
+ "sup_loss": 0.6680634491044456,
+ "rf_loss": 0.0001514757750555873,
+ "total_loss": 0.6695782068550015,
+ "lyap1_mean": 0.033527955412864685,
+ "lyap1_max": 0.06264559924602509,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 159,
+ "sup_loss": 0.6073926198010106,
+ "rf_loss": 0.0006321854889392853,
+ "total_loss": 0.6137144746904034,
+ "lyap1_mean": 0.0410894975066185,
+ "lyap1_max": 0.0753437876701355,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 160,
+ "sup_loss": 0.6558428280920059,
+ "rf_loss": 0.00048358968342654407,
+ "total_loss": 0.6606787247516483,
+ "lyap1_mean": 0.037085410207509995,
+ "lyap1_max": 0.0862005203962326,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 161,
+ "sup_loss": 0.30467327125667104,
+ "rf_loss": 8.999692909128498e-06,
+ "total_loss": 0.3047632681875813,
+ "lyap1_mean": -0.01832931488752365,
+ "lyap1_max": 0.03848513588309288,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 162,
+ "sup_loss": 0.46685453041060176,
+ "rf_loss": 0.00025422332691960037,
+ "total_loss": 0.46939676373800543,
+ "lyap1_mean": 0.025018446147441864,
+ "lyap1_max": 0.0725107416510582,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 163,
+ "sup_loss": 0.6119566394479066,
+ "rf_loss": 0.000309595197904855,
+ "total_loss": 0.6150525913105398,
+ "lyap1_mean": 0.04000682383775711,
+ "lyap1_max": 0.07083921134471893,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 164,
+ "sup_loss": 0.4705859707944113,
+ "rf_loss": 0.0006885457551106811,
+ "total_loss": 0.47747142857834873,
+ "lyap1_mean": 0.025094449520111084,
+ "lyap1_max": 0.0788743793964386,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 165,
+ "sup_loss": 0.5222029354269959,
+ "rf_loss": 0.000694899121299386,
+ "total_loss": 0.5291519266399898,
+ "lyap1_mean": 0.021695038303732872,
+ "lyap1_max": 0.08859090507030487,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 166,
+ "sup_loss": 0.5437935621729242,
+ "rf_loss": 0.00042011417099274695,
+ "total_loss": 0.547994703824644,
+ "lyap1_mean": 0.019504845142364502,
+ "lyap1_max": 0.07727386057376862,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 167,
+ "sup_loss": 0.5979406913821784,
+ "rf_loss": 0.00040951487608253956,
+ "total_loss": 0.6020358401430038,
+ "lyap1_mean": 0.019414419308304787,
+ "lyap1_max": 0.08427342027425766,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 168,
+ "sup_loss": 0.5285408864726693,
+ "rf_loss": 0.0002354901807848364,
+ "total_loss": 0.53089578822231,
+ "lyap1_mean": 0.022066477686166763,
+ "lyap1_max": 0.06138366460800171,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 169,
+ "sup_loss": 0.5839547275139889,
+ "rf_loss": 0.0006248707650229335,
+ "total_loss": 0.5902034353970489,
+ "lyap1_mean": 0.02408456802368164,
+ "lyap1_max": 0.09176382422447205,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 170,
+ "sup_loss": 0.49735086577880094,
+ "rf_loss": 2.3804330339771695e-05,
+ "total_loss": 0.4975889090785607,
+ "lyap1_mean": 0.002680947072803974,
+ "lyap1_max": 0.04372883588075638,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 171,
+ "sup_loss": 0.5137075254401933,
+ "rf_loss": 3.657716661109589e-06,
+ "total_loss": 0.5137441026068044,
+ "lyap1_mean": 0.009753052145242691,
+ "lyap1_max": 0.034676142036914825,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 172,
+ "sup_loss": 0.6542054790152227,
+ "rf_loss": 0.00014582296716980636,
+ "total_loss": 0.6556637087451285,
+ "lyap1_mean": 0.018472693860530853,
+ "lyap1_max": 0.06263107806444168,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 173,
+ "sup_loss": 0.5726462144543889,
+ "rf_loss": 0.0005121679278090596,
+ "total_loss": 0.5777678934996489,
+ "lyap1_mean": 0.029690198600292206,
+ "lyap1_max": 0.07159475237131119,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 174,
+ "sup_loss": 0.6862043355894909,
+ "rf_loss": 0.00014415677287615836,
+ "total_loss": 0.6876459032600448,
+ "lyap1_mean": 0.01675521396100521,
+ "lyap1_max": 0.05685018375515938,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 175,
+ "sup_loss": 0.47695589441281,
+ "rf_loss": 0.0002615958219394088,
+ "total_loss": 0.4795718526322041,
+ "lyap1_mean": 0.008501138538122177,
+ "lyap1_max": 0.0709192231297493,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 176,
+ "sup_loss": 0.5606317998995046,
+ "rf_loss": 0.00032371532870456576,
+ "total_loss": 0.5638689533029656,
+ "lyap1_mean": 0.024643180891871452,
+ "lyap1_max": 0.07061206549406052,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 177,
+ "sup_loss": 0.5613655517542684,
+ "rf_loss": 0.0007689673220738769,
+ "total_loss": 0.5690552252078378,
+ "lyap1_mean": 0.03526819497346878,
+ "lyap1_max": 0.08993846923112869,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 178,
+ "sup_loss": 0.5068867199928577,
+ "rf_loss": 2.805975555020268e-06,
+ "total_loss": 0.5069147797488627,
+ "lyap1_mean": -0.0021131676621735096,
+ "lyap1_max": 0.034603219479322433,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 179,
+ "sup_loss": 0.6273536179439018,
+ "rf_loss": 0.0004770187078975141,
+ "total_loss": 0.6321238051392922,
+ "lyap1_mean": 0.031354643404483795,
+ "lyap1_max": 0.07800282537937164,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 180,
+ "sup_loss": 0.5391068949279485,
+ "rf_loss": 0.0004328698560129851,
+ "total_loss": 0.5434355933134554,
+ "lyap1_mean": 0.03784620016813278,
+ "lyap1_max": 0.07302993535995483,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 181,
+ "sup_loss": 0.4309755738480298,
+ "rf_loss": 0.00018232983711641282,
+ "total_loss": 0.4327988722482978,
+ "lyap1_mean": 0.015344956889748573,
+ "lyap1_max": 0.05908549576997757,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 182,
+ "sup_loss": 0.5370793111778496,
+ "rf_loss": 0.00046647325507365167,
+ "total_loss": 0.5417440437867937,
+ "lyap1_mean": 0.006285575218498707,
+ "lyap1_max": 0.07993513345718384,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 183,
+ "sup_loss": 0.7337596310572333,
+ "rf_loss": 0.0005372478626668453,
+ "total_loss": 0.7391321096839018,
+ "lyap1_mean": 0.04525350034236908,
+ "lyap1_max": 0.08392290771007538,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 184,
+ "sup_loss": 0.4379425677187218,
+ "rf_loss": 0.000547005096450448,
+ "total_loss": 0.4434126186832263,
+ "lyap1_mean": 0.02844097651541233,
+ "lyap1_max": 0.08245209604501724,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 185,
+ "sup_loss": 0.498892789988389,
+ "rf_loss": 0.00015411667118314654,
+ "total_loss": 0.5004339566711167,
+ "lyap1_mean": -0.001148091978393495,
+ "lyap1_max": 0.06363073736429214,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 186,
+ "sup_loss": 0.4416402051701761,
+ "rf_loss": 0.00015084692859090865,
+ "total_loss": 0.44314867439787753,
+ "lyap1_mean": 0.012073866091668606,
+ "lyap1_max": 0.05878101661801338,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 187,
+ "sup_loss": 0.5732510660500734,
+ "rf_loss": 0.00037985522067174315,
+ "total_loss": 0.5770496183732061,
+ "lyap1_mean": 0.03124530427157879,
+ "lyap1_max": 0.06757044792175293,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 188,
+ "sup_loss": 0.5467748900901997,
+ "rf_loss": 0.00026905431877821684,
+ "total_loss": 0.5494654332779819,
+ "lyap1_mean": 0.017432937398552895,
+ "lyap1_max": 0.06317289173603058,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 189,
+ "sup_loss": 0.6961927553458289,
+ "rf_loss": 0.00019826737116090953,
+ "total_loss": 0.6981754291156457,
+ "lyap1_mean": 0.03899245336651802,
+ "lyap1_max": 0.05410821735858917,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 190,
+ "sup_loss": 0.35575462444754447,
+ "rf_loss": 0.0007016457384452224,
+ "total_loss": 0.36277108206482733,
+ "lyap1_mean": 0.010485476814210415,
+ "lyap1_max": 0.09547500312328339,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 191,
+ "sup_loss": 0.523439201816375,
+ "rf_loss": 0.000277585320873186,
+ "total_loss": 0.5262150550833146,
+ "lyap1_mean": 0.01786212995648384,
+ "lyap1_max": 0.06844151020050049,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 192,
+ "sup_loss": 0.5834945025311747,
+ "rf_loss": 0.0003554734284989536,
+ "total_loss": 0.5870492369325796,
+ "lyap1_mean": 0.04268046095967293,
+ "lyap1_max": 0.06057724729180336,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 193,
+ "sup_loss": 0.39823559364213185,
+ "rf_loss": 0.0002445233112666756,
+ "total_loss": 0.40068082669659094,
+ "lyap1_mean": -0.008324682712554932,
+ "lyap1_max": 0.07037036865949631,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 194,
+ "sup_loss": 0.6005114321952787,
+ "rf_loss": 8.925022120820358e-05,
+ "total_loss": 0.6014039343928088,
+ "lyap1_mean": 0.022291474044322968,
+ "lyap1_max": 0.04980164021253586,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 195,
+ "sup_loss": 0.5535915864769729,
+ "rf_loss": 0.0010408074595034122,
+ "total_loss": 0.563999661072007,
+ "lyap1_mean": 0.04279831051826477,
+ "lyap1_max": 0.08555878698825836,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 196,
+ "sup_loss": 0.718523649162556,
+ "rf_loss": 0.00015115831047296524,
+ "total_loss": 0.7200352322672856,
+ "lyap1_mean": 0.030232176184654236,
+ "lyap1_max": 0.060197532176971436,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 197,
+ "sup_loss": 0.5380897744081156,
+ "rf_loss": 0.0004216336237732321,
+ "total_loss": 0.5423061105876402,
+ "lyap1_mean": 0.03370086848735809,
+ "lyap1_max": 0.07631535083055496,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 198,
+ "sup_loss": 0.540689245740641,
+ "rf_loss": 0.001167268492281437,
+ "total_loss": 0.5523619306634554,
+ "lyap1_mean": 0.04817264527082443,
+ "lyap1_max": 0.09529947489500046,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 199,
+ "sup_loss": 0.6012875979331536,
+ "rf_loss": 0.000556453422177583,
+ "total_loss": 0.6068521320385141,
+ "lyap1_mean": 0.02833246812224388,
+ "lyap1_max": 0.07409893721342087,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 200,
+ "sup_loss": 0.5955651394560488,
+ "rf_loss": 0.0007495339959859848,
+ "total_loss": 0.6030604794159087,
+ "lyap1_mean": 0.04505605250597,
+ "lyap1_max": 0.0706036165356636,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 201,
+ "sup_loss": 0.605823095477912,
+ "rf_loss": 0.00041525354026816785,
+ "total_loss": 0.6099756309388014,
+ "lyap1_mean": 0.043402157723903656,
+ "lyap1_max": 0.06624612212181091,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 202,
+ "sup_loss": 0.5798981666339988,
+ "rf_loss": 0.0003408443881198764,
+ "total_loss": 0.5833066105151976,
+ "lyap1_mean": 0.020707398653030396,
+ "lyap1_max": 0.06438029557466507,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 203,
+ "sup_loss": 0.6642411110321041,
+ "rf_loss": 0.0007422507042065263,
+ "total_loss": 0.6716636178413388,
+ "lyap1_mean": 0.04605324566364288,
+ "lyap1_max": 0.07037824392318726,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 204,
+ "sup_loss": 0.7102336944332269,
+ "rf_loss": 0.00013629227760247886,
+ "total_loss": 0.7115966172674594,
+ "lyap1_mean": 0.025972027331590652,
+ "lyap1_max": 0.05575956031680107,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 205,
+ "sup_loss": 0.5743789508847423,
+ "rf_loss": 0.0003143788198940456,
+ "total_loss": 0.5775227392000981,
+ "lyap1_mean": 0.027853770181536674,
+ "lyap1_max": 0.0631711408495903,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 206,
+ "sup_loss": 0.5260694583521386,
+ "rf_loss": 0.0004047270049341023,
+ "total_loss": 0.5301167282850643,
+ "lyap1_mean": 0.027660351246595383,
+ "lyap1_max": 0.07083717733621597,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 207,
+ "sup_loss": 0.5964999618374385,
+ "rf_loss": 0.0008294865256175399,
+ "total_loss": 0.6047948273264445,
+ "lyap1_mean": 0.041026681661605835,
+ "lyap1_max": 0.08838831633329391,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 208,
+ "sup_loss": 0.5676649765853905,
+ "rf_loss": 0.0005874045891687274,
+ "total_loss": 0.5735390227099084,
+ "lyap1_mean": 0.03898486867547035,
+ "lyap1_max": 0.06772755831480026,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 209,
+ "sup_loss": 0.5942100654326107,
+ "rf_loss": 0.0006336004589684308,
+ "total_loss": 0.6005460699058797,
+ "lyap1_mean": 0.04690906032919884,
+ "lyap1_max": 0.06885579228401184,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 210,
+ "sup_loss": 0.8509270741960819,
+ "rf_loss": 0.0006189707783050835,
+ "total_loss": 0.8571167818627174,
+ "lyap1_mean": 0.03453350439667702,
+ "lyap1_max": 0.08564464002847672,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 211,
+ "sup_loss": 0.5055778998762034,
+ "rf_loss": 0.00033320271177217364,
+ "total_loss": 0.5089099271103404,
+ "lyap1_mean": 0.03223075345158577,
+ "lyap1_max": 0.05598313733935356,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 212,
+ "sup_loss": 0.7457455000705487,
+ "rf_loss": 0.0010714157251641154,
+ "total_loss": 0.7564596575550205,
+ "lyap1_mean": 0.05846280977129936,
+ "lyap1_max": 0.08379396796226501,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 213,
+ "sup_loss": 0.5427237886019588,
+ "rf_loss": 0.000735585461370647,
+ "total_loss": 0.5500796434484959,
+ "lyap1_mean": 0.04087080806493759,
+ "lyap1_max": 0.0812976285815239,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 214,
+ "sup_loss": 0.5929736718413978,
+ "rf_loss": 0.000993238529190421,
+ "total_loss": 0.6029060575989633,
+ "lyap1_mean": 0.05642695352435112,
+ "lyap1_max": 0.0932074710726738,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 215,
+ "sup_loss": 0.5393601467802711,
+ "rf_loss": 0.0001226547610713169,
+ "total_loss": 0.5405866944200881,
+ "lyap1_mean": 0.008397351019084454,
+ "lyap1_max": 0.05364282429218292,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 216,
+ "sup_loss": 0.5815057142566082,
+ "rf_loss": 0.0007152380421757698,
+ "total_loss": 0.5886580946783659,
+ "lyap1_mean": 0.04125935584306717,
+ "lyap1_max": 0.09141559898853302,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 217,
+ "sup_loss": 0.5538836139172376,
+ "rf_loss": 0.00030260803760029376,
+ "total_loss": 0.5569096942350329,
+ "lyap1_mean": 0.020717082545161247,
+ "lyap1_max": 0.07813815027475357,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 218,
+ "sup_loss": 0.39699717438470417,
+ "rf_loss": 0.0002059311227640137,
+ "total_loss": 0.3990564855250328,
+ "lyap1_mean": 0.02572222799062729,
+ "lyap1_max": 0.05219653248786926,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 219,
+ "sup_loss": 0.5506370471091095,
+ "rf_loss": 0.00026355095906183124,
+ "total_loss": 0.5532725568161432,
+ "lyap1_mean": 0.017384691163897514,
+ "lyap1_max": 0.06608978658914566,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 220,
+ "sup_loss": 0.5494037217538679,
+ "rf_loss": 0.001011308515444398,
+ "total_loss": 0.5595168064426506,
+ "lyap1_mean": 0.03444996476173401,
+ "lyap1_max": 0.09126841276884079,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 221,
+ "sup_loss": 0.41153030126218204,
+ "rf_loss": 0.0016602068208158016,
+ "total_loss": 0.42813237040166263,
+ "lyap1_mean": 0.03994900360703468,
+ "lyap1_max": 0.10483704507350922,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 222,
+ "sup_loss": 0.5458684017752856,
+ "rf_loss": 0.000212672573979944,
+ "total_loss": 0.5479951276315004,
+ "lyap1_mean": 0.02495589479804039,
+ "lyap1_max": 0.060269616544246674,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 223,
+ "sup_loss": 0.6549224493358972,
+ "rf_loss": 0.00042142014717683196,
+ "total_loss": 0.6591366509240808,
+ "lyap1_mean": 0.04435674101114273,
+ "lyap1_max": 0.06345845013856888,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 224,
+ "sup_loss": 0.39408146977331043,
+ "rf_loss": 0.00010982884123222902,
+ "total_loss": 0.39517975822928847,
+ "lyap1_mean": -0.006456892006099224,
+ "lyap1_max": 0.05845211446285248,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 225,
+ "sup_loss": 0.6750858429744799,
+ "rf_loss": 0.0005350692663341761,
+ "total_loss": 0.6804365356378217,
+ "lyap1_mean": 0.04550016671419144,
+ "lyap1_max": 0.07679799944162369,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 226,
+ "sup_loss": 0.5752648077557111,
+ "rf_loss": 0.0010578688234090805,
+ "total_loss": 0.5858434959898019,
+ "lyap1_mean": 0.037158794701099396,
+ "lyap1_max": 0.10589152574539185,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 227,
+ "sup_loss": 0.6854674711739743,
+ "rf_loss": 0.0008915641810745001,
+ "total_loss": 0.6943831134503806,
+ "lyap1_mean": 0.05495595559477806,
+ "lyap1_max": 0.09296790510416031,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 228,
+ "sup_loss": 0.6341489533027068,
+ "rf_loss": 0.0005588330677710474,
+ "total_loss": 0.6397372840968326,
+ "lyap1_mean": 0.03886771202087402,
+ "lyap1_max": 0.07429935038089752,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 229,
+ "sup_loss": 0.5913819668427857,
+ "rf_loss": 0.0008819079375825822,
+ "total_loss": 0.6002010458693655,
+ "lyap1_mean": 0.04562043026089668,
+ "lyap1_max": 0.07646101713180542,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 230,
+ "sup_loss": 0.4685004842880443,
+ "rf_loss": 0.00031293477513827384,
+ "total_loss": 0.4716298319812194,
+ "lyap1_mean": 0.01623295247554779,
+ "lyap1_max": 0.06639578193426132,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 231,
+ "sup_loss": 0.6631464347355451,
+ "rf_loss": 0.0008084294968284667,
+ "total_loss": 0.6712307300530758,
+ "lyap1_mean": 0.04980027675628662,
+ "lyap1_max": 0.08482124656438828,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 232,
+ "sup_loss": 0.5260258289751794,
+ "rf_loss": 0.0007538659265264869,
+ "total_loss": 0.5335644884732749,
+ "lyap1_mean": 0.031931836158037186,
+ "lyap1_max": 0.09030819684267044,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 233,
+ "sup_loss": 0.569673512162802,
+ "rf_loss": 0.0016527590341866016,
+ "total_loss": 0.5862011015733455,
+ "lyap1_mean": 0.0609135627746582,
+ "lyap1_max": 0.10422965884208679,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 234,
+ "sup_loss": 0.709837029478907,
+ "rf_loss": 0.00025330838980153203,
+ "total_loss": 0.712370113260507,
+ "lyap1_mean": 0.025683030486106873,
+ "lyap1_max": 0.06497389078140259,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 235,
+ "sup_loss": 0.6184390843603936,
+ "rf_loss": 0.00099947617854923,
+ "total_loss": 0.6284338463787166,
+ "lyap1_mean": 0.054502081125974655,
+ "lyap1_max": 0.09161369502544403,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 236,
+ "sup_loss": 0.6376718183722566,
+ "rf_loss": 0.00028268113965168595,
+ "total_loss": 0.6404986296523582,
+ "lyap1_mean": 0.03415220230817795,
+ "lyap1_max": 0.06184494495391846,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 237,
+ "sup_loss": 0.7132643295186688,
+ "rf_loss": 0.0006852721562609076,
+ "total_loss": 0.7201170513141085,
+ "lyap1_mean": 0.04782436415553093,
+ "lyap1_max": 0.08380461484193802,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 238,
+ "sup_loss": 0.5479866945008545,
+ "rf_loss": 0.0008834996842779219,
+ "total_loss": 0.5568216916928797,
+ "lyap1_mean": 0.034036800265312195,
+ "lyap1_max": 0.10123076289892197,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 239,
+ "sup_loss": 0.5290793792523277,
+ "rf_loss": 0.000676636875141412,
+ "total_loss": 0.5358457478873265,
+ "lyap1_mean": 0.031248752027750015,
+ "lyap1_max": 0.10074812173843384,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 240,
+ "sup_loss": 0.48391840215032844,
+ "rf_loss": 0.0003933197585865855,
+ "total_loss": 0.48785159996902494,
+ "lyap1_mean": 0.017674371600151062,
+ "lyap1_max": 0.06860026717185974,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 241,
+ "sup_loss": 0.6306680816741256,
+ "rf_loss": 0.0008698032470420003,
+ "total_loss": 0.6393661139117149,
+ "lyap1_mean": 0.04620235413312912,
+ "lyap1_max": 0.07746808230876923,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 242,
+ "sup_loss": 0.4765336636474922,
+ "rf_loss": 0.0012541543692350388,
+ "total_loss": 0.4890752073398426,
+ "lyap1_mean": 0.03780656307935715,
+ "lyap1_max": 0.0872676819562912,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 243,
+ "sup_loss": 0.5241551881663605,
+ "rf_loss": 0.00040858215652406216,
+ "total_loss": 0.5282410097316012,
+ "lyap1_mean": 0.028027469292283058,
+ "lyap1_max": 0.0619596429169178,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 244,
+ "sup_loss": 0.6517198748166912,
+ "rf_loss": 0.0008096904493868351,
+ "total_loss": 0.6598167793105596,
+ "lyap1_mean": 0.03628312796354294,
+ "lyap1_max": 0.09039516746997833,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 245,
+ "sup_loss": 0.5695074829292116,
+ "rf_loss": 0.0012993465643376112,
+ "total_loss": 0.582500949038249,
+ "lyap1_mean": 0.0631212666630745,
+ "lyap1_max": 0.08834284543991089,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 246,
+ "sup_loss": 0.6920746124694461,
+ "rf_loss": 0.00012039359717164189,
+ "total_loss": 0.6932785484120587,
+ "lyap1_mean": 0.030149366706609726,
+ "lyap1_max": 0.05479876697063446,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 247,
+ "sup_loss": 0.4631203719587667,
+ "rf_loss": 0.00044645112939178944,
+ "total_loss": 0.4675848832526846,
+ "lyap1_mean": 0.017335429787635803,
+ "lyap1_max": 0.07987583428621292,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 248,
+ "sup_loss": 0.4820471527637701,
+ "rf_loss": 0.00038148750900290906,
+ "total_loss": 0.48586202791200683,
+ "lyap1_mean": 0.02341225929558277,
+ "lyap1_max": 0.07182237505912781,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 249,
+ "sup_loss": 0.49482324919501725,
+ "rf_loss": 0.0005091881030239165,
+ "total_loss": 0.4999151301088411,
+ "lyap1_mean": 0.0230148583650589,
+ "lyap1_max": 0.08536988496780396,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 250,
+ "sup_loss": 0.7408742673149227,
+ "rf_loss": 0.0009012185619212687,
+ "total_loss": 0.7498864532833813,
+ "lyap1_mean": 0.043324172496795654,
+ "lyap1_max": 0.08873757719993591,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 251,
+ "sup_loss": 0.4914072314819521,
+ "rf_loss": 0.00020574676454998553,
+ "total_loss": 0.4934646990692443,
+ "lyap1_mean": 0.02073250338435173,
+ "lyap1_max": 0.07055167853832245,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 252,
+ "sup_loss": 0.6095827318201913,
+ "rf_loss": 0.0008359914063476026,
+ "total_loss": 0.6179426455344214,
+ "lyap1_mean": 0.04909138381481171,
+ "lyap1_max": 0.0818144679069519,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 253,
+ "sup_loss": 0.6051389261800135,
+ "rf_loss": 0.00044340878957882524,
+ "total_loss": 0.6095730139593865,
+ "lyap1_mean": 0.030152572318911552,
+ "lyap1_max": 0.07385376840829849,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 254,
+ "sup_loss": 0.5444777048117785,
+ "rf_loss": 0.0005057541420683265,
+ "total_loss": 0.5495352464652924,
+ "lyap1_mean": 0.039698366075754166,
+ "lyap1_max": 0.06206820160150528,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 255,
+ "sup_loss": 0.6208675044215736,
+ "rf_loss": 0.00017123910947702825,
+ "total_loss": 0.6225798955745515,
+ "lyap1_mean": 0.028230706229805946,
+ "lyap1_max": 0.05678870156407356,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 256,
+ "sup_loss": 0.47347504118540007,
+ "rf_loss": 0.00016440180479548872,
+ "total_loss": 0.4751190592915626,
+ "lyap1_mean": 0.015479110181331635,
+ "lyap1_max": 0.05946384742856026,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 257,
+ "sup_loss": 0.5297855635282899,
+ "rf_loss": 0.0003950066165998578,
+ "total_loss": 0.5337356294614578,
+ "lyap1_mean": 0.03484710305929184,
+ "lyap1_max": 0.06870417296886444,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 258,
+ "sup_loss": 0.5555720815606108,
+ "rf_loss": 0.0002101714489981532,
+ "total_loss": 0.5576737960505923,
+ "lyap1_mean": 0.013408822938799858,
+ "lyap1_max": 0.06239866092801094,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 259,
+ "sup_loss": 0.5965166624552465,
+ "rf_loss": 0.000275626516668126,
+ "total_loss": 0.5992729276801354,
+ "lyap1_mean": 0.029040725901722908,
+ "lyap1_max": 0.07058516144752502,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 260,
+ "sup_loss": 0.6157100687054347,
+ "rf_loss": 4.965077096130699e-05,
+ "total_loss": 0.6162065764441516,
+ "lyap1_mean": 0.020699741318821907,
+ "lyap1_max": 0.04415186494588852,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 261,
+ "sup_loss": 0.5984746567082326,
+ "rf_loss": 0.0006135214935056865,
+ "total_loss": 0.6046098717597048,
+ "lyap1_mean": 0.041890911757946014,
+ "lyap1_max": 0.07787647098302841,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 262,
+ "sup_loss": 0.5483288699575938,
+ "rf_loss": 0.0009074009722098708,
+ "total_loss": 0.5574028799125231,
+ "lyap1_mean": 0.04714424908161163,
+ "lyap1_max": 0.0821116641163826,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 263,
+ "sup_loss": 0.6608629452960905,
+ "rf_loss": 0.00027985667111352086,
+ "total_loss": 0.6636615118908104,
+ "lyap1_mean": 0.03843584284186363,
+ "lyap1_max": 0.06749545782804489,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 264,
+ "sup_loss": 0.5391277270035674,
+ "rf_loss": 0.00024194618163164705,
+ "total_loss": 0.5415471887325723,
+ "lyap1_mean": 0.026206109672784805,
+ "lyap1_max": 0.0639348104596138,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 265,
+ "sup_loss": 0.5804086371946278,
+ "rf_loss": 0.0007218827959150076,
+ "total_loss": 0.5876274651537778,
+ "lyap1_mean": 0.032464563846588135,
+ "lyap1_max": 0.0964975580573082,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 266,
+ "sup_loss": 0.5213876742451541,
+ "rf_loss": 0.0007938664057292044,
+ "total_loss": 0.5293263386516921,
+ "lyap1_mean": 0.029460005462169647,
+ "lyap1_max": 0.10038154572248459,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 267,
+ "sup_loss": 0.5676860748562595,
+ "rf_loss": 0.00020073009363841265,
+ "total_loss": 0.5696933758217475,
+ "lyap1_mean": 0.02602936327457428,
+ "lyap1_max": 0.06402797251939774,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 268,
+ "sup_loss": 0.6452847768368841,
+ "rf_loss": 0.0007120990194380283,
+ "total_loss": 0.6524057670312644,
+ "lyap1_mean": 0.043194543570280075,
+ "lyap1_max": 0.0768318846821785,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 269,
+ "sup_loss": 0.5715882315046942,
+ "rf_loss": 0.00033411706681363285,
+ "total_loss": 0.5749294022310382,
+ "lyap1_mean": 0.034129709005355835,
+ "lyap1_max": 0.06781865656375885,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 270,
+ "sup_loss": 0.7120570303036028,
+ "rf_loss": 0.0011228343937546015,
+ "total_loss": 0.7232853737754875,
+ "lyap1_mean": 0.058735575526952744,
+ "lyap1_max": 0.09556297957897186,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 271,
+ "sup_loss": 0.4926270460854135,
+ "rf_loss": 0.00031689630122855306,
+ "total_loss": 0.49579600898128373,
+ "lyap1_mean": 0.032856687903404236,
+ "lyap1_max": 0.06107155978679657,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 272,
+ "sup_loss": 0.587500259929478,
+ "rf_loss": 0.0001534022158011794,
+ "total_loss": 0.5890342820874898,
+ "lyap1_mean": 0.024908894672989845,
+ "lyap1_max": 0.0564771443605423,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 273,
+ "sup_loss": 0.6811651578462009,
+ "rf_loss": 0.0001475512544857338,
+ "total_loss": 0.6826406703619544,
+ "lyap1_mean": 0.03439052402973175,
+ "lyap1_max": 0.05397669970989227,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 274,
+ "sup_loss": 0.5785112399271246,
+ "rf_loss": 0.0005180886364541948,
+ "total_loss": 0.5836921264080819,
+ "lyap1_mean": 0.03218800574541092,
+ "lyap1_max": 0.07126186788082123,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 275,
+ "sup_loss": 0.628081121274708,
+ "rf_loss": 0.0012590764090418816,
+ "total_loss": 0.6406718853651269,
+ "lyap1_mean": 0.04611969739198685,
+ "lyap1_max": 0.09356189519166946,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 276,
+ "sup_loss": 0.5785000311018421,
+ "rf_loss": 0.0004938770434819162,
+ "total_loss": 0.5834388016530766,
+ "lyap1_mean": 0.02908203937113285,
+ "lyap1_max": 0.09127192199230194,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 277,
+ "sup_loss": 0.4692488510099745,
+ "rf_loss": 0.001169276423752308,
+ "total_loss": 0.48094161524749757,
+ "lyap1_mean": 0.027313023805618286,
+ "lyap1_max": 0.12401549518108368,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 278,
+ "sup_loss": 0.497560462918855,
+ "rf_loss": 0.00027298013446852565,
+ "total_loss": 0.5002902643799556,
+ "lyap1_mean": 0.016537589952349663,
+ "lyap1_max": 0.06733836233615875,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 279,
+ "sup_loss": 0.6443728863006446,
+ "rf_loss": 0.000750086095649749,
+ "total_loss": 0.6518737471407268,
+ "lyap1_mean": 0.028797056525945663,
+ "lyap1_max": 0.09375637024641037,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 280,
+ "sup_loss": 0.6736452493691713,
+ "rf_loss": 0.00020010987645946443,
+ "total_loss": 0.6756463481919736,
+ "lyap1_mean": 0.036360375583171844,
+ "lyap1_max": 0.054878853261470795,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 281,
+ "sup_loss": 0.6247706711129536,
+ "rf_loss": 0.00020174466772004962,
+ "total_loss": 0.6267881179065694,
+ "lyap1_mean": 0.022391624748706818,
+ "lyap1_max": 0.05956476926803589,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 282,
+ "sup_loss": 0.5270273819250371,
+ "rf_loss": 7.28247978258878e-05,
+ "total_loss": 0.5277556299032959,
+ "lyap1_mean": 0.021260559558868408,
+ "lyap1_max": 0.04750187322497368,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 283,
+ "sup_loss": 0.547801999110199,
+ "rf_loss": 0.00022732274373993278,
+ "total_loss": 0.5500752266640137,
+ "lyap1_mean": 0.024536356329917908,
+ "lyap1_max": 0.06410657614469528,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 284,
+ "sup_loss": 0.7135034389787409,
+ "rf_loss": 0.00037295662332326174,
+ "total_loss": 0.7172330052119735,
+ "lyap1_mean": 0.028701700270175934,
+ "lyap1_max": 0.08196239173412323,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 285,
+ "sup_loss": 0.49366422595253606,
+ "rf_loss": 0.00039839986129663885,
+ "total_loss": 0.4976482246237101,
+ "lyap1_mean": 0.017768293619155884,
+ "lyap1_max": 0.07640352100133896,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 286,
+ "sup_loss": 0.36756393843564106,
+ "rf_loss": 3.3070409699575976e-05,
+ "total_loss": 0.36789464252536086,
+ "lyap1_mean": -0.0033369953744113445,
+ "lyap1_max": 0.04626540094614029,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 287,
+ "sup_loss": 0.6599970180027829,
+ "rf_loss": 0.00043559964979067445,
+ "total_loss": 0.6643530143842743,
+ "lyap1_mean": 0.038254283368587494,
+ "lyap1_max": 0.06757602095603943,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 288,
+ "sup_loss": 0.5259954825744471,
+ "rf_loss": 0.0006128251552581787,
+ "total_loss": 0.5321237341270288,
+ "lyap1_mean": 0.028678033500909805,
+ "lyap1_max": 0.07484769076108932,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 289,
+ "sup_loss": 0.5848030612456814,
+ "rf_loss": 9.305007552029565e-05,
+ "total_loss": 0.5857335619863324,
+ "lyap1_mean": 0.00849337037652731,
+ "lyap1_max": 0.055495187640190125,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 290,
+ "sup_loss": 0.6155624289714181,
+ "rf_loss": 0.0008315556333400309,
+ "total_loss": 0.6238779856540644,
+ "lyap1_mean": 0.053654029965400696,
+ "lyap1_max": 0.07857903838157654,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 291,
+ "sup_loss": 0.6360479302282921,
+ "rf_loss": 0.0004984450060874224,
+ "total_loss": 0.6410323802891663,
+ "lyap1_mean": 0.032997533679008484,
+ "lyap1_max": 0.08907701820135117,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 292,
+ "sup_loss": 0.5242859083602821,
+ "rf_loss": 0.00014140893472358584,
+ "total_loss": 0.525699997707518,
+ "lyap1_mean": 0.009396638721227646,
+ "lyap1_max": 0.06177067384123802,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 293,
+ "sup_loss": 0.3617941347604313,
+ "rf_loss": 0.0007008840912021697,
+ "total_loss": 0.3688029755560377,
+ "lyap1_mean": 0.013743110001087189,
+ "lyap1_max": 0.09680355340242386,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 294,
+ "sup_loss": 0.4961380919707897,
+ "rf_loss": 0.00020974120707251132,
+ "total_loss": 0.4982355039833071,
+ "lyap1_mean": 0.022588199004530907,
+ "lyap1_max": 0.06321262568235397,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 295,
+ "sup_loss": 0.467999687376467,
+ "rf_loss": 0.0003769569448195398,
+ "total_loss": 0.47176925694107774,
+ "lyap1_mean": 0.03950834646821022,
+ "lyap1_max": 0.06270330399274826,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 296,
+ "sup_loss": 0.6928812087792494,
+ "rf_loss": 0.0005540063721127808,
+ "total_loss": 0.6984212723839619,
+ "lyap1_mean": 0.038497213274240494,
+ "lyap1_max": 0.07575710862874985,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 297,
+ "sup_loss": 0.4658118733036149,
+ "rf_loss": 0.0001302654854953289,
+ "total_loss": 0.4671145281585682,
+ "lyap1_mean": 0.01944921165704727,
+ "lyap1_max": 0.05389760434627533,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 298,
+ "sup_loss": 0.6420277913014478,
+ "rf_loss": 0.0005119240959174931,
+ "total_loss": 0.6471470321442074,
+ "lyap1_mean": 0.04131343960762024,
+ "lyap1_max": 0.06554101407527924,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 299,
+ "sup_loss": 0.43303952130849904,
+ "rf_loss": 8.181443263310939e-05,
+ "total_loss": 0.4338576656057263,
+ "lyap1_mean": 0.008387306705117226,
+ "lyap1_max": 0.05084708333015442,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 300,
+ "sup_loss": 0.5304402432196642,
+ "rf_loss": 0.0001968908472917974,
+ "total_loss": 0.5324091518089975,
+ "lyap1_mean": 0.014682665467262268,
+ "lyap1_max": 0.06053999438881874,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 301,
+ "sup_loss": 0.6313792213500957,
+ "rf_loss": 0.00011888518201885745,
+ "total_loss": 0.6325680731266285,
+ "lyap1_mean": 0.013693543151021004,
+ "lyap1_max": 0.0555669367313385,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 302,
+ "sup_loss": 0.6518329863179193,
+ "rf_loss": 2.7513033273862675e-05,
+ "total_loss": 0.652108116643382,
+ "lyap1_mean": 0.023918118327856064,
+ "lyap1_max": 0.042715102434158325,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 303,
+ "sup_loss": 0.6150440984894514,
+ "rf_loss": 0.000342705228831619,
+ "total_loss": 0.6184711508941829,
+ "lyap1_mean": 0.03279578685760498,
+ "lyap1_max": 0.07723964750766754,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 304,
+ "sup_loss": 0.4593159531698076,
+ "rf_loss": 0.0004665872547775507,
+ "total_loss": 0.4639818257175831,
+ "lyap1_mean": 0.011333046481013298,
+ "lyap1_max": 0.08283974230289459,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 305,
+ "sup_loss": 0.5184686534119695,
+ "rf_loss": 0.00024765392299741507,
+ "total_loss": 0.5209451926419436,
+ "lyap1_mean": 0.017272520810365677,
+ "lyap1_max": 0.06319084018468857,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 306,
+ "sup_loss": 0.6350182376190205,
+ "rf_loss": 2.6266985514666885e-05,
+ "total_loss": 0.6352809074887191,
+ "lyap1_mean": 0.013008815236389637,
+ "lyap1_max": 0.04448588564991951,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 307,
+ "sup_loss": 0.55629598194043,
+ "rf_loss": 0.00047038329648785293,
+ "total_loss": 0.5609998147306855,
+ "lyap1_mean": 0.026487085968255997,
+ "lyap1_max": 0.0770636647939682,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 308,
+ "sup_loss": 0.48699625236105804,
+ "rf_loss": 0.0002535622043069452,
+ "total_loss": 0.48953187446233515,
+ "lyap1_mean": 0.0150565505027771,
+ "lyap1_max": 0.0747135803103447,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 309,
+ "sup_loss": 0.6212780227794756,
+ "rf_loss": 0.0012255769688636065,
+ "total_loss": 0.6335337920024504,
+ "lyap1_mean": 0.05028048902750015,
+ "lyap1_max": 0.09193791449069977,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 310,
+ "sup_loss": 0.5446788939596003,
+ "rf_loss": 0.00012841587886214256,
+ "total_loss": 0.5459630527482218,
+ "lyap1_mean": 0.008533533662557602,
+ "lyap1_max": 0.05806178227066994,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 311,
+ "sup_loss": 0.5664093459867502,
+ "rf_loss": 7.638157512701582e-06,
+ "total_loss": 0.5664857275636962,
+ "lyap1_mean": 0.009694334119558334,
+ "lyap1_max": 0.03753918409347534,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 312,
+ "sup_loss": 0.5078988266267628,
+ "rf_loss": 3.745036883628927e-05,
+ "total_loss": 0.5082733303224016,
+ "lyap1_mean": 0.003570608329027891,
+ "lyap1_max": 0.04574115574359894,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 313,
+ "sup_loss": 0.4989908766127493,
+ "rf_loss": 0.0004611103795468807,
+ "total_loss": 0.5036019804082181,
+ "lyap1_mean": 0.03285979479551315,
+ "lyap1_max": 0.07660631835460663,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 314,
+ "sup_loss": 0.6622799097426025,
+ "rf_loss": 2.0644045434892178e-05,
+ "total_loss": 0.6624863501969515,
+ "lyap1_mean": 0.007683388888835907,
+ "lyap1_max": 0.04130416736006737,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 315,
+ "sup_loss": 0.63780738499932,
+ "rf_loss": 9.869716450339183e-05,
+ "total_loss": 0.6387943566589058,
+ "lyap1_mean": 0.01880241557955742,
+ "lyap1_max": 0.057299837470054626,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 316,
+ "sup_loss": 0.4876467363590659,
+ "rf_loss": 0.0003996889281552285,
+ "total_loss": 0.4916436254659952,
+ "lyap1_mean": 0.012197393923997879,
+ "lyap1_max": 0.08482178300619125,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 317,
+ "sup_loss": 0.6771278592498643,
+ "rf_loss": 0.00032769658719189465,
+ "total_loss": 0.6804048250635756,
+ "lyap1_mean": 0.03356102854013443,
+ "lyap1_max": 0.07833286374807358,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 318,
+ "sup_loss": 0.6204674528891974,
+ "rf_loss": 0.0002145455509889871,
+ "total_loss": 0.6226129083408796,
+ "lyap1_mean": 0.023701954632997513,
+ "lyap1_max": 0.06035196781158447,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 319,
+ "sup_loss": 0.5249347652444236,
+ "rf_loss": 0.00019796370179392397,
+ "total_loss": 0.5269144022041552,
+ "lyap1_mean": 0.019665872678160667,
+ "lyap1_max": 0.06362081319093704,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 320,
+ "sup_loss": 0.6024647060623108,
+ "rf_loss": 0.00016893389692995697,
+ "total_loss": 0.6041540450025066,
+ "lyap1_mean": 0.00930042751133442,
+ "lyap1_max": 0.06644453853368759,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 321,
+ "sup_loss": 0.4434244555997871,
+ "rf_loss": 0.000357576587703079,
+ "total_loss": 0.4470002215932332,
+ "lyap1_mean": 0.023135628551244736,
+ "lyap1_max": 0.06814698129892349,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 322,
+ "sup_loss": 0.5887305448344036,
+ "rf_loss": 0.0004979217774234712,
+ "total_loss": 0.5937097627250536,
+ "lyap1_mean": 0.029844146221876144,
+ "lyap1_max": 0.08991381525993347,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 323,
+ "sup_loss": 0.7275651459283302,
+ "rf_loss": 8.825609256746247e-05,
+ "total_loss": 0.7284477068394529,
+ "lyap1_mean": 0.014606080949306488,
+ "lyap1_max": 0.05657157674431801,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 324,
+ "sup_loss": 0.6658673572057368,
+ "rf_loss": 0.00016142407548613846,
+ "total_loss": 0.6674815979023905,
+ "lyap1_mean": 0.03738698735833168,
+ "lyap1_max": 0.050548434257507324,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 325,
+ "sup_loss": 0.5580779068371636,
+ "rf_loss": 0.0006892174715176225,
+ "total_loss": 0.5649700813195092,
+ "lyap1_mean": 0.030159857124090195,
+ "lyap1_max": 0.08100616931915283,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 326,
+ "sup_loss": 0.6749454708183832,
+ "rf_loss": 0.00031922926427796483,
+ "total_loss": 0.6781377633447475,
+ "lyap1_mean": 0.029853269457817078,
+ "lyap1_max": 0.07950351387262344,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 327,
+ "sup_loss": 0.5114756820383053,
+ "rf_loss": 0.0004228578764013946,
+ "total_loss": 0.5157042609187346,
+ "lyap1_mean": 0.01888437196612358,
+ "lyap1_max": 0.06925716251134872,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 328,
+ "sup_loss": 0.46249585768652063,
+ "rf_loss": 8.511926716892049e-05,
+ "total_loss": 0.46334705037276175,
+ "lyap1_mean": 0.0022419262677431107,
+ "lyap1_max": 0.056095097213983536,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 329,
+ "sup_loss": 0.5669768717679028,
+ "rf_loss": 0.00011284015636192635,
+ "total_loss": 0.5681052733751778,
+ "lyap1_mean": 0.016854820773005486,
+ "lyap1_max": 0.05304701626300812,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 330,
+ "sup_loss": 0.4884215354309659,
+ "rf_loss": 1.6174211850739084e-05,
+ "total_loss": 0.48858327755311126,
+ "lyap1_mean": -0.00037685385905206203,
+ "lyap1_max": 0.04137513414025307,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 331,
+ "sup_loss": 0.6545350877512894,
+ "rf_loss": 0.00016833549307193607,
+ "total_loss": 0.6562184427111126,
+ "lyap1_mean": 0.019508279860019684,
+ "lyap1_max": 0.06366783380508423,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 332,
+ "sup_loss": 0.6053786042651803,
+ "rf_loss": 0.00010074514284497127,
+ "total_loss": 0.6063860557081819,
+ "lyap1_mean": 0.0142509825527668,
+ "lyap1_max": 0.058229491114616394,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 333,
+ "sup_loss": 0.46163132545912217,
+ "rf_loss": 2.6670246370485984e-05,
+ "total_loss": 0.461898027926465,
+ "lyap1_mean": 0.008683418855071068,
+ "lyap1_max": 0.04260037839412689,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 334,
+ "sup_loss": 0.5291133408438216,
+ "rf_loss": 0.00032470026053488255,
+ "total_loss": 0.5323603434491704,
+ "lyap1_mean": 0.026914862915873528,
+ "lyap1_max": 0.06771890819072723,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 335,
+ "sup_loss": 0.5897507411236846,
+ "rf_loss": 7.304573227884248e-05,
+ "total_loss": 0.5904811984319212,
+ "lyap1_mean": 0.027278918772935867,
+ "lyap1_max": 0.05022713914513588,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 336,
+ "sup_loss": 0.487150864646946,
+ "rf_loss": 0.00016442613559775054,
+ "total_loss": 0.4887951260611312,
+ "lyap1_mean": 0.014580996707081795,
+ "lyap1_max": 0.06626857072114944,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 337,
+ "sup_loss": 0.5959806184326191,
+ "rf_loss": 1.4536541357301758e-06,
+ "total_loss": 0.595995154973749,
+ "lyap1_mean": 0.005908845923841,
+ "lyap1_max": 0.03341016545891762,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 338,
+ "sup_loss": 0.49581758395577846,
+ "rf_loss": 0.00012765699648298323,
+ "total_loss": 0.49709415386240063,
+ "lyap1_mean": 0.013716347515583038,
+ "lyap1_max": 0.05263121426105499,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 339,
+ "sup_loss": 0.48274794109277464,
+ "rf_loss": 4.754229303216562e-05,
+ "total_loss": 0.4832233640376482,
+ "lyap1_mean": -0.001351505983620882,
+ "lyap1_max": 0.04950226470828056,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 340,
+ "sup_loss": 0.5510527922812388,
+ "rf_loss": 0.00019798257562797517,
+ "total_loss": 0.5530326180666224,
+ "lyap1_mean": 0.012053068727254868,
+ "lyap1_max": 0.06979774683713913,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 341,
+ "sup_loss": 0.6064136693701637,
+ "rf_loss": 0.00029927678406238556,
+ "total_loss": 0.6094064372107876,
+ "lyap1_mean": 0.0143895223736763,
+ "lyap1_max": 0.07772287726402283,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 342,
+ "sup_loss": 0.5656060561838293,
+ "rf_loss": 0.0007813253323547542,
+ "total_loss": 0.5734193096237922,
+ "lyap1_mean": 0.03095122054219246,
+ "lyap1_max": 0.10531410574913025,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 343,
+ "sup_loss": 0.5247595929186406,
+ "rf_loss": 6.0654965636786073e-05,
+ "total_loss": 0.5253661425895604,
+ "lyap1_mean": 0.0035705463960766792,
+ "lyap1_max": 0.05202815681695938,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 344,
+ "sup_loss": 0.5211489533839812,
+ "rf_loss": 0.00011536213423823938,
+ "total_loss": 0.5223025747409155,
+ "lyap1_mean": 0.0008321506902575493,
+ "lyap1_max": 0.06013638153672218,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 345,
+ "sup_loss": 0.5788282847711617,
+ "rf_loss": 0.00019916275050491095,
+ "total_loss": 0.5808199122762108,
+ "lyap1_mean": 0.028574083000421524,
+ "lyap1_max": 0.060037147253751755,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 346,
+ "sup_loss": 0.607421001016812,
+ "rf_loss": 2.3965843865880743e-05,
+ "total_loss": 0.6076606594481948,
+ "lyap1_mean": 0.015471093356609344,
+ "lyap1_max": 0.042766205966472626,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 347,
+ "sup_loss": 0.5502210115726008,
+ "rf_loss": 1.643942255213915e-06,
+ "total_loss": 0.5502374509949256,
+ "lyap1_mean": 0.0010050777345895767,
+ "lyap1_max": 0.0336265042424202,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 348,
+ "sup_loss": 0.5925106654261917,
+ "rf_loss": 1.4899997040629387e-05,
+ "total_loss": 0.592659665396598,
+ "lyap1_mean": 0.006507468409836292,
+ "lyap1_max": 0.03982049226760864,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 349,
+ "sup_loss": 0.5242719633163033,
+ "rf_loss": 0.0,
+ "total_loss": 0.5242719633163033,
+ "lyap1_mean": -0.00785021111369133,
+ "lyap1_max": 0.019340839236974716,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 350,
+ "sup_loss": 0.6875956647501008,
+ "rf_loss": 0.0005317377508617938,
+ "total_loss": 0.6929130421423034,
+ "lyap1_mean": 0.035342082381248474,
+ "lyap1_max": 0.07686442136764526,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 351,
+ "sup_loss": 0.5066268261770325,
+ "rf_loss": 7.840273610781878e-05,
+ "total_loss": 0.5074108535672145,
+ "lyap1_mean": 0.01088099554181099,
+ "lyap1_max": 0.04559345543384552,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 352,
+ "sup_loss": 0.5037841911078333,
+ "rf_loss": 2.5365301553392783e-05,
+ "total_loss": 0.5040378441160913,
+ "lyap1_mean": 0.003916232846677303,
+ "lyap1_max": 0.04424508288502693,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 353,
+ "sup_loss": 0.5886486902166389,
+ "rf_loss": 0.0004892041906714439,
+ "total_loss": 0.5935407321233533,
+ "lyap1_mean": 0.02368582971394062,
+ "lyap1_max": 0.07344891130924225,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 354,
+ "sup_loss": 0.6455842736882896,
+ "rf_loss": 9.32560651563108e-05,
+ "total_loss": 0.6465168343398527,
+ "lyap1_mean": 0.020062698051333427,
+ "lyap1_max": 0.05694057419896126,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 355,
+ "sup_loss": 0.6235063918826144,
+ "rf_loss": 0.000210637241252698,
+ "total_loss": 0.6256127643824528,
+ "lyap1_mean": 0.01891021989285946,
+ "lyap1_max": 0.069191113114357,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 356,
+ "sup_loss": 0.6970924087401272,
+ "rf_loss": 0.00034085509832948446,
+ "total_loss": 0.7005009597234221,
+ "lyap1_mean": 0.032788004726171494,
+ "lyap1_max": 0.06911805272102356,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 357,
+ "sup_loss": 0.4980169496276953,
+ "rf_loss": 4.075984179507941e-05,
+ "total_loss": 0.4984245480456461,
+ "lyap1_mean": 0.005744720809161663,
+ "lyap1_max": 0.04805764928460121,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 358,
+ "sup_loss": 0.6484673407182755,
+ "rf_loss": 0.0008300307672470808,
+ "total_loss": 0.6567676488564076,
+ "lyap1_mean": 0.034684181213378906,
+ "lyap1_max": 0.1030503585934639,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 359,
+ "sup_loss": 0.5579531480838832,
+ "rf_loss": 0.00013766397023573518,
+ "total_loss": 0.5593297877862405,
+ "lyap1_mean": 0.023174606263637543,
+ "lyap1_max": 0.059959668666124344,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 360,
+ "sup_loss": 0.46524032667500126,
+ "rf_loss": 2.7635236619971693e-05,
+ "total_loss": 0.465516679041201,
+ "lyap1_mean": 0.0037062764167785645,
+ "lyap1_max": 0.04359659180045128,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 361,
+ "sup_loss": 0.6535484522087305,
+ "rf_loss": 0.000504621653817594,
+ "total_loss": 0.6585946689797371,
+ "lyap1_mean": 0.03255554288625717,
+ "lyap1_max": 0.07668517529964447,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 362,
+ "sup_loss": 0.5965391833942709,
+ "rf_loss": 2.7917731131310575e-05,
+ "total_loss": 0.5968183606946701,
+ "lyap1_mean": 0.01457765232771635,
+ "lyap1_max": 0.044939566403627396,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 363,
+ "sup_loss": 0.6442618111376376,
+ "rf_loss": 0.0,
+ "total_loss": 0.6442618111376376,
+ "lyap1_mean": 0.0027507173363119364,
+ "lyap1_max": 0.024358613416552544,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 364,
+ "sup_loss": 0.5738530380535579,
+ "rf_loss": 4.958970384905115e-05,
+ "total_loss": 0.5743489350774965,
+ "lyap1_mean": 0.016457058489322662,
+ "lyap1_max": 0.04910574108362198,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 365,
+ "sup_loss": 0.46487977032967875,
+ "rf_loss": 0.0003980492183472961,
+ "total_loss": 0.4688602625713594,
+ "lyap1_mean": 0.025368032976984978,
+ "lyap1_max": 0.08419940620660782,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 366,
+ "sup_loss": 0.47397841943477903,
+ "rf_loss": 2.7577920263865963e-05,
+ "total_loss": 0.47425419863014173,
+ "lyap1_mean": 0.004649889189749956,
+ "lyap1_max": 0.04211171343922615,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 367,
+ "sup_loss": 0.6299607430856686,
+ "rf_loss": 0.00011780574277509004,
+ "total_loss": 0.6311388004843157,
+ "lyap1_mean": 0.024103548377752304,
+ "lyap1_max": 0.04827529564499855,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 368,
+ "sup_loss": 0.6814603545512887,
+ "rf_loss": 9.301544923800975e-05,
+ "total_loss": 0.682390509014565,
+ "lyap1_mean": 0.014038301073014736,
+ "lyap1_max": 0.05714087188243866,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 369,
+ "sup_loss": 0.6119878272819755,
+ "rf_loss": 0.0003101372276432812,
+ "total_loss": 0.615089199441993,
+ "lyap1_mean": 0.01014804095029831,
+ "lyap1_max": 0.0646820142865181,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 370,
+ "sup_loss": 0.5782353494284362,
+ "rf_loss": 8.265772339655086e-05,
+ "total_loss": 0.5790619266769537,
+ "lyap1_mean": 0.029029306024312973,
+ "lyap1_max": 0.051993679255247116,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 371,
+ "sup_loss": 0.4922081490486346,
+ "rf_loss": 0.00020113802747800946,
+ "total_loss": 0.49421952920699935,
+ "lyap1_mean": 0.0032967757433652878,
+ "lyap1_max": 0.06944963335990906,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 372,
+ "sup_loss": 0.6461512757952854,
+ "rf_loss": 4.9326707085128874e-05,
+ "total_loss": 0.6466445428806886,
+ "lyap1_mean": 0.013925845734775066,
+ "lyap1_max": 0.048337653279304504,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 373,
+ "sup_loss": 0.46168381406094056,
+ "rf_loss": 1.502836948930053e-05,
+ "total_loss": 0.46183409775765255,
+ "lyap1_mean": -0.0036096875555813313,
+ "lyap1_max": 0.04096480458974838,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 374,
+ "sup_loss": 0.6120711085967023,
+ "rf_loss": 0.0004938579513691366,
+ "total_loss": 0.617009688226809,
+ "lyap1_mean": 0.029010726138949394,
+ "lyap1_max": 0.0799483209848404,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 375,
+ "sup_loss": 0.5533149909685269,
+ "rf_loss": 0.0008413324248977005,
+ "total_loss": 0.5617283151010886,
+ "lyap1_mean": 0.035331226885318756,
+ "lyap1_max": 0.092137411236763,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 376,
+ "sup_loss": 0.5388995469665854,
+ "rf_loss": 0.0002705430088099092,
+ "total_loss": 0.5416049771128921,
+ "lyap1_mean": 0.024941299110651016,
+ "lyap1_max": 0.07242417335510254,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 377,
+ "sup_loss": 0.5368109622852536,
+ "rf_loss": 0.00022242448176257312,
+ "total_loss": 0.539035207161087,
+ "lyap1_mean": 0.026552993804216385,
+ "lyap1_max": 0.06383909285068512,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 378,
+ "sup_loss": 0.5382299258578773,
+ "rf_loss": 2.5772340450203046e-05,
+ "total_loss": 0.5384876492696553,
+ "lyap1_mean": 0.0008815210894681513,
+ "lyap1_max": 0.04435892403125763,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 379,
+ "sup_loss": 0.4638468323929632,
+ "rf_loss": 0.00019855076970998198,
+ "total_loss": 0.4658323401773745,
+ "lyap1_mean": 0.014976473525166512,
+ "lyap1_max": 0.06981558352708817,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 380,
+ "sup_loss": 0.5415999881242265,
+ "rf_loss": 0.0011190930381417274,
+ "total_loss": 0.5527909185056438,
+ "lyap1_mean": 0.04110205918550491,
+ "lyap1_max": 0.10457519441843033,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 381,
+ "sup_loss": 0.6274860458991552,
+ "rf_loss": 0.0004309082869440317,
+ "total_loss": 0.6317951287685956,
+ "lyap1_mean": 0.02282787673175335,
+ "lyap1_max": 0.08243581652641296,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 382,
+ "sup_loss": 0.6763384910771456,
+ "rf_loss": 0.00015525409253314137,
+ "total_loss": 0.677891032002477,
+ "lyap1_mean": 0.03308606892824173,
+ "lyap1_max": 0.05212356522679329,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 383,
+ "sup_loss": 0.48162675579938485,
+ "rf_loss": 0.000685678911395371,
+ "total_loss": 0.4884835446805079,
+ "lyap1_mean": 0.018997693434357643,
+ "lyap1_max": 0.09392581135034561,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 384,
+ "sup_loss": 0.5130847000692471,
+ "rf_loss": 8.72466916916892e-05,
+ "total_loss": 0.5139571670152678,
+ "lyap1_mean": 0.019951993599534035,
+ "lyap1_max": 0.04842988774180412,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 385,
+ "sup_loss": 0.5188533867381955,
+ "rf_loss": 0.0,
+ "total_loss": 0.5188533867381955,
+ "lyap1_mean": -0.002797479275614023,
+ "lyap1_max": 0.021434299647808075,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 386,
+ "sup_loss": 0.4420105183990147,
+ "rf_loss": 0.0001887024409370497,
+ "total_loss": 0.44389754277928134,
+ "lyap1_mean": 0.009054269641637802,
+ "lyap1_max": 0.0669536143541336,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 387,
+ "sup_loss": 0.6432682256487595,
+ "rf_loss": 0.0002734714653342962,
+ "total_loss": 0.6460029403021025,
+ "lyap1_mean": 0.028131848201155663,
+ "lyap1_max": 0.059440840035676956,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 388,
+ "sup_loss": 0.6392226301062598,
+ "rf_loss": 0.00029117424855940044,
+ "total_loss": 0.6421343726500615,
+ "lyap1_mean": 0.017803870141506195,
+ "lyap1_max": 0.06646071374416351,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 389,
+ "sup_loss": 0.4800831757338607,
+ "rf_loss": 0.000709179847035557,
+ "total_loss": 0.48717497408780097,
+ "lyap1_mean": 0.022223230451345444,
+ "lyap1_max": 0.09999813884496689,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 390,
+ "sup_loss": 0.516938387188412,
+ "rf_loss": 0.0004162127152085304,
+ "total_loss": 0.5211005143404973,
+ "lyap1_mean": 0.015295678749680519,
+ "lyap1_max": 0.07590232789516449,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 391,
+ "sup_loss": 0.5506986937605456,
+ "rf_loss": 0.0004224360454827547,
+ "total_loss": 0.5549230542153731,
+ "lyap1_mean": 0.026360182091593742,
+ "lyap1_max": 0.06798774749040604,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 392,
+ "sup_loss": 0.6662766892933127,
+ "rf_loss": 0.0003671359736472368,
+ "total_loss": 0.6699480490297851,
+ "lyap1_mean": 0.03346332535147667,
+ "lyap1_max": 0.07248823344707489,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 393,
+ "sup_loss": 0.7196661297836194,
+ "rf_loss": 3.521709732012823e-05,
+ "total_loss": 0.7200183007422688,
+ "lyap1_mean": 0.0179273784160614,
+ "lyap1_max": 0.04438784718513489,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 394,
+ "sup_loss": 0.6140751216671548,
+ "rf_loss": 0.0006272428436204791,
+ "total_loss": 0.6203475503361903,
+ "lyap1_mean": 0.03603920713067055,
+ "lyap1_max": 0.08071593940258026,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 395,
+ "sup_loss": 0.6585015130368032,
+ "rf_loss": 0.0007399849710054696,
+ "total_loss": 0.6659013626304425,
+ "lyap1_mean": 0.03689183294773102,
+ "lyap1_max": 0.08411719650030136,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 396,
+ "sup_loss": 0.5049347915071845,
+ "rf_loss": 0.0010744624305516481,
+ "total_loss": 0.5156794153470396,
+ "lyap1_mean": 0.03292926773428917,
+ "lyap1_max": 0.11362484842538834,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 397,
+ "sup_loss": 0.42765118500439664,
+ "rf_loss": 0.00012754015915561467,
+ "total_loss": 0.42892658656684896,
+ "lyap1_mean": 0.009217276237905025,
+ "lyap1_max": 0.058177173137664795,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 398,
+ "sup_loss": 0.5887994885475498,
+ "rf_loss": 0.0003882950986735523,
+ "total_loss": 0.5926824396507007,
+ "lyap1_mean": 0.0414978489279747,
+ "lyap1_max": 0.0671430304646492,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 399,
+ "sup_loss": 0.5465375680809267,
+ "rf_loss": 0.00044070431613363326,
+ "total_loss": 0.5509446111840554,
+ "lyap1_mean": 0.0266062393784523,
+ "lyap1_max": 0.085753433406353,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 400,
+ "sup_loss": 0.5708505040561574,
+ "rf_loss": 1.5752653780509718e-05,
+ "total_loss": 0.5710080305903246,
+ "lyap1_mean": -0.0016888831742107868,
+ "lyap1_max": 0.040464576333761215,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 401,
+ "sup_loss": 0.5421704875533608,
+ "rf_loss": 0.00027999066514894366,
+ "total_loss": 0.5449703943212656,
+ "lyap1_mean": 0.02361290529370308,
+ "lyap1_max": 0.06869034469127655,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 402,
+ "sup_loss": 0.6335308399115008,
+ "rf_loss": 0.0002752755244728178,
+ "total_loss": 0.6362835952144367,
+ "lyap1_mean": 0.03404530882835388,
+ "lyap1_max": 0.06859011203050613,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 403,
+ "sup_loss": 0.5933157633749286,
+ "rf_loss": 0.00024195242440328002,
+ "total_loss": 0.5957352877353768,
+ "lyap1_mean": 0.01921127364039421,
+ "lyap1_max": 0.06147089600563049,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 404,
+ "sup_loss": 0.4290200611158279,
+ "rf_loss": 0.00017629365902394056,
+ "total_loss": 0.4307829977060673,
+ "lyap1_mean": 0.000783529132604599,
+ "lyap1_max": 0.06715753674507141,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 405,
+ "sup_loss": 0.7009038369430152,
+ "rf_loss": 9.013980161398649e-05,
+ "total_loss": 0.701805234959155,
+ "lyap1_mean": 0.016478778794407845,
+ "lyap1_max": 0.05639847740530968,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 406,
+ "sup_loss": 0.7242421058211919,
+ "rf_loss": 6.308597221504897e-05,
+ "total_loss": 0.7248729655724462,
+ "lyap1_mean": 0.013850042596459389,
+ "lyap1_max": 0.04878838360309601,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 407,
+ "sup_loss": 0.5472202537305875,
+ "rf_loss": 0.00016774318646639585,
+ "total_loss": 0.5488976855952514,
+ "lyap1_mean": 0.014174597337841988,
+ "lyap1_max": 0.05599987506866455,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 408,
+ "sup_loss": 0.4875921149362936,
+ "rf_loss": 4.150628228671849e-05,
+ "total_loss": 0.4880071777591608,
+ "lyap1_mean": 0.00660659046843648,
+ "lyap1_max": 0.04341573640704155,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 409,
+ "sup_loss": 0.7271938148569499,
+ "rf_loss": 7.378096779575571e-05,
+ "total_loss": 0.7279316245494594,
+ "lyap1_mean": 0.021492034196853638,
+ "lyap1_max": 0.047258950769901276,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 410,
+ "sup_loss": 0.5810865921186059,
+ "rf_loss": 0.0006478744326159358,
+ "total_loss": 0.5875653366775959,
+ "lyap1_mean": 0.032200492918491364,
+ "lyap1_max": 0.0872977003455162,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 411,
+ "sup_loss": 0.5741614640484907,
+ "rf_loss": 0.0006043947651050985,
+ "total_loss": 0.580205411815957,
+ "lyap1_mean": 0.03340380638837814,
+ "lyap1_max": 0.08589614927768707,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 412,
+ "sup_loss": 0.6725188923420268,
+ "rf_loss": 0.00015421959687955678,
+ "total_loss": 0.6740610882526147,
+ "lyap1_mean": 0.02830834500491619,
+ "lyap1_max": 0.05285090580582619,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 413,
+ "sup_loss": 0.5718818341188383,
+ "rf_loss": 5.10747850057669e-05,
+ "total_loss": 0.5723925819543441,
+ "lyap1_mean": 0.008973382413387299,
+ "lyap1_max": 0.04824487864971161,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 414,
+ "sup_loss": 0.6293608399969806,
+ "rf_loss": 0.00010400745668448508,
+ "total_loss": 0.6304009145056177,
+ "lyap1_mean": 0.02826227992773056,
+ "lyap1_max": 0.05186651647090912,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 415,
+ "sup_loss": 0.49495008947938174,
+ "rf_loss": 8.916789511204115e-07,
+ "total_loss": 0.4949590062691203,
+ "lyap1_mean": -0.0020251329988241196,
+ "lyap1_max": 0.03234878554940224,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 416,
+ "sup_loss": 0.6180908053386961,
+ "rf_loss": 0.0003565152292139828,
+ "total_loss": 0.6216559575144206,
+ "lyap1_mean": 0.036614298820495605,
+ "lyap1_max": 0.07098396867513657,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 417,
+ "sup_loss": 0.7188963255020273,
+ "rf_loss": 0.00019001643522642553,
+ "total_loss": 0.7207964899124992,
+ "lyap1_mean": 0.030063480138778687,
+ "lyap1_max": 0.05514542758464813,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 418,
+ "sup_loss": 0.47045129745399417,
+ "rf_loss": 7.018944870651467e-06,
+ "total_loss": 0.4705214868999722,
+ "lyap1_mean": -0.0014782799407839775,
+ "lyap1_max": 0.03749343380331993,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 419,
+ "sup_loss": 0.6203201546064432,
+ "rf_loss": 0.0001194869473692961,
+ "total_loss": 0.6215150241237919,
+ "lyap1_mean": 0.022641463205218315,
+ "lyap1_max": 0.05710839107632637,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 420,
+ "sup_loss": 0.563368502674105,
+ "rf_loss": 0.00011521017586346716,
+ "total_loss": 0.5645206044618435,
+ "lyap1_mean": 0.007733297999948263,
+ "lyap1_max": 0.060359206050634384,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 421,
+ "sup_loss": 0.5871858752533798,
+ "rf_loss": 3.707193536683917e-05,
+ "total_loss": 0.5875565946070482,
+ "lyap1_mean": 0.005447993986308575,
+ "lyap1_max": 0.04722136631608009,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 422,
+ "sup_loss": 0.5141825805598139,
+ "rf_loss": 0.00013657112140208483,
+ "total_loss": 0.5155482917738348,
+ "lyap1_mean": 0.019655702635645866,
+ "lyap1_max": 0.052529603242874146,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 423,
+ "sup_loss": 0.6235371984653255,
+ "rf_loss": 0.000532924139406532,
+ "total_loss": 0.6288664399758062,
+ "lyap1_mean": 0.04005201905965805,
+ "lyap1_max": 0.0715787336230278,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 424,
+ "sup_loss": 0.620226443931834,
+ "rf_loss": 0.0002519114932511002,
+ "total_loss": 0.6227455588061374,
+ "lyap1_mean": 0.028455562889575958,
+ "lyap1_max": 0.060109008103609085,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 425,
+ "sup_loss": 0.4445417720462805,
+ "rf_loss": 0.0007165096467360854,
+ "total_loss": 0.451706868746472,
+ "lyap1_mean": 0.023860270157456398,
+ "lyap1_max": 0.08038889616727829,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 426,
+ "sup_loss": 0.5240388452270485,
+ "rf_loss": 0.00011658814764814451,
+ "total_loss": 0.5252047267471857,
+ "lyap1_mean": 0.013905320316553116,
+ "lyap1_max": 0.05761178582906723,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 427,
+ "sup_loss": 0.6976976004060143,
+ "rf_loss": 0.000448885140940547,
+ "total_loss": 0.7021864518154197,
+ "lyap1_mean": 0.040450967848300934,
+ "lyap1_max": 0.0791197121143341,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 428,
+ "sup_loss": 0.5400787215470727,
+ "rf_loss": 0.0001400690816808492,
+ "total_loss": 0.5414794123056735,
+ "lyap1_mean": 0.02038499526679516,
+ "lyap1_max": 0.05374128744006157,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 429,
+ "sup_loss": 0.7073944090197575,
+ "rf_loss": 0.0009865649044513702,
+ "total_loss": 0.7172600580642712,
+ "lyap1_mean": 0.044756509363651276,
+ "lyap1_max": 0.10869186371564865,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 430,
+ "sup_loss": 0.6617082718245422,
+ "rf_loss": 0.0005488754832185805,
+ "total_loss": 0.6671970265403127,
+ "lyap1_mean": 0.040610797703266144,
+ "lyap1_max": 0.08855216205120087,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 431,
+ "sup_loss": 0.6358792050598058,
+ "rf_loss": 0.0008482766570523381,
+ "total_loss": 0.6443619713974985,
+ "lyap1_mean": 0.04840455204248428,
+ "lyap1_max": 0.09774738550186157,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 432,
+ "sup_loss": 0.4824673003077342,
+ "rf_loss": 0.0002431950269965455,
+ "total_loss": 0.4848992506068035,
+ "lyap1_mean": 0.01996593549847603,
+ "lyap1_max": 0.061162762343883514,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 433,
+ "sup_loss": 0.7582544803730776,
+ "rf_loss": 0.0007965494296513498,
+ "total_loss": 0.7662199743203452,
+ "lyap1_mean": 0.046668387949466705,
+ "lyap1_max": 0.07467063516378403,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 434,
+ "sup_loss": 0.46115468026960443,
+ "rf_loss": 3.205781467841007e-05,
+ "total_loss": 0.4614752584091126,
+ "lyap1_mean": 0.00528222881257534,
+ "lyap1_max": 0.045848485082387924,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 435,
+ "sup_loss": 0.7115028075791986,
+ "rf_loss": 0.00030729034915566444,
+ "total_loss": 0.7145757110707552,
+ "lyap1_mean": 0.035420890897512436,
+ "lyap1_max": 0.0646292194724083,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 436,
+ "sup_loss": 0.5327385482531485,
+ "rf_loss": 3.0125020202831365e-06,
+ "total_loss": 0.5327686732733513,
+ "lyap1_mean": 0.013379856012761593,
+ "lyap1_max": 0.033552538603544235,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 437,
+ "sup_loss": 0.5642517065393746,
+ "rf_loss": 9.86857799034624e-07,
+ "total_loss": 0.5642615751171376,
+ "lyap1_mean": 0.013531992211937904,
+ "lyap1_max": 0.032809779047966,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 438,
+ "sup_loss": 0.5415007792052917,
+ "rf_loss": 0.0005564674502238631,
+ "total_loss": 0.547065453940361,
+ "lyap1_mean": 0.03364681825041771,
+ "lyap1_max": 0.0790703147649765,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 439,
+ "sup_loss": 0.6616681247107411,
+ "rf_loss": 0.00032291116076521575,
+ "total_loss": 0.6648972363766009,
+ "lyap1_mean": 0.027190830558538437,
+ "lyap1_max": 0.07883477210998535,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 440,
+ "sup_loss": 0.7169564675542514,
+ "rf_loss": 0.0002269294491270557,
+ "total_loss": 0.7192257621328334,
+ "lyap1_mean": 0.02928750403225422,
+ "lyap1_max": 0.06730964779853821,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 441,
+ "sup_loss": 0.531735093078563,
+ "rf_loss": 0.0004944984684698284,
+ "total_loss": 0.5366800778796766,
+ "lyap1_mean": 0.010100574232637882,
+ "lyap1_max": 0.09287498891353607,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 442,
+ "sup_loss": 0.6223071412065252,
+ "rf_loss": 0.00027718296041712165,
+ "total_loss": 0.6250789709271117,
+ "lyap1_mean": 0.03213737905025482,
+ "lyap1_max": 0.06713725626468658,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 443,
+ "sup_loss": 0.6918434872978672,
+ "rf_loss": 0.0009725866257213056,
+ "total_loss": 0.7015693532058342,
+ "lyap1_mean": 0.041952311992645264,
+ "lyap1_max": 0.09421627223491669,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 444,
+ "sup_loss": 0.6229184363394445,
+ "rf_loss": 0.00021119930897839367,
+ "total_loss": 0.6250304293710208,
+ "lyap1_mean": 0.026700925081968307,
+ "lyap1_max": 0.07102494686841965,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 445,
+ "sup_loss": 0.630209151329473,
+ "rf_loss": 0.0003342430863995105,
+ "total_loss": 0.6335515821352604,
+ "lyap1_mean": 0.031263209879398346,
+ "lyap1_max": 0.07151675224304199,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 446,
+ "sup_loss": 0.6830307212761693,
+ "rf_loss": 0.0001968792057596147,
+ "total_loss": 0.6849995134501807,
+ "lyap1_mean": 0.0388362742960453,
+ "lyap1_max": 0.054946497082710266,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 447,
+ "sup_loss": 0.4764147119785952,
+ "rf_loss": 0.0006647881236858666,
+ "total_loss": 0.48306259309903854,
+ "lyap1_mean": 0.018218886107206345,
+ "lyap1_max": 0.08066671341657639,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 448,
+ "sup_loss": 0.7035911611009338,
+ "rf_loss": 0.0005735415033996105,
+ "total_loss": 0.7093265761349299,
+ "lyap1_mean": 0.0385291650891304,
+ "lyap1_max": 0.08062119036912918,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 449,
+ "sup_loss": 0.6460877782223817,
+ "rf_loss": 0.00012473820243030787,
+ "total_loss": 0.6473351602466848,
+ "lyap1_mean": 0.019960347563028336,
+ "lyap1_max": 0.05936940014362335,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 450,
+ "sup_loss": 0.5921023055405435,
+ "rf_loss": 0.0006825096206739545,
+ "total_loss": 0.5989274015144525,
+ "lyap1_mean": 0.03407991677522659,
+ "lyap1_max": 0.0898323804140091,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 451,
+ "sup_loss": 0.66661314074639,
+ "rf_loss": 0.00017109961481764913,
+ "total_loss": 0.6683241368945665,
+ "lyap1_mean": 0.03309916704893112,
+ "lyap1_max": 0.057941459119319916,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 452,
+ "sup_loss": 0.526346978360038,
+ "rf_loss": 9.089035302167758e-05,
+ "total_loss": 0.5272558819048067,
+ "lyap1_mean": 0.00513105932623148,
+ "lyap1_max": 0.0561351403594017,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 453,
+ "sup_loss": 0.6158023054008922,
+ "rf_loss": 4.630234980140813e-05,
+ "total_loss": 0.6162653288916303,
+ "lyap1_mean": 0.016954666003584862,
+ "lyap1_max": 0.04850827530026436,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 454,
+ "sup_loss": 0.6194183067060961,
+ "rf_loss": 0.00039375529740937054,
+ "total_loss": 0.6233558598548128,
+ "lyap1_mean": 0.03188374638557434,
+ "lyap1_max": 0.07126829028129578,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 455,
+ "sup_loss": 0.5628817647177503,
+ "rf_loss": 0.0004866975941695273,
+ "total_loss": 0.5677487405430303,
+ "lyap1_mean": 0.03602994978427887,
+ "lyap1_max": 0.0651678740978241,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 456,
+ "sup_loss": 0.4719006030694618,
+ "rf_loss": 0.00016271715867333114,
+ "total_loss": 0.47352777471440277,
+ "lyap1_mean": 0.014415579847991467,
+ "lyap1_max": 0.05569079518318176,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 457,
+ "sup_loss": 0.5359905806996701,
+ "rf_loss": 0.0007832172559574246,
+ "total_loss": 0.5438227530264137,
+ "lyap1_mean": 0.03145251423120499,
+ "lyap1_max": 0.08454158157110214,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 458,
+ "sup_loss": 0.5496454007907956,
+ "rf_loss": 0.0004583318659570068,
+ "total_loss": 0.5542287195085733,
+ "lyap1_mean": 0.040622055530548096,
+ "lyap1_max": 0.07398149371147156,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 459,
+ "sup_loss": 0.6515366395585552,
+ "rf_loss": 0.0007294635870493948,
+ "total_loss": 0.6588312753126339,
+ "lyap1_mean": 0.041993122547864914,
+ "lyap1_max": 0.08965960144996643,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 460,
+ "sup_loss": 0.6033712847997921,
+ "rf_loss": 0.0011004642583429813,
+ "total_loss": 0.6143759273832219,
+ "lyap1_mean": 0.04265121743083,
+ "lyap1_max": 0.10087310522794724,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 461,
+ "sup_loss": 0.7035405893539729,
+ "rf_loss": 0.00013484136434271932,
+ "total_loss": 0.7048890029974001,
+ "lyap1_mean": 0.03234799951314926,
+ "lyap1_max": 0.06056893989443779,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 462,
+ "sup_loss": 0.6903974376219592,
+ "rf_loss": 0.00031898653833195567,
+ "total_loss": 0.693587303121694,
+ "lyap1_mean": 0.0350218266248703,
+ "lyap1_max": 0.05961363762617111,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 463,
+ "sup_loss": 0.7214136700341367,
+ "rf_loss": 0.00016824423801153898,
+ "total_loss": 0.7230961124142521,
+ "lyap1_mean": 0.03201271966099739,
+ "lyap1_max": 0.058933768421411514,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 464,
+ "sup_loss": 0.6376708192154574,
+ "rf_loss": 0.00044809028622694314,
+ "total_loss": 0.6421517222523498,
+ "lyap1_mean": 0.0381489060819149,
+ "lyap1_max": 0.0774744525551796,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 465,
+ "sup_loss": 0.6574207578747826,
+ "rf_loss": 0.0003332171181682497,
+ "total_loss": 0.6607529289982574,
+ "lyap1_mean": 0.04029135778546333,
+ "lyap1_max": 0.06432963907718658,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 466,
+ "sup_loss": 0.5498246576728736,
+ "rf_loss": 0.0001819370372686535,
+ "total_loss": 0.5516440279873525,
+ "lyap1_mean": 0.02269625850021839,
+ "lyap1_max": 0.06159985810518265,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 467,
+ "sup_loss": 0.4989532369494697,
+ "rf_loss": 0.00042898586252704263,
+ "total_loss": 0.5032430954583248,
+ "lyap1_mean": 0.03048991784453392,
+ "lyap1_max": 0.07411149144172668,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 468,
+ "sup_loss": 0.6919758323690144,
+ "rf_loss": 0.001477818819694221,
+ "total_loss": 0.7067540207987872,
+ "lyap1_mean": 0.0587376244366169,
+ "lyap1_max": 0.10021506249904633,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 469,
+ "sup_loss": 0.6429419994499892,
+ "rf_loss": 0.00032126010046340525,
+ "total_loss": 0.6461546003964156,
+ "lyap1_mean": 0.0387725755572319,
+ "lyap1_max": 0.0735342875123024,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 470,
+ "sup_loss": 0.5871161964040904,
+ "rf_loss": 0.0006020876462571323,
+ "total_loss": 0.593137072983077,
+ "lyap1_mean": 0.03183690458536148,
+ "lyap1_max": 0.09239707142114639,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 471,
+ "sup_loss": 0.6601719307641742,
+ "rf_loss": 9.667174890637398e-05,
+ "total_loss": 0.661138648253238,
+ "lyap1_mean": 0.031469568610191345,
+ "lyap1_max": 0.05443227291107178,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 472,
+ "sup_loss": 0.5421480988936078,
+ "rf_loss": 0.0005913949571549892,
+ "total_loss": 0.5480620484651577,
+ "lyap1_mean": 0.034309811890125275,
+ "lyap1_max": 0.07725279033184052,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 473,
+ "sup_loss": 0.4681888032443701,
+ "rf_loss": 0.00031554719316773117,
+ "total_loss": 0.4713442752342551,
+ "lyap1_mean": 0.021665126085281372,
+ "lyap1_max": 0.07384120672941208,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 474,
+ "sup_loss": 0.6927614343828686,
+ "rf_loss": 0.0001700091961538419,
+ "total_loss": 0.6944615263735109,
+ "lyap1_mean": 0.015488974750041962,
+ "lyap1_max": 0.06429533660411835,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 475,
+ "sup_loss": 0.7356738908590841,
+ "rf_loss": 0.0002373637689743191,
+ "total_loss": 0.7380475284906196,
+ "lyap1_mean": 0.04018054157495499,
+ "lyap1_max": 0.05399353429675102,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 476,
+ "sup_loss": 0.8033411064253622,
+ "rf_loss": 0.00014918178203515708,
+ "total_loss": 0.8048329243039214,
+ "lyap1_mean": 0.017336387187242508,
+ "lyap1_max": 0.06374034285545349,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 477,
+ "sup_loss": 0.5550071167056773,
+ "rf_loss": 0.0007042890065349638,
+ "total_loss": 0.5620500066546116,
+ "lyap1_mean": 0.03298459202051163,
+ "lyap1_max": 0.09040758013725281,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 478,
+ "sup_loss": 0.6096666491800469,
+ "rf_loss": 0.0005345743848010898,
+ "total_loss": 0.6150123932608884,
+ "lyap1_mean": 0.04090174287557602,
+ "lyap1_max": 0.07543125003576279,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 479,
+ "sup_loss": 0.5712813919904984,
+ "rf_loss": 0.0004645374428946525,
+ "total_loss": 0.5759267665940679,
+ "lyap1_mean": 0.0356973260641098,
+ "lyap1_max": 0.07706303149461746,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 480,
+ "sup_loss": 0.5789584474979734,
+ "rf_loss": 0.00011490351607790217,
+ "total_loss": 0.5801074826733044,
+ "lyap1_mean": 0.025813650339841843,
+ "lyap1_max": 0.054150719195604324,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 481,
+ "sup_loss": 0.5861095012560645,
+ "rf_loss": 0.00043549531255848706,
+ "total_loss": 0.5904644545562724,
+ "lyap1_mean": 0.03541621193289757,
+ "lyap1_max": 0.08071638643741608,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 482,
+ "sup_loss": 0.6696656243262911,
+ "rf_loss": 0.0001575548085384071,
+ "total_loss": 0.6712411724116751,
+ "lyap1_mean": 0.03514166176319122,
+ "lyap1_max": 0.052660927176475525,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 483,
+ "sup_loss": 0.7018939724444656,
+ "rf_loss": 0.0006012892699800432,
+ "total_loss": 0.7079068652606814,
+ "lyap1_mean": 0.027003947645425797,
+ "lyap1_max": 0.08644513785839081,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 484,
+ "sup_loss": 0.556986096058591,
+ "rf_loss": 0.00034264763235114515,
+ "total_loss": 0.5604125724403101,
+ "lyap1_mean": 0.021765897050499916,
+ "lyap1_max": 0.07739542424678802,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 485,
+ "sup_loss": 0.6525258308954972,
+ "rf_loss": 1.6392752513638698e-05,
+ "total_loss": 0.6526897584242716,
+ "lyap1_mean": 0.017811361700296402,
+ "lyap1_max": 0.03964482247829437,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 486,
+ "sup_loss": 0.7138687876048542,
+ "rf_loss": 0.00038736267015337944,
+ "total_loss": 0.717742414306388,
+ "lyap1_mean": 0.035487834364175797,
+ "lyap1_max": 0.06995195150375366,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 487,
+ "sup_loss": 0.5290751500019159,
+ "rf_loss": 0.00018108647782355547,
+ "total_loss": 0.5308860147801514,
+ "lyap1_mean": 0.023222696036100388,
+ "lyap1_max": 0.06252540647983551,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 488,
+ "sup_loss": 0.620371102779401,
+ "rf_loss": 0.0005591327208094299,
+ "total_loss": 0.6259624301039106,
+ "lyap1_mean": 0.03379550576210022,
+ "lyap1_max": 0.08737050741910934,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 489,
+ "sup_loss": 0.5562750498765838,
+ "rf_loss": 0.0005200936575420201,
+ "total_loss": 0.5614759863355887,
+ "lyap1_mean": 0.04066607728600502,
+ "lyap1_max": 0.07285752892494202,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 490,
+ "sup_loss": 0.5108708237823307,
+ "rf_loss": 0.00013314452371560037,
+ "total_loss": 0.5122022690776944,
+ "lyap1_mean": 0.02323920838534832,
+ "lyap1_max": 0.05698056519031525,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 491,
+ "sup_loss": 0.5164014248496559,
+ "rf_loss": 0.0006380879785865545,
+ "total_loss": 0.5227823046355214,
+ "lyap1_mean": 0.027585916221141815,
+ "lyap1_max": 0.07222108542919159,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 492,
+ "sup_loss": 0.6138277689262612,
+ "rf_loss": 0.00034739114926196635,
+ "total_loss": 0.6173016803606732,
+ "lyap1_mean": 0.023717161267995834,
+ "lyap1_max": 0.07735511660575867,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 493,
+ "sup_loss": 0.5809350325313515,
+ "rf_loss": 0.0004500634386204183,
+ "total_loss": 0.585435667033971,
+ "lyap1_mean": 0.02471628040075302,
+ "lyap1_max": 0.07161567360162735,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 494,
+ "sup_loss": 0.8156576827201166,
+ "rf_loss": 0.0005040083779022098,
+ "total_loss": 0.8206977667319694,
+ "lyap1_mean": 0.042509566992521286,
+ "lyap1_max": 0.07813603430986404,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 495,
+ "sup_loss": 0.7098614428718344,
+ "rf_loss": 0.00028096087044104934,
+ "total_loss": 0.7126710516926602,
+ "lyap1_mean": 0.03532080352306366,
+ "lyap1_max": 0.07299858331680298,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 496,
+ "sup_loss": 0.5729928418460016,
+ "rf_loss": 0.0002649099915288389,
+ "total_loss": 0.5756419418777053,
+ "lyap1_mean": 0.03436214104294777,
+ "lyap1_max": 0.06335893273353577,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 497,
+ "sup_loss": 0.6490960229021158,
+ "rf_loss": 0.0008440582314506173,
+ "total_loss": 0.6575366049837913,
+ "lyap1_mean": 0.04995863139629364,
+ "lyap1_max": 0.08541452139616013,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 498,
+ "sup_loss": 0.6641021613420274,
+ "rf_loss": 0.00024423981085419655,
+ "total_loss": 0.6665445594505693,
+ "lyap1_mean": 0.030519913882017136,
+ "lyap1_max": 0.0635128766298294,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 499,
+ "sup_loss": 0.5569681006662288,
+ "rf_loss": 0.0005088443867862225,
+ "total_loss": 0.562056544534091,
+ "lyap1_mean": 0.03783820942044258,
+ "lyap1_max": 0.0710618793964386,
+ "frac_above_star": 0.625
+ }
+ ],
+ "evals": [
+ {
+ "step": 0,
+ "acc": 0.59765625,
+ "tok_acc": 0.8614245756172839
+ },
+ {
+ "step": 100,
+ "acc": 0.5234375,
+ "tok_acc": 0.8365162037037037
+ },
+ {
+ "step": 200,
+ "acc": 0.55859375,
+ "tok_acc": 0.8465470679012346
+ },
+ {
+ "step": 300,
+ "acc": 0.560546875,
+ "tok_acc": 0.8477285879629629
+ },
+ {
+ "step": 400,
+ "acc": 0.55859375,
+ "tok_acc": 0.8453414351851852
+ },
+ {
+ "step": 500,
+ "acc": 0.56640625,
+ "tok_acc": 0.8452690972222222
+ },
+ {
+ "step": 500,
+ "acc": 0.56640625,
+ "tok_acc": 0.8452690972222222
+ }
+ ],
+ "final_acc": 0.56640625,
+ "final_tok_acc": 0.8452690972222222
+} \ No newline at end of file
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-14 02:18:25 +0000