Hello, so what are the suggested settings for 12 or 16 cores?
Manuel
timeout = 30 (in seconds)
slices = 24 or 48 (depending on whether you have 4 or 8 cores)
max_proofs = 4 (max number of proofs shown before bailing out)
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
