On Wed, 6 Jun 2007, Koprowski, A. wrote: > The really bad outcome of the whole thing is that TTT2 gets points for > systems for which it essentially fails. Of course this should be avoided and > even more so in the certified competition! this means that proofs have to be checked and points have to be computed by hand...