mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Five or Bust - The Dual Sierpinski Problem

Reply
 
Thread Tools
Old 2009-09-28, 18:02   #67
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

22·32·31 Posts
Default

Quote:
Originally Posted by paleseptember View Post
The SUMOUT error was from me, and I'm pretty sure it was a result of a power black-out. Phil is rerunning the test, hopefully it'll check out.
I confirmed Ben's residue, so his computer seemed to completely recover from the SUMOUT error, very reassuring. I also retested the two round-off errors from another user, and confirmed the residue with one error, but got something different for the other which had two round-off errors. He says that the machine has tested as quite stable several times, but on the theory that perhaps airflow could have been inhibited temporarily, I will retest a few more residues from around the same time as the first, just to get a clearer picture.
philmoore is offline   Reply With Quote
Old 2009-10-02, 00:53   #68
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

23·7·163 Posts
Default

It's ok. We know where they live...
Name:  phil.gif
Views: 269
Size:  31.0 KB
Batalov is offline   Reply With Quote
Old 2009-10-10, 00:25   #69
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

22·32·31 Posts
Default

This project was launched one year ago, and has accomplished so much: Three prp discoveries, and we are closing in on testing all exponents below 5M on the two remaining sequences, plus completing sieving up to 500T. Ben and I have been doing a systematic double-check on all exponents below 1.25M because of the bugs in pfgw, but we are also launching a random double-check of the range from 1.25M to 5.01M. I have randomly picked one test to do in each range, with the constraint that it has not already been double-checked. This account for 376 tests. I also added another 16 tests that occurred at times that there were hardware errors occurring. Although these 16 tests were all reported with clean error codes, because they occurred at the same time as other errors were generated, or during times of high heat on the cores, this may give us a chance to see if there were other undetected problems. The 376 + 16 = 392 tests were divided into 4 work files of 98 tests each and sent to Engracio, Ben, Jeff, and myself. These work files should be a little shorter than the current ones because some of the tests are on numbers with small exponents. I am hoping that by December, we can get an estimate of our error rate and decide whether further error testing is needed. This double-check of the 392 tests represents about 1% of our total prp effort to date, and should give us a good idea of how likely it might be that we could have missed a prime.

Thanks everyone for your contributions to a very successful project so far!
philmoore is offline   Reply With Quote
Old 2009-12-05, 00:10   #70
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

100010111002 Posts
Default Double checking

The double checking data is in, so I would like to provide a summary of what we know about the accuracy of our data so far. Before getting in to the data, I want to first mention that 11 first-time checks (out of 38,000 or so) have been returned so far with bits set in the error-reporting word. Some errors (SUMOUT) tend to be less disruptive than others (ROUND-OFF, or SUMINP!=SUMOUT), and the program can often recover by restarting from the last save file. Of these 11 residues reported with errors, we have confirmed that 8 of them were correct residues and 3 were incorrect, with a triple-check needed to confirm the incorrect residues. There were also two file reading errors caused by simultaneous testing of two numbers with the same exponent but different k values. I believe this is because Prime95 uses the same naming convention for both save files, but a double check has confirmed that both residues were correct.

All other residues were reported without detected errors. I randomly chose one prp test in each 10k range to retest. The k values were all either 40291 or 41693. (If I had known we would find another prp so soon, I would have postponed this project!) From 1.25M to 5.01M, this gave a total of 376 prp tests to redo. To these, I added an additional 16 tests which were in the vicinity of reported errors on the theory that there may have been unreported errors (particularly ROUND-OFF errors) near the same time and from the same machines as the reported errors, for a total of 392 prp tests.

From the first 294 tests, there was only one discrepancy between the first time test and the double-check. The discrepancy has been confirmed via a triple check as an error in the first time test. The machine was the same quad of Jeff's that had returned one of the three bad residues with a reported error. Considering that this machine had only returned about 350 tests in all, very few of those residues were double-checked, and I was concerned that it might have a high error rate. Engracio volunteered to double check another 32 residues from that machine, and he confirmed that 31 of the residues were ok, and one was wrong (confirmed by my triple-check.) So we have about a 6% error rate (2 out of 33, not including the ROUND-OFF error result), although I would not be surprised if the true error rate on this machine is anywhere between 2% and 12%. My suggestion is, let's double-check the 105 remaining residues from this machine in the 40291 sequence, and just forget about 41693 and 2131. The chances are small that one of them is a prp, but I would feel rather silly if they finally got checked a couple of years from now and a prp turned up! Anyone want to volunteer? All 105 tests are between 3.05M and 3.92M.

So I was hoping for a low error rate, but I got paleseptember's double check file last night and found two more discrepancies with the first time checks which were done by engracio. I am triple checking the first one (on a very slow machine) to find out which results were in error. (Anyone with a faster machine want to test 2^4007127+41693 for me? Otherwise, I will be done late next week.) Still an overall error rate of < 1% (3 out of 394 or less). But we can expect the error rate to grow as the exponents get larger. Maybe we should periodically do more of this sort of sample double checking, and perhaps we will even be lucky enough to identify machines that have higher than usual error rates. Ben and I have done a lot of work double checking exponents < 1.25M, but we have not found even a single error yet, so I'm not sure that more systematic checking of the low exponents has a very good payoff.

So I think the error rate is low enough that we can concentrate on first-time tests for awhile. What about sieving? We are currently sieving from 2M to 50M, so any factors found < 5.2M are only benefitting future double-checking work. Should we drop 2M-5M from our sieving range? For the record, sieving speed is proportional to the square-root of the range size, so dropping 2-5M would only speed up our sieving by a bit over 3%. Maybe we should sieve a bit farther before raising the lower limit on sieving. Opinions?
philmoore is offline   Reply With Quote
Old 2009-12-05, 00:21   #71
engracio
 
engracio's Avatar
 
May 2007

11110012 Posts
Default

Hey Phil I will take those 105 dc. I am finishing up my last range and I will complete this set of dc before reserving again.
engracio is offline   Reply With Quote
Old 2009-12-05, 01:38   #72
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

45C16 Posts
Default

Thanks, Engracio, I emailed them to you.
philmoore is offline   Reply With Quote
Old 2009-12-05, 05:21   #73
engracio
 
engracio's Avatar
 
May 2007

112 Posts
Default

They are on the queue to be worked on.
engracio is offline   Reply With Quote
Old 2009-12-05, 23:51   #74
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

22·32·31 Posts
Default

Ignore my request on 2^4007127+41693, as it is now started and will finish early Tuesday. I have confirmed the first residue mismatch from Ben as being wrong on Engracio's end, so I'll be in touch with him to see if we can identify the computer that ran that test.
philmoore is offline   Reply With Quote
Old 2009-12-06, 00:47   #75
engracio
 
engracio's Avatar
 
May 2007

112 Posts
Default

Phil if that was the same 3 or 4 wu we discussed before, I believe I do not have that machine anymore due to the mobo dying. So I do not think we can reproduce the results other than redoing the the test..
engracio is offline   Reply With Quote
Old 2009-12-06, 22:31   #76
Zuzu
 
Sep 2009

11 Posts
Default Double checking

Phil,

Given that the mean nb of primes per doubling is now 0.19, the probability of finding a yet undiscovered PRP by double-checking the last sequence (40291) in the relevant range (1.25M to 5.2M) is quite low, around 6%*(1-exp(-0.19*LN(5.2/1.25)/LN(2))) = 2%. Thus for this last sequence double checking would better be considered in the future by managing the expected increasing error rate along with increasing exponent.

OTOH for the other sequences I would suggest to make a double checking up to the discovered PRP exponent in order to ensure that it is indeed the lowest exponent ("Keller prime"). I think it would not be an unbearable task, it could result in easing the search for prime proof, and if clearly mentioned, would spare dispersed efforts of finding such hypothetical lower PRPs. Don't forget that for k=67607 the exponent 46549 had been discovered before 16389.
Zuzu is offline   Reply With Quote
Old 2009-12-06, 23:35   #77
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

111610 Posts
Default

6% was only the estimated error rate for that one computer that has returned three bad results so far; our overall error rate is probably more like 1% or less. As you say, the odds are small that a prime was missed for 40291.

On the other hand, double-checking all the sequences in which a prp has been discovered would be an effort comparable to a good fraction of our total effort to date, especially for 2131 and 41693. My current goal is to finish a complete list of residues for each of the four sequences so that they can eventually be double-checked, but I don't think we are ready to divert large amounts of resources to that task just yet.
philmoore is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
P-1 discussion thread Rincewind Five or Bust - The Dual Sierpinski Problem 57 2011-02-06 21:53
Sieving discussion thread jasong Twin Prime Search 311 2010-10-22 18:41
Sieving discussion thread philmoore Five or Bust - The Dual Sierpinski Problem 66 2010-02-10 14:34
Theological Discussion Thread clowns789 Soap Box 3 2006-03-09 04:05
New Sieve Thread Discussion Citrix Prime Sierpinski Project 15 2005-08-29 13:56

All times are UTC. The time now is 18:57.

Tue Oct 27 18:57:21 UTC 2020 up 47 days, 16:08, 1 user, load averages: 2.55, 2.31, 2.20

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.