{ "n": 1000, "clues": { "min": 21, "max": 28, "mean": 24.318 }, "classical": { "propagation": 0.03, "greedy_mrv": 0.059, "backtracking": 1.0, "backtrack_nodes_mean": 423.126, "backtrack_nodes_median": 211.5 }, "diffusion": { "full": { "1": { "board": 0.40349999999999997, "per_seed": [ 0.421, 0.386 ] }, "4": { "board": 0.7925, "per_seed": [ 0.786, 0.799 ] }, "8": { "board": 0.8445, "per_seed": [ 0.84, 0.849 ] }, "16": { "board": 0.855, "per_seed": [ 0.842, 0.868 ] }, "32": { "board": 0.868, "per_seed": [ 0.861, 0.875 ] }, "61": { "board": 0.894, "per_seed": [ 0.891, 0.897 ], "by_clue": { "22": 0.8372093023255814, "23": 0.9171270718232044, "24": 0.8898550724637682, "25": 0.8936170212765957, "26": 0.889763779527559 } } }, "mdlm": { "1": { "board": 0.046, "per_seed": [ 0.057, 0.035 ] }, "4": { "board": 0.709, "per_seed": [ 0.727, 0.691 ] }, "8": { "board": 0.783, "per_seed": [ 0.798, 0.768 ] }, "16": { "board": 0.843, "per_seed": [ 0.861, 0.825 ] }, "32": { "board": 0.8645, "per_seed": [ 0.864, 0.865 ] }, "61": { "board": 0.874, "per_seed": [ 0.884, 0.864 ], "by_clue": { "22": 0.8372093023255814, "23": 0.9116022099447514, "24": 0.8956521739130435, "25": 0.900709219858156, "26": 0.8031496062992126 } } } } }