Contents
level: deep
Time used: 0:00:00.000008
List of important HDP chains detected for F1,H1: 4..:
* PRF # F1: 4 # H3: 1,2 => SOL * STA # F1: 4 + H3: 1,2 * CNT 1 HDP CHAINS / 13 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.5..7......9...5..9..857...8.6...4.3.8...........45...6.8...7...2.....1....4 | initial |
98.76.5..7......9...5..9..857...8.6...4.3.8...........45...6.8...7...2.....1....4 | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) B2,B3: 4.. / B2 = 4 => 0 pairs (_) / B3 = 4 => 2 pairs (_) F1,H1: 4.. / F1 = 4 => 3 pairs (_) / H1 = 4 => 0 pairs (_) D5,D6: 6.. / D5 = 6 => 1 pairs (_) / D6 = 6 => 0 pairs (_) I8,G9: 6.. / I8 = 6 => 0 pairs (_) / G9 = 6 => 2 pairs (_) I2,I8: 6.. / I2 = 6 => 2 pairs (_) / I8 = 6 => 0 pairs (_) G3,H3: 7.. / G3 = 7 => 2 pairs (_) / H3 = 7 => 1 pairs (_) D2,E2: 8.. / D2 = 8 => 0 pairs (_) / E2 = 8 => 0 pairs (_) A6,C6: 8.. / A6 = 8 => 0 pairs (_) / C6 = 8 => 0 pairs (_) C6,C9: 8.. / C6 = 8 => 0 pairs (_) / C9 = 8 => 0 pairs (_) D2,D8: 8.. / D2 = 8 => 0 pairs (_) / D8 = 8 => 0 pairs (_) * DURATION: 0:00:06.821057 START: 04:08:06.502440 END: 04:08:13.323497 2020-10-22 * CP COUNT: (10) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) F1,H1: 4.. / F1 = 4 ==> 0 pairs (*) / H1 = 4 => 0 pairs (X) * DURATION: 0:00:15.169690 START: 04:08:13.324178 END: 04:08:28.493868 2020-10-22 * REASONING F1,H1: 4.. * PRF # F1: 4 # H3: 1,2 => SOL * STA # F1: 4 + H3: 1,2 * CNT 1 HDP CHAINS / 13 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
922439;13_03;GP;25;11.40;11.40;9.40
Full list of HDP chains traversed for F1,H1: 4..:
* INC # F1: 4 # D2: 2,3 => UNS * INC # F1: 4 # F2: 2,3 => UNS * INC # F1: 4 # A3: 2,3 => UNS * INC # F1: 4 # B3: 2,3 => UNS * INC # F1: 4 # H3: 2,3 => UNS * INC # F1: 4 # D7: 2,3 => UNS * INC # F1: 4 # D7: 9 => UNS * INC # F1: 4 # E2: 1,2 => UNS * INC # F1: 4 # F2: 1,2 => UNS * INC # F1: 4 # A3: 1,2 => UNS * INC # F1: 4 # B3: 1,2 => UNS * PRF # F1: 4 # H3: 1,2 => SOL * STA # F1: 4 + H3: 1,2 * CNT 12 HDP CHAINS / 13 HYP OPENED