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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/fa10912a-1e30-445f-b735-f1f9cdc0280b%40googlegroups.com.
