our models at spin'13 and fmcad'13