[Termtools] Competition: qualification rounds

[Johannes Waldmann]

Claude Marché wrote:

> Done. With 20 seconds time limit, no tool find any proof. 

could you double-check this?

On my (slow) machine, I get

            jw1     z086
torpa-1.7   9 sec   19 sec
matchbox   30 sec   30 sec

So I believe your results for matchbox
(but then your machine is not that fast, I was hoping for more :-)
but not for torpa.

Best regards, Johannes.