mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Conjectures 'R Us

Reply
 
Thread Tools
Old 2007-12-24, 03:34   #1
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

2·5·1,021 Posts
Default Report top-5000 primes here

Please report all top-5000 primes not found in team drives in this thread.

Instructions for submitting a top-5000 prime:

Go to http://primes.utm.edu/primes/home.php.

Step 1: For people who have not submitted top-5000 primes previously, create a prover account:
1. Select 'Submit' on the lower left side under 'Join in'.
2. Select the 'click here to create a prover-account' link in the middle of the page.
3. Fill out the form and submit it. You will be assigned a prover account.

Step 2: Create a proof code:
1. Go to the home page in the link above and select 'Index' on the left side under 'Provers'.
2. Next to 'search prover-accounts', type yours and press enter.
3. Click on your prover account (there may be one or several) and press enter.
4. Towards the bottom, click on 'Create a New Proof-Code' and press enter.
5. If necessary in the little pop-up box, type in your user name (prover account) and password and press enter.
6. You should now have a list of proof programs. Select the program that you used to PROVE the prime (not a probable prime).
7. In the space below all the programs, type in 'CRUS' for the project, your sieving software (srsieve for team drives), and other software that helped find the prime. Separate each selections by a comma. (Note if you used LLR to find a probable prime and then PFGW to prove the prime, select OpenPFGW at the top and then type in LLR as additional software at the bottom. Each program will get full credit.)
8. You should now have a new proof code and can submit the prime. Example...L532.

Step 3: Submit the prime:
1. Go to the home page in the link above and select 'Index' on the left side under 'Provers'.
2. Next to 'search proof-code', type your new code from step 2 and press enter.
3. Towards the bottom, next to 'Submit primes using this code as', click on your name (prover account) and press enter.
4. If necessary in the little pop-up box, type in your user name (prover account) and password and press enter.
5. You should see a big free-form box. Type in your prime (no spaces needed) and click 'Press here to submit these prime(s)'.
6. A verification screen will come up. If the prime is correct, click 'Press here to complete submission'.

Suggestion: I suggest attempting to "normalize" or "reduce" your prime as much as possible before submitting although it is not necessary. The top-5000 site will do this automatically with its 'canonization' process (I think) but it will give you a strange message that is difficult to comprehend. A normalization or reduction can be done all of the time if the base is a power of 2 or the k-value is a multiple of the base after reducing the base as much as possible. Example:
13438*16^98815+1
13438*2^395260+1
6719*2^395261+1


Gary

Last fiddled with by MyDogBuster on 2014-09-02 at 09:25 Reason: changed instructions for PRPs found with LLR to report with LLR proof code instead of PRP
gd_barnes is online now   Reply With Quote
Old 2008-03-26, 21:36   #2
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

172416 Posts
Default

288*13^109217-1 is prime!!!

This proves that 302 is the lowest Riesel k for base 13.

BTW, it was found with Phil Carmody's phrot program on PPC and proved with PFGW.
rogue is online now   Reply With Quote
Old 2008-03-26, 22:17   #3
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

27E216 Posts
Default

Quote:
Originally Posted by rogue View Post
288*13^109217-1 is prime!!!

This proves that 302 is the lowest Riesel k for base 13.

BTW, it was found with Phil Carmody's phrot program on PPC and proved with PFGW.



This is HUGE!! Way to go!! Our first full proof of a conjecture since we started the project! And our first top-5000 prime that is not a power of 2!

I'll post it in the news and quickly update the web pages.

Edit: Rogue, can you have Prof. Caldwell add the CRUS project to your prover code? Thanks.


Gary

Last fiddled with by gd_barnes on 2008-03-26 at 22:19
gd_barnes is online now   Reply With Quote
Old 2008-03-27, 01:07   #4
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

22×1,481 Posts
Default

Quote:
Originally Posted by gd_barnes View Post
Edit: Rogue, can you have Prof. Caldwell add the CRUS project to your prover code? Thanks.
Done
rogue is online now   Reply With Quote
Old 2008-03-27, 07:45   #5
Jean Penné
 
Jean Penné's Avatar
 
May 2004
FRANCE

24×5×7 Posts
Default Riesel base 2 odd n's : k = 86613 eliminated!

Happy days for Conjectures'Rus project!
Congratulations to Mark for the first conjecture demonstrated!!

This morning, I found also a success :

173226*2^356966-1 is prime! Time : 520.420 sec.

So, k = 86613 is eliminated, and 15 k's are remaining for proving the Liskovets-Gallot conjecure for Riesel odd n's!

This is also a top 5000 prime, so I am waiting for a project code.

Reseving now k = 290514 in place of this died k!

Regards,
Jean
Jean Penné is offline   Reply With Quote
Old 2008-03-27, 08:07   #6
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

2×5×1,021 Posts
Default

Quote:
Originally Posted by Jean Penné View Post
Happy days for Conjectures'Rus project!
Congratulations to Mark for the first conjecture demonstrated!!

This morning, I found also a success :

173226*2^356966-1 is prime! Time : 520.420 sec.

So, k = 86613 is eliminated, and 15 k's are remaining for proving the Liskovets-Gallot conjecure for Riesel odd n's!

This is also a top 5000 prime, so I am waiting for a project code.

Reseving now k = 290514 in place of this died k!

Regards,
Jean

Congrats Jean! It's nice to get a couple of top-5000 primes for the project after a lull for a little while. That's also the first one for the Liskovets-Gallot conjecures for our project. The remaining 7 k's on the Sierp odd-n are being stubborn now with no primes since n=~299K. Testing is now past n=460K on all k's.

The project code is CRUS.


Gary

Last fiddled with by gd_barnes on 2008-03-27 at 08:18
gd_barnes is online now   Reply With Quote
Old 2008-03-31, 06:09   #7
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

2×5×1,021 Posts
Default FINALLY...Sierp base 2 odd-n gets one!

After a LONG lull between primes on Sierp base 2 odd-n:

80463*2^468141+1 is prime!

Now at n=471K on all k's.

6 k's to go!

Last fiddled with by gd_barnes on 2008-03-31 at 06:10
gd_barnes is online now   Reply With Quote
Old 2008-03-31, 13:45   #8
Jean Penné
 
Jean Penné's Avatar
 
May 2004
FRANCE

24·5·7 Posts
Default Very nice results!

Many congrats, Gary and Karsten, for these last three primes, there are very nice results, because 1 k is eliminated for Sierpinski base 2 odd n's and 2 k's are eliminated for Riesel base 2 odd n's.

Moreover, the big sievings I started for these two sub-projects will become a lot faster!

Please, Karsten would you credit yourself, (instead of me) for the two primes you discovered!

Best Regards,
Jean
Jean Penné is offline   Reply With Quote
Old 2008-04-07, 14:26   #9
Jean Penné
 
Jean Penné's Avatar
 
May 2004
FRANCE

24×5×7 Posts
Default Riesel Base 2 odd n's

As reported in another thread :
145257*2^443077-1 is prime! Time : 856.416 sec.

Now 11 k's are remaining, and still another top 5000 prime for the project!

k = 148323 is now at n = 508511, no prime, continuing...

Regards,
Jean
Jean Penné is offline   Reply With Quote
Old 2008-04-07, 16:16   #10
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

1021010 Posts
Default

Quote:
Originally Posted by Jean Penné View Post
145257*2^443077-1 is prime! Time : 856.416 sec.

Now 11 k's are remaining, and still another top 5000 prime for the project!

Regards,
Jean

Great work Jean!

We're now making nice progress on the Riesel even-n and odd-n conjectures.

I should be at n=500K on Sierp odd-n by mid-week.

Gary
gd_barnes is online now   Reply With Quote
Old 2008-04-30, 04:06   #11
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

3·2,083 Posts
Default

Quote:
Originally Posted by gd_barnes View Post
7. In the space below all the programs, type in 'CRUS' for the project, your sieving software (srsieve for team drives), and other software that helped find the prime. Separate each selections by a comma. (Note if you used LLR to find a probable prime and then PFGW to prove the prime, select OpenPFGW at the top and then type in LLR as additional software at the bottom. Each program will get half credit.)
I just noticed this part in the first post of this thread, where it instructs users to credit their primes as LLR and PFGW for top-5000 primes on a non-power-of-2 base. Actually, because LLR's code for non-k*2^n+-1 numbers is taken directly from PRP, users should enter "PRP" under additional software, not LLR, if LLR only found a probable prime. In fact, LLR will instruct users to do so with a note in the lresults.txt file--it will say "such-and-such is a probable prime. Please credit George Woltman's PRP for this result!". Also, according to the top-5000 site, when you list multiple programs in a prover-code, they all get full credit, not half credit as this thread says--this is done to encourage reporting of all programs involved.

So, I fixed it just now to reflect this--hope nobody minds.

Last fiddled with by mdettweiler on 2008-04-30 at 04:25
mdettweiler is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Report top-5000 primes for all k<=1001 gd_barnes No Prime Left Behind 1488 2020-09-25 11:31
Report top-5000 primes for k=1003-3000 gd_barnes No Prime Left Behind 688 2020-04-24 07:31
All top 5000 primes will have the same number of digits in 2014 ;-) Batalov Conjectures 'R Us 10 2013-03-29 01:29
Twenty Oldest Primes on Top 5000 List masser Lounge 9 2008-08-27 12:31
get all the 5000 biggest primes above 100K digits jasong jasong 1 2007-06-09 22:51

All times are UTC. The time now is 16:49.

Thu Oct 1 16:49:25 UTC 2020 up 21 days, 14 hrs, 0 users, load averages: 1.15, 1.54, 1.62

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.