Contents
level: medium
The following important HDP chains were detected:
* PRF # D7: 4,8 => SOL * CNT 1 HDP CHAINS / 8 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
The following important HDP chains were detected:
* PRF # D7: 4,8 => SOL * STA D7: 4,8 * CNT 1 HDP CHAINS / 1 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
98.7..6..75..6......6......4..3...2...5.9.7.......4..6.1...2.37..7.5.8..........1 | initial |
98.7..6..75..6......6....7.4..3...2...5.9.7.......4..6.1...2.37..7.5.8..........1 | autosolve |
984713652752468319136925478471386925865291743293574186619842537327159864548637291 | solved |
level: medium
-------------------------------------------------- * PAIRS (1) E7: 4,8 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) D8,F8: 1.. / D8 = 1 => 1 pairs (_) / F8 = 1 => 5 pairs (_) I8,G9: 2.. / I8 = 2 => 2 pairs (_) / G9 = 2 => 2 pairs (_) I5,G6: 3.. / I5 = 3 => 4 pairs (_) / G6 = 3 => 2 pairs (_) H5,I5: 4.. / H5 = 4 => 4 pairs (_) / I5 = 4 => 3 pairs (_) F4,D6: 5.. / F4 = 5 => 10 pairs (_) / D6 = 5 => 1 pairs (_) A7,A9: 5.. / A7 = 5 => 2 pairs (_) / A9 = 5 => 3 pairs (_) A7,G7: 5.. / A7 = 5 => 2 pairs (_) / G7 = 5 => 3 pairs (_) D3,D6: 5.. / D3 = 5 => 10 pairs (_) / D6 = 5 => 1 pairs (_) H8,H9: 6.. / H8 = 6 => 2 pairs (_) / H9 = 6 => 3 pairs (_) B4,F4: 6.. / B4 = 6 => 6 pairs (_) / F4 = 6 => 3 pairs (_) A7,D7: 6.. / A7 = 6 => 7 pairs (_) / D7 = 6 => 2 pairs (_) B4,B6: 7.. / B4 = 7 => 4 pairs (_) / B6 = 7 => 2 pairs (_) E9,F9: 7.. / E9 = 7 => 8 pairs (_) / F9 = 7 => 1 pairs (_) B6,E6: 7.. / B6 = 7 => 2 pairs (_) / E6 = 7 => 4 pairs (_) F4,F9: 7.. / F4 = 7 => 8 pairs (_) / F9 = 7 => 1 pairs (_) * DURATION: 0:00:09.498501 START: 07:51:00.295502 END: 07:51:09.794003 2020-12-21 * CP COUNT: (15) * INCONCLUSIVE -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (E7) * 98.7..6..75..6......6....7.4..3...2...5.9.7.......4..6.1...2.37..7.5.8..........1 * PAIR E7: 4,8 BLK 8 D7: 4,8,6,9 # reduction candidate for 4,8 D7: 4,8 => SOLVED * 984713652752468319136925478471386925865291743293574186619842537327159864548637291 D7: 6,9 # 2 pairs D9: 4,8,6,9 # reduction candidate for 4,8 D9: 4,8 # 4 pairs E9: 4,8,3,7 # reduction candidate for 4,8 E9: 4,8 # 8 pairs * PAIR E7: 4,8 ROW 7 C7: 4,8,9 # reduction candidate for 4,8 C7: 9 # 6 pairs C7: 4,8 # 5 pairs * PAIR E7: 4,8 COL E E3: 4,8,1,2,3 # reduction candidate for 4,8 E3: 4,8 # 4 pairs E3: 1,2,3 # 1 pairs * INCONCLUSIVE * SAVE PR GRAPH xx-ph-00059091-12_10-base-pr-000.dot * REASONING * PRF # D7: 4,8 => SOL * CNT 1 HDP CHAINS / 8 HYP OPENED -------------------------------------------------- * PREPARE PR GRAPH * PAIR REDUCTION .. * LEVEL 0 PASS 1 ROUND 1 (AUTO SOLVE) (E7) * 98.7..6..75..6......6....7.4..3...2...5.9.7.......4..6.1...2.37..7.5.8..........1 * PAIR E7: 4,8 BLK 8 D7: 4,8,6,9 # reduction candidate for 4,8 D7: 4,8 => SOLVED * 984713652752468319136925478471386925865291743293574186619842537327159864548637291 * DURATION: 0:00:01.665651 START: 07:51:13.335487 END: 07:51:15.001138 2020-12-21 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00059091-12_10-base-pr-001.dot * REASONING * PRF # D7: 4,8 => SOL * STA D7: 4,8 * CNT 1 HDP CHAINS / 1 HYP OPENED
59091;12_10;GP;24;11.30;1.20;1.20
See section Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* PRF # D7: 4,8 => SOL * INC # D7: 6,9 => UNS * INC # D9: 4,8 => UNS * INC # E9: 4,8 => UNS * INC # C7: 4,8 => UNS * INC # C7: 9 => UNS * INC # E3: 4,8 => UNS * INC # E3: 1,2,3 => UNS * CNT 8 HDP CHAINS / 8 HYP OPENED
Full list of HDP chains traversed:
* PRF # D7: 4,8 => SOL * STA D7: 4,8 * CNT 1 HDP CHAINS / 1 HYP OPENED