File size: 7,054 Bytes
e9b7ac1 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | {"step": 562500, "took_s": 97.9, "real_nerl": 0.3377, "synth_nerl": 0.1169, "all_nerl": 0.3098, "real_merge": 0.0729, "real_pairs": 96, "blind_merge": 0.0814, "blind_pairs": 86, "synth_merge": 0.0659, "synth_pairs": 91, "all_merge": 0.0695, "instances": 159, "frac_1step": 0.1447, "mean_steps": 403.53, "core_frac_1step": 0.3846, "core_score": 0.00459, "core_cov": 0.1982, "core_inst": 13, "core_valid_frac": 0.846, "time_unix": 1785447041}
{"step": 575000, "took_s": 115.9, "real_nerl": 0.4187, "synth_nerl": 0.0904, "all_nerl": 0.3772, "real_merge": 0.125, "real_pairs": 96, "blind_merge": 0.1395, "blind_pairs": 86, "synth_merge": 0.0769, "synth_pairs": 91, "all_merge": 0.1016, "instances": 123, "frac_1step": 0.0244, "mean_steps": 620.82, "core_frac_1step": 0.1538, "core_score": 0.04247, "core_cov": 0.371, "core_inst": 13, "core_valid_frac": 0.769, "time_unix": 1785450427}
{"step": 587500, "took_s": 106.5, "real_nerl": 0.4005, "synth_nerl": 0.0964, "all_nerl": 0.3621, "real_merge": 0.1146, "real_pairs": 96, "blind_merge": 0.1279, "blind_pairs": 86, "synth_merge": 0.0769, "synth_pairs": 91, "all_merge": 0.0963, "instances": 129, "frac_1step": 0.062, "mean_steps": 552.47, "core_frac_1step": 0.3077, "core_score": 0.0396, "core_cov": 0.3166, "core_inst": 13, "core_valid_frac": 0.769, "time_unix": 1785453804}
{"step": 600000, "took_s": 104.0, "real_nerl": 0.3772, "synth_nerl": 0.1059, "all_nerl": 0.3429, "real_merge": 0.0833, "real_pairs": 96, "blind_merge": 0.093, "blind_pairs": 86, "synth_merge": 0.1099, "synth_pairs": 91, "all_merge": 0.0963, "instances": 147, "frac_1step": 0.1224, "mean_steps": 463.86, "core_frac_1step": 0.3125, "core_score": 0.00428, "core_cov": 0.2498, "core_inst": 16, "core_valid_frac": 0.75, "time_unix": 1785457182}
{"step": 612500, "took_s": 135.7, "real_nerl": 0.3822, "synth_nerl": 0.0786, "all_nerl": 0.2966, "real_merge": 0.0938, "real_pairs": 96, "blind_merge": 0.1047, "blind_pairs": 86, "synth_merge": 0.0833, "synth_pairs": 288, "all_merge": 0.0859, "instances": 181, "frac_1step": 0.0442, "mean_steps": 493.6, "core_frac_1step": 0.1667, "core_score": 0.01793, "core_cov": 0.2553, "core_inst": 12, "core_valid_frac": 0.75, "time_unix": 1785460596}
{"step": 625000, "took_s": 141.3, "real_nerl": 0.3965, "synth_nerl": 0.0962, "all_nerl": 0.3119, "real_merge": 0.0833, "real_pairs": 96, "blind_merge": 0.093, "blind_pairs": 86, "synth_merge": 0.1076, "synth_pairs": 288, "all_merge": 0.1016, "instances": 182, "frac_1step": 0.0714, "mean_steps": 504.04, "core_frac_1step": 0.0769, "core_score": 0.03625, "core_cov": 0.3432, "core_inst": 13, "core_valid_frac": 0.769, "time_unix": 1785464011}
{"step": 637500, "took_s": 127.9, "real_nerl": 0.3613, "synth_nerl": 0.0712, "all_nerl": 0.2795, "real_merge": 0.0521, "real_pairs": 96, "blind_merge": 0.0581, "blind_pairs": 86, "synth_merge": 0.1042, "synth_pairs": 288, "all_merge": 0.0911, "instances": 183, "frac_1step": 0.071, "mean_steps": 442.58, "core_frac_1step": 0.3333, "core_score": 0.01783, "core_cov": 0.259, "core_inst": 15, "core_valid_frac": 0.867, "time_unix": 1785467416}
{"step": 650000, "took_s": 139.9, "real_nerl": 0.387, "synth_nerl": 0.0795, "all_nerl": 0.3003, "real_merge": 0.0833, "real_pairs": 96, "blind_merge": 0.093, "blind_pairs": 86, "synth_merge": 0.125, "synth_pairs": 288, "all_merge": 0.1146, "instances": 183, "frac_1step": 0.0492, "mean_steps": 487.85, "core_frac_1step": 0.2857, "core_score": 0.02219, "core_cov": 0.286, "core_inst": 14, "core_valid_frac": 0.857, "time_unix": 1785470837}
{"step": 662500, "took_s": 133.1, "real_nerl": 0.4057, "synth_nerl": 0.1141, "all_nerl": 0.3235, "real_merge": 0.0938, "real_pairs": 96, "blind_merge": 0.1047, "blind_pairs": 86, "synth_merge": 0.0938, "synth_pairs": 288, "all_merge": 0.0938, "instances": 182, "frac_1step": 0.0604, "mean_steps": 492.23, "core_frac_1step": 0.2857, "core_score": 0.0198, "core_cov": 0.2782, "core_inst": 14, "core_valid_frac": 0.857, "time_unix": 1785474248}
{"step": 675000, "took_s": 136.7, "real_nerl": 0.3976, "synth_nerl": 0.0831, "all_nerl": 0.3089, "real_merge": 0.1042, "real_pairs": 96, "blind_merge": 0.1163, "blind_pairs": 86, "synth_merge": 0.1146, "synth_pairs": 288, "all_merge": 0.112, "instances": 171, "frac_1step": 0.0409, "mean_steps": 529.36, "core_frac_1step": 0.3077, "core_score": 0.0258, "core_cov": 0.289, "core_inst": 13, "core_valid_frac": 0.769, "time_unix": 1785477667}
{"step": 687500, "took_s": 114.4, "real_nerl": 0.349, "synth_nerl": 0.0872, "all_nerl": 0.2752, "real_merge": 0.0833, "real_pairs": 96, "blind_merge": 0.093, "blind_pairs": 86, "synth_merge": 0.0972, "synth_pairs": 288, "all_merge": 0.0938, "instances": 195, "frac_1step": 0.1179, "mean_steps": 392.23, "core_frac_1step": 0.4286, "core_score": 0.00492, "core_cov": 0.1883, "core_inst": 14, "core_valid_frac": 0.857, "time_unix": 1785481064}
{"step": 700000, "took_s": 115.3, "real_nerl": 0.4017, "synth_nerl": 0.1009, "all_nerl": 0.3169, "real_merge": 0.0521, "real_pairs": 96, "blind_merge": 0.0581, "blind_pairs": 86, "synth_merge": 0.0556, "synth_pairs": 288, "all_merge": 0.0547, "instances": 203, "frac_1step": 0.1429, "mean_steps": 372.02, "core_frac_1step": 0.3077, "core_score": 0.01609, "core_cov": 0.209, "core_inst": 13, "core_valid_frac": 0.923, "time_unix": 1785484459}
{"step": 712500, "took_s": 125.3, "real_nerl": 0.4242, "synth_nerl": 0.0993, "all_nerl": 0.3326, "real_merge": 0.0938, "real_pairs": 96, "blind_merge": 0.1047, "blind_pairs": 86, "synth_merge": 0.1215, "synth_pairs": 288, "all_merge": 0.1146, "instances": 180, "frac_1step": 0.0833, "mean_steps": 476.53, "core_frac_1step": 0.2857, "core_score": 0.03253, "core_cov": 0.3217, "core_inst": 14, "core_valid_frac": 0.786, "time_unix": 1785487866}
{"step": 725000, "took_s": 132.6, "real_nerl": 0.3928, "synth_nerl": 0.092, "all_nerl": 0.3081, "real_merge": 0.0521, "real_pairs": 96, "blind_merge": 0.0581, "blind_pairs": 86, "synth_merge": 0.0938, "synth_pairs": 288, "all_merge": 0.0833, "instances": 190, "frac_1step": 0.0895, "mean_steps": 466.79, "core_frac_1step": 0.3571, "core_score": 0.02025, "core_cov": 0.2724, "core_inst": 14, "core_valid_frac": 0.857, "time_unix": 1785491279}
{"step": 737500, "took_s": 141.4, "real_nerl": 0.4152, "synth_nerl": 0.0775, "all_nerl": 0.32, "real_merge": 0.1354, "real_pairs": 96, "blind_merge": 0.1512, "blind_pairs": 86, "synth_merge": 0.1215, "synth_pairs": 288, "all_merge": 0.125, "instances": 169, "frac_1step": 0.0118, "mean_steps": 564.7, "core_frac_1step": 0.3077, "core_score": 0.0366, "core_cov": 0.3353, "core_inst": 13, "core_valid_frac": 0.846, "time_unix": 1785494701}
{"step": 750000, "took_s": 122.1, "real_nerl": 0.3968, "synth_nerl": 0.0995, "all_nerl": 0.313, "real_merge": 0.0938, "real_pairs": 96, "blind_merge": 0.1047, "blind_pairs": 86, "synth_merge": 0.0764, "synth_pairs": 288, "all_merge": 0.0807, "instances": 192, "frac_1step": 0.1094, "mean_steps": 428.54, "core_frac_1step": 0.3571, "core_score": 0.01169, "core_cov": 0.2393, "core_inst": 14, "core_valid_frac": 0.786, "time_unix": 1785498104}
|