[Termtools] timeout for verification: 1 minute

[Frederic Blanqui]

Then, I suggest to have a second round for the certified categories, 
either inside or outside the competition, with a 10 minutes timeout, but 
only on those problems that have not been checked within 1 minute. What 
do you think? Would it be possible to automate this?

I also suggest to provide statistics about the size of the generated Coq 
files (in Ko).

Johannes Waldmann a écrit :
> The Steering Committee has voted that the timeout
> for verification of termination certificates will be 1 minute.
> 
> (5 votes received, each of them for the "1 minute" option)
> 
> Johannes.
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/mailman/listinfo/termtools