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)