Carsten Otto a écrit : > It should be a failure with respec to scoring and winning the competition. > It must not be a failure with the meaning "the proofs is incorrect", as > explained above. I agree with Carsten and Johannes. We should distinguish failures from timeouts: a timeout is not a failure!