mersenneforum.org  

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

Reply
 
Thread Tools
Old 2010-03-06, 00:05   #1
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

1,117 Posts
Default Double checking discussion thread

I have started a new sticky thread for double checking reservations. Double checking of the sequence 2n+40291 is currently complete for all n up to 1.25 million, with matching residues in every single case. Ben has run a few double checks of my ranges beyond that, as I was planning to quietly continue this work on the ranges I had not checked the first time, but Geoff recently requested some double checking work, so it seemed like a good time to start a new thread to coordinate everything.

That said, I still consider this work fairly low priority at the moment. We ran some sample double checks in the range 1.25-5.01M last year, and detected an error rate that seemed most likely to be a little under 1%. I would like to run some more sample double checks when we get up to around 7 million in first time checks, but since the range 0 to 2 million is no longer being sieved, it might make more sense to work in this lower range and let the sieving continue a bit further before taking up the second round of sample double checks. There is a discussion of the sample double checking results in the PRP discussion thread, and the conclusion was that most of the errors seemed to be coming from two computers. If you are running more than one computer, it may be helpful to assign unique computer ids to each one, so that if problems do surface, we know which tests should have priority for double checking.

Even lower priority, but still an eventual possibility, is double checking the four sequences in which we have already discovered probable primes. There is a small, but positive probability that we could have missed a smaller one, so if anyone wishes to explore that, feel free to post a reservation in that thread, and I can send you a work file. But indications so far are that my early work was pretty accurate, so finding a smaller one would really take a stroke of luck.
philmoore is offline   Reply With Quote
Old 2010-03-18, 06:20   #2
Cybertronic
 
Cybertronic's Avatar
 
Jan 2007
DEUTSCHLAND !

1000010112 Posts
Default

Hello, why me make a double ckeck ? For what ?
Today , this numbers we can't prove and in few years we can maybe double checking this in few weeks.

Is it not better to search for higher PRPs ?

The two tiny numbers was maybe an inattation by the searcher.
Double checking only if we found an old PRP program , what say "is composite" instead of "3-PRP!".
My opinion.

Last fiddled with by Cybertronic on 2010-03-18 at 06:28
Cybertronic is offline   Reply With Quote
Old 2010-03-18, 11:52   #3
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

111710 Posts
Default

We certainly do have an error rate in our residues returned so far, although it appears to be low, perhaps a bit less than 1%. The main idea of double checking is that if we missed a prime, say of the size 2^2xxxxxx+40291, and the next one is not until 2^64xxxxxx+40291, that it will require far less work to double check this one sequence part way than to search all the way to 64M for example. Don't forget that Seventeen or Bust discovered two of their eleven primes through double checking. And so far, we are only talking about a modest effort that will take a small fraction of the resources that first time checks have taken.

The three small missed primes are a different issue, and very well may have been caused by errors in an early version of pfgw. Now that all of these sequences and prps have been confirmed, except for the six largest, I agree with you that double checking them should be a low priority, but it will eventually be done, hopefully with faster computers than we have now.
philmoore is offline   Reply With Quote
Old 2010-03-18, 12:12   #4
Cybertronic
 
Cybertronic's Avatar
 
Jan 2007
DEUTSCHLAND !

3×89 Posts
Default

Okay, I understand.
Cybertronic is offline   Reply With Quote
Old 2011-03-28, 22:37   #5
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

1,117 Posts
Default

Current status of double-checking is that 75353 and 28433 have been completely double-checked by Justin (enderak), and only 2131, 41693, and 40291 have not been completely double-checked. The effort to double-check these sequences is now being coordinated by PrimeGrid, which has made this their April PRPNet project, using Mark Rodenkirch's PRPNet software. They started 2131 at 1.25M, 41693 at 1.1M, and 40291 at 2.13M, and currently, the leading edge seems to be at 2.29M. It is pretty exciting watching progress go so fast, but sobering also, considering how long it took us! Way to go, PrimeGrid, and thanks to John Blazek and Mark Rodenkirch for setting this up!
philmoore is offline   Reply With Quote
Old 2011-03-28, 22:38   #6
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

45D16 Posts
Default

The details, for anyone who wants to participate, are at:

http://www.primegrid.com/forum_thread.php?id=3228
and
http://www.primegrid.com/forum_threa...rap=true#34414
philmoore is offline   Reply With Quote
Old 2011-03-29, 08:10   #7
enderak
 
enderak's Avatar
 
Feb 2009

3·13 Posts
Default

Thanks for the heads up, Phil. I've been waiting for this to get started over there. Their forum seems to be down at the moment, but hopefully there will still be some tasks left in the morning!

With this and the new version of Primo on the horizon, this project might just have some life left in her after all! ;)
enderak is offline   Reply With Quote
Old 2011-04-05, 05:28   #8
SysadmAtNbg
 
SysadmAtNbg's Avatar
 
Dec 2010
N├╝rnberg, Germany

3 Posts
Default

Quote:
Originally Posted by enderak View Post
... Their forum seems to be down at the moment, ...
seems to me you hit the daily downtime at 08:00 UTC
SysadmAtNbg is offline   Reply With Quote
Old 2011-04-05, 10:52   #9
Dead J. Dona
 
Feb 2007
Kiev, Ukraine

3·7 Posts
Default

Good day all.

Now when llrCUDA is available, and it's known that it's significally faster on larger numbers I want to ask - does somebody tried llrCUDA on this numbers?

Last fiddled with by Dead J. Dona on 2011-04-05 at 10:54
Dead J. Dona is offline   Reply With Quote
Old 2011-04-06, 16:17   #10
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

111710 Posts
Default

I moved your post to this thread, since llrCUDA does PRP testing, and would be useful for double-checking, but the other thread was more concerned with ECPP testing with Primo to prove that some of our probable primes were actually prime.

Certainly, llrCUDA seems promising, but I am not aware that anyone has yet tested it on numbers of the form b^n+k. I plan on building a new system this summer with a graphics board that will let me try programs running under CUDA, but if anyone else has any experience on numbers of this form, feel free to post here.
philmoore is offline   Reply With Quote
Old 2011-04-28, 16:50   #11
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

1,117 Posts
Default

PrimeGrid has finished checking the 2131 sequence and is on track to also finish 41693 as part of their April challenge, which now runs until May 5th. They would welcome any additional help:
http://www.primegrid.com/forum_thread.php?id=3228
philmoore is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
What about double-checking TF/P-1? 137ben PrimeNet 6 2012-03-13 04:01
Double checking Unregistered Information & Answers 19 2011-07-29 09:57
Double Check - A discussion thread opyrt Prime Sierpinski Project 16 2009-02-01 14:42
Double checking gd_barnes Riesel Prime Search 54 2007-12-20 01:36
Double-checking milestone? jobhoti Math 17 2004-05-21 05:02

All times are UTC. The time now is 12:55.

Sat Sep 26 12:55:16 UTC 2020 up 16 days, 10:06, 1 user, load averages: 1.90, 2.32, 2.05

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.