[Termtools] [Termcomp] Fwd: Re: [color] Termination Competition 2009: Call for Participation

[Julien Forest]

Dear all, 

In the current state of the art, all certified criteria are not common
to *all* certifiers.
Therefore it is the proof search strategy which will determine the
score of each certifier. 
In fact, each prover should generate different traces for different
certifiers. A prover should not emit traces blindly. 
Otherwise, the results make no real sense *w.r.t. certification*. 

Best regards,
A3pat team.