[isabelle-dev] Max threads & Sledgehammer

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Fri Jan 4 18:56:46 CET 2013

Hi Gottfried,

Am 04.01.2013 um 14:09 schrieb Gottfried Barrow:

> So far I've managed to stay out of the development list, but this ties into what I saw in the past in my experiments with Sledgehammer, and how many ATPs it would launch at a time, which was a maximum of four even though an i7 has 8 virtual cores, and 8 graphs are displayed on an i7 by my CPU monitor and process monitor.

See the change

    Ă„nderung:        50118:89a14e495526
    Nutzer:          wenzelm
    Datum:           Sun Nov 18 15:38:37 2012 +0100
    Zusammenfassung: adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;

and the "NEWS" entry

    * The default limit for maximum number of worker threads is now 8,
    instead of 4.



More information about the isabelle-dev mailing list