SMT Shift Log