Contents
level: deep
Time used: 0:00:00.000018
List of important HDP chains detected for E2,F2: 8..:
* DIS # F2: 8 # E6: 1,2 => CTR => E6: 3,6,8 * DIS # F2: 8 + E6: 3,6,8 # E4: 6,8 => CTR => E4: 1,2 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 # E7: 1,2 => CTR => E7: 4,6,8 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # C4: 6,8 => CTR => C4: 9 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 # G4: 6,8 => CTR => G4: 1,7 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # I6: 1,2 => CTR => I6: 4,6,8 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 # H6: 6 => CTR => H6: 1,2 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 # A5: 6,8 => CTR => A5: 2,3,4 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 # B5: 3,4 => CTR => B5: 2,7 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 # B1: 3,4 => CTR => B1: 1,5,9 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 # B2: 3,4 => CTR => B2: 5,9 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 # B9: 3,4 => CTR => B9: 1,5 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 + B9: 1,5 # D5: 6,8 => CTR => D5: 3 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 + B9: 1,5 + D5: 3 => CTR => F2: 5,9 * STA F2: 5,9 * CNT 14 HDP CHAINS / 43 HYP OPENED
List of important HDP chains detected for B4,C4: 9..:
* DIS # B4: 9 # E4: 6,8 => CTR => E4: 1,2,5 * PRF # B4: 9 + E4: 1,2,5 # G4: 6,8 => SOL * STA # B4: 9 + E4: 1,2,5 + G4: 6,8 * CNT 2 HDP CHAINS / 7 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.
.....6.8...71..2...8.....4......4..3..1.9....5..7..9..7..9..5...6...3...9.2...... | initial |
.....6.8...71..2...8.....4......4..3..1.9....5..7..9..7..9..5...6...3...9.2...... | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) D5,E6: 3.. / D5 = 3 => 1 pairs (_) / E6 = 3 => 1 pairs (_) C8,B9: 5.. / C8 = 5 => 0 pairs (_) / B9 = 5 => 1 pairs (_) B4,B5: 7.. / B4 = 7 => 0 pairs (_) / B5 = 7 => 1 pairs (_) F3,F9: 7.. / F3 = 7 => 1 pairs (_) / F9 = 7 => 0 pairs (_) E2,F2: 8.. / E2 = 8 => 1 pairs (_) / F2 = 8 => 2 pairs (_) F2,F3: 9.. / F2 = 9 => 1 pairs (_) / F3 = 9 => 1 pairs (_) B4,C4: 9.. / B4 = 9 => 1 pairs (_) / C4 = 9 => 1 pairs (_) H8,I8: 9.. / H8 = 9 => 0 pairs (_) / I8 = 9 => 2 pairs (_) H2,H8: 9.. / H2 = 9 => 2 pairs (_) / H8 = 9 => 0 pairs (_) * DURATION: 0:00:07.223368 START: 20:48:59.335390 END: 20:49:06.558758 2020-11-21 * CP COUNT: (9) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) E2,F2: 8.. / E2 = 8 => 1 pairs (_) / F2 = 8 ==> 0 pairs (X) H2,H8: 9.. / H2 = 9 ==> 2 pairs (_) / H8 = 9 ==> 0 pairs (_) H8,I8: 9.. / H8 = 9 ==> 0 pairs (_) / I8 = 9 ==> 2 pairs (_) B4,C4: 9.. / B4 = 9 ==> 0 pairs (*) / C4 = 9 => 0 pairs (X) * DURATION: 0:00:51.053728 START: 20:49:06.560136 END: 20:49:57.613864 2020-11-21 * REASONING E2,F2: 8.. * DIS # F2: 8 # E6: 1,2 => CTR => E6: 3,6,8 * DIS # F2: 8 + E6: 3,6,8 # E4: 6,8 => CTR => E4: 1,2 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 # E7: 1,2 => CTR => E7: 4,6,8 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # C4: 6,8 => CTR => C4: 9 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 # G4: 6,8 => CTR => G4: 1,7 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # I6: 1,2 => CTR => I6: 4,6,8 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 # H6: 6 => CTR => H6: 1,2 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 # A5: 6,8 => CTR => A5: 2,3,4 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 # B5: 3,4 => CTR => B5: 2,7 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 # B1: 3,4 => CTR => B1: 1,5,9 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 # B2: 3,4 => CTR => B2: 5,9 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 # B9: 3,4 => CTR => B9: 1,5 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 + B9: 1,5 # D5: 6,8 => CTR => D5: 3 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 + B9: 1,5 + D5: 3 => CTR => F2: 5,9 * STA F2: 5,9 * CNT 14 HDP CHAINS / 43 HYP OPENED * REASONING B4,C4: 9.. * DIS # B4: 9 # E4: 6,8 => CTR => E4: 1,2,5 * PRF # B4: 9 + E4: 1,2,5 # G4: 6,8 => SOL * STA # B4: 9 + E4: 1,2,5 + G4: 6,8 * CNT 2 HDP CHAINS / 7 HYP OPENED * DCP COUNT: (4) * SOLUTION FOUND
748;944;elev;21;11.30;11.30;10.00
Full list of HDP chains traversed for E2,F2: 8..:
* INC # F2: 8 # E4: 1,2 => UNS * DIS # F2: 8 # E6: 1,2 => CTR => E6: 3,6,8 * INC # F2: 8 + E6: 3,6,8 # E4: 1,2 => UNS * DIS # F2: 8 + E6: 3,6,8 # E4: 6,8 => CTR => E4: 1,2 * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 # H6: 1,2 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 # I6: 1,2 => UNS * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 # E7: 1,2 => CTR => E7: 4,6,8 * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # E8: 1,2 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # E8: 1,2 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # E8: 4,5,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # H7: 1,2 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # I7: 1,2 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # D5: 6,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # E6: 6,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # A4: 6,8 => UNS * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 # C4: 6,8 => CTR => C4: 9 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 # G4: 6,8 => CTR => G4: 1,7 * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # D9: 6,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # D9: 4,5 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # D5: 6,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # E6: 6,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # D9: 6,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # D9: 4,5 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # E8: 1,2 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # E8: 4,5,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # H6: 1,2 => UNS * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 # I6: 1,2 => CTR => I6: 4,6,8 * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 # H6: 1,2 => UNS * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 # H6: 6 => CTR => H6: 1,2 * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 # E8: 1,2 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 # E8: 4,5,8 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 # H7: 1,2 => UNS * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 # I7: 1,2 => UNS * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 # A5: 6,8 => CTR => A5: 2,3,4 * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 # B5: 2,7 => UNS * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 # B5: 3,4 => CTR => B5: 2,7 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 # B1: 3,4 => CTR => B1: 1,5,9 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 # B2: 3,4 => CTR => B2: 5,9 * INC # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 # B7: 3,4 => UNS * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 # B9: 3,4 => CTR => B9: 1,5 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 + B9: 1,5 # D5: 6,8 => CTR => D5: 3 * DIS # F2: 8 + E6: 3,6,8 + E4: 1,2 + E7: 4,6,8 + C4: 9 + G4: 1,7 + I6: 4,6,8 + H6: 1,2 + A5: 2,3,4 + B5: 2,7 + B1: 1,5,9 + B2: 5,9 + B9: 1,5 + D5: 3 => CTR => F2: 5,9 * INC F2: 5,9 # E2: 8 => UNS * STA F2: 5,9 * CNT 43 HDP CHAINS / 43 HYP OPENED
Full list of HDP chains traversed for H2,H8: 9..:
* INC # H2: 9 # E2: 5,8 => UNS * INC # H2: 9 # E2: 3,4 => UNS * INC # H2: 9 # F5: 5,8 => UNS * INC # H2: 9 # F5: 2 => UNS * INC # H2: 9 # I3: 5,6 => UNS * INC # H2: 9 # I3: 1,7 => UNS * INC # H2: 9 => UNS * INC # H8: 9 => UNS * CNT 8 HDP CHAINS / 8 HYP OPENED
Full list of HDP chains traversed for H8,I8: 9..:
* INC # I8: 9 # E2: 5,8 => UNS * INC # I8: 9 # E2: 3,4 => UNS * INC # I8: 9 # F5: 5,8 => UNS * INC # I8: 9 # F5: 2 => UNS * INC # I8: 9 # I3: 5,6 => UNS * INC # I8: 9 # I3: 1,7 => UNS * INC # I8: 9 => UNS * INC # H8: 9 => UNS * CNT 8 HDP CHAINS / 8 HYP OPENED
Full list of HDP chains traversed for B4,C4: 9..:
* INC # B4: 9 # A4: 6,8 => UNS * INC # B4: 9 # A5: 6,8 => UNS * INC # B4: 9 # C6: 6,8 => UNS * INC # B4: 9 # D4: 6,8 => UNS * DIS # B4: 9 # E4: 6,8 => CTR => E4: 1,2,5 * PRF # B4: 9 + E4: 1,2,5 # G4: 6,8 => SOL * STA # B4: 9 + E4: 1,2,5 + G4: 6,8 * CNT 6 HDP CHAINS / 7 HYP OPENED