Contents
level: deep
Time used: 0:00:00.000009
List of important HDP chains detected for H1,I2: 6..:
* DIS # I2: 6 # E2: 7,9 => CTR => E2: 1,5,8 * CNT 1 HDP CHAINS / 36 HYP OPENED
List of important HDP chains detected for D4,H4: 1..:
* DIS # H4: 1 # H1: 2,7 => CTR => H1: 4,5,6,8 * DIS # H4: 1 + H1: 4,5,6,8 # G7: 2,7 => CTR => G7: 3,4,9 * CNT 2 HDP CHAINS / 32 HYP OPENED
List of important HDP chains detected for E8,H8: 9..:
* DIS # E8: 9 # E7: 2,7 => CTR => E7: 5,6 * PRF # E8: 9 + E7: 5,6 # E5: 1 => SOL * STA # E8: 9 + E7: 5,6 + E5: 1 * CNT 2 HDP CHAINS / 8 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.
........94......3...62..1......3...7..8..56...1.6.8....8.........28.15..9...4.... | initial |
........94......3...62..1......3...7..8..56...1.6.8....8.........28.15..9...4.... | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) D4,H4: 1.. / D4 = 1 => 0 pairs (_) / H4 = 1 => 2 pairs (_) A1,A7: 1.. / A1 = 1 => 1 pairs (_) / A7 = 1 => 0 pairs (_) C7,B8: 4.. / C7 = 4 => 1 pairs (_) / B8 = 4 => 1 pairs (_) H1,I2: 6.. / H1 = 6 => 0 pairs (_) / I2 = 6 => 2 pairs (_) A4,B4: 6.. / A4 = 6 => 1 pairs (_) / B4 = 6 => 1 pairs (_) A1,A3: 8.. / A1 = 8 => 0 pairs (_) / A3 = 8 => 1 pairs (_) G4,H4: 8.. / G4 = 8 => 1 pairs (_) / H4 = 8 => 0 pairs (_) E8,H8: 9.. / E8 = 9 => 1 pairs (_) / H8 = 9 => 1 pairs (_) * DURATION: 0:00:06.138224 START: 07:37:33.863104 END: 07:37:40.001328 2020-11-22 * CP COUNT: (8) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) H1,I2: 6.. / H1 = 6 ==> 0 pairs (_) / I2 = 6 ==> 2 pairs (_) D4,H4: 1.. / D4 = 1 ==> 0 pairs (_) / H4 = 1 ==> 2 pairs (_) E8,H8: 9.. / E8 = 9 ==> 0 pairs (*) / H8 = 9 => 0 pairs (X) * DURATION: 0:00:43.826880 START: 07:37:40.002240 END: 07:38:23.829120 2020-11-22 * REASONING H1,I2: 6.. * DIS # I2: 6 # E2: 7,9 => CTR => E2: 1,5,8 * CNT 1 HDP CHAINS / 36 HYP OPENED * REASONING D4,H4: 1.. * DIS # H4: 1 # H1: 2,7 => CTR => H1: 4,5,6,8 * DIS # H4: 1 + H1: 4,5,6,8 # G7: 2,7 => CTR => G7: 3,4,9 * CNT 2 HDP CHAINS / 32 HYP OPENED * REASONING E8,H8: 9.. * DIS # E8: 9 # E7: 2,7 => CTR => E7: 5,6 * PRF # E8: 9 + E7: 5,6 # E5: 1 => SOL * STA # E8: 9 + E7: 5,6 + E5: 1 * CNT 2 HDP CHAINS / 8 HYP OPENED * DCP COUNT: (3) * SOLUTION FOUND
802;657;elev;21;11.30;11.30;9.90
Full list of HDP chains traversed for H1,I2: 6..:
* INC # I2: 6 # D2: 7,9 => UNS * DIS # I2: 6 # E2: 7,9 => CTR => E2: 1,5,8 * INC # I2: 6 + E2: 1,5,8 # E3: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F3: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # B2: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # C2: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F7: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F7: 2,3,6 => UNS * INC # I2: 6 + E2: 1,5,8 # D2: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # E3: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F3: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # B2: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # C2: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F7: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F7: 2,3,6 => UNS * INC # I2: 6 + E2: 1,5,8 # G7: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # I7: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # B8: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # B8: 6,7 => UNS * INC # I2: 6 + E2: 1,5,8 # I5: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # I6: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # D2: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # E3: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F3: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # B2: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # C2: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F7: 7,9 => UNS * INC # I2: 6 + E2: 1,5,8 # F7: 2,3,6 => UNS * INC # I2: 6 + E2: 1,5,8 # G7: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # I7: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # B8: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # B8: 6,7 => UNS * INC # I2: 6 + E2: 1,5,8 # I5: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 # I6: 3,4 => UNS * INC # I2: 6 + E2: 1,5,8 => UNS * INC # H1: 6 => UNS * CNT 36 HDP CHAINS / 36 HYP OPENED
Full list of HDP chains traversed for D4,H4: 1..:
* INC # H4: 1 # G1: 2,7 => UNS * DIS # H4: 1 # H1: 2,7 => CTR => H1: 4,5,6,8 * INC # H4: 1 + H1: 4,5,6,8 # G1: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 # G1: 4 => UNS * INC # H4: 1 + H1: 4,5,6,8 # B2: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 # B2: 5,9 => UNS * DIS # H4: 1 + H1: 4,5,6,8 # G7: 2,7 => CTR => G7: 3,4,9 * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G9: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G9: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G9: 3 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G1: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G1: 4 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # B2: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # B2: 5,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G9: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G9: 3 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # F4: 4,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # D5: 4,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # B4: 4,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # C4: 4,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G1: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G1: 4 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # B2: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # B2: 5,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G9: 2,7 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # G9: 3 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # F4: 4,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # D5: 4,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # B4: 4,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 # C4: 4,9 => UNS * INC # H4: 1 + H1: 4,5,6,8 + G7: 3,4,9 => UNS * INC # D4: 1 => UNS * CNT 32 HDP CHAINS / 32 HYP OPENED
Full list of HDP chains traversed for E8,H8: 9..:
* INC # E8: 9 # E5: 2,7 => UNS * INC # E8: 9 # E5: 1 => UNS * INC # E8: 9 # A6: 2,7 => UNS * INC # E8: 9 # A6: 3,5 => UNS * DIS # E8: 9 # E7: 2,7 => CTR => E7: 5,6 * INC # E8: 9 + E7: 5,6 # E5: 2,7 => UNS * PRF # E8: 9 + E7: 5,6 # E5: 1 => SOL * STA # E8: 9 + E7: 5,6 + E5: 1 * CNT 7 HDP CHAINS / 8 HYP OPENED