Hi, Harald. Sorry about that. I am not sure why those links were broken. I have fixed them now. Aaron > Hi, > > It looks like the tools for the 2007 competition > cannot be downloaded (all links are broken) > http://www.smtcomp.org/2007/participants.shtml > > Could somebody please fix this. > > Thanks in advance, Harald.