File size: 2,087 Bytes
ae02605
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
{
  "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
        }
      }
    }
  }
}