SMT vs. EOS