[Termtools] TPA

[Frederic Blanqui]

On Tue, 5 Jun 2007, Zantema, H. wrote:

> * TPA participates in the certified category with the final version.
> Note that the reason of replacing the final version by the preliminary
> version was only due to an error for the standard category. This error
> is independent of the certified category: it occurred in a technique for
> which certification is not supported.

i would like to add that i tested on TRS/ some version of tpa (may 29) with 
rainbow and color last week-end and got the following results:

http://color.loria.fr/TRS.log

column 1: problem
column 2: tpa time
column 3: rainbow time
column 4: coq time
column 5: exit status (YES/NO)

10:47 ~/local/rainbow-cvs get_stat TRS.log
total: 1977
prover: 1152 = 58,27 %total
rainbow: 1152 = 58,27 %total = 100,00 %prover
coq: 463 = 23,42 %total = 40,19 %rainbow