Contents
level: deep
Time used: 0:00:00.000018
List of important HDP chains detected for C8,E8: 8..:
* PRF # E8: 8 # I7: 3,5 => SOL * STA # E8: 8 + I7: 3,5 * CNT 1 HDP CHAINS / 16 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.76....7.5.......4..9.8..3.........9..4.6.........42.1...4.6....9.61......1..84 | initial |
98.76.4..7.54......4..9.8..3.4.......9..4.6.........42.1...4.6.4..9.61......1..84 | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) I2,I3: 6.. / I2 = 6 => 1 pairs (_) / I3 = 6 => 2 pairs (_) D4,D6: 6.. / D4 = 6 => 0 pairs (_) / D6 = 6 => 2 pairs (_) B2,I2: 6.. / B2 = 6 => 2 pairs (_) / I2 = 6 => 1 pairs (_) B4,D4: 6.. / B4 = 6 => 2 pairs (_) / D4 = 6 => 0 pairs (_) H3,I3: 7.. / H3 = 7 => 0 pairs (_) / I3 = 7 => 2 pairs (_) E2,F2: 8.. / E2 = 8 => 1 pairs (_) / F2 = 8 => 2 pairs (_) I4,I5: 8.. / I4 = 8 => 0 pairs (_) / I5 = 8 => 0 pairs (_) C8,E8: 8.. / C8 = 8 => 1 pairs (_) / E8 = 8 => 2 pairs (_) F4,F6: 9.. / F4 = 9 => 2 pairs (_) / F6 = 9 => 0 pairs (_) C7,C9: 9.. / C7 = 9 => 2 pairs (_) / C9 = 9 => 0 pairs (_) F6,G6: 9.. / F6 = 9 => 0 pairs (_) / G6 = 9 => 2 pairs (_) C9,G9: 9.. / C9 = 9 => 0 pairs (_) / G9 = 9 => 2 pairs (_) H2,H4: 9.. / H2 = 9 => 1 pairs (_) / H4 = 9 => 1 pairs (_) * DURATION: 0:00:13.508712 START: 12:02:03.459752 END: 12:02:16.968464 2020-12-16 * CP COUNT: (13) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) C8,E8: 8.. / C8 = 8 => 0 pairs (X) / E8 = 8 ==> 0 pairs (*) * DURATION: 0:00:24.311661 START: 12:02:16.969734 END: 12:02:41.281395 2020-12-16 * REASONING C8,E8: 8.. * PRF # E8: 8 # I7: 3,5 => SOL * STA # E8: 8 + I7: 3,5 * CNT 1 HDP CHAINS / 16 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
35742;12_05;GP;24;11.30;1.20;1.20
Full list of HDP chains traversed for C8,E8: 8..:
* INC # E8: 8 # F1: 2,3 => UNS * INC # E8: 8 # D3: 2,3 => UNS * INC # E8: 8 # F3: 2,3 => UNS * INC # E8: 8 # B2: 2,3 => UNS * INC # E8: 8 # G2: 2,3 => UNS * INC # E8: 8 # H2: 2,3 => UNS * INC # E8: 8 # E7: 2,3 => UNS * INC # E8: 8 # E7: 5,7 => UNS * INC # E8: 8 # H1: 3,5 => UNS * INC # E8: 8 # H3: 3,5 => UNS * INC # E8: 8 # I3: 3,5 => UNS * INC # E8: 8 # F1: 3,5 => UNS * INC # E8: 8 # F1: 1,2 => UNS * INC # E8: 8 # I5: 3,5 => UNS * PRF # E8: 8 # I7: 3,5 => SOL * STA # E8: 8 + I7: 3,5 * CNT 15 HDP CHAINS / 16 HYP OPENED