On Sunday, February 16, 2020 at 10:32:56 AM UTC-5, David A. Wheeler wrote: > > (Replying to myself) > > My job 145 just finished. It's posted as: > https://dwheeler.com/temp/job145.log > > I have a spare CPU available if it might be useful for another job. >
heiphohmia's job115 died in the middle of minimizing the last proof. I finished the last proof myself, so the job is complete, but I'm concerned about all the mysterious crashing problems. As a test, could you run 115 on your end to see if it completes OK? Norm -- 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/0afebad5-a401-4be8-9155-59f5a2b00b11%40googlegroups.com.
