| { | |
| "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 | |
| } | |
| } | |
| } | |
| } | |
| } |