> > > Job 113 results attached. Runtime is about 18.2 hours. > Should I keep sending job results piecemeal like this, or would it make it > easier to just wait until my current batch is done and send them all at > once? > > I don't mind getting them one at a time since I can do some preliminary analysis before everything is complete. If you want to email them directly to me to save cluttering the thread, that's fine with me; some people are doing that. Since I'm already collecting them, if anyone wants the intermediate collection of the logs we have so far, let me know.
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/f7c18ec2-93bb-4763-8638-654db6548ff0%40googlegroups.com.
