Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis