Analysis of xx-ph-02320052-2019_03_16-base.sdk
Contents
Original Sudoku
level: deep
position: 98.76....7..5..9.......9.8.57...68....4....3....2....546...75....7.....4....1.... initial
Autosolve
position: 98.76..5.7..5..9.......9.8.57...68....4....3....2....546...75....7.....4....1.... autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000007
List of important HDP chains detected for F1,G1: 4..:
* DIS # F1: 4 # C3: 1,3 => CTR => C3: 2,5,6 * PRF # F1: 4 + C3: 2,5,6 # G3: 1,3 => SOL * STA # F1: 4 + C3: 2,5,6 + G3: 1,3 * CNT 2 HDP CHAINS / 7 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
Details
This sudoku is deep. Here is some information that may be helpful on how to proceed.
Positions
| 98.76....7..5..9.......9.8.57...68....4....3....2....546...75....7.....4....1.... | initial |
| 98.76..5.7..5..9.......9.8.57...68....4....3....2....546...75....7.....4....1.... | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) B2,B3: 4.. / B2 = 4 => 0 pairs (_) / B3 = 4 => 2 pairs (_) D9,F9: 4.. / D9 = 4 => 1 pairs (_) / F9 = 4 => 0 pairs (_) F1,G1: 4.. / F1 = 4 => 2 pairs (_) / G1 = 4 => 0 pairs (_) B3,C3: 5.. / B3 = 5 => 0 pairs (_) / C3 = 5 => 0 pairs (_) E5,F5: 5.. / E5 = 5 => 1 pairs (_) / F5 = 5 => 0 pairs (_) C3,C9: 5.. / C3 = 5 => 0 pairs (_) / C9 = 5 => 0 pairs (_) E5,E8: 5.. / E5 = 5 => 1 pairs (_) / E8 = 5 => 0 pairs (_) D8,D9: 6.. / D8 = 6 => 0 pairs (_) / D9 = 6 => 0 pairs (_) G3,I3: 7.. / G3 = 7 => 0 pairs (_) / I3 = 7 => 0 pairs (_) E5,E6: 7.. / E5 = 7 => 0 pairs (_) / E6 = 7 => 0 pairs (_) H6,H9: 7.. / H6 = 7 => 0 pairs (_) / H9 = 7 => 0 pairs (_) E2,F2: 8.. / E2 = 8 => 0 pairs (_) / F2 = 8 => 1 pairs (_) I7,I9: 8.. / I7 = 8 => 1 pairs (_) / I9 = 8 => 1 pairs (_) * DURATION: 0:00:09.499968 START: 11:09:59.880047 END: 11:10:09.380015 2020-11-10 * CP COUNT: (13) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) F1,G1: 4.. / F1 = 4 ==> 0 pairs (*) / G1 = 4 => 0 pairs (X) * DURATION: 0:00:15.017074 START: 11:10:09.380661 END: 11:10:24.397735 2020-11-10 * REASONING F1,G1: 4.. * DIS # F1: 4 # C3: 1,3 => CTR => C3: 2,5,6 * PRF # F1: 4 + C3: 2,5,6 # G3: 1,3 => SOL * STA # F1: 4 + C3: 2,5,6 + G3: 1,3 * CNT 2 HDP CHAINS / 7 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
2320052;2019_03_16;PAQ;24;11.40;1.20;1.20
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for F1,G1: 4..:
* INC # F1: 4 # F2: 1,3 => UNS * INC # F1: 4 # F2: 2,8 => UNS * INC # F1: 4 # A3: 1,3 => UNS * INC # F1: 4 # B3: 1,3 => UNS * DIS # F1: 4 # C3: 1,3 => CTR => C3: 2,5,6 * PRF # F1: 4 + C3: 2,5,6 # G3: 1,3 => SOL * STA # F1: 4 + C3: 2,5,6 + G3: 1,3 * CNT 6 HDP CHAINS / 7 HYP OPENED