Contents
level: hard
Time used: 0:00:07.771451
The following important HDP chains were detected:
* PRF # F4: 1,7 # G4: 2,8 => SOL * STA # F4: 1,7 + G4: 2,8 * CNT 1 HDP CHAINS / 8 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
9876.....65....9............4..3..5...68..7.......2..1..89..5......1..2......4..3 | initial |
9876.....65....9............4..3..5...68..7.......2..1..89..5......1..2......4..3 | autosolve |
987651342651243978324789165849137256216895734573462891438926517765318429192574683 | solved |
level: hard
-------------------------------------------------- * PAIRS (1) D4: 1,7 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) I1,I3: 5.. / I1 = 5 => 3 pairs (_) / I3 = 5 => 2 pairs (_) F4,E6: 6.. / F4 = 6 => 3 pairs (_) / E6 = 6 => 2 pairs (_) A4,A6: 8.. / A4 = 8 => 3 pairs (_) / A6 = 8 => 1 pairs (_) F8,E9: 8.. / F8 = 8 => 2 pairs (_) / E9 = 8 => 2 pairs (_) E3,F3: 9.. / E3 = 9 => 2 pairs (_) / F3 = 9 => 2 pairs (_) I8,H9: 9.. / I8 = 9 => 2 pairs (_) / H9 = 9 => 2 pairs (_) * DURATION: 0:00:04.349524 START: 16:39:03.228896 END: 16:39:07.578420 2020-11-22 * CP COUNT: (6) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:07.693777 START: 16:39:12.931304 END: 16:39:20.625081 2020-11-22 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00000846-H189-base-pr-002.dot * REASONING * PRF # F4: 1,7 # G4: 2,8 => SOL * STA # F4: 1,7 + G4: 2,8 * CNT 1 HDP CHAINS / 8 HYP OPENED
846;H189;GP;22;11.30;11.30;9.90
See section Deep Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* INC # F4: 1,7 => UNS * INC # F4: 6,9 => UNS * INC # A4: 1,7 => UNS * INC # A4: 2,8 => UNS * INC # D2: 1,7 => UNS * INC # D3: 1,7 => UNS * CNT 6 HDP CHAINS / 6 HYP OPENED
Full list of HDP chains traversed:
* INC # F4: 1,7 => UNS * INC # F4: 6,9 => UNS * INC # A4: 1,7 => UNS * INC # A4: 2,8 => UNS * INC # D2: 1,7 => UNS * INC # D3: 1,7 => UNS * CNT 6 HDP CHAINS / 6 HYP OPENED
Full list of HDP chains traversed:
* INC # F4: 1,7 => UNS * INC # F4: 6,9 => UNS * INC # A4: 1,7 => UNS * INC # A4: 2,8 => UNS * INC # D2: 1,7 => UNS * INC # D3: 1,7 => UNS * PRF # F4: 1,7 # G4: 2,8 => SOL * STA # F4: 1,7 + G4: 2,8 * CNT 7 HDP CHAINS / 8 HYP OPENED