[isabelle-dev] AFP tests timing out
bulwahn at in.tum.de
Mon Jul 16 09:01:24 CEST 2012
for about one month now, we are continuously seeing the AFP tests
failing on various entries because of timeouts, e.g. AVL-Trees,
To my knowledge, the entries have not changed. So the timeouts seem to
be caused by recent changes in the Isabelle system itself.
Could you provide graphs of the runtime for the AFP of the last few
weeks to identify the possibly critical changesets?
Are there some educated guesses what could have changed the performance
on all these theories?
Should we ignore the performance drop and simply increase the timeouts
on these sessions?
More information about the isabelle-dev