[Termtools] time limit 300

[Jörg Endrullis]

Claude Marche wrote:
> One remark about the cases where a rerun with a time limit of 300
> second is required: I configured my tool running the competition so
> that such a rerun is scheduled if no tool give an answer in less than
> *10* seconds in the first step. This is why a rerun with the 300 limit
> is now scheduled for most of the Gebhardt problems, since Jambox seems
> to especially like to answer NO just in a bit more than 10 seconds. Is
> it only a coincidence ?
> 
> - Claude

Yes, it is only a coincidence. Jambox first tries direct matrix
interpretations before starting the loop-check.

Jörg