Stronger SMT Provider ETA

SMT Machines