| {"step": 10000, "took_s": 119.3, "real_nerl": 0.0, "synth_nerl": 0.0002, "all_nerl": 0.0, "real_merge": 1.0, "real_pairs": 18, "blind_merge": 1.0, "blind_pairs": 10, "synth_merge": 0.8727, "synth_pairs": 165, "all_merge": 0.8852, "instances": 39, "frac_1step": 0.1538, "mean_steps": 1672.95, "core_frac_1step": 0.0, "core_score": 0.91859, "core_cov": 1.399, "core_inst": 14, "core_valid_frac": 0.429, "time_unix": 1785178809} |
| {"step": 20000, "took_s": 126.0, "real_nerl": 0.0, "synth_nerl": 0.0003, "all_nerl": 0.0001, "real_merge": 1.0, "real_pairs": 18, "blind_merge": 1.0, "blind_pairs": 10, "synth_merge": 0.8242, "synth_pairs": 165, "all_merge": 0.8415, "instances": 44, "frac_1step": 0.0909, "mean_steps": 1665.84, "core_frac_1step": 0.1111, "core_score": 0.40525, "core_cov": 0.9049, "core_inst": 9, "core_valid_frac": 0.444, "time_unix": 1785179314} |
| {"step": 30000, "took_s": 40.8, "real_nerl": 0.0126, "synth_nerl": 0.0192, "all_nerl": 0.0146, "real_merge": 0.7222, "real_pairs": 18, "blind_merge": 0.9, "blind_pairs": 10, "synth_merge": 0.0303, "synth_pairs": 165, "all_merge": 0.0984, "instances": 36, "frac_1step": 0.0556, "mean_steps": 406.36, "core_frac_1step": 0.0, "core_score": 0.21875, "core_cov": 0.4655, "core_inst": 9, "core_valid_frac": 0.222, "time_unix": 1785179906} |
| {"step": 40000, "took_s": 35.9, "real_nerl": 0.0144, "synth_nerl": 0.0206, "all_nerl": 0.0163, "real_merge": 0.3889, "real_pairs": 18, "blind_merge": 0.6, "blind_pairs": 10, "synth_merge": 0.0606, "synth_pairs": 165, "all_merge": 0.0929, "instances": 44, "frac_1step": 0.1136, "mean_steps": 303.27, "core_frac_1step": 0.0, "core_score": 0.19514, "core_cov": 0.422, "core_inst": 9, "core_valid_frac": 0.333, "time_unix": 1785180841} |
| {"step": 50000, "took_s": 44.2, "real_nerl": 0.0144, "synth_nerl": 0.0005, "all_nerl": 0.0102, "real_merge": 0.5556, "real_pairs": 18, "blind_merge": 0.9, "blind_pairs": 10, "synth_merge": 0.2303, "synth_pairs": 165, "all_merge": 0.2623, "instances": 29, "frac_1step": 0.0, "mean_steps": 756.24, "core_frac_1step": 0.0, "core_score": 0.24313, "core_cov": 0.4949, "core_inst": 7, "core_valid_frac": 0.429, "time_unix": 1785182256} |
| {"step": 60000, "took_s": 39.5, "real_nerl": 0.2257, "synth_nerl": 0.021, "all_nerl": 0.1645, "real_merge": 0.3889, "real_pairs": 18, "blind_merge": 0.6, "blind_pairs": 10, "synth_merge": 0.1333, "synth_pairs": 165, "all_merge": 0.1585, "instances": 36, "frac_1step": 0.0, "mean_steps": 537.42, "core_frac_1step": 0.0, "core_score": 0.25216, "core_cov": 0.4614, "core_inst": 9, "core_valid_frac": 0.333, "time_unix": 1785183939} |
| {"step": 70000, "took_s": 42.4, "real_nerl": 0.0502, "synth_nerl": 0.0302, "all_nerl": 0.0442, "real_merge": 0.5, "real_pairs": 18, "blind_merge": 0.8, "blind_pairs": 10, "synth_merge": 0.103, "synth_pairs": 165, "all_merge": 0.1421, "instances": 39, "frac_1step": 0.1282, "mean_steps": 443.44, "core_frac_1step": 0.0, "core_score": 0.27011, "core_cov": 0.4908, "core_inst": 9, "core_valid_frac": 0.222, "time_unix": 1785185966} |
| {"step": 80000, "took_s": 48.1, "real_nerl": 0.2425, "synth_nerl": 0.0054, "all_nerl": 0.1716, "real_merge": 0.2778, "real_pairs": 18, "blind_merge": 0.4, "blind_pairs": 10, "synth_merge": 0.1818, "synth_pairs": 165, "all_merge": 0.1913, "instances": 33, "frac_1step": 0.0, "mean_steps": 718.7, "core_frac_1step": 0.0, "core_score": 0.17377, "core_cov": 0.4701, "core_inst": 9, "core_valid_frac": 0.444, "time_unix": 1785188348} |
| {"step": 90000, "took_s": 46.8, "real_nerl": 0.206, "synth_nerl": 0.0212, "all_nerl": 0.1508, "real_merge": 0.4444, "real_pairs": 18, "blind_merge": 0.7, "blind_pairs": 10, "synth_merge": 0.1576, "synth_pairs": 165, "all_merge": 0.1858, "instances": 30, "frac_1step": 0.0, "mean_steps": 788.8, "core_frac_1step": 0.0, "core_score": 0.29777, "core_cov": 0.5376, "core_inst": 8, "core_valid_frac": 0.25, "time_unix": 1785190903} |
| {"step": 100000, "took_s": 34.0, "real_nerl": 0.1901, "synth_nerl": 0.0299, "all_nerl": 0.1422, "real_merge": 0.1667, "real_pairs": 18, "blind_merge": 0.3, "blind_pairs": 10, "synth_merge": 0.1697, "synth_pairs": 165, "all_merge": 0.1694, "instances": 34, "frac_1step": 0.0882, "mean_steps": 502.38, "core_frac_1step": 0.0, "core_score": 0.14114, "core_cov": 0.3827, "core_inst": 8, "core_valid_frac": 0.5, "time_unix": 1785193450} |
| {"step": 110000, "took_s": 34.8, "real_nerl": 0.2243, "synth_nerl": 0.0335, "all_nerl": 0.1673, "real_merge": 0.2778, "real_pairs": 18, "blind_merge": 0.4, "blind_pairs": 10, "synth_merge": 0.1697, "synth_pairs": 165, "all_merge": 0.1803, "instances": 30, "frac_1step": 0.0, "mean_steps": 609.67, "core_frac_1step": 0.0, "core_score": 0.24507, "core_cov": 0.453, "core_inst": 7, "core_valid_frac": 0.714, "time_unix": 1785195998} |
| {"step": 120000, "took_s": 41.5, "real_nerl": 0.2444, "synth_nerl": 0.0052, "all_nerl": 0.1729, "real_merge": 0.3333, "real_pairs": 18, "blind_merge": 0.5, "blind_pairs": 10, "synth_merge": 0.2, "synth_pairs": 165, "all_merge": 0.2131, "instances": 30, "frac_1step": 0.0333, "mean_steps": 622.87, "core_frac_1step": 0.0, "core_score": 0.22522, "core_cov": 0.4967, "core_inst": 10, "core_valid_frac": 0.2, "time_unix": 1785198551} |
| {"step": 130000, "took_s": 42.5, "real_nerl": 0.2648, "synth_nerl": 0.0296, "all_nerl": 0.1944, "real_merge": 0.0556, "real_pairs": 18, "blind_merge": 0.1, "blind_pairs": 10, "synth_merge": 0.1091, "synth_pairs": 165, "all_merge": 0.1038, "instances": 41, "frac_1step": 0.0732, "mean_steps": 466.34, "core_frac_1step": 0.0, "core_score": 0.17404, "core_cov": 0.4736, "core_inst": 10, "core_valid_frac": 0.6, "time_unix": 1785201697} |
| {"step": 140000, "took_s": 79.4, "real_nerl": 0.2323, "synth_nerl": 0.0043, "all_nerl": 0.1641, "real_merge": 0.3333, "real_pairs": 18, "blind_merge": 0.5, "blind_pairs": 10, "synth_merge": 0.1939, "synth_pairs": 165, "all_merge": 0.2077, "instances": 35, "frac_1step": 0.0286, "mean_steps": 543.09, "core_frac_1step": 0.0, "core_score": 0.28723, "core_cov": 0.5153, "core_inst": 8, "core_valid_frac": 0.75, "time_unix": 1785204763} |
| {"step": 150000, "took_s": 36.8, "real_nerl": 0.3076, "synth_nerl": 0.0265, "all_nerl": 0.2235, "real_merge": 0.0556, "real_pairs": 18, "blind_merge": 0.1, "blind_pairs": 10, "synth_merge": 0.1758, "synth_pairs": 165, "all_merge": 0.1639, "instances": 42, "frac_1step": 0.1429, "mean_steps": 434.86, "core_frac_1step": 0.0, "core_score": 0.19218, "core_cov": 0.4202, "core_inst": 8, "core_valid_frac": 0.75, "time_unix": 1785213345} |
| {"step": 160000, "took_s": 48.3, "real_nerl": 0.2758, "synth_nerl": 0.0269, "all_nerl": 0.2013, "real_merge": 0.2222, "real_pairs": 18, "blind_merge": 0.4, "blind_pairs": 10, "synth_merge": 0.2242, "synth_pairs": 165, "all_merge": 0.224, "instances": 32, "frac_1step": 0.0, "mean_steps": 740.53, "core_frac_1step": 0.0, "core_score": 0.3098, "core_cov": 0.5192, "core_inst": 7, "core_valid_frac": 0.857, "time_unix": 1785215912} |
| {"step": 170000, "took_s": 44.5, "real_nerl": 0.3384, "synth_nerl": 0.0048, "all_nerl": 0.2386, "real_merge": 0.1111, "real_pairs": 18, "blind_merge": 0.2, "blind_pairs": 10, "synth_merge": 0.1818, "synth_pairs": 165, "all_merge": 0.1749, "instances": 33, "frac_1step": 0.0303, "mean_steps": 610.27, "core_frac_1step": 0.0, "core_score": 0.18561, "core_cov": 0.4196, "core_inst": 9, "core_valid_frac": 0.556, "time_unix": 1785218475} |
| {"step": 180000, "took_s": 37.2, "real_nerl": 0.3705, "synth_nerl": 0.0283, "all_nerl": 0.2682, "real_merge": 0.1111, "real_pairs": 18, "blind_merge": 0.2, "blind_pairs": 10, "synth_merge": 0.1455, "synth_pairs": 165, "all_merge": 0.1421, "instances": 38, "frac_1step": 0.0789, "mean_steps": 475.89, "core_frac_1step": 0.0, "core_score": 0.21749, "core_cov": 0.4484, "core_inst": 8, "core_valid_frac": 0.875, "time_unix": 1785221032} |
| {"step": 190000, "took_s": 38.5, "real_nerl": 0.3062, "synth_nerl": 0.0048, "all_nerl": 0.2161, "real_merge": 0.0556, "real_pairs": 18, "blind_merge": 0.1, "blind_pairs": 10, "synth_merge": 0.1212, "synth_pairs": 165, "all_merge": 0.1148, "instances": 42, "frac_1step": 0.119, "mean_steps": 433.86, "core_frac_1step": 0.0, "core_score": 0.26291, "core_cov": 0.4948, "core_inst": 8, "core_valid_frac": 0.875, "time_unix": 1785223591} |
| {"step": 200000, "took_s": 42.1, "real_nerl": 0.4079, "synth_nerl": 0.0, "all_nerl": 0.2859, "real_merge": 0.1111, "real_pairs": 18, "blind_merge": 0.2, "blind_pairs": 10, "synth_merge": 0.2061, "synth_pairs": 165, "all_merge": 0.1967, "instances": 31, "frac_1step": 0.0, "mean_steps": 715.0, "core_frac_1step": 0.0, "core_score": 0.21739, "core_cov": 0.4511, "core_inst": 7, "core_valid_frac": 0.857, "time_unix": 1785226156} |
| {"step": 210000, "took_s": 49.1, "real_nerl": 0.379, "synth_nerl": 0.0397, "all_nerl": 0.2775, "real_merge": 0.1111, "real_pairs": 18, "blind_merge": 0.2, "blind_pairs": 10, "synth_merge": 0.2121, "synth_pairs": 165, "all_merge": 0.2022, "instances": 34, "frac_1step": 0.0, "mean_steps": 630.74, "core_frac_1step": 0.0, "core_score": 0.20774, "core_cov": 0.5077, "core_inst": 10, "core_valid_frac": 0.7, "time_unix": 1785228731} |
| {"step": 220000, "took_s": 40.3, "real_nerl": 0.3557, "synth_nerl": 0.0011, "all_nerl": 0.2497, "real_merge": 0.0556, "real_pairs": 18, "blind_merge": 0.1, "blind_pairs": 10, "synth_merge": 0.1212, "synth_pairs": 165, "all_merge": 0.1148, "instances": 41, "frac_1step": 0.0, "mean_steps": 482.24, "core_frac_1step": 0.0, "core_score": 0.21028, "core_cov": 0.4421, "core_inst": 9, "core_valid_frac": 0.444, "time_unix": 1785231296} |
| {"step": 230000, "took_s": 47.9, "real_nerl": 0.3749, "synth_nerl": 0.0002, "all_nerl": 0.2629, "real_merge": 0.1111, "real_pairs": 18, "blind_merge": 0.2, "blind_pairs": 10, "synth_merge": 0.1455, "synth_pairs": 165, "all_merge": 0.1421, "instances": 38, "frac_1step": 0.0263, "mean_steps": 564.82, "core_frac_1step": 0.0, "core_score": 0.19866, "core_cov": 0.454, "core_inst": 10, "core_valid_frac": 0.4, "time_unix": 1785233869} |
| {"step": 240000, "took_s": 45.5, "real_nerl": 0.4461, "synth_nerl": 0.0, "all_nerl": 0.3127, "real_merge": 0.1667, "real_pairs": 18, "blind_merge": 0.3, "blind_pairs": 10, "synth_merge": 0.1576, "synth_pairs": 165, "all_merge": 0.1585, "instances": 31, "frac_1step": 0.0, "mean_steps": 704.61, "core_frac_1step": 0.0, "core_score": 0.3039, "core_cov": 0.5149, "core_inst": 8, "core_valid_frac": 0.5, "time_unix": 1785236441} |
| {"step": 250000, "took_s": 44.7, "real_nerl": 0.3778, "synth_nerl": 0.0003, "all_nerl": 0.265, "real_merge": 0.1111, "real_pairs": 18, "blind_merge": 0.2, "blind_pairs": 10, "synth_merge": 0.1758, "synth_pairs": 165, "all_merge": 0.1694, "instances": 36, "frac_1step": 0.0, "mean_steps": 574.86, "core_frac_1step": 0.0, "core_score": 0.19452, "core_cov": 0.4645, "core_inst": 9, "core_valid_frac": 0.444, "time_unix": 1785239034} |
| {"step": 260000, "took_s": 38.9, "real_nerl": 0.2981, "synth_nerl": 0.0009, "all_nerl": 0.2093, "real_merge": 0.0, "real_pairs": 18, "blind_merge": 0.0, "blind_pairs": 10, "synth_merge": 0.1515, "synth_pairs": 165, "all_merge": 0.1366, "instances": 45, "frac_1step": 0.0889, "mean_steps": 439.07, "core_frac_1step": 0.0, "core_score": 0.17167, "core_cov": 0.4485, "core_inst": 9, "core_valid_frac": 0.444, "time_unix": 1785241600} |
| {"step": 270000, "took_s": 40.2, "real_nerl": 0.3228, "synth_nerl": 0.0232, "all_nerl": 0.2332, "real_merge": 0.0, "real_pairs": 18, "blind_merge": 0.0, "blind_pairs": 10, "synth_merge": 0.1273, "synth_pairs": 165, "all_merge": 0.1148, "instances": 41, "frac_1step": 0.0244, "mean_steps": 506.22, "core_frac_1step": 0.0, "core_score": 0.18027, "core_cov": 0.4566, "core_inst": 9, "core_valid_frac": 0.556, "time_unix": 1785244176} |
| {"step": 280000, "took_s": 39.8, "real_nerl": 0.3054, "synth_nerl": 0.0232, "all_nerl": 0.221, "real_merge": 0.0, "real_pairs": 18, "blind_merge": 0.0, "blind_pairs": 10, "synth_merge": 0.1212, "synth_pairs": 165, "all_merge": 0.1093, "instances": 42, "frac_1step": 0.0714, "mean_steps": 447.52, "core_frac_1step": 0.0, "core_score": 0.11689, "core_cov": 0.475, "core_inst": 9, "core_valid_frac": 0.778, "time_unix": 1785246750} |
| {"step": 290000, "took_s": 40.3, "real_nerl": 0.3386, "synth_nerl": 0.0002, "all_nerl": 0.2374, "real_merge": 0.0556, "real_pairs": 18, "blind_merge": 0.1, "blind_pairs": 10, "synth_merge": 0.2, "synth_pairs": 165, "all_merge": 0.1858, "instances": 40, "frac_1step": 0.025, "mean_steps": 533.08, "core_frac_1step": 0.0, "core_score": 0.19119, "core_cov": 0.4563, "core_inst": 8, "core_valid_frac": 0.75, "time_unix": 1785249322} |
| {"step": 310000, "took_s": 37.0, "real_nerl": 0.1996, "synth_nerl": 0.0261, "all_nerl": 0.1477, "real_merge": 0.0, "real_pairs": 18, "blind_merge": 0.0, "blind_pairs": 10, "synth_merge": 0.0848, "synth_pairs": 165, "all_merge": 0.0765, "instances": 57, "frac_1step": 0.3333, "mean_steps": 290.49, "core_frac_1step": 0.1429, "core_score": 0.07242, "core_cov": 0.4214, "core_inst": 14, "core_valid_frac": 0.571, "time_unix": 1785255070} |
| {"step": 320000, "took_s": 46.7, "real_nerl": 0.3877, "synth_nerl": 0.0, "all_nerl": 0.2718, "real_merge": 0.1111, "real_pairs": 18, "blind_merge": 0.2, "blind_pairs": 10, "synth_merge": 0.2242, "synth_pairs": 165, "all_merge": 0.2131, "instances": 34, "frac_1step": 0.0294, "mean_steps": 650.12, "core_frac_1step": 0.0, "core_score": 0.22493, "core_cov": 0.5211, "core_inst": 9, "core_valid_frac": 0.667, "time_unix": 1785257645} |
| {"step": 330000, "took_s": 43.7, "real_nerl": 0.3558, "synth_nerl": 0.0, "all_nerl": 0.2494, "real_merge": 0.0, "real_pairs": 18, "blind_merge": 0.0, "blind_pairs": 10, "synth_merge": 0.1455, "synth_pairs": 165, "all_merge": 0.1311, "instances": 37, "frac_1step": 0.027, "mean_steps": 583.43, "core_frac_1step": 0.0, "core_score": 0.19914, "core_cov": 0.4676, "core_inst": 9, "core_valid_frac": 0.778, "time_unix": 1785260488} |
| {"step": 340000, "took_s": 40.0, "real_nerl": 0.3209, "synth_nerl": 0.0002, "all_nerl": 0.225, "real_merge": 0.0, "real_pairs": 18, "blind_merge": 0.0, "blind_pairs": 10, "synth_merge": 0.1455, "synth_pairs": 165, "all_merge": 0.1311, "instances": 44, "frac_1step": 0.0682, "mean_steps": 440.16, "core_frac_1step": 0.0, "core_score": 0.20191, "core_cov": 0.4871, "core_inst": 9, "core_valid_frac": 0.889, "time_unix": 1785263502} |
| {"step": 350000, "took_s": 46.4, "real_nerl": 0.3532, "synth_nerl": 0.001, "all_nerl": 0.2479, "real_merge": 0.0, "real_pairs": 18, "blind_merge": 0.0, "blind_pairs": 10, "synth_merge": 0.1273, "synth_pairs": 165, "all_merge": 0.1148, "instances": 45, "frac_1step": 0.0222, "mean_steps": 526.8, "core_frac_1step": 0.0, "core_score": 0.23621, "core_cov": 0.5368, "core_inst": 9, "core_valid_frac": 0.556, "time_unix": 1785266088} |
| {"step": 360000, "took_s": 87.8, "real_nerl": 0.3661, "synth_nerl": 0.0002, "all_nerl": 0.2567, "real_merge": 0.0556, "real_pairs": 18, "blind_merge": 0.1, "blind_pairs": 10, "synth_merge": 0.1515, "synth_pairs": 165, "all_merge": 0.1421, "instances": 41, "frac_1step": 0.0, "mean_steps": 514.17, "core_frac_1step": 0.0, "core_score": 0.22636, "core_cov": 0.4872, "core_inst": 9, "core_valid_frac": 0.667, "time_unix": 1785269270} |
| {"step": 370000, "took_s": 42.7, "real_nerl": 0.3514, "synth_nerl": 0.0008, "all_nerl": 0.2466, "real_merge": 0.0556, "real_pairs": 18, "blind_merge": 0.1, "blind_pairs": 10, "synth_merge": 0.1879, "synth_pairs": 165, "all_merge": 0.1749, "instances": 39, "frac_1step": 0.0256, "mean_steps": 552.69, "core_frac_1step": 0.0, "core_score": 0.20818, "core_cov": 0.5011, "core_inst": 9, "core_valid_frac": 0.667, "time_unix": 1785272374} |
| {"step": 380000, "took_s": 38.9, "real_nerl": 0.302, "synth_nerl": 0.0002, "all_nerl": 0.2118, "real_merge": 0.0, "real_pairs": 18, "blind_merge": 0.0, "blind_pairs": 10, "synth_merge": 0.1091, "synth_pairs": 165, "all_merge": 0.0984, "instances": 46, "frac_1step": 0.2391, "mean_steps": 413.72, "core_frac_1step": 0.0, "core_score": 0.10661, "core_cov": 0.4454, "core_inst": 9, "core_valid_frac": 0.778, "time_unix": 1785274946} |
| {"step": 390000, "took_s": 41.3, "real_nerl": 0.3825, "synth_nerl": 0.0002, "all_nerl": 0.2682, "real_merge": 0.1111, "real_pairs": 18, "blind_merge": 0.2, "blind_pairs": 10, "synth_merge": 0.1455, "synth_pairs": 165, "all_merge": 0.1421, "instances": 38, "frac_1step": 0.0263, "mean_steps": 572.89, "core_frac_1step": 0.0, "core_score": 0.20222, "core_cov": 0.4754, "core_inst": 8, "core_valid_frac": 0.875, "time_unix": 1785277549} |
| {"step": 400000, "took_s": 44.3, "real_nerl": 0.3503, "synth_nerl": 0.0111, "all_nerl": 0.2489, "real_merge": 0.0556, "real_pairs": 18, "blind_merge": 0.1, "blind_pairs": 10, "synth_merge": 0.1333, "synth_pairs": 165, "all_merge": 0.1257, "instances": 40, "frac_1step": 0.0, "mean_steps": 582.05, "core_frac_1step": 0.0, "core_score": 0.08467, "core_cov": 0.4263, "core_inst": 10, "core_valid_frac": 0.7, "time_unix": 1785280145} |
| {"step": 412500, "took_s": 123.2, "real_nerl": 0.4362, "synth_nerl": 0.0107, "all_nerl": 0.4037, "real_merge": 0.0729, "real_pairs": 96, "blind_merge": 0.0814, "blind_pairs": 86, "synth_merge": 0.1875, "synth_pairs": 96, "all_merge": 0.1302, "instances": 124, "frac_1step": 0.0242, "mean_steps": 625.37, "core_frac_1step": 0.0, "core_score": 0.07111, "core_cov": 0.4625, "core_inst": 12, "core_valid_frac": 0.75, "time_unix": 1785287347} |
| {"step": 425000, "took_s": 117.9, "real_nerl": 0.4542, "synth_nerl": 0.0355, "all_nerl": 0.4223, "real_merge": 0.1146, "real_pairs": 96, "blind_merge": 0.1279, "blind_pairs": 86, "synth_merge": 0.1771, "synth_pairs": 96, "all_merge": 0.1458, "instances": 117, "frac_1step": 0.0085, "mean_steps": 654.22, "core_frac_1step": 0.0, "core_score": 0.09845, "core_cov": 0.4004, "core_inst": 10, "core_valid_frac": 0.7, "time_unix": 1785290644} |
| {"step": 437500, "took_s": 124.2, "real_nerl": 0.4454, "synth_nerl": 0.0488, "all_nerl": 0.4151, "real_merge": 0.0625, "real_pairs": 96, "blind_merge": 0.0698, "blind_pairs": 86, "synth_merge": 0.2396, "synth_pairs": 96, "all_merge": 0.151, "instances": 124, "frac_1step": 0.0242, "mean_steps": 618.7, "core_frac_1step": 0.0, "core_score": 0.14899, "core_cov": 0.4889, "core_inst": 10, "core_valid_frac": 0.8, "time_unix": 1785293943} |
| {"step": 450000, "took_s": 106.7, "real_nerl": 0.4115, "synth_nerl": 0.0462, "all_nerl": 0.3837, "real_merge": 0.0417, "real_pairs": 96, "blind_merge": 0.0465, "blind_pairs": 86, "synth_merge": 0.1354, "synth_pairs": 96, "all_merge": 0.0885, "instances": 134, "frac_1step": 0.0746, "mean_steps": 510.32, "core_frac_1step": 0.125, "core_score": 0.03036, "core_cov": 0.3701, "core_inst": 16, "core_valid_frac": 0.75, "time_unix": 1785297228} |
| {"step": 462500, "took_s": 148.5, "real_nerl": 0.4365, "synth_nerl": 0.0274, "all_nerl": 0.3445, "real_merge": 0.0833, "real_pairs": 96, "blind_merge": 0.093, "blind_pairs": 86, "synth_merge": 0.2139, "synth_pairs": 374, "all_merge": 0.1872, "instances": 157, "frac_1step": 0.0127, "mean_steps": 597.34, "core_frac_1step": 0.0769, "core_score": 0.06936, "core_cov": 0.4876, "core_inst": 13, "core_valid_frac": 0.846, "time_unix": 1785300557} |
| {"step": 475000, "took_s": 146.0, "real_nerl": 0.4581, "synth_nerl": 0.0257, "all_nerl": 0.3609, "real_merge": 0.0833, "real_pairs": 96, "blind_merge": 0.093, "blind_pairs": 86, "synth_merge": 0.1845, "synth_pairs": 374, "all_merge": 0.1638, "instances": 160, "frac_1step": 0.025, "mean_steps": 597.34, "core_frac_1step": 0.0909, "core_score": 0.09943, "core_cov": 0.4765, "core_inst": 11, "core_valid_frac": 0.818, "time_unix": 1785303889} |
| {"step": 487500, "took_s": 135.9, "real_nerl": 0.4204, "synth_nerl": 0.0269, "all_nerl": 0.3319, "real_merge": 0.0833, "real_pairs": 96, "blind_merge": 0.093, "blind_pairs": 86, "synth_merge": 0.1979, "synth_pairs": 374, "all_merge": 0.1745, "instances": 162, "frac_1step": 0.0309, "mean_steps": 562.43, "core_frac_1step": 0.1538, "core_score": 0.05471, "core_cov": 0.422, "core_inst": 13, "core_valid_frac": 0.846, "time_unix": 1785307208} |
| {"step": 500000, "took_s": 139.1, "real_nerl": 0.4519, "synth_nerl": 0.0149, "all_nerl": 0.3536, "real_merge": 0.0729, "real_pairs": 96, "blind_merge": 0.0814, "blind_pairs": 86, "synth_merge": 0.1444, "synth_pairs": 374, "all_merge": 0.1298, "instances": 159, "frac_1step": 0.0314, "mean_steps": 568.19, "core_frac_1step": 0.0, "core_score": 0.20476, "core_cov": 0.4916, "core_inst": 12, "core_valid_frac": 0.5, "time_unix": 1785310531} |
| {"step": 512500, "took_s": 130.6, "real_nerl": 0.4065, "synth_nerl": 0.0144, "all_nerl": 0.3183, "real_merge": 0.0625, "real_pairs": 96, "blind_merge": 0.0698, "blind_pairs": 86, "synth_merge": 0.2139, "synth_pairs": 374, "all_merge": 0.183, "instances": 169, "frac_1step": 0.0473, "mean_steps": 515.55, "core_frac_1step": 0.1538, "core_score": 0.04227, "core_cov": 0.3949, "core_inst": 13, "core_valid_frac": 0.846, "time_unix": 1785313855} |
| {"step": 525000, "took_s": 134.4, "real_nerl": 0.4085, "synth_nerl": 0.0294, "all_nerl": 0.3233, "real_merge": 0.0417, "real_pairs": 96, "blind_merge": 0.0465, "blind_pairs": 86, "synth_merge": 0.1551, "synth_pairs": 374, "all_merge": 0.1319, "instances": 184, "frac_1step": 0.0761, "mean_steps": 487.79, "core_frac_1step": 0.1333, "core_score": 0.05166, "core_cov": 0.4281, "core_inst": 15, "core_valid_frac": 0.8, "time_unix": 1785317276} |
| {"step": 537500, "took_s": 126.8, "real_nerl": 0.4141, "synth_nerl": 0.026, "all_nerl": 0.3268, "real_merge": 0.0417, "real_pairs": 96, "blind_merge": 0.0465, "blind_pairs": 86, "synth_merge": 0.1337, "synth_pairs": 374, "all_merge": 0.1149, "instances": 178, "frac_1step": 0.0618, "mean_steps": 484.2, "core_frac_1step": 0.2, "core_score": 0.03194, "core_cov": 0.3638, "core_inst": 15, "core_valid_frac": 0.867, "time_unix": 1785321074} |
| {"step": 550000, "took_s": 129.3, "real_nerl": 0.4139, "synth_nerl": 0.0335, "all_nerl": 0.3283, "real_merge": 0.0521, "real_pairs": 96, "blind_merge": 0.0581, "blind_pairs": 86, "synth_merge": 0.1471, "synth_pairs": 374, "all_merge": 0.1277, "instances": 172, "frac_1step": 0.064, "mean_steps": 501.66, "core_frac_1step": 0.2143, "core_score": 0.04883, "core_cov": 0.4036, "core_inst": 14, "core_valid_frac": 0.857, "time_unix": 1785324397} |
|
|
