Analysis of xx-ph-00974509-13_03-base.sdk
Contents
Original Sudoku
level: hard
position: 98.7..6..5..8..4....3.96.8.6...5..9......72..........13.........9..38.6...61..... initial
Autosolve
position: 98.7..6..56.8..4.9..3.96.8.6...5..9......72.6........13.........9..38.6...61..... autosolve
Pair Reduction Variants
Deep Pair Reduction
Time used: 0:00:14.969366
The following important HDP chains were detected:
* PRF # F1: 1,2 # C2: 1,2 => SOL * STA # F1: 1,2 + C2: 1,2 * CNT 1 HDP CHAINS / 26 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
Positions
| 98.7..6..5..8..4....3.96.8.6...5..9......72..........13.........9..38.6...61..... | initial |
| 98.7..6..56.8..4.9..3.96.8.6...5..9......72.6........13.........9..38.6...61..... | autosolve |
| 982741635561823479743596182614352798835917246279684351328465917197238564456179823 | solved |
Classification
level: hard
Pairing Analysis
-------------------------------------------------- * PAIRS (1) E2: 1,2 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) F4,E5: 1.. / F4 = 1 => 3 pairs (_) / E5 = 1 => 9 pairs (_) F1,F2: 3.. / F1 = 3 => 10 pairs (_) / F2 = 3 => 1 pairs (_) F2,H2: 3.. / F2 = 3 => 1 pairs (_) / H2 = 3 => 10 pairs (_) F1,D3: 5.. / F1 = 5 => 4 pairs (_) / D3 = 5 => 5 pairs (_) D6,E6: 6.. / D6 = 6 => 1 pairs (_) / E6 = 6 => 4 pairs (_) D7,E7: 6.. / D7 = 6 => 4 pairs (_) / E7 = 6 => 1 pairs (_) D6,D7: 6.. / D6 = 6 => 1 pairs (_) / D7 = 6 => 4 pairs (_) E6,E7: 6.. / E6 = 6 => 4 pairs (_) / E7 = 6 => 1 pairs (_) E7,E9: 7.. / E7 = 7 => 5 pairs (_) / E9 = 7 => 1 pairs (_) C2,H2: 7.. / C2 = 7 => 1 pairs (_) / H2 = 7 => 4 pairs (_) E5,E6: 8.. / E5 = 8 => 3 pairs (_) / E6 = 8 => 4 pairs (_) C7,A9: 8.. / C7 = 8 => 1 pairs (_) / A9 = 8 => 2 pairs (_) C5,C6: 9.. / C5 = 9 => 4 pairs (_) / C6 = 9 => 2 pairs (_) G7,G9: 9.. / G7 = 9 => 2 pairs (_) / G9 = 9 => 2 pairs (_) C5,D5: 9.. / C5 = 9 => 4 pairs (_) / D5 = 9 => 2 pairs (_) F9,G9: 9.. / F9 = 9 => 2 pairs (_) / G9 = 9 => 2 pairs (_) * DURATION: 0:00:10.909983 START: 22:27:59.956784 END: 22:28:10.866767 2021-01-04 * CP COUNT: (16) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:14.788668 START: 22:28:15.156322 END: 22:28:29.944990 2021-01-04 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00974509-13_03-base-pr-002.dot * REASONING * PRF # F1: 1,2 # C2: 1,2 => SOL * STA # F1: 1,2 + C2: 1,2 * CNT 1 HDP CHAINS / 26 HYP OPENED
Header Info
974509;13_03;GP;24;11.30;1.20;1.20
Solution
position: 982741635561823479743596182614352798835917246279684351328465917197238564456179823 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 # E1: 1,2 => UNS * INC # F1: 1,2 => UNS * INC # F2: 1,2 => UNS * INC # C2: 1,2 => UNS * INC # H2: 1,2 => UNS * CNT 5 HDP CHAINS / 5 HYP OPENED
A2. Pair Reduction
Full list of HDP chains traversed:
* INC # E1: 1,2 => UNS * INC # F1: 1,2 => UNS * INC # F2: 1,2 => UNS * INC # C2: 1,2 => UNS * INC # H2: 1,2 => UNS * CNT 5 HDP CHAINS / 5 HYP OPENED
A3. Deep Pair Reduction
Full list of HDP chains traversed:
* INC # E1: 1,2 => UNS * INC # F1: 1,2 => UNS * INC # F2: 1,2 => UNS * INC # C2: 1,2 => UNS * INC # H2: 1,2 => UNS * INC # E1: 1,2 # C1: 1,2 => UNS * INC # E1: 1,2 # H1: 1,2 => UNS * INC # E1: 1,2 # F7: 4,5 => UNS * INC # E1: 1,2 # F9: 4,5 => UNS * INC # E1: 1,2 # C2: 1,2 => UNS * INC # E1: 1,2 # H2: 1,2 => UNS * INC # E1: 1,2 # D7: 4,5 => UNS * INC # E1: 1,2 # D8: 4,5 => UNS * INC # E1: 1,2 # E6: 4,8 => UNS * INC # E1: 1,2 # E6: 6 => UNS * INC # E1: 1,2 # A5: 4,8 => UNS * INC # E1: 1,2 # C5: 4,8 => UNS * INC # E1: 1,2 # E7: 4,7 => UNS * INC # E1: 1,2 # E7: 6 => UNS * INC # E1: 1,2 # A9: 4,7 => UNS * INC # E1: 1,2 # B9: 4,7 => UNS * INC # E1: 1,2 # H9: 4,7 => UNS * INC # E1: 1,2 # I9: 4,7 => UNS * INC # E1: 1,2 => UNS * PRF # F1: 1,2 # C2: 1,2 => SOL * STA # F1: 1,2 + C2: 1,2 * CNT 25 HDP CHAINS / 26 HYP OPENED