File size: 2,079 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": {
    "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
        }
      }
    }
  }
}