Wow. People are rushing to donate computer time. Love this community. Sure, I am running 113 now, will commit to 113-116 for now.
Norman Megill <n...@alum.mit.edu> wrote: > On Thursday, February 13, 2020 at 7:27:44 PM UTC-5, heiphohmia wrote: > > > I will take the 12 jobs 113-124, anticipating it to take about 2 weeks in > > total > > given my hardware. > > > > Well, the way things are going we may be able to complete this before 2 > weeks. If you are running 1 job at a time @ 16.6 hrs, it might be better > to commit to 4 jobs or ~66 hrs at a time. So I'm committing you to 113-116 > for now, is that ok? If you have already started a job outside of that > range let me know. (Also, Mario is running 123 and 124.) > > Here is an update of current status, under that assumption: > > 101 Alexander (in progress) > *102 heiphohmia (complete) > *103-111 David Starner (complete) > 112 David A. Wheeler (in progress) > 113-116 heiphohmia (in progress) > 117-122 UNASSIGNED > 123-124 Mario (in progress) > 125-132 David A. Wheeler (in progress) > 133-135 David Starner (in progress) > *136 David Starner (complete) > 137 David Starner (in progress) > *138-143 David Starner (complete) > 144-151 David A. Wheeler (in progress) > 152-155 David Starner (in progress) > 156-160 UNASSIGNED > > As a reminder, here are the current instructions: > https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/aI3Xc8w2BAAJ that > point to the set.mm version we should use (and see David A. Wheeler's post > https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/CJSwJ7p8BAAJ if you > want to use his script). > > 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/2YBKIDOQ5HMGC.1ZJF5CZRGWORT%40wilsonb.com.