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.
Regards,
Jasmin
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
