Git repo of archdefs from CUTEst http://ccpforge.cse.rl.ac.uk/gf/project/cutest/wiki/