[isabelle-dev] New Sledgehammer multitheading model

Jasmin Blanchette j.c.blanchette at vu.nl
Tue Feb 1 11:11:22 CET 2022


> so what are the suggested settings for 12 or 16 cores?

The suggested setting is to leave everything as it is by default. The options are there only if you want to experiment with things.

Jasmin



More information about the isabelle-dev mailing list