rating systems show with which combination of their rules you can solve a puzzle, and they prioritize their rules on an estimate of the difficulty in applying them, but i dont think that past a certain level they are useful for human solver if not to tell them that this level of difficulty is well beyond their ability.
the interesting point they make is that any puzzle can be solved without guessing.
a SER 11.8 rating says: to solve this puzzle you need to apply at least once this rule: Nested Forcing Chains (+ Dynamic Forcing Chains), ED=10.5 + 1.3 (257-384 nodes), which i dont think is within the reach of human solver,
but if a technique like the TH, which a human solver can mastered, allow to manually solve this puzzle then it shows than SE, as it is, is no longer the right tool to rate it.
T&E(n) is not a measure of difficulty, the following 2 puzzles, not in T&E(2), which from the point of view of templates are identical except for the permutation of 6 and 8: same configuration at the beginning, same templates reduction, equivalent eliminations, are in 4-template which doesn't put them among the hardest, far from it.
solved directly with combinations of 4, only those that make eliminations are listed:
http://forum.enjoysudoku.com/post317678.html#p317678- Code: Select all
........1.....2.......3..45..6.......71.8....23..67..8.827..1..6...23...7.381.6..
#VT: (4 10 14 68 73 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
5: (1 2 3 6)
#VT: (3 10 14 68 73 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:(31) nil nil nil nil nil nil nil nil
16: (1 4 6 8)
#VT: (3 10 14 65 73 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
17: (1 2 4 6)
#VT: (3 10 14 63 73 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
19: (1 5 6 8)
#VT: (3 10 14 63 69 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
22: (1 3 4 6)
#VT: (3 10 14 57 69 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
31: (1 2 3 4)
#VT: (3 10 14 37 69 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil (31 40) nil nil nil nil nil
33: (1 3 5 6)
#VT: (3 10 14 37 63 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
36: (1 5 7 8)
#VT: (3 10 14 37 59 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
44: (1 2 3 5)
#VT: (3 10 14 37 37 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil (31 40) nil nil nil nil
59: (1 2 4 5)
#VT: (3 10 14 36 36 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
60: (2 4 5 6)
#VT: (3 10 14 35 35 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
62: (1 4 5 7)
#VT: (3 10 14 35 34 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
66: (4 5 7 8)
#VT: (3 10 14 33 33 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
67: (3 4 5 8)
#VT: (3 10 14 32 32 6 14 7 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
71: (1 6 8 9)
#VT: (3 10 14 32 32 6 14 7 380)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
72: (1 2 6 9)
#VT: (3 10 14 32 32 6 14 7 342)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
73: (1 2 8 9)
#VT: (3 10 14 32 32 6 14 7 341)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
76: (1 3 6 9)
#VT: (3 10 14 32 32 6 14 7 327)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
77: (1 7 8 9)
#VT: (3 10 14 32 32 6 14 7 291)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
82: (1 2 3 9)
#VT: (3 10 14 32 32 6 14 7 208)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil (31 40)
83: (2 6 7 9)
#VT: (3 10 14 32 32 6 14 7 207)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
85: (2 7 8 9)
#VT: (3 10 14 32 32 6 14 7 204)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
91: (1 4 6 9)
#VT: (3 10 14 32 32 6 14 7 198)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
94: (1 2 4 9)
#VT: (3 10 14 32 32 6 14 7 197)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
95: (1 5 6 9)
#VT: (3 10 14 32 32 6 14 7 194)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
96: (2 4 6 9)
#VT: (3 10 14 32 32 6 14 7 189)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
97: (1 5 8 9)
#VT: (3 10 14 32 32 6 14 7 187)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
100: (1 4 7 9)
#VT: (3 10 14 32 32 6 14 7 178)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
102: (1 2 5 9)
#VT: (3 10 14 32 31 6 14 7 178)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
105: (4 7 8 9)
#VT: (3 10 14 32 31 6 14 7 173)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
107: (2 5 6 9)
#VT: (3 10 14 32 31 6 14 7 172)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
109: (1 5 7 9)
#VT: (3 10 14 32 31 6 14 7 170)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
115: (5 7 8 9)
#VT: (3 10 14 32 31 6 14 7 168)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
117: (3 4 7 9)
#VT: (3 10 14 32 31 6 14 7 167)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
121: (1 4 5 9)
#VT: (1 10 14 5 6 6 14 7 2)
Cells: (10 24 35 49) nil nil nil nil nil nil nil (19 29 42 53 59 66 81)
SetVC: ( n1r2c1 n9r3c1 n1r3c6 n9r4c2 n1r4c8 n9r5c6
n1r6c4 n9r6c8 n9r7c5 n9r8c3 n9r9c9 n6r3c4
n2r3c2 n2r9c8 n3r1c1 n8r1c6 n2r1c7 n9r2c7
n9r1c4 )
#VT: (1 2 4 5 6 3 14 2 1)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil (36 44 45) (34 36) (34) nil nil nil nil
122: (4 5 6 9)
#VT: (1 2 4 3 4 1 14 2 1)
Cells: nil nil nil nil nil (8 11 45) nil nil nil
SetVC: ( n6r1c8 n6r2c2 n5r5c8 n6r5c9 n4r6c7 n3r7c8
n4r7c9 n7r8c9 n3r2c9 n2r4c9 n4r5c1 n3r5c7
n5r6c3 n5r7c1 n8r8c8 n4r9c2 n5r9c6 n5r1c2
n7r2c8 n8r3c7 n3r4c4 n4r4c6 n7r4c7 n2r5c4
n4r8c4 n5r8c7 n5r2c4 n4r2c5 n7r3c3 n5r4c5
n4r1c3 n7r1c5 n8r2c3 )
3 5 4 9 7 8 2 6 1
1 6 8 5 4 2 9 7 3
9 2 7 6 3 1 8 4 5
8 9 6 3 5 4 7 1 2
4 7 1 2 8 9 3 5 6
2 3 5 1 6 7 4 9 8
5 8 2 7 9 6 1 3 4
6 1 9 4 2 3 5 8 7
7 4 3 8 1 5 6 2 9
........1.....2.......3..45..1.23....267.81..73.61.8...17.6.....8.......2.3.87..6
#VT: (4 10 14 68 73 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
5: (1 2 3 8)
#VT: (3 10 14 68 73 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:(67) nil nil nil nil nil nil nil nil
16: (1 4 6 8)
#VT: (3 10 14 65 73 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
17: (1 2 4 8)
#VT: (3 10 14 63 73 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
19: (1 5 6 8)
#VT: (3 10 14 63 69 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
22: (1 3 4 8)
#VT: (3 10 14 57 69 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
31: (1 2 3 4)
#VT: (3 10 14 37 69 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil (58 67) nil nil nil nil nil
33: (1 3 5 8)
#VT: (3 10 14 37 63 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
36: (1 5 6 7)
#VT: (3 10 14 37 59 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
44: (1 2 3 5)
#VT: (3 10 14 37 37 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil (58 67) nil nil nil nil
59: (1 2 4 5)
#VT: (3 10 14 36 36 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
60: (2 4 5 8)
#VT: (3 10 14 35 35 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
62: (1 4 5 7)
#VT: (3 10 14 35 34 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
66: (4 5 6 7)
#VT: (3 10 14 33 33 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
67: (3 4 5 6)
#VT: (3 10 14 32 32 7 14 6 410)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
71: (1 6 8 9)
#VT: (3 10 14 32 32 7 14 6 380)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
72: (1 2 8 9)
#VT: (3 10 14 32 32 7 14 6 342)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
73: (1 2 6 9)
#VT: (3 10 14 32 32 7 14 6 341)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
76: (1 3 8 9)
#VT: (3 10 14 32 32 7 14 6 327)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
77: (1 6 7 9)
#VT: (3 10 14 32 32 7 14 6 291)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
82: (1 2 3 9)
#VT: (3 10 14 32 32 7 14 6 208)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil (58 67)
83: (2 7 8 9)
#VT: (3 10 14 32 32 7 14 6 207)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
85: (2 6 7 9)
#VT: (3 10 14 32 32 7 14 6 204)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
91: (1 4 8 9)
#VT: (3 10 14 32 32 7 14 6 198)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
94: (1 2 4 9)
#VT: (3 10 14 32 32 7 14 6 197)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
95: (1 5 8 9)
#VT: (3 10 14 32 32 7 14 6 194)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
96: (2 4 8 9)
#VT: (3 10 14 32 32 7 14 6 189)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
97: (1 5 6 9)
#VT: (3 10 14 32 32 7 14 6 187)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
100: (1 4 7 9)
#VT: (3 10 14 32 32 7 14 6 178)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
102: (1 2 5 9)
#VT: (3 10 14 32 31 7 14 6 178)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
105: (4 6 7 9)
#VT: (3 10 14 32 31 7 14 6 173)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
107: (2 5 8 9)
#VT: (3 10 14 32 31 7 14 6 172)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
109: (1 5 7 9)
#VT: (3 10 14 32 31 7 14 6 170)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
115: (5 6 7 9)
#VT: (3 10 14 32 31 7 14 6 168)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
117: (3 4 7 9)
#VT: (3 10 14 32 31 7 14 6 167)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil nil nil nil nil nil nil nil
121: (1 4 5 9)
#VT: (1 10 14 5 6 7 14 6 2)
Cells: (10 24 71 76) nil nil nil nil nil nil nil (19 29 41 54 60 66 80)
SetVC: ( n1r2c1 n9r3c1 n1r3c6 n9r4c2 n9r5c5 n9r6c9
n9r7c6 n9r8c3 n1r8c8 n1r9c4 n9r9c8 n8r3c4
n2r3c3 n2r6c8 n3r1c1 n6r1c6 n2r1c7 n9r2c7
n9r1c4 )
#VT: (1 2 4 5 6 2 14 3 1)
Cells: nil nil nil nil nil nil nil nil nil
Candidates:nil nil (62 63 72) (70 72) (70) nil nil nil nil
122: (4 5 8 9)
#VT: (1 2 4 3 4 2 14 1 1)
Cells: nil nil nil nil nil nil nil (8 12 63) nil
SetVC: ( n8r1c8 n8r2c3 n5r7c8 n8r7c9 n4r9c7 n3r5c8
n4r5c9 n4r7c1 n3r7c7 n7r8c7 n2r8c9 n5r9c2
n6r3c7 n5r4c7 n7r4c9 n5r5c1 n4r6c3 n5r6c6
n2r7c4 n3r8c4 n4r8c6 n5r1c3 n7r2c8 n3r2c9
n7r3c2 n4r4c4 n6r4c8 n5r8c5 n4r1c2 n7r1c5
n6r2c2 n5r2c4 n4r2c5 )
3 4 5 9 7 6 2 8 1
1 6 8 5 4 2 9 7 3
9 7 2 8 3 1 6 4 5
8 9 1 4 2 3 5 6 7
5 2 6 7 9 8 1 3 4
7 3 4 6 1 5 8 2 9
4 1 7 2 6 9 3 5 8
6 8 9 3 5 4 7 1 2
2 5 3 1 8 7 4 9 6