mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Riesel Prime Search

Reply
 
Thread Tools
Old 2013-08-16, 12:08   #45
Lennart
 
Lennart's Avatar
 
"Lennart"
Jun 2007

25×5×7 Posts
Default

Primality testing 22544089918041953*3*5*11*13*19*29*37*53*59*61*67*83*101*107*131*2^517692-1 [N+1, Brillhart-Lehmer-Selfridge]
Running N+1 test using discriminant 7, base 1+sqrt(7)
Generic modular reduction using generic reduction AVX FFT length 50K, Pass1=640, Pass2=80 on A 517824-bit number
Calling Brillhart-Lehmer-Selfridge with factored part 99.97%
22544089918041953*3*5*11*13*19*29*37*53*59*61*67*83*101*107*131*2^517692-1 is prime! (1788.9399s+0.0009s)

Lennart
Lennart is offline   Reply With Quote
Old 2013-08-16, 15:33   #46
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

22·3·797 Posts
Default

I ksieve'd for a day (to 1T only, n=1-1.2M) in the recordable range* and added this prime to the collection:
22544089918041953*3*5*11*13*19*29*37*53*59*61*67*83*101*107*131*21025897-1

I'll post the rest of the sieve, later. Will possibly sieve and run some more.

Last fiddled with by Batalov on 2013-09-29 at 06:53 Reason: On Sep.29, this number has left top-5000
Batalov is offline   Reply With Quote
Old 2013-08-16, 16:17   #47
Kosmaj
 
Kosmaj's Avatar
 
Nov 2003

2×1,811 Posts
Default

Hi Batalov,

Congrats on a nice prime!
Can you also include RPS in your new prover's code?

Thanks!
Kosmaj is offline   Reply With Quote
Old 2013-08-16, 17:18   #48
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

22·3·797 Posts
Default k=22544089918041953*E(130)

Sure thing. I emailed C.C. (and added a comment to the prime, too).

I put the asterisk in my morning message, but forgot to post the footnote. It is this:
_______________________
*Note that the Top-5000 cutoff plane will pass exactly 1,000,000 bits today or tomorrow. For the record, right now it is still at 999,400 bits' size, but the 1,290,000-bits abominable primes keep on pouring in. Mark my words Next state of the Top5000 database will be that all primes from position ~1,500 to 5,000 will be ~1,290,000 bits.
Batalov is offline   Reply With Quote
Old 2013-08-16, 17:23   #49
pinhodecarlos
 
pinhodecarlos's Avatar
 
"Carlos Pinho"
Oct 2011
Milton Keynes, UK

497110 Posts
Default

Quote:
Originally Posted by Thomas11 View Post
Here is for convenience the input file in NewPGen format needed for LLR. Please help yourself to cut out your ranges.

It would be nice if some of you could post some comparative timings for LLR and PFGW (PRP test).

BTW.: I'm already running a new sieve for the candidates up to n=1M (I've completely underestimated your interest and machinery in this sub-project). The new sieve file will be ready for testing around Monday next week.
Please update first post attachment.
http://www.mersenneforum.org/showpos...4&postcount=36
pinhodecarlos is offline   Reply With Quote
Old 2013-08-16, 18:36   #50
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

317510 Posts
Default

LLR vs PFGW timings on 1480472640274704456611717878515654164205*2^716611-1:




Laptop i7 2720QM 2.20 Ghz:

LLR 3.8.9:
Lucas Lehmer Riesel prime test: 1115 sec (deterministic)
Strong Fermat PRP: 1422 sec
Lucas PRP: 2837 sec
Frobenius PRP: 1300 sec

PFGW 3.7.7:
Strong Fermat PRP: 1215 sec
[N-1, Brillhart-Lehmer-Selfridge] 1973 sec (still came out PRP even if it should be deterministic)




Q9450(Yorksfield) 2.66 Ghz:

LLR 3.8.9:
Lucas Lehmer Riesel prime test: 2193 sec
Strong Fermat PRP: 2179 sec
Lucas PRP: 4746 sec
Frobenius PRP: 2179 sec

PFGW 3.7.7:
Strong Fermat PRP: 2229 sec
[N-1, Brillhart-Lehmer-Selfridge] 3350 sec (came out as PRP)

Last fiddled with by ATH on 2013-08-16 at 18:42
ATH is offline   Reply With Quote
Old 2013-08-16, 18:41   #51
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

22×3×797 Posts
Default

Taking 1000-1030, for the record.
Batalov is offline   Reply With Quote
Old 2013-08-16, 20:17   #52
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

C6716 Posts
Default

Quote:
Originally Posted by Jean Penné View Post
For k > 2^53, the use of generic modular reduction is required, so the calculus becomes 3 times slower, but it is due do the gwnum library usage, and PFGW has the same limitation!

Regards,
Jean
The slowdown seems to happen at a very specific k-value near 7.5*1014 or ~249.4:

750599937895082*2^498496-1, iteration : 10000 / 498497 [2.00%]. Time thusfar : 2.700 sec.
750599937895083*2^498496-1, iteration : 10000 / 498496 [2.00%]. Time thusfar : 9.986 sec.

750599937895081*2^716611-1, iteration : 10000 / 716611 [1.39%]. Time thusfar : 4.459 sec.
750599937895083*2^716611-1, iteration : 10000 / 716611 [1.39%]. Time thusfar : 15.067 sec.

750599937895086*2^1025897-1, iteration : 10000 / 1025898 [0.97%]. Time thusfar: 5.908 sec.
750599937895087*2^1025897-1, iteration : 10000 / 1025897 [0.97%]. Time thusfar: 21.928 sec.

Last fiddled with by ATH on 2013-08-16 at 20:18
ATH is offline   Reply With Quote
Old 2013-08-16, 22:45   #53
Kosmaj
 
Kosmaj's Avatar
 
Nov 2003

2·1,811 Posts
Default

I added the LLR input file (in the n=730-800k range only) to the zip file in the top post.

BTW, if you find a reportable prime using LLR please give credit to ksieve instead of srsieve/Psieve.

Last fiddled with by Kosmaj on 2013-08-16 at 22:47
Kosmaj is offline   Reply With Quote
Old 2013-08-16, 23:20   #54
lsoule
 
lsoule's Avatar
 
Nov 2004
California

23×3×71 Posts
Default

Taking 732-740
lsoule is offline   Reply With Quote
Old 2013-08-17, 07:06   #55
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

100101010111002 Posts
Default

Quote:
Originally Posted by Batalov View Post
Taking 1000-1030, for the record.
Done. Attached.

(There's probably ~5-8% avoidable tests there; the input list was only sieved to 1T. With more sieving, there would be only ~1933 tests per each range of 10k; in the attached file, there are ~2090 per 10k.)
Attached Files
File Type: zip RES_n_1000-1030.zip (125.5 KB, 137 views)
Batalov is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Mersenne Primes p which are in a set of twin primes is finite? carpetpool Miscellaneous Math 3 2017-08-10 13:47
Distribution of Mersenne primes before and after couples of primes found emily Math 34 2017-07-16 18:44
Conjecture about Mersenne primes and non-primes v2 Mickey1 Miscellaneous Math 1 2013-05-30 12:32
A conjecture about Mersenne primes and non-primes Unregistered Information & Answers 0 2011-01-31 15:41
possible primes (real primes & poss.prime products) troels munkner Miscellaneous Math 4 2006-06-02 08:35

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


Tue Oct 19 16:44:49 UTC 2021 up 88 days, 11:13, 0 users, load averages: 1.39, 1.53, 1.45

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, 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.