Text this: SMT efficiency in supervised ML methods: a throughput and interference analysis