Contents
level: medium
The following important HDP chains were detected:
* PRF # F3: 2 => SOL * PRF # I3: 9 => SOL * CNT 2 HDP CHAINS / 15 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
The following important HDP chains were detected:
* PRF # F3: 2 => SOL * STA F3: 2 * CNT 1 HDP CHAINS / 4 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9. | initial |
........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9. | autosolve |
649587231872913546351462789563279814987154623124638957735891462498326175216745398 | solved |
level: medium
-------------------------------------------------- * PAIRS (3) C3: 1,9 G2: 5,9 H3: 2,8 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) E2,F3: 1.. / E2 = 1 => 3 pairs (_) / F3 = 1 => 4 pairs (_) C3,F3: 1.. / C3 = 1 => 3 pairs (_) / F3 = 1 => 4 pairs (_) G1,H1: 3.. / G1 = 3 => 6 pairs (_) / H1 = 3 => 3 pairs (_) F5,F8: 4.. / F5 = 4 => 4 pairs (_) / F8 = 4 => 4 pairs (_) A4,A5: 5.. / A4 = 5 => 3 pairs (_) / A5 = 5 => 3 pairs (_) D4,E5: 5.. / D4 = 5 => 3 pairs (_) / E5 = 5 => 3 pairs (_) G8,I8: 5.. / G8 = 5 => 8 pairs (_) / I8 = 5 => 4 pairs (_) A4,D4: 5.. / A4 = 5 => 3 pairs (_) / D4 = 5 => 3 pairs (_) A5,E5: 5.. / A5 = 5 => 3 pairs (_) / E5 = 5 => 3 pairs (_) I2,I8: 5.. / I2 = 5 => 8 pairs (_) / I8 = 5 => 4 pairs (_) H1,I2: 6.. / H1 = 6 => 10 pairs (_) / I2 = 6 => 4 pairs (_) H3,I3: 8.. / H3 = 8 => 3 pairs (_) / I3 = 8 => 4 pairs (_) G4,G9: 8.. / G4 = 8 => 4 pairs (_) / G9 = 8 => 3 pairs (_) * DURATION: 0:00:09.258968 START: 12:33:41.921487 END: 12:33:51.180455 2020-12-31 * CP COUNT: (13) * INCONCLUSIVE -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (C3,G2,H3) * ........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9. * PAIR C3: 1,9 BLK 1 A2: 1,9,6,7,8 # reduction candidate for 1,9 A2: 1,9 # 4 pairs A2: 6,7,8 # 3 pairs * PAIR C3: 1,9 ROW 3 F3: 1,9,2 # reduction candidate for 1,9 F3: 2 => SOLVED * 649587231872913546351462789563279814987154623124638957735891462498326175216745398 F3: 1,9 # 6 pairs * PAIR C3: 1,9 COL C C4: 1,9,3,6 # reduction candidate for 1,9 C4: 1,9 # 4 pairs C6: 1,9,3,4,6,7 # reduction candidate for 1,9 C6: 1,9 # 5 pairs * PAIR G2: 5,9 BLK 3 G1: 5,9,2,3 # reduction candidate for 5,9 G1: 5,9 # 7 pairs I2: 5,9,6 # reduction candidate for 5,9 I2: 5,9 # 10 pairs * PAIR G2: 5,9 ROW 2 D2: 5,9,7,8 # reduction candidate for 5,9 D2: 5,9 # 6 pairs E2: 5,9,1,8 # reduction candidate for 5,9 E2: 5,9 # 7 pairs * PAIR H3: 2,8 BLK 3 I3: 2,8,9 # reduction candidate for 2,8 I3: 9 => SOLVED * 649587231872913546351462789563279814987154623124638957735891462498326175216745398 I3: 2,8 # 6 pairs * PAIR H3: 2,8 COL H H4: 2,8,1,3 # reduction candidate for 2,8 H4: 2,8 # 7 pairs H5: 2,8,3,7 # reduction candidate for 2,8 H5: 2,8 # 6 pairs H7: 2,8,1,3,6,7 # reduction candidate for 2,8 H7: 2,8 # 11 pairs * INCONCLUSIVE * SAVE PR GRAPH xx-ph-00752528-12_12_19-base-pr-000.dot * REASONING * PRF # F3: 2 => SOL * PRF # I3: 9 => SOL * CNT 2 HDP CHAINS / 15 HYP OPENED -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (C3,G2,H3) * ........1..2..3.4.35.46.7......7...4...1..6...2...8.5...5...4...98......2....5.9. * PAIR C3: 1,9 BLK 1 A2: 1,9,6,7,8 # reduction candidate for 1,9 A2: 1,9 # 4 pairs A2: 6,7,8 # 3 pairs * PAIR C3: 1,9 ROW 3 F3: 1,9,2 # reduction candidate for 1,9 F3: 2 => SOLVED * 649587231872913546351462789563279814987154623124638957735891462498326175216745398 * DURATION: 0:00:03.293966 START: 12:33:59.383930 END: 12:34:02.677896 2020-12-31 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00752528-12_12_19-base-pr-001.dot * REASONING * PRF # F3: 2 => SOL * STA F3: 2 * CNT 1 HDP CHAINS / 4 HYP OPENED
752528;12_12_19;dob;23;11.30;11.30;2.80
See section Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* INC # A2: 1,9 => UNS * INC # A2: 6,7,8 => UNS * INC # F3: 1,9 => UNS * PRF # F3: 2 => SOL * INC # C4: 1,9 => UNS * INC # C6: 1,9 => UNS * INC # G1: 5,9 => UNS * INC # I2: 5,9 => UNS * INC # D2: 5,9 => UNS * INC # E2: 5,9 => UNS * INC # I3: 2,8 => UNS * PRF # I3: 9 => SOL * INC # H4: 2,8 => UNS * INC # H5: 2,8 => UNS * INC # H7: 2,8 => UNS * CNT 15 HDP CHAINS / 15 HYP OPENED
Full list of HDP chains traversed:
* INC # A2: 1,9 => UNS * INC # A2: 6,7,8 => UNS * INC # F3: 1,9 => UNS * PRF # F3: 2 => SOL * STA F3: 2 * CNT 4 HDP CHAINS / 4 HYP OPENED