{ "schema_version": 1, "git_commit": null, "checkpoint": "/proj/grp-flow-map/FlowMapReasoning/public_simplified_repro/sudoku_seed0/stage_b/final.pt", "checkpoint_sha256": "00172c543dc43abe023f2b3058bf62785d200164eaf6837d21698e4b92e2113a", "benchmark": "/proj/grp-flow-map/LoopedFlows/experiments/public_simplified_repro/outputs/evaluations/sudoku_lite_adaptive_20261016_v1/data/lite/benchmark.npz", "benchmark_sha256": "183017b414e8a7ea4efe3d17c6bb26a64da801d8443f9da27e7e3f403e846136", "policy_config": { "max_nfe": 4096, "max_breadth": 128, "held_t": 0.4, "renoise": 1.0, "check_every": 16, "residual_window": 64, "residual_metric": "euclidean", "confirmation_checks": 8, "require_prediction_stability": true, "min_nfe": 64, "batch_size": 128, "seed": 0, "restart_seed_offset": 1000003, "flops_per_forward": 896039936 }, "residual": "trailing-window mean of per-puzzle euclidean distance between consecutive denoiser distributions, averaged over non-clue cells", "oracle_used_for_test_selection": false, "kind": "residual_guided_inference_evaluation", "run_fingerprint": "7af0b062ad8b4b5b80bebac5c69c570c521f33033bc36c470ae6432698549ac0", "num_puzzles": 2048, "max_samples_override": null, "model_step": 175000, "calibration": "/proj/grp-flow-map/LoopedFlows/experiments/public_simplified_repro/outputs/evaluations/sudoku_lite_adaptive_20261016_v1/calibration/threshold.json", "calibration_sha256": "e679275da4b239efa1127e028969e36392a685f7c00ec7604412d232dede3e84", "calibration_benchmark_sha256": "e1f3b99cd5ce91dfe1e7de44995e1e38bbf1372766457025eca589625e89281e", "threshold": 0.4277484118938446, "threshold_selection": { "threshold": 0.4277484118938446, "accuracy": 0.9931640625, "solved": 1017, "mean_nfe": 327.265625, "accepted_fraction": 0.994140625, "fixed_accuracy": 0.9931640625, "max_accuracy_drop": 0.001, "selection_objective": "minimize mean NFE subject to accuracy >= fixed-depth accuracy - max_accuracy_drop; tie-break by higher accuracy then lower threshold" }, "policies": [ { "policy": "Fixed-depth FRM", "solved": 2011, "num_puzzles": 2048, "solve_rate": 0.98193359375, "mean_nfe": 4096.0, "mean_tflops": 3.670179577856 }, { "policy": "+ Residual early stopping", "solved": 2009, "num_puzzles": 2048, "solve_rate": 0.98095703125, "mean_nfe": 378.6796875, "mean_tflops": 0.339312122952 }, { "policy": "+ Sequential restarts", "solved": 2042, "num_puzzles": 2048, "solve_rate": 0.9970703125, "mean_nfe": 899.75, "mean_tflops": 0.806211932416 } ], "accepted_by_threshold": 2048, "unresolved_at_breadth_cap": 0, "attempts": [ { "attempt": 1, "attempted": 2048, "accepted": 2013, "remaining": 35, "mean_nfe_among_attempted": 378.6796875 }, { "attempt": 2, "seed": 1000003, "attempted": 35, "accepted": 16, "remaining": 19, "mean_nfe_among_attempted": 2809.6 }, { "attempt": 3, "seed": 2000006, "attempted": 19, "accepted": 9, "remaining": 10, "mean_nfe_among_attempted": 2718.315789473684 }, { "attempt": 4, "seed": 3000009, "attempted": 10, "accepted": 2, "remaining": 8, "mean_nfe_among_attempted": 3614.4 }, { "attempt": 5, "seed": 4000012, "attempted": 8, "accepted": 0, "remaining": 8, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 6, "seed": 5000015, "attempted": 8, "accepted": 1, "remaining": 7, "mean_nfe_among_attempted": 4022.0 }, { "attempt": 7, "seed": 6000018, "attempted": 7, "accepted": 0, "remaining": 7, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 8, "seed": 7000021, "attempted": 7, "accepted": 0, "remaining": 7, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 9, "seed": 8000024, "attempted": 7, "accepted": 1, "remaining": 6, "mean_nfe_among_attempted": 3588.5714285714284 }, { "attempt": 10, "seed": 9000027, "attempted": 6, "accepted": 0, "remaining": 6, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 11, "seed": 10000030, "attempted": 6, "accepted": 0, "remaining": 6, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 12, "seed": 11000033, "attempted": 6, "accepted": 1, "remaining": 5, "mean_nfe_among_attempted": 3842.6666666666665 }, { "attempt": 13, "seed": 12000036, "attempted": 5, "accepted": 0, "remaining": 5, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 14, "seed": 13000039, "attempted": 5, "accepted": 0, "remaining": 5, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 15, "seed": 14000042, "attempted": 5, "accepted": 0, "remaining": 5, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 16, "seed": 15000045, "attempted": 5, "accepted": 0, "remaining": 5, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 17, "seed": 16000048, "attempted": 5, "accepted": 1, "remaining": 4, "mean_nfe_among_attempted": 3312.0 }, { "attempt": 18, "seed": 17000051, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 19, "seed": 18000054, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 20, "seed": 19000057, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 21, "seed": 20000060, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 22, "seed": 21000063, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 23, "seed": 22000066, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 24, "seed": 23000069, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 25, "seed": 24000072, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 26, "seed": 25000075, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 27, "seed": 26000078, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 28, "seed": 27000081, "attempted": 4, "accepted": 0, "remaining": 4, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 29, "seed": 28000084, "attempted": 4, "accepted": 1, "remaining": 3, "mean_nfe_among_attempted": 3832.0 }, { "attempt": 30, "seed": 29000087, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 31, "seed": 30000090, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 32, "seed": 31000093, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 33, "seed": 32000096, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 34, "seed": 33000099, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 35, "seed": 34000102, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 36, "seed": 35000105, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 37, "seed": 36000108, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 38, "seed": 37000111, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 39, "seed": 38000114, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 40, "seed": 39000117, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 41, "seed": 40000120, "attempted": 3, "accepted": 0, "remaining": 3, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 42, "seed": 41000123, "attempted": 3, "accepted": 1, "remaining": 2, "mean_nfe_among_attempted": 2965.3333333333335 }, { "attempt": 43, "seed": 42000126, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 44, "seed": 43000129, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 45, "seed": 44000132, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 46, "seed": 45000135, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 47, "seed": 46000138, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 48, "seed": 47000141, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 49, "seed": 48000144, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 50, "seed": 49000147, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 51, "seed": 50000150, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 52, "seed": 51000153, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 53, "seed": 52000156, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 54, "seed": 53000159, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 55, "seed": 54000162, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 56, "seed": 55000165, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 57, "seed": 56000168, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 58, "seed": 57000171, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 59, "seed": 58000174, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 60, "seed": 59000177, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 61, "seed": 60000180, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 62, "seed": 61000183, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 63, "seed": 62000186, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 64, "seed": 63000189, "attempted": 2, "accepted": 0, "remaining": 2, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 65, "seed": 64000192, "attempted": 2, "accepted": 1, "remaining": 1, "mean_nfe_among_attempted": 2256.0 }, { "attempt": 66, "seed": 65000195, "attempted": 1, "accepted": 0, "remaining": 1, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 67, "seed": 66000198, "attempted": 1, "accepted": 0, "remaining": 1, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 68, "seed": 67000201, "attempted": 1, "accepted": 0, "remaining": 1, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 69, "seed": 68000204, "attempted": 1, "accepted": 0, "remaining": 1, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 70, "seed": 69000207, "attempted": 1, "accepted": 0, "remaining": 1, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 71, "seed": 70000210, "attempted": 1, "accepted": 0, "remaining": 1, "mean_nfe_among_attempted": 4096.0 }, { "attempt": 72, "seed": 71000213, "attempted": 1, "accepted": 1, "remaining": 0, "mean_nfe_among_attempted": 1712.0 } ], "restart_frontier": [ { "breadth_cap": 1, "solved": 2009, "num_puzzles": 2048, "solve_rate": 0.98095703125, "mean_nfe": 378.6796875, "mean_tflops": 0.339312122952, "accepted": 2013, "unresolved": 35 }, { "breadth_cap": 2, "solved": 2023, "num_puzzles": 2048, "solve_rate": 0.98779296875, "mean_nfe": 426.6953125, "mean_tflops": 0.382336040504, "accepted": 2029, "unresolved": 19 }, { "breadth_cap": 3, "solved": 2032, "num_puzzles": 2048, "solve_rate": 0.9921875, "mean_nfe": 451.9140625, "mean_tflops": 0.40493304764, "accepted": 2038, "unresolved": 10 }, { "breadth_cap": 4, "solved": 2034, "num_puzzles": 2048, "solve_rate": 0.9931640625, "mean_nfe": 469.5625, "mean_tflops": 0.420746752448, "accepted": 2040, "unresolved": 8 }, { "breadth_cap": 5, "solved": 2034, "num_puzzles": 2048, "solve_rate": 0.9931640625, "mean_nfe": 485.5625, "mean_tflops": 0.435083391424, "accepted": 2040, "unresolved": 8 }, { "breadth_cap": 6, "solved": 2035, "num_puzzles": 2048, "solve_rate": 0.99365234375, "mean_nfe": 501.2734375, "mean_tflops": 0.449161018856, "accepted": 2041, "unresolved": 7 }, { "breadth_cap": 7, "solved": 2035, "num_puzzles": 2048, "solve_rate": 0.99365234375, "mean_nfe": 515.2734375, "mean_tflops": 0.46170557796, "accepted": 2041, "unresolved": 7 }, { "breadth_cap": 8, "solved": 2035, "num_puzzles": 2048, "solve_rate": 0.99365234375, "mean_nfe": 529.2734375, "mean_tflops": 0.474250137064, "accepted": 2041, "unresolved": 7 }, { "breadth_cap": 9, "solved": 2036, "num_puzzles": 2048, "solve_rate": 0.994140625, "mean_nfe": 541.5390625, "mean_tflops": 0.485240626904, "accepted": 2042, "unresolved": 6 }, { "breadth_cap": 10, "solved": 2036, "num_puzzles": 2048, "solve_rate": 0.994140625, "mean_nfe": 553.5390625, "mean_tflops": 0.495993106136, "accepted": 2042, "unresolved": 6 }, { "breadth_cap": 11, "solved": 2036, "num_puzzles": 2048, "solve_rate": 0.994140625, "mean_nfe": 565.5390625, "mean_tflops": 0.506745585368, "accepted": 2042, "unresolved": 6 }, { "breadth_cap": 12, "solved": 2037, "num_puzzles": 2048, "solve_rate": 0.99462890625, "mean_nfe": 576.796875, "mean_tflops": 0.51683303496, "accepted": 2043, "unresolved": 5 }, { "breadth_cap": 13, "solved": 2037, "num_puzzles": 2048, "solve_rate": 0.99462890625, "mean_nfe": 586.796875, "mean_tflops": 0.52579343432, "accepted": 2043, "unresolved": 5 }, { "breadth_cap": 14, "solved": 2037, "num_puzzles": 2048, "solve_rate": 0.99462890625, "mean_nfe": 596.796875, "mean_tflops": 0.53475383368, "accepted": 2043, "unresolved": 5 }, { "breadth_cap": 15, "solved": 2037, "num_puzzles": 2048, "solve_rate": 0.99462890625, "mean_nfe": 606.796875, "mean_tflops": 0.54371423304, "accepted": 2043, "unresolved": 5 }, { "breadth_cap": 16, "solved": 2037, "num_puzzles": 2048, "solve_rate": 0.99462890625, "mean_nfe": 616.796875, "mean_tflops": 0.5526746324, "accepted": 2043, "unresolved": 5 }, { "breadth_cap": 17, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 624.8828125, "mean_tflops": 0.55991995532, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 18, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 632.8828125, "mean_tflops": 0.567088274808, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 19, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 640.8828125, "mean_tflops": 0.574256594296, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 20, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 648.8828125, "mean_tflops": 0.581424913784, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 21, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 656.8828125, "mean_tflops": 0.588593233272, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 22, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 664.8828125, "mean_tflops": 0.59576155276, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 23, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 672.8828125, "mean_tflops": 0.602929872248, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 24, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 680.8828125, "mean_tflops": 0.610098191736, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 25, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 688.8828125, "mean_tflops": 0.617266511224, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 26, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 696.8828125, "mean_tflops": 0.624434830712, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 27, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 704.8828125, "mean_tflops": 0.6316031502, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 28, "solved": 2038, "num_puzzles": 2048, "solve_rate": 0.9951171875, "mean_nfe": 712.8828125, "mean_tflops": 0.638771469688, "accepted": 2044, "unresolved": 4 }, { "breadth_cap": 29, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 720.3671875, "mean_tflops": 0.645477768584, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 30, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 726.3671875, "mean_tflops": 0.6508540082, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 31, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 732.3671875, "mean_tflops": 0.656230247816, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 32, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 738.3671875, "mean_tflops": 0.661606487432, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 33, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 744.3671875, "mean_tflops": 0.666982727048, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 34, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 750.3671875, "mean_tflops": 0.672358966664, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 35, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 756.3671875, "mean_tflops": 0.67773520628, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 36, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 762.3671875, "mean_tflops": 0.683111445896, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 37, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 768.3671875, "mean_tflops": 0.688487685512, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 38, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 774.3671875, "mean_tflops": 0.693863925128, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 39, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 780.3671875, "mean_tflops": 0.699240164744, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 40, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 786.3671875, "mean_tflops": 0.70461640436, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 41, "solved": 2039, "num_puzzles": 2048, "solve_rate": 0.99560546875, "mean_nfe": 792.3671875, "mean_tflops": 0.709992643976, "accepted": 2045, "unresolved": 3 }, { "breadth_cap": 42, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 796.7109375, "mean_tflops": 0.713884817448, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 43, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 800.7109375, "mean_tflops": 0.717468977192, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 44, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 804.7109375, "mean_tflops": 0.721053136936, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 45, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 808.7109375, "mean_tflops": 0.72463729668, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 46, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 812.7109375, "mean_tflops": 0.728221456424, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 47, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 816.7109375, "mean_tflops": 0.731805616168, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 48, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 820.7109375, "mean_tflops": 0.735389775912, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 49, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 824.7109375, "mean_tflops": 0.738973935656, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 50, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 828.7109375, "mean_tflops": 0.7425580954, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 51, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 832.7109375, "mean_tflops": 0.746142255144, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 52, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 836.7109375, "mean_tflops": 0.749726414888, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 53, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 840.7109375, "mean_tflops": 0.753310574632, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 54, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 844.7109375, "mean_tflops": 0.756894734376, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 55, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 848.7109375, "mean_tflops": 0.76047889412, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 56, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 852.7109375, "mean_tflops": 0.764063053864, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 57, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 856.7109375, "mean_tflops": 0.767647213608, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 58, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 860.7109375, "mean_tflops": 0.771231373352, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 59, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 864.7109375, "mean_tflops": 0.774815533096, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 60, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 868.7109375, "mean_tflops": 0.77839969284, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 61, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 872.7109375, "mean_tflops": 0.781983852584, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 62, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 876.7109375, "mean_tflops": 0.785568012328, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 63, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 880.7109375, "mean_tflops": 0.789152172072, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 64, "solved": 2040, "num_puzzles": 2048, "solve_rate": 0.99609375, "mean_nfe": 884.7109375, "mean_tflops": 0.792736331816, "accepted": 2046, "unresolved": 2 }, { "breadth_cap": 65, "solved": 2041, "num_puzzles": 2048, "solve_rate": 0.99658203125, "mean_nfe": 886.9140625, "mean_tflops": 0.7947104198, "accepted": 2047, "unresolved": 1 }, { "breadth_cap": 66, "solved": 2041, "num_puzzles": 2048, "solve_rate": 0.99658203125, "mean_nfe": 888.9140625, "mean_tflops": 0.796502499672, "accepted": 2047, "unresolved": 1 }, { "breadth_cap": 67, "solved": 2041, "num_puzzles": 2048, "solve_rate": 0.99658203125, "mean_nfe": 890.9140625, "mean_tflops": 0.798294579544, "accepted": 2047, "unresolved": 1 }, { "breadth_cap": 68, "solved": 2041, "num_puzzles": 2048, "solve_rate": 0.99658203125, "mean_nfe": 892.9140625, "mean_tflops": 0.800086659416, "accepted": 2047, "unresolved": 1 }, { "breadth_cap": 69, "solved": 2041, "num_puzzles": 2048, "solve_rate": 0.99658203125, "mean_nfe": 894.9140625, "mean_tflops": 0.801878739288, "accepted": 2047, "unresolved": 1 }, { "breadth_cap": 70, "solved": 2041, "num_puzzles": 2048, "solve_rate": 0.99658203125, "mean_nfe": 896.9140625, "mean_tflops": 0.80367081916, "accepted": 2047, "unresolved": 1 }, { "breadth_cap": 71, "solved": 2041, "num_puzzles": 2048, "solve_rate": 0.99658203125, "mean_nfe": 898.9140625, "mean_tflops": 0.805462899032, "accepted": 2047, "unresolved": 1 }, { "breadth_cap": 72, "solved": 2042, "num_puzzles": 2048, "solve_rate": 0.9970703125, "mean_nfe": 899.75, "mean_tflops": 0.806211932416, "accepted": 2048, "unresolved": 0 } ], "selection_rule": "stop each trajectory once the trailing-mean residual remains <= threshold for 8 checks and the decoded grid remains unchanged; restart only trajectories that reach max_nfe without acceptance; if max_breadth is exhausted, return the attempted terminal prediction with minimum residual", "labels_used_for": "final scoring only; never stopping, restart, or candidate selection" }