[Termtools] final results of the certified categories ?

[Frederic Blanqui]

Hello!

I got no official confirmation whether the rerun of the certified 
category is finished or not... :-(

Here are the current new results computed from the termination 
competition web pages:

TRS		Certifiers
Provers		Proofs	CeTA	Rainbow	Cime3
TTT2Cert	264	264	53	2
AProVE-CeTA	259	259	67	12
AProVE-COLOR	220	107	178	30
AProve-A3PAT	165	94	92	104
Cime3finder	56	50	9	55
TOTAL		964	774	399	203

SRS		Certifiers
Provers		Proofs	CeTA	Rainbow	Cime3
AProVE-CeTA	148	146	70	2
TTT2Cert	115	115	9	0
AProVE-COLOR	96	75	86	8
AProve-A3PAT	45	38	25	13
TOTAL		404	374	190	23

Modifications wrt previous computation for TRSs:

- AProVE-COLOR score is increased by 214% (220 instead of 70)

- Cime3finder score is increased by 556% (59 instead of 9)

- Rainbow score is increased by 40% (399 instead of 286)

- CeTA score is increased by 12% (774 instead of 686)

- CeTA/Rainbow is -decreased- by 19% (1.94 instead of 2.40)

- Rainbow/Cime3 is increased by 2.6% (1.97 instead of 1.92)

Modifications wrt previous computation for SRSs:

- AProVE-COLOR score is increased by 433% (96 instead of 18)

- Rainbow score is increased by 55% (190 instead of 122)

- CeTA score in increased by 51% (374 instead of 247)

- CeTA/Rainbow is -decreased- by 2.5% (1.97 instead of 2.02)

- Rainbow/Cime3 is increased by 69% (8.26 instead of 4.88)

Frederic.