Contents
level: deep
Time used: 0:00:00.000006
List of important HDP chains detected for H5,I5: 3..:
* DIS # I5: 3 # C5: 1,4 => CTR => C5: 8,9 * PRF # I5: 3 + C5: 8,9 # C7: 1,4 => SOL * STA # I5: 3 + C5: 8,9 + C7: 1,4 * CNT 2 HDP CHAINS / 17 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.....9....5.4....63.....8..7.6.......2.....1...8..39.....5.........1..2 | initial |
98.7..6..7.....9....5.4....63.....8..7.6.......2....61...8..39.....5.........1..2 | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G8,H8: 1.. / G8 = 1 => 1 pairs (_) / H8 = 1 => 2 pairs (_) G3,G8: 1.. / G3 = 1 => 2 pairs (_) / G8 = 1 => 1 pairs (_) H5,I5: 3.. / H5 = 3 => 0 pairs (_) / I5 = 3 => 3 pairs (_) I7,I8: 6.. / I7 = 6 => 1 pairs (_) / I8 = 6 => 0 pairs (_) B3,F3: 6.. / B3 = 6 => 0 pairs (_) / F3 = 6 => 2 pairs (_) D3,F3: 9.. / D3 = 9 => 1 pairs (_) / F3 = 9 => 2 pairs (_) I4,I5: 9.. / I4 = 9 => 1 pairs (_) / I5 = 9 => 0 pairs (_) * DURATION: 0:00:04.712782 START: 16:45:29.250678 END: 16:45:33.963460 2020-12-15 * CP COUNT: (7) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) H5,I5: 3.. / H5 = 3 => 0 pairs (X) / I5 = 3 ==> 0 pairs (*) * DURATION: 0:00:14.010930 START: 16:45:33.964066 END: 16:45:47.974996 2020-12-15 * REASONING H5,I5: 3.. * DIS # I5: 3 # C5: 1,4 => CTR => C5: 8,9 * PRF # I5: 3 + C5: 8,9 # C7: 1,4 => SOL * STA # I5: 3 + C5: 8,9 + C7: 1,4 * CNT 2 HDP CHAINS / 17 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
35146;12_05;GP;21;11.30;1.20;1.20
Full list of HDP chains traversed for H5,I5: 3..:
* INC # I5: 3 # H1: 4,5 => UNS * INC # I5: 3 # H2: 4,5 => UNS * INC # I5: 3 # I2: 4,5 => UNS * INC # I5: 3 # I7: 4,5 => UNS * INC # I5: 3 # I7: 6,7 => UNS * INC # I5: 3 # I8: 7,8 => UNS * INC # I5: 3 # I8: 4,6 => UNS * INC # I5: 3 # A5: 1,4 => UNS * DIS # I5: 3 # C5: 1,4 => CTR => C5: 8,9 * INC # I5: 3 + C5: 8,9 # A5: 1,4 => UNS * INC # I5: 3 + C5: 8,9 # A5: 5,8 => UNS * INC # I5: 3 + C5: 8,9 # D4: 1,4 => UNS * INC # I5: 3 + C5: 8,9 # D4: 2,5 => UNS * INC # I5: 3 + C5: 8,9 # C1: 1,4 => UNS * INC # I5: 3 + C5: 8,9 # C2: 1,4 => UNS * PRF # I5: 3 + C5: 8,9 # C7: 1,4 => SOL * STA # I5: 3 + C5: 8,9 + C7: 1,4 * CNT 16 HDP CHAINS / 17 HYP OPENED