I checked all the log files I have:

101-111 good
112 bad
113 good
114-122 unknown (jobs not finished)
123-124 good
125-132 bad

So 112 and 125-132 have to be redone.

For the jobs not finished, a quick way to check that you have the updated 
min2020-jobs.zip is to make sure that "dral1ALT" is in job124 and not in 
job129:

$ grep dral1ALT job*.cmd
job124.cmd:prove dral1ALT

Note that jobs 133 to 160 are not affected, because the theorems in them 
didn't change.

Norm

On Friday, February 14, 2020 at 8:01:10 PM UTC-5, David A. Wheeler wrote:
>
> On February 14, 2020 7:14:42 PM EST, Norman Megill wrote: 
> >On Friday, February 14, 2020 at 6:41:14 PM UTC-5, Norman Megill wrote: 
> >> 
> >> On Friday, February 14, 2020 at 6:28:58 PM UTC-5, David Starner 
> >wrote: 
> >>> 
> >>> On Fri, Feb 14, 2020 at 3:12 PM Norman Megill  wrote: 
> >>> 
> >> 
> >... 
> > 
> > 
> >> Does that mean that 125-132 are open again? Since 155 hasn't started 
> >>> running backwards yet, I might as well load up the rest of those 
> >>> cores. 
> >>> 
> >> 
> >> Let's see what David W. wants to do.  Also, this might affect anyone 
> >who 
> >> used the script, so there might be other jobs to be redone. 
>
> I will just restart and rerun my assignments, and simply consider the 
> previous stuff a dry run. The newer scripts are better anyway. 
>
> I think what happened is that I still had the zip file around, so it 
> simply reused the zip file. If I delete the zip file and the generated 
> directory, I think it should be fine. 
>
>
> --- David A.Wheeler 
>

-- 
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/0b82747f-81c2-4a3e-a52c-79682d1b3998%40googlegroups.com.

Reply via email to