Analysis of xx-ph-00000406-stpatrick-13-base.sdk
Contents
Original Sudoku
level: deep
position: 5.......9.2.1...7...8...3...4.2.........57......4.6.1.3.....8...6...4.2...9.....5 initial
Autosolve
position: 5.......9.2.1...7...8...3...4.2.........57......4.6.1.3.....8...6...4.2...9.....5 autosolve
Pair Reduction Variants
Deep Constraint Pair Analysis
Time used: 0:00:00.000014
List of important HDP chains detected for H1,I2: 8..:
* DIS # H1: 8 # G2: 4,6 => CTR => G2: 5 * DIS # H1: 8 + G2: 5 # E2: 4,6 => CTR => E2: 3,8,9 * PRF # H1: 8 + G2: 5 + E2: 3,8,9 # E1: 2,3 => SOL * STA # H1: 8 + G2: 5 + E2: 3,8,9 + E1: 2,3 * CNT 3 HDP CHAINS / 16 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
| 5.......9.2.1...7...8...3...4.2.........57......4.6.1.3.....8...6...4.2...9.....5 | initial |
| 5.......9.2.1...7...8...3...4.2.........57......4.6.1.3.....8...6...4.2...9.....5 | autosolve |
Classification
level: deep
Pairing Analysis
-------------------------------------------------- * PAIRS (4) G1: 1,2 I3: 1,2 C7: 2,4 A9: 2,4 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G1,I3: 1.. / G1 = 1 => 5 pairs (_) / I3 = 1 => 5 pairs (_) E4,F4: 1.. / E4 = 1 => 4 pairs (_) / F4 = 1 => 4 pairs (_) G1,I3: 2.. / G1 = 2 => 5 pairs (_) / I3 = 2 => 5 pairs (_) C7,A9: 2.. / C7 = 2 => 4 pairs (_) / A9 = 2 => 4 pairs (_) I8,H9: 3.. / I8 = 3 => 5 pairs (_) / H9 = 3 => 5 pairs (_) C7,A9: 4.. / C7 = 4 => 4 pairs (_) / A9 = 4 => 4 pairs (_) G2,H3: 5.. / G2 = 5 => 5 pairs (_) / H3 = 5 => 6 pairs (_) B7,C8: 5.. / B7 = 5 => 5 pairs (_) / C8 = 5 => 5 pairs (_) F2,G2: 5.. / F2 = 5 => 6 pairs (_) / G2 = 5 => 5 pairs (_) C8,D8: 5.. / C8 = 5 => 5 pairs (_) / D8 = 5 => 5 pairs (_) B6,B7: 5.. / B6 = 5 => 5 pairs (_) / B7 = 5 => 5 pairs (_) H3,H4: 5.. / H3 = 5 => 6 pairs (_) / H4 = 5 => 5 pairs (_) H1,I2: 8.. / H1 = 8 => 6 pairs (_) / I2 = 8 => 5 pairs (_) A8,B9: 8.. / A8 = 8 => 5 pairs (_) / B9 = 8 => 5 pairs (_) H7,G8: 9.. / H7 = 9 => 5 pairs (_) / G8 = 9 => 5 pairs (_) * DURATION: 0:00:10.832966 START: 11:20:42.229211 END: 11:20:53.062177 2020-10-18 * CP COUNT: (15) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) H1,I2: 8.. / H1 = 8 ==> 0 pairs (*) / I2 = 8 => 0 pairs (X) * DURATION: 0:00:19.759875 START: 11:20:53.990709 END: 11:21:13.750584 2020-10-18 * REASONING H1,I2: 8.. * DIS # H1: 8 # G2: 4,6 => CTR => G2: 5 * DIS # H1: 8 + G2: 5 # E2: 4,6 => CTR => E2: 3,8,9 * PRF # H1: 8 + G2: 5 + E2: 3,8,9 # E1: 2,3 => SOL * STA # H1: 8 + G2: 5 + E2: 3,8,9 + E1: 2,3 * CNT 3 HDP CHAINS / 16 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
Header Info
406;stpatrick-13;tax;21;11.40;11.40;2.60
Appendix: Full HDP Chains
A1. Deep Constraint Pair Analysis
Full list of HDP chains traversed for H1,I2: 8..:
* INC # H1: 8 # E1: 2,3 => UNS * INC # H1: 8 # E1: 4,6,7 => UNS * INC # H1: 8 # F9: 2,3 => UNS * INC # H1: 8 # F9: 1,8 => UNS * DIS # H1: 8 # G2: 4,6 => CTR => G2: 5 * INC # H1: 8 + G2: 5 # A2: 4,6 => UNS * INC # H1: 8 + G2: 5 # C2: 4,6 => UNS * DIS # H1: 8 + G2: 5 # E2: 4,6 => CTR => E2: 3,8,9 * INC # H1: 8 + G2: 5 + E2: 3,8,9 # I5: 4,6 => UNS * INC # H1: 8 + G2: 5 + E2: 3,8,9 # I7: 4,6 => UNS * INC # H1: 8 + G2: 5 + E2: 3,8,9 # A2: 4,6 => UNS * INC # H1: 8 + G2: 5 + E2: 3,8,9 # C2: 4,6 => UNS * INC # H1: 8 + G2: 5 + E2: 3,8,9 # I5: 4,6 => UNS * INC # H1: 8 + G2: 5 + E2: 3,8,9 # I7: 4,6 => UNS * PRF # H1: 8 + G2: 5 + E2: 3,8,9 # E1: 2,3 => SOL * STA # H1: 8 + G2: 5 + E2: 3,8,9 + E1: 2,3 * CNT 15 HDP CHAINS / 16 HYP OPENED