[isabelle-dev] HOL-Decision_Procs FAILED

Makarius 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 mailing list