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