- Code: Select all
`98.7.....7.....6....6.5.....4...5.3...79..5......2...1..85..9......1...4.....3.2. ED=11.9/11.9/11.8 GP;champagne dry;1;22;`

The first 6 SE solving steps are below (subsequent steps are 11.4/11.5 and lower):

- Code: Select all
`98.7.....7.....6....6.5.....4...5.3...79..5......2...1..85..9......1...4.....3.2. 11.8, Contradiction Forcing Chain: R9C5.4 on ==> R6C4.6 both on & off: -4r9c5`

98.7.....7.....6....6.5.....4...5.3...79..5......2...1..85..9......1...4.....3.2. 11.8, Contradiction Forcing Chain: R6C4.8 on ==> R4C5.6 both on & off: -8r6c4

98.7.....7.....6....6.5.....4...5.3...79..5......2...1..85..9......1...4.....3.2. 11.9, Contradiction Forcing Chain: R5C5.6 on ==> R4C5.8 both on & off: -6r5c5

98.7.....7.....6....6.5.....4...5.3...79..5......2...1..85..9......1...4.....3.2. 11.9, Contradiction Forcing Chain: R6C8.4 on ==> R8C7.8 both on & off: -4r6c8

98.7.....7.....6....6.5.....4...5.3...79..5......2...1..85..9......1...4.....3.2. 11.9, Contradiction Forcing Chain: R2C5.4 on ==> R5C6.4 both on & off: -4r2c5

98.7.....7.....6....6.5.....4...5.3...79..5......2...1..85..9......1...4.....3.2. 11.9, Contradiction Forcing Chain: R6C7.8 on ==> R1C6.6 both on & off: -8r6c7

SE is running in NestedForcingChain code, at level=4, nestingLimit=0, thus the SER is at least 10.5:

- Code: Select all
`difficulty = 8.5 + 0.5 * level;`

To the difficulty value a chain complexity (length!) value is added, as from this table:

- Code: Select all
`chain, value`

192, 1.2

256, 1.3

384, 1.4

512, 1.5

768, 1.6

1024, 1.7

For the 6 solving steps above, the chain complexity value and SER value to be added are below:

- Code: Select all
`chain, value`

l=364, add=1.3

l=378, add=1.3

l=398, add=1.4

l=434, add=1.4

l=467, add=1.4

l=446, add=1.4

For an SER=12.0 puzzle, the complexity value must be at least 514, as l is calculated as follows:

- Code: Select all
`length = getComplexity() - 2;`

The l=512, add 1.5 is not very far off...