On Fri, 21 Feb 2020 06:54:38 -0800 (PST), Norman Megill <[email protected]> wrote: > We'll let DAW run his for > weeks, if he is willing, and see what comes through.
Indeed. I suggest that anyone who's run this minimization on Linux report their bogomips. There are a long list of flaws with the bogomips measure (hence the name), but it's an estimate of CPU speed that's really easy to get. You can find this value by running this: grep bogomips /proc/cpuinfo I see 8 copies of this (one for each of the 8 CPUs): bogomips : 5799.99 --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1j5B6L-0005xS-Qz%40rmmprod07.runbox.
