Contents
level: deep
Time used: 0:00:00.000006
List of important HDP chains detected for G3,G6: 5..:
* DIS # G3: 5 # E4: 1,2 => CTR => E4: 7,8,9 * DIS # G3: 5 + E4: 7,8,9 # E5: 1,3 => CTR => E5: 2,8 * PRF # G3: 5 + E4: 7,8,9 + E5: 2,8 # F5: 8 => SOL * STA # G3: 5 + E4: 7,8,9 + E5: 2,8 + F5: 8 * CNT 3 HDP CHAINS / 22 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.65..........7.6.....4.3..95.......8.4..9...68...5.....52..6.....61.. | initial |
98.7..6....7.65....6.....7.6.....4.3..95...6...864..9...68...5.....52..6.....61.. | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) A5,B5: 4.. / A5 = 4 => 0 pairs (_) / B5 = 4 => 0 pairs (_) B4,C4: 5.. / B4 = 5 => 2 pairs (_) / C4 = 5 => 0 pairs (_) G6,I6: 5.. / G6 = 5 => 0 pairs (_) / I6 = 5 => 4 pairs (_) C1,I1: 5.. / C1 = 5 => 3 pairs (_) / I1 = 5 => 0 pairs (_) A3,A9: 5.. / A3 = 5 => 0 pairs (_) / A9 = 5 => 3 pairs (_) B4,B9: 5.. / B4 = 5 => 2 pairs (_) / B9 = 5 => 0 pairs (_) G3,G6: 5.. / G3 = 5 => 4 pairs (_) / G6 = 5 => 0 pairs (_) E3,F3: 8.. / E3 = 8 => 0 pairs (_) / F3 = 8 => 0 pairs (_) A8,A9: 8.. / A8 = 8 => 1 pairs (_) / A9 = 8 => 0 pairs (_) * DURATION: 0:00:06.630509 START: 23:37:02.238191 END: 23:37:08.868700 2020-09-30 * CP COUNT: (9) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) G3,G6: 5.. / G3 = 5 ==> 0 pairs (*) / G6 = 5 => 0 pairs (X) * DURATION: 0:00:18.829554 START: 23:37:08.869330 END: 23:37:27.698884 2020-09-30 * REASONING G3,G6: 5.. * DIS # G3: 5 # E4: 1,2 => CTR => E4: 7,8,9 * DIS # G3: 5 + E4: 7,8,9 # E5: 1,3 => CTR => E5: 2,8 * PRF # G3: 5 + E4: 7,8,9 + E5: 2,8 # F5: 8 => SOL * STA # G3: 5 + E4: 7,8,9 + E5: 2,8 + F5: 8 * CNT 3 HDP CHAINS / 22 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
53683;12_10;GP;24;11.50;1.20;1.20
Full list of HDP chains traversed for G3,G6: 5..:
* INC # G3: 5 # A5: 1,2 => UNS * INC # G3: 5 # B5: 1,2 => UNS * INC # G3: 5 # A6: 1,2 => UNS * INC # G3: 5 # B6: 1,2 => UNS * INC # G3: 5 # D4: 1,2 => UNS * DIS # G3: 5 # E4: 1,2 => CTR => E4: 7,8,9 * INC # G3: 5 + E4: 7,8,9 # H4: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # C3: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # C3: 3,4 => UNS * INC # G3: 5 + E4: 7,8,9 # A5: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # B5: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # A6: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # B6: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # D4: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # H4: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # C3: 1,2 => UNS * INC # G3: 5 + E4: 7,8,9 # C3: 3,4 => UNS * DIS # G3: 5 + E4: 7,8,9 # E5: 1,3 => CTR => E5: 2,8 * INC # G3: 5 + E4: 7,8,9 + E5: 2,8 # F5: 1,3 => UNS * INC # G3: 5 + E4: 7,8,9 + E5: 2,8 # F5: 1,3 => UNS * PRF # G3: 5 + E4: 7,8,9 + E5: 2,8 # F5: 8 => SOL * STA # G3: 5 + E4: 7,8,9 + E5: 2,8 + F5: 8 * CNT 21 HDP CHAINS / 22 HYP OPENED