Contents
level: deep
Time used: 0:00:00.000008
List of important HDP chains detected for C4,A6: 8..:
* PRF # C4: 8 # H2: 2,3 => SOL * STA # C4: 8 + H2: 2,3 * CNT 1 HDP CHAINS / 20 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.7.....7.....6....5.4..7.35....9...6......8..7..4.5...24...1.....2...3....15... | initial |
98.7.....7.....6....5.4..7.35....9...6......8..7..4.5...24...1.....2...3....15... | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) D5,E5: 5.. / D5 = 5 => 0 pairs (_) / E5 = 5 => 1 pairs (_) A7,A8: 5.. / A7 = 5 => 1 pairs (_) / A8 = 5 => 1 pairs (_) A8,G8: 5.. / A8 = 5 => 1 pairs (_) / G8 = 5 => 1 pairs (_) D2,D5: 5.. / D2 = 5 => 1 pairs (_) / D5 = 5 => 0 pairs (_) C1,A3: 6.. / C1 = 6 => 2 pairs (_) / A3 = 6 => 3 pairs (_) I4,G5: 7.. / I4 = 7 => 1 pairs (_) / G5 = 7 => 1 pairs (_) H2,G3: 8.. / H2 = 8 => 0 pairs (_) / G3 = 8 => 1 pairs (_) C4,A6: 8.. / C4 = 8 => 3 pairs (_) / A6 = 8 => 3 pairs (_) C5,B6: 9.. / C5 = 9 => 1 pairs (_) / B6 = 9 => 3 pairs (_) * DURATION: 0:00:05.685234 START: 17:33:44.129858 END: 17:33:49.815092 2020-12-06 * CP COUNT: (9) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) C4,A6: 8.. / C4 = 8 ==> 0 pairs (*) / A6 = 8 => 0 pairs (X) * DURATION: 0:00:16.000510 START: 17:33:49.815732 END: 17:34:05.816242 2020-12-06 * REASONING C4,A6: 8.. * PRF # C4: 8 # H2: 2,3 => SOL * STA # C4: 8 + H2: 2,3 * CNT 1 HDP CHAINS / 20 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
19454;KZ1C;GP;23;11.30;11.30;9.10
Full list of HDP chains traversed for C4,A6: 8..:
* INC # C4: 8 # A5: 1,2 => UNS * INC # C4: 8 # B6: 1,2 => UNS * INC # C4: 8 # D6: 1,2 => UNS * INC # C4: 8 # G6: 1,2 => UNS * INC # C4: 8 # I6: 1,2 => UNS * INC # C4: 8 # A3: 1,2 => UNS * INC # C4: 8 # A3: 6 => UNS * INC # C4: 8 # F4: 6,7 => UNS * INC # C4: 8 # F4: 1,2 => UNS * INC # C4: 8 # I4: 6,7 => UNS * INC # C4: 8 # I4: 1,2,4 => UNS * INC # C4: 8 # E7: 6,7 => UNS * INC # C4: 8 # E7: 3,8,9 => UNS * INC # C4: 8 # G5: 2,3 => UNS * INC # C4: 8 # G6: 2,3 => UNS * INC # C4: 8 # D5: 2,3 => UNS * INC # C4: 8 # F5: 2,3 => UNS * INC # C4: 8 # H1: 2,3 => UNS * PRF # C4: 8 # H2: 2,3 => SOL * STA # C4: 8 + H2: 2,3 * CNT 19 HDP CHAINS / 20 HYP OPENED