summaryrefslogtreecommitdiff
path: root/research/flossing/step5_A_trm_step_26041_alpha10_lstar0.json
diff options
context:
space:
mode:
authorYurenHao0426 <blackhao0426@gmail.com>2026-06-13 12:35:36 -0500
committerYurenHao0426 <blackhao0426@gmail.com>2026-06-13 12:35:36 -0500
commit66e0d8b9fd4d0f7a2231d689c055e26fdf1cf04a (patch)
treec29cba61124018755a19b02c9d33e3ad5f2e05cc /research/flossing/step5_A_trm_step_26041_alpha10_lstar0.json
rrm workspace: TRM/HRM/SRM code, Maze dataset, dynamical-analysis pipelineHEADmain
Curated export for clone-and-run Maze training (2x A6000) + diagnostics. trm/hrm pretrain.py carry trajectory-augmentation code (backward-compatible). Heavy artifacts (checkpoints/wandb/npz) gitignored; see PROVENANCE.md. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Diffstat (limited to 'research/flossing/step5_A_trm_step_26041_alpha10_lstar0.json')
-rw-r--r--research/flossing/step5_A_trm_step_26041_alpha10_lstar0.json4562
1 files changed, 4562 insertions, 0 deletions
diff --git a/research/flossing/step5_A_trm_step_26041_alpha10_lstar0.json b/research/flossing/step5_A_trm_step_26041_alpha10_lstar0.json
new file mode 100644
index 0000000..c4c163c
--- /dev/null
+++ b/research/flossing/step5_A_trm_step_26041_alpha10_lstar0.json
@@ -0,0 +1,4562 @@
+{
+ "args": {
+ "ckpt_root": "/home/yurenh2/rrm/trm/checkpoints/Sudoku-extreme-1k-aug-1000-ACT-torch/pretrain_mlp_t_sudoku_singleGPU",
+ "ckpt_name": "step_26041",
+ "n_steps": 500,
+ "batch_size": 8,
+ "lr": 1e-05,
+ "alpha_rf": 10.0,
+ "lambda_star": 0.0,
+ "rf_mode": "fixed",
+ "k_lyap": 2,
+ "lyap_act_steps": 4,
+ "seed": 42,
+ "eval_every": 100,
+ "eval_n": 512,
+ "eval_batch_size": 32,
+ "out": "step5_A_trm_step_26041_alpha10_lstar0.json"
+ },
+ "initial_acc": 0.59765625,
+ "initial_tok_acc": 0.8614245756172839,
+ "steps": [
+ {
+ "step": 0,
+ "sup_loss": 0.4200880796459303,
+ "rf_loss": 0.001729956129565835,
+ "total_loss": 0.4373876404759274,
+ "lyap1_mean": 0.010343756526708603,
+ "lyap1_max": 0.0999058187007904,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 1,
+ "sup_loss": 0.4708239067243759,
+ "rf_loss": 0.0017912609037011862,
+ "total_loss": 0.48873651622704906,
+ "lyap1_mean": 0.02448781579732895,
+ "lyap1_max": 0.07040666788816452,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 2,
+ "sup_loss": 0.531571809342295,
+ "rf_loss": 0.0034917688462883234,
+ "total_loss": 0.5664894992021621,
+ "lyap1_mean": 0.04117874056100845,
+ "lyap1_max": 0.09563731402158737,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 3,
+ "sup_loss": 0.48795294203516165,
+ "rf_loss": 0.0010920666391029954,
+ "total_loss": 0.49887360819336096,
+ "lyap1_mean": 0.007600013632327318,
+ "lyap1_max": 0.05856391414999962,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 4,
+ "sup_loss": 0.479165234940747,
+ "rf_loss": 0.0015446136239916086,
+ "total_loss": 0.4946113707150018,
+ "lyap1_mean": 0.017111754044890404,
+ "lyap1_max": 0.08750858902931213,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 5,
+ "sup_loss": 0.542538129626865,
+ "rf_loss": 0.001757847610861063,
+ "total_loss": 0.560116604804153,
+ "lyap1_mean": 0.022231172770261765,
+ "lyap1_max": 0.08631641417741776,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 6,
+ "sup_loss": 0.45756719400528634,
+ "rf_loss": 0.0017294608987867832,
+ "total_loss": 0.4748618020618316,
+ "lyap1_mean": 0.025183795019984245,
+ "lyap1_max": 0.07898154854774475,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 7,
+ "sup_loss": 0.5628688867038651,
+ "rf_loss": 0.003701073583215475,
+ "total_loss": 0.5998796234673425,
+ "lyap1_mean": 0.058229073882102966,
+ "lyap1_max": 0.08262952417135239,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 8,
+ "sup_loss": 0.5940616114186337,
+ "rf_loss": 0.0023195932153612375,
+ "total_loss": 0.6172575431065848,
+ "lyap1_mean": 0.03329245001077652,
+ "lyap1_max": 0.1034175455570221,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 9,
+ "sup_loss": 0.5432198018469764,
+ "rf_loss": 0.0008653919212520123,
+ "total_loss": 0.5518737210594965,
+ "lyap1_mean": 0.015954483300447464,
+ "lyap1_max": 0.04740382358431816,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 10,
+ "sup_loss": 0.5707485892067683,
+ "rf_loss": 0.0025098121259361506,
+ "total_loss": 0.5958467100004685,
+ "lyap1_mean": 0.034608565270900726,
+ "lyap1_max": 0.08658845722675323,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 11,
+ "sup_loss": 0.6062890360418446,
+ "rf_loss": 0.0019940806087106466,
+ "total_loss": 0.6262298425946123,
+ "lyap1_mean": 0.029452210292220116,
+ "lyap1_max": 0.07439626753330231,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 12,
+ "sup_loss": 0.4850529798377446,
+ "rf_loss": 0.003391585312783718,
+ "total_loss": 0.5189688348282269,
+ "lyap1_mean": 0.042630311101675034,
+ "lyap1_max": 0.07881290465593338,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 13,
+ "sup_loss": 0.49876132097014186,
+ "rf_loss": 0.0016280212439596653,
+ "total_loss": 0.5150415324784159,
+ "lyap1_mean": 0.029411597177386284,
+ "lyap1_max": 0.06331729888916016,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 14,
+ "sup_loss": 0.41557889513532414,
+ "rf_loss": 0.0013485581148415804,
+ "total_loss": 0.42906447581807866,
+ "lyap1_mean": 0.009692289866507053,
+ "lyap1_max": 0.06876563280820847,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 15,
+ "sup_loss": 0.5991087887585949,
+ "rf_loss": 0.0022090915590524673,
+ "total_loss": 0.6211997043491195,
+ "lyap1_mean": 0.029305465519428253,
+ "lyap1_max": 0.07746879756450653,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 16,
+ "sup_loss": 0.5031033954958233,
+ "rf_loss": 0.003153878962621093,
+ "total_loss": 0.5346421837250503,
+ "lyap1_mean": 0.03510900214314461,
+ "lyap1_max": 0.09109547734260559,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 17,
+ "sup_loss": 0.5957016850835576,
+ "rf_loss": 0.002689427463337779,
+ "total_loss": 0.6225959601825967,
+ "lyap1_mean": 0.0420212596654892,
+ "lyap1_max": 0.10280250757932663,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 18,
+ "sup_loss": 0.4765534027793751,
+ "rf_loss": 0.0017311795381829143,
+ "total_loss": 0.4938651974627123,
+ "lyap1_mean": 0.015607988461852074,
+ "lyap1_max": 0.07754307985305786,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 19,
+ "sup_loss": 0.5199536630242353,
+ "rf_loss": 0.001967968186363578,
+ "total_loss": 0.5396333453535324,
+ "lyap1_mean": 0.01958116516470909,
+ "lyap1_max": 0.09813876450061798,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 20,
+ "sup_loss": 0.5868064937281157,
+ "rf_loss": 0.0010572014143690467,
+ "total_loss": 0.5973785081046368,
+ "lyap1_mean": 0.020022734999656677,
+ "lyap1_max": 0.0589778833091259,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 21,
+ "sup_loss": 0.43270835057477086,
+ "rf_loss": 0.0011090131010860205,
+ "total_loss": 0.44379848205129235,
+ "lyap1_mean": 0.016169043257832527,
+ "lyap1_max": 0.06933944672346115,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 22,
+ "sup_loss": 0.5005025780699396,
+ "rf_loss": 0.0006783108110539615,
+ "total_loss": 0.5072856862968945,
+ "lyap1_mean": -0.002251487225294113,
+ "lyap1_max": 0.055773861706256866,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 23,
+ "sup_loss": 0.5403291330967963,
+ "rf_loss": 0.0016849017702043056,
+ "total_loss": 0.5571781517301619,
+ "lyap1_mean": 0.02561710774898529,
+ "lyap1_max": 0.058843716979026794,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 24,
+ "sup_loss": 0.5478658381999703,
+ "rf_loss": 0.0016520913923159242,
+ "total_loss": 0.5643867518902989,
+ "lyap1_mean": 0.026281535625457764,
+ "lyap1_max": 0.06530530005693436,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 25,
+ "sup_loss": 0.6338899013426067,
+ "rf_loss": 0.0011595372343435884,
+ "total_loss": 0.6454852734532119,
+ "lyap1_mean": 0.026305489242076874,
+ "lyap1_max": 0.05005016177892685,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 26,
+ "sup_loss": 0.6154349227633671,
+ "rf_loss": 0.0023728753440082073,
+ "total_loss": 0.6391636771347717,
+ "lyap1_mean": 0.03939622640609741,
+ "lyap1_max": 0.07628219574689865,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 27,
+ "sup_loss": 0.39624863239474445,
+ "rf_loss": 0.0013439726317301393,
+ "total_loss": 0.4096883584792152,
+ "lyap1_mean": 0.002532246522605419,
+ "lyap1_max": 0.07340018451213837,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 28,
+ "sup_loss": 0.5545937988074462,
+ "rf_loss": 0.001360767288133502,
+ "total_loss": 0.5682014721544425,
+ "lyap1_mean": 0.020445598289370537,
+ "lyap1_max": 0.06187249347567558,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 29,
+ "sup_loss": 0.5921652559609261,
+ "rf_loss": 0.0023775433655828238,
+ "total_loss": 0.6159406900824156,
+ "lyap1_mean": 0.03330717235803604,
+ "lyap1_max": 0.09076149761676788,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 30,
+ "sup_loss": 0.528164240860104,
+ "rf_loss": 0.0015157473972067237,
+ "total_loss": 0.5433217150650019,
+ "lyap1_mean": 0.022253219038248062,
+ "lyap1_max": 0.07479366660118103,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 31,
+ "sup_loss": 0.5258378886420918,
+ "rf_loss": 0.002101350575685501,
+ "total_loss": 0.5468513943989468,
+ "lyap1_mean": 0.025115102529525757,
+ "lyap1_max": 0.08212055265903473,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 32,
+ "sup_loss": 0.5006691234501514,
+ "rf_loss": 0.0013608355075120926,
+ "total_loss": 0.5142774785252723,
+ "lyap1_mean": 0.014489902183413506,
+ "lyap1_max": 0.06256432086229324,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 33,
+ "sup_loss": 0.49697921708314324,
+ "rf_loss": 0.0008605987532064319,
+ "total_loss": 0.5055852048480383,
+ "lyap1_mean": 0.006825461518019438,
+ "lyap1_max": 0.07723216712474823,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 34,
+ "sup_loss": 0.5795593702336956,
+ "rf_loss": 0.002284042537212372,
+ "total_loss": 0.6023997956058194,
+ "lyap1_mean": 0.035157449543476105,
+ "lyap1_max": 0.08697719126939774,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 35,
+ "sup_loss": 0.4577820666928636,
+ "rf_loss": 0.0018445118330419064,
+ "total_loss": 0.4762271859546052,
+ "lyap1_mean": 0.021367669105529785,
+ "lyap1_max": 0.09105344861745834,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 36,
+ "sup_loss": 0.4315782960028712,
+ "rf_loss": 0.0019227162702009082,
+ "total_loss": 0.4508054580063883,
+ "lyap1_mean": 0.024116352200508118,
+ "lyap1_max": 0.07440757006406784,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 37,
+ "sup_loss": 0.5926395286019495,
+ "rf_loss": 0.001269577071070671,
+ "total_loss": 0.6053352993126562,
+ "lyap1_mean": 0.028541339561343193,
+ "lyap1_max": 0.058380525559186935,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 38,
+ "sup_loss": 0.44385437240593856,
+ "rf_loss": 0.0010494970483705401,
+ "total_loss": 0.4543493431224746,
+ "lyap1_mean": 0.012715710327029228,
+ "lyap1_max": 0.06146121770143509,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 39,
+ "sup_loss": 0.6151441074132925,
+ "rf_loss": 0.0008008652366697788,
+ "total_loss": 0.6231527597799903,
+ "lyap1_mean": 0.010951075702905655,
+ "lyap1_max": 0.05873790755867958,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 40,
+ "sup_loss": 0.7038969253673033,
+ "rf_loss": 0.003022365737706423,
+ "total_loss": 0.734120581813045,
+ "lyap1_mean": 0.047330353409051895,
+ "lyap1_max": 0.10960745811462402,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 41,
+ "sup_loss": 0.38591583238915417,
+ "rf_loss": 0.0017839267384260893,
+ "total_loss": 0.40375510023907635,
+ "lyap1_mean": 0.009268303401768208,
+ "lyap1_max": 0.0761529952287674,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 42,
+ "sup_loss": 0.566966102815003,
+ "rf_loss": 0.0012002838775515556,
+ "total_loss": 0.5789689415905186,
+ "lyap1_mean": 0.01070519257336855,
+ "lyap1_max": 0.056493595242500305,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 43,
+ "sup_loss": 0.4918576333386627,
+ "rf_loss": 0.0019658878445625305,
+ "total_loss": 0.511516511784288,
+ "lyap1_mean": 0.011817323043942451,
+ "lyap1_max": 0.09377805143594742,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 44,
+ "sup_loss": 0.6760695458150934,
+ "rf_loss": 0.000859797524753958,
+ "total_loss": 0.6846675214118789,
+ "lyap1_mean": 0.026203958317637444,
+ "lyap1_max": 0.04359164461493492,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 45,
+ "sup_loss": 0.5517720808550192,
+ "rf_loss": 0.0025275805965065956,
+ "total_loss": 0.5770478868200851,
+ "lyap1_mean": 0.03063204139471054,
+ "lyap1_max": 0.10630033165216446,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 46,
+ "sup_loss": 0.5791737369722925,
+ "rf_loss": 0.002376062097027898,
+ "total_loss": 0.6029343574769102,
+ "lyap1_mean": 0.03303135931491852,
+ "lyap1_max": 0.07362949848175049,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 47,
+ "sup_loss": 0.5181885548927148,
+ "rf_loss": 0.00035381774068810046,
+ "total_loss": 0.5217267322413881,
+ "lyap1_mean": 0.000776299275457859,
+ "lyap1_max": 0.040470417588949203,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 48,
+ "sup_loss": 0.6306370537230769,
+ "rf_loss": 0.003200830891728401,
+ "total_loss": 0.6626453626403609,
+ "lyap1_mean": 0.05167904496192932,
+ "lyap1_max": 0.07740644365549088,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 49,
+ "sup_loss": 0.5652052215060573,
+ "rf_loss": 0.0023982315324246883,
+ "total_loss": 0.5891875377616268,
+ "lyap1_mean": 0.04078447073698044,
+ "lyap1_max": 0.0674070343375206,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 50,
+ "sup_loss": 0.6868172368935767,
+ "rf_loss": 0.0027204519137740135,
+ "total_loss": 0.7140217560313168,
+ "lyap1_mean": 0.04755878075957298,
+ "lyap1_max": 0.0767529159784317,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 51,
+ "sup_loss": 0.6256339564662762,
+ "rf_loss": 0.0019080189522355795,
+ "total_loss": 0.6447141464542933,
+ "lyap1_mean": 0.032567098736763,
+ "lyap1_max": 0.07335498183965683,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 52,
+ "sup_loss": 0.3596944473769552,
+ "rf_loss": 0.0005715390434488654,
+ "total_loss": 0.3654098380442745,
+ "lyap1_mean": -0.01156346220523119,
+ "lyap1_max": 0.055164169520139694,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 53,
+ "sup_loss": 0.5365444370374974,
+ "rf_loss": 0.001742296852171421,
+ "total_loss": 0.5539674055592116,
+ "lyap1_mean": 0.02699527144432068,
+ "lyap1_max": 0.05619896203279495,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 54,
+ "sup_loss": 0.5921619284877141,
+ "rf_loss": 0.0015666577965021133,
+ "total_loss": 0.6078285064527352,
+ "lyap1_mean": 0.030624790117144585,
+ "lyap1_max": 0.056214697659015656,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 55,
+ "sup_loss": 0.5985364625556747,
+ "rf_loss": 0.001039400463923812,
+ "total_loss": 0.6089304676605741,
+ "lyap1_mean": 0.02411559224128723,
+ "lyap1_max": 0.054551512002944946,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 56,
+ "sup_loss": 0.501505958589914,
+ "rf_loss": 0.0017614644020795822,
+ "total_loss": 0.5191206026107098,
+ "lyap1_mean": 0.016012346372008324,
+ "lyap1_max": 0.08233718574047089,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 57,
+ "sup_loss": 0.5505204455266555,
+ "rf_loss": 0.0024852948263287544,
+ "total_loss": 0.575373393789943,
+ "lyap1_mean": 0.03411507233977318,
+ "lyap1_max": 0.0761658102273941,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 58,
+ "sup_loss": 0.5781145548000401,
+ "rf_loss": 0.00112235511187464,
+ "total_loss": 0.5893381056859559,
+ "lyap1_mean": 0.021022118628025055,
+ "lyap1_max": 0.0571211576461792,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 59,
+ "sup_loss": 0.5228067964822416,
+ "rf_loss": 0.003893439192324877,
+ "total_loss": 0.5617411874741678,
+ "lyap1_mean": 0.04007886350154877,
+ "lyap1_max": 0.10206285119056702,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 60,
+ "sup_loss": 0.5476032962826451,
+ "rf_loss": 0.0021934297401458025,
+ "total_loss": 0.5695375932184419,
+ "lyap1_mean": 0.03164076805114746,
+ "lyap1_max": 0.06800533831119537,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 61,
+ "sup_loss": 0.5874324322080453,
+ "rf_loss": 0.003318854607641697,
+ "total_loss": 0.6206209764218171,
+ "lyap1_mean": 0.03715979680418968,
+ "lyap1_max": 0.1323639452457428,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 62,
+ "sup_loss": 0.45911523669751514,
+ "rf_loss": 0.00037875305861234665,
+ "total_loss": 0.4629027672836386,
+ "lyap1_mean": 0.00618096673861146,
+ "lyap1_max": 0.03270632028579712,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 63,
+ "sup_loss": 0.5466675330637653,
+ "rf_loss": 0.002068588975816965,
+ "total_loss": 0.5673534218906123,
+ "lyap1_mean": 0.028951413929462433,
+ "lyap1_max": 0.07745232433080673,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 64,
+ "sup_loss": 0.5362705359851451,
+ "rf_loss": 0.0007573782932013273,
+ "total_loss": 0.5438443189171583,
+ "lyap1_mean": 0.020023901015520096,
+ "lyap1_max": 0.05507732555270195,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 65,
+ "sup_loss": 0.6433339188727938,
+ "rf_loss": 0.0017689772648736835,
+ "total_loss": 0.6610236908230387,
+ "lyap1_mean": 0.029695721343159676,
+ "lyap1_max": 0.08232149481773376,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 66,
+ "sup_loss": 0.4831756938605861,
+ "rf_loss": 0.0021534468978643417,
+ "total_loss": 0.5047101628392295,
+ "lyap1_mean": 0.02413538657128811,
+ "lyap1_max": 0.07134883105754852,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 67,
+ "sup_loss": 0.5612624346066967,
+ "rf_loss": 0.0040768589824438095,
+ "total_loss": 0.6020310244311348,
+ "lyap1_mean": 0.05342540144920349,
+ "lyap1_max": 0.10403703898191452,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 68,
+ "sup_loss": 0.48884544247930917,
+ "rf_loss": 0.0003512811672408134,
+ "total_loss": 0.49235825409350964,
+ "lyap1_mean": -0.007173433899879456,
+ "lyap1_max": 0.03494556248188019,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 69,
+ "sup_loss": 0.658530030406256,
+ "rf_loss": 0.0020904752891510725,
+ "total_loss": 0.679434783763428,
+ "lyap1_mean": 0.02622404135763645,
+ "lyap1_max": 0.1099483072757721,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 70,
+ "sup_loss": 0.5131360424082788,
+ "rf_loss": 0.0007267201435752213,
+ "total_loss": 0.5204032437276157,
+ "lyap1_mean": 0.008024030365049839,
+ "lyap1_max": 0.06202064827084541,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 71,
+ "sup_loss": 0.6166392719840929,
+ "rf_loss": 0.0011268199887126684,
+ "total_loss": 0.6279074723368808,
+ "lyap1_mean": 0.01986878737807274,
+ "lyap1_max": 0.07572214305400848,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 72,
+ "sup_loss": 0.44083375117148854,
+ "rf_loss": 0.0015510914381593466,
+ "total_loss": 0.4563446660187433,
+ "lyap1_mean": 0.013608206063508987,
+ "lyap1_max": 0.09592678397893906,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 73,
+ "sup_loss": 0.5344760103092765,
+ "rf_loss": 0.0012829805491492152,
+ "total_loss": 0.5473058160335993,
+ "lyap1_mean": 0.0193787869066,
+ "lyap1_max": 0.06262446194887161,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 74,
+ "sup_loss": 0.5928217354038496,
+ "rf_loss": 0.0021317938808351755,
+ "total_loss": 0.6141396737465401,
+ "lyap1_mean": 0.0365799143910408,
+ "lyap1_max": 0.08940473198890686,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 75,
+ "sup_loss": 0.584780481885834,
+ "rf_loss": 0.0013347247149795294,
+ "total_loss": 0.5981277295012906,
+ "lyap1_mean": 0.021699903532862663,
+ "lyap1_max": 0.07010699808597565,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 76,
+ "sup_loss": 0.5283911062661009,
+ "rf_loss": 0.002174447989091277,
+ "total_loss": 0.5501355866226749,
+ "lyap1_mean": 0.0299815833568573,
+ "lyap1_max": 0.07753352075815201,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 77,
+ "sup_loss": 0.5481971794349706,
+ "rf_loss": 0.0028834338299930096,
+ "total_loss": 0.5770315186662233,
+ "lyap1_mean": 0.04225951433181763,
+ "lyap1_max": 0.08038564026355743,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 78,
+ "sup_loss": 0.672382546420467,
+ "rf_loss": 0.0017452348256483674,
+ "total_loss": 0.68983489444412,
+ "lyap1_mean": 0.03704886883497238,
+ "lyap1_max": 0.053955983370542526,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 79,
+ "sup_loss": 0.5272015174542989,
+ "rf_loss": 0.0007988517172634602,
+ "total_loss": 0.5351900346269335,
+ "lyap1_mean": 0.018009260296821594,
+ "lyap1_max": 0.06096207723021507,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 80,
+ "sup_loss": 0.4642302222198327,
+ "rf_loss": 0.0009307428263127804,
+ "total_loss": 0.4735376504829605,
+ "lyap1_mean": 0.007888885214924812,
+ "lyap1_max": 0.0614347904920578,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 81,
+ "sup_loss": 0.5552449718000797,
+ "rf_loss": 0.0008993558003567159,
+ "total_loss": 0.5642385294544009,
+ "lyap1_mean": 0.01817937195301056,
+ "lyap1_max": 0.05245621129870415,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 82,
+ "sup_loss": 0.4717002964873165,
+ "rf_loss": 0.0015659320633858442,
+ "total_loss": 0.4873596175868362,
+ "lyap1_mean": 0.01159191969782114,
+ "lyap1_max": 0.08801872283220291,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 83,
+ "sup_loss": 0.5234253061686888,
+ "rf_loss": 0.0034765866585075855,
+ "total_loss": 0.558191171822442,
+ "lyap1_mean": 0.04267481714487076,
+ "lyap1_max": 0.09820422530174255,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 84,
+ "sup_loss": 0.5095669835549916,
+ "rf_loss": 0.0008854128536768258,
+ "total_loss": 0.5184211119753446,
+ "lyap1_mean": 0.005377976689487696,
+ "lyap1_max": 0.07368187606334686,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 85,
+ "sup_loss": 0.6578078863885878,
+ "rf_loss": 0.00048023677663877606,
+ "total_loss": 0.6626102540385602,
+ "lyap1_mean": 0.0043383752927184105,
+ "lyap1_max": 0.04854394122958183,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 86,
+ "sup_loss": 0.6640928057998053,
+ "rf_loss": 0.0014998355181887746,
+ "total_loss": 0.6790911607488624,
+ "lyap1_mean": 0.026452306658029556,
+ "lyap1_max": 0.0732106864452362,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 87,
+ "sup_loss": 0.6177061914012428,
+ "rf_loss": 0.0013403939083218575,
+ "total_loss": 0.6311101304844614,
+ "lyap1_mean": 0.03330980986356735,
+ "lyap1_max": 0.06139800697565079,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 88,
+ "sup_loss": 0.6868947810115904,
+ "rf_loss": 0.001636479515582323,
+ "total_loss": 0.7032595752360911,
+ "lyap1_mean": 0.03474698215723038,
+ "lyap1_max": 0.07560949772596359,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 89,
+ "sup_loss": 0.687051085578942,
+ "rf_loss": 0.0005862581310793757,
+ "total_loss": 0.6929136671225664,
+ "lyap1_mean": 0.021161025390028954,
+ "lyap1_max": 0.0415770597755909,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 90,
+ "sup_loss": 0.4753870018431765,
+ "rf_loss": 0.0014590697828680277,
+ "total_loss": 0.4899776992061955,
+ "lyap1_mean": 0.013794602826237679,
+ "lyap1_max": 0.07643730193376541,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 91,
+ "sup_loss": 0.625115264518564,
+ "rf_loss": 0.002017795341089368,
+ "total_loss": 0.6452932174637964,
+ "lyap1_mean": 0.03778841346502304,
+ "lyap1_max": 0.07690920680761337,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 92,
+ "sup_loss": 0.710004445595574,
+ "rf_loss": 0.0007113938918337226,
+ "total_loss": 0.7171183847467418,
+ "lyap1_mean": 0.019894307479262352,
+ "lyap1_max": 0.045584969222545624,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 93,
+ "sup_loss": 0.49036497031873877,
+ "rf_loss": 0.002808013465255499,
+ "total_loss": 0.5184451059026163,
+ "lyap1_mean": 0.0287192240357399,
+ "lyap1_max": 0.10371478646993637,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 94,
+ "sup_loss": 0.5628396891499824,
+ "rf_loss": 0.0015919676516205072,
+ "total_loss": 0.5787593652005262,
+ "lyap1_mean": 0.024503804743289948,
+ "lyap1_max": 0.060982536524534225,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 95,
+ "sup_loss": 0.581374844588895,
+ "rf_loss": 0.0008379556820727885,
+ "total_loss": 0.5897544017588688,
+ "lyap1_mean": 0.018488096073269844,
+ "lyap1_max": 0.05448109284043312,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 96,
+ "sup_loss": 0.5040068148157636,
+ "rf_loss": 0.0020093328785151243,
+ "total_loss": 0.5241001440665761,
+ "lyap1_mean": 0.03203913941979408,
+ "lyap1_max": 0.07027097046375275,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 97,
+ "sup_loss": 0.4771967886576619,
+ "rf_loss": 0.001443943940103054,
+ "total_loss": 0.49163622805869245,
+ "lyap1_mean": 0.01441917847841978,
+ "lyap1_max": 0.07518193870782852,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 98,
+ "sup_loss": 0.6382990255850134,
+ "rf_loss": 0.000994762172922492,
+ "total_loss": 0.6482466477798996,
+ "lyap1_mean": 0.021668285131454468,
+ "lyap1_max": 0.06162798032164574,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 99,
+ "sup_loss": 0.38845373689841217,
+ "rf_loss": 1.5429448467330076e-05,
+ "total_loss": 0.3886080313794475,
+ "lyap1_mean": -0.021493665874004364,
+ "lyap1_max": 0.011015120893716812,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 100,
+ "sup_loss": 0.5526597191558822,
+ "rf_loss": 0.0002324913366464898,
+ "total_loss": 0.5549846325514509,
+ "lyap1_mean": 0.003387213684618473,
+ "lyap1_max": 0.027512434870004654,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 101,
+ "sup_loss": 0.5772974765064897,
+ "rf_loss": 0.0006753389025107026,
+ "total_loss": 0.584050865298766,
+ "lyap1_mean": 0.008218665607273579,
+ "lyap1_max": 0.05843662843108177,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 102,
+ "sup_loss": 0.5163454073208973,
+ "rf_loss": 0.0009175881277769804,
+ "total_loss": 0.5255212890643284,
+ "lyap1_mean": 0.005304313264787197,
+ "lyap1_max": 0.06117761880159378,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 103,
+ "sup_loss": 0.583819420092932,
+ "rf_loss": 0.0006813508807681501,
+ "total_loss": 0.5906329290170288,
+ "lyap1_mean": 0.008801932446658611,
+ "lyap1_max": 0.06277567148208618,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 104,
+ "sup_loss": 0.6531493247335473,
+ "rf_loss": 0.0009103993652388453,
+ "total_loss": 0.6622533186187664,
+ "lyap1_mean": 0.024603042751550674,
+ "lyap1_max": 0.05343160405755043,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 105,
+ "sup_loss": 0.5774107077706307,
+ "rf_loss": 0.001210722024552524,
+ "total_loss": 0.5895179282489866,
+ "lyap1_mean": 0.016931507736444473,
+ "lyap1_max": 0.07405052334070206,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 106,
+ "sup_loss": 0.5781457925665044,
+ "rf_loss": 0.0009202082874253392,
+ "total_loss": 0.5873478752079272,
+ "lyap1_mean": 0.0191438477486372,
+ "lyap1_max": 0.061578068882226944,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 107,
+ "sup_loss": 0.5670642591509306,
+ "rf_loss": 0.0013110251165926456,
+ "total_loss": 0.5801745103168571,
+ "lyap1_mean": 0.02198377624154091,
+ "lyap1_max": 0.058010805398225784,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 108,
+ "sup_loss": 0.5128838550124047,
+ "rf_loss": 0.0015886472538113594,
+ "total_loss": 0.5287703275505183,
+ "lyap1_mean": 0.015038225799798965,
+ "lyap1_max": 0.07667985558509827,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 109,
+ "sup_loss": 0.6446914192513598,
+ "rf_loss": 0.00023380827042274177,
+ "total_loss": 0.6470295020137948,
+ "lyap1_mean": 0.004037082195281982,
+ "lyap1_max": 0.027961991727352142,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 110,
+ "sup_loss": 0.5887690331191379,
+ "rf_loss": 0.0008649427909404039,
+ "total_loss": 0.5974184605628806,
+ "lyap1_mean": 0.018725818023085594,
+ "lyap1_max": 0.04626043140888214,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 111,
+ "sup_loss": 0.616320189708521,
+ "rf_loss": 0.0016704831505194306,
+ "total_loss": 0.6330250209808846,
+ "lyap1_mean": 0.026878653094172478,
+ "lyap1_max": 0.08877574652433395,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 112,
+ "sup_loss": 0.5781001542318714,
+ "rf_loss": 0.0008442706312052906,
+ "total_loss": 0.5865428606603397,
+ "lyap1_mean": 0.01460577268153429,
+ "lyap1_max": 0.05775363743305206,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 113,
+ "sup_loss": 0.6648017314562384,
+ "rf_loss": 0.002072916366159916,
+ "total_loss": 0.6855308951178376,
+ "lyap1_mean": 0.027805594727396965,
+ "lyap1_max": 0.08543385565280914,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 114,
+ "sup_loss": 0.5667114307582122,
+ "rf_loss": 0.0016503564547747374,
+ "total_loss": 0.5832149957716208,
+ "lyap1_mean": 0.02894369699060917,
+ "lyap1_max": 0.077020563185215,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 115,
+ "sup_loss": 0.506690698607911,
+ "rf_loss": 0.0005008727894164622,
+ "total_loss": 0.5116994263856603,
+ "lyap1_mean": 0.006447058171033859,
+ "lyap1_max": 0.04569151625037193,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 116,
+ "sup_loss": 0.601869771091235,
+ "rf_loss": 0.0006193680455908179,
+ "total_loss": 0.6080634517799738,
+ "lyap1_mean": 0.01325670164078474,
+ "lyap1_max": 0.04765685647726059,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 117,
+ "sup_loss": 0.661180404364181,
+ "rf_loss": 0.0004819312016479671,
+ "total_loss": 0.665999716497076,
+ "lyap1_mean": 0.015317104756832123,
+ "lyap1_max": 0.039781354367733,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 118,
+ "sup_loss": 0.5067988359289467,
+ "rf_loss": 0.0010024411603808403,
+ "total_loss": 0.5168232475327551,
+ "lyap1_mean": 0.013514818623661995,
+ "lyap1_max": 0.06269710510969162,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 119,
+ "sup_loss": 0.43181612658024954,
+ "rf_loss": 0.0008750684792175889,
+ "total_loss": 0.4405668111395948,
+ "lyap1_mean": 0.00508919870480895,
+ "lyap1_max": 0.06481271237134933,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 120,
+ "sup_loss": 0.6462192554179992,
+ "rf_loss": 0.00041351414984092116,
+ "total_loss": 0.6503543970328237,
+ "lyap1_mean": 0.014932253398001194,
+ "lyap1_max": 0.04026883840560913,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 121,
+ "sup_loss": 0.6321282898424708,
+ "rf_loss": 0.0008700360776856542,
+ "total_loss": 0.6408286503864967,
+ "lyap1_mean": 0.014859281480312347,
+ "lyap1_max": 0.0571436733007431,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 122,
+ "sup_loss": 0.600315137146663,
+ "rf_loss": 0.0009143684874288738,
+ "total_loss": 0.609458822137367,
+ "lyap1_mean": 0.016718467697501183,
+ "lyap1_max": 0.07179583609104156,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 123,
+ "sup_loss": 0.6949671368956427,
+ "rf_loss": 0.0001883563818410039,
+ "total_loss": 0.6968507007140528,
+ "lyap1_mean": 0.00800719577819109,
+ "lyap1_max": 0.023602565750479698,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 124,
+ "sup_loss": 0.7020344361731723,
+ "rf_loss": 0.001246074796654284,
+ "total_loss": 0.7144951839068845,
+ "lyap1_mean": 0.025950320065021515,
+ "lyap1_max": 0.07529861479997635,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 125,
+ "sup_loss": 0.5415371043572196,
+ "rf_loss": 0.0008844209951348603,
+ "total_loss": 0.5503813141921529,
+ "lyap1_mean": 0.015872344374656677,
+ "lyap1_max": 0.05334900692105293,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 126,
+ "sup_loss": 0.4625670734902643,
+ "rf_loss": 0.0002954025112558156,
+ "total_loss": 0.4655210985446148,
+ "lyap1_mean": 0.002236329484730959,
+ "lyap1_max": 0.03318729251623154,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 127,
+ "sup_loss": 0.48531071292615263,
+ "rf_loss": 0.0009595667361281812,
+ "total_loss": 0.4949063799381885,
+ "lyap1_mean": -0.007895768620073795,
+ "lyap1_max": 0.08716077357530594,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 128,
+ "sup_loss": 0.49281722670524186,
+ "rf_loss": 0.000259094376815483,
+ "total_loss": 0.49540817053160435,
+ "lyap1_mean": 0.007819726131856441,
+ "lyap1_max": 0.03352135792374611,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 129,
+ "sup_loss": 0.5002307896745354,
+ "rf_loss": 0.0008188402280211449,
+ "total_loss": 0.5084191919547468,
+ "lyap1_mean": 0.014242341741919518,
+ "lyap1_max": 0.053941309452056885,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 130,
+ "sup_loss": 0.5005297023592035,
+ "rf_loss": 0.0011017147917300463,
+ "total_loss": 0.5115468498108426,
+ "lyap1_mean": 0.006825505290180445,
+ "lyap1_max": 0.06525429338216782,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 131,
+ "sup_loss": 0.5441095211739422,
+ "rf_loss": 0.0013048291439190507,
+ "total_loss": 0.557157812380302,
+ "lyap1_mean": 0.018363596871495247,
+ "lyap1_max": 0.08179628103971481,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 132,
+ "sup_loss": 0.6172991284256453,
+ "rf_loss": 0.001574270543642342,
+ "total_loss": 0.6330418345605606,
+ "lyap1_mean": 0.028161896392703056,
+ "lyap1_max": 0.0643039345741272,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 133,
+ "sup_loss": 0.6114472155083821,
+ "rf_loss": 0.0007637848029844463,
+ "total_loss": 0.6190850636546419,
+ "lyap1_mean": 0.013704529963433743,
+ "lyap1_max": 0.05740923807024956,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 134,
+ "sup_loss": 0.5664756069764475,
+ "rf_loss": 0.0004588644951581955,
+ "total_loss": 0.5710642519280295,
+ "lyap1_mean": 0.009991312399506569,
+ "lyap1_max": 0.04945079982280731,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 135,
+ "sup_loss": 0.5889549700783628,
+ "rf_loss": 0.000431296561146155,
+ "total_loss": 0.5932679356316167,
+ "lyap1_mean": 0.00040143029764294624,
+ "lyap1_max": 0.050381775945425034,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 136,
+ "sup_loss": 0.5681544830044902,
+ "rf_loss": 0.0001384807692375034,
+ "total_loss": 0.5695392907550729,
+ "lyap1_mean": 0.004809021018445492,
+ "lyap1_max": 0.023517291992902756,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 137,
+ "sup_loss": 0.6152921508358384,
+ "rf_loss": 0.0001270275970455259,
+ "total_loss": 0.6165624268645014,
+ "lyap1_mean": -0.00106696761213243,
+ "lyap1_max": 0.026486318558454514,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 138,
+ "sup_loss": 0.5053323472687786,
+ "rf_loss": 0.0008308493997901678,
+ "total_loss": 0.5136408417323416,
+ "lyap1_mean": 0.016167519614100456,
+ "lyap1_max": 0.056043654680252075,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 139,
+ "sup_loss": 0.5085281372807803,
+ "rf_loss": 0.00047903385711833835,
+ "total_loss": 0.513318475968379,
+ "lyap1_mean": 0.00012932473327964544,
+ "lyap1_max": 0.053053926676511765,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 140,
+ "sup_loss": 0.6820079686870419,
+ "rf_loss": 0.0004951033042743802,
+ "total_loss": 0.6869590014969551,
+ "lyap1_mean": 0.008331796154379845,
+ "lyap1_max": 0.0359412282705307,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 141,
+ "sup_loss": 0.7366847470645288,
+ "rf_loss": 0.0005459883250296116,
+ "total_loss": 0.7421446303148249,
+ "lyap1_mean": 0.00764804519712925,
+ "lyap1_max": 0.055915191769599915,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 142,
+ "sup_loss": 0.44924564579300763,
+ "rf_loss": 0.0004691497888416052,
+ "total_loss": 0.4539371436814237,
+ "lyap1_mean": 0.0002455194480717182,
+ "lyap1_max": 0.0577394925057888,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 143,
+ "sup_loss": 0.5893023664920157,
+ "rf_loss": 0.00036282118526287377,
+ "total_loss": 0.5929305782864368,
+ "lyap1_mean": 0.004256587475538254,
+ "lyap1_max": 0.04526669532060623,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 144,
+ "sup_loss": 0.7378855817839854,
+ "rf_loss": 0.0010513531742617488,
+ "total_loss": 0.7483991137594336,
+ "lyap1_mean": 0.027706988155841827,
+ "lyap1_max": 0.06931618601083755,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 145,
+ "sup_loss": 0.6070078810065296,
+ "rf_loss": 0.00033368717413395643,
+ "total_loss": 0.6103447527478691,
+ "lyap1_mean": 0.0022509354166686535,
+ "lyap1_max": 0.044588133692741394,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 146,
+ "sup_loss": 0.5529900197994456,
+ "rf_loss": 0.0001768626389093697,
+ "total_loss": 0.5547586461885393,
+ "lyap1_mean": -0.0015149770770221949,
+ "lyap1_max": 0.03367132321000099,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 147,
+ "sup_loss": 0.5181981464134587,
+ "rf_loss": 0.0009361817501485348,
+ "total_loss": 0.5275599639149441,
+ "lyap1_mean": 0.012085125781595707,
+ "lyap1_max": 0.05554482713341713,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 148,
+ "sup_loss": 0.4981991617151848,
+ "rf_loss": 0.000526780728250742,
+ "total_loss": 0.5034669689976923,
+ "lyap1_mean": -0.005476438440382481,
+ "lyap1_max": 0.05999063327908516,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 149,
+ "sup_loss": 0.47823685712376124,
+ "rf_loss": 0.0010535870678722858,
+ "total_loss": 0.4887727278024841,
+ "lyap1_mean": 0.008438091725111008,
+ "lyap1_max": 0.06588917970657349,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 150,
+ "sup_loss": 0.46278687591079953,
+ "rf_loss": 0.00042415945790708065,
+ "total_loss": 0.46702847048987034,
+ "lyap1_mean": -0.011056105606257915,
+ "lyap1_max": 0.04180707409977913,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 151,
+ "sup_loss": 0.5664115912244135,
+ "rf_loss": 0.000262469460722059,
+ "total_loss": 0.5690362859480494,
+ "lyap1_mean": -0.0038913858588784933,
+ "lyap1_max": 0.03754488751292229,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 152,
+ "sup_loss": 0.5764475872484144,
+ "rf_loss": 0.0005755943711847067,
+ "total_loss": 0.5822035309602615,
+ "lyap1_mean": 0.009280415251851082,
+ "lyap1_max": 0.06228378787636757,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 153,
+ "sup_loss": 0.46056782621251635,
+ "rf_loss": 1.1703622476488817e-05,
+ "total_loss": 0.46068486243546225,
+ "lyap1_mean": -0.021107200533151627,
+ "lyap1_max": 0.009676206856966019,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 154,
+ "sup_loss": 0.6369584627554428,
+ "rf_loss": 0.0005604520556516945,
+ "total_loss": 0.6425629831955444,
+ "lyap1_mean": 0.012719683349132538,
+ "lyap1_max": 0.0587981678545475,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 155,
+ "sup_loss": 0.554281300580827,
+ "rf_loss": 0.0017391820438206196,
+ "total_loss": 0.5716731200877107,
+ "lyap1_mean": 0.038869425654411316,
+ "lyap1_max": 0.04995357617735863,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 156,
+ "sup_loss": 0.6236924403830806,
+ "rf_loss": 0.00014206777268555015,
+ "total_loss": 0.6251131181390399,
+ "lyap1_mean": 0.002824345137923956,
+ "lyap1_max": 0.020572099834680557,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 157,
+ "sup_loss": 0.6416619104108641,
+ "rf_loss": 0.0011127141769975424,
+ "total_loss": 0.6527890526465008,
+ "lyap1_mean": 0.014473576098680496,
+ "lyap1_max": 0.07132048904895782,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 158,
+ "sup_loss": 0.6714892754336828,
+ "rf_loss": 0.0004113503382541239,
+ "total_loss": 0.6756027786998087,
+ "lyap1_mean": 0.015003520995378494,
+ "lyap1_max": 0.04341081157326698,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 159,
+ "sup_loss": 0.6381006400295749,
+ "rf_loss": 0.00044923886889591813,
+ "total_loss": 0.6425930286021188,
+ "lyap1_mean": 0.007236120291054249,
+ "lyap1_max": 0.03718363866209984,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 160,
+ "sup_loss": 0.6498804346561788,
+ "rf_loss": 0.0006423040758818388,
+ "total_loss": 0.6563034754149972,
+ "lyap1_mean": 0.01727481745183468,
+ "lyap1_max": 0.05673450231552124,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 161,
+ "sup_loss": 0.350687922672316,
+ "rf_loss": 0.00030222313944250345,
+ "total_loss": 0.35371015406674106,
+ "lyap1_mean": -0.011553613469004631,
+ "lyap1_max": 0.04117671027779579,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 162,
+ "sup_loss": 0.4656757669771968,
+ "rf_loss": 0.0005435658385977149,
+ "total_loss": 0.4711114255960046,
+ "lyap1_mean": 0.008774811401963234,
+ "lyap1_max": 0.04194404184818268,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 163,
+ "sup_loss": 0.6193152550653392,
+ "rf_loss": 0.00043956603622063994,
+ "total_loss": 0.623710915543961,
+ "lyap1_mean": 0.012139786034822464,
+ "lyap1_max": 0.0418425090610981,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 164,
+ "sup_loss": 0.5461864376415536,
+ "rf_loss": 0.000972054316662252,
+ "total_loss": 0.5559069810410068,
+ "lyap1_mean": 0.0068092625588178635,
+ "lyap1_max": 0.07815877348184586,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 165,
+ "sup_loss": 0.5152692975713664,
+ "rf_loss": 0.0005873683840036392,
+ "total_loss": 0.5211429814114028,
+ "lyap1_mean": -0.0004940032958984375,
+ "lyap1_max": 0.06437721103429794,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 166,
+ "sup_loss": 0.5897865047869557,
+ "rf_loss": 0.000994696281850338,
+ "total_loss": 0.5997334676054591,
+ "lyap1_mean": 0.019157368689775467,
+ "lyap1_max": 0.057577356696128845,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 167,
+ "sup_loss": 0.5748470463552068,
+ "rf_loss": 0.00042623034096322954,
+ "total_loss": 0.5791093498230467,
+ "lyap1_mean": -0.0009360709227621555,
+ "lyap1_max": 0.05158241093158722,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 168,
+ "sup_loss": 0.5952697293557324,
+ "rf_loss": 0.0006060261512175202,
+ "total_loss": 0.601329990635077,
+ "lyap1_mean": 0.011496358551084995,
+ "lyap1_max": 0.051010530441999435,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 169,
+ "sup_loss": 0.6039803378262721,
+ "rf_loss": 0.0018693803576752543,
+ "total_loss": 0.6226741407045328,
+ "lyap1_mean": 0.01525118574500084,
+ "lyap1_max": 0.08705435693264008,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 170,
+ "sup_loss": 0.5028912690308751,
+ "rf_loss": 0.0011588602792471647,
+ "total_loss": 0.514479872289008,
+ "lyap1_mean": 0.00540310749784112,
+ "lyap1_max": 0.06771457940340042,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 171,
+ "sup_loss": 0.4913893393920614,
+ "rf_loss": 0.00027767615392804146,
+ "total_loss": 0.49416610093134183,
+ "lyap1_mean": -0.007764317095279694,
+ "lyap1_max": 0.04316166415810585,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 172,
+ "sup_loss": 0.5168251794574371,
+ "rf_loss": 2.5464716600254178e-05,
+ "total_loss": 0.5170798266234397,
+ "lyap1_mean": -0.009996309876441956,
+ "lyap1_max": 0.01406332291662693,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 173,
+ "sup_loss": 0.5455511994317868,
+ "rf_loss": 0.00021595731959678233,
+ "total_loss": 0.5477107725695469,
+ "lyap1_mean": 0.001066664233803749,
+ "lyap1_max": 0.028394579887390137,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 174,
+ "sup_loss": 0.6046388703603781,
+ "rf_loss": 0.0009122237679548562,
+ "total_loss": 0.6137611079235114,
+ "lyap1_mean": 0.006776610389351845,
+ "lyap1_max": 0.07734904438257217,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 175,
+ "sup_loss": 0.5248293597149488,
+ "rf_loss": 0.00010362787725171074,
+ "total_loss": 0.5258656385020178,
+ "lyap1_mean": -0.01745004951953888,
+ "lyap1_max": 0.02745327353477478,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 176,
+ "sup_loss": 0.547796398871636,
+ "rf_loss": 0.0017897103680297732,
+ "total_loss": 0.5656935018534418,
+ "lyap1_mean": 0.012533518485724926,
+ "lyap1_max": 0.11753635108470917,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 177,
+ "sup_loss": 0.5994470612021487,
+ "rf_loss": 0.0008331040153279901,
+ "total_loss": 0.607778101122598,
+ "lyap1_mean": 0.011203266680240631,
+ "lyap1_max": 0.06618732959032059,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 178,
+ "sup_loss": 0.498509885656202,
+ "rf_loss": 4.054931923747063e-05,
+ "total_loss": 0.49891537884857673,
+ "lyap1_mean": -0.013911648653447628,
+ "lyap1_max": 0.012690679170191288,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 179,
+ "sup_loss": 0.5717355652240783,
+ "rf_loss": 0.0015242905355989933,
+ "total_loss": 0.5869784705800682,
+ "lyap1_mean": 0.016949953511357307,
+ "lyap1_max": 0.08548826724290848,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 180,
+ "sup_loss": 0.5080786992693672,
+ "rf_loss": 0.00028032378759235144,
+ "total_loss": 0.5108819371452907,
+ "lyap1_mean": 0.0007854411378502846,
+ "lyap1_max": 0.034168779850006104,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 181,
+ "sup_loss": 0.4588003881558795,
+ "rf_loss": 8.163528400473297e-05,
+ "total_loss": 0.4596167409959268,
+ "lyap1_mean": -0.007853852584958076,
+ "lyap1_max": 0.01825633831322193,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 182,
+ "sup_loss": 0.6015397790253904,
+ "rf_loss": 0.00045130396028980613,
+ "total_loss": 0.6060528187447037,
+ "lyap1_mean": 0.00892726145684719,
+ "lyap1_max": 0.04451560601592064,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 183,
+ "sup_loss": 0.7052819612046555,
+ "rf_loss": 0.000994869857095182,
+ "total_loss": 0.7152306600084379,
+ "lyap1_mean": 0.028096910566091537,
+ "lyap1_max": 0.05414048954844475,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 184,
+ "sup_loss": 0.4832917181051899,
+ "rf_loss": 0.0024253916926681995,
+ "total_loss": 0.5075456341005493,
+ "lyap1_mean": 0.031627655029296875,
+ "lyap1_max": 0.08493296802043915,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 185,
+ "sup_loss": 0.46715655099400794,
+ "rf_loss": 0.0004673635121434927,
+ "total_loss": 0.47183018611544286,
+ "lyap1_mean": -0.005532513838261366,
+ "lyap1_max": 0.04498308151960373,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 186,
+ "sup_loss": 0.45040392587547384,
+ "rf_loss": 0.0009106662473641336,
+ "total_loss": 0.4595105879998692,
+ "lyap1_mean": -0.000354548217728734,
+ "lyap1_max": 0.07637502253055573,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 187,
+ "sup_loss": 0.5830056063794085,
+ "rf_loss": 0.0005071737105026841,
+ "total_loss": 0.5880773432516047,
+ "lyap1_mean": 0.016632026061415672,
+ "lyap1_max": 0.03141187131404877,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 188,
+ "sup_loss": 0.6061772865042201,
+ "rf_loss": 0.000784961914177984,
+ "total_loss": 0.614026905296754,
+ "lyap1_mean": 0.0057341717183589935,
+ "lyap1_max": 0.07176932692527771,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 189,
+ "sup_loss": 0.7087958371524127,
+ "rf_loss": 0.0011033349437639117,
+ "total_loss": 0.7198291868228824,
+ "lyap1_mean": 0.025170745328068733,
+ "lyap1_max": 0.06074235588312149,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 190,
+ "sup_loss": 0.39716694418371723,
+ "rf_loss": 0.0012402065331116319,
+ "total_loss": 0.4095690092820029,
+ "lyap1_mean": 0.005470657255500555,
+ "lyap1_max": 0.0819339007139206,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 191,
+ "sup_loss": 0.501438841454089,
+ "rf_loss": 9.381407289765775e-05,
+ "total_loss": 0.5023769821830656,
+ "lyap1_mean": -0.012265491299331188,
+ "lyap1_max": 0.02335066720843315,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 192,
+ "sup_loss": 0.5552998204708752,
+ "rf_loss": 0.0003421542642172426,
+ "total_loss": 0.5587213631712553,
+ "lyap1_mean": 0.009024286642670631,
+ "lyap1_max": 0.041675277054309845,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 193,
+ "sup_loss": 0.33410622437975923,
+ "rf_loss": 3.7609068385791034e-05,
+ "total_loss": 0.33448231507816906,
+ "lyap1_mean": -0.025333665311336517,
+ "lyap1_max": 0.017345678061246872,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 194,
+ "sup_loss": 0.5964545426828357,
+ "rf_loss": 0.00034247490111738443,
+ "total_loss": 0.5998792916940096,
+ "lyap1_mean": -0.001985904760658741,
+ "lyap1_max": 0.04704977199435234,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 195,
+ "sup_loss": 0.5842448103910516,
+ "rf_loss": 0.0018067908240482211,
+ "total_loss": 0.6023127179330419,
+ "lyap1_mean": 0.026411602273583412,
+ "lyap1_max": 0.09749431163072586,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 196,
+ "sup_loss": 0.6975809061132144,
+ "rf_loss": 0.00040716634248383343,
+ "total_loss": 0.7016525697126758,
+ "lyap1_mean": 0.010225357487797737,
+ "lyap1_max": 0.04789240285754204,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 197,
+ "sup_loss": 0.4963219124621438,
+ "rf_loss": 0.0008627120405435562,
+ "total_loss": 0.5049490328675794,
+ "lyap1_mean": 0.013317719101905823,
+ "lyap1_max": 0.05759024620056152,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 198,
+ "sup_loss": 0.5687396073605356,
+ "rf_loss": 0.003206040943041444,
+ "total_loss": 0.6008000181879339,
+ "lyap1_mean": 0.036833975464105606,
+ "lyap1_max": 0.1369950771331787,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 199,
+ "sup_loss": 0.5563537791806626,
+ "rf_loss": 0.000847884570248425,
+ "total_loss": 0.5648326246503163,
+ "lyap1_mean": 0.009870517998933792,
+ "lyap1_max": 0.07026728242635727,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 200,
+ "sup_loss": 0.6626393092933064,
+ "rf_loss": 0.0009660639916546643,
+ "total_loss": 0.6722999490934377,
+ "lyap1_mean": 0.02025989443063736,
+ "lyap1_max": 0.0698477178812027,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 201,
+ "sup_loss": 0.6310058543166327,
+ "rf_loss": 0.0006162297213450074,
+ "total_loss": 0.6371681512972521,
+ "lyap1_mean": 0.01344277523458004,
+ "lyap1_max": 0.05376014485955238,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 202,
+ "sup_loss": 0.5729210364553278,
+ "rf_loss": 0.0003492958494462073,
+ "total_loss": 0.5764139948333745,
+ "lyap1_mean": 0.0065584853291511536,
+ "lyap1_max": 0.03197545185685158,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 203,
+ "sup_loss": 0.6703479157946302,
+ "rf_loss": 0.0005357934278436005,
+ "total_loss": 0.6757058499566508,
+ "lyap1_mean": 0.017704207450151443,
+ "lyap1_max": 0.035280417650938034,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 204,
+ "sup_loss": 0.6689641201670774,
+ "rf_loss": 0.0009144734358415008,
+ "total_loss": 0.678108854758323,
+ "lyap1_mean": 0.018550558015704155,
+ "lyap1_max": 0.0562659353017807,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 205,
+ "sup_loss": 0.637945106751857,
+ "rf_loss": 0.00043984755757264793,
+ "total_loss": 0.6423435821529605,
+ "lyap1_mean": 0.011089467443525791,
+ "lyap1_max": 0.04999823495745659,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 206,
+ "sup_loss": 0.5729423545284758,
+ "rf_loss": 0.0006066504865884781,
+ "total_loss": 0.5790088593943605,
+ "lyap1_mean": 0.012457084842026234,
+ "lyap1_max": 0.06349936872720718,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 207,
+ "sup_loss": 0.6160953780576024,
+ "rf_loss": 0.0003988879907410592,
+ "total_loss": 0.62008425779039,
+ "lyap1_mean": 0.005720416083931923,
+ "lyap1_max": 0.049435459077358246,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 208,
+ "sup_loss": 0.597800438535041,
+ "rf_loss": 1.768271431501489e-05,
+ "total_loss": 0.5979772656818291,
+ "lyap1_mean": -0.009505457244813442,
+ "lyap1_max": 0.011564801447093487,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 209,
+ "sup_loss": 0.5924624910704985,
+ "rf_loss": 0.001111726276576519,
+ "total_loss": 0.6035797538362637,
+ "lyap1_mean": 0.021580321714282036,
+ "lyap1_max": 0.08374020457267761,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 210,
+ "sup_loss": 0.7351850329789958,
+ "rf_loss": 0.001140162581577897,
+ "total_loss": 0.7465866583291135,
+ "lyap1_mean": 0.016531670466065407,
+ "lyap1_max": 0.08745168894529343,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 211,
+ "sup_loss": 0.5528222087289989,
+ "rf_loss": 0.0012058153515681624,
+ "total_loss": 0.5648803624775112,
+ "lyap1_mean": 0.011468760669231415,
+ "lyap1_max": 0.08202101290225983,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 212,
+ "sup_loss": 0.7147378341727781,
+ "rf_loss": 0.0007295403629541397,
+ "total_loss": 0.7220332378023195,
+ "lyap1_mean": 0.01922861859202385,
+ "lyap1_max": 0.052720796316862106,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 213,
+ "sup_loss": 0.6681409975097334,
+ "rf_loss": 0.00030364852864295244,
+ "total_loss": 0.671177482796163,
+ "lyap1_mean": 0.002436478156596422,
+ "lyap1_max": 0.039380624890327454,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 214,
+ "sup_loss": 0.6155641896406451,
+ "rf_loss": 0.0007577952346764505,
+ "total_loss": 0.6231421421038249,
+ "lyap1_mean": 0.022880779579281807,
+ "lyap1_max": 0.04405784606933594,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 215,
+ "sup_loss": 0.5152273807299138,
+ "rf_loss": 0.0004905072855763137,
+ "total_loss": 0.5201324537020923,
+ "lyap1_mean": -0.0032790200784802437,
+ "lyap1_max": 0.057187099009752274,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 216,
+ "sup_loss": 0.554077701538708,
+ "rf_loss": 0.0013274673838168383,
+ "total_loss": 0.567352374911215,
+ "lyap1_mean": 0.018518658354878426,
+ "lyap1_max": 0.07696904242038727,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 217,
+ "sup_loss": 0.5800119729142819,
+ "rf_loss": 0.0006531999679282308,
+ "total_loss": 0.5865439723607335,
+ "lyap1_mean": 0.008660789579153061,
+ "lyap1_max": 0.06136894226074219,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 218,
+ "sup_loss": 0.3757513116437074,
+ "rf_loss": 0.0013511214638128877,
+ "total_loss": 0.38926252604900563,
+ "lyap1_mean": 0.005010255146771669,
+ "lyap1_max": 0.08209876716136932,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 219,
+ "sup_loss": 0.5680965947215084,
+ "rf_loss": 6.89315638737753e-05,
+ "total_loss": 0.5687859103311423,
+ "lyap1_mean": -0.007691754959523678,
+ "lyap1_max": 0.02226468361914158,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 220,
+ "sup_loss": 0.5274788204746318,
+ "rf_loss": 0.0021762156393378973,
+ "total_loss": 0.549240977333672,
+ "lyap1_mean": 0.019740436226129532,
+ "lyap1_max": 0.10127531737089157,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 221,
+ "sup_loss": 0.417567790802606,
+ "rf_loss": 0.00113286217674613,
+ "total_loss": 0.4288964125700673,
+ "lyap1_mean": 0.009978339076042175,
+ "lyap1_max": 0.06556389480829239,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 222,
+ "sup_loss": 0.6242560389912776,
+ "rf_loss": 0.0006959447637200356,
+ "total_loss": 0.6312154866284779,
+ "lyap1_mean": 0.014536863192915916,
+ "lyap1_max": 0.061602842062711716,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 223,
+ "sup_loss": 0.6834510081558552,
+ "rf_loss": 0.0005200603045523167,
+ "total_loss": 0.6886516112013784,
+ "lyap1_mean": 0.014848697930574417,
+ "lyap1_max": 0.03759056702256203,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 224,
+ "sup_loss": 0.4227299035781703,
+ "rf_loss": 0.0,
+ "total_loss": 0.4227299035781703,
+ "lyap1_mean": -0.03322649747133255,
+ "lyap1_max": -0.004456042777746916,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 225,
+ "sup_loss": 0.6850653831255723,
+ "rf_loss": 0.0007417663582600653,
+ "total_loss": 0.6924830465917576,
+ "lyap1_mean": 0.022468512877821922,
+ "lyap1_max": 0.04905867576599121,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 226,
+ "sup_loss": 0.6018388224961513,
+ "rf_loss": 0.0009483667090535164,
+ "total_loss": 0.6113224895866864,
+ "lyap1_mean": 0.012973840348422527,
+ "lyap1_max": 0.053409118205308914,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 227,
+ "sup_loss": 0.641655638941842,
+ "rf_loss": 0.0018501726444810629,
+ "total_loss": 0.6601573658523139,
+ "lyap1_mean": 0.028246287256479263,
+ "lyap1_max": 0.10250672698020935,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 228,
+ "sup_loss": 0.6305696942013861,
+ "rf_loss": 0.00047489249845966697,
+ "total_loss": 0.6353186193023981,
+ "lyap1_mean": 0.009582096710801125,
+ "lyap1_max": 0.03648616001009941,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 229,
+ "sup_loss": 0.5507237280309752,
+ "rf_loss": 0.000691907131113112,
+ "total_loss": 0.5576427991092757,
+ "lyap1_mean": 0.017042379826307297,
+ "lyap1_max": 0.04281952232122421,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 230,
+ "sup_loss": 0.40684455119268226,
+ "rf_loss": 0.000573097204323858,
+ "total_loss": 0.41257552335233616,
+ "lyap1_mean": 0.0010803272016346455,
+ "lyap1_max": 0.035771846771240234,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 231,
+ "sup_loss": 0.6227727471574303,
+ "rf_loss": 0.0006086999783292413,
+ "total_loss": 0.628859746707892,
+ "lyap1_mean": 0.0159626342356205,
+ "lyap1_max": 0.04869936779141426,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 232,
+ "sup_loss": 0.539508664932856,
+ "rf_loss": 0.0014083732385188341,
+ "total_loss": 0.553592396852383,
+ "lyap1_mean": 0.019942723214626312,
+ "lyap1_max": 0.07710613310337067,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 233,
+ "sup_loss": 0.5785123333707971,
+ "rf_loss": 0.0009079998126253486,
+ "total_loss": 0.5875923317298812,
+ "lyap1_mean": 0.02312084659934044,
+ "lyap1_max": 0.06324072182178497,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 234,
+ "sup_loss": 0.6562544700581245,
+ "rf_loss": 0.0006231889710761607,
+ "total_loss": 0.6624863596524708,
+ "lyap1_mean": 0.009328074753284454,
+ "lyap1_max": 0.05346018075942993,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 235,
+ "sup_loss": 0.5734584995498386,
+ "rf_loss": 0.0009188057156279683,
+ "total_loss": 0.5826465564732877,
+ "lyap1_mean": 0.019271275028586388,
+ "lyap1_max": 0.0716385766863823,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 236,
+ "sup_loss": 0.6530759047096939,
+ "rf_loss": 0.00032013244344852865,
+ "total_loss": 0.6562772292023868,
+ "lyap1_mean": 0.009269540198147297,
+ "lyap1_max": 0.044956907629966736,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 237,
+ "sup_loss": 0.638279777775879,
+ "rf_loss": 7.466326496796682e-05,
+ "total_loss": 0.6390264104110067,
+ "lyap1_mean": -0.006848230492323637,
+ "lyap1_max": 0.024060459807515144,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 238,
+ "sup_loss": 0.5213128448034283,
+ "rf_loss": 0.00022758441627956927,
+ "total_loss": 0.5235886889080164,
+ "lyap1_mean": -0.0023580132983624935,
+ "lyap1_max": 0.031900860369205475,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 239,
+ "sup_loss": 0.5258675256085222,
+ "rf_loss": 0.0016291553620249033,
+ "total_loss": 0.54215907876311,
+ "lyap1_mean": 0.03504788503050804,
+ "lyap1_max": 0.07585383951663971,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 240,
+ "sup_loss": 0.4841145903071206,
+ "rf_loss": 0.00045884173596277833,
+ "total_loss": 0.4887030075503331,
+ "lyap1_mean": -0.002658786019310355,
+ "lyap1_max": 0.0533653162419796,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 241,
+ "sup_loss": 0.6437200225818241,
+ "rf_loss": 0.000419588788645342,
+ "total_loss": 0.6479159106429005,
+ "lyap1_mean": 0.01173955574631691,
+ "lyap1_max": 0.04536842927336693,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 242,
+ "sup_loss": 0.5388704743153337,
+ "rf_loss": 0.00027447828324511647,
+ "total_loss": 0.5416152570313696,
+ "lyap1_mean": -0.004753063432872295,
+ "lyap1_max": 0.04498082026839256,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 243,
+ "sup_loss": 0.53848895945364,
+ "rf_loss": 0.0008074290817603469,
+ "total_loss": 0.5465632505040741,
+ "lyap1_mean": 0.00547756627202034,
+ "lyap1_max": 0.07245804369449615,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 244,
+ "sup_loss": 0.5933975768714211,
+ "rf_loss": 0.0003507953369989991,
+ "total_loss": 0.5969055302414111,
+ "lyap1_mean": 0.005195820704102516,
+ "lyap1_max": 0.03685785457491875,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 245,
+ "sup_loss": 0.5967669339711588,
+ "rf_loss": 0.001152857905253768,
+ "total_loss": 0.6082955134893577,
+ "lyap1_mean": 0.025892484933137894,
+ "lyap1_max": 0.060187291353940964,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 246,
+ "sup_loss": 0.692872307951996,
+ "rf_loss": 0.0001557980285724625,
+ "total_loss": 0.6944302882668244,
+ "lyap1_mean": -2.6196707040071487e-05,
+ "lyap1_max": 0.030408721417188644,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 247,
+ "sup_loss": 0.5154996737307235,
+ "rf_loss": 0.00047789845848456025,
+ "total_loss": 0.5202786581991538,
+ "lyap1_mean": -0.0012408709153532982,
+ "lyap1_max": 0.046053048223257065,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 248,
+ "sup_loss": 0.4963775751942422,
+ "rf_loss": 0.00018005896708928049,
+ "total_loss": 0.49817816492334266,
+ "lyap1_mean": -0.00399616826325655,
+ "lyap1_max": 0.029052164405584335,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 249,
+ "sup_loss": 0.5074421796273143,
+ "rf_loss": 0.00043686505523510277,
+ "total_loss": 0.5118108303542883,
+ "lyap1_mean": 0.0023757414892315865,
+ "lyap1_max": 0.0425642654299736,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 250,
+ "sup_loss": 0.668334362127997,
+ "rf_loss": 0.0021900306455790997,
+ "total_loss": 0.6902346695151106,
+ "lyap1_mean": 0.03500514104962349,
+ "lyap1_max": 0.09607592225074768,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 251,
+ "sup_loss": 0.5645253776670269,
+ "rf_loss": 0.00026149023324251175,
+ "total_loss": 0.567140279999452,
+ "lyap1_mean": 0.0009009689092636108,
+ "lyap1_max": 0.033402249217033386,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 252,
+ "sup_loss": 0.588676512759994,
+ "rf_loss": 0.0004521271912381053,
+ "total_loss": 0.5931977849052057,
+ "lyap1_mean": 0.011262999847531319,
+ "lyap1_max": 0.036531321704387665,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 253,
+ "sup_loss": 0.6231788608714134,
+ "rf_loss": 0.0010198474628850818,
+ "total_loss": 0.6333773357330948,
+ "lyap1_mean": 0.020509429275989532,
+ "lyap1_max": 0.0507686473429203,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 254,
+ "sup_loss": 0.5214490426991567,
+ "rf_loss": 0.0006083635380491614,
+ "total_loss": 0.527532678312479,
+ "lyap1_mean": 0.016772199422121048,
+ "lyap1_max": 0.03594022989273071,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 255,
+ "sup_loss": 0.6786717739412792,
+ "rf_loss": 0.000815568957477808,
+ "total_loss": 0.6868274635160573,
+ "lyap1_mean": 0.012084105983376503,
+ "lyap1_max": 0.07044506072998047,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 256,
+ "sup_loss": 0.436410172620985,
+ "rf_loss": 0.0006644655950367451,
+ "total_loss": 0.4430548285713525,
+ "lyap1_mean": 0.0008789733983576298,
+ "lyap1_max": 0.06292667984962463,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 257,
+ "sup_loss": 0.48055076812952463,
+ "rf_loss": 0.0004105978296138346,
+ "total_loss": 0.48465674630924765,
+ "lyap1_mean": 0.0042121815495193005,
+ "lyap1_max": 0.04019218310713768,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 258,
+ "sup_loss": 0.6093692774565639,
+ "rf_loss": 0.00011972746142419055,
+ "total_loss": 0.6105665521144615,
+ "lyap1_mean": -0.0036780305672436953,
+ "lyap1_max": 0.027867581695318222,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 259,
+ "sup_loss": 0.5807818723289249,
+ "rf_loss": 0.0003371378406882286,
+ "total_loss": 0.5841532507358072,
+ "lyap1_mean": -0.005954840686172247,
+ "lyap1_max": 0.048811957240104675,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 260,
+ "sup_loss": 0.6283148521094726,
+ "rf_loss": 1.746358429954853e-05,
+ "total_loss": 0.628489487956106,
+ "lyap1_mean": -0.009251194074749947,
+ "lyap1_max": 0.011754598468542099,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 261,
+ "sup_loss": 0.6723329568831293,
+ "rf_loss": 0.0006024195463396609,
+ "total_loss": 0.6783571522301106,
+ "lyap1_mean": 0.008115764707326889,
+ "lyap1_max": 0.057813309133052826,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 262,
+ "sup_loss": 0.502343126436899,
+ "rf_loss": 0.00047394249122589827,
+ "total_loss": 0.5070825515819887,
+ "lyap1_mean": 0.005185799673199654,
+ "lyap1_max": 0.045629195868968964,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 263,
+ "sup_loss": 0.6543793097802532,
+ "rf_loss": 0.0005229219095781446,
+ "total_loss": 0.659608528643204,
+ "lyap1_mean": 0.01574515923857689,
+ "lyap1_max": 0.039718545973300934,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 264,
+ "sup_loss": 0.560697183805041,
+ "rf_loss": 0.00015393465582747012,
+ "total_loss": 0.5622365303342118,
+ "lyap1_mean": -0.0068528722040355206,
+ "lyap1_max": 0.027726979926228523,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 265,
+ "sup_loss": 0.628077686601323,
+ "rf_loss": 0.0006608030525967479,
+ "total_loss": 0.6346857173601211,
+ "lyap1_mean": 0.016267672181129456,
+ "lyap1_max": 0.04745874181389809,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 266,
+ "sup_loss": 0.5303874664987815,
+ "rf_loss": 0.0003153916331939399,
+ "total_loss": 0.5335413829471363,
+ "lyap1_mean": -0.003243794199079275,
+ "lyap1_max": 0.04269319400191307,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 267,
+ "sup_loss": 0.6149338061435672,
+ "rf_loss": 0.0005086935707367957,
+ "total_loss": 0.6200207417345198,
+ "lyap1_mean": 0.01348290964961052,
+ "lyap1_max": 0.04747428745031357,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 268,
+ "sup_loss": 0.6624668964421745,
+ "rf_loss": 0.0002123227750416845,
+ "total_loss": 0.664590124250799,
+ "lyap1_mean": 0.004040702246129513,
+ "lyap1_max": 0.03227268159389496,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 269,
+ "sup_loss": 0.502100233711822,
+ "rf_loss": 0.00012443686136975884,
+ "total_loss": 0.5033446023255196,
+ "lyap1_mean": -0.0119742751121521,
+ "lyap1_max": 0.02759876474738121,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 270,
+ "sup_loss": 0.6907629049169398,
+ "rf_loss": 0.0002962907310575247,
+ "total_loss": 0.6937258122275151,
+ "lyap1_mean": 0.008859322406351566,
+ "lyap1_max": 0.030692560598254204,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 271,
+ "sup_loss": 0.5479937524193051,
+ "rf_loss": 0.0008466854924336076,
+ "total_loss": 0.5564606071108106,
+ "lyap1_mean": 0.002605429384857416,
+ "lyap1_max": 0.0618031844496727,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 272,
+ "sup_loss": 0.6185571970057776,
+ "rf_loss": 6.986016524024308e-05,
+ "total_loss": 0.61925579865818,
+ "lyap1_mean": -0.004112616181373596,
+ "lyap1_max": 0.0220344215631485,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 273,
+ "sup_loss": 0.6920636925784953,
+ "rf_loss": 0.0003537425072863698,
+ "total_loss": 0.695601117651359,
+ "lyap1_mean": 0.009080774150788784,
+ "lyap1_max": 0.04002729430794716,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 274,
+ "sup_loss": 0.6181383747909814,
+ "rf_loss": 0.00019351266382727772,
+ "total_loss": 0.6200735014001504,
+ "lyap1_mean": -0.004702948033809662,
+ "lyap1_max": 0.03003770485520363,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 275,
+ "sup_loss": 0.6192967542846508,
+ "rf_loss": 0.000430976040661335,
+ "total_loss": 0.6236065146912642,
+ "lyap1_mean": 0.012219355441629887,
+ "lyap1_max": 0.04416270554065704,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 276,
+ "sup_loss": 0.6658778789311413,
+ "rf_loss": 0.0006468239589594305,
+ "total_loss": 0.6723461186371509,
+ "lyap1_mean": 0.014412461780011654,
+ "lyap1_max": 0.05076485127210617,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 277,
+ "sup_loss": 0.5101760141690268,
+ "rf_loss": 0.0003052729880437255,
+ "total_loss": 0.5132287440494641,
+ "lyap1_mean": 0.003931479994207621,
+ "lyap1_max": 0.03985090181231499,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 278,
+ "sup_loss": 0.5248102209110779,
+ "rf_loss": 3.8800226320745423e-05,
+ "total_loss": 0.5251982231670094,
+ "lyap1_mean": -0.017056476324796677,
+ "lyap1_max": 0.016681725159287453,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 279,
+ "sup_loss": 0.5845106352107841,
+ "rf_loss": 0.0005418260698206723,
+ "total_loss": 0.5899288957925755,
+ "lyap1_mean": -0.0011990787461400032,
+ "lyap1_max": 0.06479603797197342,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 280,
+ "sup_loss": 0.7378300209061357,
+ "rf_loss": 0.00011753418948501348,
+ "total_loss": 0.7390053628009858,
+ "lyap1_mean": 0.005324062425643206,
+ "lyap1_max": 0.02347879856824875,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 281,
+ "sup_loss": 0.6100997822842711,
+ "rf_loss": 0.000711982196662575,
+ "total_loss": 0.6172196041344815,
+ "lyap1_mean": 0.0049623711965978146,
+ "lyap1_max": 0.07013826817274094,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 282,
+ "sup_loss": 0.5586428928762898,
+ "rf_loss": 0.00017795737949199975,
+ "total_loss": 0.5604224666130021,
+ "lyap1_mean": -0.0011500385589897633,
+ "lyap1_max": 0.03171257674694061,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 283,
+ "sup_loss": 0.5779258598379025,
+ "rf_loss": 0.00040845508920028806,
+ "total_loss": 0.58201041061349,
+ "lyap1_mean": 0.00392950139939785,
+ "lyap1_max": 0.03768810257315636,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 284,
+ "sup_loss": 0.690742196793149,
+ "rf_loss": 2.2666703443974257e-05,
+ "total_loss": 0.6909688638275887,
+ "lyap1_mean": -0.006873303093016148,
+ "lyap1_max": 0.013252988457679749,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 285,
+ "sup_loss": 0.49025701845807823,
+ "rf_loss": 0.00035493570612743497,
+ "total_loss": 0.49380637540293726,
+ "lyap1_mean": -0.008199134841561317,
+ "lyap1_max": 0.048614174127578735,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 286,
+ "sup_loss": 0.378166094983105,
+ "rf_loss": 0.0006813670042902231,
+ "total_loss": 0.3849797650260072,
+ "lyap1_mean": -0.020339803770184517,
+ "lyap1_max": 0.07383045554161072,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 287,
+ "sup_loss": 0.5688991566784477,
+ "rf_loss": 0.0003757399972528219,
+ "total_loss": 0.5726565566509759,
+ "lyap1_mean": 0.0021124822087585926,
+ "lyap1_max": 0.04937127232551575,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 288,
+ "sup_loss": 0.5627747708705195,
+ "rf_loss": 0.0010580687085166574,
+ "total_loss": 0.5733554577228555,
+ "lyap1_mean": 0.0027540121227502823,
+ "lyap1_max": 0.08259472250938416,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 289,
+ "sup_loss": 0.591841330049826,
+ "rf_loss": 0.00022284319857135415,
+ "total_loss": 0.5940697619191242,
+ "lyap1_mean": -0.007233631331473589,
+ "lyap1_max": 0.04163067787885666,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 290,
+ "sup_loss": 0.5861322137763951,
+ "rf_loss": 0.0005777985788881779,
+ "total_loss": 0.5919101995652769,
+ "lyap1_mean": 0.009983602911233902,
+ "lyap1_max": 0.04979053512215614,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 291,
+ "sup_loss": 0.6038713876399426,
+ "rf_loss": 0.0006106756045483053,
+ "total_loss": 0.609978143801841,
+ "lyap1_mean": -0.00048248551320284605,
+ "lyap1_max": 0.06641530245542526,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 292,
+ "sup_loss": 0.47310765304253516,
+ "rf_loss": 9.832986688707024e-05,
+ "total_loss": 0.47409095168230203,
+ "lyap1_mean": -0.012554265558719635,
+ "lyap1_max": 0.025224117562174797,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 293,
+ "sup_loss": 0.38380831467551374,
+ "rf_loss": 0.00012333881750237197,
+ "total_loss": 0.3850417028796413,
+ "lyap1_mean": -0.016264935955405235,
+ "lyap1_max": 0.030495811253786087,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 294,
+ "sup_loss": 0.4934695079269102,
+ "rf_loss": 0.00044442678336054087,
+ "total_loss": 0.49791377552768495,
+ "lyap1_mean": -0.004379328805953264,
+ "lyap1_max": 0.04722317308187485,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 295,
+ "sup_loss": 0.47698582284523006,
+ "rf_loss": 0.00027698170742951334,
+ "total_loss": 0.47975563997773285,
+ "lyap1_mean": 0.0006537237204611301,
+ "lyap1_max": 0.04051271080970764,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 296,
+ "sup_loss": 0.7001889226517783,
+ "rf_loss": 0.0016022961353883147,
+ "total_loss": 0.7162118842384921,
+ "lyap1_mean": 0.01973712630569935,
+ "lyap1_max": 0.10574407130479813,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 297,
+ "sup_loss": 0.44544370211989986,
+ "rf_loss": 0.0003829793422482908,
+ "total_loss": 0.4492734956587981,
+ "lyap1_mean": 0.002936927368864417,
+ "lyap1_max": 0.05196225643157959,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 298,
+ "sup_loss": 0.6280000716679631,
+ "rf_loss": 0.0009881550213322043,
+ "total_loss": 0.6378816221141158,
+ "lyap1_mean": 0.017285332083702087,
+ "lyap1_max": 0.0732579454779625,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 299,
+ "sup_loss": 0.4630208079913135,
+ "rf_loss": 0.0003398679255042225,
+ "total_loss": 0.4664194871881481,
+ "lyap1_mean": -0.003992914222180843,
+ "lyap1_max": 0.0416116863489151,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 300,
+ "sup_loss": 0.5186254014842431,
+ "rf_loss": 4.5956329586260836e-07,
+ "total_loss": 0.5186299971173154,
+ "lyap1_mean": -0.016015592962503433,
+ "lyap1_max": 0.001917421817779541,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 301,
+ "sup_loss": 0.6350624822115049,
+ "rf_loss": 0.0003159022890031338,
+ "total_loss": 0.6382215051015362,
+ "lyap1_mean": 0.004208063706755638,
+ "lyap1_max": 0.046230386942625046,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 302,
+ "sup_loss": 0.6517381629916974,
+ "rf_loss": 0.0009510276722721756,
+ "total_loss": 0.6612484398308345,
+ "lyap1_mean": 0.0033889589831233025,
+ "lyap1_max": 0.08272964507341385,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 303,
+ "sup_loss": 0.7083308667983139,
+ "rf_loss": 0.0005903891869820654,
+ "total_loss": 0.7142347585517193,
+ "lyap1_mean": 0.015271557494997978,
+ "lyap1_max": 0.05618363991379738,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 304,
+ "sup_loss": 0.47227219065729814,
+ "rf_loss": 0.00018945636111311615,
+ "total_loss": 0.47416675432663696,
+ "lyap1_mean": -0.012058818712830544,
+ "lyap1_max": 0.03859322890639305,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 305,
+ "sup_loss": 0.5296428606544215,
+ "rf_loss": 0.00013836551806889474,
+ "total_loss": 0.5310265158933181,
+ "lyap1_mean": -0.003907120320945978,
+ "lyap1_max": 0.024759655818343163,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 306,
+ "sup_loss": 0.5926504113749173,
+ "rf_loss": 0.0001596232905285433,
+ "total_loss": 0.5942466442510989,
+ "lyap1_mean": -0.005048226099461317,
+ "lyap1_max": 0.03276363015174866,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 307,
+ "sup_loss": 0.5883655798222951,
+ "rf_loss": 8.836215420160443e-05,
+ "total_loss": 0.5892492013352073,
+ "lyap1_mean": -0.004442727658897638,
+ "lyap1_max": 0.02323484979569912,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 308,
+ "sup_loss": 0.575674267607118,
+ "rf_loss": 0.00010811837273649871,
+ "total_loss": 0.5767554513926907,
+ "lyap1_mean": -0.003841341007500887,
+ "lyap1_max": 0.024332789704203606,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 309,
+ "sup_loss": 0.565021477346427,
+ "rf_loss": 0.0010180976241827011,
+ "total_loss": 0.5752024535882541,
+ "lyap1_mean": 0.022988973185420036,
+ "lyap1_max": 0.07000269740819931,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 310,
+ "sup_loss": 0.5686005139832898,
+ "rf_loss": 0.0005091879284009337,
+ "total_loss": 0.5736923935001298,
+ "lyap1_mean": 0.009634340181946754,
+ "lyap1_max": 0.046925853937864304,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 311,
+ "sup_loss": 0.5883602115898735,
+ "rf_loss": 0.0004152730980422348,
+ "total_loss": 0.5925129426285035,
+ "lyap1_mean": -0.009472651407122612,
+ "lyap1_max": 0.05353330448269844,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 312,
+ "sup_loss": 0.4594258403334618,
+ "rf_loss": 0.0001766760542523116,
+ "total_loss": 0.46119260093419256,
+ "lyap1_mean": -0.006841627880930901,
+ "lyap1_max": 0.02727053128182888,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 313,
+ "sup_loss": 0.4886937052549303,
+ "rf_loss": 0.0002803609531838447,
+ "total_loss": 0.49149731472856106,
+ "lyap1_mean": -0.0008268142119050026,
+ "lyap1_max": 0.044354163110256195,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 314,
+ "sup_loss": 0.6849960540050033,
+ "rf_loss": 0.0007480352651327848,
+ "total_loss": 0.6924764066563311,
+ "lyap1_mean": 0.009108717553317547,
+ "lyap1_max": 0.044421907514333725,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 315,
+ "sup_loss": 0.6597423954335299,
+ "rf_loss": 0.00034159989445470273,
+ "total_loss": 0.6631583944362845,
+ "lyap1_mean": 0.005528775975108147,
+ "lyap1_max": 0.04851368069648743,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 316,
+ "sup_loss": 0.4755760907033331,
+ "rf_loss": 0.00017998836119659245,
+ "total_loss": 0.4773759742570914,
+ "lyap1_mean": -0.003216829616576433,
+ "lyap1_max": 0.02891397476196289,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 317,
+ "sup_loss": 0.728190342814838,
+ "rf_loss": 0.0005205133347772062,
+ "total_loss": 0.7333954762790253,
+ "lyap1_mean": 0.01270291768014431,
+ "lyap1_max": 0.04416602849960327,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 318,
+ "sup_loss": 0.6268821004918833,
+ "rf_loss": 0.001388594857417047,
+ "total_loss": 0.6407680492988844,
+ "lyap1_mean": 0.023440800607204437,
+ "lyap1_max": 0.09742916375398636,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 319,
+ "sup_loss": 0.5606752556743408,
+ "rf_loss": 0.0006853017257526517,
+ "total_loss": 0.5675282726990367,
+ "lyap1_mean": 0.00602875929325819,
+ "lyap1_max": 0.0699193924665451,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 320,
+ "sup_loss": 0.5522760488054967,
+ "rf_loss": 0.000188505306141451,
+ "total_loss": 0.5541611018087036,
+ "lyap1_mean": -0.011026961728930473,
+ "lyap1_max": 0.028638552874326706,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 321,
+ "sup_loss": 0.49679585864903963,
+ "rf_loss": 0.0014562236610800028,
+ "total_loss": 0.5113580947941784,
+ "lyap1_mean": 0.01396499015390873,
+ "lyap1_max": 0.08900076150894165,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 322,
+ "sup_loss": 0.5764112812247505,
+ "rf_loss": 0.001982365734875202,
+ "total_loss": 0.5962349385735025,
+ "lyap1_mean": 0.02722194418311119,
+ "lyap1_max": 0.09780076891183853,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 323,
+ "sup_loss": 0.709467362382676,
+ "rf_loss": 7.106542034307495e-05,
+ "total_loss": 0.7101780165715549,
+ "lyap1_mean": 0.0018114377744495869,
+ "lyap1_max": 0.017701350152492523,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 324,
+ "sup_loss": 0.6562935510050383,
+ "rf_loss": 0.0006727774743922055,
+ "total_loss": 0.663021325632545,
+ "lyap1_mean": 0.012628873810172081,
+ "lyap1_max": 0.04628196731209755,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 325,
+ "sup_loss": 0.5626986606305763,
+ "rf_loss": 0.0005680201575160027,
+ "total_loss": 0.5683788622057363,
+ "lyap1_mean": 0.0077200233936309814,
+ "lyap1_max": 0.048998937010765076,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 326,
+ "sup_loss": 0.7678348490559058,
+ "rf_loss": 0.002131120068952441,
+ "total_loss": 0.7891460502110915,
+ "lyap1_mean": 0.029252368956804276,
+ "lyap1_max": 0.08850882202386856,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 327,
+ "sup_loss": 0.6095503443719955,
+ "rf_loss": 0.000996251474134624,
+ "total_loss": 0.6195128593461724,
+ "lyap1_mean": 0.018162637948989868,
+ "lyap1_max": 0.06691019982099533,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 328,
+ "sup_loss": 0.5231340558664329,
+ "rf_loss": 0.0009309950983151793,
+ "total_loss": 0.5324440070824153,
+ "lyap1_mean": 0.006559489760547876,
+ "lyap1_max": 0.07528240978717804,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 329,
+ "sup_loss": 0.6213837649551477,
+ "rf_loss": 0.0009687129058875144,
+ "total_loss": 0.6310708943632688,
+ "lyap1_mean": 0.016282377764582634,
+ "lyap1_max": 0.0791468694806099,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 330,
+ "sup_loss": 0.5314226346478756,
+ "rf_loss": 0.00020012224558740854,
+ "total_loss": 0.5334238571037497,
+ "lyap1_mean": -0.006895627360790968,
+ "lyap1_max": 0.027446573600172997,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 331,
+ "sup_loss": 0.6896896026954963,
+ "rf_loss": 9.269209112972021e-05,
+ "total_loss": 0.6906165236067935,
+ "lyap1_mean": 0.0035241241566836834,
+ "lyap1_max": 0.01695333793759346,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 332,
+ "sup_loss": 0.5833394708628299,
+ "rf_loss": 0.00037967428215779364,
+ "total_loss": 0.5871362136262002,
+ "lyap1_mean": 0.006010115146636963,
+ "lyap1_max": 0.03037407249212265,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 333,
+ "sup_loss": 0.5044107638476328,
+ "rf_loss": 0.0013643739512190223,
+ "total_loss": 0.5180545035926537,
+ "lyap1_mean": 0.01482138130813837,
+ "lyap1_max": 0.07998398691415787,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 334,
+ "sup_loss": 0.5619964566101807,
+ "rf_loss": 0.0006640789215452969,
+ "total_loss": 0.5686372457092184,
+ "lyap1_mean": 0.0121536236256361,
+ "lyap1_max": 0.04426022619009018,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 335,
+ "sup_loss": 0.6649879479752278,
+ "rf_loss": 0.0006890525110065937,
+ "total_loss": 0.6718784730852937,
+ "lyap1_mean": 0.019697776064276695,
+ "lyap1_max": 0.04262806475162506,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 336,
+ "sup_loss": 0.49148977021206763,
+ "rf_loss": 0.00041656664689071476,
+ "total_loss": 0.49565543685559776,
+ "lyap1_mean": 0.003261554054915905,
+ "lyap1_max": 0.05105447769165039,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 337,
+ "sup_loss": 0.6077122969287009,
+ "rf_loss": 0.0004370321985334158,
+ "total_loss": 0.612082618914035,
+ "lyap1_mean": 0.004186765290796757,
+ "lyap1_max": 0.05472807213664055,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 338,
+ "sup_loss": 0.4906325206025,
+ "rf_loss": 0.00027289491845294833,
+ "total_loss": 0.4933614699034448,
+ "lyap1_mean": -0.0027193862479180098,
+ "lyap1_max": 0.026839332655072212,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 339,
+ "sup_loss": 0.4663468675118814,
+ "rf_loss": 0.00010545799159444869,
+ "total_loss": 0.46740144736961825,
+ "lyap1_mean": -0.010935144498944283,
+ "lyap1_max": 0.01783331297338009,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 340,
+ "sup_loss": 0.5427842118485591,
+ "rf_loss": 0.00012113979028072208,
+ "total_loss": 0.5439956097804701,
+ "lyap1_mean": -0.010055586695671082,
+ "lyap1_max": 0.030593007802963257,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 341,
+ "sup_loss": 0.5879793211955887,
+ "rf_loss": 0.0007831030525267124,
+ "total_loss": 0.5958103517208558,
+ "lyap1_mean": 0.008561220951378345,
+ "lyap1_max": 0.074375219643116,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 342,
+ "sup_loss": 0.5715550396241339,
+ "rf_loss": 0.0009821285493671894,
+ "total_loss": 0.5813763251178058,
+ "lyap1_mean": 0.018189724534749985,
+ "lyap1_max": 0.06524759531021118,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 343,
+ "sup_loss": 0.5308137856092936,
+ "rf_loss": 0.0004125766863580793,
+ "total_loss": 0.534939552531082,
+ "lyap1_mean": 0.00028079375624656677,
+ "lyap1_max": 0.039647426456213,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 344,
+ "sup_loss": 0.539673915378563,
+ "rf_loss": 0.0003643360687419772,
+ "total_loss": 0.5433172760659828,
+ "lyap1_mean": -0.0010663708671927452,
+ "lyap1_max": 0.04756542295217514,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 345,
+ "sup_loss": 0.6813092292545578,
+ "rf_loss": 0.0024742181412875652,
+ "total_loss": 0.7060514115987561,
+ "lyap1_mean": 0.036949776113033295,
+ "lyap1_max": 0.11466359347105026,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 346,
+ "sup_loss": 0.6294433816370953,
+ "rf_loss": 0.00021930861112195998,
+ "total_loss": 0.6316364677192111,
+ "lyap1_mean": 0.006958538666367531,
+ "lyap1_max": 0.029688356444239616,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 347,
+ "sup_loss": 0.512062958044555,
+ "rf_loss": 0.00021386222215369344,
+ "total_loss": 0.5142015801496767,
+ "lyap1_mean": -0.007566855289041996,
+ "lyap1_max": 0.036401424556970596,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 348,
+ "sup_loss": 0.5731624595727566,
+ "rf_loss": 0.0005427247378975153,
+ "total_loss": 0.5785897069517317,
+ "lyap1_mean": 0.004252607002854347,
+ "lyap1_max": 0.06249060109257698,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 349,
+ "sup_loss": 0.5691068299390253,
+ "rf_loss": 0.0001022243668558076,
+ "total_loss": 0.5701290735784795,
+ "lyap1_mean": -0.004570194985717535,
+ "lyap1_max": 0.019131381064653397,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 350,
+ "sup_loss": 0.7368275092026256,
+ "rf_loss": 0.0020838542841374874,
+ "total_loss": 0.7576660529753231,
+ "lyap1_mean": 0.03515557944774628,
+ "lyap1_max": 0.07394339144229889,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 351,
+ "sup_loss": 0.5737225523177449,
+ "rf_loss": 0.00042424205457791686,
+ "total_loss": 0.5779649729799394,
+ "lyap1_mean": 0.0028352646622806787,
+ "lyap1_max": 0.0407865010201931,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 352,
+ "sup_loss": 0.5104227988566433,
+ "rf_loss": 0.0001432071003364399,
+ "total_loss": 0.5118548698309039,
+ "lyap1_mean": -0.007187318056821823,
+ "lyap1_max": 0.02517467737197876,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 353,
+ "sup_loss": 0.5919121920906788,
+ "rf_loss": 0.0005961635615676641,
+ "total_loss": 0.5978738277063554,
+ "lyap1_mean": 0.0066735344007611275,
+ "lyap1_max": 0.0452338382601738,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 354,
+ "sup_loss": 0.6346497009712245,
+ "rf_loss": 0.0005938321119174361,
+ "total_loss": 0.6405880223232295,
+ "lyap1_mean": 0.013669082894921303,
+ "lyap1_max": 0.05532827973365784,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 355,
+ "sup_loss": 0.6858359738891371,
+ "rf_loss": 0.002158946357667446,
+ "total_loss": 0.7074254374658115,
+ "lyap1_mean": 0.023239213973283768,
+ "lyap1_max": 0.11283740401268005,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 356,
+ "sup_loss": 0.7204163071049681,
+ "rf_loss": 0.0005646421923302114,
+ "total_loss": 0.7260627291446855,
+ "lyap1_mean": 0.015553094446659088,
+ "lyap1_max": 0.048780329525470734,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 357,
+ "sup_loss": 0.6044473685608194,
+ "rf_loss": 0.00043963795178569853,
+ "total_loss": 0.6088437480204687,
+ "lyap1_mean": 0.0007194774225354195,
+ "lyap1_max": 0.05526495724916458,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 358,
+ "sup_loss": 0.6976349586374484,
+ "rf_loss": 0.001113371690735221,
+ "total_loss": 0.7087686760104619,
+ "lyap1_mean": 0.024346597492694855,
+ "lyap1_max": 0.06454373896121979,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 359,
+ "sup_loss": 0.5654634856886103,
+ "rf_loss": 0.0003549940010998398,
+ "total_loss": 0.569013425641401,
+ "lyap1_mean": 0.013194721192121506,
+ "lyap1_max": 0.03123544342815876,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 360,
+ "sup_loss": 0.5764934037252427,
+ "rf_loss": 0.000654324539937079,
+ "total_loss": 0.5830366488917829,
+ "lyap1_mean": 0.005622038152068853,
+ "lyap1_max": 0.06712623685598373,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 361,
+ "sup_loss": 0.6493123714273419,
+ "rf_loss": 0.0004166329454164952,
+ "total_loss": 0.6534787007068839,
+ "lyap1_mean": 0.009055059403181076,
+ "lyap1_max": 0.054312814027071,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 362,
+ "sup_loss": 0.6796986877889887,
+ "rf_loss": 5.578457785304636e-05,
+ "total_loss": 0.680256533596623,
+ "lyap1_mean": -0.00015946285566315055,
+ "lyap1_max": 0.017555974423885345,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 363,
+ "sup_loss": 0.5901119685881475,
+ "rf_loss": 0.0003327106824144721,
+ "total_loss": 0.5934390754122922,
+ "lyap1_mean": 0.003569534979760647,
+ "lyap1_max": 0.0403890386223793,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 364,
+ "sup_loss": 0.5816306319985525,
+ "rf_loss": 0.0011773031437769532,
+ "total_loss": 0.5934036632034914,
+ "lyap1_mean": 0.015879545360803604,
+ "lyap1_max": 0.08397357165813446,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 365,
+ "sup_loss": 0.5065993416455451,
+ "rf_loss": 0.00016026978846639395,
+ "total_loss": 0.508202039530209,
+ "lyap1_mean": 0.001872780965641141,
+ "lyap1_max": 0.0238348301500082,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 366,
+ "sup_loss": 0.43639298242139196,
+ "rf_loss": 0.0003194720484316349,
+ "total_loss": 0.4395877029057083,
+ "lyap1_mean": -0.006670009344816208,
+ "lyap1_max": 0.037759166210889816,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 367,
+ "sup_loss": 0.603838194879828,
+ "rf_loss": 0.0010498668998479843,
+ "total_loss": 0.6143368638783079,
+ "lyap1_mean": 0.012528268620371819,
+ "lyap1_max": 0.08010111004114151,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 368,
+ "sup_loss": 0.6642360166856583,
+ "rf_loss": 0.00021513830870389938,
+ "total_loss": 0.6663873997726973,
+ "lyap1_mean": -0.003375397063791752,
+ "lyap1_max": 0.036579061299562454,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 369,
+ "sup_loss": 0.4896494304873602,
+ "rf_loss": 0.0005476345540955663,
+ "total_loss": 0.4951257757954852,
+ "lyap1_mean": 0.0018440252169966698,
+ "lyap1_max": 0.03938629478216171,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 370,
+ "sup_loss": 0.6307698838365399,
+ "rf_loss": 2.411008972558193e-05,
+ "total_loss": 0.6310109847410716,
+ "lyap1_mean": -0.003023012774065137,
+ "lyap1_max": 0.009025881998240948,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 371,
+ "sup_loss": 0.5056685441886115,
+ "rf_loss": 0.0003392617800273001,
+ "total_loss": 0.5090611618724692,
+ "lyap1_mean": -0.001770008821040392,
+ "lyap1_max": 0.03939680755138397,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 372,
+ "sup_loss": 0.6853943001921786,
+ "rf_loss": 0.0003360433329362422,
+ "total_loss": 0.6887547334633334,
+ "lyap1_mean": 0.0028467844240367413,
+ "lyap1_max": 0.0477142296731472,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 373,
+ "sup_loss": 0.45248529348332955,
+ "rf_loss": 3.881253292092879e-07,
+ "total_loss": 0.45248917473650796,
+ "lyap1_mean": -0.024446334689855576,
+ "lyap1_max": 0.0017621017759665847,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 374,
+ "sup_loss": 0.6081660901185042,
+ "rf_loss": 0.0018055863911285996,
+ "total_loss": 0.6262219537969596,
+ "lyap1_mean": 0.017357323318719864,
+ "lyap1_max": 0.10308169573545456,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 375,
+ "sup_loss": 0.5737096231367446,
+ "rf_loss": 0.0009757112129591405,
+ "total_loss": 0.58346673491709,
+ "lyap1_mean": 0.0143002700060606,
+ "lyap1_max": 0.08013550937175751,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 376,
+ "sup_loss": 0.5905446192055028,
+ "rf_loss": 0.0005282845231704414,
+ "total_loss": 0.5958274645536226,
+ "lyap1_mean": 0.004180390387773514,
+ "lyap1_max": 0.05503135174512863,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 377,
+ "sup_loss": 0.5051058962772721,
+ "rf_loss": 0.0006470964872278273,
+ "total_loss": 0.511576861033135,
+ "lyap1_mean": 0.010483996011316776,
+ "lyap1_max": 0.05942952632904053,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 378,
+ "sup_loss": 0.5168920493733171,
+ "rf_loss": 0.0003970806719735265,
+ "total_loss": 0.5208628558602217,
+ "lyap1_mean": -0.0013332110829651356,
+ "lyap1_max": 0.040666449815034866,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 379,
+ "sup_loss": 0.5076197031583364,
+ "rf_loss": 0.0013023832580074668,
+ "total_loss": 0.5206435359712417,
+ "lyap1_mean": 0.011974343098700047,
+ "lyap1_max": 0.0695444867014885,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 380,
+ "sup_loss": 0.6246409390631195,
+ "rf_loss": 0.0003544996725395322,
+ "total_loss": 0.6281859357885148,
+ "lyap1_mean": 0.009445583447813988,
+ "lyap1_max": 0.040921520441770554,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 381,
+ "sup_loss": 0.5648363834513157,
+ "rf_loss": 0.00015025756147224456,
+ "total_loss": 0.5663389590369343,
+ "lyap1_mean": 0.0011387718841433525,
+ "lyap1_max": 0.023369738832116127,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 382,
+ "sup_loss": 0.6847112348337636,
+ "rf_loss": 0.000260289350990206,
+ "total_loss": 0.6873141282272504,
+ "lyap1_mean": 0.009400379844009876,
+ "lyap1_max": 0.0316903330385685,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 383,
+ "sup_loss": 0.5078477369704538,
+ "rf_loss": 0.0005420648958534002,
+ "total_loss": 0.5132683859289878,
+ "lyap1_mean": 0.00039245374500751495,
+ "lyap1_max": 0.053366657346487045,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 384,
+ "sup_loss": 0.5454141473552574,
+ "rf_loss": 0.00016481467173434794,
+ "total_loss": 0.5470622940143932,
+ "lyap1_mean": -0.0002988353371620178,
+ "lyap1_max": 0.028329012915492058,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 385,
+ "sup_loss": 0.5314890721964353,
+ "rf_loss": 0.0003635714529082179,
+ "total_loss": 0.5351247867255174,
+ "lyap1_mean": -0.0032887253910303116,
+ "lyap1_max": 0.03834802657365799,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 386,
+ "sup_loss": 0.4507188174779929,
+ "rf_loss": 0.00030016922391951084,
+ "total_loss": 0.453720509717188,
+ "lyap1_mean": -0.0028019663877785206,
+ "lyap1_max": 0.03869437426328659,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 387,
+ "sup_loss": 0.5499958181242284,
+ "rf_loss": 0.0013467263197526336,
+ "total_loss": 0.5634630815545854,
+ "lyap1_mean": 0.02036203071475029,
+ "lyap1_max": 0.08998611569404602,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 388,
+ "sup_loss": 0.5288692084642734,
+ "rf_loss": 0.000569686118979007,
+ "total_loss": 0.5345660695376482,
+ "lyap1_mean": 0.004745280370116234,
+ "lyap1_max": 0.049032315611839294,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 389,
+ "sup_loss": 0.5379698370174862,
+ "rf_loss": 0.000368434120900929,
+ "total_loss": 0.5416541782264955,
+ "lyap1_mean": 0.005364011973142624,
+ "lyap1_max": 0.03349562734365463,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 390,
+ "sup_loss": 0.5269726460999729,
+ "rf_loss": 0.0011498038657009602,
+ "total_loss": 0.5384706847569825,
+ "lyap1_mean": 0.0024048909544944763,
+ "lyap1_max": 0.08222439885139465,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 391,
+ "sup_loss": 0.5333836170613314,
+ "rf_loss": 0.00033379040542058647,
+ "total_loss": 0.5367215211737449,
+ "lyap1_mean": 0.008943052962422371,
+ "lyap1_max": 0.03551676869392395,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 392,
+ "sup_loss": 0.7094974187890213,
+ "rf_loss": 0.0004770835512317717,
+ "total_loss": 0.7142682541849237,
+ "lyap1_mean": 0.014534258283674717,
+ "lyap1_max": 0.03776035085320473,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 393,
+ "sup_loss": 0.6845385514799739,
+ "rf_loss": 0.0006011172663420439,
+ "total_loss": 0.6905497241433943,
+ "lyap1_mean": 0.012852964922785759,
+ "lyap1_max": 0.052032340317964554,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 394,
+ "sup_loss": 0.7200295694290555,
+ "rf_loss": 0.00036138587165623903,
+ "total_loss": 0.7236434281456179,
+ "lyap1_mean": 0.010237439535558224,
+ "lyap1_max": 0.047463782131671906,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 395,
+ "sup_loss": 0.6200797906829973,
+ "rf_loss": 0.000565424095839262,
+ "total_loss": 0.62573403164139,
+ "lyap1_mean": 0.007355820387601852,
+ "lyap1_max": 0.06187383830547333,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 396,
+ "sup_loss": 0.5249374141748757,
+ "rf_loss": 0.0012705886038020253,
+ "total_loss": 0.5376432999800653,
+ "lyap1_mean": 0.015769112855196,
+ "lyap1_max": 0.08245047926902771,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 397,
+ "sup_loss": 0.5115856964195853,
+ "rf_loss": 0.00015580278704874218,
+ "total_loss": 0.5131437243482804,
+ "lyap1_mean": -0.0026969527825713158,
+ "lyap1_max": 0.026714956387877464,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 398,
+ "sup_loss": 0.6804921487877212,
+ "rf_loss": 0.0015159365721046925,
+ "total_loss": 0.6956515145087682,
+ "lyap1_mean": 0.027867663651704788,
+ "lyap1_max": 0.07902467250823975,
+ "frac_above_star": 1.0
+ },
+ {
+ "step": 399,
+ "sup_loss": 0.6168544253990973,
+ "rf_loss": 0.0007758259307593107,
+ "total_loss": 0.6246126847066904,
+ "lyap1_mean": 0.014102190732955933,
+ "lyap1_max": 0.06683041155338287,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 400,
+ "sup_loss": 0.5652000822824391,
+ "rf_loss": 3.186024696333334e-05,
+ "total_loss": 0.5655186847666244,
+ "lyap1_mean": -0.011637344025075436,
+ "lyap1_max": 0.01244779210537672,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 401,
+ "sup_loss": 0.572939282333079,
+ "rf_loss": 0.00046197016490623355,
+ "total_loss": 0.5775589840985567,
+ "lyap1_mean": 0.003405065508559346,
+ "lyap1_max": 0.052937645465135574,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 402,
+ "sup_loss": 0.6628684282761889,
+ "rf_loss": 0.00030007361783646047,
+ "total_loss": 0.6658691645127611,
+ "lyap1_mean": 0.011608438566327095,
+ "lyap1_max": 0.03328720107674599,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 403,
+ "sup_loss": 0.5907735788636646,
+ "rf_loss": 0.000629413640126586,
+ "total_loss": 0.5970677152649304,
+ "lyap1_mean": 0.0063894689083099365,
+ "lyap1_max": 0.05061459168791771,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 404,
+ "sup_loss": 0.40334522076010904,
+ "rf_loss": 0.000750912819057703,
+ "total_loss": 0.41085434895068607,
+ "lyap1_mean": -0.004836836364120245,
+ "lyap1_max": 0.06089828908443451,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 405,
+ "sup_loss": 0.6285906688813014,
+ "rf_loss": 9.400859562447295e-05,
+ "total_loss": 0.6295307548520981,
+ "lyap1_mean": -0.0026480592787265778,
+ "lyap1_max": 0.018509410321712494,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 406,
+ "sup_loss": 0.6805270269768343,
+ "rf_loss": 0.0001557527284603566,
+ "total_loss": 0.6820845543196455,
+ "lyap1_mean": -0.005981912836432457,
+ "lyap1_max": 0.02529429830610752,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 407,
+ "sup_loss": 0.5834161578561953,
+ "rf_loss": 0.002050825860351324,
+ "total_loss": 0.6039244173910311,
+ "lyap1_mean": 0.02495523728430271,
+ "lyap1_max": 0.08703725785017014,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 408,
+ "sup_loss": 0.49503520607528867,
+ "rf_loss": 0.00025016168365255,
+ "total_loss": 0.49753682279539885,
+ "lyap1_mean": -0.0017277640290558338,
+ "lyap1_max": 0.03638080134987831,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 409,
+ "sup_loss": 0.7069643437781571,
+ "rf_loss": 0.0007150004967115819,
+ "total_loss": 0.7141143488616882,
+ "lyap1_mean": 0.011749916709959507,
+ "lyap1_max": 0.06846827268600464,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 410,
+ "sup_loss": 0.5996630920881034,
+ "rf_loss": 0.0001442540087737143,
+ "total_loss": 0.6011056321758406,
+ "lyap1_mean": -0.0016870643012225628,
+ "lyap1_max": 0.0296342596411705,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 411,
+ "sup_loss": 0.6234409216715353,
+ "rf_loss": 0.0007408398669213057,
+ "total_loss": 0.6308493203407484,
+ "lyap1_mean": 0.009624337777495384,
+ "lyap1_max": 0.056102123111486435,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 412,
+ "sup_loss": 0.6561891360159693,
+ "rf_loss": 0.00043267529690638185,
+ "total_loss": 0.6605158888686178,
+ "lyap1_mean": 0.012983179651200771,
+ "lyap1_max": 0.04445073753595352,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 413,
+ "sup_loss": 0.6021726538069319,
+ "rf_loss": 0.00011292578710708767,
+ "total_loss": 0.6033019116488989,
+ "lyap1_mean": -0.0038921628147363663,
+ "lyap1_max": 0.02141284942626953,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 414,
+ "sup_loss": 0.7253545645931964,
+ "rf_loss": 0.0005548577173613012,
+ "total_loss": 0.7309031418832247,
+ "lyap1_mean": 0.013621339574456215,
+ "lyap1_max": 0.05164365470409393,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 415,
+ "sup_loss": 0.4915596893022555,
+ "rf_loss": 0.00024983991170302033,
+ "total_loss": 0.4940580883028704,
+ "lyap1_mean": -0.004649571608752012,
+ "lyap1_max": 0.0346728190779686,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 416,
+ "sup_loss": 0.5729274355053658,
+ "rf_loss": 0.00028598951757885516,
+ "total_loss": 0.5757873306229467,
+ "lyap1_mean": 0.002156781032681465,
+ "lyap1_max": 0.029463432729244232,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 417,
+ "sup_loss": 0.6488594448147319,
+ "rf_loss": 0.00013009860413149,
+ "total_loss": 0.6501604308560468,
+ "lyap1_mean": 0.00587348360568285,
+ "lyap1_max": 0.021614640951156616,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 418,
+ "sup_loss": 0.5057207196319915,
+ "rf_loss": 0.0013647193554788828,
+ "total_loss": 0.519367912721119,
+ "lyap1_mean": 0.00720096193253994,
+ "lyap1_max": 0.08280644565820694,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 419,
+ "sup_loss": 0.5565770544409767,
+ "rf_loss": 0.00045526959002017975,
+ "total_loss": 0.5611297503411785,
+ "lyap1_mean": 0.002411630703136325,
+ "lyap1_max": 0.05239469185471535,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 420,
+ "sup_loss": 0.627909582553359,
+ "rf_loss": 0.0001497828052379191,
+ "total_loss": 0.6294074106057382,
+ "lyap1_mean": 0.008976631797850132,
+ "lyap1_max": 0.0219598226249218,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 421,
+ "sup_loss": 0.6038620043819495,
+ "rf_loss": 0.0009461066219955683,
+ "total_loss": 0.6133230701362439,
+ "lyap1_mean": 0.004178513307124376,
+ "lyap1_max": 0.0809682309627533,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 422,
+ "sup_loss": 0.5918668054703133,
+ "rf_loss": 0.00032630038913339376,
+ "total_loss": 0.5951298093616473,
+ "lyap1_mean": -0.0015020484570413828,
+ "lyap1_max": 0.042068563401699066,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 423,
+ "sup_loss": 0.6304913814698189,
+ "rf_loss": 0.00017560854030307382,
+ "total_loss": 0.6322474669019534,
+ "lyap1_mean": 0.005527350585907698,
+ "lyap1_max": 0.025958053767681122,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 424,
+ "sup_loss": 0.6310468412602431,
+ "rf_loss": 0.0,
+ "total_loss": 0.6310468412602431,
+ "lyap1_mean": -0.010564163327217102,
+ "lyap1_max": -0.00021789551828987896,
+ "frac_above_star": 0.0
+ },
+ {
+ "step": 425,
+ "sup_loss": 0.45784195281870355,
+ "rf_loss": 0.0015039435820654035,
+ "total_loss": 0.47288138840652694,
+ "lyap1_mean": 0.0073744612745940685,
+ "lyap1_max": 0.09568604081869125,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 426,
+ "sup_loss": 0.6001709373280957,
+ "rf_loss": 0.00034768713521771133,
+ "total_loss": 0.6036478087384805,
+ "lyap1_mean": -0.006273441947996616,
+ "lyap1_max": 0.04948198422789574,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 427,
+ "sup_loss": 0.6150801639145755,
+ "rf_loss": 9.726414282340556e-05,
+ "total_loss": 0.6160528053137058,
+ "lyap1_mean": -0.0008378657512366772,
+ "lyap1_max": 0.023190103471279144,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 428,
+ "sup_loss": 0.6220422030159192,
+ "rf_loss": 6.572488018719014e-06,
+ "total_loss": 0.6221079278979254,
+ "lyap1_mean": -0.011462900787591934,
+ "lyap1_max": 0.006799769122153521,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 429,
+ "sup_loss": 0.6869251329701175,
+ "rf_loss": 0.00010370797099312767,
+ "total_loss": 0.6879622126946007,
+ "lyap1_mean": -0.004401825834065676,
+ "lyap1_max": 0.028803884983062744,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 430,
+ "sup_loss": 0.6835532823521374,
+ "rf_loss": 0.00010303739691153169,
+ "total_loss": 0.6845836563212527,
+ "lyap1_mean": 0.004810592159628868,
+ "lyap1_max": 0.015324564650654793,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 431,
+ "sup_loss": 0.6482897596939212,
+ "rf_loss": 0.0005008605076000094,
+ "total_loss": 0.653298365002752,
+ "lyap1_mean": 0.01585962064564228,
+ "lyap1_max": 0.03957701474428177,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 432,
+ "sup_loss": 0.5128949620885188,
+ "rf_loss": 0.0005338062765076756,
+ "total_loss": 0.5182330246207649,
+ "lyap1_mean": 0.005884808488190174,
+ "lyap1_max": 0.058925408869981766,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 433,
+ "sup_loss": 0.5267584134517141,
+ "rf_loss": 9.154024883173406e-05,
+ "total_loss": 0.5276738159400315,
+ "lyap1_mean": -0.0030076680704951286,
+ "lyap1_max": 0.023539932444691658,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 434,
+ "sup_loss": 0.5339363118350366,
+ "rf_loss": 0.0008031307952478528,
+ "total_loss": 0.5419676195546845,
+ "lyap1_mean": -0.0012945439666509628,
+ "lyap1_max": 0.06590083241462708,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 435,
+ "sup_loss": 0.44935430001886817,
+ "rf_loss": 0.0002639713929966092,
+ "total_loss": 0.45199401394883426,
+ "lyap1_mean": -0.0021383273415267467,
+ "lyap1_max": 0.03674299269914627,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 436,
+ "sup_loss": 0.6244985425427687,
+ "rf_loss": 0.0005321974167600274,
+ "total_loss": 0.6298205164775383,
+ "lyap1_mean": 0.007703798357397318,
+ "lyap1_max": 0.04862436279654503,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 437,
+ "sup_loss": 0.5734742999769983,
+ "rf_loss": 6.605781527468935e-05,
+ "total_loss": 0.5741348781151933,
+ "lyap1_mean": -0.01170420367270708,
+ "lyap1_max": 0.020282847806811333,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 438,
+ "sup_loss": 0.5367182009034024,
+ "rf_loss": 0.0012397033860906959,
+ "total_loss": 0.54911523499714,
+ "lyap1_mean": 0.024416839703917503,
+ "lyap1_max": 0.06909367442131042,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 439,
+ "sup_loss": 0.5701374755147197,
+ "rf_loss": 0.00024851507623679936,
+ "total_loss": 0.57262262621888,
+ "lyap1_mean": 0.002282819477841258,
+ "lyap1_max": 0.034408826380968094,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 440,
+ "sup_loss": 0.7370459215398351,
+ "rf_loss": 0.0008302667993120849,
+ "total_loss": 0.7453485896493712,
+ "lyap1_mean": 0.010963959619402885,
+ "lyap1_max": 0.07965582609176636,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 441,
+ "sup_loss": 0.5802902933881272,
+ "rf_loss": 0.0008029132732190192,
+ "total_loss": 0.5883194264695634,
+ "lyap1_mean": 0.0038211592473089695,
+ "lyap1_max": 0.06670287996530533,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 442,
+ "sup_loss": 0.6080961817461302,
+ "rf_loss": 0.00022114135208539665,
+ "total_loss": 0.6103075953251919,
+ "lyap1_mean": 0.008365310728549957,
+ "lyap1_max": 0.02928425557911396,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 443,
+ "sup_loss": 0.7018302920091916,
+ "rf_loss": 0.00019115312898065895,
+ "total_loss": 0.703741823328102,
+ "lyap1_mean": 0.007973645813763142,
+ "lyap1_max": 0.026303963735699654,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 444,
+ "sup_loss": 0.6735171745382494,
+ "rf_loss": 0.0006057688733562827,
+ "total_loss": 0.6795748635046429,
+ "lyap1_mean": 0.01073014922440052,
+ "lyap1_max": 0.05514168739318848,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 445,
+ "sup_loss": 0.6168872066801484,
+ "rf_loss": 0.0006672239978797734,
+ "total_loss": 0.6235594465425308,
+ "lyap1_mean": 0.01945606991648674,
+ "lyap1_max": 0.05304383859038353,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 446,
+ "sup_loss": 0.6541377913400276,
+ "rf_loss": 0.00013019013567827642,
+ "total_loss": 0.655439692755018,
+ "lyap1_mean": 0.0056795384734869,
+ "lyap1_max": 0.024301348254084587,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 447,
+ "sup_loss": 0.5037848410955744,
+ "rf_loss": 0.0008381640072911978,
+ "total_loss": 0.5121664816341477,
+ "lyap1_mean": 0.006767883896827698,
+ "lyap1_max": 0.06775818765163422,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 448,
+ "sup_loss": 0.7121827533439079,
+ "rf_loss": 0.0010883106151595712,
+ "total_loss": 0.723065859262673,
+ "lyap1_mean": 0.020773785188794136,
+ "lyap1_max": 0.07207153737545013,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 449,
+ "sup_loss": 0.6872449485828689,
+ "rf_loss": 0.0001371081016259268,
+ "total_loss": 0.6886160295700243,
+ "lyap1_mean": -0.0047721657902002335,
+ "lyap1_max": 0.031106751412153244,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 450,
+ "sup_loss": 0.5877425207473577,
+ "rf_loss": 0.0004045801761094481,
+ "total_loss": 0.5917883224502445,
+ "lyap1_mean": -0.0032404689118266106,
+ "lyap1_max": 0.0545145682990551,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 451,
+ "sup_loss": 0.6285994553501062,
+ "rf_loss": 0.000674187671393156,
+ "total_loss": 0.6353413320640378,
+ "lyap1_mean": 0.01212258916348219,
+ "lyap1_max": 0.06815747916698456,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 452,
+ "sup_loss": 0.5174236038226411,
+ "rf_loss": 0.00014100654516369104,
+ "total_loss": 0.518833669274278,
+ "lyap1_mean": -0.011302345432341099,
+ "lyap1_max": 0.029395990073680878,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 453,
+ "sup_loss": 0.5283324840740421,
+ "rf_loss": 0.0003214805037714541,
+ "total_loss": 0.5315472889953413,
+ "lyap1_mean": -0.011366383172571659,
+ "lyap1_max": 0.049223072826862335,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 454,
+ "sup_loss": 0.5516888675943047,
+ "rf_loss": 0.00018002571596298367,
+ "total_loss": 0.5534891247248307,
+ "lyap1_mean": 0.0035978148225694895,
+ "lyap1_max": 0.027391474694013596,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 455,
+ "sup_loss": 0.5984492387154546,
+ "rf_loss": 0.0002870395255740732,
+ "total_loss": 0.601319634029403,
+ "lyap1_mean": 0.0027138597797602415,
+ "lyap1_max": 0.03200436383485794,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 456,
+ "sup_loss": 0.47642694545042813,
+ "rf_loss": 0.0003091857361141592,
+ "total_loss": 0.47951880275336206,
+ "lyap1_mean": -0.006020090077072382,
+ "lyap1_max": 0.03699228912591934,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 457,
+ "sup_loss": 0.5193866467827046,
+ "rf_loss": 3.8033507735235617e-05,
+ "total_loss": 0.519766981867333,
+ "lyap1_mean": -0.0038572940975427628,
+ "lyap1_max": 0.011033263057470322,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 458,
+ "sup_loss": 0.5978622746461986,
+ "rf_loss": 0.0007390760583803058,
+ "total_loss": 0.6052530354628323,
+ "lyap1_mean": 0.01736600697040558,
+ "lyap1_max": 0.050454430282115936,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 459,
+ "sup_loss": 0.6009187731234462,
+ "rf_loss": 0.0005841127713210881,
+ "total_loss": 0.6067599007202418,
+ "lyap1_mean": 0.004203352611511946,
+ "lyap1_max": 0.06538873165845871,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 460,
+ "sup_loss": 0.5866158492639928,
+ "rf_loss": 0.0022028374951332808,
+ "total_loss": 0.6086442246809869,
+ "lyap1_mean": 0.03129594027996063,
+ "lyap1_max": 0.10213279724121094,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 461,
+ "sup_loss": 0.6013367878185982,
+ "rf_loss": 1.3936414688942023e-05,
+ "total_loss": 0.6014761519618497,
+ "lyap1_mean": -0.004803543910384178,
+ "lyap1_max": 0.008004220202565193,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 462,
+ "sup_loss": 0.6328166259722785,
+ "rf_loss": 0.0004784899647347629,
+ "total_loss": 0.6376015257360415,
+ "lyap1_mean": 0.0035753827542066574,
+ "lyap1_max": 0.051336925476789474,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 463,
+ "sup_loss": 0.6922471474872204,
+ "rf_loss": 0.0002732179709710181,
+ "total_loss": 0.6949793270805152,
+ "lyap1_mean": 0.009404178708791733,
+ "lyap1_max": 0.028710413724184036,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 464,
+ "sup_loss": 0.6133904769007251,
+ "rf_loss": 0.000972564856056124,
+ "total_loss": 0.6231161258105323,
+ "lyap1_mean": 0.013939298689365387,
+ "lyap1_max": 0.06116606667637825,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 465,
+ "sup_loss": 0.5844109328823899,
+ "rf_loss": 0.0014510162873193622,
+ "total_loss": 0.5989210959884141,
+ "lyap1_mean": 0.02346675470471382,
+ "lyap1_max": 0.0658489316701889,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 466,
+ "sup_loss": 0.4752100576398734,
+ "rf_loss": 3.8133428006403847e-06,
+ "total_loss": 0.47524819106833455,
+ "lyap1_mean": -0.018492313101887703,
+ "lyap1_max": 0.005270127207040787,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 467,
+ "sup_loss": 0.5174349903224045,
+ "rf_loss": 0.00016030955885071307,
+ "total_loss": 0.5190380858818078,
+ "lyap1_mean": -0.003217207733541727,
+ "lyap1_max": 0.02992914989590645,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 468,
+ "sup_loss": 0.6392807896032973,
+ "rf_loss": 0.0015839618863537908,
+ "total_loss": 0.6551204091653271,
+ "lyap1_mean": 0.027627233415842056,
+ "lyap1_max": 0.07932497560977936,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 469,
+ "sup_loss": 0.6645594808537991,
+ "rf_loss": 0.00036392317269928753,
+ "total_loss": 0.6681987125225843,
+ "lyap1_mean": -0.0013449788093566895,
+ "lyap1_max": 0.053432147949934006,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 470,
+ "sup_loss": 0.5462240071932881,
+ "rf_loss": 7.661266135983169e-05,
+ "total_loss": 0.5469901338068864,
+ "lyap1_mean": -0.010325491428375244,
+ "lyap1_max": 0.01975431479513645,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 471,
+ "sup_loss": 0.5744209941692878,
+ "rf_loss": 0.0011252196272835135,
+ "total_loss": 0.5856731906749536,
+ "lyap1_mean": 0.009270399808883667,
+ "lyap1_max": 0.08158635348081589,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 472,
+ "sup_loss": 0.517675192393362,
+ "rf_loss": 0.0012297132052481174,
+ "total_loss": 0.5299723244458432,
+ "lyap1_mean": 0.01751953363418579,
+ "lyap1_max": 0.07042503356933594,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 473,
+ "sup_loss": 0.4686891913155135,
+ "rf_loss": 0.0001915582688525319,
+ "total_loss": 0.47060477400403883,
+ "lyap1_mean": -0.011141394264996052,
+ "lyap1_max": 0.031838808208703995,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 474,
+ "sup_loss": 0.4003238561475136,
+ "rf_loss": 9.329379047073871e-09,
+ "total_loss": 0.40032394944130584,
+ "lyap1_mean": -0.026516221463680267,
+ "lyap1_max": 0.000273194134933874,
+ "frac_above_star": 0.125
+ },
+ {
+ "step": 475,
+ "sup_loss": 0.7621093411620966,
+ "rf_loss": 0.0007349292864091694,
+ "total_loss": 0.769458633909773,
+ "lyap1_mean": 0.01840776577591896,
+ "lyap1_max": 0.06239471212029457,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 476,
+ "sup_loss": 0.4543383118339418,
+ "rf_loss": 6.716648204019293e-05,
+ "total_loss": 0.45500997666889564,
+ "lyap1_mean": -0.01818840205669403,
+ "lyap1_max": 0.02220148965716362,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 477,
+ "sup_loss": 0.43814936752142486,
+ "rf_loss": 0.000599355495069176,
+ "total_loss": 0.4441429223557013,
+ "lyap1_mean": -0.0024815332144498825,
+ "lyap1_max": 0.048911310732364655,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 478,
+ "sup_loss": 0.5813335402311092,
+ "rf_loss": 0.0002259703032905236,
+ "total_loss": 0.5835932433513259,
+ "lyap1_mean": 0.0034893141128122807,
+ "lyap1_max": 0.032613709568977356,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 479,
+ "sup_loss": 0.5657119466334631,
+ "rf_loss": 0.00021865639428142458,
+ "total_loss": 0.5678985106635889,
+ "lyap1_mean": 0.0010783395264297724,
+ "lyap1_max": 0.04061697795987129,
+ "frac_above_star": 0.25
+ },
+ {
+ "step": 480,
+ "sup_loss": 0.5785044365704688,
+ "rf_loss": 0.0004176773363724351,
+ "total_loss": 0.5826812097013625,
+ "lyap1_mean": 0.010904524475336075,
+ "lyap1_max": 0.03878149762749672,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 481,
+ "sup_loss": 0.5277677355876046,
+ "rf_loss": 0.0018180578481405973,
+ "total_loss": 0.5459483145346719,
+ "lyap1_mean": 0.01779581978917122,
+ "lyap1_max": 0.08770474046468735,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 482,
+ "sup_loss": 0.6710332324205731,
+ "rf_loss": 0.00022889197862241417,
+ "total_loss": 0.6733221522941087,
+ "lyap1_mean": 0.008959061466157436,
+ "lyap1_max": 0.02786858007311821,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 483,
+ "sup_loss": 0.6245788050721427,
+ "rf_loss": 0.00043100834591314197,
+ "total_loss": 0.6288888886476894,
+ "lyap1_mean": 0.01046258956193924,
+ "lyap1_max": 0.0339430570602417,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 484,
+ "sup_loss": 0.5038616326816875,
+ "rf_loss": 0.00015215536404866725,
+ "total_loss": 0.5053831862930703,
+ "lyap1_mean": -0.016575444489717484,
+ "lyap1_max": 0.033285852521657944,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 485,
+ "sup_loss": 0.661058847389182,
+ "rf_loss": 0.0005655979039147496,
+ "total_loss": 0.6667148261954988,
+ "lyap1_mean": 0.007435116916894913,
+ "lyap1_max": 0.05226515233516693,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 486,
+ "sup_loss": 0.6932750974127343,
+ "rf_loss": 6.162594945635647e-05,
+ "total_loss": 0.6938913569364017,
+ "lyap1_mean": -0.004711184184998274,
+ "lyap1_max": 0.017965301871299744,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 487,
+ "sup_loss": 0.5993411807862082,
+ "rf_loss": 0.0017356069292873144,
+ "total_loss": 0.6166972505447427,
+ "lyap1_mean": 0.031791623681783676,
+ "lyap1_max": 0.08455614745616913,
+ "frac_above_star": 0.875
+ },
+ {
+ "step": 488,
+ "sup_loss": 0.573225607111097,
+ "rf_loss": 0.00038969400338828564,
+ "total_loss": 0.5771225471449799,
+ "lyap1_mean": -0.0011116662062704563,
+ "lyap1_max": 0.051423463970422745,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 489,
+ "sup_loss": 0.5404840803505158,
+ "rf_loss": 0.0007807168876752257,
+ "total_loss": 0.5482912494600987,
+ "lyap1_mean": 0.01752007007598877,
+ "lyap1_max": 0.061233021318912506,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 490,
+ "sup_loss": 0.5467991275743913,
+ "rf_loss": 0.0001050820792443119,
+ "total_loss": 0.5478499483813863,
+ "lyap1_mean": -0.0009340705582872033,
+ "lyap1_max": 0.020717773586511612,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 491,
+ "sup_loss": 0.5014601778719895,
+ "rf_loss": 0.00011632672976702452,
+ "total_loss": 0.5026234451696597,
+ "lyap1_mean": -0.008874282240867615,
+ "lyap1_max": 0.02464975044131279,
+ "frac_above_star": 0.5
+ },
+ {
+ "step": 492,
+ "sup_loss": 0.6064857657338164,
+ "rf_loss": 0.0007977400673553348,
+ "total_loss": 0.6144631666402004,
+ "lyap1_mean": 0.004616769030690193,
+ "lyap1_max": 0.061514712870121,
+ "frac_above_star": 0.375
+ },
+ {
+ "step": 493,
+ "sup_loss": 0.5780196547496772,
+ "rf_loss": 0.0009382953285239637,
+ "total_loss": 0.5874026076856709,
+ "lyap1_mean": 0.014271985739469528,
+ "lyap1_max": 0.05014101788401604,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 494,
+ "sup_loss": 0.5419349327276531,
+ "rf_loss": 0.000823323498480022,
+ "total_loss": 0.550168167945284,
+ "lyap1_mean": 0.013496987521648407,
+ "lyap1_max": 0.05268796533346176,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 495,
+ "sup_loss": 0.6135956306807654,
+ "rf_loss": 6.649903662037104e-05,
+ "total_loss": 0.6142606210760729,
+ "lyap1_mean": -0.008617247454822063,
+ "lyap1_max": 0.022002562880516052,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 496,
+ "sup_loss": 0.5355216016870309,
+ "rf_loss": 0.00012240192154422402,
+ "total_loss": 0.5367456209024731,
+ "lyap1_mean": -0.000908819492906332,
+ "lyap1_max": 0.028065763413906097,
+ "frac_above_star": 0.625
+ },
+ {
+ "step": 497,
+ "sup_loss": 0.6255697321595508,
+ "rf_loss": 0.001027928083203733,
+ "total_loss": 0.6358490132244188,
+ "lyap1_mean": 0.016107089817523956,
+ "lyap1_max": 0.07828459143638611,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 498,
+ "sup_loss": 0.6379837861170957,
+ "rf_loss": 0.0007789340452291071,
+ "total_loss": 0.6457731264529715,
+ "lyap1_mean": 0.009908278472721577,
+ "lyap1_max": 0.05926204472780228,
+ "frac_above_star": 0.75
+ },
+ {
+ "step": 499,
+ "sup_loss": 0.5720497635953591,
+ "rf_loss": 0.003212743904441595,
+ "total_loss": 0.6041772035710976,
+ "lyap1_mean": 0.04025490581989288,
+ "lyap1_max": 0.09121154993772507,
+ "frac_above_star": 0.75
+ }
+ ],
+ "evals": [
+ {
+ "step": 0,
+ "acc": 0.59765625,
+ "tok_acc": 0.8614245756172839
+ },
+ {
+ "step": 100,
+ "acc": 0.486328125,
+ "tok_acc": 0.8324170524691358
+ },
+ {
+ "step": 200,
+ "acc": 0.466796875,
+ "tok_acc": 0.8266782407407407
+ },
+ {
+ "step": 300,
+ "acc": 0.3671875,
+ "tok_acc": 0.7974537037037037
+ },
+ {
+ "step": 400,
+ "acc": 0.412109375,
+ "tok_acc": 0.8092447916666666
+ },
+ {
+ "step": 500,
+ "acc": 0.408203125,
+ "tok_acc": 0.8081597222222222
+ },
+ {
+ "step": 500,
+ "acc": 0.408203125,
+ "tok_acc": 0.8081597222222222
+ }
+ ],
+ "final_acc": 0.408203125,
+ "final_tok_acc": 0.8081597222222222
+} \ No newline at end of file