Analysis of xx-ph-00975027-13_03-base.sdk
Contents
Original Sudoku
level: hard
position: 98.7..6..7...5..9...4..9...8....73...3.....72...3...6.5...7...1.2.8..7.......4... initial
Autosolve
position: 98.7..6..7...5..9...4..9..78....73...3.....72...3...6.5...7...1.2.8..7.......4... autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:47.180897
The following important HDP chains were detected:
* DIS # A3: 1,6 # H1: 2,3 => CTR => H1: 1,4,5 * DIS # A3: 1,6 + H1: 1,4,5 # F2: 1,6 => CTR => F2: 2,3,8 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # F2: 2,3 => CTR => F2: 8 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 # E3: 1,6 => CTR => E3: 2,3 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 # D3: 2 => CTR => D3: 1,6 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 # A9: 1,6 => CTR => A9: 3 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 # E1: 2,3 => CTR => E1: 1,4 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 # F1: 1 => CTR => F1: 2,3 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 # D2: 4 => CTR => D2: 1,6 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 # B9: 1,6 => CTR => B9: 7,9 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 # B4: 4,9 => CTR => B4: 1,6 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 + B4: 1,6 # A5: 1,6 => CTR => A5: 4 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 + B4: 1,6 + A5: 4 => CTR => A3: 2,3 * PRF A3: 2,3 # B3: 1,6 # E3: 1,6 => SOL * STA A3: 2,3 # B3: 1,6 + E3: 1,6 * CNT 14 HDP CHAINS / 81 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 98.7..6..7...5..9...4..9...8....73...3.....72...3...6.5...7...1.2.8..7.......4... | initial |
| 98.7..6..7...5..9...4..9..78....73...3.....72...3...6.5...7...1.2.8..7.......4... | autosolve |
| 985713624762458193314269587846927315139586472257341968593672841421895736678134259 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (1) B2: 1,6 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A3,A6: 2.. / A3 = 2 => 3 pairs (_) / A6 = 2 => 1 pairs (_) E1,D2: 4.. / E1 = 4 => 2 pairs (_) / D2 = 4 => 2 pairs (_) B7,A8: 4.. / B7 = 4 => 1 pairs (_) / A8 = 4 => 5 pairs (_) C1,B3: 5.. / C1 = 5 => 7 pairs (_) / B3 = 5 => 1 pairs (_) F8,D9: 5.. / F8 = 5 => 2 pairs (_) / D9 = 5 => 1 pairs (_) I8,I9: 6.. / I8 = 6 => 1 pairs (_) / I9 = 6 => 2 pairs (_) B6,C6: 7.. / B6 = 7 => 1 pairs (_) / C6 = 7 => 1 pairs (_) B9,C9: 7.. / B9 = 7 => 1 pairs (_) / C9 = 7 => 1 pairs (_) B6,B9: 7.. / B6 = 7 => 1 pairs (_) / B9 = 7 => 1 pairs (_) C6,C9: 7.. / C6 = 7 => 1 pairs (_) / C9 = 7 => 1 pairs (_) F2,E3: 8.. / F2 = 8 => 2 pairs (_) / E3 = 8 => 1 pairs (_) C7,C9: 8.. / C7 = 8 => 1 pairs (_) / C9 = 8 => 1 pairs (_) * DURATION: 0:00:07.277635 START: 04:00:32.186748 END: 04:00:39.464383 2021-01-05 * CP COUNT: (12) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:46.895746 START: 04:00:45.451493 END: 04:01:32.347239 2021-01-05 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00975027-13_03-base-pr-002.dot * REASONING * DIS # A3: 1,6 # H1: 2,3 => CTR => H1: 1,4,5 * DIS # A3: 1,6 + H1: 1,4,5 # F2: 1,6 => CTR => F2: 2,3,8 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # F2: 2,3 => CTR => F2: 8 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 # E3: 1,6 => CTR => E3: 2,3 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 # D3: 2 => CTR => D3: 1,6 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 # A9: 1,6 => CTR => A9: 3 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 # E1: 2,3 => CTR => E1: 1,4 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 # F1: 1 => CTR => F1: 2,3 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 # D2: 4 => CTR => D2: 1,6 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 # B9: 1,6 => CTR => B9: 7,9 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 # B4: 4,9 => CTR => B4: 1,6 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 + B4: 1,6 # A5: 1,6 => CTR => A5: 4 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 + B4: 1,6 + A5: 4 => CTR => A3: 2,3 * PRF A3: 2,3 # B3: 1,6 # E3: 1,6 => SOL * STA A3: 2,3 # B3: 1,6 + E3: 1,6 * CNT 14 HDP CHAINS / 81 HYP OPENED
Header Info
975027;13_03;GP;24;11.30;1.20;1.20
Solution
position: 985713624762458193314269587846927315139586472257341968593672841421895736678134259 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: 1,6 => UNS * INC # A3: 1,6 => UNS * INC # B3: 1,6 => UNS * INC # D2: 1,6 => UNS * INC # F2: 1,6 => UNS * INC # B4: 1,6 => UNS * INC # B9: 1,6 => UNS * CNT 7 HDP CHAINS / 7 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # C2: 1,6 => UNS * INC # A3: 1,6 => UNS * INC # B3: 1,6 => UNS * INC # D2: 1,6 => UNS * INC # F2: 1,6 => UNS * INC # B4: 1,6 => UNS * INC # B9: 1,6 => UNS * CNT 7 HDP CHAINS / 7 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # C2: 1,6 => UNS * INC # A3: 1,6 => UNS * INC # B3: 1,6 => UNS * INC # D2: 1,6 => UNS * INC # F2: 1,6 => UNS * INC # B4: 1,6 => UNS * INC # B9: 1,6 => UNS * INC # C2: 1,6 # E1: 2,3 => UNS * INC # C2: 1,6 # F1: 2,3 => UNS * INC # C2: 1,6 # H1: 2,3 => UNS * INC # C2: 1,6 # B4: 1,6 => UNS * INC # C2: 1,6 # B9: 1,6 => UNS * INC # C2: 1,6 # C4: 1,6 => UNS * INC # C2: 1,6 # C5: 1,6 => UNS * INC # C2: 1,6 # C8: 1,6 => UNS * INC # C2: 1,6 # C9: 1,6 => UNS * INC # C2: 1,6 # E3: 2,3 => UNS * INC # C2: 1,6 # H3: 2,3 => UNS * INC # C2: 1,6 # E1: 2,4 => UNS * INC # C2: 1,6 # E1: 1,3 => UNS * INC # C2: 1,6 # G2: 2,4 => UNS * INC # C2: 1,6 # G2: 8 => UNS * INC # C2: 1,6 # D4: 2,4 => UNS * INC # C2: 1,6 # D4: 1,5,6,9 => UNS * INC # C2: 1,6 => UNS * INC # A3: 1,6 # E1: 2,3 => UNS * INC # A3: 1,6 # F1: 2,3 => UNS * DIS # A3: 1,6 # H1: 2,3 => CTR => H1: 1,4,5 * INC # A3: 1,6 + H1: 1,4,5 # E1: 2,3 => UNS * INC # A3: 1,6 + H1: 1,4,5 # F1: 2,3 => UNS * INC # A3: 1,6 + H1: 1,4,5 # D2: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 # F2: 1,6 => CTR => F2: 2,3,8 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # D2: 1,6 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # D2: 2,4 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # B4: 1,6 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # B9: 1,6 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # D2: 1,6 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # D2: 2,4 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # B4: 1,6 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # B9: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 # F2: 2,3 => CTR => F2: 8 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 # D3: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 # E3: 1,6 => CTR => E3: 2,3 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 # D3: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 # D3: 2 => CTR => D3: 1,6 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 # A5: 1,6 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 # A8: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 # A9: 1,6 => CTR => A9: 3 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 # A5: 1,6 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 # A8: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 # E1: 2,3 => CTR => E1: 1,4 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 # F1: 2,3 => UNS * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 # F1: 2,3 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 # F1: 1 => CTR => F1: 2,3 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 # D2: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 # D2: 4 => CTR => D2: 1,6 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 # B4: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 # B9: 1,6 => CTR => B9: 7,9 * INC # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 # B4: 1,6 => UNS * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 # B4: 4,9 => CTR => B4: 1,6 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 + B4: 1,6 # A5: 1,6 => CTR => A5: 4 * DIS # A3: 1,6 + H1: 1,4,5 + F2: 2,3,8 + F2: 8 + E3: 2,3 + D3: 1,6 + A9: 3 + E1: 1,4 + F1: 2,3 + D2: 1,6 + B9: 7,9 + B4: 1,6 + A5: 4 => CTR => A3: 2,3 * INC A3: 2,3 # C2: 1,6 => UNS * INC A3: 2,3 # B3: 1,6 => UNS * INC A3: 2,3 # D2: 1,6 => UNS * INC A3: 2,3 # F2: 1,6 => UNS * INC A3: 2,3 # B4: 1,6 => UNS * INC A3: 2,3 # B9: 1,6 => UNS * INC A3: 2,3 # C1: 2,3 => UNS * INC A3: 2,3 # C2: 2,3 => UNS * INC A3: 2,3 # E3: 2,3 => UNS * INC A3: 2,3 # H3: 2,3 => UNS * INC A3: 2,3 # B3: 1,6 # D2: 1,6 => UNS * INC A3: 2,3 # B3: 1,6 # F2: 1,6 => UNS * INC A3: 2,3 # B3: 1,6 # F2: 2,3 => UNS * INC A3: 2,3 # B3: 1,6 # F2: 1,6,8 => UNS * INC A3: 2,3 # B3: 1,6 # E3: 2,3 => UNS * INC A3: 2,3 # B3: 1,6 # H3: 2,3 => UNS * INC A3: 2,3 # B3: 1,6 # D3: 1,6 => UNS * PRF A3: 2,3 # B3: 1,6 # E3: 1,6 => SOL * STA A3: 2,3 # B3: 1,6 + E3: 1,6 * CNT 80 HDP CHAINS / 81 HYP OPENED