diff options
Diffstat (limited to 'research/flossing/step3_G_gelu_26040.json')
| -rw-r--r-- | research/flossing/step3_G_gelu_26040.json | 4562 |
1 files changed, 4562 insertions, 0 deletions
diff --git a/research/flossing/step3_G_gelu_26040.json b/research/flossing/step3_G_gelu_26040.json new file mode 100644 index 0000000..e94d0fb --- /dev/null +++ b/research/flossing/step3_G_gelu_26040.json @@ -0,0 +1,4562 @@ +{ + "args": { + "ckpt_root": "/home/yurenh2/rrm/hrm/checkpoints/Sudoku-extreme-1k-aug-1000 ACT-torch/HierarchicalReasoningModel_ACTV1 righteous-python", + "ckpt_name": "step_26040", + "n_steps": 500, + "batch_size": 8, + "lr": 1e-05, + "alpha_rf": 10.0, + "lambda_star": -0.05, + "rf_mode": "gelu", + "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_G_gelu_26040.json" + }, + "initial_acc": 0.517578125, + "initial_tok_acc": 0.8276668595679012, + "steps": [ + { + "step": 0, + "sup_loss": 0.5765939557422503, + "rf_loss": -0.0756944790482521, + "total_loss": -0.1803508198391096, + "lyap1_mean": -0.18472686409950256, + "lyap1_max": -0.04164290055632591, + "frac_above_star": 1.0 + }, + { + "step": 1, + "sup_loss": 0.40509140585614006, + "rf_loss": -0.0848955363035202, + "total_loss": -0.44386398698138435, + "lyap1_mean": -0.2075383961200714, + "lyap1_max": -0.055716730654239655, + "frac_above_star": 1.0 + }, + { + "step": 2, + "sup_loss": 0.7359063393219407, + "rf_loss": -0.0852651447057724, + "total_loss": -0.11674513753810567, + "lyap1_mean": -0.2064703404903412, + "lyap1_max": -0.12967240810394287, + "frac_above_star": 1.0 + }, + { + "step": 3, + "sup_loss": 0.5322566655109481, + "rf_loss": -0.0793272852897644, + "total_loss": -0.26101618738669596, + "lyap1_mean": -0.1928069144487381, + "lyap1_max": -0.10053955018520355, + "frac_above_star": 1.0 + }, + { + "step": 4, + "sup_loss": 0.6101492974537353, + "rf_loss": -0.06869842112064362, + "total_loss": -0.07683488395037852, + "lyap1_mean": -0.16313976049423218, + "lyap1_max": -0.048022519797086716, + "frac_above_star": 1.0 + }, + { + "step": 5, + "sup_loss": 0.8252794650750785, + "rf_loss": -0.07181556522846222, + "total_loss": 0.10712384259277874, + "lyap1_mean": -0.16898100078105927, + "lyap1_max": -0.06551404297351837, + "frac_above_star": 1.0 + }, + { + "step": 6, + "sup_loss": 0.6738543901215263, + "rf_loss": -0.08555618673563004, + "total_loss": -0.1817074623336129, + "lyap1_mean": -0.208595871925354, + "lyap1_max": -0.14008191227912903, + "frac_above_star": 1.0 + }, + { + "step": 7, + "sup_loss": 0.7199325398668771, + "rf_loss": -0.08073697984218597, + "total_loss": -0.08743728835730502, + "lyap1_mean": -0.1907404363155365, + "lyap1_max": -0.16038887202739716, + "frac_above_star": 1.0 + }, + { + "step": 8, + "sup_loss": 0.8338859978103836, + "rf_loss": -0.08246922492980957, + "total_loss": 0.009193748512287936, + "lyap1_mean": -0.19680070877075195, + "lyap1_max": -0.16922324895858765, + "frac_above_star": 1.0 + }, + { + "step": 9, + "sup_loss": 0.8377073732423244, + "rf_loss": -0.08238223195075989, + "total_loss": 0.013885053734725483, + "lyap1_mean": -0.19682146608829498, + "lyap1_max": -0.10325884073972702, + "frac_above_star": 1.0 + }, + { + "step": 10, + "sup_loss": 0.7341689970859199, + "rf_loss": -0.07970153540372849, + "total_loss": -0.06284637185252617, + "lyap1_mean": -0.19096212089061737, + "lyap1_max": -0.10787250101566315, + "frac_above_star": 1.0 + }, + { + "step": 11, + "sup_loss": 0.6927990272950235, + "rf_loss": -0.09698629379272461, + "total_loss": -0.2770639106322226, + "lyap1_mean": -0.24399331212043762, + "lyap1_max": -0.16875675320625305, + "frac_above_star": 1.0 + }, + { + "step": 12, + "sup_loss": 0.48660190941166115, + "rf_loss": -0.09147676825523376, + "total_loss": -0.4281657731406765, + "lyap1_mean": -0.22407305240631104, + "lyap1_max": -0.17606686055660248, + "frac_above_star": 1.0 + }, + { + "step": 13, + "sup_loss": 0.7340136535279793, + "rf_loss": -0.08647200465202332, + "total_loss": -0.13070639299225384, + "lyap1_mean": -0.21086761355400085, + "lyap1_max": -0.15303590893745422, + "frac_above_star": 1.0 + }, + { + "step": 14, + "sup_loss": 0.5642712611134504, + "rf_loss": -0.09652994573116302, + "total_loss": -0.40102822600050225, + "lyap1_mean": -0.24644474685192108, + "lyap1_max": -0.13774561882019043, + "frac_above_star": 1.0 + }, + { + "step": 15, + "sup_loss": 0.7062362448480605, + "rf_loss": -0.09605830907821655, + "total_loss": -0.25434684593410506, + "lyap1_mean": -0.23968079686164856, + "lyap1_max": -0.176254004240036, + "frac_above_star": 1.0 + }, + { + "step": 16, + "sup_loss": 0.6630316976315365, + "rf_loss": -0.0888320654630661, + "total_loss": -0.22528898680144693, + "lyap1_mean": -0.2192291021347046, + "lyap1_max": -0.13044238090515137, + "frac_above_star": 1.0 + }, + { + "step": 17, + "sup_loss": 0.6182659740863102, + "rf_loss": -0.09516876935958862, + "total_loss": -0.333421719509576, + "lyap1_mean": -0.23516535758972168, + "lyap1_max": -0.18682923913002014, + "frac_above_star": 1.0 + }, + { + "step": 18, + "sup_loss": 0.630044607528225, + "rf_loss": -0.09741659462451935, + "total_loss": -0.3441213089146461, + "lyap1_mean": -0.24556085467338562, + "lyap1_max": -0.18595699965953827, + "frac_above_star": 1.0 + }, + { + "step": 19, + "sup_loss": 0.5441856251037687, + "rf_loss": -0.10682152211666107, + "total_loss": -0.5240296258651644, + "lyap1_mean": -0.27951234579086304, + "lyap1_max": -0.11089500039815903, + "frac_above_star": 1.0 + }, + { + "step": 20, + "sup_loss": 0.6478148270468503, + "rf_loss": -0.10035853832960129, + "total_loss": -0.35577051154567896, + "lyap1_mean": -0.25295907258987427, + "lyap1_max": -0.17132996022701263, + "frac_above_star": 1.0 + }, + { + "step": 21, + "sup_loss": 0.6718113583087357, + "rf_loss": -0.0938207358121872, + "total_loss": -0.2663960296154586, + "lyap1_mean": -0.23267629742622375, + "lyap1_max": -0.174527108669281, + "frac_above_star": 1.0 + }, + { + "step": 22, + "sup_loss": 0.6558811009383788, + "rf_loss": -0.10350540280342102, + "total_loss": -0.3791728674911866, + "lyap1_mean": -0.26817774772644043, + "lyap1_max": -0.15806855261325836, + "frac_above_star": 1.0 + }, + { + "step": 23, + "sup_loss": 0.7059192785628221, + "rf_loss": -0.09955455362796783, + "total_loss": -0.28962622791453385, + "lyap1_mean": -0.2501904368400574, + "lyap1_max": -0.19345879554748535, + "frac_above_star": 1.0 + }, + { + "step": 24, + "sup_loss": 0.7419824509009271, + "rf_loss": -0.09417438507080078, + "total_loss": -0.19976139980708074, + "lyap1_mean": -0.23278430104255676, + "lyap1_max": -0.18485820293426514, + "frac_above_star": 1.0 + }, + { + "step": 25, + "sup_loss": 0.8521672522034093, + "rf_loss": -0.09770858287811279, + "total_loss": -0.12491857657771865, + "lyap1_mean": -0.2444249987602234, + "lyap1_max": -0.1887136548757553, + "frac_above_star": 1.0 + }, + { + "step": 26, + "sup_loss": 0.8930322829350988, + "rf_loss": -0.09119662642478943, + "total_loss": -0.018933981312795445, + "lyap1_mean": -0.2215162068605423, + "lyap1_max": -0.19164232909679413, + "frac_above_star": 1.0 + }, + { + "step": 27, + "sup_loss": 0.592266036254, + "rf_loss": -0.1086743175983429, + "total_loss": -0.4944770801247842, + "lyap1_mean": -0.28839847445487976, + "lyap1_max": -0.18762485682964325, + "frac_above_star": 1.0 + }, + { + "step": 28, + "sup_loss": 0.8069147610928238, + "rf_loss": -0.09882117807865143, + "total_loss": -0.1812969898913681, + "lyap1_mean": -0.24748797714710236, + "lyap1_max": -0.20031335949897766, + "frac_above_star": 1.0 + }, + { + "step": 29, + "sup_loss": 0.7455931328410412, + "rf_loss": -0.1020687147974968, + "total_loss": -0.27509397043044315, + "lyap1_mean": -0.26161181926727295, + "lyap1_max": -0.19551746547222137, + "frac_above_star": 1.0 + }, + { + "step": 30, + "sup_loss": 0.8196713031652575, + "rf_loss": -0.10266640037298203, + "total_loss": -0.20699271546572395, + "lyap1_mean": -0.26128870248794556, + "lyap1_max": -0.20432782173156738, + "frac_above_star": 1.0 + }, + { + "step": 31, + "sup_loss": 0.7272554879027573, + "rf_loss": -0.09991316497325897, + "total_loss": -0.2718761916321548, + "lyap1_mean": -0.25282785296440125, + "lyap1_max": -0.1644330471754074, + "frac_above_star": 1.0 + }, + { + "step": 32, + "sup_loss": 0.7282681334345421, + "rf_loss": -0.09541662037372589, + "total_loss": -0.22589804050039441, + "lyap1_mean": -0.23847611248493195, + "lyap1_max": -0.18036365509033203, + "frac_above_star": 1.0 + }, + { + "step": 33, + "sup_loss": 0.6540144614906525, + "rf_loss": -0.10592540353536606, + "total_loss": -0.4052395887641693, + "lyap1_mean": -0.271400511264801, + "lyap1_max": -0.22112052142620087, + "frac_above_star": 1.0 + }, + { + "step": 34, + "sup_loss": 0.6979424000244319, + "rf_loss": -0.10815875232219696, + "total_loss": -0.38364515299986013, + "lyap1_mean": -0.2818204164505005, + "lyap1_max": -0.20877067744731903, + "frac_above_star": 1.0 + }, + { + "step": 35, + "sup_loss": 0.6071395140700456, + "rf_loss": -0.10605965554714203, + "total_loss": -0.45345707120369705, + "lyap1_mean": -0.2730931043624878, + "lyap1_max": -0.21314886212348938, + "frac_above_star": 1.0 + }, + { + "step": 36, + "sup_loss": 0.6884515245725287, + "rf_loss": -0.10616554319858551, + "total_loss": -0.37320387761100404, + "lyap1_mean": -0.27339452505111694, + "lyap1_max": -0.21733030676841736, + "frac_above_star": 1.0 + }, + { + "step": 37, + "sup_loss": 0.7960734485628882, + "rf_loss": -0.10087114572525024, + "total_loss": -0.21263800868961424, + "lyap1_mean": -0.25288376212120056, + "lyap1_max": -0.2255566567182541, + "frac_above_star": 1.0 + }, + { + "step": 38, + "sup_loss": 0.6949159774620624, + "rf_loss": -0.10464369505643845, + "total_loss": -0.35152092839883853, + "lyap1_mean": -0.2688581943511963, + "lyap1_max": -0.21424993872642517, + "frac_above_star": 1.0 + }, + { + "step": 39, + "sup_loss": 0.8046047210698405, + "rf_loss": -0.10415126383304596, + "total_loss": -0.23690788745829672, + "lyap1_mean": -0.2653685212135315, + "lyap1_max": -0.20975422859191895, + "frac_above_star": 1.0 + }, + { + "step": 40, + "sup_loss": 0.8999271644792635, + "rf_loss": -0.09455296397209167, + "total_loss": -0.045602475241653284, + "lyap1_mean": -0.233818918466568, + "lyap1_max": -0.16852444410324097, + "frac_above_star": 1.0 + }, + { + "step": 41, + "sup_loss": 0.6743735068428818, + "rf_loss": -0.11244873702526093, + "total_loss": -0.45011389321204986, + "lyap1_mean": -0.29746484756469727, + "lyap1_max": -0.22432869672775269, + "frac_above_star": 1.0 + }, + { + "step": 42, + "sup_loss": 0.8125614268353218, + "rf_loss": -0.11050576716661453, + "total_loss": -0.29249628953430706, + "lyap1_mean": -0.28925785422325134, + "lyap1_max": -0.22889789938926697, + "frac_above_star": 1.0 + }, + { + "step": 43, + "sup_loss": 0.7988941617935398, + "rf_loss": -0.1092836931347847, + "total_loss": -0.2939428142577908, + "lyap1_mean": -0.28553175926208496, + "lyap1_max": -0.23182976245880127, + "frac_above_star": 1.0 + }, + { + "step": 44, + "sup_loss": 0.9527666914531824, + "rf_loss": -0.10604292154312134, + "total_loss": -0.107662523978031, + "lyap1_mean": -0.2721095085144043, + "lyap1_max": -0.23353034257888794, + "frac_above_star": 1.0 + }, + { + "step": 45, + "sup_loss": 0.775056484618778, + "rf_loss": -0.10828506946563721, + "total_loss": -0.3077942100375941, + "lyap1_mean": -0.2807208299636841, + "lyap1_max": -0.21972179412841797, + "frac_above_star": 1.0 + }, + { + "step": 46, + "sup_loss": 0.7522797657418384, + "rf_loss": -0.10097133368253708, + "total_loss": -0.2574335263800488, + "lyap1_mean": -0.25271597504615784, + "lyap1_max": -0.2295006364583969, + "frac_above_star": 1.0 + }, + { + "step": 47, + "sup_loss": 0.7095499636639749, + "rf_loss": -0.10967504978179932, + "total_loss": -0.3872005341540182, + "lyap1_mean": -0.28616103529930115, + "lyap1_max": -0.22476151585578918, + "frac_above_star": 1.0 + }, + { + "step": 48, + "sup_loss": 0.7435453704739245, + "rf_loss": -0.10996918380260468, + "total_loss": -0.3561464973544446, + "lyap1_mean": -0.2867422103881836, + "lyap1_max": -0.23484763503074646, + "frac_above_star": 1.0 + }, + { + "step": 49, + "sup_loss": 0.6585389239521896, + "rf_loss": -0.11146380007266998, + "total_loss": -0.45609904697218784, + "lyap1_mean": -0.2921523153781891, + "lyap1_max": -0.2285493016242981, + "frac_above_star": 1.0 + }, + { + "step": 50, + "sup_loss": 0.6851785121975872, + "rf_loss": -0.10996705293655396, + "total_loss": -0.41449201716795236, + "lyap1_mean": -0.28700950741767883, + "lyap1_max": -0.22166483104228973, + "frac_above_star": 1.0 + }, + { + "step": 51, + "sup_loss": 0.8773661842476376, + "rf_loss": -0.1024932712316513, + "total_loss": -0.14756655787119788, + "lyap1_mean": -0.25878340005874634, + "lyap1_max": -0.21908912062644958, + "frac_above_star": 1.0 + }, + { + "step": 52, + "sup_loss": 0.6034704053569332, + "rf_loss": -0.11249153316020966, + "total_loss": -0.5214449560474858, + "lyap1_mean": -0.3010428845882416, + "lyap1_max": -0.2056245505809784, + "frac_above_star": 1.0 + }, + { + "step": 53, + "sup_loss": 0.7938146400439497, + "rf_loss": -0.10665986686944962, + "total_loss": -0.2727840137493852, + "lyap1_mean": -0.2746215760707855, + "lyap1_max": -0.20883004367351532, + "frac_above_star": 1.0 + }, + { + "step": 54, + "sup_loss": 0.8381590392305012, + "rf_loss": -0.10720603168010712, + "total_loss": -0.2339013073728924, + "lyap1_mean": -0.274573415517807, + "lyap1_max": -0.23535144329071045, + "frac_above_star": 1.0 + }, + { + "step": 55, + "sup_loss": 0.6493694157832905, + "rf_loss": -0.11193696409463882, + "total_loss": -0.4700002102619365, + "lyap1_mean": -0.29319649934768677, + "lyap1_max": -0.23424136638641357, + "frac_above_star": 1.0 + }, + { + "step": 56, + "sup_loss": 0.74413284852681, + "rf_loss": -0.11298780143260956, + "total_loss": -0.3857451956016079, + "lyap1_mean": -0.2987176775932312, + "lyap1_max": -0.21834968030452728, + "frac_above_star": 1.0 + }, + { + "step": 57, + "sup_loss": 0.7107794824386564, + "rf_loss": -0.11610738933086395, + "total_loss": -0.4502944406723055, + "lyap1_mean": -0.3111738860607147, + "lyap1_max": -0.23819874227046967, + "frac_above_star": 1.0 + }, + { + "step": 58, + "sup_loss": 0.7862250070661756, + "rf_loss": -0.11029601097106934, + "total_loss": -0.31673510264451776, + "lyap1_mean": -0.28764691948890686, + "lyap1_max": -0.2253354787826538, + "frac_above_star": 1.0 + }, + { + "step": 59, + "sup_loss": 0.6531958044840805, + "rf_loss": -0.11237868666648865, + "total_loss": -0.4705911217854507, + "lyap1_mean": -0.29598766565322876, + "lyap1_max": -0.2451660931110382, + "frac_above_star": 1.0 + }, + { + "step": 60, + "sup_loss": 0.777659330177991, + "rf_loss": -0.1024826169013977, + "total_loss": -0.247166838835986, + "lyap1_mean": -0.25749602913856506, + "lyap1_max": -0.22527363896369934, + "frac_above_star": 1.0 + }, + { + "step": 61, + "sup_loss": 0.6464526144886129, + "rf_loss": -0.10848306119441986, + "total_loss": -0.4383780272579081, + "lyap1_mean": -0.283343642950058, + "lyap1_max": -0.17276394367218018, + "frac_above_star": 1.0 + }, + { + "step": 62, + "sup_loss": 0.5730884761743985, + "rf_loss": -0.11932231485843658, + "total_loss": -0.620134642607645, + "lyap1_mean": -0.322591096162796, + "lyap1_max": -0.24756062030792236, + "frac_above_star": 1.0 + }, + { + "step": 63, + "sup_loss": 0.8388594615691548, + "rf_loss": -0.11311942338943481, + "total_loss": -0.29233477232519334, + "lyap1_mean": -0.29628169536590576, + "lyap1_max": -0.2573240399360657, + "frac_above_star": 1.0 + }, + { + "step": 64, + "sup_loss": 0.7142171251914434, + "rf_loss": -0.10660180449485779, + "total_loss": -0.35180097936177923, + "lyap1_mean": -0.2749555706977844, + "lyap1_max": -0.22366920113563538, + "frac_above_star": 1.0 + }, + { + "step": 65, + "sup_loss": 0.9130834747529307, + "rf_loss": -0.11023746430873871, + "total_loss": -0.18929119813677875, + "lyap1_mean": -0.28750717639923096, + "lyap1_max": -0.20452213287353516, + "frac_above_star": 1.0 + }, + { + "step": 66, + "sup_loss": 0.6476548574028463, + "rf_loss": -0.11804347485303879, + "total_loss": -0.532779846424058, + "lyap1_mean": -0.31763964891433716, + "lyap1_max": -0.262087881565094, + "frac_above_star": 1.0 + }, + { + "step": 67, + "sup_loss": 0.6650898780916807, + "rf_loss": -0.11587505787611008, + "total_loss": -0.49366065596593645, + "lyap1_mean": -0.3102484345436096, + "lyap1_max": -0.2110307514667511, + "frac_above_star": 1.0 + }, + { + "step": 68, + "sup_loss": 0.6021658526591924, + "rf_loss": -0.12144205719232559, + "total_loss": -0.6122547043629023, + "lyap1_mean": -0.33405449986457825, + "lyap1_max": -0.23154735565185547, + "frac_above_star": 1.0 + }, + { + "step": 69, + "sup_loss": 0.8366846824110719, + "rf_loss": -0.11185209453105927, + "total_loss": -0.2818362927018432, + "lyap1_mean": -0.29299843311309814, + "lyap1_max": -0.21728017926216125, + "frac_above_star": 1.0 + }, + { + "step": 70, + "sup_loss": 0.736508374257025, + "rf_loss": -0.12097784131765366, + "total_loss": -0.4732700538206728, + "lyap1_mean": -0.32821789383888245, + "lyap1_max": -0.2646273672580719, + "frac_above_star": 1.0 + }, + { + "step": 71, + "sup_loss": 0.8329603571056534, + "rf_loss": -0.11255095899105072, + "total_loss": -0.2925492626071762, + "lyap1_mean": -0.29469484090805054, + "lyap1_max": -0.26750969886779785, + "frac_above_star": 1.0 + }, + { + "step": 72, + "sup_loss": 0.5496500735465292, + "rf_loss": -0.12089595198631287, + "total_loss": -0.6593095059212443, + "lyap1_mean": -0.32834118604660034, + "lyap1_max": -0.24802879989147186, + "frac_above_star": 1.0 + }, + { + "step": 73, + "sup_loss": 0.6132736325643957, + "rf_loss": -0.1267538219690323, + "total_loss": -0.6542645573236048, + "lyap1_mean": -0.35367506742477417, + "lyap1_max": -0.28486329317092896, + "frac_above_star": 1.0 + }, + { + "step": 74, + "sup_loss": 0.8831234855698891, + "rf_loss": -0.11723178625106812, + "total_loss": -0.2891943769407921, + "lyap1_mean": -0.31321293115615845, + "lyap1_max": -0.2754223048686981, + "frac_above_star": 1.0 + }, + { + "step": 75, + "sup_loss": 0.7367417224872654, + "rf_loss": -0.10798396170139313, + "total_loss": -0.34309786472434345, + "lyap1_mean": -0.2763368785381317, + "lyap1_max": -0.25321340560913086, + "frac_above_star": 1.0 + }, + { + "step": 76, + "sup_loss": 0.7106977785752916, + "rf_loss": -0.11520075798034668, + "total_loss": -0.4413098012281752, + "lyap1_mean": -0.3053494691848755, + "lyap1_max": -0.23698407411575317, + "frac_above_star": 1.0 + }, + { + "step": 77, + "sup_loss": 0.8086506938840197, + "rf_loss": -0.11508118361234665, + "total_loss": -0.34216109753596324, + "lyap1_mean": -0.3054843842983246, + "lyap1_max": -0.25401076674461365, + "frac_above_star": 1.0 + }, + { + "step": 78, + "sup_loss": 0.6554399236186343, + "rf_loss": -0.11533921957015991, + "total_loss": -0.4979522720829648, + "lyap1_mean": -0.3063843250274658, + "lyap1_max": -0.24171601235866547, + "frac_above_star": 1.0 + }, + { + "step": 79, + "sup_loss": 0.7852603547651988, + "rf_loss": -0.11817743629217148, + "total_loss": -0.39651402305767713, + "lyap1_mean": -0.31693071126937866, + "lyap1_max": -0.2793732285499573, + "frac_above_star": 1.0 + }, + { + "step": 80, + "sup_loss": 0.7830536541685803, + "rf_loss": -0.11803442239761353, + "total_loss": -0.39729056980755495, + "lyap1_mean": -0.31814777851104736, + "lyap1_max": -0.2562609612941742, + "frac_above_star": 1.0 + }, + { + "step": 81, + "sup_loss": 0.5391789979489108, + "rf_loss": -0.12405256927013397, + "total_loss": -0.7013467245547513, + "lyap1_mean": -0.341775119304657, + "lyap1_max": -0.26784372329711914, + "frac_above_star": 1.0 + }, + { + "step": 82, + "sup_loss": 0.7191001345028303, + "rf_loss": -0.12162640690803528, + "total_loss": -0.49716387497287773, + "lyap1_mean": -0.3369347155094147, + "lyap1_max": -0.20134049654006958, + "frac_above_star": 1.0 + }, + { + "step": 83, + "sup_loss": 0.7833580806936996, + "rf_loss": -0.11470556259155273, + "total_loss": -0.36369754522182773, + "lyap1_mean": -0.3059996962547302, + "lyap1_max": -0.23884418606758118, + "frac_above_star": 1.0 + }, + { + "step": 84, + "sup_loss": 0.7271131495956227, + "rf_loss": -0.12040881812572479, + "total_loss": -0.47697506146394764, + "lyap1_mean": -0.32613638043403625, + "lyap1_max": -0.2689237594604492, + "frac_above_star": 1.0 + }, + { + "step": 85, + "sup_loss": 0.8059811375169527, + "rf_loss": -0.11502009630203247, + "total_loss": -0.34421982550337205, + "lyap1_mean": -0.303574800491333, + "lyap1_max": -0.24788258969783783, + "frac_above_star": 1.0 + }, + { + "step": 86, + "sup_loss": 0.8427997237209108, + "rf_loss": -0.12058286368846893, + "total_loss": -0.3630289429661009, + "lyap1_mean": -0.33012932538986206, + "lyap1_max": -0.2720690369606018, + "frac_above_star": 1.0 + }, + { + "step": 87, + "sup_loss": 0.8181325908601607, + "rf_loss": -0.11459241807460785, + "total_loss": -0.3277916196882402, + "lyap1_mean": -0.30045056343078613, + "lyap1_max": -0.2556697428226471, + "frac_above_star": 1.0 + }, + { + "step": 88, + "sup_loss": 0.962364330138672, + "rf_loss": -0.1204458624124527, + "total_loss": -0.24209426418353264, + "lyap1_mean": -0.32557910680770874, + "lyap1_max": -0.27918580174446106, + "frac_above_star": 1.0 + }, + { + "step": 89, + "sup_loss": 1.0216339225267212, + "rf_loss": -0.1186535507440567, + "total_loss": -0.16490155511152338, + "lyap1_mean": -0.3176843822002411, + "lyap1_max": -0.2810259461402893, + "frac_above_star": 1.0 + }, + { + "step": 90, + "sup_loss": 0.7692475077959735, + "rf_loss": -0.11867514252662659, + "total_loss": -0.4175038578656476, + "lyap1_mean": -0.3199085593223572, + "lyap1_max": -0.2724413573741913, + "frac_above_star": 1.0 + }, + { + "step": 91, + "sup_loss": 0.9415339413142594, + "rf_loss": -0.11856592446565628, + "total_loss": -0.244125348045787, + "lyap1_mean": -0.3172890245914459, + "lyap1_max": -0.28109538555145264, + "frac_above_star": 1.0 + }, + { + "step": 92, + "sup_loss": 0.9008915485600545, + "rf_loss": -0.12090504169464111, + "total_loss": -0.30815886838635664, + "lyap1_mean": -0.32694387435913086, + "lyap1_max": -0.27901196479797363, + "frac_above_star": 1.0 + }, + { + "step": 93, + "sup_loss": 0.8568788098263919, + "rf_loss": -0.12343621253967285, + "total_loss": -0.37748331557033665, + "lyap1_mean": -0.3408273756504059, + "lyap1_max": -0.2743319869041443, + "frac_above_star": 1.0 + }, + { + "step": 94, + "sup_loss": 0.9293618530806672, + "rf_loss": -0.11476263403892517, + "total_loss": -0.21826454691322927, + "lyap1_mean": -0.3014795184135437, + "lyap1_max": -0.23788195848464966, + "frac_above_star": 1.0 + }, + { + "step": 95, + "sup_loss": 0.7422881326798447, + "rf_loss": -0.12615758180618286, + "total_loss": -0.5192876853819839, + "lyap1_mean": -0.35318002104759216, + "lyap1_max": -0.2564745247364044, + "frac_above_star": 1.0 + }, + { + "step": 96, + "sup_loss": 0.7153133630614781, + "rf_loss": -0.12649449706077576, + "total_loss": -0.5496316671509243, + "lyap1_mean": -0.3514184057712555, + "lyap1_max": -0.2945864796638489, + "frac_above_star": 1.0 + }, + { + "step": 97, + "sup_loss": 0.5886440947091698, + "rf_loss": -0.11994164437055588, + "total_loss": -0.6107723042929054, + "lyap1_mean": -0.3230973482131958, + "lyap1_max": -0.2849455773830414, + "frac_above_star": 1.0 + }, + { + "step": 98, + "sup_loss": 0.8356767432417753, + "rf_loss": -0.12806665897369385, + "total_loss": -0.44498984649516315, + "lyap1_mean": -0.35973721742630005, + "lyap1_max": -0.29913192987442017, + "frac_above_star": 1.0 + }, + { + "step": 99, + "sup_loss": 0.6831895051523367, + "rf_loss": -0.12538841366767883, + "total_loss": -0.5706945719198069, + "lyap1_mean": -0.35325977206230164, + "lyap1_max": -0.18854683637619019, + "frac_above_star": 1.0 + }, + { + "step": 100, + "sup_loss": 0.5851525937047742, + "rf_loss": -0.13099130988121033, + "total_loss": -0.7247605647119738, + "lyap1_mean": -0.37419289350509644, + "lyap1_max": -0.28018125891685486, + "frac_above_star": 1.0 + }, + { + "step": 101, + "sup_loss": 0.6894056767256809, + "rf_loss": -0.11969947814941406, + "total_loss": -0.5075891047684598, + "lyap1_mean": -0.3272949457168579, + "lyap1_max": -0.23218047618865967, + "frac_above_star": 1.0 + }, + { + "step": 102, + "sup_loss": 0.7388292588315544, + "rf_loss": -0.1326228827238083, + "total_loss": -0.5873995982088509, + "lyap1_mean": -0.38400137424468994, + "lyap1_max": -0.26898178458213806, + "frac_above_star": 1.0 + }, + { + "step": 103, + "sup_loss": 0.8321340955398201, + "rf_loss": -0.12395022064447403, + "total_loss": -0.407368096003759, + "lyap1_mean": -0.340584933757782, + "lyap1_max": -0.30571892857551575, + "frac_above_star": 1.0 + }, + { + "step": 104, + "sup_loss": 0.8595075647487522, + "rf_loss": -0.12472179532051086, + "total_loss": -0.38771032885171164, + "lyap1_mean": -0.3407832980155945, + "lyap1_max": -0.3143690824508667, + "frac_above_star": 1.0 + }, + { + "step": 105, + "sup_loss": 0.6231387153559357, + "rf_loss": -0.12840397655963898, + "total_loss": -0.6609010204381317, + "lyap1_mean": -0.3603198230266571, + "lyap1_max": -0.27988454699516296, + "frac_above_star": 1.0 + }, + { + "step": 106, + "sup_loss": 0.8342515844393029, + "rf_loss": -0.11985485255718231, + "total_loss": -0.3642969709348426, + "lyap1_mean": -0.3212030827999115, + "lyap1_max": -0.2753112316131592, + "frac_above_star": 1.0 + }, + { + "step": 107, + "sup_loss": 0.7341079158626358, + "rf_loss": -0.12548810243606567, + "total_loss": -0.5207731084980209, + "lyap1_mean": -0.3473493158817291, + "lyap1_max": -0.29682105779647827, + "frac_above_star": 1.0 + }, + { + "step": 108, + "sup_loss": 0.7177101888480768, + "rf_loss": -0.12152820080518723, + "total_loss": -0.49757177450031187, + "lyap1_mean": -0.3293547034263611, + "lyap1_max": -0.2728801667690277, + "frac_above_star": 1.0 + }, + { + "step": 109, + "sup_loss": 0.8776605213411087, + "rf_loss": -0.12427471578121185, + "total_loss": -0.3650866662733322, + "lyap1_mean": -0.34227877855300903, + "lyap1_max": -0.3040581941604614, + "frac_above_star": 1.0 + }, + { + "step": 110, + "sup_loss": 0.7875813051163716, + "rf_loss": -0.12460939586162567, + "total_loss": -0.4585126833022075, + "lyap1_mean": -0.3419989049434662, + "lyap1_max": -0.3046637177467346, + "frac_above_star": 1.0 + }, + { + "step": 111, + "sup_loss": 0.9653466482380659, + "rf_loss": -0.12349468469619751, + "total_loss": -0.26960019872390917, + "lyap1_mean": -0.3395397663116455, + "lyap1_max": -0.25307410955429077, + "frac_above_star": 1.0 + }, + { + "step": 112, + "sup_loss": 0.8292012404426605, + "rf_loss": -0.1259470283985138, + "total_loss": -0.43026898393783264, + "lyap1_mean": -0.34713855385780334, + "lyap1_max": -0.2983133792877197, + "frac_above_star": 1.0 + }, + { + "step": 113, + "sup_loss": 0.7861866940176279, + "rf_loss": -0.12683847546577454, + "total_loss": -0.4821980010354727, + "lyap1_mean": -0.35178297758102417, + "lyap1_max": -0.3139471709728241, + "frac_above_star": 1.0 + }, + { + "step": 114, + "sup_loss": 0.720992818594216, + "rf_loss": -0.13074339926242828, + "total_loss": -0.5864411442277444, + "lyap1_mean": -0.3695307672023773, + "lyap1_max": -0.31159788370132446, + "frac_above_star": 1.0 + }, + { + "step": 115, + "sup_loss": 0.7600780922064608, + "rf_loss": -0.13049805164337158, + "total_loss": -0.544902424227255, + "lyap1_mean": -0.3674885928630829, + "lyap1_max": -0.33149033784866333, + "frac_above_star": 1.0 + }, + { + "step": 116, + "sup_loss": 0.7182656538887457, + "rf_loss": -0.13037532567977905, + "total_loss": -0.5854876029090448, + "lyap1_mean": -0.37178805470466614, + "lyap1_max": -0.298457533121109, + "frac_above_star": 1.0 + }, + { + "step": 117, + "sup_loss": 0.8805977351286971, + "rf_loss": -0.12811166048049927, + "total_loss": -0.4005188696762956, + "lyap1_mean": -0.3569834232330322, + "lyap1_max": -0.3008261024951935, + "frac_above_star": 1.0 + }, + { + "step": 118, + "sup_loss": 0.6498519628350415, + "rf_loss": -0.1287888139486313, + "total_loss": -0.6380362064535937, + "lyap1_mean": -0.3649608790874481, + "lyap1_max": -0.292304128408432, + "frac_above_star": 1.0 + }, + { + "step": 119, + "sup_loss": 0.7028275409406284, + "rf_loss": -0.13280300796031952, + "total_loss": -0.6252025684648892, + "lyap1_mean": -0.38067448139190674, + "lyap1_max": -0.33368226885795593, + "frac_above_star": 1.0 + }, + { + "step": 120, + "sup_loss": 0.8380848716637773, + "rf_loss": -0.1256507784128189, + "total_loss": -0.4184228826620894, + "lyap1_mean": -0.34389767050743103, + "lyap1_max": -0.32648107409477234, + "frac_above_star": 1.0 + }, + { + "step": 121, + "sup_loss": 0.9639142249385203, + "rf_loss": -0.127895325422287, + "total_loss": -0.31503908888899435, + "lyap1_mean": -0.35599273443222046, + "lyap1_max": -0.3042373061180115, + "frac_above_star": 1.0 + }, + { + "step": 122, + "sup_loss": 0.8642259163875975, + "rf_loss": -0.13021546602249146, + "total_loss": -0.43792874383731706, + "lyap1_mean": -0.3712848424911499, + "lyap1_max": -0.3040983974933624, + "frac_above_star": 1.0 + }, + { + "step": 123, + "sup_loss": 0.9285291922699077, + "rf_loss": -0.1284247636795044, + "total_loss": -0.35571844452513623, + "lyap1_mean": -0.35998234152793884, + "lyap1_max": -0.30675721168518066, + "frac_above_star": 1.0 + }, + { + "step": 124, + "sup_loss": 1.0424717759096942, + "rf_loss": -0.12585993111133575, + "total_loss": -0.21612750540134096, + "lyap1_mean": -0.3459399342536926, + "lyap1_max": -0.29724904894828796, + "frac_above_star": 1.0 + }, + { + "step": 125, + "sup_loss": 0.7008845384706455, + "rf_loss": -0.13027730584144592, + "total_loss": -0.601888460339169, + "lyap1_mean": -0.3720402121543884, + "lyap1_max": -0.27632832527160645, + "frac_above_star": 1.0 + }, + { + "step": 126, + "sup_loss": 0.6868501550137015, + "rf_loss": -0.1286880522966385, + "total_loss": -0.600030338150361, + "lyap1_mean": -0.36291787028312683, + "lyap1_max": -0.24765297770500183, + "frac_above_star": 1.0 + }, + { + "step": 127, + "sup_loss": 0.663124434595042, + "rf_loss": -0.1338302195072174, + "total_loss": -0.6751777008724873, + "lyap1_mean": -0.3917471170425415, + "lyap1_max": -0.23405127227306366, + "frac_above_star": 1.0 + }, + { + "step": 128, + "sup_loss": 0.5531215530274766, + "rf_loss": -0.13402751088142395, + "total_loss": -0.7871534961821182, + "lyap1_mean": -0.39169609546661377, + "lyap1_max": -0.244286447763443, + "frac_above_star": 1.0 + }, + { + "step": 129, + "sup_loss": 0.621923180591017, + "rf_loss": -0.12905272841453552, + "total_loss": -0.668604163158983, + "lyap1_mean": -0.3621408939361572, + "lyap1_max": -0.3144763112068176, + "frac_above_star": 1.0 + }, + { + "step": 130, + "sup_loss": 0.7964892903031143, + "rf_loss": -0.132670596241951, + "total_loss": -0.5302166423140732, + "lyap1_mean": -0.3835352063179016, + "lyap1_max": -0.3125467896461487, + "frac_above_star": 1.0 + }, + { + "step": 131, + "sup_loss": 0.5982136737059632, + "rf_loss": -0.13390016555786133, + "total_loss": -0.74078798187265, + "lyap1_mean": -0.3878217935562134, + "lyap1_max": -0.3210267722606659, + "frac_above_star": 1.0 + }, + { + "step": 132, + "sup_loss": 0.6337332891712142, + "rf_loss": -0.13900034129619598, + "total_loss": -0.756270153593068, + "lyap1_mean": -0.41318827867507935, + "lyap1_max": -0.3222563862800598, + "frac_above_star": 1.0 + }, + { + "step": 133, + "sup_loss": 0.7836911605557868, + "rf_loss": -0.12878292798995972, + "total_loss": -0.5041381193438104, + "lyap1_mean": -0.36311817169189453, + "lyap1_max": -0.2913427948951721, + "frac_above_star": 1.0 + }, + { + "step": 134, + "sup_loss": 0.8347213750827686, + "rf_loss": -0.13306409120559692, + "total_loss": -0.4959195369732007, + "lyap1_mean": -0.3838322162628174, + "lyap1_max": -0.330457866191864, + "frac_above_star": 1.0 + }, + { + "step": 135, + "sup_loss": 0.7245058219283247, + "rf_loss": -0.13438740372657776, + "total_loss": -0.6193681557328081, + "lyap1_mean": -0.3856584131717682, + "lyap1_max": -0.3274536728858948, + "frac_above_star": 1.0 + }, + { + "step": 136, + "sup_loss": 0.6613672606121765, + "rf_loss": -0.13693034648895264, + "total_loss": -0.7079362042773498, + "lyap1_mean": -0.40124282240867615, + "lyap1_max": -0.3396194875240326, + "frac_above_star": 1.0 + }, + { + "step": 137, + "sup_loss": 0.8441259465286156, + "rf_loss": -0.13087564706802368, + "total_loss": -0.4646305241516212, + "lyap1_mean": -0.37221968173980713, + "lyap1_max": -0.3187496066093445, + "frac_above_star": 1.0 + }, + { + "step": 138, + "sup_loss": 0.678025730590792, + "rf_loss": -0.13905563950538635, + "total_loss": -0.7125306048584268, + "lyap1_mean": -0.4234122037887573, + "lyap1_max": -0.22491006553173065, + "frac_above_star": 1.0 + }, + { + "step": 139, + "sup_loss": 0.7258491419501756, + "rf_loss": -0.13527442514896393, + "total_loss": -0.6268950797371413, + "lyap1_mean": -0.3945731520652771, + "lyap1_max": -0.3230147361755371, + "frac_above_star": 1.0 + }, + { + "step": 140, + "sup_loss": 0.9623757575605661, + "rf_loss": -0.133981853723526, + "total_loss": -0.3774427200700491, + "lyap1_mean": -0.3845289945602417, + "lyap1_max": -0.34539204835891724, + "frac_above_star": 1.0 + }, + { + "step": 141, + "sup_loss": 1.0022909357569691, + "rf_loss": -0.12998855113983154, + "total_loss": -0.2975945756413463, + "lyap1_mean": -0.36310261487960815, + "lyap1_max": -0.3265696167945862, + "frac_above_star": 1.0 + }, + { + "step": 142, + "sup_loss": 0.7080965911600562, + "rf_loss": -0.1372104287147522, + "total_loss": -0.6640076959874658, + "lyap1_mean": -0.4071608781814575, + "lyap1_max": -0.3168709874153137, + "frac_above_star": 1.0 + }, + { + "step": 143, + "sup_loss": 0.8730718754283963, + "rf_loss": -0.13091182708740234, + "total_loss": -0.4360463954456272, + "lyap1_mean": -0.37423765659332275, + "lyap1_max": -0.2948221266269684, + "frac_above_star": 1.0 + }, + { + "step": 144, + "sup_loss": 0.8472399847595912, + "rf_loss": -0.12943321466445923, + "total_loss": -0.4470921618850011, + "lyap1_mean": -0.36293381452560425, + "lyap1_max": -0.29818108677864075, + "frac_above_star": 1.0 + }, + { + "step": 145, + "sup_loss": 0.899256336052732, + "rf_loss": -0.1285865157842636, + "total_loss": -0.38660885159222647, + "lyap1_mean": -0.36024945974349976, + "lyap1_max": -0.29811304807662964, + "frac_above_star": 1.0 + }, + { + "step": 146, + "sup_loss": 0.6072056666512599, + "rf_loss": -0.1425350308418274, + "total_loss": -0.8181446417670141, + "lyap1_mean": -0.4322895407676697, + "lyap1_max": -0.35472044348716736, + "frac_above_star": 1.0 + }, + { + "step": 147, + "sup_loss": 0.7710617254805472, + "rf_loss": -0.13515591621398926, + "total_loss": -0.5804974366593454, + "lyap1_mean": -0.390103280544281, + "lyap1_max": -0.34084552526474, + "frac_above_star": 1.0 + }, + { + "step": 148, + "sup_loss": 0.7122434507436853, + "rf_loss": -0.14266431331634521, + "total_loss": -0.7143996824197668, + "lyap1_mean": -0.43555229902267456, + "lyap1_max": -0.34092578291893005, + "frac_above_star": 1.0 + }, + { + "step": 149, + "sup_loss": 0.5851002384840137, + "rf_loss": -0.1412319540977478, + "total_loss": -0.8272193024934643, + "lyap1_mean": -0.4247063100337982, + "lyap1_max": -0.32518577575683594, + "frac_above_star": 1.0 + }, + { + "step": 150, + "sup_loss": 0.6889809191676812, + "rf_loss": -0.14841662347316742, + "total_loss": -0.7951853453663154, + "lyap1_mean": -0.466617226600647, + "lyap1_max": -0.38652679324150085, + "frac_above_star": 1.0 + }, + { + "step": 151, + "sup_loss": 0.6455807171786286, + "rf_loss": -0.13709411025047302, + "total_loss": -0.7253604449307464, + "lyap1_mean": -0.40240052342414856, + "lyap1_max": -0.3198641538619995, + "frac_above_star": 1.0 + }, + { + "step": 152, + "sup_loss": 0.7167933226938293, + "rf_loss": -0.1364511251449585, + "total_loss": -0.6477179287557556, + "lyap1_mean": -0.40139421820640564, + "lyap1_max": -0.3249073028564453, + "frac_above_star": 1.0 + }, + { + "step": 153, + "sup_loss": 0.6868092105715062, + "rf_loss": -0.13820162415504456, + "total_loss": -0.6952069713742945, + "lyap1_mean": -0.4066963195800781, + "lyap1_max": -0.36349111795425415, + "frac_above_star": 1.0 + }, + { + "step": 154, + "sup_loss": 0.8786395740294879, + "rf_loss": -0.13706627488136292, + "total_loss": -0.4920231151794965, + "lyap1_mean": -0.401203453540802, + "lyap1_max": -0.3338339030742645, + "frac_above_star": 1.0 + }, + { + "step": 155, + "sup_loss": 0.5573283764840506, + "rf_loss": -0.13939085602760315, + "total_loss": -0.8365801241873361, + "lyap1_mean": -0.4193533658981323, + "lyap1_max": -0.31402063369750977, + "frac_above_star": 1.0 + }, + { + "step": 156, + "sup_loss": 0.884116729940543, + "rf_loss": -0.1423327624797821, + "total_loss": -0.5392109544619228, + "lyap1_mean": -0.4300416111946106, + "lyap1_max": -0.3659944534301758, + "frac_above_star": 1.0 + }, + { + "step": 157, + "sup_loss": 0.9247216223345734, + "rf_loss": -0.13960450887680054, + "total_loss": -0.4713234664334319, + "lyap1_mean": -0.4159718453884125, + "lyap1_max": -0.31953462958335876, + "frac_above_star": 1.0 + }, + { + "step": 158, + "sup_loss": 1.1362639096441856, + "rf_loss": -0.13633906841278076, + "total_loss": -0.22712677448362206, + "lyap1_mean": -0.3944462835788727, + "lyap1_max": -0.3605514466762543, + "frac_above_star": 1.0 + }, + { + "step": 159, + "sup_loss": 0.7332480372666176, + "rf_loss": -0.14316920936107635, + "total_loss": -0.6984440861464684, + "lyap1_mean": -0.4348260760307312, + "lyap1_max": -0.357470840215683, + "frac_above_star": 1.0 + }, + { + "step": 160, + "sup_loss": 0.9630144224512142, + "rf_loss": -0.13472086191177368, + "total_loss": -0.38419419666652266, + "lyap1_mean": -0.3854786157608032, + "lyap1_max": -0.3416978120803833, + "frac_above_star": 1.0 + }, + { + "step": 161, + "sup_loss": 0.5564798769515539, + "rf_loss": -0.1383550614118576, + "total_loss": -0.8270707669693446, + "lyap1_mean": -0.4081572890281677, + "lyap1_max": -0.33589035272598267, + "frac_above_star": 1.0 + }, + { + "step": 162, + "sup_loss": 0.6077053444925056, + "rf_loss": -0.14371837675571442, + "total_loss": -0.8294783932623162, + "lyap1_mean": -0.44205403327941895, + "lyap1_max": -0.3377016484737396, + "frac_above_star": 1.0 + }, + { + "step": 163, + "sup_loss": 0.8232517148599182, + "rf_loss": -0.13667303323745728, + "total_loss": -0.5434786175146545, + "lyap1_mean": -0.39464902877807617, + "lyap1_max": -0.3551873564720154, + "frac_above_star": 1.0 + }, + { + "step": 164, + "sup_loss": 0.6946259882297309, + "rf_loss": -0.1436014026403427, + "total_loss": -0.7413880679760186, + "lyap1_mean": -0.44104450941085815, + "lyap1_max": -0.35112544894218445, + "frac_above_star": 1.0 + }, + { + "step": 165, + "sup_loss": 0.612165387086333, + "rf_loss": -0.14719340205192566, + "total_loss": -0.8597686930375684, + "lyap1_mean": -0.46121805906295776, + "lyap1_max": -0.3641132712364197, + "frac_above_star": 1.0 + }, + { + "step": 166, + "sup_loss": 0.8402400927291632, + "rf_loss": -0.13917624950408936, + "total_loss": -0.5515224023117303, + "lyap1_mean": -0.4116157591342926, + "lyap1_max": -0.33375465869903564, + "frac_above_star": 1.0 + }, + { + "step": 167, + "sup_loss": 0.9673275635032679, + "rf_loss": -0.13869647681713104, + "total_loss": -0.41963723447036494, + "lyap1_mean": -0.4071250557899475, + "lyap1_max": -0.3515540361404419, + "frac_above_star": 1.0 + }, + { + "step": 168, + "sup_loss": 0.7813567926608329, + "rf_loss": -0.14199872314929962, + "total_loss": -0.6386304090298409, + "lyap1_mean": -0.4247271418571472, + "lyap1_max": -0.37543103098869324, + "frac_above_star": 1.0 + }, + { + "step": 169, + "sup_loss": 0.6713700749007318, + "rf_loss": -0.141165629029274, + "total_loss": -0.7402861855896857, + "lyap1_mean": -0.42433416843414307, + "lyap1_max": -0.3608953356742859, + "frac_above_star": 1.0 + }, + { + "step": 170, + "sup_loss": 0.7214748756731588, + "rf_loss": -0.14195868372917175, + "total_loss": -0.6981120212232035, + "lyap1_mean": -0.4280490279197693, + "lyap1_max": -0.37342411279678345, + "frac_above_star": 1.0 + }, + { + "step": 171, + "sup_loss": 0.648763112179237, + "rf_loss": -0.13692685961723328, + "total_loss": -0.7205055435977405, + "lyap1_mean": -0.3980497717857361, + "lyap1_max": -0.3451704978942871, + "frac_above_star": 1.0 + }, + { + "step": 172, + "sup_loss": 0.8341773213477485, + "rf_loss": -0.13744360208511353, + "total_loss": -0.5402586995033868, + "lyap1_mean": -0.4019725024700165, + "lyap1_max": -0.3640730082988739, + "frac_above_star": 1.0 + }, + { + "step": 173, + "sup_loss": 0.7367136801514331, + "rf_loss": -0.13811223208904266, + "total_loss": -0.6444086705413159, + "lyap1_mean": -0.40395525097846985, + "lyap1_max": -0.33051422238349915, + "frac_above_star": 1.0 + }, + { + "step": 174, + "sup_loss": 0.8233068080931356, + "rf_loss": -0.14011438190937042, + "total_loss": -0.5778369811982462, + "lyap1_mean": -0.4177926778793335, + "lyap1_max": -0.3492508828639984, + "frac_above_star": 1.0 + }, + { + "step": 175, + "sup_loss": 0.7740910611994883, + "rf_loss": -0.14477980136871338, + "total_loss": -0.6737069524876454, + "lyap1_mean": -0.4424958825111389, + "lyap1_max": -0.3734632134437561, + "frac_above_star": 1.0 + }, + { + "step": 176, + "sup_loss": 0.7940172002580075, + "rf_loss": -0.13708724081516266, + "total_loss": -0.5768551780912967, + "lyap1_mean": -0.39946985244750977, + "lyap1_max": -0.36046072840690613, + "frac_above_star": 1.0 + }, + { + "step": 177, + "sup_loss": 0.6930373229671399, + "rf_loss": -0.14371082186698914, + "total_loss": -0.7440709553073962, + "lyap1_mean": -0.4374644160270691, + "lyap1_max": -0.3718652129173279, + "frac_above_star": 1.0 + }, + { + "step": 178, + "sup_loss": 0.6704656298162901, + "rf_loss": -0.14133524894714355, + "total_loss": -0.7428868596551454, + "lyap1_mean": -0.42282694578170776, + "lyap1_max": -0.35933423042297363, + "frac_above_star": 1.0 + }, + { + "step": 179, + "sup_loss": 0.7127419895467639, + "rf_loss": -0.14781002700328827, + "total_loss": -0.7653583102884411, + "lyap1_mean": -0.45870786905288696, + "lyap1_max": -0.41842159628868103, + "frac_above_star": 1.0 + }, + { + "step": 180, + "sup_loss": 0.7482101931025763, + "rf_loss": -0.14437401294708252, + "total_loss": -0.6955299363682489, + "lyap1_mean": -0.43913501501083374, + "lyap1_max": -0.3912467658519745, + "frac_above_star": 1.0 + }, + { + "step": 181, + "sup_loss": 0.5708777422720605, + "rf_loss": -0.1475522816181183, + "total_loss": -0.9046450143044776, + "lyap1_mean": -0.46249639987945557, + "lyap1_max": -0.3856951892375946, + "frac_above_star": 1.0 + }, + { + "step": 182, + "sup_loss": 0.8130181457333152, + "rf_loss": -0.14636996388435364, + "total_loss": -0.6506814335055764, + "lyap1_mean": -0.4530670642852783, + "lyap1_max": -0.39257001876831055, + "frac_above_star": 1.0 + }, + { + "step": 183, + "sup_loss": 0.8777215038903654, + "rf_loss": -0.144153892993927, + "total_loss": -0.5638174260489046, + "lyap1_mean": -0.43794330954551697, + "lyap1_max": -0.3803609013557434, + "frac_above_star": 1.0 + }, + { + "step": 184, + "sup_loss": 0.44732225859322977, + "rf_loss": -0.14864180982112885, + "total_loss": -1.0390958694203811, + "lyap1_mean": -0.4719545245170593, + "lyap1_max": -0.3677547872066498, + "frac_above_star": 1.0 + }, + { + "step": 185, + "sup_loss": 0.4432516243439121, + "rf_loss": -0.15355679392814636, + "total_loss": -1.0923163745421962, + "lyap1_mean": -0.5033115148544312, + "lyap1_max": -0.3975452184677124, + "frac_above_star": 1.0 + }, + { + "step": 186, + "sup_loss": 0.6629557983358391, + "rf_loss": -0.14544203877449036, + "total_loss": -0.7914645298044197, + "lyap1_mean": -0.4567527770996094, + "lyap1_max": -0.32690417766571045, + "frac_above_star": 1.0 + }, + { + "step": 187, + "sup_loss": 0.7186000404918639, + "rf_loss": -0.14533060789108276, + "total_loss": -0.7347060384189638, + "lyap1_mean": -0.446808397769928, + "lyap1_max": -0.3999444842338562, + "frac_above_star": 1.0 + }, + { + "step": 188, + "sup_loss": 0.9458521868747259, + "rf_loss": -0.14499986171722412, + "total_loss": -0.5041464302975153, + "lyap1_mean": -0.44399628043174744, + "lyap1_max": -0.40716755390167236, + "frac_above_star": 1.0 + }, + { + "step": 189, + "sup_loss": 1.0719305970371307, + "rf_loss": -0.14475949108600616, + "total_loss": -0.3756642840206086, + "lyap1_mean": -0.4413987398147583, + "lyap1_max": -0.395815372467041, + "frac_above_star": 1.0 + }, + { + "step": 190, + "sup_loss": 0.7043501184400207, + "rf_loss": -0.14484979212284088, + "total_loss": -0.7441477729860657, + "lyap1_mean": -0.44562625885009766, + "lyap1_max": -0.3708421587944031, + "frac_above_star": 1.0 + }, + { + "step": 191, + "sup_loss": 0.7662842992307326, + "rf_loss": -0.1470145285129547, + "total_loss": -0.7038609262941697, + "lyap1_mean": -0.45683348178863525, + "lyap1_max": -0.3940930962562561, + "frac_above_star": 1.0 + }, + { + "step": 192, + "sup_loss": 0.8299045589241891, + "rf_loss": -0.14223262667655945, + "total_loss": -0.5924217674460501, + "lyap1_mean": -0.42453330755233765, + "lyap1_max": -0.3776364028453827, + "frac_above_star": 1.0 + }, + { + "step": 193, + "sup_loss": 0.4835099497254077, + "rf_loss": -0.15467223525047302, + "total_loss": -1.0632124623839674, + "lyap1_mean": -0.5088427066802979, + "lyap1_max": -0.44200587272644043, + "frac_above_star": 1.0 + }, + { + "step": 194, + "sup_loss": 0.9451386874923262, + "rf_loss": -0.14379829168319702, + "total_loss": -0.492844229339644, + "lyap1_mean": -0.43592745065689087, + "lyap1_max": -0.40128833055496216, + "frac_above_star": 1.0 + }, + { + "step": 195, + "sup_loss": 0.6525639808834082, + "rf_loss": -0.1501358300447464, + "total_loss": -0.8487942897617334, + "lyap1_mean": -0.4821377098560333, + "lyap1_max": -0.39421212673187256, + "frac_above_star": 1.0 + }, + { + "step": 196, + "sup_loss": 1.0294781854778583, + "rf_loss": -0.1429539918899536, + "total_loss": -0.40006173342167783, + "lyap1_mean": -0.4276873767375946, + "lyap1_max": -0.39225971698760986, + "frac_above_star": 1.0 + }, + { + "step": 197, + "sup_loss": 0.8175529728779601, + "rf_loss": -0.14477872848510742, + "total_loss": -0.6302343119731141, + "lyap1_mean": -0.44485315680503845, + "lyap1_max": -0.3778949975967407, + "frac_above_star": 1.0 + }, + { + "step": 198, + "sup_loss": 0.7873137543169964, + "rf_loss": -0.14827531576156616, + "total_loss": -0.6954394032986653, + "lyap1_mean": -0.4626205265522003, + "lyap1_max": -0.4135744273662567, + "frac_above_star": 1.0 + }, + { + "step": 199, + "sup_loss": 0.7476389138994409, + "rf_loss": -0.14207126200199127, + "total_loss": -0.6730736763181494, + "lyap1_mean": -0.4275730848312378, + "lyap1_max": -0.3351300358772278, + "frac_above_star": 1.0 + }, + { + "step": 200, + "sup_loss": 0.8475941202081634, + "rf_loss": -0.14568063616752625, + "total_loss": -0.6092123010717438, + "lyap1_mean": -0.4431464970111847, + "lyap1_max": -0.43140310049057007, + "frac_above_star": 1.0 + }, + { + "step": 201, + "sup_loss": 0.744910250220435, + "rf_loss": -0.14768479764461517, + "total_loss": -0.7319377560280391, + "lyap1_mean": -0.45751434564590454, + "lyap1_max": -0.42783093452453613, + "frac_above_star": 1.0 + }, + { + "step": 202, + "sup_loss": 0.8515594495418077, + "rf_loss": -0.14681300520896912, + "total_loss": -0.6165706621525282, + "lyap1_mean": -0.4535793662071228, + "lyap1_max": -0.38828200101852417, + "frac_above_star": 1.0 + }, + { + "step": 203, + "sup_loss": 0.9000347339082138, + "rf_loss": -0.14840593934059143, + "total_loss": -0.5840245998930558, + "lyap1_mean": -0.4617287516593933, + "lyap1_max": -0.4160604476928711, + "frac_above_star": 1.0 + }, + { + "step": 204, + "sup_loss": 0.9896624815728166, + "rf_loss": -0.14917057752609253, + "total_loss": -0.5020432936881087, + "lyap1_mean": -0.46809595823287964, + "lyap1_max": -0.43484824895858765, + "frac_above_star": 1.0 + }, + { + "step": 205, + "sup_loss": 0.9846098530471719, + "rf_loss": -0.14536121487617493, + "total_loss": -0.46900223610993264, + "lyap1_mean": -0.44184842705726624, + "lyap1_max": -0.40046870708465576, + "frac_above_star": 1.0 + }, + { + "step": 206, + "sup_loss": 0.8972203873035132, + "rf_loss": -0.14927154779434204, + "total_loss": -0.5954950906399072, + "lyap1_mean": -0.4707730710506439, + "lyap1_max": -0.39828652143478394, + "frac_above_star": 1.0 + }, + { + "step": 207, + "sup_loss": 1.0505682338896805, + "rf_loss": -0.14699876308441162, + "total_loss": -0.41941939695443575, + "lyap1_mean": -0.4520655870437622, + "lyap1_max": -0.4057222306728363, + "frac_above_star": 1.0 + }, + { + "step": 208, + "sup_loss": 0.8271930226327635, + "rf_loss": -0.1471003293991089, + "total_loss": -0.6438102713583254, + "lyap1_mean": -0.4545997083187103, + "lyap1_max": -0.38123512268066406, + "frac_above_star": 1.0 + }, + { + "step": 209, + "sup_loss": 0.7391057323390905, + "rf_loss": -0.1474476158618927, + "total_loss": -0.7353703666751917, + "lyap1_mean": -0.46327653527259827, + "lyap1_max": -0.31002718210220337, + "frac_above_star": 1.0 + }, + { + "step": 210, + "sup_loss": 0.8295401155683987, + "rf_loss": -0.14701342582702637, + "total_loss": -0.640594142701865, + "lyap1_mean": -0.453914612531662, + "lyap1_max": -0.39696264266967773, + "frac_above_star": 1.0 + }, + { + "step": 211, + "sup_loss": 0.7215105540481505, + "rf_loss": -0.148516446352005, + "total_loss": -0.7636538498672548, + "lyap1_mean": -0.4656051993370056, + "lyap1_max": -0.3955118656158447, + "frac_above_star": 1.0 + }, + { + "step": 212, + "sup_loss": 1.0440679655434748, + "rf_loss": -0.14746658504009247, + "total_loss": -0.43059791465977226, + "lyap1_mean": -0.455161452293396, + "lyap1_max": -0.39778754115104675, + "frac_above_star": 1.0 + }, + { + "step": 213, + "sup_loss": 0.980819925506156, + "rf_loss": -0.1490652859210968, + "total_loss": -0.5098328741001672, + "lyap1_mean": -0.46515703201293945, + "lyap1_max": -0.44350919127464294, + "frac_above_star": 1.0 + }, + { + "step": 214, + "sup_loss": 0.9287904628272587, + "rf_loss": -0.1492370218038559, + "total_loss": -0.5635797850136226, + "lyap1_mean": -0.46815067529678345, + "lyap1_max": -0.4264931380748749, + "frac_above_star": 1.0 + }, + { + "step": 215, + "sup_loss": 0.8468253327035092, + "rf_loss": -0.15307781100273132, + "total_loss": -0.6839528369284488, + "lyap1_mean": -0.49528762698173523, + "lyap1_max": -0.446662962436676, + "frac_above_star": 1.0 + }, + { + "step": 216, + "sup_loss": 0.812326407122951, + "rf_loss": -0.147120863199234, + "total_loss": -0.6588821652647443, + "lyap1_mean": -0.455943763256073, + "lyap1_max": -0.3700891435146332, + "frac_above_star": 1.0 + }, + { + "step": 217, + "sup_loss": 0.7402324537605811, + "rf_loss": -0.15388405323028564, + "total_loss": -0.7986080785422753, + "lyap1_mean": -0.503333330154419, + "lyap1_max": -0.4017963409423828, + "frac_above_star": 1.0 + }, + { + "step": 218, + "sup_loss": 0.5813273043154806, + "rf_loss": -0.15231797099113464, + "total_loss": -0.9418524652005106, + "lyap1_mean": -0.4942597448825836, + "lyap1_max": -0.41615456342697144, + "frac_above_star": 1.0 + }, + { + "step": 219, + "sup_loss": 0.7132424504106849, + "rf_loss": -0.15185141563415527, + "total_loss": -0.8052717059308678, + "lyap1_mean": -0.4901280403137207, + "lyap1_max": -0.3962354063987732, + "frac_above_star": 1.0 + }, + { + "step": 220, + "sup_loss": 0.8068065721797111, + "rf_loss": -0.14994321763515472, + "total_loss": -0.6926256339741585, + "lyap1_mean": -0.4737145006656647, + "lyap1_max": -0.424557089805603, + "frac_above_star": 1.0 + }, + { + "step": 221, + "sup_loss": 0.7611927204775775, + "rf_loss": -0.15120823681354523, + "total_loss": -0.7508896178555524, + "lyap1_mean": -0.48530295491218567, + "lyap1_max": -0.4017654061317444, + "frac_above_star": 1.0 + }, + { + "step": 222, + "sup_loss": 0.835497774279184, + "rf_loss": -0.1503632366657257, + "total_loss": -0.6681345327734283, + "lyap1_mean": -0.4776152968406677, + "lyap1_max": -0.40395650267601013, + "frac_above_star": 1.0 + }, + { + "step": 223, + "sup_loss": 0.9030468672633236, + "rf_loss": -0.1497064232826233, + "total_loss": -0.5940173655629093, + "lyap1_mean": -0.469881147146225, + "lyap1_max": -0.4212886691093445, + "frac_above_star": 1.0 + }, + { + "step": 224, + "sup_loss": 0.623901556153452, + "rf_loss": -0.15673759579658508, + "total_loss": -0.9434743422077541, + "lyap1_mean": -0.527248740196228, + "lyap1_max": -0.4669511318206787, + "frac_above_star": 1.0 + }, + { + "step": 225, + "sup_loss": 0.9990397728597034, + "rf_loss": -0.15256661176681519, + "total_loss": -0.5266263448084485, + "lyap1_mean": -0.4880969524383545, + "lyap1_max": -0.4700968861579895, + "frac_above_star": 1.0 + }, + { + "step": 226, + "sup_loss": 0.8819478955696771, + "rf_loss": -0.15287938714027405, + "total_loss": -0.6468459162284186, + "lyap1_mean": -0.49830764532089233, + "lyap1_max": -0.43399637937545776, + "frac_above_star": 1.0 + }, + { + "step": 227, + "sup_loss": 1.0394286492044198, + "rf_loss": -0.15350767970085144, + "total_loss": -0.4956482074087394, + "lyap1_mean": -0.49726933240890503, + "lyap1_max": -0.43574413657188416, + "frac_above_star": 1.0 + }, + { + "step": 228, + "sup_loss": 0.8107227620240796, + "rf_loss": -0.1526046097278595, + "total_loss": -0.7153232756498706, + "lyap1_mean": -0.49221640825271606, + "lyap1_max": -0.4434967041015625, + "frac_above_star": 1.0 + }, + { + "step": 229, + "sup_loss": 0.8622839156992222, + "rf_loss": -0.14862816035747528, + "total_loss": -0.623997717677853, + "lyap1_mean": -0.4625057578086853, + "lyap1_max": -0.41508516669273376, + "frac_above_star": 1.0 + }, + { + "step": 230, + "sup_loss": 0.6347333760198797, + "rf_loss": -0.1535244882106781, + "total_loss": -0.9005115656915461, + "lyap1_mean": -0.5024586915969849, + "lyap1_max": -0.41740867495536804, + "frac_above_star": 1.0 + }, + { + "step": 231, + "sup_loss": 0.9645031260650787, + "rf_loss": -0.152478888630867, + "total_loss": -0.560285730441269, + "lyap1_mean": -0.4897123873233795, + "lyap1_max": -0.45077115297317505, + "frac_above_star": 1.0 + }, + { + "step": 232, + "sup_loss": 0.8738197475334295, + "rf_loss": -0.1513938307762146, + "total_loss": -0.6401185602287165, + "lyap1_mean": -0.4823046922683716, + "lyap1_max": -0.4566570520401001, + "frac_above_star": 1.0 + }, + { + "step": 233, + "sup_loss": 0.9585711688060782, + "rf_loss": -0.1505301594734192, + "total_loss": -0.5467304259281137, + "lyap1_mean": -0.4755593538284302, + "lyap1_max": -0.4218142628669739, + "frac_above_star": 1.0 + }, + { + "step": 234, + "sup_loss": 1.0110656376381453, + "rf_loss": -0.153812438249588, + "total_loss": -0.5270586852530901, + "lyap1_mean": -0.4997408986091614, + "lyap1_max": -0.4566168487071991, + "frac_above_star": 1.0 + }, + { + "step": 235, + "sup_loss": 0.8388391718940135, + "rf_loss": -0.15239503979682922, + "total_loss": -0.685111166469634, + "lyap1_mean": -0.4928068518638611, + "lyap1_max": -0.4061519503593445, + "frac_above_star": 1.0 + }, + { + "step": 236, + "sup_loss": 0.9609862218963788, + "rf_loss": -0.15290510654449463, + "total_loss": -0.5680648435485675, + "lyap1_mean": -0.4908009469509125, + "lyap1_max": -0.46191495656967163, + "frac_above_star": 1.0 + }, + { + "step": 237, + "sup_loss": 0.9751876792136548, + "rf_loss": -0.1548905372619629, + "total_loss": -0.5737176934059741, + "lyap1_mean": -0.507164716720581, + "lyap1_max": -0.45354804396629333, + "frac_above_star": 1.0 + }, + { + "step": 238, + "sup_loss": 0.7910175692361328, + "rf_loss": -0.15234871208667755, + "total_loss": -0.7324695218283204, + "lyap1_mean": -0.49099087715148926, + "lyap1_max": -0.40076714754104614, + "frac_above_star": 1.0 + }, + { + "step": 239, + "sup_loss": 0.7059900350386499, + "rf_loss": -0.1560155153274536, + "total_loss": -0.8541651182358863, + "lyap1_mean": -0.5194977521896362, + "lyap1_max": -0.4534994065761566, + "frac_above_star": 1.0 + }, + { + "step": 240, + "sup_loss": 0.8073245387896868, + "rf_loss": -0.154404416680336, + "total_loss": -0.7367195982113508, + "lyap1_mean": -0.504173755645752, + "lyap1_max": -0.4512813091278076, + "frac_above_star": 1.0 + }, + { + "step": 241, + "sup_loss": 1.034658895238955, + "rf_loss": -0.1547134518623352, + "total_loss": -0.512475623384397, + "lyap1_mean": -0.5050932168960571, + "lyap1_max": -0.4702293276786804, + "frac_above_star": 1.0 + }, + { + "step": 242, + "sup_loss": 0.7278524412026192, + "rf_loss": -0.15583917498588562, + "total_loss": -0.8305393682608818, + "lyap1_mean": -0.5183075666427612, + "lyap1_max": -0.43235349655151367, + "frac_above_star": 1.0 + }, + { + "step": 243, + "sup_loss": 0.8804425311455544, + "rf_loss": -0.1551075577735901, + "total_loss": -0.6706330465903465, + "lyap1_mean": -0.5125340223312378, + "lyap1_max": -0.4433370530605316, + "frac_above_star": 1.0 + }, + { + "step": 244, + "sup_loss": 0.9856067294103688, + "rf_loss": -0.15545320510864258, + "total_loss": -0.568925321676057, + "lyap1_mean": -0.5151233673095703, + "lyap1_max": -0.41496965289115906, + "frac_above_star": 1.0 + }, + { + "step": 245, + "sup_loss": 0.8962244174445326, + "rf_loss": -0.1551896035671234, + "total_loss": -0.6556716778313463, + "lyap1_mean": -0.5081337690353394, + "lyap1_max": -0.46760639548301697, + "frac_above_star": 1.0 + }, + { + "step": 246, + "sup_loss": 0.9755491221065609, + "rf_loss": -0.15648093819618225, + "total_loss": -0.5892602002506169, + "lyap1_mean": -0.518692135810852, + "lyap1_max": -0.4877029359340668, + "frac_above_star": 1.0 + }, + { + "step": 247, + "sup_loss": 0.7187511204585814, + "rf_loss": -0.15742410719394684, + "total_loss": -0.8554899216785646, + "lyap1_mean": -0.5313723087310791, + "lyap1_max": -0.4516507089138031, + "frac_above_star": 1.0 + }, + { + "step": 248, + "sup_loss": 0.8145079150832168, + "rf_loss": -0.15580539405345917, + "total_loss": -0.7435460552536972, + "lyap1_mean": -0.5160915851593018, + "lyap1_max": -0.46359503269195557, + "frac_above_star": 1.0 + }, + { + "step": 249, + "sup_loss": 0.7586813807196571, + "rf_loss": -0.15735167264938354, + "total_loss": -0.8148353457741784, + "lyap1_mean": -0.5322740077972412, + "lyap1_max": -0.4365609586238861, + "frac_above_star": 1.0 + }, + { + "step": 250, + "sup_loss": 1.0727613639111804, + "rf_loss": -0.1554183065891266, + "total_loss": -0.4814216423754407, + "lyap1_mean": -0.5101032257080078, + "lyap1_max": -0.4672932028770447, + "frac_above_star": 1.0 + }, + { + "step": 251, + "sup_loss": 0.8905131105441155, + "rf_loss": -0.1566254049539566, + "total_loss": -0.6757409091931281, + "lyap1_mean": -0.519982635974884, + "lyap1_max": -0.47582757472991943, + "frac_above_star": 1.0 + }, + { + "step": 252, + "sup_loss": 0.984244500635288, + "rf_loss": -0.15745870769023895, + "total_loss": -0.5903426060694239, + "lyap1_mean": -0.5279983878135681, + "lyap1_max": -0.5005073547363281, + "frac_above_star": 1.0 + }, + { + "step": 253, + "sup_loss": 0.9721807640911246, + "rf_loss": -0.15477138757705688, + "total_loss": -0.5755331116794442, + "lyap1_mean": -0.5055757761001587, + "lyap1_max": -0.4531218409538269, + "frac_above_star": 1.0 + }, + { + "step": 254, + "sup_loss": 0.818314856100389, + "rf_loss": -0.15646642446517944, + "total_loss": -0.7463493885514054, + "lyap1_mean": -0.5253005027770996, + "lyap1_max": -0.4227689504623413, + "frac_above_star": 1.0 + }, + { + "step": 255, + "sup_loss": 1.050494409039272, + "rf_loss": -0.15827208757400513, + "total_loss": -0.5322264667007792, + "lyap1_mean": -0.5337836742401123, + "lyap1_max": -0.49984443187713623, + "frac_above_star": 1.0 + }, + { + "step": 256, + "sup_loss": 0.8331720640012158, + "rf_loss": -0.15800057351589203, + "total_loss": -0.7468337009600269, + "lyap1_mean": -0.5363761186599731, + "lyap1_max": -0.4692615270614624, + "frac_above_star": 1.0 + }, + { + "step": 257, + "sup_loss": 0.8000012026401956, + "rf_loss": -0.1585698276758194, + "total_loss": -0.785697044315676, + "lyap1_mean": -0.5398954749107361, + "lyap1_max": -0.49473142623901367, + "frac_above_star": 1.0 + }, + { + "step": 258, + "sup_loss": 0.8122818032470517, + "rf_loss": -0.15408441424369812, + "total_loss": -0.7285623987945743, + "lyap1_mean": -0.5058127641677856, + "lyap1_max": -0.3688815236091614, + "frac_above_star": 1.0 + }, + { + "step": 259, + "sup_loss": 0.9262790459466429, + "rf_loss": -0.15128777921199799, + "total_loss": -0.5865987759756593, + "lyap1_mean": -0.5074416399002075, + "lyap1_max": -0.22341875731945038, + "frac_above_star": 1.0 + }, + { + "step": 260, + "sup_loss": 0.9911814141673417, + "rf_loss": -0.15809038281440735, + "total_loss": -0.589722354372087, + "lyap1_mean": -0.5353401899337769, + "lyap1_max": -0.5046818256378174, + "frac_above_star": 1.0 + }, + { + "step": 261, + "sup_loss": 0.7936905548694869, + "rf_loss": -0.1608511209487915, + "total_loss": -0.8148206546184281, + "lyap1_mean": -0.5595028400421143, + "lyap1_max": -0.5281579494476318, + "frac_above_star": 1.0 + }, + { + "step": 262, + "sup_loss": 0.781543147765445, + "rf_loss": -0.15614435076713562, + "total_loss": -0.779900419510556, + "lyap1_mean": -0.5194038152694702, + "lyap1_max": -0.46180209517478943, + "frac_above_star": 1.0 + }, + { + "step": 263, + "sup_loss": 0.8238125869108077, + "rf_loss": -0.15812571346759796, + "total_loss": -0.7574445179628495, + "lyap1_mean": -0.5371677875518799, + "lyap1_max": -0.46272575855255127, + "frac_above_star": 1.0 + }, + { + "step": 264, + "sup_loss": 0.9037525911369946, + "rf_loss": -0.15940168499946594, + "total_loss": -0.6902641992530201, + "lyap1_mean": -0.5499383211135864, + "lyap1_max": -0.49293357133865356, + "frac_above_star": 1.0 + }, + { + "step": 265, + "sup_loss": 0.9203094233681673, + "rf_loss": -0.1579289734363556, + "total_loss": -0.6589802513907438, + "lyap1_mean": -0.5332624912261963, + "lyap1_max": -0.4854254722595215, + "frac_above_star": 1.0 + }, + { + "step": 266, + "sup_loss": 0.6397146398518045, + "rf_loss": -0.16120579838752747, + "total_loss": -0.9723432844188253, + "lyap1_mean": -0.5652287006378174, + "lyap1_max": -0.5212020874023438, + "frac_above_star": 1.0 + }, + { + "step": 267, + "sup_loss": 0.9504707347193853, + "rf_loss": -0.15303313732147217, + "total_loss": -0.5798606384953364, + "lyap1_mean": -0.49370694160461426, + "lyap1_max": -0.4454904794692993, + "frac_above_star": 1.0 + }, + { + "step": 268, + "sup_loss": 1.0581588783093259, + "rf_loss": -0.15870249271392822, + "total_loss": -0.5288660488299564, + "lyap1_mean": -0.5377306342124939, + "lyap1_max": -0.4954037070274353, + "frac_above_star": 1.0 + }, + { + "step": 269, + "sup_loss": 0.9532564291338393, + "rf_loss": -0.15683914721012115, + "total_loss": -0.6151350131650498, + "lyap1_mean": -0.5217145681381226, + "lyap1_max": -0.47052234411239624, + "frac_above_star": 1.0 + }, + { + "step": 270, + "sup_loss": 0.9719755193449091, + "rf_loss": -0.15682581067085266, + "total_loss": -0.5962825277589727, + "lyap1_mean": -0.5216286182403564, + "lyap1_max": -0.49640315771102905, + "frac_above_star": 1.0 + }, + { + "step": 271, + "sup_loss": 0.7498925229566755, + "rf_loss": -0.15976476669311523, + "total_loss": -0.8477551439744768, + "lyap1_mean": -0.5504207611083984, + "lyap1_max": -0.5012523531913757, + "frac_above_star": 1.0 + }, + { + "step": 272, + "sup_loss": 1.0647634220926925, + "rf_loss": -0.1592666208744049, + "total_loss": -0.5279027270467118, + "lyap1_mean": -0.5440043210983276, + "lyap1_max": -0.4877534508705139, + "frac_above_star": 1.0 + }, + { + "step": 273, + "sup_loss": 0.9867917332640115, + "rf_loss": -0.15774406492710114, + "total_loss": -0.5906488862046775, + "lyap1_mean": -0.5300606489181519, + "lyap1_max": -0.4624977111816406, + "frac_above_star": 1.0 + }, + { + "step": 274, + "sup_loss": 0.8121866591059709, + "rf_loss": -0.16010534763336182, + "total_loss": -0.7888668172276473, + "lyap1_mean": -0.5528382062911987, + "lyap1_max": -0.498106449842453, + "frac_above_star": 1.0 + }, + { + "step": 275, + "sup_loss": 0.9665927800720351, + "rf_loss": -0.15896426141262054, + "total_loss": -0.6230498638564927, + "lyap1_mean": -0.5423264503479004, + "lyap1_max": -0.5047135949134827, + "frac_above_star": 1.0 + }, + { + "step": 276, + "sup_loss": 0.7680134506019444, + "rf_loss": -0.15910574793815613, + "total_loss": -0.8230440883842617, + "lyap1_mean": -0.5442633032798767, + "lyap1_max": -0.47938045859336853, + "frac_above_star": 1.0 + }, + { + "step": 277, + "sup_loss": 0.8203317366012303, + "rf_loss": -0.16145586967468262, + "total_loss": -0.7942269601455959, + "lyap1_mean": -0.570000410079956, + "lyap1_max": -0.4942525029182434, + "frac_above_star": 1.0 + }, + { + "step": 278, + "sup_loss": 0.8340988567460611, + "rf_loss": -0.16150766611099243, + "total_loss": -0.7809778043638632, + "lyap1_mean": -0.5684201121330261, + "lyap1_max": -0.5173468589782715, + "frac_above_star": 1.0 + }, + { + "step": 279, + "sup_loss": 0.9040923648431158, + "rf_loss": -0.16106244921684265, + "total_loss": -0.7065321869299555, + "lyap1_mean": -0.5665922164916992, + "lyap1_max": -0.5223636627197266, + "frac_above_star": 1.0 + }, + { + "step": 280, + "sup_loss": 1.0271913467301421, + "rf_loss": -0.16084109246730804, + "total_loss": -0.5812196077452607, + "lyap1_mean": -0.5585359930992126, + "lyap1_max": -0.5241116285324097, + "frac_above_star": 1.0 + }, + { + "step": 281, + "sup_loss": 0.9460371922785036, + "rf_loss": -0.15832331776618958, + "total_loss": -0.6371959257787474, + "lyap1_mean": -0.5407968759536743, + "lyap1_max": -0.47069990634918213, + "frac_above_star": 1.0 + }, + { + "step": 282, + "sup_loss": 0.7528663176076231, + "rf_loss": -0.15911631286144257, + "total_loss": -0.8382968408091249, + "lyap1_mean": -0.547126054763794, + "lyap1_max": -0.491158127784729, + "frac_above_star": 1.0 + }, + { + "step": 283, + "sup_loss": 0.8437921393654062, + "rf_loss": -0.16141238808631897, + "total_loss": -0.7703316818931387, + "lyap1_mean": -0.5677838921546936, + "lyap1_max": -0.5228288173675537, + "frac_above_star": 1.0 + }, + { + "step": 284, + "sup_loss": 1.0603562628957952, + "rf_loss": -0.16059055924415588, + "total_loss": -0.5455492699411189, + "lyap1_mean": -0.5592141151428223, + "lyap1_max": -0.4688429534435272, + "frac_above_star": 1.0 + }, + { + "step": 285, + "sup_loss": 0.8713123588871443, + "rf_loss": -0.16098402440547943, + "total_loss": -0.7385279149699724, + "lyap1_mean": -0.5657837390899658, + "lyap1_max": -0.5045219659805298, + "frac_above_star": 1.0 + }, + { + "step": 286, + "sup_loss": 0.7881316973162443, + "rf_loss": -0.1586286425590515, + "total_loss": -0.7981547282742708, + "lyap1_mean": -0.5434854030609131, + "lyap1_max": -0.4684319496154785, + "frac_above_star": 1.0 + }, + { + "step": 287, + "sup_loss": 0.9909780875793358, + "rf_loss": -0.15964484214782715, + "total_loss": -0.6054703338989357, + "lyap1_mean": -0.5480200052261353, + "lyap1_max": -0.47501060366630554, + "frac_above_star": 1.0 + }, + { + "step": 288, + "sup_loss": 0.9369532444870349, + "rf_loss": -0.15958300232887268, + "total_loss": -0.6588767191970472, + "lyap1_mean": -0.5512880086898804, + "lyap1_max": -0.4806962013244629, + "frac_above_star": 1.0 + }, + { + "step": 289, + "sup_loss": 0.8759968981754223, + "rf_loss": -0.16296029090881348, + "total_loss": -0.7536060109127125, + "lyap1_mean": -0.5845429301261902, + "lyap1_max": -0.5356825590133667, + "frac_above_star": 1.0 + }, + { + "step": 290, + "sup_loss": 0.9410253380808649, + "rf_loss": -0.15908591449260712, + "total_loss": -0.6498338366475287, + "lyap1_mean": -0.5417507290840149, + "lyap1_max": -0.488450825214386, + "frac_above_star": 1.0 + }, + { + "step": 291, + "sup_loss": 0.8812347814542598, + "rf_loss": -0.15753600001335144, + "total_loss": -0.6941252782838994, + "lyap1_mean": -0.5318419933319092, + "lyap1_max": -0.473792165517807, + "frac_above_star": 1.0 + }, + { + "step": 292, + "sup_loss": 0.8140657339162837, + "rf_loss": -0.1611955463886261, + "total_loss": -0.7978896703653325, + "lyap1_mean": -0.5674397945404053, + "lyap1_max": -0.5027527809143066, + "frac_above_star": 1.0 + }, + { + "step": 293, + "sup_loss": 0.7628909797641411, + "rf_loss": -0.1619616150856018, + "total_loss": -0.856725171091877, + "lyap1_mean": -0.5781066417694092, + "lyap1_max": -0.5050055384635925, + "frac_above_star": 1.0 + }, + { + "step": 294, + "sup_loss": 0.8501762531418597, + "rf_loss": -0.1619778573513031, + "total_loss": -0.769602379975816, + "lyap1_mean": -0.5754262804985046, + "lyap1_max": -0.49383193254470825, + "frac_above_star": 1.0 + }, + { + "step": 295, + "sup_loss": 0.657693624082434, + "rf_loss": -0.16196128726005554, + "total_loss": -0.9619193081227662, + "lyap1_mean": -0.5751922130584717, + "lyap1_max": -0.5109381675720215, + "frac_above_star": 1.0 + }, + { + "step": 296, + "sup_loss": 1.0848214555997109, + "rf_loss": -0.16078174114227295, + "total_loss": -0.5229959558230186, + "lyap1_mean": -0.5601209402084351, + "lyap1_max": -0.47544607520103455, + "frac_above_star": 1.0 + }, + { + "step": 297, + "sup_loss": 0.7219355521442211, + "rf_loss": -0.16189336776733398, + "total_loss": -0.8969981255291187, + "lyap1_mean": -0.5707339644432068, + "lyap1_max": -0.5190104246139526, + "frac_above_star": 1.0 + }, + { + "step": 298, + "sup_loss": 0.8092384606415445, + "rf_loss": -0.1613229513168335, + "total_loss": -0.8039910525267905, + "lyap1_mean": -0.5658912658691406, + "lyap1_max": -0.5354974269866943, + "frac_above_star": 1.0 + }, + { + "step": 299, + "sup_loss": 0.7073771025942905, + "rf_loss": -0.16191504895687103, + "total_loss": -0.9117734167767422, + "lyap1_mean": -0.5790634155273438, + "lyap1_max": -0.47938448190689087, + "frac_above_star": 1.0 + }, + { + "step": 300, + "sup_loss": 0.8375684960647621, + "rf_loss": -0.16150355339050293, + "total_loss": -0.7774670378402672, + "lyap1_mean": -0.5695177316665649, + "lyap1_max": -0.49898529052734375, + "frac_above_star": 1.0 + }, + { + "step": 301, + "sup_loss": 1.0038740326233129, + "rf_loss": -0.1618063747882843, + "total_loss": -0.6141896556548854, + "lyap1_mean": -0.5716332197189331, + "lyap1_max": -0.5105829834938049, + "frac_above_star": 1.0 + }, + { + "step": 302, + "sup_loss": 0.9326166794091367, + "rf_loss": -0.16307398676872253, + "total_loss": -0.6981232478827334, + "lyap1_mean": -0.5839559435844421, + "lyap1_max": -0.540310263633728, + "frac_above_star": 1.0 + }, + { + "step": 303, + "sup_loss": 1.0147782848375035, + "rf_loss": -0.16246208548545837, + "total_loss": -0.609842629621725, + "lyap1_mean": -0.574588418006897, + "lyap1_max": -0.5621768832206726, + "frac_above_star": 1.0 + }, + { + "step": 304, + "sup_loss": 0.7110237565090188, + "rf_loss": -0.16122755408287048, + "total_loss": -0.9012518439243308, + "lyap1_mean": -0.5715954899787903, + "lyap1_max": -0.460237979888916, + "frac_above_star": 1.0 + }, + { + "step": 305, + "sup_loss": 0.9513556595259183, + "rf_loss": -0.1605626940727234, + "total_loss": -0.6542712812013156, + "lyap1_mean": -0.5563889741897583, + "lyap1_max": -0.5055195093154907, + "frac_above_star": 1.0 + }, + { + "step": 306, + "sup_loss": 0.9263395434662047, + "rf_loss": -0.1640915870666504, + "total_loss": -0.7145763272002992, + "lyap1_mean": -0.5974153280258179, + "lyap1_max": -0.5594337582588196, + "frac_above_star": 1.0 + }, + { + "step": 307, + "sup_loss": 0.8760054701174772, + "rf_loss": -0.15970134735107422, + "total_loss": -0.721008003393265, + "lyap1_mean": -0.5494421720504761, + "lyap1_max": -0.49333328008651733, + "frac_above_star": 1.0 + }, + { + "step": 308, + "sup_loss": 0.8282272538600861, + "rf_loss": -0.1644357144832611, + "total_loss": -0.8161299505771697, + "lyap1_mean": -0.6033315062522888, + "lyap1_max": -0.5405848026275635, + "frac_above_star": 1.0 + }, + { + "step": 309, + "sup_loss": 0.9723710135493366, + "rf_loss": -0.16116127371788025, + "total_loss": -0.6392417832341106, + "lyap1_mean": -0.5628421306610107, + "lyap1_max": -0.5161058306694031, + "frac_above_star": 1.0 + }, + { + "step": 310, + "sup_loss": 0.9151854027595069, + "rf_loss": -0.16352054476737976, + "total_loss": -0.7200201045189355, + "lyap1_mean": -0.5919464230537415, + "lyap1_max": -0.5396199226379395, + "frac_above_star": 1.0 + }, + { + "step": 311, + "sup_loss": 0.9525734500759337, + "rf_loss": -0.16233354806900024, + "total_loss": -0.6707620306140687, + "lyap1_mean": -0.5765712261199951, + "lyap1_max": -0.5127285718917847, + "frac_above_star": 1.0 + }, + { + "step": 312, + "sup_loss": 0.8516692915749021, + "rf_loss": -0.16408266127109528, + "total_loss": -0.7891572913337283, + "lyap1_mean": -0.5983797311782837, + "lyap1_max": -0.576287567615509, + "frac_above_star": 1.0 + }, + { + "step": 313, + "sup_loss": 0.832948758064858, + "rf_loss": -0.16383984684944153, + "total_loss": -0.8054496508249125, + "lyap1_mean": -0.5953112244606018, + "lyap1_max": -0.5389801263809204, + "frac_above_star": 1.0 + }, + { + "step": 314, + "sup_loss": 1.0063223520507625, + "rf_loss": -0.1649513989686966, + "total_loss": -0.6431916078338811, + "lyap1_mean": -0.608302652835846, + "lyap1_max": -0.586739718914032, + "frac_above_star": 1.0 + }, + { + "step": 315, + "sup_loss": 0.9722782245852264, + "rf_loss": -0.1638316512107849, + "total_loss": -0.6660382875226227, + "lyap1_mean": -0.5921839475631714, + "lyap1_max": -0.556277334690094, + "frac_above_star": 1.0 + }, + { + "step": 316, + "sup_loss": 0.837796306205376, + "rf_loss": -0.16461020708084106, + "total_loss": -0.8083057646030346, + "lyap1_mean": -0.6071547269821167, + "lyap1_max": -0.5650511980056763, + "frac_above_star": 1.0 + }, + { + "step": 317, + "sup_loss": 1.1130469083835732, + "rf_loss": -0.1634967029094696, + "total_loss": -0.5219201803157676, + "lyap1_mean": -0.5872231721878052, + "lyap1_max": -0.5639901161193848, + "frac_above_star": 1.0 + }, + { + "step": 318, + "sup_loss": 0.8332499453522744, + "rf_loss": -0.16368603706359863, + "total_loss": -0.803610425283712, + "lyap1_mean": -0.5928035378456116, + "lyap1_max": -0.5322840213775635, + "frac_above_star": 1.0 + }, + { + "step": 319, + "sup_loss": 0.8721728060104311, + "rf_loss": -0.16428670287132263, + "total_loss": -0.77069428230744, + "lyap1_mean": -0.6021444797515869, + "lyap1_max": -0.556942343711853, + "frac_above_star": 1.0 + }, + { + "step": 320, + "sup_loss": 1.0656611581698558, + "rf_loss": -0.1624802052974701, + "total_loss": -0.5591409544094899, + "lyap1_mean": -0.5847727060317993, + "lyap1_max": -0.4881177544593811, + "frac_above_star": 1.0 + }, + { + "step": 321, + "sup_loss": 0.8038374547258538, + "rf_loss": -0.16243164241313934, + "total_loss": -0.820478999207862, + "lyap1_mean": -0.5802831053733826, + "lyap1_max": -0.5243849754333496, + "frac_above_star": 1.0 + }, + { + "step": 322, + "sup_loss": 0.9154640378349578, + "rf_loss": -0.16364453732967377, + "total_loss": -0.7209813652641023, + "lyap1_mean": -0.5933026671409607, + "lyap1_max": -0.5480624437332153, + "frac_above_star": 1.0 + }, + { + "step": 323, + "sup_loss": 1.061712623632443, + "rf_loss": -0.1655946671962738, + "total_loss": -0.5942341079349398, + "lyap1_mean": -0.6169642210006714, + "lyap1_max": -0.5970139503479004, + "frac_above_star": 1.0 + }, + { + "step": 324, + "sup_loss": 1.0479330264620172, + "rf_loss": -0.16384035348892212, + "total_loss": -0.5904705084272039, + "lyap1_mean": -0.5924264192581177, + "lyap1_max": -0.5541040897369385, + "frac_above_star": 1.0 + }, + { + "step": 325, + "sup_loss": 0.6910523960376708, + "rf_loss": -0.163423091173172, + "total_loss": -0.9431784560894044, + "lyap1_mean": -0.5926433801651001, + "lyap1_max": -0.5298348665237427, + "frac_above_star": 1.0 + }, + { + "step": 326, + "sup_loss": 1.0269453867489713, + "rf_loss": -0.1631852090358734, + "total_loss": -0.6049067632144076, + "lyap1_mean": -0.583427906036377, + "lyap1_max": -0.5578801035881042, + "frac_above_star": 1.0 + }, + { + "step": 327, + "sup_loss": 0.8233917870262711, + "rf_loss": -0.16469553112983704, + "total_loss": -0.8235634646674544, + "lyap1_mean": -0.607279896736145, + "lyap1_max": -0.5543960332870483, + "frac_above_star": 1.0 + }, + { + "step": 328, + "sup_loss": 0.9450038205818985, + "rf_loss": -0.1649913638830185, + "total_loss": -0.7049098480506089, + "lyap1_mean": -0.6123449206352234, + "lyap1_max": -0.5519499778747559, + "frac_above_star": 1.0 + }, + { + "step": 329, + "sup_loss": 0.9421911124007256, + "rf_loss": -0.16440339386463165, + "total_loss": -0.7018427964432685, + "lyap1_mean": -0.5995666980743408, + "lyap1_max": -0.5681703090667725, + "frac_above_star": 1.0 + }, + { + "step": 330, + "sup_loss": 0.7697179003964724, + "rf_loss": -0.1645650714635849, + "total_loss": -0.875932844041699, + "lyap1_mean": -0.6125820875167847, + "lyap1_max": -0.5153601169586182, + "frac_above_star": 1.0 + }, + { + "step": 331, + "sup_loss": 1.0548148410445792, + "rf_loss": -0.16381332278251648, + "total_loss": -0.5833184463852303, + "lyap1_mean": -0.5942240357398987, + "lyap1_max": -0.5262190103530884, + "frac_above_star": 1.0 + }, + { + "step": 332, + "sup_loss": 1.0196609109555852, + "rf_loss": -0.16312077641487122, + "total_loss": -0.6115467935884822, + "lyap1_mean": -0.5865979194641113, + "lyap1_max": -0.5205221176147461, + "frac_above_star": 1.0 + }, + { + "step": 333, + "sup_loss": 0.784042712927414, + "rf_loss": -0.16456177830696106, + "total_loss": -0.8615750105375518, + "lyap1_mean": -0.6079744100570679, + "lyap1_max": -0.546178936958313, + "frac_above_star": 1.0 + }, + { + "step": 334, + "sup_loss": 0.7664311765333505, + "rf_loss": -0.16504254937171936, + "total_loss": -0.8839942575791984, + "lyap1_mean": -0.6162400245666504, + "lyap1_max": -0.5355051159858704, + "frac_above_star": 1.0 + }, + { + "step": 335, + "sup_loss": 1.003457394681096, + "rf_loss": -0.16450703144073486, + "total_loss": -0.6416129197262526, + "lyap1_mean": -0.6001628041267395, + "lyap1_max": -0.5698915719985962, + "frac_above_star": 1.0 + }, + { + "step": 336, + "sup_loss": 0.8690863463612974, + "rf_loss": -0.16445313394069672, + "total_loss": -0.7754450228479921, + "lyap1_mean": -0.6010639071464539, + "lyap1_max": -0.5680854320526123, + "frac_above_star": 1.0 + }, + { + "step": 337, + "sup_loss": 0.9179001463572419, + "rf_loss": -0.16474168002605438, + "total_loss": -0.7295166837056243, + "lyap1_mean": -0.6059644222259521, + "lyap1_max": -0.5667393207550049, + "frac_above_star": 1.0 + }, + { + "step": 338, + "sup_loss": 0.8451031026044734, + "rf_loss": -0.16483834385871887, + "total_loss": -0.8032802763780705, + "lyap1_mean": -0.610694408416748, + "lyap1_max": -0.5441962480545044, + "frac_above_star": 1.0 + }, + { + "step": 339, + "sup_loss": 0.8340853989641112, + "rf_loss": -0.16589681804180145, + "total_loss": -0.8248828112562258, + "lyap1_mean": -0.6289374828338623, + "lyap1_max": -0.5635842084884644, + "frac_above_star": 1.0 + }, + { + "step": 340, + "sup_loss": 0.7640737009054664, + "rf_loss": -0.16561324894428253, + "total_loss": -0.8920587587350365, + "lyap1_mean": -0.6208488941192627, + "lyap1_max": -0.5690791606903076, + "frac_above_star": 1.0 + }, + { + "step": 341, + "sup_loss": 0.9097405153312316, + "rf_loss": -0.16537296772003174, + "total_loss": -0.7439891618690858, + "lyap1_mean": -0.6165645122528076, + "lyap1_max": -0.5699905157089233, + "frac_above_star": 1.0 + }, + { + "step": 342, + "sup_loss": 0.826925562455947, + "rf_loss": -0.16623714566230774, + "total_loss": -0.8354458345624857, + "lyap1_mean": -0.6287457942962646, + "lyap1_max": -0.5985933542251587, + "frac_above_star": 1.0 + }, + { + "step": 343, + "sup_loss": 0.7808731299195536, + "rf_loss": -0.1667793095111847, + "total_loss": -0.8869199055876485, + "lyap1_mean": -0.6383271813392639, + "lyap1_max": -0.6105337142944336, + "frac_above_star": 1.0 + }, + { + "step": 344, + "sup_loss": 0.8268260483497745, + "rf_loss": -0.16479766368865967, + "total_loss": -0.8211505885368222, + "lyap1_mean": -0.6105909943580627, + "lyap1_max": -0.5363644361495972, + "frac_above_star": 1.0 + }, + { + "step": 345, + "sup_loss": 0.9006461343289365, + "rf_loss": -0.16424095630645752, + "total_loss": -0.7417634287356387, + "lyap1_mean": -0.5995079278945923, + "lyap1_max": -0.5446373820304871, + "frac_above_star": 1.0 + }, + { + "step": 346, + "sup_loss": 0.8833389996247742, + "rf_loss": -0.16598406434059143, + "total_loss": -0.7765015841764953, + "lyap1_mean": -0.6223454475402832, + "lyap1_max": -0.5876216888427734, + "frac_above_star": 1.0 + }, + { + "step": 347, + "sup_loss": 0.7773276653194016, + "rf_loss": -0.16685014963150024, + "total_loss": -0.8911738309956009, + "lyap1_mean": -0.6390074491500854, + "lyap1_max": -0.5918681621551514, + "frac_above_star": 1.0 + }, + { + "step": 348, + "sup_loss": 0.8151817191174028, + "rf_loss": -0.16584555804729462, + "total_loss": -0.8432738911578658, + "lyap1_mean": -0.6283960938453674, + "lyap1_max": -0.555222749710083, + "frac_above_star": 1.0 + }, + { + "step": 349, + "sup_loss": 0.829245657389233, + "rf_loss": -0.1661226451396942, + "total_loss": -0.831980853612354, + "lyap1_mean": -0.6274082660675049, + "lyap1_max": -0.595209002494812, + "frac_above_star": 1.0 + }, + { + "step": 350, + "sup_loss": 1.0970716199337769, + "rf_loss": -0.16545766592025757, + "total_loss": -0.5575050392687988, + "lyap1_mean": -0.6159111261367798, + "lyap1_max": -0.5601431131362915, + "frac_above_star": 1.0 + }, + { + "step": 351, + "sup_loss": 0.9249861772631667, + "rf_loss": -0.167214035987854, + "total_loss": -0.7471541826153734, + "lyap1_mean": -0.6472472548484802, + "lyap1_max": -0.6163156032562256, + "frac_above_star": 1.0 + }, + { + "step": 352, + "sup_loss": 0.8671142491046281, + "rf_loss": -0.16652652621269226, + "total_loss": -0.7981510726269393, + "lyap1_mean": -0.6349173188209534, + "lyap1_max": -0.6001026034355164, + "frac_above_star": 1.0 + }, + { + "step": 353, + "sup_loss": 0.8902631190562083, + "rf_loss": -0.1658329963684082, + "total_loss": -0.7680668446278738, + "lyap1_mean": -0.6213014125823975, + "lyap1_max": -0.5634341239929199, + "frac_above_star": 1.0 + }, + { + "step": 354, + "sup_loss": 1.0950481213414034, + "rf_loss": -0.1659221053123474, + "total_loss": -0.5641729317820707, + "lyap1_mean": -0.6223301291465759, + "lyap1_max": -0.5711621046066284, + "frac_above_star": 1.0 + }, + { + "step": 355, + "sup_loss": 1.0438139099046004, + "rf_loss": -0.16615629196166992, + "total_loss": -0.6177490097120988, + "lyap1_mean": -0.6252202987670898, + "lyap1_max": -0.5934314131736755, + "frac_above_star": 1.0 + }, + { + "step": 356, + "sup_loss": 1.1118592822424997, + "rf_loss": -0.16644397377967834, + "total_loss": -0.5525803959496389, + "lyap1_mean": -0.629199206829071, + "lyap1_max": -0.613315761089325, + "frac_above_star": 1.0 + }, + { + "step": 357, + "sup_loss": 0.9975785653828726, + "rf_loss": -0.16722291707992554, + "total_loss": -0.6746506054163828, + "lyap1_mean": -0.6494839191436768, + "lyap1_max": -0.6047999262809753, + "frac_above_star": 1.0 + }, + { + "step": 358, + "sup_loss": 0.9724913845646743, + "rf_loss": -0.1663382202386856, + "total_loss": -0.6908907880198594, + "lyap1_mean": -0.6285679340362549, + "lyap1_max": -0.597236156463623, + "frac_above_star": 1.0 + }, + { + "step": 359, + "sup_loss": 0.8879820109734289, + "rf_loss": -0.1655595451593399, + "total_loss": -0.7676134108176478, + "lyap1_mean": -0.6161324977874756, + "lyap1_max": -0.5896904468536377, + "frac_above_star": 1.0 + }, + { + "step": 360, + "sup_loss": 0.8866029497452086, + "rf_loss": -0.16494779288768768, + "total_loss": -0.7628750089339906, + "lyap1_mean": -0.6157176494598389, + "lyap1_max": -0.49962347745895386, + "frac_above_star": 1.0 + }, + { + "step": 361, + "sup_loss": 1.0425218514954766, + "rf_loss": -0.16546756029129028, + "total_loss": -0.6121537514174262, + "lyap1_mean": -0.6158539056777954, + "lyap1_max": -0.5800732970237732, + "frac_above_star": 1.0 + }, + { + "step": 362, + "sup_loss": 0.9692254532550995, + "rf_loss": -0.16660699248313904, + "total_loss": -0.6968445311809357, + "lyap1_mean": -0.6320209503173828, + "lyap1_max": -0.602216362953186, + "frac_above_star": 1.0 + }, + { + "step": 363, + "sup_loss": 1.0121052238756523, + "rf_loss": -0.16582317650318146, + "total_loss": -0.6461265113538399, + "lyap1_mean": -0.6214619874954224, + "lyap1_max": -0.5634332299232483, + "frac_above_star": 1.0 + }, + { + "step": 364, + "sup_loss": 0.8701554206761035, + "rf_loss": -0.16675686836242676, + "total_loss": -0.7974132629481641, + "lyap1_mean": -0.6379652619361877, + "lyap1_max": -0.5755835175514221, + "frac_above_star": 1.0 + }, + { + "step": 365, + "sup_loss": 0.798622193653227, + "rf_loss": -0.16607998311519623, + "total_loss": -0.8621776673010577, + "lyap1_mean": -0.630303680896759, + "lyap1_max": -0.5758780837059021, + "frac_above_star": 1.0 + }, + { + "step": 366, + "sup_loss": 0.8366091763810477, + "rf_loss": -0.16694074869155884, + "total_loss": -0.8327983105345407, + "lyap1_mean": -0.643258810043335, + "lyap1_max": -0.5917106866836548, + "frac_above_star": 1.0 + }, + { + "step": 367, + "sup_loss": 1.0106361853831496, + "rf_loss": -0.16704776883125305, + "total_loss": -0.6598414433247362, + "lyap1_mean": -0.6417405605316162, + "lyap1_max": -0.6024030447006226, + "frac_above_star": 1.0 + }, + { + "step": 368, + "sup_loss": 1.043273856146882, + "rf_loss": -0.16798582673072815, + "total_loss": -0.6365843515557548, + "lyap1_mean": -0.6591210961341858, + "lyap1_max": -0.6378985643386841, + "frac_above_star": 1.0 + }, + { + "step": 369, + "sup_loss": 0.8957975523345295, + "rf_loss": -0.1678183525800705, + "total_loss": -0.7823860032684978, + "lyap1_mean": -0.6581419706344604, + "lyap1_max": -0.6372026801109314, + "frac_above_star": 1.0 + }, + { + "step": 370, + "sup_loss": 0.9990507032476881, + "rf_loss": -0.16781841218471527, + "total_loss": -0.679133448401787, + "lyap1_mean": -0.6557274460792542, + "lyap1_max": -0.6242289543151855, + "frac_above_star": 1.0 + }, + { + "step": 371, + "sup_loss": 0.7766417118318649, + "rf_loss": -0.166281059384346, + "total_loss": -0.8861688522092728, + "lyap1_mean": -0.6331968307495117, + "lyap1_max": -0.5763373374938965, + "frac_above_star": 1.0 + }, + { + "step": 372, + "sup_loss": 1.036477802204829, + "rf_loss": -0.16731500625610352, + "total_loss": -0.636672260356206, + "lyap1_mean": -0.646703839302063, + "lyap1_max": -0.6036720275878906, + "frac_above_star": 1.0 + }, + { + "step": 373, + "sup_loss": 0.6608135112661694, + "rf_loss": -0.16714142262935638, + "total_loss": -1.0106007448297167, + "lyap1_mean": -0.6544384956359863, + "lyap1_max": -0.5521031022071838, + "frac_above_star": 1.0 + }, + { + "step": 374, + "sup_loss": 0.9627712513010288, + "rf_loss": -0.16645808517932892, + "total_loss": -0.701809570689938, + "lyap1_mean": -0.630534827709198, + "lyap1_max": -0.5997130870819092, + "frac_above_star": 1.0 + }, + { + "step": 375, + "sup_loss": 0.9647774688494555, + "rf_loss": -0.16539467871189117, + "total_loss": -0.6891692884671339, + "lyap1_mean": -0.6148418188095093, + "lyap1_max": -0.581908106803894, + "frac_above_star": 1.0 + }, + { + "step": 376, + "sup_loss": 0.8075970756818879, + "rf_loss": -0.16685032844543457, + "total_loss": -0.8609062087724578, + "lyap1_mean": -0.64274001121521, + "lyap1_max": -0.5686565041542053, + "frac_above_star": 1.0 + }, + { + "step": 377, + "sup_loss": 0.9143340532545902, + "rf_loss": -0.16630257666110992, + "total_loss": -0.7486916835541867, + "lyap1_mean": -0.6285971403121948, + "lyap1_max": -0.5936660766601562, + "frac_above_star": 1.0 + }, + { + "step": 378, + "sup_loss": 0.7975184897649106, + "rf_loss": -0.16702762246131897, + "total_loss": -0.8727576752436343, + "lyap1_mean": -0.6475335359573364, + "lyap1_max": -0.5954887270927429, + "frac_above_star": 1.0 + }, + { + "step": 379, + "sup_loss": 0.7865626930707844, + "rf_loss": -0.16678954660892487, + "total_loss": -0.8813327432161419, + "lyap1_mean": -0.6372209787368774, + "lyap1_max": -0.5948556661605835, + "frac_above_star": 1.0 + }, + { + "step": 380, + "sup_loss": 0.8700615962126946, + "rf_loss": -0.1667349636554718, + "total_loss": -0.7972879807373786, + "lyap1_mean": -0.6409831643104553, + "lyap1_max": -0.5811265707015991, + "frac_above_star": 1.0 + }, + { + "step": 381, + "sup_loss": 0.8994443393592212, + "rf_loss": -0.16686950623989105, + "total_loss": -0.7692507528420117, + "lyap1_mean": -0.6373615264892578, + "lyap1_max": -0.6007121205329895, + "frac_above_star": 1.0 + }, + { + "step": 382, + "sup_loss": 1.0754482725549606, + "rf_loss": -0.1674620658159256, + "total_loss": -0.599172355801973, + "lyap1_mean": -0.6475802659988403, + "lyap1_max": -0.629872739315033, + "frac_above_star": 1.0 + }, + { + "step": 383, + "sup_loss": 0.6557506899081982, + "rf_loss": -0.16757729649543762, + "total_loss": -1.0200222154415333, + "lyap1_mean": -0.6588979959487915, + "lyap1_max": -0.574805736541748, + "frac_above_star": 1.0 + }, + { + "step": 384, + "sup_loss": 0.9140409172674648, + "rf_loss": -0.16776016354560852, + "total_loss": -0.7635606585839756, + "lyap1_mean": -0.6580669283866882, + "lyap1_max": -0.6121257543563843, + "frac_above_star": 1.0 + }, + { + "step": 385, + "sup_loss": 0.8368255240435963, + "rf_loss": -0.16691964864730835, + "total_loss": -0.8323709624294872, + "lyap1_mean": -0.6447473764419556, + "lyap1_max": -0.5840913653373718, + "frac_above_star": 1.0 + }, + { + "step": 386, + "sup_loss": 0.7423530810213426, + "rf_loss": -0.1667415350675583, + "total_loss": -0.9250622994565627, + "lyap1_mean": -0.6462277173995972, + "lyap1_max": -0.5616340637207031, + "frac_above_star": 1.0 + }, + { + "step": 387, + "sup_loss": 0.9853559499589328, + "rf_loss": -0.16741248965263367, + "total_loss": -0.6887690061720486, + "lyap1_mean": -0.6488639116287231, + "lyap1_max": -0.6075117588043213, + "frac_above_star": 1.0 + }, + { + "step": 388, + "sup_loss": 0.8913259708875562, + "rf_loss": -0.16783644258975983, + "total_loss": -0.7870384252077197, + "lyap1_mean": -0.660757303237915, + "lyap1_max": -0.6106206178665161, + "frac_above_star": 1.0 + }, + { + "step": 389, + "sup_loss": 0.7987528905257099, + "rf_loss": -0.16669291257858276, + "total_loss": -0.8681762352601178, + "lyap1_mean": -0.6410650610923767, + "lyap1_max": -0.5809316635131836, + "frac_above_star": 1.0 + }, + { + "step": 390, + "sup_loss": 0.8631568360933014, + "rf_loss": -0.16815438866615295, + "total_loss": -0.8183869909635834, + "lyap1_mean": -0.6723634600639343, + "lyap1_max": -0.623555064201355, + "frac_above_star": 1.0 + }, + { + "step": 391, + "sup_loss": 0.8535997113850592, + "rf_loss": -0.16656950116157532, + "total_loss": -0.8120952406260492, + "lyap1_mean": -0.6381630897521973, + "lyap1_max": -0.5624455213546753, + "frac_above_star": 1.0 + }, + { + "step": 392, + "sup_loss": 1.0794963161426232, + "rf_loss": -0.1671776920557022, + "total_loss": -0.5922805746120765, + "lyap1_mean": -0.6433789134025574, + "lyap1_max": -0.6093345880508423, + "frac_above_star": 1.0 + }, + { + "step": 393, + "sup_loss": 1.0483573709094371, + "rf_loss": -0.1684589684009552, + "total_loss": -0.6362322534954701, + "lyap1_mean": -0.6719310283660889, + "lyap1_max": -0.6574442982673645, + "frac_above_star": 1.0 + }, + { + "step": 394, + "sup_loss": 0.8955293539289719, + "rf_loss": -0.16795609891414642, + "total_loss": -0.7840316650148147, + "lyap1_mean": -0.6593412756919861, + "lyap1_max": -0.6228237748146057, + "frac_above_star": 1.0 + }, + { + "step": 395, + "sup_loss": 0.9161850612258491, + "rf_loss": -0.16765955090522766, + "total_loss": -0.7604103882217828, + "lyap1_mean": -0.6570484638214111, + "lyap1_max": -0.5886551737785339, + "frac_above_star": 1.0 + }, + { + "step": 396, + "sup_loss": 0.7915922981259391, + "rf_loss": -0.16730211675167084, + "total_loss": -0.8814288991930916, + "lyap1_mean": -0.6542156338691711, + "lyap1_max": -0.5879533886909485, + "frac_above_star": 1.0 + }, + { + "step": 397, + "sup_loss": 0.7030824923726571, + "rf_loss": -0.16836437582969666, + "total_loss": -0.9805613255289543, + "lyap1_mean": -0.6766561269760132, + "lyap1_max": -0.6361402869224548, + "frac_above_star": 1.0 + }, + { + "step": 398, + "sup_loss": 1.0129995244920889, + "rf_loss": -0.16758611798286438, + "total_loss": -0.6628615957319102, + "lyap1_mean": -0.6528740525245667, + "lyap1_max": -0.5957105159759521, + "frac_above_star": 1.0 + }, + { + "step": 399, + "sup_loss": 0.8086410231185577, + "rf_loss": -0.16688798367977142, + "total_loss": -0.8602388434814789, + "lyap1_mean": -0.6465255618095398, + "lyap1_max": -0.5295546650886536, + "frac_above_star": 1.0 + }, + { + "step": 400, + "sup_loss": 0.7827572744193808, + "rf_loss": -0.16892275214195251, + "total_loss": -0.9064703066047891, + "lyap1_mean": -0.6906148195266724, + "lyap1_max": -0.6423126459121704, + "frac_above_star": 1.0 + }, + { + "step": 401, + "sup_loss": 0.864875708101722, + "rf_loss": -0.16662158071994781, + "total_loss": -0.8013400692954338, + "lyap1_mean": -0.639270007610321, + "lyap1_max": -0.5427007079124451, + "frac_above_star": 1.0 + }, + { + "step": 402, + "sup_loss": 0.9984547495612993, + "rf_loss": -0.16766151785850525, + "total_loss": -0.678160488628398, + "lyap1_mean": -0.6542567014694214, + "lyap1_max": -0.5983229875564575, + "frac_above_star": 1.0 + }, + { + "step": 403, + "sup_loss": 0.8736697291880735, + "rf_loss": -0.16745871305465698, + "total_loss": -0.8009174013584963, + "lyap1_mean": -0.6532575488090515, + "lyap1_max": -0.5902796983718872, + "frac_above_star": 1.0 + }, + { + "step": 404, + "sup_loss": 0.6791199896727433, + "rf_loss": -0.16808143258094788, + "total_loss": -1.0016942765320906, + "lyap1_mean": -0.6703941822052002, + "lyap1_max": -0.6192264556884766, + "frac_above_star": 1.0 + }, + { + "step": 405, + "sup_loss": 0.9608488881272217, + "rf_loss": -0.1687515676021576, + "total_loss": -0.726666847498999, + "lyap1_mean": -0.6819567084312439, + "lyap1_max": -0.6621387600898743, + "frac_above_star": 1.0 + }, + { + "step": 406, + "sup_loss": 0.9914673613609841, + "rf_loss": -0.16872401535511017, + "total_loss": -0.6957727623877952, + "lyap1_mean": -0.6826002597808838, + "lyap1_max": -0.6427457928657532, + "frac_above_star": 1.0 + }, + { + "step": 407, + "sup_loss": 0.8346513049335449, + "rf_loss": -0.16817736625671387, + "total_loss": -0.8471223576335938, + "lyap1_mean": -0.6752156615257263, + "lyap1_max": -0.5880394577980042, + "frac_above_star": 1.0 + }, + { + "step": 408, + "sup_loss": 0.9056504236880752, + "rf_loss": -0.16750651597976685, + "total_loss": -0.7694147361095932, + "lyap1_mean": -0.6515239477157593, + "lyap1_max": -0.6143361330032349, + "frac_above_star": 1.0 + }, + { + "step": 409, + "sup_loss": 1.0901037894687653, + "rf_loss": -0.1622026264667511, + "total_loss": -0.5319224155941009, + "lyap1_mean": -0.614770770072937, + "lyap1_max": -0.33655595779418945, + "frac_above_star": 1.0 + }, + { + "step": 410, + "sup_loss": 0.880939643508458, + "rf_loss": -0.1684756577014923, + "total_loss": -0.8038168739018203, + "lyap1_mean": -0.6769624352455139, + "lyap1_max": -0.6177955269813538, + "frac_above_star": 1.0 + }, + { + "step": 411, + "sup_loss": 1.0659639867587092, + "rf_loss": -0.16663719713687897, + "total_loss": -0.6004079548077581, + "lyap1_mean": -0.6350464820861816, + "lyap1_max": -0.6013752818107605, + "frac_above_star": 1.0 + }, + { + "step": 412, + "sup_loss": 1.0076282352830996, + "rf_loss": -0.1677553653717041, + "total_loss": -0.6699254184339414, + "lyap1_mean": -0.6587964296340942, + "lyap1_max": -0.6002932786941528, + "frac_above_star": 1.0 + }, + { + "step": 413, + "sup_loss": 0.9315838801634881, + "rf_loss": -0.16731645166873932, + "total_loss": -0.7415806067215827, + "lyap1_mean": -0.6499696373939514, + "lyap1_max": -0.5747584104537964, + "frac_above_star": 1.0 + }, + { + "step": 414, + "sup_loss": 1.0583041816261076, + "rf_loss": -0.16855882108211517, + "total_loss": -0.6272840589973665, + "lyap1_mean": -0.6741913557052612, + "lyap1_max": -0.6525681018829346, + "frac_above_star": 1.0 + }, + { + "step": 415, + "sup_loss": 0.7562729096185832, + "rf_loss": -0.1687367856502533, + "total_loss": -0.9310950064885946, + "lyap1_mean": -0.6852098703384399, + "lyap1_max": -0.6300533413887024, + "frac_above_star": 1.0 + }, + { + "step": 416, + "sup_loss": 0.9496210427869541, + "rf_loss": -0.1676788330078125, + "total_loss": -0.7271672872911709, + "lyap1_mean": -0.6556035280227661, + "lyap1_max": -0.5971069931983948, + "frac_above_star": 1.0 + }, + { + "step": 417, + "sup_loss": 0.9620306928941645, + "rf_loss": -0.16823992133140564, + "total_loss": -0.7203685800245366, + "lyap1_mean": -0.6664416193962097, + "lyap1_max": -0.6269980669021606, + "frac_above_star": 1.0 + }, + { + "step": 418, + "sup_loss": 0.7877856209574478, + "rf_loss": -0.16773580014705658, + "total_loss": -0.8895724103154404, + "lyap1_mean": -0.6682507991790771, + "lyap1_max": -0.5698337554931641, + "frac_above_star": 1.0 + }, + { + "step": 419, + "sup_loss": 0.9149359084296735, + "rf_loss": -0.16899892687797546, + "total_loss": -0.7750534199547259, + "lyap1_mean": -0.6912353038787842, + "lyap1_max": -0.6646122932434082, + "frac_above_star": 1.0 + }, + { + "step": 420, + "sup_loss": 0.947179116901622, + "rf_loss": -0.16783764958381653, + "total_loss": -0.7311973193318985, + "lyap1_mean": -0.6610279679298401, + "lyap1_max": -0.5829331874847412, + "frac_above_star": 1.0 + }, + { + "step": 421, + "sup_loss": 0.9102978657623437, + "rf_loss": -0.16830533742904663, + "total_loss": -0.7727555085281226, + "lyap1_mean": -0.6738272905349731, + "lyap1_max": -0.6347851753234863, + "frac_above_star": 0.875 + }, + { + "step": 422, + "sup_loss": 0.9439182683009397, + "rf_loss": -0.16807007789611816, + "total_loss": -0.7367825106602419, + "lyap1_mean": -0.6669541597366333, + "lyap1_max": -0.6074544787406921, + "frac_above_star": 1.0 + }, + { + "step": 423, + "sup_loss": 0.9326395439648629, + "rf_loss": -0.16742642223834991, + "total_loss": -0.7416246486163138, + "lyap1_mean": -0.6529464721679688, + "lyap1_max": -0.5787450075149536, + "frac_above_star": 1.0 + }, + { + "step": 424, + "sup_loss": 0.9316021515387157, + "rf_loss": -0.1686074286699295, + "total_loss": -0.7544721053582569, + "lyap1_mean": -0.6755475401878357, + "lyap1_max": -0.6468684673309326, + "frac_above_star": 1.0 + }, + { + "step": 425, + "sup_loss": 0.8013352551604359, + "rf_loss": -0.16796286404132843, + "total_loss": -0.878293355450526, + "lyap1_mean": -0.6639798283576965, + "lyap1_max": -0.6248053312301636, + "frac_above_star": 1.0 + }, + { + "step": 426, + "sup_loss": 0.7641412661532097, + "rf_loss": -0.16876712441444397, + "total_loss": -0.9235299183865853, + "lyap1_mean": -0.6876934766769409, + "lyap1_max": -0.6206501126289368, + "frac_above_star": 1.0 + }, + { + "step": 427, + "sup_loss": 0.8896617404657163, + "rf_loss": -0.16856427490711212, + "total_loss": -0.7959809788030825, + "lyap1_mean": -0.6741234064102173, + "lyap1_max": -0.6459528803825378, + "frac_above_star": 1.0 + }, + { + "step": 428, + "sup_loss": 0.8767523352176949, + "rf_loss": -0.16846686601638794, + "total_loss": -0.8079163249461845, + "lyap1_mean": -0.6780001521110535, + "lyap1_max": -0.6246150732040405, + "frac_above_star": 1.0 + }, + { + "step": 429, + "sup_loss": 1.1011807741390407, + "rf_loss": -0.16873614490032196, + "total_loss": -0.5861807046665013, + "lyap1_mean": -0.6804595589637756, + "lyap1_max": -0.6385448575019836, + "frac_above_star": 1.0 + }, + { + "step": 430, + "sup_loss": 0.93760682534031, + "rf_loss": -0.16769225895404816, + "total_loss": -0.7393157343978491, + "lyap1_mean": -0.6581631898880005, + "lyap1_max": -0.5819768905639648, + "frac_above_star": 1.0 + }, + { + "step": 431, + "sup_loss": 1.0317544204844056, + "rf_loss": -0.1684688776731491, + "total_loss": -0.6529343860494079, + "lyap1_mean": -0.6743930578231812, + "lyap1_max": -0.6249114274978638, + "frac_above_star": 1.0 + }, + { + "step": 432, + "sup_loss": 0.9474647393279935, + "rf_loss": -0.1684659719467163, + "total_loss": -0.7371949801391696, + "lyap1_mean": -0.6717338562011719, + "lyap1_max": -0.6500555276870728, + "frac_above_star": 1.0 + }, + { + "step": 433, + "sup_loss": 0.9059527599724031, + "rf_loss": -0.16877707839012146, + "total_loss": -0.7818180835334563, + "lyap1_mean": -0.6811442971229553, + "lyap1_max": -0.648021936416626, + "frac_above_star": 1.0 + }, + { + "step": 434, + "sup_loss": 0.82179997275856, + "rf_loss": -0.16854621469974518, + "total_loss": -0.8636621444365694, + "lyap1_mean": -0.6794224977493286, + "lyap1_max": -0.6372819542884827, + "frac_above_star": 1.0 + }, + { + "step": 435, + "sup_loss": 0.8754423539932352, + "rf_loss": -0.168470099568367, + "total_loss": -0.8092586118881124, + "lyap1_mean": -0.6747593283653259, + "lyap1_max": -0.621672511100769, + "frac_above_star": 1.0 + }, + { + "step": 436, + "sup_loss": 0.835070069049552, + "rf_loss": -0.16884905099868774, + "total_loss": -0.8534204409373254, + "lyap1_mean": -0.6845188140869141, + "lyap1_max": -0.6647319197654724, + "frac_above_star": 1.0 + }, + { + "step": 437, + "sup_loss": 0.8311104693559804, + "rf_loss": -0.1694517731666565, + "total_loss": -0.8634072623105845, + "lyap1_mean": -0.7080880403518677, + "lyap1_max": -0.677773118019104, + "frac_above_star": 1.0 + }, + { + "step": 438, + "sup_loss": 0.9998126851358937, + "rf_loss": -0.1677539050579071, + "total_loss": -0.6777264250478221, + "lyap1_mean": -0.6607961654663086, + "lyap1_max": -0.5937893390655518, + "frac_above_star": 1.0 + }, + { + "step": 439, + "sup_loss": 0.9751372422481608, + "rf_loss": -0.16863484680652618, + "total_loss": -0.7112111960147787, + "lyap1_mean": -0.6792774200439453, + "lyap1_max": -0.61921626329422, + "frac_above_star": 1.0 + }, + { + "step": 440, + "sup_loss": 0.993501171209451, + "rf_loss": -0.16807416081428528, + "total_loss": -0.687240377328757, + "lyap1_mean": -0.6687203645706177, + "lyap1_max": -0.6043709516525269, + "frac_above_star": 1.0 + }, + { + "step": 441, + "sup_loss": 0.9382838715720415, + "rf_loss": -0.16856050491333008, + "total_loss": -0.7473211775612593, + "lyap1_mean": -0.6767849326133728, + "lyap1_max": -0.6439996957778931, + "frac_above_star": 1.0 + }, + { + "step": 442, + "sup_loss": 0.9761910641686248, + "rf_loss": -0.16878695785999298, + "total_loss": -0.7116784846289826, + "lyap1_mean": -0.6808944940567017, + "lyap1_max": -0.6598904132843018, + "frac_above_star": 1.0 + }, + { + "step": 443, + "sup_loss": 0.9922265000382291, + "rf_loss": -0.16849681735038757, + "total_loss": -0.6927417330702914, + "lyap1_mean": -0.6742806434631348, + "lyap1_max": -0.6223534941673279, + "frac_above_star": 1.0 + }, + { + "step": 444, + "sup_loss": 0.989262531500308, + "rf_loss": -0.1670561134815216, + "total_loss": -0.6812985437102633, + "lyap1_mean": -0.6575416326522827, + "lyap1_max": -0.5475485920906067, + "frac_above_star": 1.0 + }, + { + "step": 445, + "sup_loss": 0.9486115644980764, + "rf_loss": -0.16867202520370483, + "total_loss": -0.738108687538972, + "lyap1_mean": -0.6787891387939453, + "lyap1_max": -0.6341565847396851, + "frac_above_star": 1.0 + }, + { + "step": 446, + "sup_loss": 0.9464257006262438, + "rf_loss": -0.16853831708431244, + "total_loss": -0.738957500019203, + "lyap1_mean": -0.6729275584220886, + "lyap1_max": -0.6508536338806152, + "frac_above_star": 1.0 + }, + { + "step": 447, + "sup_loss": 0.9349843309748695, + "rf_loss": -0.16826090216636658, + "total_loss": -0.747624750293441, + "lyap1_mean": -0.6737874150276184, + "lyap1_max": -0.6010218858718872, + "frac_above_star": 1.0 + }, + { + "step": 448, + "sup_loss": 1.002064317594135, + "rf_loss": -0.16886943578720093, + "total_loss": -0.6866300402778742, + "lyap1_mean": -0.6841943264007568, + "lyap1_max": -0.6583265662193298, + "frac_above_star": 1.0 + }, + { + "step": 449, + "sup_loss": 0.9855009579357943, + "rf_loss": -0.16888895630836487, + "total_loss": -0.7033885455432096, + "lyap1_mean": -0.6856245994567871, + "lyap1_max": -0.6439903974533081, + "frac_above_star": 1.0 + }, + { + "step": 450, + "sup_loss": 0.877312468709516, + "rf_loss": -0.16862279176712036, + "total_loss": -0.8089154489616877, + "lyap1_mean": -0.6813275218009949, + "lyap1_max": -0.6266863346099854, + "frac_above_star": 1.0 + }, + { + "step": 451, + "sup_loss": 0.9242016896267241, + "rf_loss": -0.16887162625789642, + "total_loss": -0.7645146027545625, + "lyap1_mean": -0.6847143173217773, + "lyap1_max": -0.6476714611053467, + "frac_above_star": 1.0 + }, + { + "step": 452, + "sup_loss": 0.8842087935027327, + "rf_loss": -0.16901971399784088, + "total_loss": -0.8059883166733537, + "lyap1_mean": -0.6930912733078003, + "lyap1_max": -0.6623731255531311, + "frac_above_star": 1.0 + }, + { + "step": 453, + "sup_loss": 0.8111839957720826, + "rf_loss": -0.1685090810060501, + "total_loss": -0.8739067844860962, + "lyap1_mean": -0.6836473941802979, + "lyap1_max": -0.6071840524673462, + "frac_above_star": 0.875 + }, + { + "step": 454, + "sup_loss": 0.8833693820923272, + "rf_loss": -0.16869845986366272, + "total_loss": -0.8036151569396552, + "lyap1_mean": -0.6847073435783386, + "lyap1_max": -0.6196746826171875, + "frac_above_star": 1.0 + }, + { + "step": 455, + "sup_loss": 0.9917177317343411, + "rf_loss": -0.16797804832458496, + "total_loss": -0.6880627515115085, + "lyap1_mean": -0.6697342991828918, + "lyap1_max": -0.5638278722763062, + "frac_above_star": 1.0 + }, + { + "step": 456, + "sup_loss": 0.948025838225625, + "rf_loss": -0.16830530762672424, + "total_loss": -0.7350271784369726, + "lyap1_mean": -0.6686011552810669, + "lyap1_max": -0.6337303519248962, + "frac_above_star": 1.0 + }, + { + "step": 457, + "sup_loss": 0.8798603443595231, + "rf_loss": -0.1685553342103958, + "total_loss": -0.8056929679421126, + "lyap1_mean": -0.6826348900794983, + "lyap1_max": -0.616677463054657, + "frac_above_star": 1.0 + }, + { + "step": 458, + "sup_loss": 0.8925180108834162, + "rf_loss": -0.16849271953105927, + "total_loss": -0.7924092142294988, + "lyap1_mean": -0.6756167411804199, + "lyap1_max": -0.6176062822341919, + "frac_above_star": 1.0 + }, + { + "step": 459, + "sup_loss": 0.8902373025943785, + "rf_loss": -0.16822819411754608, + "total_loss": -0.7920446683834047, + "lyap1_mean": -0.6697548627853394, + "lyap1_max": -0.6276545524597168, + "frac_above_star": 1.0 + }, + { + "step": 460, + "sup_loss": 0.8269329463968871, + "rf_loss": -0.16821834444999695, + "total_loss": -0.8552505577077272, + "lyap1_mean": -0.6722472310066223, + "lyap1_max": -0.5872589349746704, + "frac_above_star": 1.0 + }, + { + "step": 461, + "sup_loss": 0.8789750085076047, + "rf_loss": -0.16851502656936646, + "total_loss": -0.8061752571860599, + "lyap1_mean": -0.6786353588104248, + "lyap1_max": -0.6070312261581421, + "frac_above_star": 1.0 + }, + { + "step": 462, + "sup_loss": 0.9004987564380456, + "rf_loss": -0.16913478076457977, + "total_loss": -0.7908490810100746, + "lyap1_mean": -0.6938219666481018, + "lyap1_max": -0.6631478071212769, + "frac_above_star": 1.0 + }, + { + "step": 463, + "sup_loss": 0.9168755292650167, + "rf_loss": -0.16880521178245544, + "total_loss": -0.7711766481641825, + "lyap1_mean": -0.685850977897644, + "lyap1_max": -0.6214021444320679, + "frac_above_star": 1.0 + }, + { + "step": 464, + "sup_loss": 0.9130189488533825, + "rf_loss": -0.16833865642547607, + "total_loss": -0.7703676154013782, + "lyap1_mean": -0.6774635910987854, + "lyap1_max": -0.5886965990066528, + "frac_above_star": 1.0 + }, + { + "step": 465, + "sup_loss": 1.0921658096838003, + "rf_loss": -0.16873270273208618, + "total_loss": -0.5951612176370615, + "lyap1_mean": -0.6853333711624146, + "lyap1_max": -0.6406458020210266, + "frac_above_star": 0.875 + }, + { + "step": 466, + "sup_loss": 0.843757315389615, + "rf_loss": -0.16846051812171936, + "total_loss": -0.8408478062229339, + "lyap1_mean": -0.6781668066978455, + "lyap1_max": -0.6018369197845459, + "frac_above_star": 1.0 + }, + { + "step": 467, + "sup_loss": 0.8905189459275068, + "rf_loss": -0.16851279139518738, + "total_loss": -0.7946090276290118, + "lyap1_mean": -0.6788120865821838, + "lyap1_max": -0.6372884511947632, + "frac_above_star": 1.0 + }, + { + "step": 468, + "sup_loss": 0.9942453466826442, + "rf_loss": -0.16889379918575287, + "total_loss": -0.6946926749772069, + "lyap1_mean": -0.6842449903488159, + "lyap1_max": -0.6636632084846497, + "frac_above_star": 1.0 + }, + { + "step": 469, + "sup_loss": 0.9838650345629782, + "rf_loss": -0.16910098493099213, + "total_loss": -0.7071448445492654, + "lyap1_mean": -0.6932464838027954, + "lyap1_max": -0.6415815949440002, + "frac_above_star": 1.0 + }, + { + "step": 470, + "sup_loss": 0.8469126771929273, + "rf_loss": -0.1692303717136383, + "total_loss": -0.845390980338811, + "lyap1_mean": -0.7029497623443604, + "lyap1_max": -0.633957028388977, + "frac_above_star": 1.0 + }, + { + "step": 471, + "sup_loss": 1.0634004495512834, + "rf_loss": -0.16844330728054047, + "total_loss": -0.6210326530564436, + "lyap1_mean": -0.6752443909645081, + "lyap1_max": -0.6237616539001465, + "frac_above_star": 1.0 + }, + { + "step": 472, + "sup_loss": 0.988944220291492, + "rf_loss": -0.16876822710037231, + "total_loss": -0.6987380507122312, + "lyap1_mean": -0.6822233200073242, + "lyap1_max": -0.6335409879684448, + "frac_above_star": 1.0 + }, + { + "step": 473, + "sup_loss": 0.7461439455141002, + "rf_loss": -0.16843676567077637, + "total_loss": -0.9382237111936634, + "lyap1_mean": -0.6753503084182739, + "lyap1_max": -0.6138116121292114, + "frac_above_star": 1.0 + }, + { + "step": 474, + "sup_loss": 0.7010139848060016, + "rf_loss": -0.1674656867980957, + "total_loss": -0.9736428831749554, + "lyap1_mean": -0.6663357615470886, + "lyap1_max": -0.5803347826004028, + "frac_above_star": 1.0 + }, + { + "step": 475, + "sup_loss": 1.0721564414563671, + "rf_loss": -0.16846609115600586, + "total_loss": -0.6125044701036915, + "lyap1_mean": -0.6830141544342041, + "lyap1_max": -0.5768621563911438, + "frac_above_star": 1.0 + }, + { + "step": 476, + "sup_loss": 0.7677798944663875, + "rf_loss": -0.16933834552764893, + "total_loss": -0.9256035608101018, + "lyap1_mean": -0.7110280394554138, + "lyap1_max": -0.6394837498664856, + "frac_above_star": 0.875 + }, + { + "step": 477, + "sup_loss": 0.722564178623149, + "rf_loss": -0.1693604290485382, + "total_loss": -0.9710400522575883, + "lyap1_mean": -0.7030178904533386, + "lyap1_max": -0.6715260744094849, + "frac_above_star": 1.0 + }, + { + "step": 478, + "sup_loss": 0.8081075483121555, + "rf_loss": -0.16932359337806702, + "total_loss": -0.8851283258638699, + "lyap1_mean": -0.6998531222343445, + "lyap1_max": -0.6691455245018005, + "frac_above_star": 1.0 + }, + { + "step": 479, + "sup_loss": 0.7683738691446198, + "rf_loss": -0.1690964549779892, + "total_loss": -0.9225907104375946, + "lyap1_mean": -0.6935322880744934, + "lyap1_max": -0.6606523990631104, + "frac_above_star": 1.0 + }, + { + "step": 480, + "sup_loss": 0.8809013678196471, + "rf_loss": -0.16920754313468933, + "total_loss": -0.811174123131891, + "lyap1_mean": -0.7038429975509644, + "lyap1_max": -0.6267591118812561, + "frac_above_star": 1.0 + }, + { + "step": 481, + "sup_loss": 0.8127340248861711, + "rf_loss": -0.16911664605140686, + "total_loss": -0.8784323760232527, + "lyap1_mean": -0.7012746334075928, + "lyap1_max": -0.6487306356430054, + "frac_above_star": 0.875 + }, + { + "step": 482, + "sup_loss": 0.9959677785411711, + "rf_loss": -0.16927079856395721, + "total_loss": -0.6967402369007234, + "lyap1_mean": -0.6983695030212402, + "lyap1_max": -0.6754603385925293, + "frac_above_star": 1.0 + }, + { + "step": 483, + "sup_loss": 0.9164066191325974, + "rf_loss": -0.1680532693862915, + "total_loss": -0.7641260747303177, + "lyap1_mean": -0.6719903945922852, + "lyap1_max": -0.5729116201400757, + "frac_above_star": 1.0 + }, + { + "step": 484, + "sup_loss": 0.7333513863397576, + "rf_loss": -0.1694488376379013, + "total_loss": -0.9611370198415778, + "lyap1_mean": -0.7079660296440125, + "lyap1_max": -0.6731259822845459, + "frac_above_star": 1.0 + }, + { + "step": 485, + "sup_loss": 0.8539152777254431, + "rf_loss": -0.16864898800849915, + "total_loss": -0.8325745427549036, + "lyap1_mean": -0.6876507997512817, + "lyap1_max": -0.6079229116439819, + "frac_above_star": 1.0 + }, + { + "step": 486, + "sup_loss": 0.9348121525719877, + "rf_loss": -0.16872268915176392, + "total_loss": -0.7524147389456515, + "lyap1_mean": -0.6824624538421631, + "lyap1_max": -0.6482920050621033, + "frac_above_star": 1.0 + }, + { + "step": 487, + "sup_loss": 0.8376517541731958, + "rf_loss": -0.16843560338020325, + "total_loss": -0.8467042200241919, + "lyap1_mean": -0.6742093563079834, + "lyap1_max": -0.612006664276123, + "frac_above_star": 1.0 + }, + { + "step": 488, + "sup_loss": 0.8564711763680473, + "rf_loss": -0.1688905507326126, + "total_loss": -0.8324343011557565, + "lyap1_mean": -0.6905595660209656, + "lyap1_max": -0.6409043073654175, + "frac_above_star": 1.0 + }, + { + "step": 489, + "sup_loss": 0.856106584378269, + "rf_loss": -0.16900140047073364, + "total_loss": -0.8339074203290674, + "lyap1_mean": -0.6968519687652588, + "lyap1_max": -0.6447190046310425, + "frac_above_star": 0.875 + }, + { + "step": 490, + "sup_loss": 0.8928675719272995, + "rf_loss": -0.16834497451782227, + "total_loss": -0.7905821732509232, + "lyap1_mean": -0.6760544180870056, + "lyap1_max": -0.6130397915840149, + "frac_above_star": 1.0 + }, + { + "step": 491, + "sup_loss": 0.7445940797272357, + "rf_loss": -0.16930247843265533, + "total_loss": -0.9484306747969953, + "lyap1_mean": -0.7109217643737793, + "lyap1_max": -0.6421151757240295, + "frac_above_star": 0.875 + }, + { + "step": 492, + "sup_loss": 0.8877110810570835, + "rf_loss": -0.169108048081398, + "total_loss": -0.8033693699545742, + "lyap1_mean": -0.6987259984016418, + "lyap1_max": -0.6372939944267273, + "frac_above_star": 0.875 + }, + { + "step": 493, + "sup_loss": 0.7040034300700725, + "rf_loss": -0.16901539266109467, + "total_loss": -0.9861505263431966, + "lyap1_mean": -0.6947414875030518, + "lyap1_max": -0.6656844019889832, + "frac_above_star": 0.875 + }, + { + "step": 494, + "sup_loss": 0.9132276314441626, + "rf_loss": -0.16912084817886353, + "total_loss": -0.7779808503444726, + "lyap1_mean": -0.694495677947998, + "lyap1_max": -0.6535894870758057, + "frac_above_star": 1.0 + }, + { + "step": 495, + "sup_loss": 0.9445295750689924, + "rf_loss": -0.168694406747818, + "total_loss": -0.7424144328045428, + "lyap1_mean": -0.6862115859985352, + "lyap1_max": -0.6044263243675232, + "frac_above_star": 1.0 + }, + { + "step": 496, + "sup_loss": 0.9432959972601017, + "rf_loss": -0.16878485679626465, + "total_loss": -0.7445525707025448, + "lyap1_mean": -0.6829301118850708, + "lyap1_max": -0.6449195146560669, + "frac_above_star": 1.0 + }, + { + "step": 497, + "sup_loss": 0.9134507536976137, + "rf_loss": -0.16911333799362183, + "total_loss": -0.7776826262386045, + "lyap1_mean": -0.6937462091445923, + "lyap1_max": -0.6554074287414551, + "frac_above_star": 1.0 + }, + { + "step": 498, + "sup_loss": 0.8820350744572083, + "rf_loss": -0.16859474778175354, + "total_loss": -0.8039123437556823, + "lyap1_mean": -0.6800705790519714, + "lyap1_max": -0.6403844356536865, + "frac_above_star": 1.0 + }, + { + "step": 499, + "sup_loss": 0.7740984289106067, + "rf_loss": -0.16804639995098114, + "total_loss": -0.9063656004015271, + "lyap1_mean": -0.6665403842926025, + "lyap1_max": -0.6207467913627625, + "frac_above_star": 1.0 + } + ], + "evals": [ + { + "step": 0, + "acc": 0.517578125, + "tok_acc": 0.8276668595679012 + }, + { + "step": 100, + "acc": 0.4140625, + "tok_acc": 0.7932339891975309 + }, + { + "step": 200, + "acc": 0.359375, + "tok_acc": 0.7797550154320988 + }, + { + "step": 300, + "acc": 0.255859375, + "tok_acc": 0.7473958333333334 + }, + { + "step": 400, + "acc": 0.24609375, + "tok_acc": 0.7409577546296297 + }, + { + "step": 500, + "acc": 0.255859375, + "tok_acc": 0.7459490740740741 + }, + { + "step": 500, + "acc": 0.255859375, + "tok_acc": 0.7459490740740741 + } + ], + "final_acc": 0.255859375, + "final_tok_acc": 0.7459490740740741 +}
\ No newline at end of file |
