On Fri, 14 Feb 2020 09:45:40 -0800, Mario Carneiro <di.g...@gmail.com> wrote:
> 123 and 124 completed...

I have completed these 9 jobs: 112 125-132
Their respective start/stop times are below (from the first/last lines of the 
log).

The results (.log files) of these jobs are here:
https://dwheeler.com/temp/results1.zip

Norm: Please download these results when you get a chance, it's 1,008,004 bytes.

I am currently running jobs 144-151.

--- David A. Wheeler

====

The log file "metamathjobs/job112.log" was opened 13-Feb-2020 3:45 PM.
The log file "metamathjobs/job112.log" was closed 13-Feb-2020 11:47 PM.

job125.log
The log file "metamathjobs/job125.log" was opened 13-Feb-2020 3:45 PM.
The log file "metamathjobs/job125.log" was closed 13-Feb-2020 11:29 PM.

job126.log
The log file "metamathjobs/job126.log" was opened 13-Feb-2020 3:45 PM.
The log file "metamathjobs/job126.log" was closed 13-Feb-2020 11:12 PM.

job127.log
The log file "metamathjobs/job127.log" was opened 13-Feb-2020 3:45 PM.
The log file "metamathjobs/job127.log" was closed 13-Feb-2020 11:07 PM.

job128.log
The log file "metamathjobs/job128.log" was opened 13-Feb-2020 3:45 PM.
The log file "metamathjobs/job128.log" was closed 14-Feb-2020 12:31 AM.

job129.log
The log file "metamathjobs/job129.log" was opened 13-Feb-2020 3:45 PM.
The log file "metamathjobs/job129.log" was closed 13-Feb-2020 10:25 PM.

job130.log
The log file "metamathjobs/job130.log" was opened 13-Feb-2020 3:45 PM.
The log file "metamathjobs/job130.log" was closed 13-Feb-2020 11:56 PM.

job131.log
The log file "metamathjobs/job131.log" was opened 13-Feb-2020 3:45 PM.
The log file "metamathjobs/job131.log" was closed 13-Feb-2020 11:53 PM.

job132.log
The log file "metamathjobs/job132.log" was opened 13-Feb-2020 10:25 PM.
The log file "metamathjobs/job132.log" was closed 14-Feb-2020 7:59 AM.

-- 
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/E1j2g6l-0002Hi-Vl%40rmmprod07.runbox.

Reply via email to