[isabelle-dev] HOL-IMP very slow

Makarius makarius at sketis.net
Wed Feb 12 16:28:48 CET 2014

Tests about slowness take long, but here is a presumably good point in the 
published history:

Finished Pure (0:00:10 elapsed time, 0:00:12 cpu time, factor 1.20)
Finished HOL (0:02:13 elapsed time, 0:05:56 cpu time, factor 2.67)
Finished HOL-IMP (0:01:58 elapsed time, 0:07:28 cpu time, factor 3.79)

It probably corresponds to AFP/08874371d79e.

This might help someone to detach for a few hours or days, until the 
public history is back to normal and in a testable state.


More information about the isabelle-dev mailing list