Contents
level: hard
Time used: 0:00:06.676327
The following important HDP chains were detected:
* PRF # E8: 5,9 # E1: 7 => SOL * STA # E8: 5,9 + E1: 7 * CNT 1 HDP CHAINS / 7 HYP OPENED
See Appendix: Full HDP Chains for full list of HDP chains.
98.........76..5......4....8.....3...4..8..2...35....1..6..1..7...3..1......2..9. | initial |
98.........76..5......4....8.....3...4..83.2...35....1..6..1..7...3..1......2..9. | autosolve |
984275613127639584635148972862417359541983726793562841456891237279354168318726495 | solved |
level: hard
-------------------------------------------------- * PAIRS (1) E7: 5,9 -------------------------------------------------- * CONSTRAINT PAIRS (AUTO SOLVE) G7,I8: 2.. / G7 = 2 => 1 pairs (_) / I8 = 2 => 2 pairs (_) E1,E2: 3.. / E1 = 3 => 2 pairs (_) / E2 = 3 => 5 pairs (_) H7,I9: 3.. / H7 = 3 => 1 pairs (_) / I9 = 3 => 1 pairs (_) C1,A2: 4.. / C1 = 4 => 1 pairs (_) / A2 = 4 => 3 pairs (_) A3,B3: 6.. / A3 = 6 => 2 pairs (_) / B3 = 6 => 1 pairs (_) G6,H6: 8.. / G6 = 8 => 3 pairs (_) / H6 = 8 => 1 pairs (_) C8,C9: 8.. / C8 = 8 => 1 pairs (_) / C9 = 8 => 3 pairs (_) * DURATION: 0:00:04.110149 START: 02:49:39.875716 END: 02:49:43.985865 2020-12-17 * CP COUNT: (7) * INCONCLUSIVE * DEEP PAIR REDUCTION * DURATION: 0:00:06.609029 START: 02:49:47.093472 END: 02:49:53.702501 2020-12-17 * SOLUTION FOUND * SAVE PR GRAPH xx-ph-00038106-12_07-base-pr-002.dot * REASONING * PRF # E8: 5,9 # E1: 7 => SOL * STA # E8: 5,9 + E1: 7 * CNT 1 HDP CHAINS / 7 HYP OPENED
38106;12_07;GP;21;11.30;1.20;1.20
See section Deep Pair Reduction for the HDP chains leading to this result.
Full list of HDP chains traversed:
* INC # E8: 5,9 => UNS * INC # F8: 5,9 => UNS * INC # B7: 5,9 => UNS * INC # B7: 2,3 => UNS * CNT 4 HDP CHAINS / 4 HYP OPENED
Full list of HDP chains traversed:
* INC # E8: 5,9 => UNS * INC # F8: 5,9 => UNS * INC # B7: 5,9 => UNS * INC # B7: 2,3 => UNS * CNT 4 HDP CHAINS / 4 HYP OPENED
Full list of HDP chains traversed:
* INC # E8: 5,9 => UNS * INC # F8: 5,9 => UNS * INC # B7: 5,9 => UNS * INC # B7: 2,3 => UNS * INC # E8: 5,9 # E1: 1,3 => UNS * PRF # E8: 5,9 # E1: 7 => SOL * STA # E8: 5,9 + E1: 7 * CNT 6 HDP CHAINS / 7 HYP OPENED