[Termtools] competition results - some comments - SRSs

[Frederic Blanqui]

for SRS now:

				Certifiers
Prover		Proofs	CeTA	Rainbow	Cime3
AProve-CeTA	149	78(*)	72	1	
TTT2Cert	114	114	9	0	
AProVE-A3PAT	45	37	23	13	
AProVE-COLOR	18	18	18	11	
TOTAL		326	247	122	25


(*) should increase after rerun

Remarks:

1) Again, in absolute value, CeTA > Rainbow > Cime3.

2) The proofs generated by TTT2Cert are almost not handled by Rainbow or 
Cime3, because of an heavy use of usable rules I think.

3) CeTA handles well the proofs generated for other tools.

Frederic.