[isabelle-dev] HOL-Decision_Procs FAILED
makarius at sketis.net
Tue Mar 18 22:19:41 CET 2014
On Tue, 18 Mar 2014, Brian Huffman wrote:
> Do you see the slowdown in batch mode, interactively, or both?
A batch build can go up from 2min to 3min, depending on hardware. The
session used to be in the range of 5min some years ago, then < 1min in the
best situation, now again a bit more than that.
As long as it practically not very relevant that is fine, but there might
be a more serious problem behind it.
More information about the isabelle-dev