Contents
level: hard
The following important HDP chains were detected:
* DIS # E4: 8,9 => CTR => E4: 1,7 * CNT 1 HDP CHAINS / 24 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
The following important HDP chains were detected:
* DIS # E4: 8,9 => CTR => E4: 1,7 * STA E4: 1,7 * CNT 1 HDP CHAINS / 43 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
See section Pair Reduction for the HDP chains leading to this result.
Time used: 0:00:55.036103
The following important HDP chains were detected:
* PRF # F4: 1,9 # F9: 3,5 => SOL * STA # F4: 1,9 + F9: 3,5 * CNT 1 HDP CHAINS / 240 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
12.4.6.8....1.......6.274........536.68.....4...6.4892.712....864.7.8...8.2.....7 | initial |
12.4.678....1.......6.274........536.68...174...6.4892.712....864.7.8...8.2.....7 | autosolve |
12.4.678....18.....86.274.....8..536.68...174...6.4892.712....864.7.8...8.2.....7 | pair_reduction |
123456789457189263986327451294871536368592174715634892571263948649718325832945617 | solved |
level: hard
-------------------------------------------------- * PAIRS (10) A2: 4,7 C2: 4,7 G2: 2,6 H2: 2,6 H3: 1,5 B4: 1,9 D4: 8,9 E7: 4,6 E9: 4,6 I8: 1,5 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) H3,I3: 1.. / H3 = 1 => 12 pairs (_) / I3 = 1 => 15 pairs (_) B4,B6: 1.. / B4 = 1 => 12 pairs (_) / B6 = 1 => 14 pairs (_) E8,F9: 1.. / E8 = 1 => 13 pairs (_) / F9 = 1 => 13 pairs (_) B6,E6: 1.. / B6 = 1 => 14 pairs (_) / E6 = 1 => 12 pairs (_) F9,H9: 1.. / F9 = 1 => 13 pairs (_) / H9 = 1 => 13 pairs (_) F4,F9: 1.. / F4 = 1 => 13 pairs (_) / F9 = 1 => 13 pairs (_) I3,I8: 1.. / I3 = 1 => 15 pairs (_) / I8 = 1 => 12 pairs (_) G2,H2: 2.. / G2 = 2 => 10 pairs (_) / H2 = 2 => 18 pairs (_) A4,A5: 2.. / A4 = 2 => 9 pairs (_) / A5 = 2 => 11 pairs (_) F4,F5: 2.. / F4 = 2 => 11 pairs (_) / F5 = 2 => 9 pairs (_) G8,H8: 2.. / G8 = 2 => 18 pairs (_) / H8 = 2 => 10 pairs (_) A4,F4: 2.. / A4 = 2 => 9 pairs (_) / F4 = 2 => 11 pairs (_) A5,F5: 2.. / A5 = 2 => 11 pairs (_) / F5 = 2 => 9 pairs (_) G2,G8: 2.. / G2 = 2 => 10 pairs (_) / G8 = 2 => 18 pairs (_) H2,H8: 2.. / H2 = 2 => 18 pairs (_) / H8 = 2 => 10 pairs (_) A2,C2: 4.. / A2 = 4 => 9 pairs (_) / C2 = 4 => 11 pairs (_) A4,C4: 4.. / A4 = 4 => 11 pairs (_) / C4 = 4 => 9 pairs (_) E7,E9: 4.. / E7 = 4 => 13 pairs (_) / E9 = 4 => 9 pairs (_) H7,H9: 4.. / H7 = 4 => 9 pairs (_) / H9 = 4 => 13 pairs (_) E7,H7: 4.. / E7 = 4 => 13 pairs (_) / H7 = 4 => 9 pairs (_) E9,H9: 4.. / E9 = 4 => 9 pairs (_) / H9 = 4 => 13 pairs (_) A2,A4: 4.. / A2 = 4 => 9 pairs (_) / A4 = 4 => 11 pairs (_) C2,C4: 4.. / C2 = 4 => 11 pairs (_) / C4 = 4 => 9 pairs (_) G2,H2: 6.. / G2 = 6 => 18 pairs (_) / H2 = 6 => 10 pairs (_) E7,E9: 6.. / E7 = 6 => 9 pairs (_) / E9 = 6 => 13 pairs (_) A2,C2: 7.. / A2 = 7 => 11 pairs (_) / C2 = 7 => 9 pairs (_) E4,E6: 7.. / E4 = 7 => 10 pairs (_) / E6 = 7 => 14 pairs (_) B2,B3: 8.. / B2 = 8 => 0 pairs (X) / B3 = 8 => 9 pairs (_) E2,D3: 8.. / E2 = 8 => 9 pairs (_) / D3 = 8 => 0 pairs (X) D4,E4: 8.. / D4 = 8 => 9 pairs (_) / E4 = 8 => 0 pairs (X) B2,E2: 8.. / B2 = 8 => 0 pairs (X) / E2 = 8 => 9 pairs (_) B3,D3: 8.. / B3 = 8 => 9 pairs (_) / D3 = 8 => 0 pairs (X) D3,D4: 8.. / D3 = 8 => 0 pairs (X) / D4 = 8 => 9 pairs (_) E2,E4: 8.. / E2 = 8 => 9 pairs (_) / E4 = 8 => 0 pairs (X) * DURATION: 0:00:11.947290 START: 03:51:22.769771 END: 03:51:34.717061 2025-04-06 * CP COUNT: (34) * CLUE FOUND * DEEP PAIR REDUCTION * DURATION: 0:00:54.514424 START: 03:51:48.508652 END: 03:52:43.023076 2025-04-06 * SOLUTION FOUND * SAVE PR GRAPH xx-mith-te3-00008660-base-pr-002.dot * REASONING * PRF # F4: 1,9 # F9: 3,5 => SOL * STA # F4: 1,9 + F9: 3,5 * CNT 1 HDP CHAINS / 240 HYP OPENED
rating: 2029; r2: 247532; index: 8660
See section Deep Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* INC # A4: 4,7 => UNS * INC # A4: 2,9 => UNS * INC # C4: 4,7 => UNS * INC # C4: 9 => UNS * INC # I3: 1,5 => UNS * INC # I3: 3,9 => UNS * INC # H8: 1,5 => UNS * INC # H9: 1,5 => UNS * INC # E4: 1,9 => UNS * INC # F4: 1,9 => UNS * DIS # E4: 8,9 => CTR => E4: 1,7 * INC # E4: 1,7 => UNS * INC # D3: 8,9 => UNS * INC # D3: 3,5 => UNS * INC # H7: 4,6 => UNS * INC # H7: 5 => UNS * INC # H9: 4,6 => UNS * INC # H9: 1,5 => UNS * INC # H8: 1,5 => UNS * INC # H9: 1,5 => UNS * INC # E8: 1,5 => UNS * INC # E8: 3,9 => UNS * INC # I3: 1,5 => UNS * INC # I3: 3,9 => UNS * CNT 24 HDP CHAINS / 24 HYP OPENED
Full list of HDP chains traversed:
* INC # A4: 4,7 => UNS * INC # A4: 2,9 => UNS * INC # C4: 4,7 => UNS * INC # C4: 9 => UNS * INC # I3: 1,5 => UNS * INC # I3: 3,9 => UNS * INC # H8: 1,5 => UNS * INC # H9: 1,5 => UNS * INC # E4: 1,9 => UNS * INC # F4: 1,9 => UNS * DIS # E4: 8,9 => CTR => E4: 1,7 * INC E4: 1,7 # H7: 4,6 => UNS * INC E4: 1,7 # H7: 5 => UNS * INC E4: 1,7 # H9: 4,6 => UNS * INC E4: 1,7 # H9: 1,5 => UNS * INC E4: 1,7 # H8: 1,5 => UNS * INC E4: 1,7 # H9: 1,5 => UNS * INC E4: 1,7 # E8: 1,5 => UNS * INC E4: 1,7 # E8: 3,9 => UNS * INC E4: 1,7 # I3: 1,5 => UNS * INC E4: 1,7 # I3: 3,9 => UNS * INC E4: 1,7 # A4: 4,7 => UNS * INC E4: 1,7 # A4: 2,9 => UNS * INC E4: 1,7 # C4: 4,7 => UNS * INC E4: 1,7 # C4: 9 => UNS * INC E4: 1,7 # I3: 1,5 => UNS * INC E4: 1,7 # I3: 3,9 => UNS * INC E4: 1,7 # H8: 1,5 => UNS * INC E4: 1,7 # H9: 1,5 => UNS * INC E4: 1,7 # F4: 1,9 => UNS * INC E4: 1,7 # F4: 2 => UNS * INC E4: 1,7 # E6: 1,7 => UNS * INC E4: 1,7 # E6: 3,5 => UNS * INC E4: 1,7 # H7: 4,6 => UNS * INC E4: 1,7 # H7: 5 => UNS * INC E4: 1,7 # H9: 4,6 => UNS * INC E4: 1,7 # H9: 1,5 => UNS * INC E4: 1,7 # H8: 1,5 => UNS * INC E4: 1,7 # H9: 1,5 => UNS * INC E4: 1,7 # E8: 1,5 => UNS * INC E4: 1,7 # E8: 3,9 => UNS * INC E4: 1,7 # I3: 1,5 => UNS * INC E4: 1,7 # I3: 3,9 => UNS * STA E4: 1,7 * CNT 43 HDP CHAINS / 43 HYP OPENED
Full list of HDP chains traversed:
* INC # A4: 4,7 => UNS * INC # A4: 2,9 => UNS * INC # C4: 4,7 => UNS * INC # C4: 9 => UNS * INC # I3: 1,5 => UNS * INC # I3: 3,9 => UNS * INC # H8: 1,5 => UNS * INC # H9: 1,5 => UNS * INC # F4: 1,9 => UNS * INC # F4: 2 => UNS * INC # E6: 1,7 => UNS * INC # E6: 3,5 => UNS * INC # H7: 4,6 => UNS * INC # H7: 5 => UNS * INC # H9: 4,6 => UNS * INC # H9: 1,5 => UNS * INC # H8: 1,5 => UNS * INC # H9: 1,5 => UNS * INC # E8: 1,5 => UNS * INC # E8: 3,9 => UNS * INC # I3: 1,5 => UNS * INC # I3: 3,9 => UNS * INC # A4: 4,7 # C4: 4,7 => UNS * INC # A4: 4,7 # C4: 9 => UNS * INC # A4: 4,7 # I3: 1,5 => UNS * INC # A4: 4,7 # I3: 3,9 => UNS * INC # A4: 4,7 # H8: 1,5 => UNS * INC # A4: 4,7 # H8: 2 => UNS * INC # A4: 4,7 # C4: 4,7 => UNS * INC # A4: 4,7 # C4: 9 => UNS * INC # A4: 4,7 # B6: 3,5 => UNS * INC # A4: 4,7 # C6: 3,5 => UNS * INC # A4: 4,7 # A3: 3,5 => UNS * INC # A4: 4,7 # A7: 3,5 => UNS * INC # A4: 4,7 # H7: 4,6 => UNS * INC # A4: 4,7 # H7: 5 => UNS * INC # A4: 4,7 # H9: 4,6 => UNS * INC # A4: 4,7 # H9: 5 => UNS * INC # A4: 4,7 # H8: 1,5 => UNS * INC # A4: 4,7 # H8: 2 => UNS * INC # A4: 4,7 # I3: 1,5 => UNS * INC # A4: 4,7 # I3: 3,9 => UNS * INC # A4: 4,7 => UNS * INC # A4: 2,9 # I3: 1,5 => UNS * INC # A4: 2,9 # I3: 3,9 => UNS * INC # A4: 2,9 # H8: 1,5 => UNS * INC # A4: 2,9 # H9: 1,5 => UNS * INC # A4: 2,9 # A5: 2,9 => UNS * INC # A4: 2,9 # A5: 3,5 => UNS * INC # A4: 2,9 # F4: 2,9 => UNS * INC # A4: 2,9 # F4: 1 => UNS * INC # A4: 2,9 # F4: 1,9 => UNS * INC # A4: 2,9 # F4: 2 => UNS * INC # A4: 2,9 # A5: 3,5 => UNS * INC # A4: 2,9 # B6: 3,5 => UNS * INC # A4: 2,9 # E6: 3,5 => UNS * INC # A4: 2,9 # E6: 1 => UNS * INC # A4: 2,9 # C1: 3,5 => UNS * INC # A4: 2,9 # C8: 3,5 => UNS * INC # A4: 2,9 # H7: 4,6 => UNS * INC # A4: 2,9 # H7: 5 => UNS * INC # A4: 2,9 # H9: 4,6 => UNS * INC # A4: 2,9 # H9: 1,5 => UNS * INC # A4: 2,9 # H8: 1,5 => UNS * INC # A4: 2,9 # H9: 1,5 => UNS * INC # A4: 2,9 # E8: 1,5 => UNS * INC # A4: 2,9 # E8: 3,9 => UNS * INC # A4: 2,9 # I3: 1,5 => UNS * INC # A4: 2,9 # I3: 3,9 => UNS * INC # A4: 2,9 => UNS * INC # C4: 4,7 # A4: 4,7 => UNS * INC # C4: 4,7 # A4: 2,9 => UNS * INC # C4: 4,7 # I3: 1,5 => UNS * INC # C4: 4,7 # I3: 3,9 => UNS * INC # C4: 4,7 # H8: 1,5 => UNS * INC # C4: 4,7 # H9: 1,5 => UNS * INC # C4: 4,7 # F4: 1,9 => UNS * INC # C4: 4,7 # F4: 2 => UNS * INC # C4: 4,7 # A4: 4,7 => UNS * INC # C4: 4,7 # A4: 2,9 => UNS * INC # C4: 4,7 # A5: 3,5 => UNS * INC # C4: 4,7 # A6: 3,5 => UNS * INC # C4: 4,7 # B6: 3,5 => UNS * INC # C4: 4,7 # E6: 3,5 => UNS * INC # C4: 4,7 # E6: 1,7 => UNS * INC # C4: 4,7 # C1: 3,5 => UNS * INC # C4: 4,7 # C8: 3,5 => UNS * INC # C4: 4,7 # E6: 1,7 => UNS * INC # C4: 4,7 # E6: 3,5 => UNS * INC # C4: 4,7 # H7: 4,6 => UNS * INC # C4: 4,7 # H7: 5 => UNS * INC # C4: 4,7 # H9: 4,6 => UNS * INC # C4: 4,7 # H9: 1,5 => UNS * INC # C4: 4,7 # H8: 1,5 => UNS * INC # C4: 4,7 # H9: 1,5 => UNS * INC # C4: 4,7 # E8: 1,5 => UNS * INC # C4: 4,7 # E8: 3,9 => UNS * INC # C4: 4,7 # I3: 1,5 => UNS * INC # C4: 4,7 # I3: 3,9 => UNS * INC # C4: 4,7 => UNS * INC # C4: 9 # B2: 3,5 => UNS * INC # C4: 9 # A3: 3,5 => UNS * INC # C4: 9 # E1: 3,5 => UNS * INC # C4: 9 # I1: 3,5 => UNS * INC # C4: 9 # I3: 1,5 => UNS * INC # C4: 9 # I3: 3,9 => UNS * INC # C4: 9 # H8: 1,5 => UNS * INC # C4: 9 # H8: 2 => UNS * INC # C4: 9 # A3: 3,5 => UNS * INC # C4: 9 # A7: 3,5 => UNS * INC # C4: 9 # B2: 3,5 => UNS * INC # C4: 9 # B9: 3,5 => UNS * INC # C4: 9 # A7: 3,5 => UNS * INC # C4: 9 # B9: 3,5 => UNS * INC # C4: 9 # E8: 3,5 => UNS * INC # C4: 9 # E8: 9 => UNS * INC # C4: 9 # H7: 4,6 => UNS * INC # C4: 9 # H7: 5 => UNS * INC # C4: 9 # H9: 4,6 => UNS * INC # C4: 9 # H9: 5 => UNS * INC # C4: 9 # H8: 1,5 => UNS * INC # C4: 9 # H8: 2 => UNS * INC # C4: 9 # I3: 1,5 => UNS * INC # C4: 9 # I3: 3,9 => UNS * INC # C4: 9 => UNS * INC # I3: 1,5 # A4: 4,7 => UNS * INC # I3: 1,5 # A4: 2,9 => UNS * INC # I3: 1,5 # C4: 4,7 => UNS * INC # I3: 1,5 # C4: 9 => UNS * INC # I3: 1,5 # C1: 3,9 => UNS * INC # I3: 1,5 # B2: 3,9 => UNS * INC # I3: 1,5 # A5: 3,9 => UNS * INC # I3: 1,5 # A7: 3,9 => UNS * INC # I3: 1,5 # E1: 3,9 => UNS * INC # I3: 1,5 # F2: 3,9 => UNS * INC # I3: 1,5 # D5: 3,9 => UNS * INC # I3: 1,5 # D9: 3,9 => UNS * INC # I3: 1,5 # C1: 3,9 => UNS * INC # I3: 1,5 # E1: 3,9 => UNS * INC # I3: 1,5 # B2: 3,9 => UNS * INC # I3: 1,5 # F2: 3,9 => UNS * INC # I3: 1,5 # H8: 1,5 => UNS * INC # I3: 1,5 # H9: 1,5 => UNS * INC # I3: 1,5 # F4: 1,9 => UNS * INC # I3: 1,5 # F4: 2 => UNS * INC # I3: 1,5 # E6: 1,7 => UNS * INC # I3: 1,5 # E6: 3,5 => UNS * INC # I3: 1,5 # H7: 4,6 => UNS * INC # I3: 1,5 # H7: 5 => UNS * INC # I3: 1,5 # H9: 4,6 => UNS * INC # I3: 1,5 # H9: 1,5 => UNS * INC # I3: 1,5 # H8: 1,5 => UNS * INC # I3: 1,5 # H9: 1,5 => UNS * INC # I3: 1,5 # E8: 1,5 => UNS * INC # I3: 1,5 # E8: 3,9 => UNS * INC # I3: 1,5 => UNS * INC # I3: 3,9 # A4: 4,7 => UNS * INC # I3: 3,9 # A4: 2,9 => UNS * INC # I3: 3,9 # C4: 4,7 => UNS * INC # I3: 3,9 # C4: 9 => UNS * INC # I3: 3,9 # I1: 3,9 => UNS * INC # I3: 3,9 # I2: 3,9 => UNS * INC # I3: 3,9 # A3: 3,9 => UNS * INC # I3: 3,9 # D3: 3,9 => UNS * INC # I3: 3,9 # A4: 2,9 => UNS * INC # I3: 3,9 # A4: 4,7 => UNS * INC # I3: 3,9 # F5: 2,9 => UNS * INC # I3: 3,9 # F5: 3,5 => UNS * INC # I3: 3,9 # F5: 2,9 => UNS * INC # I3: 3,9 # F5: 3,5 => UNS * INC # I3: 3,9 # A4: 2,9 => UNS * INC # I3: 3,9 # A4: 4,7 => UNS * INC # I3: 3,9 # H7: 4,6 => UNS * INC # I3: 3,9 # H7: 5 => UNS * INC # I3: 3,9 # H9: 4,6 => UNS * INC # I3: 3,9 # H9: 5 => UNS * INC # I3: 3,9 => UNS * INC # H8: 1,5 # A4: 4,7 => UNS * INC # H8: 1,5 # A4: 2,9 => UNS * INC # H8: 1,5 # C4: 4,7 => UNS * INC # H8: 1,5 # C4: 9 => UNS * INC # H8: 1,5 # I3: 1,5 => UNS * INC # H8: 1,5 # I3: 3,9 => UNS * INC # H8: 1,5 # A4: 2,9 => UNS * INC # H8: 1,5 # A4: 4,7 => UNS * INC # H8: 1,5 # F5: 2,9 => UNS * INC # H8: 1,5 # F5: 3,5 => UNS * INC # H8: 1,5 # F5: 2,9 => UNS * INC # H8: 1,5 # F5: 3,5 => UNS * INC # H8: 1,5 # A4: 2,9 => UNS * INC # H8: 1,5 # A4: 4,7 => UNS * INC # H8: 1,5 # A7: 3,9 => UNS * INC # H8: 1,5 # B9: 3,9 => UNS * INC # H8: 1,5 # C1: 3,9 => UNS * INC # H8: 1,5 # C1: 5 => UNS * INC # H8: 1,5 # F7: 3,9 => UNS * INC # H8: 1,5 # D9: 3,9 => UNS * INC # H8: 1,5 # E1: 3,9 => UNS * INC # H8: 1,5 # E5: 3,9 => UNS * INC # H8: 1,5 # A7: 3,9 => UNS * INC # H8: 1,5 # F7: 3,9 => UNS * INC # H8: 1,5 # I3: 1,5 => UNS * INC # H8: 1,5 # I3: 3,9 => UNS * INC # H8: 1,5 # B9: 3,9 => UNS * INC # H8: 1,5 # D9: 3,9 => UNS * INC # H8: 1,5 => UNS * INC # H9: 1,5 # A4: 4,7 => UNS * INC # H9: 1,5 # A4: 2,9 => UNS * INC # H9: 1,5 # C4: 4,7 => UNS * INC # H9: 1,5 # C4: 9 => UNS * INC # H9: 1,5 # I3: 1,5 => UNS * INC # H9: 1,5 # I3: 3,9 => UNS * INC # H9: 1,5 # F4: 1,9 => UNS * INC # H9: 1,5 # F4: 2 => UNS * INC # H9: 1,5 # E6: 1,7 => UNS * INC # H9: 1,5 # E6: 3,5 => UNS * INC # H9: 1,5 # A7: 3,9 => UNS * INC # H9: 1,5 # F7: 3,9 => UNS * INC # H9: 1,5 # C8: 3,9 => UNS * INC # H9: 1,5 # E8: 3,9 => UNS * INC # H9: 1,5 # E8: 1,5 => UNS * INC # H9: 1,5 # E8: 3,9 => UNS * INC # H9: 1,5 # I3: 1,5 => UNS * INC # H9: 1,5 # I3: 3,9 => UNS * INC # H9: 1,5 # F9: 1,5 => UNS * INC # H9: 1,5 # F9: 3,9 => UNS * INC # H9: 1,5 => UNS * INC # F4: 1,9 # I3: 1,5 => UNS * INC # F4: 1,9 # I3: 3,9 => UNS * INC # F4: 1,9 # H8: 1,5 => UNS * INC # F4: 1,9 # H9: 1,5 => UNS * INC # F4: 1,9 # A5: 3,5 => UNS * INC # F4: 1,9 # B6: 3,5 => UNS * INC # F4: 1,9 # E6: 3,5 => UNS * INC # F4: 1,9 # E6: 1 => UNS * INC # F4: 1,9 # C1: 3,5 => UNS * INC # F4: 1,9 # C8: 3,5 => UNS * INC # F4: 1,9 # F9: 1,9 => UNS * PRF # F4: 1,9 # F9: 3,5 => SOL * STA # F4: 1,9 + F9: 3,5 * CNT 239 HDP CHAINS / 240 HYP OPENED