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.