[isabelle-dev] Duraraion of AFP session AODV

Gerwin Klein Gerwin.Klein at nicta.com.au
Wed Nov 26 22:31:25 CET 2014

Not sure about lxbroy10, but AODV is now the longest session. It takes about 1:40h on my machine (needs less memory than JinjaThreads, though).


> On 27.11.2014, at 05:10, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> How long is session AODV expected to run on a machine such as lxbroy10?
> It seems to exceed JinjaThreads significantly…
>       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


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list