data used for the fse 2013 submission