On 15/05/17 12:14, Makarius wrote: > Some results can be seen here: > > http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux/index.html > http://isabelle.in.tum.de/devel/build_status/Poly_ML_5.7_Linux_2_threads/index.html > > The test hardware is similar or actually the same as "Linux A", but this > needs to be investigated further. It is also important to compare > timings for the *same* Isabelle versions, but the Poly_ML_5.7_Linux task > is still busy digging into older history.
I have now changed that here: changeset: 65840:8d7b2ac9a245 tag: tip user: wenzelm date: Mon May 15 14:27:14 2017 +0200 files: src/Pure/Admin/isabelle_cronjob.scala description: history parameters like "Linux A", for more comparable results; Maybe I also manage to get ml_statistics into the charts soon. Then we can look at heap, task, thread details etc. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev