Reliable SMT Operations