Contents
level: deep
Time used: 0:00:00.000013
List of important HDP chains detected for A6,C6: 5..:
* DIS # C6: 5 # B8: 4,7 => CTR => B8: 2,3,6 * PRF # C6: 5 + B8: 2,3,6 # F9: 4,7 => SOL * STA # C6: 5 + B8: 2,3,6 + F9: 4,7 * CNT 2 HDP CHAINS / 9 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..6..75.....9...6......4...8.5....85...6.....43..2.1...23....98...5.....1...6 | initial |
98.7..6..75.....9...6......4...8.5....85...6.....43..2.1...23....98...5.....1...6 | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G8,I8: 1.. / G8 = 1 => 1 pairs (_) / I8 = 1 => 0 pairs (_) D4,E5: 2.. / D4 = 2 => 1 pairs (_) / E5 = 2 => 4 pairs (_) E8,D9: 3.. / E8 = 3 => 4 pairs (_) / D9 = 3 => 1 pairs (_) G5,I5: 4.. / G5 = 4 => 0 pairs (_) / I5 = 4 => 1 pairs (_) I1,I3: 5.. / I1 = 5 => 2 pairs (_) / I3 = 5 => 0 pairs (_) A6,C6: 5.. / A6 = 5 => 2 pairs (_) / C6 = 5 => 6 pairs (_) E7,F9: 5.. / E7 = 5 => 3 pairs (_) / F9 = 5 => 1 pairs (_) F2,F3: 8.. / F2 = 8 => 0 pairs (_) / F3 = 8 => 0 pairs (_) G6,H6: 8.. / G6 = 8 => 1 pairs (_) / H6 = 8 => 3 pairs (_) A7,A9: 8.. / A7 = 8 => 3 pairs (_) / A9 = 8 => 1 pairs (_) I7,G9: 9.. / I7 = 9 => 1 pairs (_) / G9 = 9 => 1 pairs (_) * DURATION: 0:00:07.117864 START: 17:35:46.281606 END: 17:35:53.399470 2020-12-19 * CP COUNT: (11) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) A6,C6: 5.. / A6 = 5 => 0 pairs (X) / C6 = 5 ==> 0 pairs (*) * DURATION: 0:00:14.470398 START: 17:35:53.400686 END: 17:36:07.871084 2020-12-19 * REASONING A6,C6: 5.. * DIS # C6: 5 # B8: 4,7 => CTR => B8: 2,3,6 * PRF # C6: 5 + B8: 2,3,6 # F9: 4,7 => SOL * STA # C6: 5 + B8: 2,3,6 + F9: 4,7 * CNT 2 HDP CHAINS / 9 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
46380;12_10;GP;25;11.30;11.30;10.40
Full list of HDP chains traversed for A6,C6: 5..:
* INC # C6: 5 # D6: 1,6 => UNS * INC # C6: 5 # D6: 9 => UNS * DIS # C6: 5 # B8: 4,7 => CTR => B8: 2,3,6 * INC # C6: 5 + B8: 2,3,6 # B9: 4,7 => UNS * INC # C6: 5 + B8: 2,3,6 # C9: 4,7 => UNS * INC # C6: 5 + B8: 2,3,6 # H7: 4,7 => UNS * INC # C6: 5 + B8: 2,3,6 # I7: 4,7 => UNS * PRF # C6: 5 + B8: 2,3,6 # F9: 4,7 => SOL * STA # C6: 5 + B8: 2,3,6 + F9: 4,7 * CNT 8 HDP CHAINS / 9 HYP OPENED