~joshuad/intcomp-2013