diff options
Diffstat (limited to 'research/flossing/step3_A_baseline_18228.json')
| -rw-r--r-- | research/flossing/step3_A_baseline_18228.json | 4561 |
1 files changed, 4561 insertions, 0 deletions
diff --git a/research/flossing/step3_A_baseline_18228.json b/research/flossing/step3_A_baseline_18228.json new file mode 100644 index 0000000..49f659f --- /dev/null +++ b/research/flossing/step3_A_baseline_18228.json @@ -0,0 +1,4561 @@ +{ + "args": { + "ckpt_root": "/home/yurenh2/rrm/hrm/checkpoints/Sudoku-extreme-1k-aug-1000 ACT-torch/HierarchicalReasoningModel_ACTV1 righteous-python", + "ckpt_name": "step_18228", + "n_steps": 500, + "batch_size": 8, + "lr": 1e-05, + "alpha_rf": 0.0, + "lambda_star": -0.15, + "k_lyap": 2, + "lyap_act_steps": 4, + "seed": 42, + "eval_every": 100, + "eval_n": 512, + "eval_batch_size": 32, + "out": "/home/yurenh2/rrm/research/flossing/step3_A_baseline_18228.json" + }, + "initial_acc": 0.484375, + "initial_tok_acc": 0.8186487268518519, + "steps": [ + { + "step": 0, + "sup_loss": 0.7508054523299416, + "rf_loss": 0.0, + "total_loss": 0.7508054523299416, + "lyap1_mean": -0.17879289388656616, + "lyap1_max": -0.10999822616577148, + "frac_above_star": 0.375 + }, + { + "step": 1, + "sup_loss": 0.6381189975279657, + "rf_loss": 0.0, + "total_loss": 0.6381189975279657, + "lyap1_mean": -0.14847642183303833, + "lyap1_max": -0.06863464415073395, + "frac_above_star": 0.375 + }, + { + "step": 2, + "sup_loss": 0.920961582026917, + "rf_loss": 0.0, + "total_loss": 0.920961582026917, + "lyap1_mean": -0.1246810108423233, + "lyap1_max": -0.046219583600759506, + "frac_above_star": 0.5 + }, + { + "step": 3, + "sup_loss": 0.6557593535366144, + "rf_loss": 0.0, + "total_loss": 0.6557593535366144, + "lyap1_mean": -0.1723688542842865, + "lyap1_max": -0.07691899687051773, + "frac_above_star": 0.375 + }, + { + "step": 4, + "sup_loss": 0.7716543886529403, + "rf_loss": 0.0, + "total_loss": 0.7716543886529403, + "lyap1_mean": -0.139896422624588, + "lyap1_max": -0.06322578340768814, + "frac_above_star": 0.625 + }, + { + "step": 5, + "sup_loss": 0.7654934720609743, + "rf_loss": 0.0, + "total_loss": 0.7654934720609743, + "lyap1_mean": -0.16189315915107727, + "lyap1_max": -0.08011576533317566, + "frac_above_star": 0.375 + }, + { + "step": 6, + "sup_loss": 0.7426334699024513, + "rf_loss": 0.0, + "total_loss": 0.7426334699024513, + "lyap1_mean": -0.14846795797348022, + "lyap1_max": -0.07411885261535645, + "frac_above_star": 0.5 + }, + { + "step": 7, + "sup_loss": 0.7083378875347073, + "rf_loss": 0.0, + "total_loss": 0.7083378875347073, + "lyap1_mean": -0.1743912249803543, + "lyap1_max": -0.13206356763839722, + "frac_above_star": 0.375 + }, + { + "step": 8, + "sup_loss": 0.8252708730630746, + "rf_loss": 0.0, + "total_loss": 0.8252708730630746, + "lyap1_mean": -0.14190596342086792, + "lyap1_max": -0.07920557260513306, + "frac_above_star": 0.625 + }, + { + "step": 9, + "sup_loss": 0.9110846380976877, + "rf_loss": 0.0, + "total_loss": 0.9110846380976877, + "lyap1_mean": -0.18161988258361816, + "lyap1_max": -0.10778291523456573, + "frac_above_star": 0.125 + }, + { + "step": 10, + "sup_loss": 0.8819244105760637, + "rf_loss": 0.0, + "total_loss": 0.8819244105760637, + "lyap1_mean": -0.12454663962125778, + "lyap1_max": -0.04023103788495064, + "frac_above_star": 0.625 + }, + { + "step": 11, + "sup_loss": 0.7957635444444746, + "rf_loss": 0.0, + "total_loss": 0.7957635444444746, + "lyap1_mean": -0.13510766625404358, + "lyap1_max": -0.0868789553642273, + "frac_above_star": 0.625 + }, + { + "step": 12, + "sup_loss": 0.6988325384966291, + "rf_loss": 0.0, + "total_loss": 0.6988325384966291, + "lyap1_mean": -0.15672287344932556, + "lyap1_max": -0.10549238324165344, + "frac_above_star": 0.5 + }, + { + "step": 13, + "sup_loss": 0.8617737202372041, + "rf_loss": 0.0, + "total_loss": 0.8617737202372041, + "lyap1_mean": -0.1546022593975067, + "lyap1_max": -0.09533485770225525, + "frac_above_star": 0.375 + }, + { + "step": 14, + "sup_loss": 0.7081542809084416, + "rf_loss": 0.0, + "total_loss": 0.7081542809084416, + "lyap1_mean": -0.18880106508731842, + "lyap1_max": -0.09848764538764954, + "frac_above_star": 0.25 + }, + { + "step": 15, + "sup_loss": 0.8436445337056616, + "rf_loss": 0.0, + "total_loss": 0.8436445337056616, + "lyap1_mean": -0.1685861051082611, + "lyap1_max": -0.11851417273283005, + "frac_above_star": 0.5 + }, + { + "step": 16, + "sup_loss": 0.7146490287991718, + "rf_loss": 0.0, + "total_loss": 0.7146490287991718, + "lyap1_mean": -0.1753126084804535, + "lyap1_max": -0.11952000856399536, + "frac_above_star": 0.375 + }, + { + "step": 17, + "sup_loss": 0.8707209099531091, + "rf_loss": 0.0, + "total_loss": 0.8707209099531091, + "lyap1_mean": -0.16811901330947876, + "lyap1_max": -0.14422306418418884, + "frac_above_star": 0.25 + }, + { + "step": 18, + "sup_loss": 0.7220423724611537, + "rf_loss": 0.0, + "total_loss": 0.7220423724611537, + "lyap1_mean": -0.15425041317939758, + "lyap1_max": -0.05658171325922012, + "frac_above_star": 0.625 + }, + { + "step": 19, + "sup_loss": 0.7355282622113358, + "rf_loss": 0.0, + "total_loss": 0.7355282622113358, + "lyap1_mean": -0.15405164659023285, + "lyap1_max": -0.09650364518165588, + "frac_above_star": 0.625 + }, + { + "step": 20, + "sup_loss": 0.7381993249418917, + "rf_loss": 0.0, + "total_loss": 0.7381993249418917, + "lyap1_mean": -0.1694677621126175, + "lyap1_max": -0.12249492108821869, + "frac_above_star": 0.125 + }, + { + "step": 21, + "sup_loss": 0.6270933026712642, + "rf_loss": 0.0, + "total_loss": 0.6270933026712642, + "lyap1_mean": -0.15711519122123718, + "lyap1_max": -0.0985545814037323, + "frac_above_star": 0.375 + }, + { + "step": 22, + "sup_loss": 0.7678594713314041, + "rf_loss": 0.0, + "total_loss": 0.7678594713314041, + "lyap1_mean": -0.19700512290000916, + "lyap1_max": -0.11436732858419418, + "frac_above_star": 0.25 + }, + { + "step": 23, + "sup_loss": 0.7240836721120644, + "rf_loss": 0.0, + "total_loss": 0.7240836721120644, + "lyap1_mean": -0.15350046753883362, + "lyap1_max": -0.0728691816329956, + "frac_above_star": 0.375 + }, + { + "step": 24, + "sup_loss": 0.7639787031515156, + "rf_loss": 0.0, + "total_loss": 0.7639787031515156, + "lyap1_mean": -0.14491266012191772, + "lyap1_max": -0.10191614925861359, + "frac_above_star": 0.5 + }, + { + "step": 25, + "sup_loss": 0.9092219317427941, + "rf_loss": 0.0, + "total_loss": 0.9092219317427941, + "lyap1_mean": -0.14990653097629547, + "lyap1_max": -0.06264296174049377, + "frac_above_star": 0.625 + }, + { + "step": 26, + "sup_loss": 0.9866295226786154, + "rf_loss": 0.0, + "total_loss": 0.9866295226786154, + "lyap1_mean": -0.13692894577980042, + "lyap1_max": -0.10619254410266876, + "frac_above_star": 0.625 + }, + { + "step": 27, + "sup_loss": 0.677226183828727, + "rf_loss": 0.0, + "total_loss": 0.677226183828727, + "lyap1_mean": -0.18599821627140045, + "lyap1_max": -0.023210372775793076, + "frac_above_star": 0.5 + }, + { + "step": 28, + "sup_loss": 0.8761925404511932, + "rf_loss": 0.0, + "total_loss": 0.8761925404511932, + "lyap1_mean": -0.16588285565376282, + "lyap1_max": -0.10044191777706146, + "frac_above_star": 0.25 + }, + { + "step": 29, + "sup_loss": 0.9024805316187124, + "rf_loss": 0.0, + "total_loss": 0.9024805316187124, + "lyap1_mean": -0.14879286289215088, + "lyap1_max": -0.060498904436826706, + "frac_above_star": 0.5 + }, + { + "step": 30, + "sup_loss": 0.7984522576434686, + "rf_loss": 0.0, + "total_loss": 0.7984522576434686, + "lyap1_mean": -0.12256719172000885, + "lyap1_max": -0.07412600517272949, + "frac_above_star": 0.625 + }, + { + "step": 31, + "sup_loss": 0.747473052046045, + "rf_loss": 0.0, + "total_loss": 0.747473052046045, + "lyap1_mean": -0.14090818166732788, + "lyap1_max": -0.10178808867931366, + "frac_above_star": 0.625 + }, + { + "step": 32, + "sup_loss": 0.7196224878997012, + "rf_loss": 0.0, + "total_loss": 0.7196224878997012, + "lyap1_mean": -0.1437368392944336, + "lyap1_max": -0.03808300942182541, + "frac_above_star": 0.375 + }, + { + "step": 33, + "sup_loss": 0.660227471493835, + "rf_loss": 0.0, + "total_loss": 0.660227471493835, + "lyap1_mean": -0.16393373906612396, + "lyap1_max": -0.12859858572483063, + "frac_above_star": 0.625 + }, + { + "step": 34, + "sup_loss": 0.8678963141915232, + "rf_loss": 0.0, + "total_loss": 0.8678963141915232, + "lyap1_mean": -0.12931445240974426, + "lyap1_max": -0.05733048915863037, + "frac_above_star": 0.625 + }, + { + "step": 35, + "sup_loss": 0.6479901476676619, + "rf_loss": 0.0, + "total_loss": 0.6479901476676619, + "lyap1_mean": -0.17110323905944824, + "lyap1_max": -0.10949365794658661, + "frac_above_star": 0.5 + }, + { + "step": 36, + "sup_loss": 0.685989214125466, + "rf_loss": 0.0, + "total_loss": 0.685989214125466, + "lyap1_mean": -0.15916958451271057, + "lyap1_max": -0.10218954086303711, + "frac_above_star": 0.5 + }, + { + "step": 37, + "sup_loss": 0.8938957232037819, + "rf_loss": 0.0, + "total_loss": 0.8938957232037819, + "lyap1_mean": -0.15364490449428558, + "lyap1_max": -0.0925011858344078, + "frac_above_star": 0.5 + }, + { + "step": 38, + "sup_loss": 0.6564478080507442, + "rf_loss": 0.0, + "total_loss": 0.6564478080507442, + "lyap1_mean": -0.18442586064338684, + "lyap1_max": -0.10002289712429047, + "frac_above_star": 0.375 + }, + { + "step": 39, + "sup_loss": 0.8501599775778212, + "rf_loss": 0.0, + "total_loss": 0.8501599775778212, + "lyap1_mean": -0.15941086411476135, + "lyap1_max": -0.11410510540008545, + "frac_above_star": 0.5 + }, + { + "step": 40, + "sup_loss": 0.8522803453736564, + "rf_loss": 0.0, + "total_loss": 0.8522803453736564, + "lyap1_mean": -0.14958824217319489, + "lyap1_max": -0.05972806736826897, + "frac_above_star": 0.5 + }, + { + "step": 41, + "sup_loss": 0.7023017319892694, + "rf_loss": 0.0, + "total_loss": 0.7023017319892694, + "lyap1_mean": -0.16853785514831543, + "lyap1_max": -0.07837656140327454, + "frac_above_star": 0.375 + }, + { + "step": 42, + "sup_loss": 0.8268912983557454, + "rf_loss": 0.0, + "total_loss": 0.8268912983557454, + "lyap1_mean": -0.18648895621299744, + "lyap1_max": -0.10980802774429321, + "frac_above_star": 0.375 + }, + { + "step": 43, + "sup_loss": 0.7883527182324053, + "rf_loss": 0.0, + "total_loss": 0.7883527182324053, + "lyap1_mean": -0.18781229853630066, + "lyap1_max": -0.13735920190811157, + "frac_above_star": 0.25 + }, + { + "step": 44, + "sup_loss": 0.8655153104010546, + "rf_loss": 0.0, + "total_loss": 0.8655153104010546, + "lyap1_mean": -0.15001854300498962, + "lyap1_max": -0.06429610401391983, + "frac_above_star": 0.375 + }, + { + "step": 45, + "sup_loss": 0.8011090149840244, + "rf_loss": 0.0, + "total_loss": 0.8011090149840244, + "lyap1_mean": -0.17271775007247925, + "lyap1_max": -0.12372180074453354, + "frac_above_star": 0.5 + }, + { + "step": 46, + "sup_loss": 0.8648192694830736, + "rf_loss": 0.0, + "total_loss": 0.8648192694830736, + "lyap1_mean": -0.13779111206531525, + "lyap1_max": -0.0983174666762352, + "frac_above_star": 0.625 + }, + { + "step": 47, + "sup_loss": 0.8077945609273363, + "rf_loss": 0.0, + "total_loss": 0.8077945609273363, + "lyap1_mean": -0.15844297409057617, + "lyap1_max": -0.08084163069725037, + "frac_above_star": 0.625 + }, + { + "step": 48, + "sup_loss": 0.8066542872995737, + "rf_loss": 0.0, + "total_loss": 0.8066542872995737, + "lyap1_mean": -0.15384458005428314, + "lyap1_max": -0.0835886001586914, + "frac_above_star": 0.375 + }, + { + "step": 49, + "sup_loss": 0.7363441911082781, + "rf_loss": 0.0, + "total_loss": 0.7363441911082781, + "lyap1_mean": -0.1630004644393921, + "lyap1_max": -0.07332494854927063, + "frac_above_star": 0.125 + }, + { + "step": 50, + "sup_loss": 0.8712133184874343, + "rf_loss": 0.0, + "total_loss": 0.8712133184874343, + "lyap1_mean": -0.13909418880939484, + "lyap1_max": -0.1081944927573204, + "frac_above_star": 0.75 + }, + { + "step": 51, + "sup_loss": 0.8685245731711979, + "rf_loss": 0.0, + "total_loss": 0.8685245731711979, + "lyap1_mean": -0.16444672644138336, + "lyap1_max": -0.10736866295337677, + "frac_above_star": 0.375 + }, + { + "step": 52, + "sup_loss": 0.5509775880850651, + "rf_loss": 0.0, + "total_loss": 0.5509775880850651, + "lyap1_mean": -0.2078653872013092, + "lyap1_max": -0.11114724725484848, + "frac_above_star": 0.375 + }, + { + "step": 53, + "sup_loss": 0.6936963549594944, + "rf_loss": 0.0, + "total_loss": 0.6936963549594944, + "lyap1_mean": -0.2019190639257431, + "lyap1_max": -0.15284404158592224, + "frac_above_star": 0.0 + }, + { + "step": 54, + "sup_loss": 0.7024292227473531, + "rf_loss": 0.0, + "total_loss": 0.7024292227473531, + "lyap1_mean": -0.1553461253643036, + "lyap1_max": -0.08895543217658997, + "frac_above_star": 0.375 + }, + { + "step": 55, + "sup_loss": 0.7445191259563607, + "rf_loss": 0.0, + "total_loss": 0.7445191259563607, + "lyap1_mean": -0.16333749890327454, + "lyap1_max": -0.0964542031288147, + "frac_above_star": 0.5 + }, + { + "step": 56, + "sup_loss": 0.8127742256662227, + "rf_loss": 0.0, + "total_loss": 0.8127742256662227, + "lyap1_mean": -0.16633470356464386, + "lyap1_max": -0.11846259236335754, + "frac_above_star": 0.5 + }, + { + "step": 57, + "sup_loss": 0.9233665618370123, + "rf_loss": 0.0, + "total_loss": 0.9233665618370123, + "lyap1_mean": -0.16146525740623474, + "lyap1_max": -0.13593822717666626, + "frac_above_star": 0.25 + }, + { + "step": 58, + "sup_loss": 0.7645052478647205, + "rf_loss": 0.0, + "total_loss": 0.7645052478647205, + "lyap1_mean": -0.17744597792625427, + "lyap1_max": -0.09541004151105881, + "frac_above_star": 0.125 + }, + { + "step": 59, + "sup_loss": 0.6068348455285577, + "rf_loss": 0.0, + "total_loss": 0.6068348455285577, + "lyap1_mean": -0.18343304097652435, + "lyap1_max": -0.13964973390102386, + "frac_above_star": 0.125 + }, + { + "step": 60, + "sup_loss": 0.8130395460873354, + "rf_loss": 0.0, + "total_loss": 0.8130395460873354, + "lyap1_mean": -0.17240700125694275, + "lyap1_max": -0.10154496878385544, + "frac_above_star": 0.25 + }, + { + "step": 61, + "sup_loss": 0.8423642426182787, + "rf_loss": 0.0, + "total_loss": 0.8423642426182787, + "lyap1_mean": -0.1507667750120163, + "lyap1_max": -0.08850302547216415, + "frac_above_star": 0.5 + }, + { + "step": 62, + "sup_loss": 0.638602696053281, + "rf_loss": 0.0, + "total_loss": 0.638602696053281, + "lyap1_mean": -0.19268205761909485, + "lyap1_max": -0.12525491416454315, + "frac_above_star": 0.125 + }, + { + "step": 63, + "sup_loss": 0.722499379503328, + "rf_loss": 0.0, + "total_loss": 0.722499379503328, + "lyap1_mean": -0.17416611313819885, + "lyap1_max": -0.12107708305120468, + "frac_above_star": 0.25 + }, + { + "step": 64, + "sup_loss": 0.8042065508764233, + "rf_loss": 0.0, + "total_loss": 0.8042065508764233, + "lyap1_mean": -0.14741352200508118, + "lyap1_max": -0.09750208258628845, + "frac_above_star": 0.375 + }, + { + "step": 65, + "sup_loss": 0.8333426527576675, + "rf_loss": 0.0, + "total_loss": 0.8333426527576675, + "lyap1_mean": -0.17592103779315948, + "lyap1_max": -0.11383139342069626, + "frac_above_star": 0.25 + }, + { + "step": 66, + "sup_loss": 0.7086360201007744, + "rf_loss": 0.0, + "total_loss": 0.7086360201007744, + "lyap1_mean": -0.1699470579624176, + "lyap1_max": -0.12289084494113922, + "frac_above_star": 0.25 + }, + { + "step": 67, + "sup_loss": 0.747304977931068, + "rf_loss": 0.0, + "total_loss": 0.747304977931068, + "lyap1_mean": -0.16206924617290497, + "lyap1_max": -0.12690868973731995, + "frac_above_star": 0.375 + }, + { + "step": 68, + "sup_loss": 0.7617864802570373, + "rf_loss": 0.0, + "total_loss": 0.7617864802570373, + "lyap1_mean": -0.18942135572433472, + "lyap1_max": -0.1364736258983612, + "frac_above_star": 0.25 + }, + { + "step": 69, + "sup_loss": 0.8708633474945344, + "rf_loss": 0.0, + "total_loss": 0.8708633474945344, + "lyap1_mean": -0.1435757577419281, + "lyap1_max": -0.0665513128042221, + "frac_above_star": 0.5 + }, + { + "step": 70, + "sup_loss": 0.7594557196418832, + "rf_loss": 0.0, + "total_loss": 0.7594557196418832, + "lyap1_mean": -0.1646062731742859, + "lyap1_max": -0.09050988405942917, + "frac_above_star": 0.375 + }, + { + "step": 71, + "sup_loss": 0.8935818978720971, + "rf_loss": 0.0, + "total_loss": 0.8935818978720971, + "lyap1_mean": -0.1661282479763031, + "lyap1_max": -0.1016981452703476, + "frac_above_star": 0.25 + }, + { + "step": 72, + "sup_loss": 0.6191306120827365, + "rf_loss": 0.0, + "total_loss": 0.6191306120827365, + "lyap1_mean": -0.1981104165315628, + "lyap1_max": -0.06395280361175537, + "frac_above_star": 0.125 + }, + { + "step": 73, + "sup_loss": 0.7742075176261897, + "rf_loss": 0.0, + "total_loss": 0.7742075176261897, + "lyap1_mean": -0.17546319961547852, + "lyap1_max": -0.08072634786367416, + "frac_above_star": 0.25 + }, + { + "step": 74, + "sup_loss": 0.9472097419076957, + "rf_loss": 0.0, + "total_loss": 0.9472097419076957, + "lyap1_mean": -0.13676945865154266, + "lyap1_max": -0.06630612909793854, + "frac_above_star": 0.5 + }, + { + "step": 75, + "sup_loss": 0.7382268090671706, + "rf_loss": 0.0, + "total_loss": 0.7382268090671706, + "lyap1_mean": -0.158485546708107, + "lyap1_max": -0.05148278921842575, + "frac_above_star": 0.375 + }, + { + "step": 76, + "sup_loss": 0.7866506757995613, + "rf_loss": 0.0, + "total_loss": 0.7866506757995613, + "lyap1_mean": -0.15159474313259125, + "lyap1_max": -0.07025748491287231, + "frac_above_star": 0.25 + }, + { + "step": 77, + "sup_loss": 0.748346706960747, + "rf_loss": 0.0, + "total_loss": 0.748346706960747, + "lyap1_mean": -0.17873361706733704, + "lyap1_max": -0.12981189787387848, + "frac_above_star": 0.375 + }, + { + "step": 78, + "sup_loss": 0.8496607906371556, + "rf_loss": 0.0, + "total_loss": 0.8496607906371556, + "lyap1_mean": -0.14947092533111572, + "lyap1_max": -0.07089568674564362, + "frac_above_star": 0.5 + }, + { + "step": 79, + "sup_loss": 0.8303330030029864, + "rf_loss": 0.0, + "total_loss": 0.8303330030029864, + "lyap1_mean": -0.1707930564880371, + "lyap1_max": -0.11241373419761658, + "frac_above_star": 0.375 + }, + { + "step": 80, + "sup_loss": 0.711475223651421, + "rf_loss": 0.0, + "total_loss": 0.711475223651421, + "lyap1_mean": -0.17162004113197327, + "lyap1_max": -0.12558454275131226, + "frac_above_star": 0.25 + }, + { + "step": 81, + "sup_loss": 0.7543616409402055, + "rf_loss": 0.0, + "total_loss": 0.7543616409402055, + "lyap1_mean": -0.15021869540214539, + "lyap1_max": -0.06789236515760422, + "frac_above_star": 0.5 + }, + { + "step": 82, + "sup_loss": 0.5543846550216507, + "rf_loss": 0.0, + "total_loss": 0.5543846550216507, + "lyap1_mean": -0.20413176715373993, + "lyap1_max": -0.15523125231266022, + "frac_above_star": 0.0 + }, + { + "step": 83, + "sup_loss": 0.8496928336086514, + "rf_loss": 0.0, + "total_loss": 0.8496928336086514, + "lyap1_mean": -0.15197598934173584, + "lyap1_max": -0.10922110080718994, + "frac_above_star": 0.5 + }, + { + "step": 84, + "sup_loss": 0.7424288573553138, + "rf_loss": 0.0, + "total_loss": 0.7424288573553138, + "lyap1_mean": -0.1701209992170334, + "lyap1_max": -0.09117963910102844, + "frac_above_star": 0.375 + }, + { + "step": 85, + "sup_loss": 0.8336720029914608, + "rf_loss": 0.0, + "total_loss": 0.8336720029914608, + "lyap1_mean": -0.13811351358890533, + "lyap1_max": -0.04473697394132614, + "frac_above_star": 0.375 + }, + { + "step": 86, + "sup_loss": 0.8140982477391714, + "rf_loss": 0.0, + "total_loss": 0.8140982477391714, + "lyap1_mean": -0.1575945019721985, + "lyap1_max": -0.08637851476669312, + "frac_above_star": 0.375 + }, + { + "step": 87, + "sup_loss": 0.8366099425011755, + "rf_loss": 0.0, + "total_loss": 0.8366099425011755, + "lyap1_mean": -0.14526359736919403, + "lyap1_max": -0.0783766508102417, + "frac_above_star": 0.5 + }, + { + "step": 88, + "sup_loss": 0.8790077254641995, + "rf_loss": 0.0, + "total_loss": 0.8790077254641995, + "lyap1_mean": -0.1662643551826477, + "lyap1_max": -0.08812348544597626, + "frac_above_star": 0.125 + }, + { + "step": 89, + "sup_loss": 0.9014353804306208, + "rf_loss": 0.0, + "total_loss": 0.9014353804306208, + "lyap1_mean": -0.14314761757850647, + "lyap1_max": -0.04831795021891594, + "frac_above_star": 0.5 + }, + { + "step": 90, + "sup_loss": 0.6190121080992709, + "rf_loss": 0.0, + "total_loss": 0.6190121080992709, + "lyap1_mean": -0.18452754616737366, + "lyap1_max": -0.08351722359657288, + "frac_above_star": 0.375 + }, + { + "step": 91, + "sup_loss": 0.75152023793069, + "rf_loss": 0.0, + "total_loss": 0.75152023793069, + "lyap1_mean": -0.15810558199882507, + "lyap1_max": -0.09635188430547714, + "frac_above_star": 0.625 + }, + { + "step": 92, + "sup_loss": 0.9430082469786791, + "rf_loss": 0.0, + "total_loss": 0.9430082469786791, + "lyap1_mean": -0.15500229597091675, + "lyap1_max": -0.12292113900184631, + "frac_above_star": 0.5 + }, + { + "step": 93, + "sup_loss": 0.8353791705094538, + "rf_loss": 0.0, + "total_loss": 0.8353791705094538, + "lyap1_mean": -0.17987823486328125, + "lyap1_max": -0.11321427673101425, + "frac_above_star": 0.25 + }, + { + "step": 94, + "sup_loss": 0.8265291729914145, + "rf_loss": 0.0, + "total_loss": 0.8265291729914145, + "lyap1_mean": -0.16272582113742828, + "lyap1_max": -0.09377007186412811, + "frac_above_star": 0.25 + }, + { + "step": 95, + "sup_loss": 0.7804440064662428, + "rf_loss": 0.0, + "total_loss": 0.7804440064662428, + "lyap1_mean": -0.16850252449512482, + "lyap1_max": -0.09075435250997543, + "frac_above_star": 0.375 + }, + { + "step": 96, + "sup_loss": 0.7869948738293915, + "rf_loss": 0.0, + "total_loss": 0.7869948738293915, + "lyap1_mean": -0.16709908843040466, + "lyap1_max": -0.10482695698738098, + "frac_above_star": 0.375 + }, + { + "step": 97, + "sup_loss": 0.5693125781402548, + "rf_loss": 0.0, + "total_loss": 0.5693125781402548, + "lyap1_mean": -0.14396172761917114, + "lyap1_max": -0.0871390625834465, + "frac_above_star": 0.625 + }, + { + "step": 98, + "sup_loss": 0.8649845487804783, + "rf_loss": 0.0, + "total_loss": 0.8649845487804783, + "lyap1_mean": -0.16538377106189728, + "lyap1_max": -0.09554102271795273, + "frac_above_star": 0.25 + }, + { + "step": 99, + "sup_loss": 0.6587054927348499, + "rf_loss": 0.0, + "total_loss": 0.6587054927348499, + "lyap1_mean": -0.20355746150016785, + "lyap1_max": -0.14768505096435547, + "frac_above_star": 0.125 + }, + { + "step": 100, + "sup_loss": 0.6866941057802247, + "rf_loss": 0.0, + "total_loss": 0.6866941057802247, + "lyap1_mean": -0.16496028006076813, + "lyap1_max": -0.0621064230799675, + "frac_above_star": 0.375 + }, + { + "step": 101, + "sup_loss": 0.815411268292559, + "rf_loss": 0.0, + "total_loss": 0.815411268292559, + "lyap1_mean": -0.1916370391845703, + "lyap1_max": -0.12010078877210617, + "frac_above_star": 0.25 + }, + { + "step": 102, + "sup_loss": 0.654093281953142, + "rf_loss": 0.0, + "total_loss": 0.654093281953142, + "lyap1_mean": -0.19658276438713074, + "lyap1_max": -0.0940123200416565, + "frac_above_star": 0.25 + }, + { + "step": 103, + "sup_loss": 0.8347277970386494, + "rf_loss": 0.0, + "total_loss": 0.8347277970386494, + "lyap1_mean": -0.15537866950035095, + "lyap1_max": -0.04376024752855301, + "frac_above_star": 0.25 + }, + { + "step": 104, + "sup_loss": 0.8490884219161339, + "rf_loss": 0.0, + "total_loss": 0.8490884219161339, + "lyap1_mean": -0.18306569755077362, + "lyap1_max": -0.13555312156677246, + "frac_above_star": 0.125 + }, + { + "step": 105, + "sup_loss": 0.825916541772141, + "rf_loss": 0.0, + "total_loss": 0.825916541772141, + "lyap1_mean": -0.15749093890190125, + "lyap1_max": -0.12788885831832886, + "frac_above_star": 0.5 + }, + { + "step": 106, + "sup_loss": 0.7370245224776596, + "rf_loss": 0.0, + "total_loss": 0.7370245224776596, + "lyap1_mean": -0.16352492570877075, + "lyap1_max": -0.11004003882408142, + "frac_above_star": 0.25 + }, + { + "step": 107, + "sup_loss": 0.6854658083423077, + "rf_loss": 0.0, + "total_loss": 0.6854658083423077, + "lyap1_mean": -0.17781609296798706, + "lyap1_max": -0.12451523542404175, + "frac_above_star": 0.375 + }, + { + "step": 108, + "sup_loss": 0.7292081188839594, + "rf_loss": 0.0, + "total_loss": 0.7292081188839594, + "lyap1_mean": -0.14917972683906555, + "lyap1_max": -0.08300156891345978, + "frac_above_star": 0.5 + }, + { + "step": 109, + "sup_loss": 0.784976386817219, + "rf_loss": 0.0, + "total_loss": 0.784976386817219, + "lyap1_mean": -0.17583386600017548, + "lyap1_max": -0.10455971956253052, + "frac_above_star": 0.25 + }, + { + "step": 110, + "sup_loss": 0.6986593778254103, + "rf_loss": 0.0, + "total_loss": 0.6986593778254103, + "lyap1_mean": -0.15256470441818237, + "lyap1_max": -0.06983283162117004, + "frac_above_star": 0.375 + }, + { + "step": 111, + "sup_loss": 0.7901237276541033, + "rf_loss": 0.0, + "total_loss": 0.7901237276541033, + "lyap1_mean": -0.16887792944908142, + "lyap1_max": -0.12046787142753601, + "frac_above_star": 0.25 + }, + { + "step": 112, + "sup_loss": 0.7633777039460217, + "rf_loss": 0.0, + "total_loss": 0.7633777039460217, + "lyap1_mean": -0.13871178030967712, + "lyap1_max": -0.06532857567071915, + "frac_above_star": 0.625 + }, + { + "step": 113, + "sup_loss": 0.6989884858341359, + "rf_loss": 0.0, + "total_loss": 0.6989884858341359, + "lyap1_mean": -0.156656414270401, + "lyap1_max": -0.10345061123371124, + "frac_above_star": 0.375 + }, + { + "step": 114, + "sup_loss": 0.8486223425908462, + "rf_loss": 0.0, + "total_loss": 0.8486223425908462, + "lyap1_mean": -0.15381872653961182, + "lyap1_max": -0.06997483968734741, + "frac_above_star": 0.5 + }, + { + "step": 115, + "sup_loss": 0.7743923541799856, + "rf_loss": 0.0, + "total_loss": 0.7743923541799856, + "lyap1_mean": -0.17975987493991852, + "lyap1_max": -0.12333868443965912, + "frac_above_star": 0.25 + }, + { + "step": 116, + "sup_loss": 0.7601419307306978, + "rf_loss": 0.0, + "total_loss": 0.7601419307306978, + "lyap1_mean": -0.16493864357471466, + "lyap1_max": -0.1356087625026703, + "frac_above_star": 0.25 + }, + { + "step": 117, + "sup_loss": 0.955838066878242, + "rf_loss": 0.0, + "total_loss": 0.955838066878242, + "lyap1_mean": -0.13981740176677704, + "lyap1_max": -0.07912229746580124, + "frac_above_star": 0.625 + }, + { + "step": 118, + "sup_loss": 0.660329802617232, + "rf_loss": 0.0, + "total_loss": 0.660329802617232, + "lyap1_mean": -0.18750841915607452, + "lyap1_max": -0.12899531424045563, + "frac_above_star": 0.25 + }, + { + "step": 119, + "sup_loss": 0.6676595644827654, + "rf_loss": 0.0, + "total_loss": 0.6676595644827654, + "lyap1_mean": -0.17441704869270325, + "lyap1_max": -0.1014769971370697, + "frac_above_star": 0.375 + }, + { + "step": 120, + "sup_loss": 0.8417527768736416, + "rf_loss": 0.0, + "total_loss": 0.8417527768736416, + "lyap1_mean": -0.17680798470973969, + "lyap1_max": -0.1451968252658844, + "frac_above_star": 0.125 + }, + { + "step": 121, + "sup_loss": 0.8457242591276094, + "rf_loss": 0.0, + "total_loss": 0.8457242591276094, + "lyap1_mean": -0.15181848406791687, + "lyap1_max": -0.05758094787597656, + "frac_above_star": 0.375 + }, + { + "step": 122, + "sup_loss": 0.9016021766853792, + "rf_loss": 0.0, + "total_loss": 0.9016021766853792, + "lyap1_mean": -0.14311325550079346, + "lyap1_max": -0.05694222450256348, + "frac_above_star": 0.5 + }, + { + "step": 123, + "sup_loss": 0.9620800697289877, + "rf_loss": 0.0, + "total_loss": 0.9620800697289877, + "lyap1_mean": -0.15166735649108887, + "lyap1_max": -0.09002067148685455, + "frac_above_star": 0.5 + }, + { + "step": 124, + "sup_loss": 0.9304407937332235, + "rf_loss": 0.0, + "total_loss": 0.9304407937332235, + "lyap1_mean": -0.1470491886138916, + "lyap1_max": -0.0618913397192955, + "frac_above_star": 0.25 + }, + { + "step": 125, + "sup_loss": 0.5619373412418867, + "rf_loss": 0.0, + "total_loss": 0.5619373412418867, + "lyap1_mean": -0.18299615383148193, + "lyap1_max": -0.08456675708293915, + "frac_above_star": 0.125 + }, + { + "step": 126, + "sup_loss": 0.8260140659268844, + "rf_loss": 0.0, + "total_loss": 0.8260140659268844, + "lyap1_mean": -0.18072207272052765, + "lyap1_max": -0.13084833323955536, + "frac_above_star": 0.5 + }, + { + "step": 127, + "sup_loss": 0.6757473359853299, + "rf_loss": 0.0, + "total_loss": 0.6757473359853299, + "lyap1_mean": -0.20162570476531982, + "lyap1_max": -0.12825532257556915, + "frac_above_star": 0.25 + }, + { + "step": 128, + "sup_loss": 0.6305910398672151, + "rf_loss": 0.0, + "total_loss": 0.6305910398672151, + "lyap1_mean": -0.16946029663085938, + "lyap1_max": -0.09538817405700684, + "frac_above_star": 0.25 + }, + { + "step": 129, + "sup_loss": 0.6896504632923691, + "rf_loss": 0.0, + "total_loss": 0.6896504632923691, + "lyap1_mean": -0.16079777479171753, + "lyap1_max": -0.14737436175346375, + "frac_above_star": 0.25 + }, + { + "step": 130, + "sup_loss": 0.7287323180914838, + "rf_loss": 0.0, + "total_loss": 0.7287323180914838, + "lyap1_mean": -0.19441163539886475, + "lyap1_max": -0.10844863951206207, + "frac_above_star": 0.5 + }, + { + "step": 131, + "sup_loss": 0.6436506781374187, + "rf_loss": 0.0, + "total_loss": 0.6436506781374187, + "lyap1_mean": -0.1528644859790802, + "lyap1_max": -0.09223517775535583, + "frac_above_star": 0.25 + }, + { + "step": 132, + "sup_loss": 0.8400634454765036, + "rf_loss": 0.0, + "total_loss": 0.8400634454765036, + "lyap1_mean": -0.18952378630638123, + "lyap1_max": -0.13697023689746857, + "frac_above_star": 0.25 + }, + { + "step": 133, + "sup_loss": 0.8219913240744527, + "rf_loss": 0.0, + "total_loss": 0.8219913240744527, + "lyap1_mean": -0.17911605536937714, + "lyap1_max": -0.13052064180374146, + "frac_above_star": 0.375 + }, + { + "step": 134, + "sup_loss": 0.592112661060101, + "rf_loss": 0.0, + "total_loss": 0.592112661060101, + "lyap1_mean": -0.19582167267799377, + "lyap1_max": -0.09135673940181732, + "frac_above_star": 0.25 + }, + { + "step": 135, + "sup_loss": 0.921601049533596, + "rf_loss": 0.0, + "total_loss": 0.921601049533596, + "lyap1_mean": -0.14996547996997833, + "lyap1_max": -0.08217509090900421, + "frac_above_star": 0.5 + }, + { + "step": 136, + "sup_loss": 0.7981632022952743, + "rf_loss": 0.0, + "total_loss": 0.7981632022952743, + "lyap1_mean": -0.14370253682136536, + "lyap1_max": -0.07384543865919113, + "frac_above_star": 0.375 + }, + { + "step": 137, + "sup_loss": 0.9201292194082724, + "rf_loss": 0.0, + "total_loss": 0.9201292194082724, + "lyap1_mean": -0.15774281322956085, + "lyap1_max": -0.11570347845554352, + "frac_above_star": 0.5 + }, + { + "step": 138, + "sup_loss": 0.5948195372506441, + "rf_loss": 0.0, + "total_loss": 0.5948195372506441, + "lyap1_mean": -0.18303409218788147, + "lyap1_max": -0.10825040936470032, + "frac_above_star": 0.625 + }, + { + "step": 139, + "sup_loss": 0.7679047371658227, + "rf_loss": 0.0, + "total_loss": 0.7679047371658227, + "lyap1_mean": -0.14913536608219147, + "lyap1_max": -0.077750064432621, + "frac_above_star": 0.5 + }, + { + "step": 140, + "sup_loss": 0.9250237098729512, + "rf_loss": 0.0, + "total_loss": 0.9250237098729512, + "lyap1_mean": -0.14437159895896912, + "lyap1_max": -0.07870525866746902, + "frac_above_star": 0.5 + }, + { + "step": 141, + "sup_loss": 0.9703032220117247, + "rf_loss": 0.0, + "total_loss": 0.9703032220117247, + "lyap1_mean": -0.16042396426200867, + "lyap1_max": -0.12105744332075119, + "frac_above_star": 0.375 + }, + { + "step": 142, + "sup_loss": 0.6199094143900852, + "rf_loss": 0.0, + "total_loss": 0.6199094143900852, + "lyap1_mean": -0.15959349274635315, + "lyap1_max": -0.12368543446063995, + "frac_above_star": 0.5 + }, + { + "step": 143, + "sup_loss": 0.7697681647915596, + "rf_loss": 0.0, + "total_loss": 0.7697681647915596, + "lyap1_mean": -0.1820775717496872, + "lyap1_max": -0.11671548336744308, + "frac_above_star": 0.375 + }, + { + "step": 144, + "sup_loss": 0.8759033472630101, + "rf_loss": 0.0, + "total_loss": 0.8759033472630101, + "lyap1_mean": -0.16220083832740784, + "lyap1_max": -0.12876692414283752, + "frac_above_star": 0.5 + }, + { + "step": 145, + "sup_loss": 0.8351165783694824, + "rf_loss": 0.0, + "total_loss": 0.8351165783694824, + "lyap1_mean": -0.1743474304676056, + "lyap1_max": -0.13104021549224854, + "frac_above_star": 0.375 + }, + { + "step": 146, + "sup_loss": 0.7757553834222283, + "rf_loss": 0.0, + "total_loss": 0.7757553834222283, + "lyap1_mean": -0.15085607767105103, + "lyap1_max": -0.0984565019607544, + "frac_above_star": 0.5 + }, + { + "step": 147, + "sup_loss": 0.703740101052167, + "rf_loss": 0.0, + "total_loss": 0.703740101052167, + "lyap1_mean": -0.1437152922153473, + "lyap1_max": -0.06447684019804001, + "frac_above_star": 0.5 + }, + { + "step": 148, + "sup_loss": 0.7037897893422227, + "rf_loss": 0.0, + "total_loss": 0.7037897893422227, + "lyap1_mean": -0.19087958335876465, + "lyap1_max": -0.10306984186172485, + "frac_above_star": 0.375 + }, + { + "step": 149, + "sup_loss": 0.6451608912032144, + "rf_loss": 0.0, + "total_loss": 0.6451608912032144, + "lyap1_mean": -0.14693716168403625, + "lyap1_max": -0.06929440051317215, + "frac_above_star": 0.75 + }, + { + "step": 150, + "sup_loss": 0.6093654600111018, + "rf_loss": 0.0, + "total_loss": 0.6093654600111018, + "lyap1_mean": -0.21578870713710785, + "lyap1_max": -0.14894571900367737, + "frac_above_star": 0.125 + }, + { + "step": 151, + "sup_loss": 0.7593428557828911, + "rf_loss": 0.0, + "total_loss": 0.7593428557828911, + "lyap1_mean": -0.16671112179756165, + "lyap1_max": -0.06271255016326904, + "frac_above_star": 0.375 + }, + { + "step": 152, + "sup_loss": 0.7341314484482316, + "rf_loss": 0.0, + "total_loss": 0.7341314484482316, + "lyap1_mean": -0.1743217259645462, + "lyap1_max": -0.06622255593538284, + "frac_above_star": 0.375 + }, + { + "step": 153, + "sup_loss": 0.7284180487868753, + "rf_loss": 0.0, + "total_loss": 0.7284180487868753, + "lyap1_mean": -0.16200008988380432, + "lyap1_max": -0.08652240037918091, + "frac_above_star": 0.625 + }, + { + "step": 154, + "sup_loss": 0.8255643007749824, + "rf_loss": 0.0, + "total_loss": 0.8255643007749824, + "lyap1_mean": -0.15083032846450806, + "lyap1_max": -0.11748942732810974, + "frac_above_star": 0.625 + }, + { + "step": 155, + "sup_loss": 0.7272769405544478, + "rf_loss": 0.0, + "total_loss": 0.7272769405544478, + "lyap1_mean": -0.19292950630187988, + "lyap1_max": -0.11333378404378891, + "frac_above_star": 0.125 + }, + { + "step": 156, + "sup_loss": 0.7980483033908834, + "rf_loss": 0.0, + "total_loss": 0.7980483033908834, + "lyap1_mean": -0.14717113971710205, + "lyap1_max": -0.10450505465269089, + "frac_above_star": 0.375 + }, + { + "step": 157, + "sup_loss": 0.8009364626534088, + "rf_loss": 0.0, + "total_loss": 0.8009364626534088, + "lyap1_mean": -0.17937028408050537, + "lyap1_max": -0.09043332189321518, + "frac_above_star": 0.375 + }, + { + "step": 158, + "sup_loss": 0.8994612322727445, + "rf_loss": 0.0, + "total_loss": 0.8994612322727445, + "lyap1_mean": -0.14145618677139282, + "lyap1_max": -0.06028629094362259, + "frac_above_star": 0.375 + }, + { + "step": 159, + "sup_loss": 0.8235931243795944, + "rf_loss": 0.0, + "total_loss": 0.8235931243795944, + "lyap1_mean": -0.16686618328094482, + "lyap1_max": -0.09256719052791595, + "frac_above_star": 0.375 + }, + { + "step": 160, + "sup_loss": 0.927089487081136, + "rf_loss": 0.0, + "total_loss": 0.927089487081136, + "lyap1_mean": -0.1536160707473755, + "lyap1_max": -0.10145743936300278, + "frac_above_star": 0.5 + }, + { + "step": 161, + "sup_loss": 0.5472288748192247, + "rf_loss": 0.0, + "total_loss": 0.5472288748192247, + "lyap1_mean": -0.1828128695487976, + "lyap1_max": -0.10191410034894943, + "frac_above_star": 0.5 + }, + { + "step": 162, + "sup_loss": 0.6953028532658465, + "rf_loss": 0.0, + "total_loss": 0.6953028532658465, + "lyap1_mean": -0.18868640065193176, + "lyap1_max": -0.10890336334705353, + "frac_above_star": 0.25 + }, + { + "step": 163, + "sup_loss": 0.8865441721106752, + "rf_loss": 0.0, + "total_loss": 0.8865441721106752, + "lyap1_mean": -0.16866473853588104, + "lyap1_max": -0.12585069239139557, + "frac_above_star": 0.125 + }, + { + "step": 164, + "sup_loss": 0.5728154545847337, + "rf_loss": 0.0, + "total_loss": 0.5728154545847337, + "lyap1_mean": -0.20841772854328156, + "lyap1_max": -0.14105342328548431, + "frac_above_star": 0.25 + }, + { + "step": 165, + "sup_loss": 0.8683873182611623, + "rf_loss": 0.0, + "total_loss": 0.8683873182611623, + "lyap1_mean": -0.13332340121269226, + "lyap1_max": -0.09783589839935303, + "frac_above_star": 0.625 + }, + { + "step": 166, + "sup_loss": 0.7633235758271406, + "rf_loss": 0.0, + "total_loss": 0.7633235758271406, + "lyap1_mean": -0.17041781544685364, + "lyap1_max": -0.11923867464065552, + "frac_above_star": 0.5 + }, + { + "step": 167, + "sup_loss": 0.8866743018926517, + "rf_loss": 0.0, + "total_loss": 0.8866743018926517, + "lyap1_mean": -0.1509629637002945, + "lyap1_max": -0.0529121570289135, + "frac_above_star": 0.5 + }, + { + "step": 168, + "sup_loss": 0.7982696904667428, + "rf_loss": 0.0, + "total_loss": 0.7982696904667428, + "lyap1_mean": -0.179517462849617, + "lyap1_max": -0.11307547986507416, + "frac_above_star": 0.25 + }, + { + "step": 169, + "sup_loss": 0.7872066316213551, + "rf_loss": 0.0, + "total_loss": 0.7872066316213551, + "lyap1_mean": -0.1565575897693634, + "lyap1_max": -0.1020616739988327, + "frac_above_star": 0.75 + }, + { + "step": 170, + "sup_loss": 0.7192684133154333, + "rf_loss": 0.0, + "total_loss": 0.7192684133154333, + "lyap1_mean": -0.1686473786830902, + "lyap1_max": -0.0494111031293869, + "frac_above_star": 0.375 + }, + { + "step": 171, + "sup_loss": 0.6692632986017223, + "rf_loss": 0.0, + "total_loss": 0.6692632986017223, + "lyap1_mean": -0.18427789211273193, + "lyap1_max": -0.13514435291290283, + "frac_above_star": 0.25 + }, + { + "step": 172, + "sup_loss": 0.7415575388568136, + "rf_loss": 0.0, + "total_loss": 0.7415575388568136, + "lyap1_mean": -0.1568233072757721, + "lyap1_max": -0.07995202392339706, + "frac_above_star": 0.375 + }, + { + "step": 173, + "sup_loss": 0.7527207395031319, + "rf_loss": 0.0, + "total_loss": 0.7527207395031319, + "lyap1_mean": -0.16073375940322876, + "lyap1_max": -0.04155953228473663, + "frac_above_star": 0.375 + }, + { + "step": 174, + "sup_loss": 0.7316197152061246, + "rf_loss": 0.0, + "total_loss": 0.7316197152061246, + "lyap1_mean": -0.180788055062294, + "lyap1_max": -0.09989404678344727, + "frac_above_star": 0.25 + }, + { + "step": 175, + "sup_loss": 0.6415880964482485, + "rf_loss": 0.0, + "total_loss": 0.6415880964482485, + "lyap1_mean": -0.1974395364522934, + "lyap1_max": -0.1398482769727707, + "frac_above_star": 0.125 + }, + { + "step": 176, + "sup_loss": 0.7277671516556165, + "rf_loss": 0.0, + "total_loss": 0.7277671516556165, + "lyap1_mean": -0.16101393103599548, + "lyap1_max": -0.12018280476331711, + "frac_above_star": 0.375 + }, + { + "step": 177, + "sup_loss": 0.7969950616847008, + "rf_loss": 0.0, + "total_loss": 0.7969950616847008, + "lyap1_mean": -0.17959481477737427, + "lyap1_max": -0.09806440770626068, + "frac_above_star": 0.25 + }, + { + "step": 178, + "sup_loss": 0.7447250454793387, + "rf_loss": 0.0, + "total_loss": 0.7447250454793387, + "lyap1_mean": -0.1567639410495758, + "lyap1_max": -0.09240300953388214, + "frac_above_star": 0.625 + }, + { + "step": 179, + "sup_loss": 0.7229137730539237, + "rf_loss": 0.0, + "total_loss": 0.7229137730539237, + "lyap1_mean": -0.1863362193107605, + "lyap1_max": -0.07347666472196579, + "frac_above_star": 0.125 + }, + { + "step": 180, + "sup_loss": 0.7433607690858814, + "rf_loss": 0.0, + "total_loss": 0.7433607690858814, + "lyap1_mean": -0.17178279161453247, + "lyap1_max": -0.11005982756614685, + "frac_above_star": 0.5 + }, + { + "step": 181, + "sup_loss": 0.5884575525564166, + "rf_loss": 0.0, + "total_loss": 0.5884575525564166, + "lyap1_mean": -0.1801840364933014, + "lyap1_max": -0.10521115362644196, + "frac_above_star": 0.375 + }, + { + "step": 182, + "sup_loss": 0.7917017557511954, + "rf_loss": 0.0, + "total_loss": 0.7917017557511954, + "lyap1_mean": -0.15594778954982758, + "lyap1_max": -0.08607392013072968, + "frac_above_star": 0.625 + }, + { + "step": 183, + "sup_loss": 0.864018849911337, + "rf_loss": 0.0, + "total_loss": 0.864018849911337, + "lyap1_mean": -0.15662863850593567, + "lyap1_max": -0.1343478560447693, + "frac_above_star": 0.375 + }, + { + "step": 184, + "sup_loss": 0.49146360439623366, + "rf_loss": 0.0, + "total_loss": 0.49146360439623366, + "lyap1_mean": -0.1787775158882141, + "lyap1_max": -0.13178661465644836, + "frac_above_star": 0.375 + }, + { + "step": 185, + "sup_loss": 0.4937650185501302, + "rf_loss": 0.0, + "total_loss": 0.4937650185501302, + "lyap1_mean": -0.2042911946773529, + "lyap1_max": -0.10117515176534653, + "frac_above_star": 0.5 + }, + { + "step": 186, + "sup_loss": 0.6494012565350407, + "rf_loss": 0.0, + "total_loss": 0.6494012565350407, + "lyap1_mean": -0.21259696781635284, + "lyap1_max": -0.15162180364131927, + "frac_above_star": 0.0 + }, + { + "step": 187, + "sup_loss": 0.790630069106936, + "rf_loss": 0.0, + "total_loss": 0.790630069106936, + "lyap1_mean": -0.16212400794029236, + "lyap1_max": -0.04004928469657898, + "frac_above_star": 0.375 + }, + { + "step": 188, + "sup_loss": 0.8037327192898388, + "rf_loss": 0.0, + "total_loss": 0.8037327192898388, + "lyap1_mean": -0.17617502808570862, + "lyap1_max": -0.10418877005577087, + "frac_above_star": 0.375 + }, + { + "step": 189, + "sup_loss": 0.89025768118107, + "rf_loss": 0.0, + "total_loss": 0.89025768118107, + "lyap1_mean": -0.16499629616737366, + "lyap1_max": -0.15316687524318695, + "frac_above_star": 0.0 + }, + { + "step": 190, + "sup_loss": 0.621261181980719, + "rf_loss": 0.0, + "total_loss": 0.621261181980719, + "lyap1_mean": -0.17205791175365448, + "lyap1_max": -0.082049161195755, + "frac_above_star": 0.375 + }, + { + "step": 191, + "sup_loss": 0.8232546501655954, + "rf_loss": 0.0, + "total_loss": 0.8232546501655954, + "lyap1_mean": -0.16807624697685242, + "lyap1_max": -0.11753614246845245, + "frac_above_star": 0.5 + }, + { + "step": 192, + "sup_loss": 0.7085413789301955, + "rf_loss": 0.0, + "total_loss": 0.7085413789301955, + "lyap1_mean": -0.1633356660604477, + "lyap1_max": -0.10197378695011139, + "frac_above_star": 0.5 + }, + { + "step": 193, + "sup_loss": 0.5529247853028413, + "rf_loss": 0.0, + "total_loss": 0.5529247853028413, + "lyap1_mean": -0.1966208517551422, + "lyap1_max": -0.12012054771184921, + "frac_above_star": 0.375 + }, + { + "step": 194, + "sup_loss": 0.7893790532145025, + "rf_loss": 0.0, + "total_loss": 0.7893790532145025, + "lyap1_mean": -0.1775943487882614, + "lyap1_max": -0.08405943959951401, + "frac_above_star": 0.375 + }, + { + "step": 195, + "sup_loss": 0.7072149121431891, + "rf_loss": 0.0, + "total_loss": 0.7072149121431891, + "lyap1_mean": -0.15349914133548737, + "lyap1_max": -0.08938370645046234, + "frac_above_star": 0.375 + }, + { + "step": 196, + "sup_loss": 1.01458078608609, + "rf_loss": 0.0, + "total_loss": 1.01458078608609, + "lyap1_mean": -0.1412891447544098, + "lyap1_max": -0.036612577736377716, + "frac_above_star": 0.375 + }, + { + "step": 197, + "sup_loss": 0.781325953208281, + "rf_loss": 0.0, + "total_loss": 0.781325953208281, + "lyap1_mean": -0.16004806756973267, + "lyap1_max": -0.10537292808294296, + "frac_above_star": 0.375 + }, + { + "step": 198, + "sup_loss": 0.7318266366076952, + "rf_loss": 0.0, + "total_loss": 0.7318266366076952, + "lyap1_mean": -0.1858377307653427, + "lyap1_max": -0.15855222940444946, + "frac_above_star": 0.0 + }, + { + "step": 199, + "sup_loss": 0.6806628573940661, + "rf_loss": 0.0, + "total_loss": 0.6806628573940661, + "lyap1_mean": -0.16269005835056305, + "lyap1_max": -0.09977559745311737, + "frac_above_star": 0.25 + }, + { + "step": 200, + "sup_loss": 0.8818648541716712, + "rf_loss": 0.0, + "total_loss": 0.8818648541716712, + "lyap1_mean": -0.16279643774032593, + "lyap1_max": -0.10493147373199463, + "frac_above_star": 0.25 + }, + { + "step": 201, + "sup_loss": 0.8160916942774795, + "rf_loss": 0.0, + "total_loss": 0.8160916942774795, + "lyap1_mean": -0.18698596954345703, + "lyap1_max": -0.13900955021381378, + "frac_above_star": 0.25 + }, + { + "step": 202, + "sup_loss": 0.7742169059823449, + "rf_loss": 0.0, + "total_loss": 0.7742169059823449, + "lyap1_mean": -0.18403035402297974, + "lyap1_max": -0.1315804421901703, + "frac_above_star": 0.5 + }, + { + "step": 203, + "sup_loss": 0.8704314210250406, + "rf_loss": 0.0, + "total_loss": 0.8704314210250406, + "lyap1_mean": -0.17243406176567078, + "lyap1_max": -0.0982050895690918, + "frac_above_star": 0.5 + }, + { + "step": 204, + "sup_loss": 0.8755669838863266, + "rf_loss": 0.0, + "total_loss": 0.8755669838863266, + "lyap1_mean": -0.1460268646478653, + "lyap1_max": -0.10875388979911804, + "frac_above_star": 0.75 + }, + { + "step": 205, + "sup_loss": 0.8727707801526141, + "rf_loss": 0.0, + "total_loss": 0.8727707801526141, + "lyap1_mean": -0.1554654985666275, + "lyap1_max": -0.12793752551078796, + "frac_above_star": 0.375 + }, + { + "step": 206, + "sup_loss": 0.6431456202545683, + "rf_loss": 0.0, + "total_loss": 0.6431456202545683, + "lyap1_mean": -0.1735749989748001, + "lyap1_max": -0.055661432445049286, + "frac_above_star": 0.25 + }, + { + "step": 207, + "sup_loss": 0.9203144226630724, + "rf_loss": 0.0, + "total_loss": 0.9203144226630724, + "lyap1_mean": -0.13704194128513336, + "lyap1_max": -0.07588370889425278, + "frac_above_star": 0.75 + }, + { + "step": 208, + "sup_loss": 0.7762934671691807, + "rf_loss": 0.0, + "total_loss": 0.7762934671691807, + "lyap1_mean": -0.1611153483390808, + "lyap1_max": -0.11663442105054855, + "frac_above_star": 0.5 + }, + { + "step": 209, + "sup_loss": 0.8303891836833821, + "rf_loss": 0.0, + "total_loss": 0.8303891836833821, + "lyap1_mean": -0.14511658251285553, + "lyap1_max": -0.07275208830833435, + "frac_above_star": 0.5 + }, + { + "step": 210, + "sup_loss": 0.802277258339963, + "rf_loss": 0.0, + "total_loss": 0.802277258339963, + "lyap1_mean": -0.1642492115497589, + "lyap1_max": -0.11229373514652252, + "frac_above_star": 0.625 + }, + { + "step": 211, + "sup_loss": 0.7519473383463204, + "rf_loss": 0.0, + "total_loss": 0.7519473383463204, + "lyap1_mean": -0.16521883010864258, + "lyap1_max": -0.08395180106163025, + "frac_above_star": 0.375 + }, + { + "step": 212, + "sup_loss": 0.8100327483473503, + "rf_loss": 0.0, + "total_loss": 0.8100327483473503, + "lyap1_mean": -0.18494492769241333, + "lyap1_max": -0.10324999690055847, + "frac_above_star": 0.25 + }, + { + "step": 213, + "sup_loss": 0.7891140970595814, + "rf_loss": 0.0, + "total_loss": 0.7891140970595814, + "lyap1_mean": -0.16676196455955505, + "lyap1_max": -0.08872213214635849, + "frac_above_star": 0.5 + }, + { + "step": 214, + "sup_loss": 0.9372368871838594, + "rf_loss": 0.0, + "total_loss": 0.9372368871838594, + "lyap1_mean": -0.15971413254737854, + "lyap1_max": -0.0685901790857315, + "frac_above_star": 0.5 + }, + { + "step": 215, + "sup_loss": 0.8338126519438288, + "rf_loss": 0.0, + "total_loss": 0.8338126519438288, + "lyap1_mean": -0.17741581797599792, + "lyap1_max": -0.1362534463405609, + "frac_above_star": 0.375 + }, + { + "step": 216, + "sup_loss": 0.7664073858867251, + "rf_loss": 0.0, + "total_loss": 0.7664073858867251, + "lyap1_mean": -0.19966116547584534, + "lyap1_max": -0.14559438824653625, + "frac_above_star": 0.125 + }, + { + "step": 217, + "sup_loss": 0.7594807973169294, + "rf_loss": 0.0, + "total_loss": 0.7594807973169294, + "lyap1_mean": -0.16509634256362915, + "lyap1_max": -0.09644975513219833, + "frac_above_star": 0.375 + }, + { + "step": 218, + "sup_loss": 0.5803677736931285, + "rf_loss": 0.0, + "total_loss": 0.5803677736931285, + "lyap1_mean": -0.18826405704021454, + "lyap1_max": -0.12926048040390015, + "frac_above_star": 0.25 + }, + { + "step": 219, + "sup_loss": 0.6926481748931865, + "rf_loss": 0.0, + "total_loss": 0.6926481748931865, + "lyap1_mean": -0.20623236894607544, + "lyap1_max": -0.10418914258480072, + "frac_above_star": 0.125 + }, + { + "step": 220, + "sup_loss": 0.6877288017361632, + "rf_loss": 0.0, + "total_loss": 0.6877288017361632, + "lyap1_mean": -0.15597108006477356, + "lyap1_max": -0.11265917867422104, + "frac_above_star": 0.5 + }, + { + "step": 221, + "sup_loss": 0.5921259257932507, + "rf_loss": 0.0, + "total_loss": 0.5921259257932507, + "lyap1_mean": -0.17212790250778198, + "lyap1_max": -0.09448878467082977, + "frac_above_star": 0.5 + }, + { + "step": 222, + "sup_loss": 0.8504037602178018, + "rf_loss": 0.0, + "total_loss": 0.8504037602178018, + "lyap1_mean": -0.16639268398284912, + "lyap1_max": -0.08708571642637253, + "frac_above_star": 0.375 + }, + { + "step": 223, + "sup_loss": 0.9992123025274376, + "rf_loss": 0.0, + "total_loss": 0.9992123025274376, + "lyap1_mean": -0.13916820287704468, + "lyap1_max": -0.06926959753036499, + "frac_above_star": 0.5 + }, + { + "step": 224, + "sup_loss": 0.6494300192417863, + "rf_loss": 0.0, + "total_loss": 0.6494300192417863, + "lyap1_mean": -0.20662131905555725, + "lyap1_max": -0.10049192607402802, + "frac_above_star": 0.25 + }, + { + "step": 225, + "sup_loss": 0.8754903595284862, + "rf_loss": 0.0, + "total_loss": 0.8754903595284862, + "lyap1_mean": -0.14550349116325378, + "lyap1_max": -0.08065946400165558, + "frac_above_star": 0.5 + }, + { + "step": 226, + "sup_loss": 0.7734276620706418, + "rf_loss": 0.0, + "total_loss": 0.7734276620706418, + "lyap1_mean": -0.15380725264549255, + "lyap1_max": -0.021968919783830643, + "frac_above_star": 0.5 + }, + { + "step": 227, + "sup_loss": 0.8832223892952417, + "rf_loss": 0.0, + "total_loss": 0.8832223892952417, + "lyap1_mean": -0.1469077616930008, + "lyap1_max": -0.058192938566207886, + "frac_above_star": 0.5 + }, + { + "step": 228, + "sup_loss": 0.8601551742822976, + "rf_loss": 0.0, + "total_loss": 0.8601551742822976, + "lyap1_mean": -0.1533823311328888, + "lyap1_max": -0.11547276377677917, + "frac_above_star": 0.375 + }, + { + "step": 229, + "sup_loss": 0.7266472288660102, + "rf_loss": 0.0, + "total_loss": 0.7266472288660102, + "lyap1_mean": -0.12779837846755981, + "lyap1_max": -0.06484822183847427, + "frac_above_star": 0.75 + }, + { + "step": 230, + "sup_loss": 0.6085241503552181, + "rf_loss": 0.0, + "total_loss": 0.6085241503552181, + "lyap1_mean": -0.20423558354377747, + "lyap1_max": -0.1461564600467682, + "frac_above_star": 0.125 + }, + { + "step": 231, + "sup_loss": 0.7504131167354395, + "rf_loss": 0.0, + "total_loss": 0.7504131167354395, + "lyap1_mean": -0.19132348895072937, + "lyap1_max": -0.13889913260936737, + "frac_above_star": 0.25 + }, + { + "step": 232, + "sup_loss": 0.6451556337983821, + "rf_loss": 0.0, + "total_loss": 0.6451556337983821, + "lyap1_mean": -0.16452670097351074, + "lyap1_max": -0.09880538284778595, + "frac_above_star": 0.375 + }, + { + "step": 233, + "sup_loss": 0.80248251402246, + "rf_loss": 0.0, + "total_loss": 0.80248251402246, + "lyap1_mean": -0.14324291050434113, + "lyap1_max": -0.08855177462100983, + "frac_above_star": 0.375 + }, + { + "step": 234, + "sup_loss": 0.9427669784705683, + "rf_loss": 0.0, + "total_loss": 0.9427669784705683, + "lyap1_mean": -0.13955532014369965, + "lyap1_max": -0.09850120544433594, + "frac_above_star": 0.625 + }, + { + "step": 235, + "sup_loss": 0.7054787460200271, + "rf_loss": 0.0, + "total_loss": 0.7054787460200271, + "lyap1_mean": -0.1669788658618927, + "lyap1_max": -0.12136256694793701, + "frac_above_star": 0.25 + }, + { + "step": 236, + "sup_loss": 0.8191296282760522, + "rf_loss": 0.0, + "total_loss": 0.8191296282760522, + "lyap1_mean": -0.16547194123268127, + "lyap1_max": -0.1312326192855835, + "frac_above_star": 0.125 + }, + { + "step": 237, + "sup_loss": 0.9405299598414586, + "rf_loss": 0.0, + "total_loss": 0.9405299598414586, + "lyap1_mean": -0.1594270020723343, + "lyap1_max": -0.11735385656356812, + "frac_above_star": 0.5 + }, + { + "step": 238, + "sup_loss": 0.7929342596135474, + "rf_loss": 0.0, + "total_loss": 0.7929342596135474, + "lyap1_mean": -0.15229317545890808, + "lyap1_max": -0.0843561589717865, + "frac_above_star": 0.5 + }, + { + "step": 239, + "sup_loss": 0.6457295890915369, + "rf_loss": 0.0, + "total_loss": 0.6457295890915369, + "lyap1_mean": -0.18010734021663666, + "lyap1_max": -0.08173166215419769, + "frac_above_star": 0.5 + }, + { + "step": 240, + "sup_loss": 0.7076719354709043, + "rf_loss": 0.0, + "total_loss": 0.7076719354709043, + "lyap1_mean": -0.18763309717178345, + "lyap1_max": -0.10306790471076965, + "frac_above_star": 0.375 + }, + { + "step": 241, + "sup_loss": 0.9260437725891093, + "rf_loss": 0.0, + "total_loss": 0.9260437725891093, + "lyap1_mean": -0.1554391086101532, + "lyap1_max": -0.11089392006397247, + "frac_above_star": 0.375 + }, + { + "step": 242, + "sup_loss": 0.8241098472618674, + "rf_loss": 0.0, + "total_loss": 0.8241098472618674, + "lyap1_mean": -0.17401644587516785, + "lyap1_max": -0.09041571617126465, + "frac_above_star": 0.25 + }, + { + "step": 243, + "sup_loss": 0.7530032338244869, + "rf_loss": 0.0, + "total_loss": 0.7530032338244869, + "lyap1_mean": -0.19279976189136505, + "lyap1_max": -0.11079338192939758, + "frac_above_star": 0.25 + }, + { + "step": 244, + "sup_loss": 0.9172481135234694, + "rf_loss": 0.0, + "total_loss": 0.9172481135234694, + "lyap1_mean": -0.17601606249809265, + "lyap1_max": -0.07317938655614853, + "frac_above_star": 0.125 + }, + { + "step": 245, + "sup_loss": 0.7291727482416547, + "rf_loss": 0.0, + "total_loss": 0.7291727482416547, + "lyap1_mean": -0.14246825873851776, + "lyap1_max": -0.07363016903400421, + "frac_above_star": 0.5 + }, + { + "step": 246, + "sup_loss": 0.8772718138578424, + "rf_loss": 0.0, + "total_loss": 0.8772718138578424, + "lyap1_mean": -0.14892986416816711, + "lyap1_max": -0.04333437606692314, + "frac_above_star": 0.375 + }, + { + "step": 247, + "sup_loss": 0.6675665980290028, + "rf_loss": 0.0, + "total_loss": 0.6675665980290028, + "lyap1_mean": -0.1822403222322464, + "lyap1_max": -0.0990697592496872, + "frac_above_star": 0.5 + }, + { + "step": 248, + "sup_loss": 0.676003008647785, + "rf_loss": 0.0, + "total_loss": 0.676003008647785, + "lyap1_mean": -0.16329771280288696, + "lyap1_max": -0.12532034516334534, + "frac_above_star": 0.375 + }, + { + "step": 249, + "sup_loss": 0.6942161754605447, + "rf_loss": 0.0, + "total_loss": 0.6942161754605447, + "lyap1_mean": -0.16905096173286438, + "lyap1_max": -0.13397903740406036, + "frac_above_star": 0.375 + }, + { + "step": 250, + "sup_loss": 0.909939328030131, + "rf_loss": 0.0, + "total_loss": 0.909939328030131, + "lyap1_mean": -0.1597805917263031, + "lyap1_max": -0.06640064716339111, + "frac_above_star": 0.375 + }, + { + "step": 251, + "sup_loss": 0.750333921487448, + "rf_loss": 0.0, + "total_loss": 0.750333921487448, + "lyap1_mean": -0.14955498278141022, + "lyap1_max": -0.06101932376623154, + "frac_above_star": 0.375 + }, + { + "step": 252, + "sup_loss": 0.8265671023609154, + "rf_loss": 0.0, + "total_loss": 0.8265671023609154, + "lyap1_mean": -0.19143693149089813, + "lyap1_max": -0.11773579567670822, + "frac_above_star": 0.25 + }, + { + "step": 253, + "sup_loss": 0.782689797183599, + "rf_loss": 0.0, + "total_loss": 0.782689797183599, + "lyap1_mean": -0.18871662020683289, + "lyap1_max": -0.120615653693676, + "frac_above_star": 0.25 + }, + { + "step": 254, + "sup_loss": 0.6620539008336164, + "rf_loss": 0.0, + "total_loss": 0.6620539008336164, + "lyap1_mean": -0.16963723301887512, + "lyap1_max": -0.0957597941160202, + "frac_above_star": 0.375 + }, + { + "step": 255, + "sup_loss": 0.9009088449806578, + "rf_loss": 0.0, + "total_loss": 0.9009088449806578, + "lyap1_mean": -0.16285455226898193, + "lyap1_max": -0.09536882489919662, + "frac_above_star": 0.375 + }, + { + "step": 256, + "sup_loss": 0.6882594952150686, + "rf_loss": 0.0, + "total_loss": 0.6882594952150686, + "lyap1_mean": -0.16780494153499603, + "lyap1_max": -0.10490336269140244, + "frac_above_star": 0.625 + }, + { + "step": 257, + "sup_loss": 0.6660580331716014, + "rf_loss": 0.0, + "total_loss": 0.6660580331716014, + "lyap1_mean": -0.16822820901870728, + "lyap1_max": -0.11329947412014008, + "frac_above_star": 0.375 + }, + { + "step": 258, + "sup_loss": 0.7299706273182243, + "rf_loss": 0.0, + "total_loss": 0.7299706273182243, + "lyap1_mean": -0.1732567846775055, + "lyap1_max": -0.11745855212211609, + "frac_above_star": 0.25 + }, + { + "step": 259, + "sup_loss": 0.8069588508156171, + "rf_loss": 0.0, + "total_loss": 0.8069588508156171, + "lyap1_mean": -0.19433452188968658, + "lyap1_max": -0.13908974826335907, + "frac_above_star": 0.125 + }, + { + "step": 260, + "sup_loss": 0.7753595198592751, + "rf_loss": 0.0, + "total_loss": 0.7753595198592751, + "lyap1_mean": -0.1724836230278015, + "lyap1_max": -0.11704066395759583, + "frac_above_star": 0.375 + }, + { + "step": 261, + "sup_loss": 0.7769068792717578, + "rf_loss": 0.0, + "total_loss": 0.7769068792717578, + "lyap1_mean": -0.18756112456321716, + "lyap1_max": -0.07062414288520813, + "frac_above_star": 0.25 + }, + { + "step": 262, + "sup_loss": 0.6690852934160638, + "rf_loss": 0.0, + "total_loss": 0.6690852934160638, + "lyap1_mean": -0.1784866750240326, + "lyap1_max": -0.12508678436279297, + "frac_above_star": 0.125 + }, + { + "step": 263, + "sup_loss": 0.7774110677024073, + "rf_loss": 0.0, + "total_loss": 0.7774110677024073, + "lyap1_mean": -0.160142183303833, + "lyap1_max": -0.13923051953315735, + "frac_above_star": 0.25 + }, + { + "step": 264, + "sup_loss": 0.840555033688543, + "rf_loss": 0.0, + "total_loss": 0.840555033688543, + "lyap1_mean": -0.1619720458984375, + "lyap1_max": -0.09480777382850647, + "frac_above_star": 0.5 + }, + { + "step": 265, + "sup_loss": 0.724524828974487, + "rf_loss": 0.0, + "total_loss": 0.724524828974487, + "lyap1_mean": -0.18680807948112488, + "lyap1_max": -0.1219266802072525, + "frac_above_star": 0.125 + }, + { + "step": 266, + "sup_loss": 0.5916443403165423, + "rf_loss": 0.0, + "total_loss": 0.5916443403165423, + "lyap1_mean": -0.19001822173595428, + "lyap1_max": -0.1142662987112999, + "frac_above_star": 0.25 + }, + { + "step": 267, + "sup_loss": 0.8386447948729177, + "rf_loss": 0.0, + "total_loss": 0.8386447948729177, + "lyap1_mean": -0.13144198060035706, + "lyap1_max": -0.051412295550107956, + "frac_above_star": 0.75 + }, + { + "step": 268, + "sup_loss": 0.8719685555870392, + "rf_loss": 0.0, + "total_loss": 0.8719685555870392, + "lyap1_mean": -0.15045730769634247, + "lyap1_max": -0.08992041647434235, + "frac_above_star": 0.375 + }, + { + "step": 269, + "sup_loss": 0.7527919075991003, + "rf_loss": 0.0, + "total_loss": 0.7527919075991003, + "lyap1_mean": -0.1865653246641159, + "lyap1_max": -0.07777920365333557, + "frac_above_star": 0.125 + }, + { + "step": 270, + "sup_loss": 0.7901313987109798, + "rf_loss": 0.0, + "total_loss": 0.7901313987109798, + "lyap1_mean": -0.15824221074581146, + "lyap1_max": -0.07368879020214081, + "frac_above_star": 0.5 + }, + { + "step": 271, + "sup_loss": 0.7059024339453491, + "rf_loss": 0.0, + "total_loss": 0.7059024339453491, + "lyap1_mean": -0.17076361179351807, + "lyap1_max": -0.13130727410316467, + "frac_above_star": 0.375 + }, + { + "step": 272, + "sup_loss": 0.7637821197908186, + "rf_loss": 0.0, + "total_loss": 0.7637821197908186, + "lyap1_mean": -0.17258672416210175, + "lyap1_max": -0.10603445023298264, + "frac_above_star": 0.375 + }, + { + "step": 273, + "sup_loss": 0.7070045140345157, + "rf_loss": 0.0, + "total_loss": 0.7070045140345157, + "lyap1_mean": -0.18423500657081604, + "lyap1_max": -0.13328607380390167, + "frac_above_star": 0.375 + }, + { + "step": 274, + "sup_loss": 0.9013118881802066, + "rf_loss": 0.0, + "total_loss": 0.9013118881802066, + "lyap1_mean": -0.18463867902755737, + "lyap1_max": -0.06339104473590851, + "frac_above_star": 0.125 + }, + { + "step": 275, + "sup_loss": 0.8788437685178178, + "rf_loss": 0.0, + "total_loss": 0.8788437685178178, + "lyap1_mean": -0.15565553307533264, + "lyap1_max": -0.10314704477787018, + "frac_above_star": 0.375 + }, + { + "step": 276, + "sup_loss": 0.6813365865941673, + "rf_loss": 0.0, + "total_loss": 0.6813365865941673, + "lyap1_mean": -0.1658836305141449, + "lyap1_max": -0.08645237982273102, + "frac_above_star": 0.25 + }, + { + "step": 277, + "sup_loss": 0.7036036297038718, + "rf_loss": 0.0, + "total_loss": 0.7036036297038718, + "lyap1_mean": -0.16899073123931885, + "lyap1_max": -0.11087718605995178, + "frac_above_star": 0.25 + }, + { + "step": 278, + "sup_loss": 0.8014363358306495, + "rf_loss": 0.0, + "total_loss": 0.8014363358306495, + "lyap1_mean": -0.16975349187850952, + "lyap1_max": -0.06719344854354858, + "frac_above_star": 0.375 + }, + { + "step": 279, + "sup_loss": 0.8152566079453096, + "rf_loss": 0.0, + "total_loss": 0.8152566079453096, + "lyap1_mean": -0.17048412561416626, + "lyap1_max": -0.07366618514060974, + "frac_above_star": 0.375 + }, + { + "step": 280, + "sup_loss": 0.9407140346413141, + "rf_loss": 0.0, + "total_loss": 0.9407140346413141, + "lyap1_mean": -0.15809163451194763, + "lyap1_max": -0.06505997478961945, + "frac_above_star": 0.375 + }, + { + "step": 281, + "sup_loss": 0.8967033797449785, + "rf_loss": 0.0, + "total_loss": 0.8967033797449785, + "lyap1_mean": -0.1585424840450287, + "lyap1_max": -0.0920233428478241, + "frac_above_star": 0.375 + }, + { + "step": 282, + "sup_loss": 0.7607715273395953, + "rf_loss": 0.0, + "total_loss": 0.7607715273395953, + "lyap1_mean": -0.16582897305488586, + "lyap1_max": -0.07519818097352982, + "frac_above_star": 0.5 + }, + { + "step": 283, + "sup_loss": 0.7679194743752447, + "rf_loss": 0.0, + "total_loss": 0.7679194743752447, + "lyap1_mean": -0.16454175114631653, + "lyap1_max": -0.0946216732263565, + "frac_above_star": 0.5 + }, + { + "step": 284, + "sup_loss": 1.0372597070377556, + "rf_loss": 0.0, + "total_loss": 1.0372597070377556, + "lyap1_mean": -0.1570507287979126, + "lyap1_max": -0.09376989305019379, + "frac_above_star": 0.25 + }, + { + "step": 285, + "sup_loss": 0.7094616676494714, + "rf_loss": 0.0, + "total_loss": 0.7094616676494714, + "lyap1_mean": -0.1910122036933899, + "lyap1_max": -0.08288353681564331, + "frac_above_star": 0.375 + }, + { + "step": 286, + "sup_loss": 0.5538136180610335, + "rf_loss": 0.0, + "total_loss": 0.5538136180610335, + "lyap1_mean": -0.1688058227300644, + "lyap1_max": -0.1266206055879593, + "frac_above_star": 0.5 + }, + { + "step": 287, + "sup_loss": 0.8183962871627579, + "rf_loss": 0.0, + "total_loss": 0.8183962871627579, + "lyap1_mean": -0.15325044095516205, + "lyap1_max": -0.09377489984035492, + "frac_above_star": 0.375 + }, + { + "step": 288, + "sup_loss": 0.7442593917203172, + "rf_loss": 0.0, + "total_loss": 0.7442593917203172, + "lyap1_mean": -0.1579066514968872, + "lyap1_max": -0.11664971709251404, + "frac_above_star": 0.375 + }, + { + "step": 289, + "sup_loss": 0.7986923061279929, + "rf_loss": 0.0, + "total_loss": 0.7986923061279929, + "lyap1_mean": -0.18365828692913055, + "lyap1_max": -0.10788671672344208, + "frac_above_star": 0.25 + }, + { + "step": 290, + "sup_loss": 0.6817126975883825, + "rf_loss": 0.0, + "total_loss": 0.6817126975883825, + "lyap1_mean": -0.17833656072616577, + "lyap1_max": -0.12979021668434143, + "frac_above_star": 0.25 + }, + { + "step": 291, + "sup_loss": 0.7292576453470545, + "rf_loss": 0.0, + "total_loss": 0.7292576453470545, + "lyap1_mean": -0.16815392673015594, + "lyap1_max": -0.10175564885139465, + "frac_above_star": 0.375 + }, + { + "step": 292, + "sup_loss": 0.6669536232388513, + "rf_loss": 0.0, + "total_loss": 0.6669536232388513, + "lyap1_mean": -0.20082968473434448, + "lyap1_max": -0.09625367820262909, + "frac_above_star": 0.25 + }, + { + "step": 293, + "sup_loss": 0.6463257693759928, + "rf_loss": 0.0, + "total_loss": 0.6463257693759928, + "lyap1_mean": -0.21279385685920715, + "lyap1_max": -0.11179302632808685, + "frac_above_star": 0.25 + }, + { + "step": 294, + "sup_loss": 0.7366894826404448, + "rf_loss": 0.0, + "total_loss": 0.7366894826404448, + "lyap1_mean": -0.17059117555618286, + "lyap1_max": -0.0980013757944107, + "frac_above_star": 0.375 + }, + { + "step": 295, + "sup_loss": 0.48500910341717307, + "rf_loss": 0.0, + "total_loss": 0.48500910341717307, + "lyap1_mean": -0.18146535754203796, + "lyap1_max": -0.12942570447921753, + "frac_above_star": 0.5 + }, + { + "step": 296, + "sup_loss": 0.9578917019756954, + "rf_loss": 0.0, + "total_loss": 0.9578917019756954, + "lyap1_mean": -0.15772077441215515, + "lyap1_max": -0.1371699422597885, + "frac_above_star": 0.5 + }, + { + "step": 297, + "sup_loss": 0.7399979861128932, + "rf_loss": 0.0, + "total_loss": 0.7399979861128932, + "lyap1_mean": -0.16418996453285217, + "lyap1_max": -0.1204424500465393, + "frac_above_star": 0.5 + }, + { + "step": 298, + "sup_loss": 0.7294775146715352, + "rf_loss": 0.0, + "total_loss": 0.7294775146715352, + "lyap1_mean": -0.16771283745765686, + "lyap1_max": -0.1044195145368576, + "frac_above_star": 0.25 + }, + { + "step": 299, + "sup_loss": 0.5469403160630899, + "rf_loss": 0.0, + "total_loss": 0.5469403160630899, + "lyap1_mean": -0.1688232421875, + "lyap1_max": -0.07878324389457703, + "frac_above_star": 0.25 + }, + { + "step": 300, + "sup_loss": 0.6752192843969312, + "rf_loss": 0.0, + "total_loss": 0.6752192843969312, + "lyap1_mean": -0.15767693519592285, + "lyap1_max": -0.0372428223490715, + "frac_above_star": 0.375 + }, + { + "step": 301, + "sup_loss": 0.7375554183057763, + "rf_loss": 0.0, + "total_loss": 0.7375554183057763, + "lyap1_mean": -0.20200055837631226, + "lyap1_max": -0.12084721773862839, + "frac_above_star": 0.125 + }, + { + "step": 302, + "sup_loss": 0.918713935962154, + "rf_loss": 0.0, + "total_loss": 0.918713935962154, + "lyap1_mean": -0.14947085082530975, + "lyap1_max": -0.09207730740308762, + "frac_above_star": 0.375 + }, + { + "step": 303, + "sup_loss": 0.8067929156730216, + "rf_loss": 0.0, + "total_loss": 0.8067929156730216, + "lyap1_mean": -0.15797366201877594, + "lyap1_max": -0.06928697973489761, + "frac_above_star": 0.5 + }, + { + "step": 304, + "sup_loss": 0.7151954451201088, + "rf_loss": 0.0, + "total_loss": 0.7151954451201088, + "lyap1_mean": -0.19250306487083435, + "lyap1_max": -0.140155628323555, + "frac_above_star": 0.125 + }, + { + "step": 305, + "sup_loss": 0.9063926903256563, + "rf_loss": 0.0, + "total_loss": 0.9063926903256563, + "lyap1_mean": -0.1508040875196457, + "lyap1_max": -0.09615474939346313, + "frac_above_star": 0.5 + }, + { + "step": 306, + "sup_loss": 0.8620546683882244, + "rf_loss": 0.0, + "total_loss": 0.8620546683882244, + "lyap1_mean": -0.17146241664886475, + "lyap1_max": -0.1030425876379013, + "frac_above_star": 0.25 + }, + { + "step": 307, + "sup_loss": 0.7900697920495148, + "rf_loss": 0.0, + "total_loss": 0.7900697920495148, + "lyap1_mean": -0.16161680221557617, + "lyap1_max": -0.06664735078811646, + "frac_above_star": 0.375 + }, + { + "step": 308, + "sup_loss": 0.7125232035806862, + "rf_loss": 0.0, + "total_loss": 0.7125232035806862, + "lyap1_mean": -0.18470120429992676, + "lyap1_max": -0.1135387048125267, + "frac_above_star": 0.125 + }, + { + "step": 309, + "sup_loss": 0.850493999042142, + "rf_loss": 0.0, + "total_loss": 0.850493999042142, + "lyap1_mean": -0.12896068394184113, + "lyap1_max": -0.09103390574455261, + "frac_above_star": 0.75 + }, + { + "step": 310, + "sup_loss": 0.6163295953755787, + "rf_loss": 0.0, + "total_loss": 0.6163295953755787, + "lyap1_mean": -0.17517100274562836, + "lyap1_max": -0.10238431394100189, + "frac_above_star": 0.375 + }, + { + "step": 311, + "sup_loss": 0.8264136214264011, + "rf_loss": 0.0, + "total_loss": 0.8264136214264011, + "lyap1_mean": -0.16353091597557068, + "lyap1_max": -0.12122827023267746, + "frac_above_star": 0.5 + }, + { + "step": 312, + "sup_loss": 0.6080720906890198, + "rf_loss": 0.0, + "total_loss": 0.6080720906890198, + "lyap1_mean": -0.17360198497772217, + "lyap1_max": -0.09441836178302765, + "frac_above_star": 0.375 + }, + { + "step": 313, + "sup_loss": 0.6628115046999625, + "rf_loss": 0.0, + "total_loss": 0.6628115046999625, + "lyap1_mean": -0.1849593073129654, + "lyap1_max": -0.10516505688428879, + "frac_above_star": 0.25 + }, + { + "step": 314, + "sup_loss": 0.9034846686682274, + "rf_loss": 0.0, + "total_loss": 0.9034846686682274, + "lyap1_mean": -0.17899298667907715, + "lyap1_max": -0.12303243577480316, + "frac_above_star": 0.375 + }, + { + "step": 315, + "sup_loss": 0.7804800701699824, + "rf_loss": 0.0, + "total_loss": 0.7804800701699824, + "lyap1_mean": -0.19502277672290802, + "lyap1_max": -0.10841497778892517, + "frac_above_star": 0.125 + }, + { + "step": 316, + "sup_loss": 0.6905816675784361, + "rf_loss": 0.0, + "total_loss": 0.6905816675784361, + "lyap1_mean": -0.198236882686615, + "lyap1_max": -0.13312572240829468, + "frac_above_star": 0.25 + }, + { + "step": 317, + "sup_loss": 0.801319920520512, + "rf_loss": 0.0, + "total_loss": 0.801319920520512, + "lyap1_mean": -0.16509512066841125, + "lyap1_max": -0.14510786533355713, + "frac_above_star": 0.375 + }, + { + "step": 318, + "sup_loss": 0.6497737091043975, + "rf_loss": 0.0, + "total_loss": 0.6497737091043975, + "lyap1_mean": -0.18980593979358673, + "lyap1_max": -0.13459259271621704, + "frac_above_star": 0.25 + }, + { + "step": 319, + "sup_loss": 0.737295178101688, + "rf_loss": 0.0, + "total_loss": 0.737295178101688, + "lyap1_mean": -0.15416626632213593, + "lyap1_max": -0.08034767955541611, + "frac_above_star": 0.5 + }, + { + "step": 320, + "sup_loss": 0.8423293357963682, + "rf_loss": 0.0, + "total_loss": 0.8423293357963682, + "lyap1_mean": -0.15887315571308136, + "lyap1_max": -0.07150527089834213, + "frac_above_star": 0.375 + }, + { + "step": 321, + "sup_loss": 0.640809163276942, + "rf_loss": 0.0, + "total_loss": 0.640809163276942, + "lyap1_mean": -0.16566604375839233, + "lyap1_max": -0.0431893914937973, + "frac_above_star": 0.25 + }, + { + "step": 322, + "sup_loss": 0.66531659719154, + "rf_loss": 0.0, + "total_loss": 0.66531659719154, + "lyap1_mean": -0.17918531596660614, + "lyap1_max": -0.15503904223442078, + "frac_above_star": 0.0 + }, + { + "step": 323, + "sup_loss": 0.9270125589316284, + "rf_loss": 0.0, + "total_loss": 0.9270125589316284, + "lyap1_mean": -0.1580435186624527, + "lyap1_max": -0.1102612316608429, + "frac_above_star": 0.5 + }, + { + "step": 324, + "sup_loss": 0.9755983279268836, + "rf_loss": 0.0, + "total_loss": 0.9755983279268836, + "lyap1_mean": -0.14646512269973755, + "lyap1_max": -0.09908955544233322, + "frac_above_star": 0.625 + }, + { + "step": 325, + "sup_loss": 0.5965838201259501, + "rf_loss": 0.0, + "total_loss": 0.5965838201259501, + "lyap1_mean": -0.17074649035930634, + "lyap1_max": -0.05221870169043541, + "frac_above_star": 0.375 + }, + { + "step": 326, + "sup_loss": 0.9456734017380166, + "rf_loss": 0.0, + "total_loss": 0.9456734017380166, + "lyap1_mean": -0.1620059609413147, + "lyap1_max": -0.08871468901634216, + "frac_above_star": 0.25 + }, + { + "step": 327, + "sup_loss": 0.6894342679215559, + "rf_loss": 0.0, + "total_loss": 0.6894342679215559, + "lyap1_mean": -0.15502554178237915, + "lyap1_max": -0.08357888460159302, + "frac_above_star": 0.375 + }, + { + "step": 328, + "sup_loss": 0.7440433063397712, + "rf_loss": 0.0, + "total_loss": 0.7440433063397712, + "lyap1_mean": -0.16996736824512482, + "lyap1_max": -0.09528358280658722, + "frac_above_star": 0.5 + }, + { + "step": 329, + "sup_loss": 0.8423192510335963, + "rf_loss": 0.0, + "total_loss": 0.8423192510335963, + "lyap1_mean": -0.13480865955352783, + "lyap1_max": -0.08850990980863571, + "frac_above_star": 0.5 + }, + { + "step": 330, + "sup_loss": 0.6823311052073713, + "rf_loss": 0.0, + "total_loss": 0.6823311052073713, + "lyap1_mean": -0.22036385536193848, + "lyap1_max": -0.12723609805107117, + "frac_above_star": 0.125 + }, + { + "step": 331, + "sup_loss": 0.9655862137879853, + "rf_loss": 0.0, + "total_loss": 0.9655862137879853, + "lyap1_mean": -0.15027554333209991, + "lyap1_max": -0.12556889653205872, + "frac_above_star": 0.5 + }, + { + "step": 332, + "sup_loss": 0.7552731742285438, + "rf_loss": 0.0, + "total_loss": 0.7552731742285438, + "lyap1_mean": -0.1628722995519638, + "lyap1_max": -0.13400724530220032, + "frac_above_star": 0.25 + }, + { + "step": 333, + "sup_loss": 0.6813111588201852, + "rf_loss": 0.0, + "total_loss": 0.6813111588201852, + "lyap1_mean": -0.15887843072414398, + "lyap1_max": -0.04601369425654411, + "frac_above_star": 0.375 + }, + { + "step": 334, + "sup_loss": 0.6600653984823216, + "rf_loss": 0.0, + "total_loss": 0.6600653984823216, + "lyap1_mean": -0.1862657517194748, + "lyap1_max": -0.13580630719661713, + "frac_above_star": 0.25 + }, + { + "step": 335, + "sup_loss": 0.8004015361102302, + "rf_loss": 0.0, + "total_loss": 0.8004015361102302, + "lyap1_mean": -0.1384909749031067, + "lyap1_max": -0.1189369261264801, + "frac_above_star": 0.75 + }, + { + "step": 336, + "sup_loss": 0.6330773311073519, + "rf_loss": 0.0, + "total_loss": 0.6330773311073519, + "lyap1_mean": -0.15880879759788513, + "lyap1_max": -0.08187820017337799, + "frac_above_star": 0.375 + }, + { + "step": 337, + "sup_loss": 0.7341004668763311, + "rf_loss": 0.0, + "total_loss": 0.7341004668763311, + "lyap1_mean": -0.13760757446289062, + "lyap1_max": -0.09707267582416534, + "frac_above_star": 0.75 + }, + { + "step": 338, + "sup_loss": 0.5234419765868683, + "rf_loss": 0.0, + "total_loss": 0.5234419765868683, + "lyap1_mean": -0.21262133121490479, + "lyap1_max": -0.14374090731143951, + "frac_above_star": 0.125 + }, + { + "step": 339, + "sup_loss": 0.6725980225617633, + "rf_loss": 0.0, + "total_loss": 0.6725980225617633, + "lyap1_mean": -0.192900151014328, + "lyap1_max": -0.13473032414913177, + "frac_above_star": 0.25 + }, + { + "step": 340, + "sup_loss": 0.679584605073231, + "rf_loss": 0.0, + "total_loss": 0.679584605073231, + "lyap1_mean": -0.17035236954689026, + "lyap1_max": -0.13162153959274292, + "frac_above_star": 0.375 + }, + { + "step": 341, + "sup_loss": 0.6691771574055237, + "rf_loss": 0.0, + "total_loss": 0.6691771574055237, + "lyap1_mean": -0.19474738836288452, + "lyap1_max": -0.146953284740448, + "frac_above_star": 0.125 + }, + { + "step": 342, + "sup_loss": 0.674886564644622, + "rf_loss": 0.0, + "total_loss": 0.674886564644622, + "lyap1_mean": -0.16359847784042358, + "lyap1_max": -0.11955510079860687, + "frac_above_star": 0.25 + }, + { + "step": 343, + "sup_loss": 0.6224050442268578, + "rf_loss": 0.0, + "total_loss": 0.6224050442268578, + "lyap1_mean": -0.18354731798171997, + "lyap1_max": -0.14056310057640076, + "frac_above_star": 0.125 + }, + { + "step": 344, + "sup_loss": 0.6428516699402004, + "rf_loss": 0.0, + "total_loss": 0.6428516699402004, + "lyap1_mean": -0.16801294684410095, + "lyap1_max": -0.1102852150797844, + "frac_above_star": 0.5 + }, + { + "step": 345, + "sup_loss": 0.7675255500237059, + "rf_loss": 0.0, + "total_loss": 0.7675255500237059, + "lyap1_mean": -0.17234450578689575, + "lyap1_max": -0.13206227123737335, + "frac_above_star": 0.375 + }, + { + "step": 346, + "sup_loss": 0.6348833441263687, + "rf_loss": 0.0, + "total_loss": 0.6348833441263687, + "lyap1_mean": -0.19224876165390015, + "lyap1_max": -0.12060680985450745, + "frac_above_star": 0.375 + }, + { + "step": 347, + "sup_loss": 0.7418977392326095, + "rf_loss": 0.0, + "total_loss": 0.7418977392326095, + "lyap1_mean": -0.16809920966625214, + "lyap1_max": -0.054959725588560104, + "frac_above_star": 0.5 + }, + { + "step": 348, + "sup_loss": 0.7180313286124054, + "rf_loss": 0.0, + "total_loss": 0.7180313286124054, + "lyap1_mean": -0.15224677324295044, + "lyap1_max": -0.07536713778972626, + "frac_above_star": 0.75 + }, + { + "step": 349, + "sup_loss": 0.7628499828107619, + "rf_loss": 0.0, + "total_loss": 0.7628499828107619, + "lyap1_mean": -0.1974877119064331, + "lyap1_max": -0.11055272817611694, + "frac_above_star": 0.25 + }, + { + "step": 350, + "sup_loss": 0.9276905396221278, + "rf_loss": 0.0, + "total_loss": 0.9276905396221278, + "lyap1_mean": -0.16843608021736145, + "lyap1_max": -0.15246890485286713, + "frac_above_star": 0.0 + }, + { + "step": 351, + "sup_loss": 0.8137261797118525, + "rf_loss": 0.0, + "total_loss": 0.8137261797118525, + "lyap1_mean": -0.1651342362165451, + "lyap1_max": -0.12202879041433334, + "frac_above_star": 0.5 + }, + { + "step": 352, + "sup_loss": 0.7876369985754225, + "rf_loss": 0.0, + "total_loss": 0.7876369985754225, + "lyap1_mean": -0.1589413285255432, + "lyap1_max": -0.08148032426834106, + "frac_above_star": 0.5 + }, + { + "step": 353, + "sup_loss": 0.7767697703569011, + "rf_loss": 0.0, + "total_loss": 0.7767697703569011, + "lyap1_mean": -0.16311262547969818, + "lyap1_max": -0.08630581200122833, + "frac_above_star": 0.375 + }, + { + "step": 354, + "sup_loss": 0.8717895885503664, + "rf_loss": 0.0, + "total_loss": 0.8717895885503664, + "lyap1_mean": -0.15806636214256287, + "lyap1_max": -0.09730848670005798, + "frac_above_star": 0.5 + }, + { + "step": 355, + "sup_loss": 0.9618044352232753, + "rf_loss": 0.0, + "total_loss": 0.9618044352232753, + "lyap1_mean": -0.15558312833309174, + "lyap1_max": -0.10619994252920151, + "frac_above_star": 0.375 + }, + { + "step": 356, + "sup_loss": 0.9007513997993458, + "rf_loss": 0.0, + "total_loss": 0.9007513997993458, + "lyap1_mean": -0.13811922073364258, + "lyap1_max": -0.08728872984647751, + "frac_above_star": 0.75 + }, + { + "step": 357, + "sup_loss": 0.658375450483301, + "rf_loss": 0.0, + "total_loss": 0.658375450483301, + "lyap1_mean": -0.18561327457427979, + "lyap1_max": -0.0992521271109581, + "frac_above_star": 0.25 + }, + { + "step": 358, + "sup_loss": 0.7375829336069715, + "rf_loss": 0.0, + "total_loss": 0.7375829336069715, + "lyap1_mean": -0.1637391746044159, + "lyap1_max": -0.13065144419670105, + "frac_above_star": 0.375 + }, + { + "step": 359, + "sup_loss": 0.718371021213144, + "rf_loss": 0.0, + "total_loss": 0.718371021213144, + "lyap1_mean": -0.1738426685333252, + "lyap1_max": -0.15033817291259766, + "frac_above_star": 0.0 + }, + { + "step": 360, + "sup_loss": 0.7032318083211245, + "rf_loss": 0.0, + "total_loss": 0.7032318083211245, + "lyap1_mean": -0.1885412335395813, + "lyap1_max": -0.1376098096370697, + "frac_above_star": 0.125 + }, + { + "step": 361, + "sup_loss": 0.9041571748413766, + "rf_loss": 0.0, + "total_loss": 0.9041571748413766, + "lyap1_mean": -0.15032920241355896, + "lyap1_max": -0.11138876527547836, + "frac_above_star": 0.5 + }, + { + "step": 362, + "sup_loss": 0.818392041947949, + "rf_loss": 0.0, + "total_loss": 0.818392041947949, + "lyap1_mean": -0.17463892698287964, + "lyap1_max": -0.10671304166316986, + "frac_above_star": 0.25 + }, + { + "step": 363, + "sup_loss": 0.8394613249205026, + "rf_loss": 0.0, + "total_loss": 0.8394613249205026, + "lyap1_mean": -0.17944732308387756, + "lyap1_max": -0.08515951037406921, + "frac_above_star": 0.25 + }, + { + "step": 364, + "sup_loss": 0.6918060048887769, + "rf_loss": 0.0, + "total_loss": 0.6918060048887769, + "lyap1_mean": -0.17690293490886688, + "lyap1_max": -0.10569797456264496, + "frac_above_star": 0.375 + }, + { + "step": 365, + "sup_loss": 0.5424748184664675, + "rf_loss": 0.0, + "total_loss": 0.5424748184664675, + "lyap1_mean": -0.17934268712997437, + "lyap1_max": -0.12607541680335999, + "frac_above_star": 0.5 + }, + { + "step": 366, + "sup_loss": 0.6742858964820263, + "rf_loss": 0.0, + "total_loss": 0.6742858964820263, + "lyap1_mean": -0.17991404235363007, + "lyap1_max": -0.10953198373317719, + "frac_above_star": 0.375 + }, + { + "step": 367, + "sup_loss": 0.8133352734097068, + "rf_loss": 0.0, + "total_loss": 0.8133352734097068, + "lyap1_mean": -0.17203351855278015, + "lyap1_max": -0.12854798138141632, + "frac_above_star": 0.375 + }, + { + "step": 368, + "sup_loss": 0.9277934777044982, + "rf_loss": 0.0, + "total_loss": 0.9277934777044982, + "lyap1_mean": -0.18333688378334045, + "lyap1_max": -0.15025824308395386, + "frac_above_star": 0.0 + }, + { + "step": 369, + "sup_loss": 0.7137436124130496, + "rf_loss": 0.0, + "total_loss": 0.7137436124130496, + "lyap1_mean": -0.18669110536575317, + "lyap1_max": -0.12982355058193207, + "frac_above_star": 0.25 + }, + { + "step": 370, + "sup_loss": 0.6841449680892099, + "rf_loss": 0.0, + "total_loss": 0.6841449680892099, + "lyap1_mean": -0.18876104056835175, + "lyap1_max": -0.14289945363998413, + "frac_above_star": 0.25 + }, + { + "step": 371, + "sup_loss": 0.6616626571377924, + "rf_loss": 0.0, + "total_loss": 0.6616626571377924, + "lyap1_mean": -0.17886051535606384, + "lyap1_max": -0.058631282299757004, + "frac_above_star": 0.375 + }, + { + "step": 372, + "sup_loss": 0.8803290612276777, + "rf_loss": 0.0, + "total_loss": 0.8803290612276777, + "lyap1_mean": -0.16034570336341858, + "lyap1_max": -0.09107249230146408, + "frac_above_star": 0.375 + }, + { + "step": 373, + "sup_loss": 0.5872574379929756, + "rf_loss": 0.0, + "total_loss": 0.5872574379929756, + "lyap1_mean": -0.18552890419960022, + "lyap1_max": -0.08087930083274841, + "frac_above_star": 0.375 + }, + { + "step": 374, + "sup_loss": 0.7381000582519752, + "rf_loss": 0.0, + "total_loss": 0.7381000582519752, + "lyap1_mean": -0.1599770486354828, + "lyap1_max": -0.08429764956235886, + "frac_above_star": 0.25 + }, + { + "step": 375, + "sup_loss": 0.6428596172114486, + "rf_loss": 0.0, + "total_loss": 0.6428596172114486, + "lyap1_mean": -0.15494030714035034, + "lyap1_max": -0.05289287865161896, + "frac_above_star": 0.625 + }, + { + "step": 376, + "sup_loss": 0.5136787125935817, + "rf_loss": 0.0, + "total_loss": 0.5136787125935817, + "lyap1_mean": -0.1946583241224289, + "lyap1_max": -0.0829690620303154, + "frac_above_star": 0.125 + }, + { + "step": 377, + "sup_loss": 0.6110292875046374, + "rf_loss": 0.0, + "total_loss": 0.6110292875046374, + "lyap1_mean": -0.15470194816589355, + "lyap1_max": -0.06725405156612396, + "frac_above_star": 0.5 + }, + { + "step": 378, + "sup_loss": 0.6403260805247966, + "rf_loss": 0.0, + "total_loss": 0.6403260805247966, + "lyap1_mean": -0.18282461166381836, + "lyap1_max": -0.11737176030874252, + "frac_above_star": 0.375 + }, + { + "step": 379, + "sup_loss": 0.6401035786631964, + "rf_loss": 0.0, + "total_loss": 0.6401035786631964, + "lyap1_mean": -0.13985832035541534, + "lyap1_max": -0.00029290965176187456, + "frac_above_star": 0.5 + }, + { + "step": 380, + "sup_loss": 0.6457194493912094, + "rf_loss": 0.0, + "total_loss": 0.6457194493912094, + "lyap1_mean": -0.1604815274477005, + "lyap1_max": -0.1357598900794983, + "frac_above_star": 0.375 + }, + { + "step": 381, + "sup_loss": 0.7094812899210385, + "rf_loss": 0.0, + "total_loss": 0.7094812899210385, + "lyap1_mean": -0.13955360651016235, + "lyap1_max": -0.11003520339727402, + "frac_above_star": 0.875 + }, + { + "step": 382, + "sup_loss": 0.8991009683440789, + "rf_loss": 0.0, + "total_loss": 0.8991009683440789, + "lyap1_mean": -0.14085958898067474, + "lyap1_max": -0.0426856204867363, + "frac_above_star": 0.375 + }, + { + "step": 383, + "sup_loss": 0.7802509909155182, + "rf_loss": 0.0, + "total_loss": 0.7802509909155182, + "lyap1_mean": -0.20251454412937164, + "lyap1_max": -0.1400924026966095, + "frac_above_star": 0.375 + }, + { + "step": 384, + "sup_loss": 0.6848554254334286, + "rf_loss": 0.0, + "total_loss": 0.6848554254334286, + "lyap1_mean": -0.1839134395122528, + "lyap1_max": -0.05771774798631668, + "frac_above_star": 0.25 + }, + { + "step": 385, + "sup_loss": 0.7100817851571523, + "rf_loss": 0.0, + "total_loss": 0.7100817851571523, + "lyap1_mean": -0.15610727667808533, + "lyap1_max": -0.03639852628111839, + "frac_above_star": 0.625 + }, + { + "step": 386, + "sup_loss": 0.5329276855700021, + "rf_loss": 0.0, + "total_loss": 0.5329276855700021, + "lyap1_mean": -0.18431702256202698, + "lyap1_max": -0.12843731045722961, + "frac_above_star": 0.125 + }, + { + "step": 387, + "sup_loss": 0.7771550838466991, + "rf_loss": 0.0, + "total_loss": 0.7771550838466991, + "lyap1_mean": -0.15726888179779053, + "lyap1_max": -0.1156558021903038, + "frac_above_star": 0.5 + }, + { + "step": 388, + "sup_loss": 0.7180358886499864, + "rf_loss": 0.0, + "total_loss": 0.7180358886499864, + "lyap1_mean": -0.17007921636104584, + "lyap1_max": -0.12369965016841888, + "frac_above_star": 0.25 + }, + { + "step": 389, + "sup_loss": 0.781707385585974, + "rf_loss": 0.0, + "total_loss": 0.781707385585974, + "lyap1_mean": -0.16800056397914886, + "lyap1_max": -0.00872646551579237, + "frac_above_star": 0.125 + }, + { + "step": 390, + "sup_loss": 0.6211185769889725, + "rf_loss": 0.0, + "total_loss": 0.6211185769889725, + "lyap1_mean": -0.18690650165081024, + "lyap1_max": -0.05884827673435211, + "frac_above_star": 0.25 + }, + { + "step": 391, + "sup_loss": 0.888869325342628, + "rf_loss": 0.0, + "total_loss": 0.888869325342628, + "lyap1_mean": -0.1510452926158905, + "lyap1_max": -0.10568289458751678, + "frac_above_star": 0.375 + }, + { + "step": 392, + "sup_loss": 0.8363850334936117, + "rf_loss": 0.0, + "total_loss": 0.8363850334936117, + "lyap1_mean": -0.15968462824821472, + "lyap1_max": -0.12549540400505066, + "frac_above_star": 0.375 + }, + { + "step": 393, + "sup_loss": 0.878531469885206, + "rf_loss": 0.0, + "total_loss": 0.878531469885206, + "lyap1_mean": -0.15984301269054413, + "lyap1_max": -0.12687569856643677, + "frac_above_star": 0.5 + }, + { + "step": 394, + "sup_loss": 0.7591531331884873, + "rf_loss": 0.0, + "total_loss": 0.7591531331884873, + "lyap1_mean": -0.17380502820014954, + "lyap1_max": -0.09536676853895187, + "frac_above_star": 0.25 + }, + { + "step": 395, + "sup_loss": 0.8015973587954092, + "rf_loss": 0.0, + "total_loss": 0.8015973587954092, + "lyap1_mean": -0.16949351131916046, + "lyap1_max": -0.11491835117340088, + "frac_above_star": 0.125 + }, + { + "step": 396, + "sup_loss": 0.6881859996549285, + "rf_loss": 0.0, + "total_loss": 0.6881859996549285, + "lyap1_mean": -0.16908609867095947, + "lyap1_max": -0.14517328143119812, + "frac_above_star": 0.125 + }, + { + "step": 397, + "sup_loss": 0.6498701000685454, + "rf_loss": 0.0, + "total_loss": 0.6498701000685454, + "lyap1_mean": -0.17832911014556885, + "lyap1_max": -0.07940491288900375, + "frac_above_star": 0.125 + }, + { + "step": 398, + "sup_loss": 0.8324722382511119, + "rf_loss": 0.0, + "total_loss": 0.8324722382511119, + "lyap1_mean": -0.17864546179771423, + "lyap1_max": -0.0745304748415947, + "frac_above_star": 0.125 + }, + { + "step": 399, + "sup_loss": 0.6700313831616391, + "rf_loss": 0.0, + "total_loss": 0.6700313831616391, + "lyap1_mean": -0.17518708109855652, + "lyap1_max": -0.11164058744907379, + "frac_above_star": 0.375 + }, + { + "step": 400, + "sup_loss": 0.6972420372751138, + "rf_loss": 0.0, + "total_loss": 0.6972420372751138, + "lyap1_mean": -0.17546281218528748, + "lyap1_max": -0.04463040083646774, + "frac_above_star": 0.375 + }, + { + "step": 401, + "sup_loss": 0.8407908470650266, + "rf_loss": 0.0, + "total_loss": 0.8407908470650266, + "lyap1_mean": -0.16640670597553253, + "lyap1_max": -0.10486233234405518, + "frac_above_star": 0.5 + }, + { + "step": 402, + "sup_loss": 0.7678082967405505, + "rf_loss": 0.0, + "total_loss": 0.7678082967405505, + "lyap1_mean": -0.1373756229877472, + "lyap1_max": -0.05183016508817673, + "frac_above_star": 0.375 + }, + { + "step": 403, + "sup_loss": 0.6597653778078312, + "rf_loss": 0.0, + "total_loss": 0.6597653778078312, + "lyap1_mean": -0.17959217727184296, + "lyap1_max": -0.11030887067317963, + "frac_above_star": 0.375 + }, + { + "step": 404, + "sup_loss": 0.5956889994178416, + "rf_loss": 0.0, + "total_loss": 0.5956889994178416, + "lyap1_mean": -0.18160796165466309, + "lyap1_max": -0.13902899622917175, + "frac_above_star": 0.375 + }, + { + "step": 405, + "sup_loss": 0.841364021254414, + "rf_loss": 0.0, + "total_loss": 0.841364021254414, + "lyap1_mean": -0.13746234774589539, + "lyap1_max": -0.010904267430305481, + "frac_above_star": 0.5 + }, + { + "step": 406, + "sup_loss": 0.927589474392504, + "rf_loss": 0.0, + "total_loss": 0.927589474392504, + "lyap1_mean": -0.16413480043411255, + "lyap1_max": -0.11183822154998779, + "frac_above_star": 0.25 + }, + { + "step": 407, + "sup_loss": 0.6285450494772612, + "rf_loss": 0.0, + "total_loss": 0.6285450494772612, + "lyap1_mean": -0.18161900341510773, + "lyap1_max": -0.10169049352407455, + "frac_above_star": 0.25 + }, + { + "step": 408, + "sup_loss": 0.6767682434462104, + "rf_loss": 0.0, + "total_loss": 0.6767682434462104, + "lyap1_mean": -0.18158024549484253, + "lyap1_max": -0.1471700817346573, + "frac_above_star": 0.125 + }, + { + "step": 409, + "sup_loss": 0.7680979733377226, + "rf_loss": 0.0, + "total_loss": 0.7680979733377226, + "lyap1_mean": -0.14794063568115234, + "lyap1_max": -0.0833953246474266, + "frac_above_star": 0.375 + }, + { + "step": 410, + "sup_loss": 0.8149419492701451, + "rf_loss": 0.0, + "total_loss": 0.8149419492701451, + "lyap1_mean": -0.14386838674545288, + "lyap1_max": -0.10370077192783356, + "frac_above_star": 0.75 + }, + { + "step": 411, + "sup_loss": 0.8341383189308609, + "rf_loss": 0.0, + "total_loss": 0.8341383189308609, + "lyap1_mean": -0.1440843939781189, + "lyap1_max": -0.08801598846912384, + "frac_above_star": 0.625 + }, + { + "step": 412, + "sup_loss": 0.7923339099049581, + "rf_loss": 0.0, + "total_loss": 0.7923339099049581, + "lyap1_mean": -0.13109423220157623, + "lyap1_max": -0.04812438040971756, + "frac_above_star": 0.5 + }, + { + "step": 413, + "sup_loss": 0.6524429698371065, + "rf_loss": 0.0, + "total_loss": 0.6524429698371065, + "lyap1_mean": -0.1756288707256317, + "lyap1_max": -0.09786784648895264, + "frac_above_star": 0.25 + }, + { + "step": 414, + "sup_loss": 0.9568429805983923, + "rf_loss": 0.0, + "total_loss": 0.9568429805983923, + "lyap1_mean": -0.131368026137352, + "lyap1_max": -0.020210817456245422, + "frac_above_star": 0.5 + }, + { + "step": 415, + "sup_loss": 0.651659916819012, + "rf_loss": 0.0, + "total_loss": 0.651659916819012, + "lyap1_mean": -0.20474445819854736, + "lyap1_max": -0.09686686843633652, + "frac_above_star": 0.125 + }, + { + "step": 416, + "sup_loss": 0.5972539504929294, + "rf_loss": 0.0, + "total_loss": 0.5972539504929294, + "lyap1_mean": -0.1515873670578003, + "lyap1_max": 0.007959874346852303, + "frac_above_star": 0.5 + }, + { + "step": 417, + "sup_loss": 0.7360080010918347, + "rf_loss": 0.0, + "total_loss": 0.7360080010918347, + "lyap1_mean": -0.16009724140167236, + "lyap1_max": -0.1290099024772644, + "frac_above_star": 0.375 + }, + { + "step": 418, + "sup_loss": 0.589456516793829, + "rf_loss": 0.0, + "total_loss": 0.589456516793829, + "lyap1_mean": -0.1621909737586975, + "lyap1_max": -0.08182154595851898, + "frac_above_star": 0.5 + }, + { + "step": 419, + "sup_loss": 0.7297499149721031, + "rf_loss": 0.0, + "total_loss": 0.7297499149721031, + "lyap1_mean": -0.16312284767627716, + "lyap1_max": -0.1245756596326828, + "frac_above_star": 0.5 + }, + { + "step": 420, + "sup_loss": 0.6644276506509074, + "rf_loss": 0.0, + "total_loss": 0.6644276506509074, + "lyap1_mean": -0.17012327909469604, + "lyap1_max": -0.11995194852352142, + "frac_above_star": 0.375 + }, + { + "step": 421, + "sup_loss": 0.7212510967008344, + "rf_loss": 0.0, + "total_loss": 0.7212510967008344, + "lyap1_mean": -0.1655072420835495, + "lyap1_max": -0.09744150936603546, + "frac_above_star": 0.5 + }, + { + "step": 422, + "sup_loss": 0.7137651296082957, + "rf_loss": 0.0, + "total_loss": 0.7137651296082957, + "lyap1_mean": -0.16551323235034943, + "lyap1_max": -0.10311856120824814, + "frac_above_star": 0.25 + }, + { + "step": 423, + "sup_loss": 0.554281808467374, + "rf_loss": 0.0, + "total_loss": 0.554281808467374, + "lyap1_mean": -0.19274787604808807, + "lyap1_max": -0.13760623335838318, + "frac_above_star": 0.25 + }, + { + "step": 424, + "sup_loss": 0.7561151888654662, + "rf_loss": 0.0, + "total_loss": 0.7561151888654662, + "lyap1_mean": -0.1534164696931839, + "lyap1_max": -0.05836606025695801, + "frac_above_star": 0.5 + }, + { + "step": 425, + "sup_loss": 0.5104884078472168, + "rf_loss": 0.0, + "total_loss": 0.5104884078472168, + "lyap1_mean": -0.1570117473602295, + "lyap1_max": 0.003948912024497986, + "frac_above_star": 0.375 + }, + { + "step": 426, + "sup_loss": 0.7274880342499785, + "rf_loss": 0.0, + "total_loss": 0.7274880342499785, + "lyap1_mean": -0.1497647911310196, + "lyap1_max": -0.126252681016922, + "frac_above_star": 0.5 + }, + { + "step": 427, + "sup_loss": 0.6893327031684041, + "rf_loss": 0.0, + "total_loss": 0.6893327031684041, + "lyap1_mean": -0.19385875761508942, + "lyap1_max": -0.14462502300739288, + "frac_above_star": 0.375 + }, + { + "step": 428, + "sup_loss": 0.6315314141098628, + "rf_loss": 0.0, + "total_loss": 0.6315314141098628, + "lyap1_mean": -0.14497235417366028, + "lyap1_max": -0.061579495668411255, + "frac_above_star": 0.5 + }, + { + "step": 429, + "sup_loss": 0.9227922216065413, + "rf_loss": 0.0, + "total_loss": 0.9227922216065413, + "lyap1_mean": -0.16660545766353607, + "lyap1_max": -0.13377690315246582, + "frac_above_star": 0.5 + }, + { + "step": 430, + "sup_loss": 0.677595497643998, + "rf_loss": 0.0, + "total_loss": 0.677595497643998, + "lyap1_mean": -0.1682310253381729, + "lyap1_max": -0.10406062006950378, + "frac_above_star": 0.375 + }, + { + "step": 431, + "sup_loss": 0.7383772430194766, + "rf_loss": 0.0, + "total_loss": 0.7383772430194766, + "lyap1_mean": -0.16283540427684784, + "lyap1_max": -0.07756336778402328, + "frac_above_star": 0.375 + }, + { + "step": 432, + "sup_loss": 0.8130340730474649, + "rf_loss": 0.0, + "total_loss": 0.8130340730474649, + "lyap1_mean": -0.14022044837474823, + "lyap1_max": -0.08866097778081894, + "frac_above_star": 0.5 + }, + { + "step": 433, + "sup_loss": 0.7304079607181225, + "rf_loss": 0.0, + "total_loss": 0.7304079607181225, + "lyap1_mean": -0.16905264556407928, + "lyap1_max": -0.059436049312353134, + "frac_above_star": 0.375 + }, + { + "step": 434, + "sup_loss": 0.732548518678997, + "rf_loss": 0.0, + "total_loss": 0.732548518678997, + "lyap1_mean": -0.18281762301921844, + "lyap1_max": -0.10493594408035278, + "frac_above_star": 0.25 + }, + { + "step": 435, + "sup_loss": 0.5924893522995731, + "rf_loss": 0.0, + "total_loss": 0.5924893522995731, + "lyap1_mean": -0.1527153104543686, + "lyap1_max": -0.08494546264410019, + "frac_above_star": 0.375 + }, + { + "step": 436, + "sup_loss": 0.6293413167849494, + "rf_loss": 0.0, + "total_loss": 0.6293413167849494, + "lyap1_mean": -0.18036490678787231, + "lyap1_max": -0.10124087333679199, + "frac_above_star": 0.25 + }, + { + "step": 437, + "sup_loss": 0.6677292245464301, + "rf_loss": 0.0, + "total_loss": 0.6677292245464301, + "lyap1_mean": -0.20458416640758514, + "lyap1_max": -0.14529553055763245, + "frac_above_star": 0.125 + }, + { + "step": 438, + "sup_loss": 0.7849390665011038, + "rf_loss": 0.0, + "total_loss": 0.7849390665011038, + "lyap1_mean": -0.16860371828079224, + "lyap1_max": -0.10943979024887085, + "frac_above_star": 0.375 + }, + { + "step": 439, + "sup_loss": 0.7698741563071412, + "rf_loss": 0.0, + "total_loss": 0.7698741563071412, + "lyap1_mean": -0.17150509357452393, + "lyap1_max": -0.10599161684513092, + "frac_above_star": 0.375 + }, + { + "step": 440, + "sup_loss": 0.9229875381853014, + "rf_loss": 0.0, + "total_loss": 0.9229875381853014, + "lyap1_mean": -0.17187385261058807, + "lyap1_max": -0.09860466420650482, + "frac_above_star": 0.25 + }, + { + "step": 441, + "sup_loss": 0.6171528568621578, + "rf_loss": 0.0, + "total_loss": 0.6171528568621578, + "lyap1_mean": -0.18759962916374207, + "lyap1_max": -0.08865772187709808, + "frac_above_star": 0.25 + }, + { + "step": 442, + "sup_loss": 0.8116697484262385, + "rf_loss": 0.0, + "total_loss": 0.8116697484262385, + "lyap1_mean": -0.14414557814598083, + "lyap1_max": -0.0854831263422966, + "frac_above_star": 0.625 + }, + { + "step": 443, + "sup_loss": 0.8417830891205923, + "rf_loss": 0.0, + "total_loss": 0.8417830891205923, + "lyap1_mean": -0.13475731015205383, + "lyap1_max": -0.04104403406381607, + "frac_above_star": 0.375 + }, + { + "step": 444, + "sup_loss": 0.8297206462508194, + "rf_loss": 0.0, + "total_loss": 0.8297206462508194, + "lyap1_mean": -0.14729997515678406, + "lyap1_max": -0.04100320488214493, + "frac_above_star": 0.5 + }, + { + "step": 445, + "sup_loss": 0.6741838585752387, + "rf_loss": 0.0, + "total_loss": 0.6741838585752387, + "lyap1_mean": -0.1552531123161316, + "lyap1_max": -0.0888887569308281, + "frac_above_star": 0.375 + }, + { + "step": 446, + "sup_loss": 0.7961226704472982, + "rf_loss": 0.0, + "total_loss": 0.7961226704472982, + "lyap1_mean": -0.16291165351867676, + "lyap1_max": -0.06430642306804657, + "frac_above_star": 0.125 + }, + { + "step": 447, + "sup_loss": 0.642770131189813, + "rf_loss": 0.0, + "total_loss": 0.642770131189813, + "lyap1_mean": -0.16096234321594238, + "lyap1_max": -0.044303324073553085, + "frac_above_star": 0.25 + }, + { + "step": 448, + "sup_loss": 0.8336832869973217, + "rf_loss": 0.0, + "total_loss": 0.8336832869973217, + "lyap1_mean": -0.15043023228645325, + "lyap1_max": -0.0956040769815445, + "frac_above_star": 0.375 + }, + { + "step": 449, + "sup_loss": 0.8543875897853394, + "rf_loss": 0.0, + "total_loss": 0.8543875897853394, + "lyap1_mean": -0.16575835645198822, + "lyap1_max": -0.13837073743343353, + "frac_above_star": 0.375 + }, + { + "step": 450, + "sup_loss": 0.7025244285288804, + "rf_loss": 0.0, + "total_loss": 0.7025244285288804, + "lyap1_mean": -0.18401247262954712, + "lyap1_max": -0.13024884462356567, + "frac_above_star": 0.375 + }, + { + "step": 451, + "sup_loss": 0.725149744272035, + "rf_loss": 0.0, + "total_loss": 0.725149744272035, + "lyap1_mean": -0.16170746088027954, + "lyap1_max": -0.09740655869245529, + "frac_above_star": 0.5 + }, + { + "step": 452, + "sup_loss": 0.6569015376936607, + "rf_loss": 0.0, + "total_loss": 0.6569015376936607, + "lyap1_mean": -0.19807791709899902, + "lyap1_max": -0.12440100312232971, + "frac_above_star": 0.125 + }, + { + "step": 453, + "sup_loss": 0.8181831404102564, + "rf_loss": 0.0, + "total_loss": 0.8181831404102564, + "lyap1_mean": -0.18465329706668854, + "lyap1_max": -0.09749116003513336, + "frac_above_star": 0.375 + }, + { + "step": 454, + "sup_loss": 0.7543600049883326, + "rf_loss": 0.0, + "total_loss": 0.7543600049883326, + "lyap1_mean": -0.17740200459957123, + "lyap1_max": -0.09545965492725372, + "frac_above_star": 0.25 + }, + { + "step": 455, + "sup_loss": 0.8004864246607981, + "rf_loss": 0.0, + "total_loss": 0.8004864246607981, + "lyap1_mean": -0.17449787259101868, + "lyap1_max": -0.13262110948562622, + "frac_above_star": 0.25 + }, + { + "step": 456, + "sup_loss": 0.5623874098231159, + "rf_loss": 0.0, + "total_loss": 0.5623874098231159, + "lyap1_mean": -0.18614447116851807, + "lyap1_max": -0.06884823739528656, + "frac_above_star": 0.25 + }, + { + "step": 457, + "sup_loss": 0.6659393137561388, + "rf_loss": 0.0, + "total_loss": 0.6659393137561388, + "lyap1_mean": -0.16107399761676788, + "lyap1_max": -0.08010777831077576, + "frac_above_star": 0.5 + }, + { + "step": 458, + "sup_loss": 0.7782142573328925, + "rf_loss": 0.0, + "total_loss": 0.7782142573328925, + "lyap1_mean": -0.18314644694328308, + "lyap1_max": -0.09657545387744904, + "frac_above_star": 0.125 + }, + { + "step": 459, + "sup_loss": 0.7620006768636545, + "rf_loss": 0.0, + "total_loss": 0.7620006768636545, + "lyap1_mean": -0.14652670919895172, + "lyap1_max": -0.06779708713293076, + "frac_above_star": 0.375 + }, + { + "step": 460, + "sup_loss": 0.7731839975654325, + "rf_loss": 0.0, + "total_loss": 0.7731839975654325, + "lyap1_mean": -0.18981648981571198, + "lyap1_max": -0.11919796466827393, + "frac_above_star": 0.375 + }, + { + "step": 461, + "sup_loss": 0.7517497995056198, + "rf_loss": 0.0, + "total_loss": 0.7517497995056198, + "lyap1_mean": -0.1878088265657425, + "lyap1_max": -0.11020030081272125, + "frac_above_star": 0.25 + }, + { + "step": 462, + "sup_loss": 0.752560005422932, + "rf_loss": 0.0, + "total_loss": 0.752560005422932, + "lyap1_mean": -0.16730615496635437, + "lyap1_max": -0.09765680879354477, + "frac_above_star": 0.5 + }, + { + "step": 463, + "sup_loss": 0.7995259317052709, + "rf_loss": 0.0, + "total_loss": 0.7995259317052709, + "lyap1_mean": -0.19006457924842834, + "lyap1_max": -0.15342921018600464, + "frac_above_star": 0.0 + }, + { + "step": 464, + "sup_loss": 0.7885994515227335, + "rf_loss": 0.0, + "total_loss": 0.7885994515227335, + "lyap1_mean": -0.14102700352668762, + "lyap1_max": -0.07438226789236069, + "frac_above_star": 0.5 + }, + { + "step": 465, + "sup_loss": 0.799501149629093, + "rf_loss": 0.0, + "total_loss": 0.799501149629093, + "lyap1_mean": -0.15200258791446686, + "lyap1_max": -0.04055820032954216, + "frac_above_star": 0.375 + }, + { + "step": 466, + "sup_loss": 0.6563292962095897, + "rf_loss": 0.0, + "total_loss": 0.6563292962095897, + "lyap1_mean": -0.1575639694929123, + "lyap1_max": -0.06593695282936096, + "frac_above_star": 0.5 + }, + { + "step": 467, + "sup_loss": 0.5522507433460745, + "rf_loss": 0.0, + "total_loss": 0.5522507433460745, + "lyap1_mean": -0.17593912780284882, + "lyap1_max": -0.11945387721061707, + "frac_above_star": 0.5 + }, + { + "step": 468, + "sup_loss": 0.7862503363803333, + "rf_loss": 0.0, + "total_loss": 0.7862503363803333, + "lyap1_mean": -0.17598891258239746, + "lyap1_max": -0.14116400480270386, + "frac_above_star": 0.375 + }, + { + "step": 469, + "sup_loss": 0.884311011967596, + "rf_loss": 0.0, + "total_loss": 0.884311011967596, + "lyap1_mean": -0.17760872840881348, + "lyap1_max": -0.1077951118350029, + "frac_above_star": 0.125 + }, + { + "step": 470, + "sup_loss": 0.7674860777177069, + "rf_loss": 0.0, + "total_loss": 0.7674860777177069, + "lyap1_mean": -0.17247003316879272, + "lyap1_max": -0.10695796459913254, + "frac_above_star": 0.25 + }, + { + "step": 471, + "sup_loss": 0.8371961092652768, + "rf_loss": 0.0, + "total_loss": 0.8371961092652768, + "lyap1_mean": -0.16398902237415314, + "lyap1_max": -0.1168597936630249, + "frac_above_star": 0.375 + }, + { + "step": 472, + "sup_loss": 0.6263375141953814, + "rf_loss": 0.0, + "total_loss": 0.6263375141953814, + "lyap1_mean": -0.19620926678180695, + "lyap1_max": -0.10001419484615326, + "frac_above_star": 0.125 + }, + { + "step": 473, + "sup_loss": 0.5308438914899976, + "rf_loss": 0.0, + "total_loss": 0.5308438914899976, + "lyap1_mean": -0.18448974192142487, + "lyap1_max": -0.08754920959472656, + "frac_above_star": 0.375 + }, + { + "step": 474, + "sup_loss": 0.4229905709128512, + "rf_loss": 0.0, + "total_loss": 0.4229905709128512, + "lyap1_mean": -0.21180950105190277, + "lyap1_max": -0.14637991786003113, + "frac_above_star": 0.125 + }, + { + "step": 475, + "sup_loss": 1.064048857777307, + "rf_loss": 0.0, + "total_loss": 1.064048857777307, + "lyap1_mean": -0.13957679271697998, + "lyap1_max": -0.08281418681144714, + "frac_above_star": 0.625 + }, + { + "step": 476, + "sup_loss": 0.8949080502787331, + "rf_loss": 0.0, + "total_loss": 0.8949080502787331, + "lyap1_mean": -0.15937167406082153, + "lyap1_max": -0.031657930463552475, + "frac_above_star": 0.375 + }, + { + "step": 477, + "sup_loss": 0.6361503643760913, + "rf_loss": 0.0, + "total_loss": 0.6361503643760913, + "lyap1_mean": -0.15405398607254028, + "lyap1_max": -0.08269035816192627, + "frac_above_star": 0.375 + }, + { + "step": 478, + "sup_loss": 0.8969292332093859, + "rf_loss": 0.0, + "total_loss": 0.8969292332093859, + "lyap1_mean": -0.17280098795890808, + "lyap1_max": -0.03186885640025139, + "frac_above_star": 0.375 + }, + { + "step": 479, + "sup_loss": 0.616891284609515, + "rf_loss": 0.0, + "total_loss": 0.616891284609515, + "lyap1_mean": -0.18035314977169037, + "lyap1_max": -0.10802729427814484, + "frac_above_star": 0.375 + }, + { + "step": 480, + "sup_loss": 0.701461309397287, + "rf_loss": 0.0, + "total_loss": 0.701461309397287, + "lyap1_mean": -0.17343184351921082, + "lyap1_max": -0.05795025825500488, + "frac_above_star": 0.375 + }, + { + "step": 481, + "sup_loss": 0.7225988113061798, + "rf_loss": 0.0, + "total_loss": 0.7225988113061798, + "lyap1_mean": -0.15110892057418823, + "lyap1_max": -0.08366455882787704, + "frac_above_star": 0.625 + }, + { + "step": 482, + "sup_loss": 0.7564552373173445, + "rf_loss": 0.0, + "total_loss": 0.7564552373173445, + "lyap1_mean": -0.1670447289943695, + "lyap1_max": -0.11859087646007538, + "frac_above_star": 0.5 + }, + { + "step": 483, + "sup_loss": 0.7080009786234471, + "rf_loss": 0.0, + "total_loss": 0.7080009786234471, + "lyap1_mean": -0.1562272012233734, + "lyap1_max": -0.036439914256334305, + "frac_above_star": 0.5 + }, + { + "step": 484, + "sup_loss": 0.6545753941952555, + "rf_loss": 0.0, + "total_loss": 0.6545753941952555, + "lyap1_mean": -0.19410565495491028, + "lyap1_max": -0.13279055058956146, + "frac_above_star": 0.125 + }, + { + "step": 485, + "sup_loss": 0.6479096095153457, + "rf_loss": 0.0, + "total_loss": 0.6479096095153457, + "lyap1_mean": -0.1731073260307312, + "lyap1_max": -0.09882868826389313, + "frac_above_star": 0.25 + }, + { + "step": 486, + "sup_loss": 0.6988485291432681, + "rf_loss": 0.0, + "total_loss": 0.6988485291432681, + "lyap1_mean": -0.15271180868148804, + "lyap1_max": -0.06902401149272919, + "frac_above_star": 0.5 + }, + { + "step": 487, + "sup_loss": 0.6013855832667586, + "rf_loss": 0.0, + "total_loss": 0.6013855832667586, + "lyap1_mean": -0.16144952178001404, + "lyap1_max": -0.08429834246635437, + "frac_above_star": 0.375 + }, + { + "step": 488, + "sup_loss": 0.6107541319350156, + "rf_loss": 0.0, + "total_loss": 0.6107541319350156, + "lyap1_mean": -0.17146772146224976, + "lyap1_max": -0.09131967276334763, + "frac_above_star": 0.375 + }, + { + "step": 489, + "sup_loss": 1.0555655115707827, + "rf_loss": 0.0, + "total_loss": 1.0555655115707827, + "lyap1_mean": -0.16215233504772186, + "lyap1_max": -0.08378855884075165, + "frac_above_star": 0.375 + }, + { + "step": 490, + "sup_loss": 0.6625782371281009, + "rf_loss": 0.0, + "total_loss": 0.6625782371281009, + "lyap1_mean": -0.17757192254066467, + "lyap1_max": -0.10277314484119415, + "frac_above_star": 0.25 + }, + { + "step": 491, + "sup_loss": 0.6573347399025277, + "rf_loss": 0.0, + "total_loss": 0.6573347399025277, + "lyap1_mean": -0.1762349009513855, + "lyap1_max": -0.01984383538365364, + "frac_above_star": 0.25 + }, + { + "step": 492, + "sup_loss": 0.781652395002866, + "rf_loss": 0.0, + "total_loss": 0.781652395002866, + "lyap1_mean": -0.15785497426986694, + "lyap1_max": -0.12624740600585938, + "frac_above_star": 0.375 + }, + { + "step": 493, + "sup_loss": 0.611624321624618, + "rf_loss": 0.0, + "total_loss": 0.611624321624618, + "lyap1_mean": -0.1847115010023117, + "lyap1_max": -0.12789049744606018, + "frac_above_star": 0.25 + }, + { + "step": 494, + "sup_loss": 0.7906523516898318, + "rf_loss": 0.0, + "total_loss": 0.7906523516898318, + "lyap1_mean": -0.14756646752357483, + "lyap1_max": -0.06895338743925095, + "frac_above_star": 0.5 + }, + { + "step": 495, + "sup_loss": 0.821852558907691, + "rf_loss": 0.0, + "total_loss": 0.821852558907691, + "lyap1_mean": -0.1438947468996048, + "lyap1_max": -0.06654702872037888, + "frac_above_star": 0.375 + }, + { + "step": 496, + "sup_loss": 0.607907607358334, + "rf_loss": 0.0, + "total_loss": 0.607907607358334, + "lyap1_mean": -0.1687946617603302, + "lyap1_max": -0.1189645379781723, + "frac_above_star": 0.375 + }, + { + "step": 497, + "sup_loss": 0.7302389114965668, + "rf_loss": 0.0, + "total_loss": 0.7302389114965668, + "lyap1_mean": -0.16922883689403534, + "lyap1_max": -0.11487674713134766, + "frac_above_star": 0.25 + }, + { + "step": 498, + "sup_loss": 0.7696058584238437, + "rf_loss": 0.0, + "total_loss": 0.7696058584238437, + "lyap1_mean": -0.16791322827339172, + "lyap1_max": -0.11579616367816925, + "frac_above_star": 0.25 + }, + { + "step": 499, + "sup_loss": 0.560374826644872, + "rf_loss": 0.0, + "total_loss": 0.560374826644872, + "lyap1_mean": -0.15292170643806458, + "lyap1_max": -0.08657415211200714, + "frac_above_star": 0.5 + } + ], + "evals": [ + { + "step": 0, + "acc": 0.484375, + "tok_acc": 0.8186487268518519 + }, + { + "step": 100, + "acc": 0.529296875, + "tok_acc": 0.8311390817901234 + }, + { + "step": 200, + "acc": 0.49609375, + "tok_acc": 0.8289207175925926 + }, + { + "step": 300, + "acc": 0.51953125, + "tok_acc": 0.8343219521604939 + }, + { + "step": 400, + "acc": 0.513671875, + "tok_acc": 0.8313560956790124 + }, + { + "step": 500, + "acc": 0.5078125, + "tok_acc": 0.8307773919753086 + }, + { + "step": 500, + "acc": 0.5078125, + "tok_acc": 0.8307773919753086 + } + ], + "final_acc": 0.5078125, + "final_tok_acc": 0.8307773919753086 +}
\ No newline at end of file |