We have found that the analogy-based approach has less recall (unable to find any solution in many cases) compared to SMT.
a combination of both has achieved a reasonably good improvement over the individual model.