Contents
level: deep
Time used: 0:00:00.000006
List of important HDP chains detected for I5,I8: 9..:
* PRF # I5: 9 # E6: 3,5 => SOL * STA # I5: 9 + E6: 3,5 * CNT 1 HDP CHAINS / 2 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..7.5....9..4.......6...4...3..86...7......21....95...6.....1.5.......3..2 | initial |
98.7..6..7.5....9..4.......6...4...3..86...7......21.6..95...6.....1.5.......3..2 | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) I7,H9: 1.. / I7 = 1 => 3 pairs (_) / H9 = 1 => 0 pairs (_) E7,D8: 2.. / E7 = 2 => 1 pairs (_) / D8 = 2 => 1 pairs (_) G7,H8: 3.. / G7 = 3 => 1 pairs (_) / H8 = 3 => 0 pairs (_) A9,B9: 5.. / A9 = 5 => 1 pairs (_) / B9 = 5 => 0 pairs (_) B2,C3: 6.. / B2 = 6 => 0 pairs (_) / C3 = 6 => 0 pairs (_) F8,E9: 6.. / F8 = 6 => 0 pairs (_) / E9 = 6 => 0 pairs (_) G3,I3: 7.. / G3 = 7 => 0 pairs (_) / I3 = 7 => 0 pairs (_) F4,E6: 7.. / F4 = 7 => 2 pairs (_) / E6 = 7 => 2 pairs (_) I8,G9: 9.. / I8 = 9 => 1 pairs (_) / G9 = 9 => 5 pairs (_) I5,I8: 9.. / I5 = 9 => 5 pairs (_) / I8 = 9 => 1 pairs (_) * DURATION: 0:00:05.572022 START: 17:29:19.211612 END: 17:29:24.783634 2020-12-07 * CP COUNT: (10) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) I5,I8: 9.. / I5 = 9 ==> 0 pairs (*) / I8 = 9 => 0 pairs (X) * DURATION: 0:00:07.698134 START: 17:29:24.784191 END: 17:29:32.482325 2020-12-07 * REASONING I5,I8: 9.. * PRF # I5: 9 # E6: 3,5 => SOL * STA # I5: 9 + E6: 3,5 * CNT 1 HDP CHAINS / 2 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
22394;KZ1C;GP;23;11.30;1.20;1.20
Full list of HDP chains traversed for I5,I8: 9..:
* PRF # I5: 9 # E6: 3,5 => SOL * STA # I5: 9 + E6: 3,5 * CNT 1 HDP CHAINS / 2 HYP OPENED