mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > And now for something completely different

Reply
 
Thread Tools
Old 2022-05-23, 12:53   #122
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

2·199 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
@ryanp and @Andreas. Please make a The Prime Pages database entry for your numbers.

https://primes.utm.edu/top20/page.php?id=49
https://primes.utm.edu/top20/page.php?id=27

via

https://primes.utm.edu/bios/
I don't see Andreas' ecpp software listed there. I attempted to create a new proof code using the existing FastECPP, but am not sure how to upload the prime + cert (just attempting to submit "(2^78737-1)/1590296767505866614563328548192658003295567890593" fails as it's too small).
ryanp is offline   Reply With Quote
Old 2022-05-23, 12:57   #123
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

10000011010012 Posts
Default

Quote:
Originally Posted by ryanp View Post
I don't see Andreas' ecpp software listed there. I attempted to create a new proof code using the existing FastECPP, but am not sure how to upload the prime + cert (just attempting to submit "(2^78737-1)/1590296767505866614563328548192658003295567890593" fails as it's too small).
On https://primes.utm.edu/primes/status.php I see Serge uses "CM" and an "x" code. UTM does not accept certs.

To be more explicit: create an x prover code attributing you and CM. When you submit the number append it with: Mersenne cofactor, ECPP

Last fiddled with by paulunderwood on 2022-05-23 at 13:56
paulunderwood is offline   Reply With Quote
Old 2022-05-23, 15:47   #124
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

2·199 Posts
Default

Reserving W117239.
ryanp is offline   Reply With Quote
Old 2022-05-23, 20:38   #125
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

2·199 Posts
Default

I'd also like to take the next 3 Mersenne PRP cofactors here: M86137, M86371, and M87691.
ryanp is offline   Reply With Quote
Old 2022-05-23, 21:21   #126
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

106916 Posts
Default

Quote:
Originally Posted by ryanp View Post
I'd also like to take the next 3 Mersenne PRP cofactors here: M86137, M86371, and M87691.
Please don't take M86137 -- I have nearing the end of a Primo run of it.

Last fiddled with by paulunderwood on 2022-05-23 at 21:23
paulunderwood is offline   Reply With Quote
Old 2022-05-23, 21:23   #127
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

2·199 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
Please don't take M86137 -- I have nearing the end of a Primo run on it.
Oops, OK. Anyone working on the other two?
ryanp is offline   Reply With Quote
Old 2022-05-23, 21:24   #128
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

420110 Posts
Default

Quote:
Originally Posted by ryanp View Post
Oops, OK. Anyone working on the other two?
Nope. They're yours.
paulunderwood is offline   Reply With Quote
Old 2022-05-23, 23:12   #129
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

4,201 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
On https://primes.utm.edu/primes/status.php I see Serge uses "CM" and an "x" code. UTM does not accept certs.

To be more explicit: create an x prover code attributing you and CM. When you submit the number append it with: Mersenne cofactor, ECPP
It looks as though Prof. Chris Caldwell has now created an "E" prover code, which should be selectable to create a code in order to submit CM (FastECPP) proven numbers.

Last fiddled with by paulunderwood on 2022-05-23 at 23:20
paulunderwood is offline   Reply With Quote
Old 2022-05-24, 02:04   #130
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

9,857 Posts
Default

Reservation: I will do a few more primU(), primV(), primeA() and primB()'s.

For those who don't know what these are, you are not missing anything.
Batalov is offline   Reply With Quote
Old 2022-05-27, 21:54   #131
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

10000011010012 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
Nearly finished:

M86137 cofactor prp25896

Dropping:

M86371 cofactor prp25984
M87691 cofactor prp26371
E(11848)/(5*1582043) prp40792

Reserving:

R86453
I am dropping R86453. It took my machine ~12 hours to reach "Step [0]". If a step gets stuck then the time involved to run say one core to get a different proof path is infeasible. Basically the job is way too big without some very big iron.

Reserving E(11848)/(5*1582043) prp40792 again. I expect this number to take a couple of months.

Last fiddled with by paulunderwood on 2022-05-27 at 21:56
paulunderwood is offline   Reply With Quote
Old 2022-05-30, 13:50   #132
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

101518 Posts
Default

Quote:
Originally Posted by sweety439 View Post
Suggest you to prove (18^25667-1)/17 = R25667(18), this prime is also a generalized repunit, and is much smaller than R49081, this prime is interesting (much more interesting than R86453, you think R86453 is interesting is only because we use the number 10 as the base (radix) of our positional numeral system) is because this prime is the smallest generalized repunit prime in base 18 apart from 19 = R2(18), see https://oeis.org/A128164
I am reserving this number, (18^25667-1)/17.

My run of the Euler Irregular "got stuck" on Step [60] and I am manually backtracking from Step [58].

Last fiddled with by paulunderwood on 2022-05-30 at 13:52
paulunderwood is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
15*2^n-1, n>1M Reservation Thread Kosmaj Riesel Prime Search 707 2021-11-20 19:13
Where on Earth can I download FastECPP? How fast is it compared with Primo? Stargate38 Miscellaneous Math 5 2021-11-16 17:33
5*2^n-1 Reservation Thread VBCurtis Riesel Prime Search 679 2021-10-09 17:33
Octoproth Reservation Thread Greenbank Octoproth Search 2 2007-12-26 09:58
Dodecaproth Reservation Thread Greenbank Octoproth Search 30 2006-02-09 00:33

All times are UTC. The time now is 05:26.


Sun Jun 26 05:26:24 UTC 2022 up 73 days, 3:27, 1 user, load averages: 0.96, 1.03, 1.00

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.

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