| { | |
| "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": { | |
| "recurrent-full": { | |
| "1": { | |
| "board": 0.974, | |
| "per_seed": [ | |
| 0.974, | |
| 0.974 | |
| ] | |
| }, | |
| "4": { | |
| "board": 0.985, | |
| "per_seed": [ | |
| 0.982, | |
| 0.988 | |
| ] | |
| }, | |
| "8": { | |
| "board": 0.9895, | |
| "per_seed": [ | |
| 0.987, | |
| 0.992 | |
| ] | |
| }, | |
| "16": { | |
| "board": 0.992, | |
| "per_seed": [ | |
| 0.99, | |
| 0.994 | |
| ] | |
| }, | |
| "32": { | |
| "board": 0.995, | |
| "per_seed": [ | |
| 0.993, | |
| 0.997 | |
| ] | |
| }, | |
| "61": { | |
| "board": 0.9955, | |
| "per_seed": [ | |
| 0.994, | |
| 0.997 | |
| ], | |
| "by_clue": { | |
| "22": 0.9767441860465116, | |
| "23": 1.0, | |
| "24": 0.9942028985507246, | |
| "25": 0.9964539007092199, | |
| "26": 0.984251968503937 | |
| } | |
| } | |
| }, | |
| "recurrent-mdlm": { | |
| "1": { | |
| "board": 0.8705, | |
| "per_seed": [ | |
| 0.911, | |
| 0.83 | |
| ] | |
| }, | |
| "4": { | |
| "board": 0.9155, | |
| "per_seed": [ | |
| 0.938, | |
| 0.893 | |
| ] | |
| }, | |
| "8": { | |
| "board": 0.9315, | |
| "per_seed": [ | |
| 0.94, | |
| 0.923 | |
| ] | |
| }, | |
| "16": { | |
| "board": 0.947, | |
| "per_seed": [ | |
| 0.951, | |
| 0.943 | |
| ] | |
| }, | |
| "32": { | |
| "board": 0.949, | |
| "per_seed": [ | |
| 0.954, | |
| 0.944 | |
| ] | |
| }, | |
| "61": { | |
| "board": 0.9515, | |
| "per_seed": [ | |
| 0.957, | |
| 0.946 | |
| ], | |
| "by_clue": { | |
| "22": 0.9534883720930233, | |
| "23": 0.9723756906077348, | |
| "24": 0.9652173913043478, | |
| "25": 0.9468085106382979, | |
| "26": 0.952755905511811 | |
| } | |
| } | |
| } | |
| } | |
| } |