mersenneforum.org  

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

Reply
 
Thread Tools
Old 2011-01-30, 22:05   #1
ixfd64
Bemusing Prompter
 
ixfd64's Avatar
 
"Danny"
Dec 2002
California

1001011101012 Posts
Default "successes" in DC rankings?

This is probably a stupid question, but what is a "success" supposed to mean, in the context of double-checking?

For example, the rankings page shows that I have 6 "successes" out of 7 attempts. At first, I thought the difference was due to incorrect results. However, all of the seven double checks I have done over the last year have matching residues.

I am a bit confused.
ixfd64 is offline   Reply With Quote
Old 2011-01-30, 22:40   #2
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

32·853 Posts
Default

A success is a matching residue at the time you submit the result
Prime95 is offline   Reply With Quote
Old 2011-01-31, 16:16   #3
ckdo
 
ckdo's Avatar
 
Dec 2007
Cleves, Germany

10228 Posts
Default

This is actually pretty simple: No matter what the work type, a "success" is a result which saves any further work on the exponent - proving it prime or not prime (by matching residues or finding a factor).

ECM-F is a bit special in that even if we find a factor we continue to search for more of them, since the goal is to fully factor the numbers (isn't it?).
ckdo is offline   Reply With Quote
Old 2011-01-31, 16:21   #4
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

10AD16 Posts
Default

Quote:
Originally Posted by ckdo View Post
This is actually pretty simple: No matter what the work type, a "success" is a result which saves any further work on the exponent - proving it prime or not prime (by matching residues or finding a factor).

ECM-F is a bit special in that even if we find a factor we continue to search for more of them, since the goal is to fully factor the numbers (isn't it?).
For successes in DC or TF, yes. For successes in ECM and first-time LLs, it's not that simple. For ECM, either Mersenne or Fermat, factorization continues since we want to fully factor the numbers, except when the cofactor is PRP/prime. For first-time LLs, a success means a prime, and that actually means more work will be done on the number than if it were a composite result, because multiple double checks on different software and hardware are run, plus the man-time of announcing the prime and listing it (except for the rare exceptions where 4 or more tests would need to be run on a composite number to get a matching residue: then they're closer to the same, and the composite result might have taken more CPU time in the end). If you're looking for a short definition, a success could be described as "a positive result" (whatever that means for the work type).

Last fiddled with by Mini-Geek on 2011-01-31 at 16:30
Mini-Geek is offline   Reply With Quote
Old 2011-01-31, 16:57   #5
ckdo
 
ckdo's Avatar
 
Dec 2007
Cleves, Germany

2×5×53 Posts
Default

I was speaking only in the context of PrimeNet. Prime verification is a manual effort done using different software, like you said.

Similarly, finding a factor (by whatever method) will remove an exponent from the assignment pool, except for Fermat numbers. You can go hunting for further factors on Mersenne numbers (again, by whatever method), but you will have to manually assemble a worktodo file - those exponents won't be handed out automatically and are not available via the Manual Assignments form either.
ckdo is offline   Reply With Quote
Old 2011-01-31, 19:44   #6
ixfd64
Bemusing Prompter
 
ixfd64's Avatar
 
"Danny"
Dec 2002
California

32·269 Posts
Default

Thanks, George. That clears things up.
ixfd64 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Top 500 rankings "going backwards"? daxmick Information & Answers 2 2017-12-19 07:39
Stockfish game: "Move 8 poll", not "move 3.14159 discussion" MooMoo2 Other Chess Games 5 2016-10-22 01:55
Aouessare-El Haddouchi-Essaaidi "test": "if Mp has no factor, it is prime!" wildrabbitt Miscellaneous Math 11 2015-03-06 08:17
Would Minimizing "iterations between results file" may reveal "is not prime" earlier? nitai1999 Software 7 2004-08-26 18:12

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


Tue Nov 30 13:30:39 UTC 2021 up 130 days, 7:59, 0 users, load averages: 1.47, 1.31, 1.26

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