Contents
level: deep
Time used: 0:00:00.000001
List of important HDP chains detected for A1,A8: 1..:
* PRF # A1: 1 # F1: 4,6 => SOL * STA # A1: 1 + F1: 4,6 * CNT 1 HDP CHAINS / 6 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.
....5.7..4....9.....83....1.8.........12...6.9...7.....6.....18.3.8....2.....54.. | initial |
....5.7..4....9.....83....1.8.........12...6.9...7.....6.....18.3.8....28....54.. | autosolve |
level: deep
-------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G4,G6: 1.. / G4 = 1 => 0 pairs (_) / G6 = 1 => 0 pairs (_) A8,B9: 1.. / A8 = 1 => 0 pairs (_) / B9 = 1 => 3 pairs (_) A1,A8: 1.. / A1 = 1 => 3 pairs (_) / A8 = 1 => 0 pairs (_) B5,B6: 4.. / B5 = 4 => 2 pairs (_) / B6 = 4 => 2 pairs (_) C7,C8: 4.. / C7 = 4 => 1 pairs (_) / C8 = 4 => 0 pairs (_) D4,D6: 5.. / D4 = 5 => 0 pairs (_) / D6 = 5 => 2 pairs (_) G8,I9: 6.. / G8 = 6 => 0 pairs (_) / I9 = 6 => 2 pairs (_) D2,F3: 7.. / D2 = 7 => 1 pairs (_) / F3 = 7 => 1 pairs (_) F1,E2: 8.. / F1 = 8 => 1 pairs (_) / E2 = 8 => 0 pairs (_) F1,H1: 8.. / F1 = 8 => 1 pairs (_) / H1 = 8 => 0 pairs (_) E2,E5: 8.. / E2 = 8 => 0 pairs (_) / E5 = 8 => 1 pairs (_) * DURATION: 0:00:01.681505 START: 01:30:55.812685 END: 01:30:57.494190 2025-04-06 * CP COUNT: (11) * INCONCLUSIVE -------------------------------------------------- * DEEP CONSTRAINT PAIRS (PAIR REDUCTION) A1,A8: 1.. / A1 = 1 ==> 0 pairs (*) / A8 = 1 => 0 pairs (X) * DURATION: 0:00:02.819237 START: 01:30:57.494389 END: 01:31:00.313626 2025-04-06 * REASONING A1,A8: 1.. * PRF # A1: 1 # F1: 4,6 => SOL * STA # A1: 1 + F1: 4,6 * CNT 1 HDP CHAINS / 6 HYP OPENED * DCP COUNT: (1) * SOLUTION FOUND
rating: 11.5; r2: 01.2; r3: 01.2; index: 176
Full list of HDP chains traversed for A1,A8: 1..:
* INC # A1: 1 # B3: 2,9 => UNS * INC # A1: 1 # B3: 5,7 => UNS * INC # A1: 1 # H1: 2,9 => UNS * INC # A1: 1 # H1: 3,4,8 => UNS * PRF # A1: 1 # F1: 4,6 => SOL * STA # A1: 1 + F1: 4,6 * CNT 5 HDP CHAINS / 6 HYP OPENED