SMT ranking

Should play more I guess