For further comparison, see the SMT page