[isabelle-dev] HOL-Decision_Procs FAILED

[Makarius]

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.


 	Makarius