mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Prime Gap Searches

Reply
 
Thread Tools
Old 2022-04-20, 20:09   #100
mart_r
 
mart_r's Avatar
 
Dec 2008
you know...around...

23·109 Posts
Default

The WR gaps so far have all been fully checked, consequently this gap should also be fully checked IMHO.
My pocket calculator says for 36375 tests it would take me about 82 days for a full check on my Win8-PC. Depending on the progress, later I can also allocate some more resources (two more cores on my newest laptop which is a bit faster than the PC). I haven't tried -a1 in OpenPFGW yet.
But for a start it would be good if you could just provide the list of values -3531714 < x < 3654858 for which 29*479909#/19#+x has to be checked (either here or via PM). I would then pick a range, x < -2000000 say, and start testing.

Last fiddled with by mart_r on 2022-04-20 at 20:11 Reason: too many "s"
mart_r is offline   Reply With Quote
Old 2022-04-20, 21:18   #101
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

2×7×103 Posts
Default

If open for anyone, I would like to help with testing x > 3e6.
kruoli is offline   Reply With Quote
Old 2022-04-21, 02:09   #102
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Suva, Fiji

7FA16 Posts
Default

Quote:
Originally Posted by MJansen View Post
I would be willing to do that, I will run the remaining candidates on 12 cores if you can let me know how far each of the 4 files has progressed. Send me a PM for the details.

Kind regards
Michiel
Michiel, I sent the candidate to you in an email
robert44444uk is offline   Reply With Quote
Old 2022-04-21, 05:47   #103
MJansen
 
Jan 2018

2×5×11 Posts
Default

Quote:
Originally Posted by mart_r View Post
The WR gaps so far have all been fully checked, consequently this gap should also be fully checked IMHO.
My pocket calculator says for 36375 tests it would take me about 82 days for a full check on my Win8-PC. Depending on the progress, later I can also allocate some more resources (two more cores on my newest laptop which is a bit faster than the PC). I haven't tried -a1 in OpenPFGW yet.
But for a start it would be good if you could just provide the list of values -3531714 < x < 3654858 for which 29*479909#/19#+x has to be checked (either here or via PM). I would then pick a range, x < -2000000 say, and start testing.
Thanks Mart!
and also thanks in advance to Kruoli!

Regarding logging: using the minus L option: -lyourlogfilenamehere.txt command in the command line, will log all output into a textfile in the directory where the pfgw64 executable file is. I am not sure what -a1 does, I remember Jens asked me to use that in 2013. Logging will do the trick just fine!

Attached you will find the list of candidates after sieving till 10^12. In 2 files, on for the plus side and another for the minus side. It has all candidates in a range 29*Prime(40.000)#/9699690 +/- 50*Prime(40.000). Just delete the extra values outside the range -3531714 < x < 3654858. The first 3 rows look like:
29
9699690
479909

Those are the multiplier (29), the divider (9699690) and the primorial of Prime(40.000) = 479909#
From the 4th line onwards you will find the remaining candidates on the minus or plus side, each side has a separate file.

Note: The 62.5 days was based on around 10 minutes per PRP on my machine. Taking 13 minutes per PRP on yours would indeed take 18 extra days... There should be a smarter way ...

Kind regards
Michiel
Attached Files
File Type: zip TestP40000D9699690M29.zip (1.70 MB, 30 views)

Last fiddled with by MJansen on 2022-04-21 at 06:14 Reason: explained the attached files
MJansen is offline   Reply With Quote
Old 2022-04-21, 16:27   #104
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

5A216 Posts
Default

Hm, PFGW 4.0.1 sees my CPU as having only (up to) SSE4.2, while it has AVX512. Is this the wrong version? I took it from SourceForge.

I changed the file header to ABC 29*479909#/9699690+$a because I did not see which format your file is in.

Last fiddled with by kruoli on 2022-04-21 at 16:55 Reason: Fixed formula.
kruoli is offline   Reply With Quote
Old 2022-04-21, 17:04   #105
mart_r
 
mart_r's Avatar
 
Dec 2008
you know...around...

23×109 Posts
Default

OK, like I said I'll start testing 29*479909#/19#+x with -3531714 < x <= -2000000.
I won't test those -23995430 <= x < -3531714, that would take way too long
mart_r is offline   Reply With Quote
Old 2022-04-21, 21:31   #106
MJansen
 
Jan 2018

2·5·11 Posts
Default

Quote:
Originally Posted by kruoli View Post
Hm, PFGW 4.0.1 sees my CPU as having only (up to) SSE4.2, while it has AVX512. Is this the wrong version? I took it from SourceForge.

I changed the file header to ABC 29*479909#/9699690+$a because I did not see which format your file is in.

Hi it is a custom made flat text file, they are a direct output from Jens's Treesieve program. Change them any way you like, ABC seems easy enough.

Thanks again for helping out!

Kind regards
Michiel
MJansen is offline   Reply With Quote
Old 2022-04-21, 21:39   #107
MJansen
 
Jan 2018

2×5×11 Posts
Default

Quote:
Originally Posted by robert44444uk View Post
Michiel, I sent the candidate to you in an email
Thnx, recieved them in good order and the gapsearch has continued just now, keep you posted!

Kind regards
Michiel
MJansen is offline   Reply With Quote
Old 2022-04-21, 21:42   #108
MJansen
 
Jan 2018

2×5×11 Posts
Default

Quote:
Originally Posted by mart_r View Post
OK, like I said I'll start testing 29*479909#/19#+x with -3531714 < x <= -2000000.
I won't test those -23995430 <= x < -3531714, that would take way too long
Lol, good thing you did not start the second part ;-)
MJansen is offline   Reply With Quote
Old 2022-04-28, 07:13   #109
SethTro
 
SethTro's Avatar
 
"Seth"
Apr 2019

2·5·72 Posts
Default primecert v2

Michiel had some excellent suggestions about updating the "primecert" column to more than

"C" - certified
"P" - probabilistic
"?" - unverified

In short they suggest adding, P (proven), D (Double checked), T (Trusted submitter) with upper and lower casing to indicate if it's the endpoints (lowercase) or internals (uppercase) that have been proven / verified / taken on trust.

I've added a new page modern-format to the wiki to formalize this change.

Michiel will propose the new text for P/D/T and everyone else is welcome to suggest other changes.

Hope everyone is well and enjoying the spring; My tulips have just bloomed!
SethTro is offline   Reply With Quote
Old 2022-04-29, 19:04   #110
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

144210 Posts
Default

Quote:
Originally Posted by kruoli View Post
If open for anyone, I would like to help with testing x > 3e6.
This is finished. See the attached file.
Attached Files
File Type: 7z results.7z (91.5 KB, 39 views)
kruoli is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Prime counting function records D. B. Staple Computer Science & Computational Number Theory 50 2020-12-16 07:24
records for primes 3.14159 Information & Answers 8 2018-12-09 00:08
Records for complete factorisation Brian-E Math 25 2009-12-16 21:40
gmp-ecm records page question yqiang GMP-ECM 6 2007-05-18 12:23
Records in January wblipp ElevenSmooth 10 2004-03-22 01:26

All times are UTC. The time now is 21:15.


Sun Mar 26 21:15:33 UTC 2023 up 220 days, 18:44, 0 users, load averages: 0.81, 1.00, 1.04

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

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