Unsent proofs

LaurV · 2022-01-10, 05:47

Can we get a list with the PRP results that we sent, but for which there was not proof sent? I repeatedly have trouble sending proofs because paranoid network settings both at home and work too, or because the things are just busy, or working in the weeds (i.e. disconnected) and I need to move proof files around from one P95 folder/computer to another, etc. so, an option to query the server (web page) for the PRP tests I sent, but which have no proofs sent yet, would be very useful - I would at least know, and hunt for them, they are for sure hidden somewhere in some folder, and it would be a pity for the next user to run another PRP test, instead of a CERT.

As well, an option in P95 to "send all proofs now", unless this makes trouble for the server (which may not be able to receive many MB of data from many users at the same time) - sometimes I just have the pipe for myself and I know there is only me on the pipe, and I may want to tidy up, but now there is no option to do that, only to move the proof files and wait, hoping P95 will send them out later, check from time to time, etc. Not funny...

Prime95 · 2022-01-11, 04:56

Look at your account results web page:

https://www.mersenne.org/results/?ex...cpu=&limit=100

Any residues that end in "__" have not been certified (either because proof has not been uploaded or certifier is being slow). I occasionally look at this page to see looking for uncertified PRPs that are more than a couple days old which might indicate a proof uploading problem.

ewmayer · 2022-01-11, 19:15

Quote:

Originally Posted by Prime95

Look at your account results web page:

https://www.mersenne.org/results/?ex...cpu=&limit=100

Any residues that end in "__" have not been certified (either because proof has not been uploaded or certifier is being slow). I occasionally look at this page to see looking for uncertified PRPs that are more than a couple days old which might indicate a proof uploading problem.

Thanks for the tip - I see two such among my recent-results, one of which was submitted yesterday and the CERT is 35% done, but the second was submitted a week ago and the CERT reports 0 progress. How long does the server wait before reassigning the CERT?

Prime95 · 2022-01-11, 20:28

Quote:

Originally Posted by ewmayer

How long does the server wait before reassigning the CERT?

Something like 15 or 30 days, I don't remember.

LaurV · 2022-01-12, 05:11

Quote:

Originally Posted by Prime95

Any residues that end in "__" have not been certified (either because proof has not been uploaded or certifier is being slow).

Not helpful. Almost all sent in the last week or so would have __. Can't search for every of them in the folders where proofs were saved. Guess this is just more job for James, then...

Prime95 · 2022-01-12, 21:45

Quote:

Originally Posted by LaurV

Not helpful. Almost all sent in the last week or so would have __.

CERTs are usually done within hours. Just ignore your results sent in the last 24 hours. For each "__" older than 1 day click on the exponent to see the detailed report. That will tell you if the exponent is assigned for CERT.

kriesel · 2022-01-12, 23:02

Quote:

Originally Posted by Prime95

Any residues that end in "__" have not been certified (either because proof has not been uploaded or certifier is being slow). I occasionally look at this page to see looking for uncertified PRPs that are more than a couple days old which might indicate a proof uploading problem.

Uncertified do not always indicate as __ on the right. See https://www.mersenne.org/report_expo...3939421&full=1 which currently has a 0% complete Cert assignment, and matching PRP type 1 res64s, different shifts run on different applications. This will occur with first PRP lacking proof generation, getting double-checked with PRP&proof-gen. But in the usual PRP first test with proof case, yes, date sort on column with heading "Received". Just click the heading "Received" in the browser. Then scan yesterday's or older for __.

LaurV · 2022-01-13, 05:35

Quote:

Originally Posted by Prime95

CERTs are usually done within hours. Just ignore your results sent in the last 24 hours. For each "__" older than 1 day click on the exponent to see the detailed report. That will tell you if the exponent is assigned for CERT.

Ok. Good starting point. Solved already few issues. Thanks.

I would like, however, to see a report page (sorry James for suggesting more work for you

) in the future, with my PRP tests for which a proof was not sent out. This would help me (and others) to hunt for them, send them out by hand, or, in case they were really lost somehow (for example, not enough disk space at runtime, albeit this is a stupid reason nowadays, with trillions of free bits everywhere, it is just what pops in my head right now), to re-run the test and save other people's time and electrons.

tServo · 2022-01-13, 15:34

An exponent of mine ( below ) was assigned to do CERT on 12-31 and has not completed.
What is the maximum amount of time to wait before reporting them as overdue?
Or, just allow them to be automatically reassigned?

https://www.mersenne.org/report_expo...0852299&full=1

slandrum · 2022-01-13, 16:47

Quote:

Originally Posted by tServo

An exponent of mine ( below ) was assigned to do CERT on 12-31 and has not completed.
What is the maximum amount of time to wait before reporting them as overdue?
Or, just allow them to be automatically reassigned?

https://www.mersenne.org/report_expo...0852299&full=1

https://www.mersenneforum.org/showpo...79&postcount=4

2022-01-10, 05:47	#1
LaurV Romulan Interpreter "name field" Jun 2011 Thailand 13×769 Posts	Unsent proofs Can we get a list with the PRP results that we sent, but for which there was not proof sent? I repeatedly have trouble sending proofs because paranoid network settings both at home and work too, or because the things are just busy, or working in the weeds (i.e. disconnected) and I need to move proof files around from one P95 folder/computer to another, etc. so, an option to query the server (web page) for the PRP tests I sent, but which have no proofs sent yet, would be very useful - I would at least know, and hunt for them, they are for sure hidden somewhere in some folder, and it would be a pity for the next user to run another PRP test, instead of a CERT. As well, an option in P95 to "send all proofs now", unless this makes trouble for the server (which may not be able to receive many MB of data from many users at the same time) - sometimes I just have the pipe for myself and I know there is only me on the pipe, and I may want to tidy up, but now there is no option to do that, only to move the proof files and wait, hoping P95 will send them out later, check from time to time, etc. Not funny... Last fiddled with by LaurV on 2022-01-10 at 05:47

2022-01-13, 15:34	#9
tServo "Marv" May 2009 near the Tannhäuser Gate 798₁₀ Posts	An exponent of mine ( below ) was assigned to do CERT on 12-31 and has not completed. What is the maximum amount of time to wait before reporting them as overdue? Or, just allow them to be automatically reassigned? https://www.mersenne.org/report_expo...0852299&full=1 Last fiddled with by tServo on 2022-01-13 at 15:35

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Share N+/-1 Primality Proofs	wblipp	FactorDB	444	2022-07-28 16:13
Bad proofs in v7.1	preda	GpuOwl	1	2020-11-01 06:23
Avoidance of self- & other-deception in proofs	cheesehead	Soap Box	71	2010-01-14 09:04
Status of GIMPS proofs	Brian-E	Information & Answers	7	2007-08-02 23:15
Collection of Proofs?	Orgasmic Troll	Math	1	2004-12-30 15:10

2022-01-11, 04:56	#2
Prime95 P90 years forever! Aug 2002 Yeehaw, FL 2²×5×397 Posts	Look at your account results web page: https://www.mersenne.org/results/?ex...cpu=&limit=100 Any residues that end in "__" have not been certified (either because proof has not been uploaded or certifier is being slow). I occasionally look at this page to see looking for uncertified PRPs that are more than a couple days old which might indicate a proof uploading problem.