[isabelle-dev] AFP: Session AVL-Trees broken

Gerwin Klein kleing at cse.unsw.edu.au
Wed Nov 7 22:22:18 CET 2012


If I run sessions manually, they work fine, but they fail in the cron job with timeout (even small ones like Separation_Algebra).

This has been going on for a while. Does anyone have an idea what's going on?

Is there something else running on macbroy2 at the same time that takes a lot of resources? 

Cheers,
Gerwin

On 08/11/2012, at 7:32 AM, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:

> Anybody any ideas what went wrong!?
> 
> 	Florian
> 
> -- 
> 
> PGP available:
> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




More information about the isabelle-dev mailing list