Analysis of xx-ph-00974345-13_03-base.sdk
Contents
Original Sudoku
level: hard
position: 98.7..6..5..4...3...2.....83...1..2..9.6..4....8.....5.1...6.....91.........471.. initial
Autosolve
position: 98.7..6..5..4...3...2.....83...1..2..9.6..4....8.....5.1...6.....91.........471.. autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:46.633277
The following important HDP chains were detected:
* DIS # A3: 6,7 # A6: 6,7 => CTR => A6: 1,2,4 * DIS # B3: 6,7 # F1: 1 => CTR => F1: 2,5 * DIS # B3: 6,7 + F1: 2,5 # E7: 2,5 => CTR => E7: 3,8,9 * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 # C4: 4,5 => CTR => C4: 6,7 * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 # F4: 8,9 => CTR => F4: 4,5 * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 # F6: 3,9 => CTR => F6: 2,4 * PRF # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 + F6: 2,4 # H9: 5,6 => SOL * STA # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 + F6: 2,4 + H9: 5,6 * CNT 7 HDP CHAINS / 79 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 98.7..6..5..4...3...2.....83...1..2..9.6..4....8.....5.1...6.....91.........471.. | initial |
| 98.7..6..5..4...3...2.....83...1..2..9.6..4....8.....5.1...6.....91.........471.. | autosolve |
| 983752641561489732472361598347815926195623487628974315214596873759138264836247159 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (1) B2: 6,7 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A6,H6: 1.. / A6 = 1 => 3 pairs (_) / H6 = 1 => 6 pairs (_) C1,B3: 3.. / C1 = 3 => 3 pairs (_) / B3 = 3 => 3 pairs (_) I5,G6: 3.. / I5 = 3 => 3 pairs (_) / G6 = 3 => 3 pairs (_) F4,F6: 4.. / F4 = 4 => 4 pairs (_) / F6 = 4 => 1 pairs (_) E2,E3: 6.. / E2 = 6 => 7 pairs (_) / E3 = 6 => 1 pairs (_) I4,H6: 6.. / I4 = 6 => 1 pairs (_) / H6 = 6 => 4 pairs (_) E5,E6: 7.. / E5 = 7 => 5 pairs (_) / E6 = 7 => 2 pairs (_) E2,F2: 8.. / E2 = 8 => 1 pairs (_) / F2 = 8 => 1 pairs (_) G4,H5: 8.. / G4 = 8 => 3 pairs (_) / H5 = 8 => 2 pairs (_) * DURATION: 0:00:05.096662 START: 08:07:32.699779 END: 08:07:37.796441 2021-01-04 * CP COUNT: (9) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:46.333769 START: 08:07:42.480844 END: 08:08:28.814613 2021-01-04 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00974345-13_03-base-pr-002.dot * REASONING * DIS # A3: 6,7 # A6: 6,7 => CTR => A6: 1,2,4 * DIS # B3: 6,7 # F1: 1 => CTR => F1: 2,5 * DIS # B3: 6,7 + F1: 2,5 # E7: 2,5 => CTR => E7: 3,8,9 * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 # C4: 4,5 => CTR => C4: 6,7 * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 # F4: 8,9 => CTR => F4: 4,5 * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 # F6: 3,9 => CTR => F6: 2,4 * PRF # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 + F6: 2,4 # H9: 5,6 => SOL * STA # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 + F6: 2,4 + H9: 5,6 * CNT 7 HDP CHAINS / 79 HYP OPENED
Header Info
974345;13_03;GP;24;11.30;11.30;9.50
Solution
position: 983752641561489732472361598347815926195623487628974315214596873759138264836247159 solved
See section Deep Pair Reduction for the HDP chains leading to this result.
Appendix: Full HDP Chains
A1. Pair Reduction Analysis
Full list of HDP chains traversed:
* INC # C2: 6,7 => UNS * INC # A3: 6,7 => UNS * INC # B3: 6,7 => UNS * INC # B4: 6,7 => UNS * INC # B6: 6,7 => UNS * INC # B8: 6,7 => UNS * CNT 6 HDP CHAINS / 6 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # C2: 6,7 => UNS * INC # A3: 6,7 => UNS * INC # B3: 6,7 => UNS * INC # B4: 6,7 => UNS * INC # B6: 6,7 => UNS * INC # B8: 6,7 => UNS * CNT 6 HDP CHAINS / 6 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # C2: 6,7 => UNS * INC # A3: 6,7 => UNS * INC # B3: 6,7 => UNS * INC # B4: 6,7 => UNS * INC # B6: 6,7 => UNS * INC # B8: 6,7 => UNS * INC # C2: 6,7 # B4: 6,7 => UNS * INC # C2: 6,7 # B6: 6,7 => UNS * INC # C2: 6,7 # B8: 6,7 => UNS * INC # C2: 6,7 # C4: 6,7 => UNS * INC # C2: 6,7 # C4: 4,5 => UNS * INC # C2: 6,7 # C1: 1,4 => UNS * INC # C2: 6,7 # C1: 3 => UNS * INC # C2: 6,7 # H3: 1,4 => UNS * INC # C2: 6,7 # H3: 5,7,9 => UNS * INC # C2: 6,7 # A6: 1,4 => UNS * INC # C2: 6,7 # A6: 2,6,7 => UNS * INC # C2: 6,7 # C1: 3,4 => UNS * INC # C2: 6,7 # C1: 1 => UNS * INC # C2: 6,7 # B8: 3,4 => UNS * INC # C2: 6,7 # B8: 2,5,6,7 => UNS * INC # C2: 6,7 # I2: 2,9 => UNS * INC # C2: 6,7 # I2: 1 => UNS * INC # C2: 6,7 # E2: 2,9 => UNS * INC # C2: 6,7 # F2: 2,9 => UNS * INC # C2: 6,7 # G7: 2,9 => UNS * INC # C2: 6,7 # G7: 3,5,7,8 => UNS * INC # C2: 6,7 => UNS * INC # A3: 6,7 # C7: 3,4 => UNS * INC # A3: 6,7 # C7: 5,7 => UNS * INC # A3: 6,7 # B4: 6,7 => UNS * INC # A3: 6,7 # B6: 6,7 => UNS * INC # A3: 6,7 # B8: 6,7 => UNS * DIS # A3: 6,7 # A6: 6,7 => CTR => A6: 1,2,4 * INC # A3: 6,7 + A6: 1,2,4 # A8: 6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # A8: 6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # A8: 2,4,8 => UNS * INC # A3: 6,7 + A6: 1,2,4 # A8: 6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # A8: 2,4,8 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B8: 3,4 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B8: 2,5,6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B4: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # C4: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # E5: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # E5: 2,3,8 => UNS * INC # A3: 6,7 + A6: 1,2,4 # C7: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # C7: 3,4 => UNS * INC # A3: 6,7 + A6: 1,2,4 # C7: 3,4 => UNS * INC # A3: 6,7 + A6: 1,2,4 # C7: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B4: 6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B6: 6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B8: 6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # A8: 6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # A8: 2,4,8 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B8: 3,4 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B8: 2,5,6,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # B4: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # C4: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # E5: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # E5: 2,3,8 => UNS * INC # A3: 6,7 + A6: 1,2,4 # C7: 5,7 => UNS * INC # A3: 6,7 + A6: 1,2,4 # C7: 3,4 => UNS * INC # A3: 6,7 + A6: 1,2,4 => UNS * INC # B3: 6,7 # F1: 2,5 => UNS * DIS # B3: 6,7 # F1: 1 => CTR => F1: 2,5 * INC # B3: 6,7 + F1: 2,5 # E5: 2,5 => UNS * DIS # B3: 6,7 + F1: 2,5 # E7: 2,5 => CTR => E7: 3,8,9 * INC # B3: 6,7 + F1: 2,5 + E7: 3,8,9 # E8: 2,5 => UNS * INC # B3: 6,7 + F1: 2,5 + E7: 3,8,9 # E5: 2,5 => UNS * INC # B3: 6,7 + F1: 2,5 + E7: 3,8,9 # E8: 2,5 => UNS * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 # C4: 4,5 => CTR => C4: 6,7 * INC # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 # F4: 4,5 => UNS * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 # F4: 8,9 => CTR => F4: 4,5 * INC # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 # E5: 5,7 => UNS * INC # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 # E5: 2,3,8 => UNS * INC # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 # F6: 2,4 => UNS * DIS # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 # F6: 3,9 => CTR => F6: 2,4 * PRF # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 + F6: 2,4 # H9: 5,6 => SOL * STA # B3: 6,7 + F1: 2,5 + E7: 3,8,9 + C4: 6,7 + F4: 4,5 + F6: 2,4 + H9: 5,6 * CNT 78 HDP CHAINS / 79 HYP OPENED