On 12/05/18 00:27, Makarius wrote: > Here is recent timing information for JinjaThreads, which indicates that > it has suffered recently: > > https://isabelle.sketis.net/devel/build_status/AFP_slow_64bit_6_threads/index.html#session_JinjaThreads > > I.e. it stopped working, and came back to live much slower.
Here are some further results from looking through AFP build_status (the relevant interval is b91c4acc1aaf:b25ccd85b1fd): * faster: Gauss_Jordan, Vickrey_Clarke_Groves, Card_Partitions, ArrowImpossibilityGS, Category * slower: Stone_Relation_Algebras It means that the "Generalizations in the formalization of linear algebra" make things much faster in many situations. The slowdown of the small session Stone_Relation_Algebras might help to figure out what is actually going on. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev