mersenneforum.org  

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

Reply
 
Thread Tools
Old 2022-08-07, 17:52   #188
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

34·53 Posts
Default

Quote:
Originally Posted by ryanp View Post
W117239 = \((2^{117239}+1)/3\) has been proven prime with ecpp-mpi, and the certificate is processing on factordb.com.
FactorDB has verified it. Now The Prime Pages awaits your submission under: Generalized Lucas number, Wagstaff, ECPP
paulunderwood is offline   Reply With Quote
Old 2022-08-07, 18:02   #189
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

2×211 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
FactorDB has verified it. Now The Prime Pages awaits your submission under: Generalized Lucas number, Wagstaff, ECPP
Submitted: https://primes.utm.edu/primes/page.php?id=134282
ryanp is offline   Reply With Quote
Old 2022-08-27, 11:14   #190
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

34·53 Posts
Default mu_div_qr.c error message

When trying to test R86453 I get the error message:

Quote:
-- Size [0]: 287188 bits
mu_div_qr.c:280: GNU MP assertion failed: cy == 0
[honeypot8:03263] *** Process received signal ***
[honeypot8:03263] Signal: Aborted (6)
[honeypot8:03263] Signal code: (-6)
[honeypot8:03263] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x14140)[0x7fe816acb140]
[honeypot8:03263] [ 1] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7fe816927ce1]
[honeypot8:03263] [ 2] /lib/x86_64-linux-gnu/libc.so.6(abort+0x123)[0x7fe816911537]
[honeypot8:03263] [ 3] /lib/x86_64-linux-gnu/libgmp.so.10(+0xc80f)[0x7fe816c4880f]
[honeypot8:03263] [ 4] /lib/x86_64-linux-gnu/libgmp.so.10(__gmpn_preinv_mu_div_qr+0x3c8)[0x7fe816c94b58]
[honeypot8:03263] [ 5] /lib/x86_64-linux-gnu/libgmp.so.10(+0x58dbf)[0x7fe816c94dbf]
[honeypot8:03263] [ 6] /lib/x86_64-linux-gnu/libgmp.so.10(__gmpn_tdiv_qr+0x88b)[0x7fe816c79e3b]
[honeypot8:03263] [ 7] /lib/x86_64-linux-gnu/libgmp.so.10(__gmpz_tdiv_r+0xda)[0x7fe816c6239a]
[honeypot8:03263] [ 8] /lib/x86_64-linux-gnu/libgmp.so.10(__gmpz_mod+0x60)[0x7fe816c5b760]
[honeypot8:03263] [ 9] ecpp-mpi[0x41079f]
[honeypot8:03263] [10] ecpp-mpi[0x40d15b]
[honeypot8:03263] [11] ecpp-mpi[0x40df05]
[honeypot8:03263] [12] ecpp-mpi[0x40621e]
[honeypot8:03263] [13] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xea)[0x7fe816912d0a]
[honeypot8:03263] [14] ecpp-mpi[0x4064fa]
[honeypot8:03263] *** End of error message ***
--------------------------------------------------------------------------
Primary job terminated normally, but 1 process returned
a non-zero exit code. Per user-direction, the job has been aborted.
--------------------------------------------------------------------------
--------------------------------------------------------------------------
mpirun noticed that process rank 20 with PID 0 on node honeypot8 exited on signal 6 (Aborted).
--------------------------------------------------------------------------

real 666m37.226s
user 662m33.469s
sys 0m21.486s
(I think I had the same message on a previous attempt.)

Last fiddled with by paulunderwood on 2022-08-27 at 11:33
paulunderwood is offline   Reply With Quote
Old 2022-09-09, 19:39   #191
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

10000110001012 Posts
Default

Congrats to Andreas Enge for using his own ECPP software CM to prove tau 199^4518 at 57,125 digits

In factorDB - http://factordb.com/index.php?id=1100000003886300622
paulunderwood is offline   Reply With Quote
Old 2022-09-12, 14:40   #192
andreas
 
May 2022

2·3 Posts
Default

Thanks, Paul! I had tried to upload the certificate to factordb, but it complained that it would require a probable prime. Very strange. I noticed you only uploaded the input number; did you have the same problem?

Anyway, I have independently verified the certificate with PARI/GP.

Last fiddled with by andreas on 2022-09-12 at 14:41
andreas is offline   Reply With Quote
Old 2022-09-12, 17:00   #193
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

103058 Posts
Default

Quote:
Originally Posted by andreas View Post
Thanks, Paul! I had tried to upload the certificate to factordb, but it complained that it would require a probable prime. Very strange. I noticed you only uploaded the input number; did you have the same problem?

Anyway, I have independently verified the certificate with PARI/GP.
All I did was make the change to N=$... and rename the file to a ".out" one before uploading to factordb.
paulunderwood is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
For which types of primes is GPU primality test software available? bur GPU Computing 6 2020-08-28 06:20
Fastest software for Mersenne primality test? JonathanM Information & Answers 25 2020-06-16 02:47
APR-CL as primality proof f1pokerspeed FactorDB 14 2014-01-09 21:06
Proof of Primality Test for Fermat Numbers princeps Math 15 2012-04-02 21:49
PRIMALITY PROOF for Wagstaff numbers! AntonVrba Math 96 2009-02-25 10:37

All times are UTC. The time now is 08:28.


Wed Oct 5 08:28:55 UTC 2022 up 48 days, 5:57, 0 users, load averages: 1.07, 1.07, 1.25

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.

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