[isabelle-dev] Max threads & Sledgehammer
Jasmin Christian Blanchette
jasmin.blanchette at gmail.com
Fri Jan 4 18:56:46 CET 2013
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
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