[Termtools] A proposal for the next competition

[Juergen Giesl]

Hi Jörg,

> I am not in favour of this proposal. Consider the following scenario: we
> have two tools {1,2}, 100 problems. Tool 1 solves all problems and needs
> 50 seconds for each of them. Tool 2 solves the first 99 problems in 1
> second, but fails for the last problem since it would need 61 seconds.
> Which of them is the better tool?

I think there is no "better" tool. Tool 1 is more powerful and Tool 2 is faster.

Best Regards
Juergen