Contents
level: deep
Time used: 0:00:00.000007
List of important HDP chains detected for E7,E8: 6..:
* DIS # E7: 6 # E1: 3,5 => CTR => E1: 1,2,7 * DIS # E7: 6 + E1: 1,2,7 # H8: 8,9 => CTR => H8: 1,6 * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 # I8: 8,9 => CTR => I8: 1,4,5,6 * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 # H4: 8,9 => CTR => H4: 2,6,7 * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # I9: 1,6 => CTR => I9: 4,5,9 * CNT 5 HDP CHAINS / 70 HYP OPENED
List of important HDP chains detected for H2,I2: 9..:
* DIS # H2: 9 # H4: 7,8 => CTR => H4: 2,6 * DIS # H2: 9 + H4: 2,6 # I6: 7,8 => CTR => I6: 3,4,9 * DIS # H2: 9 + H4: 2,6 + I6: 3,4,9 # G7: 6,8 => CTR => G7: 4,9 * CNT 3 HDP CHAINS / 36 HYP OPENED
List of important HDP chains detected for C8,C9: 9..:
* PRF # C9: 9 # I8: 4,6 => SOL * STA # C9: 9 + I8: 4,6 * CNT 1 HDP CHAINS / 3 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
This sudoku is deep. Here is some information that may be helpful on how to proceed.
98.........76..5......9..4.3.........9..4..5...2..61....5..1..2...2..7......8..3. | initial |
98.........76..5......9..4.3.........9..4..5...2..61....5..1..2...2..7......8..3. | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A9,B9: 2.. / A9 = 2 => 1 pairs (_) / B9 = 2 => 0 pairs (_) F5,G5: 2.. / F5 = 2 => 0 pairs (_) / G5 = 2 => 1 pairs (_) A3,B3: 5.. / A3 = 5 => 0 pairs (_) / B3 = 5 => 2 pairs (_) I8,I9: 5.. / I8 = 5 => 1 pairs (_) / I9 = 5 => 0 pairs (_) A3,A6: 5.. / A3 = 5 => 0 pairs (_) / A6 = 5 => 2 pairs (_) E7,E8: 6.. / E7 = 6 => 2 pairs (_) / E8 = 6 => 1 pairs (_) H2,I2: 9.. / H2 = 9 => 2 pairs (_) / I2 = 9 => 0 pairs (_) C8,C9: 9.. / C8 = 9 => 0 pairs (_) / C9 = 9 => 1 pairs (_) * DURATION: 0:00:04.899088 START: 03:39:51.576797 END: 03:39:56.475885 2020-09-23 * CP COUNT: (8) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) E7,E8: 6.. / E7 = 6 ==> 4 pairs (_) / E8 = 6 ==> 1 pairs (_) H2,I2: 9.. / H2 = 9 ==> 4 pairs (_) / I2 = 9 ==> 0 pairs (_) A3,A6: 5.. / A3 = 5 ==> 0 pairs (_) / A6 = 5 ==> 2 pairs (_) A3,B3: 5.. / A3 = 5 ==> 0 pairs (_) / B3 = 5 ==> 2 pairs (_) C8,C9: 9.. / C8 = 9 => 0 pairs (X) / C9 = 9 ==> 0 pairs (*) * DURATION: 0:01:07.791200 START: 03:39:56.476521 END: 03:41:04.267721 2020-09-23 * REASONING E7,E8: 6.. * DIS # E7: 6 # E1: 3,5 => CTR => E1: 1,2,7 * DIS # E7: 6 + E1: 1,2,7 # H8: 8,9 => CTR => H8: 1,6 * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 # I8: 8,9 => CTR => I8: 1,4,5,6 * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 # H4: 8,9 => CTR => H4: 2,6,7 * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # I9: 1,6 => CTR => I9: 4,5,9 * CNT 5 HDP CHAINS / 70 HYP OPENED * REASONING H2,I2: 9.. * DIS # H2: 9 # H4: 7,8 => CTR => H4: 2,6 * DIS # H2: 9 + H4: 2,6 # I6: 7,8 => CTR => I6: 3,4,9 * DIS # H2: 9 + H4: 2,6 + I6: 3,4,9 # G7: 6,8 => CTR => G7: 4,9 * CNT 3 HDP CHAINS / 36 HYP OPENED * REASONING C8,C9: 9.. * PRF # C9: 9 # I8: 4,6 => SOL * STA # C9: 9 + I8: 4,6 * CNT 1 HDP CHAINS / 3 HYP OPENED * DCP COUNT: (5) * SOLUTION FOUND
34190;12_05;GP;21;11.60;11.60;2.60
Full list of HDP chains traversed for E7,E8: 6..:
* INC # E7: 6 # F8: 3,5 => UNS * INC # E7: 6 # F8: 4,9 => UNS * DIS # E7: 6 # E1: 3,5 => CTR => E1: 1,2,7 * INC # E7: 6 + E1: 1,2,7 # E6: 3,5 => UNS * INC # E7: 6 + E1: 1,2,7 # E6: 3,5 => UNS * INC # E7: 6 + E1: 1,2,7 # E6: 7 => UNS * INC # E7: 6 + E1: 1,2,7 # F8: 3,5 => UNS * INC # E7: 6 + E1: 1,2,7 # F8: 4,9 => UNS * INC # E7: 6 + E1: 1,2,7 # E6: 3,5 => UNS * INC # E7: 6 + E1: 1,2,7 # E6: 7 => UNS * INC # E7: 6 + E1: 1,2,7 # G7: 8,9 => UNS * DIS # E7: 6 + E1: 1,2,7 # H8: 8,9 => CTR => H8: 1,6 * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 # I8: 8,9 => CTR => I8: 1,4,5,6 * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 # G7: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 # G7: 4 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 # H2: 8,9 => UNS * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 # H4: 8,9 => CTR => H4: 2,6,7 * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # H6: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # G7: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # G7: 4 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # H2: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # H6: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # B7: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # A9: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # B9: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # D7: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # D7: 3,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # A6: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # A6: 5,8 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # F8: 3,5 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # F8: 4,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # E6: 3,5 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # E6: 7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # G7: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # G7: 4 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # H2: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # H6: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # I8: 1,6 => UNS * DIS # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 # I9: 1,6 => CTR => I9: 4,5,9 * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # I8: 1,6 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # I8: 4,5 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # H1: 1,6 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # H1: 2,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # B7: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # A9: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # B9: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # D7: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # D7: 3,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # A6: 4,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # A6: 5,8 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # F8: 3,5 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # F8: 4,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # E6: 3,5 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # E6: 7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # G7: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # G7: 4 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # H2: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # H6: 8,9 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # I8: 1,6 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # I8: 4,5 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # H1: 1,6 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 # H1: 2,7 => UNS * INC # E7: 6 + E1: 1,2,7 + H8: 1,6 + I8: 1,4,5,6 + H4: 2,6,7 + I9: 4,5,9 => UNS * INC # E8: 6 # D7: 3,7 => UNS * INC # E8: 6 # D7: 4,9 => UNS * INC # E8: 6 # B7: 3,7 => UNS * INC # E8: 6 # B7: 4,6 => UNS * INC # E8: 6 # E1: 3,7 => UNS * INC # E8: 6 # E6: 3,7 => UNS * INC # E8: 6 => UNS * CNT 70 HDP CHAINS / 70 HYP OPENED
Full list of HDP chains traversed for H2,I2: 9..:
* DIS # H2: 9 # H4: 7,8 => CTR => H4: 2,6 * INC # H2: 9 + H4: 2,6 # I4: 7,8 => UNS * INC # H2: 9 + H4: 2,6 # I5: 7,8 => UNS * DIS # H2: 9 + H4: 2,6 # I6: 7,8 => CTR => I6: 3,4,9 * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 # A6: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 # D6: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 # I4: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 # I5: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 # A6: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 # D6: 7,8 => UNS * DIS # H2: 9 + H4: 2,6 + I6: 3,4,9 # G7: 6,8 => CTR => G7: 4,9 * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # H8: 6,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # I8: 6,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # A7: 6,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # A7: 4,7 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # G4: 2,6 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # G5: 2,6 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # H1: 2,6 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # H1: 1,7 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # I4: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # I5: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # A6: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # D6: 7,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # I8: 4,9 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # G9: 4,9 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # I9: 4,9 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # D7: 4,9 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # D7: 3,7 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # G4: 4,9 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # G4: 2,6,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # H8: 6,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # I8: 6,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # A7: 6,8 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 # A7: 4,7 => UNS * INC # H2: 9 + H4: 2,6 + I6: 3,4,9 + G7: 4,9 => UNS * INC # I2: 9 => UNS * CNT 36 HDP CHAINS / 36 HYP OPENED
Full list of HDP chains traversed for A3,A6: 5..:
* INC # A6: 5 # B4: 4,7 => UNS * INC # A6: 5 # B4: 1,6 => UNS * INC # A6: 5 # I6: 4,7 => UNS * INC # A6: 5 # I6: 3,8,9 => UNS * INC # A6: 5 # B7: 4,7 => UNS * INC # A6: 5 # B9: 4,7 => UNS * INC # A6: 5 # D5: 3,7 => UNS * INC # A6: 5 # F5: 3,7 => UNS * INC # A6: 5 # D6: 3,7 => UNS * INC # A6: 5 # I6: 3,7 => UNS * INC # A6: 5 # I6: 4,8,9 => UNS * INC # A6: 5 # E1: 3,7 => UNS * INC # A6: 5 # E7: 3,7 => UNS * INC # A6: 5 => UNS * INC # A3: 5 => UNS * CNT 15 HDP CHAINS / 15 HYP OPENED
Full list of HDP chains traversed for A3,B3: 5..:
* INC # B3: 5 # B4: 4,7 => UNS * INC # B3: 5 # B4: 1,6 => UNS * INC # B3: 5 # I6: 4,7 => UNS * INC # B3: 5 # I6: 3,8,9 => UNS * INC # B3: 5 # B7: 4,7 => UNS * INC # B3: 5 # B9: 4,7 => UNS * INC # B3: 5 # D5: 3,7 => UNS * INC # B3: 5 # F5: 3,7 => UNS * INC # B3: 5 # D6: 3,7 => UNS * INC # B3: 5 # I6: 3,7 => UNS * INC # B3: 5 # I6: 4,8,9 => UNS * INC # B3: 5 # E1: 3,7 => UNS * INC # B3: 5 # E7: 3,7 => UNS * INC # B3: 5 => UNS * INC # A3: 5 => UNS * CNT 15 HDP CHAINS / 15 HYP OPENED
Full list of HDP chains traversed for C8,C9: 9..:
* INC # C9: 9 # G7: 4,6 => UNS * PRF # C9: 9 # I8: 4,6 => SOL * STA # C9: 9 + I8: 4,6 * CNT 2 HDP CHAINS / 3 HYP OPENED