On Fri, Feb 14, 2020 at 4:14 PM Norman Megill <[email protected]> wrote: > If you have free cores, you could start 157 and 158 that haven't been > assigned. You could also start 159 if you'd like, but Thierry indicated he > might break the 159 theorem into smaller lemmas.
After the ones currently running complete, I'm going to take it offline and run a memory checker. But 155 has run for 24 hours and hasn't hit the halfway mark (I assume backwards takes about the same amount of time as forwards does), so I would have time to run something that would take eight hours, but not something that might well be slower than what I'm running now. -- Kie ekzistas vivo, ekzistas espero. -- 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/CAMZ%3Dzj4UsvwBYBqGJ1x%3DYX5JXY4_Kb9OSdvFUMRvBXMLFh-GCQ%40mail.gmail.com.
