BAT vs SMT