Analysis of xx-ph-00929689-13_05-base.sdk
Contents
Original Sudoku
level: hard
position: 98.7..6....5.9..4........598....3...4....2..3.7.6..2...1..67.....81....6....2.1.. initial
Autosolve
position: 98.7..6....5.9..4........598....3...4....2..3.7.6..2...1..67.....81....6....2.1.. autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:21.321627
The following important HDP chains were detected:
* DIS # I2: 1,2 # A2: 1,2 => CTR => A2: 3,6,7 * PRF # I2: 1,2 + A2: 3,6,7 # G7: 5,9 => SOL * STA # I2: 1,2 + A2: 3,6,7 + G7: 5,9 * CNT 2 HDP CHAINS / 29 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 98.7..6....5.9..4........598....3...4....2..3.7.6..2...1..67.....81....6....2.1.. | initial |
| 98.7..6....5.9..4........598....3...4....2..3.7.6..2...1..67.....81....6....2.1.. | autosolve |
| 984751632635298741127436859852913467461572983379684215213867594798145326546329178 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (1) I1: 1,2 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) D2,D3: 2.. / D2 = 2 => 2 pairs (_) / D3 = 2 => 2 pairs (_) B4,C4: 2.. / B4 = 2 => 2 pairs (_) / C4 = 2 => 1 pairs (_) A6,C6: 3.. / A6 = 3 => 3 pairs (_) / C6 = 3 => 2 pairs (_) E1,F1: 5.. / E1 = 5 => 3 pairs (_) / F1 = 5 => 2 pairs (_) F2,F3: 6.. / F2 = 6 => 2 pairs (_) / F3 = 6 => 2 pairs (_) H4,H5: 6.. / H4 = 6 => 1 pairs (_) / H5 = 6 => 5 pairs (_) E4,E5: 7.. / E4 = 7 => 1 pairs (_) / E5 = 7 => 1 pairs (_) C3,C9: 7.. / C3 = 7 => 2 pairs (_) / C9 = 7 => 1 pairs (_) * DURATION: 0:00:04.939642 START: 05:57:47.651637 END: 05:57:52.591279 2021-01-02 * CP COUNT: (8) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:21.115304 START: 05:57:56.226537 END: 05:58:17.341841 2021-01-02 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00929689-13_05-base-pr-002.dot * REASONING * DIS # I2: 1,2 # A2: 1,2 => CTR => A2: 3,6,7 * PRF # I2: 1,2 + A2: 3,6,7 # G7: 5,9 => SOL * STA # I2: 1,2 + A2: 3,6,7 + G7: 5,9 * CNT 2 HDP CHAINS / 29 HYP OPENED
Header Info
929689;13_05;GP;25;11.30;11.30;10.00
Solution
position: 984751632635298741127436859852913467461572983379684215213867594798145326546329178 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 # H1: 1,2 => UNS * INC # I2: 1,2 => UNS * INC # C1: 1,2 => UNS * INC # C1: 3,4 => UNS * CNT 4 HDP CHAINS / 4 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # H1: 1,2 => UNS * INC # I2: 1,2 => UNS * INC # C1: 1,2 => UNS * INC # C1: 3,4 => UNS * CNT 4 HDP CHAINS / 4 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # H1: 1,2 => UNS * INC # I2: 1,2 => UNS * INC # C1: 1,2 => UNS * INC # C1: 3,4 => UNS * INC # H1: 1,2 # B3: 3,4 => UNS * INC # H1: 1,2 # C3: 3,4 => UNS * INC # H1: 1,2 # E1: 3,4 => UNS * INC # H1: 1,2 # E1: 5 => UNS * INC # H1: 1,2 # C7: 3,4 => UNS * INC # H1: 1,2 # C9: 3,4 => UNS * INC # H1: 1,2 # E1: 4,5 => UNS * INC # H1: 1,2 # E1: 3 => UNS * INC # H1: 1,2 # F6: 4,5 => UNS * INC # H1: 1,2 # F8: 4,5 => UNS * INC # H1: 1,2 # F9: 4,5 => UNS * INC # H1: 1,2 # G2: 7,8 => UNS * INC # H1: 1,2 # G3: 7,8 => UNS * INC # H1: 1,2 # I9: 7,8 => UNS * INC # H1: 1,2 # I9: 4,5 => UNS * INC # H1: 1,2 => UNS * INC # I2: 1,2 # C1: 1,2 => UNS * INC # I2: 1,2 # C1: 4 => UNS * DIS # I2: 1,2 # A2: 1,2 => CTR => A2: 3,6,7 * INC # I2: 1,2 + A2: 3,6,7 # G4: 5,9 => UNS * INC # I2: 1,2 + A2: 3,6,7 # G4: 4 => UNS * INC # I2: 1,2 + A2: 3,6,7 # B5: 5,9 => UNS * INC # I2: 1,2 + A2: 3,6,7 # D5: 5,9 => UNS * PRF # I2: 1,2 + A2: 3,6,7 # G7: 5,9 => SOL * STA # I2: 1,2 + A2: 3,6,7 + G7: 5,9 * CNT 28 HDP CHAINS / 29 HYP OPENED