Ultimate Guide to SMT Machines: What They Are & How to Choose