mersenneforum.org  

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

Reply
 
Thread Tools
Old 2013-08-15, 19:09   #34
Jean Penné
 
Jean Penné's Avatar
 
May 2004
FRANCE

11468 Posts
Default

Quote:
Originally Posted by Thomas11 View Post
What do you mean by "reliable"?

Due to the size of k we run a PRP test first instead of a more demanding primality test (Brillhart-Lehmer-Selfridge). For a positive PRP test the BLS test is done manually afterwards. If it turns out prime, then it should be as "reliable" as if it would have been done by any other primality testing software (like LLR, Proth, Prime95, even if the latter are unable to test those numbers).
It is not true that LLR cannot test these numbers : Indeed, it cannot process the input file in ABC format, but it can process it in Newpgen format (k*2^n-1 whith k fixed) with k as a digit string, not in factorized form :

1:M:1:2:2
1480472640274704456611717878515654164205 1
1480472640274704456611717878515654164205 2
1480472640274704456611717878515654164205 11
1480472640274704456611717878515654164205 14
1480472640274704456611717878515654164205 16
1480472640274704456611717878515654164205 36
....................................................................
....................................................................
1480472640274704456611717878515654164205 498496
1480472640274704456611717878515654164205 531133
1480472640274704456611717878515654164205 608207
1480472640274704456611717878515654164205 608462
1480472640274704456611717878515654164205 639888

I am presently verifying successfully your prime results with LLR
Regards,
Jean
Jean Penné is offline   Reply With Quote
Old 2013-08-15, 19:37   #35
Thomas11
 
Thomas11's Avatar
 
Feb 2003

27·3·5 Posts
Default

Quote:
Originally Posted by Jean Penné View Post
It is not true that LLR cannot test these numbers : Indeed, it cannot process the input file in ABC format, but it can process it in Newpgen format (k*2^n-1 whith k fixed) with k as a digit string, not in factorized form : ...

I am presently verifying successfully your prime results with LLR
Regards,
Jean
Thanks for this information, Jean! This is really good news!

Many years ago I tried larger k in LLR and noticed that there was some limitation (maybe k<2^53, I can't remember).

What is the current size limit for k in LLR?

Last fiddled with by Thomas11 on 2013-08-15 at 19:37
Thomas11 is offline   Reply With Quote
Old 2013-08-15, 19:50   #36
Thomas11
 
Thomas11's Avatar
 
Feb 2003

78016 Posts
Default

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.
Attached Files
File Type: zip llrinput.zip (169.5 KB, 162 views)

Last fiddled with by Thomas11 on 2013-08-15 at 19:56
Thomas11 is offline   Reply With Quote
Old 2013-08-15, 20:42   #37
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

97×103 Posts
Default

22544089918041953*3*5*11*13*19*29*37*53*59*61*67*83*101*107*131*2^716611-1 is prime
Batalov is offline   Reply With Quote
Old 2013-08-15, 21:01   #38
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

97·103 Posts
Default

Taking 720-730.
Batalov is offline   Reply With Quote
Old 2013-08-15, 21:24   #39
pepi37
 
pepi37's Avatar
 
Dec 2011
After milion nines:)

23×3×67 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.
Starting Lucas Lehmer Riesel prime test of 1480472640274704456611717878515654164205*2^498496-1
Using generic reduction AVX FFT length 48K, Pass1=256, Pass2=192
V1 = 5 ; Computing U0...done.

1480472640274704456611717878515654164205*2^498496-1 is prime! Time : 395.696 sec.

I7-2700K at 4 GHz
pepi37 is online now   Reply With Quote
Old 2013-08-15, 23:58   #40
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

97×103 Posts
Default

All done. (Attached)
Attached Files
File Type: zip RES_n_620-630.640-730.zip (390.3 KB, 149 views)
Batalov is offline   Reply With Quote
Old 2013-08-16, 06:12   #41
Jean Penné
 
Jean Penné's Avatar
 
May 2004
FRANCE

11468 Posts
Default

Quote:
Originally Posted by Thomas11 View Post
Thanks for this information, Jean! This is really good news!

Many years ago I tried larger k in LLR and noticed that there was some limitation (maybe k<2^53, I can't remember).

What is the current size limit for k in LLR?
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
Jean Penné is offline   Reply With Quote
Old 2013-08-16, 07:29   #42
Kosmaj
 
Kosmaj's Avatar
 
Nov 2003

E2616 Posts
Default

My LLR ver. 3.8.8 on a 64bit Mac was crashing on these numbers, but ver. 3.8.9 works fine.

Exe times:
n=498496, 424 sec
n=730004, 965 sec (FFT len = 72k)

The CPU is I5 at 2.7GHz (only one LLR client running on a 4-core machine)
Kosmaj is offline   Reply With Quote
Old 2013-08-16, 09:29   #43
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Suva, Fiji

204010 Posts
Default

Good to see LLR can be used..here are my comparative times:

pfgw:

22544089918041953*3*5*11*13*19*29*37*53*59*61*67*83*101*107*131*2^612375-1 is composite: RES64: [29838CC7648D40C8] (930.6872s+0.1715s)

LLR:
1480472640274704456611717878515654164205*2^612377-1 is not prime. LLR Res64: 1B0F6C3C8C558D4F Time : 800.448 sec

Well done Batalov on doing a huge chunk of work, and a prime to boot. 210!!!
robert44444uk is offline   Reply With Quote
Old 2013-08-16, 11:40   #44
Kosmaj
 
Kosmaj's Avatar
 
Nov 2003

2×1,811 Posts
Default

Taking 730-732.
Kosmaj 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 4 2022-07-14 02:29
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 12:00.


Fri Dec 9 12:00:32 UTC 2022 up 113 days, 9:29, 0 users, load averages: 0.94, 1.08, 1.11

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

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔