[isabelle-dev] HOL-Quickcheck_Benchmark timeouts

Makarius makarius at sketis.net
Mon Nov 26 11:12:39 CET 2012

In the past few weeks, we've had isatest problems with 
HOL-Quickcheck_Benchmark and ISABELLE_FULL_TEST=true (as used with 
mac-poly64-M4 and mac-poly64-M8).

After some experimentation and tinkering, it seems that the timeouts in 
Isabelle/978200ae8473 from last Friday work: we've had successful isatest 
runs over the weekend.

As far as I can see, the tests on macbroy2 terminate around 05:30 CET. 
This might be relavant for later tests of AFP.


More information about the isabelle-dev mailing list