On Tue, 5 Jun 2007, Claude Marché wrote: > The certifying option is now ready to run. To authors of such tools: > please check that the qualification round results are Ok for you: i'm surprised that you get an error for AG01/#3.10.trs with tpa (it's ok for ttt2).