On Tue, 5 Jun 2007, Frederic Blanqui wrote: > 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: with 60s time limit for tpa and coq