mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Software

Reply
 
Thread Tools
Old 2017-11-05, 22:37   #34
Gordon
 
Gordon's Avatar
 
Nov 2008

50910 Posts
Default

Quote:
Originally Posted by Prime95 View Post
Seems pretty obvious to me it is the person that did the PRP.
Really? The person who *proved* it prime is the one who ran the LL test isn't it?
Gordon is offline   Reply With Quote
Old 2017-11-05, 22:41   #35
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

10B516 Posts
Default

Quote:
Originally Posted by Gordon View Post
Really? The person who *proved* it prime is the one who ran the LL test isn't it?
Or is it the second person who ran the LL test, proving that the first LL test was accurate?


My opinion is the first person to make some reasonable claim, by whatever method, that a specific Mersenne number is prime, which is later proved to be true, should be credited as the discoverer.

Last fiddled with by James Heinrich on 2017-11-05 at 22:45
James Heinrich is offline   Reply With Quote
Old 2017-11-05, 23:06   #36
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

201278 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
My opinion is the first person to make some reasonable claim, by whatever method, that a specific Mersenne number is prime, which is later proved to be true, should be credited as the discoverer.
The key word is "discoverer" not "prover".
Prime95 is offline   Reply With Quote
Old 2017-11-05, 23:18   #37
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

6,793 Posts
Default

Quote:
Originally Posted by Gordon View Post
This! - let's not get carried by doing *probable* testing, the goal of the project is to find Mersenne Primes, the only way to guarantee that is to do the full LL test, followed by a verification run.

You can argue all you like but no matter how much you say ah yes, well, PRP is 99.9999% (or whatever number you care to plug in) it's a prime, you don't KNOW that for a fact....the chance if it being wrong are not zero.
I think everyone already knows that.
retina is online now   Reply With Quote
Old 2017-11-05, 23:58   #38
preda
 
preda's Avatar
 
"Mihai Preda"
Apr 2015

22×3×112 Posts
Default

Quote:
Originally Posted by Gordon View Post
This! - let's not get carried by doing *probable* testing, the goal of the project is to find Mersenne Primes, the only way to guarantee that is to do the full LL test, followed by a verification run.

You can argue all you like but no matter how much you say ah yes, well, PRP is 99.9999% (or whatever number you care to plug in) it's a prime, you don't KNOW that for a fact....the chance if it being wrong are not zero.
Well, comparing an LL proved-prime result with 96% reliability, and a PRP probable-prime result with 99.99% probability and 99.99% reliability, I'd take the PRP.

Last fiddled with by preda on 2017-11-05 at 23:59
preda is offline   Reply With Quote
Old 2017-11-06, 01:20   #39
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

17×487 Posts
Default

Quote:
Originally Posted by S485122 View Post
It seems that some lines are output to the worker window a second time with a different time stamp.
At the same time there is a communication with the server, only the expected completion date of the current workunit is sent to the server (according to prime.log) and the number of completed iterations of the previous worker screen output is written to result.txt. This happens every 160 minutes and 210000 iterations approximatively.
I checked : the program is not repeating the iterations, meaning the iteration count of the lines on the screen and results.txt is wrong.
This behaviour is observed with prime95 and mprime 29.4.3.
Could you provide more details? Work type? Screen shot?

Note to all: 29.4 sends interim residues to the server for the 500,000th iteration and every multiple of 5,000,000. This was Madpoo's idea to give us the ability to do a quick(ish) partial check should be want to.
Prime95 is offline   Reply With Quote
Old 2017-11-06, 06:05   #40
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

22·863 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
Or is it the second person who ran the LL test, proving that the first LL test was accurate?


My opinion is the first person to make some reasonable claim, by whatever method, that a specific Mersenne number is prime, which is later proved to be true, should be credited as the discoverer.
If a PRP test says probably prime it might be more likely to be prime than a positive LL test, due to the fact that with Gerbicz error check the risk of hardware error is lower, and the extra risk of it being a 3-sprps is infinitesimal at these sizes.
ATH is offline   Reply With Quote
Old 2017-11-06, 06:12   #41
S485122
 
S485122's Avatar
 
"Jacob"
Sep 2006
Brussels, Belgium

2·977 Posts
Default

Quote:
Originally Posted by Prime95 View Post
Could you provide more details? Work type? Screen shot?

Note to all: 29.4 sends interim residues to the server for the 500,000th iteration and every multiple of 5,000,000. This was Madpoo's idea to give us the ability to do a quick(ish) partial check should be want to.
OK it makes sense then. But it means there is a bug in the screen and results.txt file output : instead of the real number of iterations it is the last number of iterations output to the screen that is shown. Also I see no trace of output for the 500 000th iteration.

Another new feature that was not documented in what's new is that at the start of a LL test there is now a line "Starting primality test of Mxxx using FMA3 FFT length 2304K, Pass1=384, Pass2=6K, clm=2, 6 threads".

Attached, screen output, excerpt of results.txt and prime.log. I marked the "new" lines are marked "+ ".

Anyway that output belongs in the Communication window and prime.log only. It should be something like "sending interim residue for iteration 9000000 of M99999999 to server"...

I will end with two wishes :
- The possibility to have the time stamps output to the screen, the prime.log and results.txt files in ISO format. It could be a setting in one the configuration files.
- The other one is to have each result in results.txt preceded by a time stamp : at the moment there is no time stamp if two results come within a few minutes of each other (very short assignments or multiple workers.)

Jacob
Attached Files
File Type: 7z i7-5820K.7z (2.9 KB, 347 views)

Last fiddled with by S485122 on 2017-11-06 at 06:46 Reason: Suggested to put those lines (once corrected) where they belong.
S485122 is offline   Reply With Quote
Old 2017-11-06, 15:44   #42
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

100000010101112 Posts
Default

Quote:
Originally Posted by S485122 View Post
OK it makes sense then. But it means there is a bug in the screen and results.txt file output : instead of the real number of iterations it is the last number of iterations output to the screen that is shown. Also I see no trace of output for the 500 000th iteration.
Ah, I see the bug now. Don't know why I missed seeing it here. There's not supposed to be any screen output or results.txt output when sending an interim residue to the server. A "left over" line from a cut/paste operation is reprinting the last line output.

I've improved the text message output to prime.log.
Prime95 is offline   Reply With Quote
Old 2017-11-06, 20:43   #43
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

2×13×131 Posts
Default

Quote:
Originally Posted by GP2 View Post
It might be useful to post SHA256 sums.
...
Code:
p95v294b3.FreeBSD11-64.tar.gz - 0F3A089E7AAB1A38F6FCF241A80D2B3D2EF95A3B758B87C6718012972207AB31
p95v294b3.linux32.tar.gz - CE944D628FB1CB0FA165BF7423957981F575A20961AE9C96D4691BCC4B0DE549
p95v294b3.linux64.tar.gz - EFC2B3EDB47B5625BE446101F14B832DD0D13FCD3B51B738D1AAC24C36585108
p95v294b3.MacOSX.zip - 180F7EAC59316ED298D4BCB479F4952B27059F2BD7D7011118A5A26A17E24FDC
p95v294b3.source.zip - C7B21388342A43AA4E50F9B2394DE0A422A56DB6BEACD0E17B05944854321664
p95v294b3.win32.zip - 5436C674230A040EE68B420872061AEE65E136BBC2460B3C285D4B0885D514AD
p95v294b3.win64.zip - AD0576CA2E63BB433A2A2D0974EF3D481ACAEA300E7C52466D5DE882D7C82B17
Madpoo is offline   Reply With Quote
Old 2017-11-06, 20:57   #44
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

1101010011102 Posts
Default

Quote:
Originally Posted by Prime95 View Post
Could you provide more details? Work type? Screen shot?

Note to all: 29.4 sends interim residues to the server for the 500,000th iteration and every multiple of 5,000,000. This was Madpoo's idea to give us the ability to do a quick(ish) partial check should be want to.
Oh cool... that will be helpful. I've been off the forum for the past week so I guess I missed this news.
Madpoo is offline   Reply With Quote
Reply



Similar Threads
Thread Thread Starter Forum Replies Last Post
Prime95 version 27.3 Prime95 Software 148 2012-03-18 19:24
Prime95 version 26.3 Prime95 Software 76 2010-12-11 00:11
Prime95 version 25.5 Prime95 PrimeNet 369 2008-02-26 05:21
Prime95 version 25.4 Prime95 PrimeNet 143 2007-09-24 21:01
When the next prime95 version ? pacionet Software 74 2006-12-07 20:30

All times are UTC. The time now is 13:51.


Fri Jul 7 13:51:34 UTC 2023 up 323 days, 11:20, 0 users, load averages: 0.98, 1.13, 1.12

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.

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