The SMT Detector