mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Data > Marin's Mersenne-aries

Closed Thread
 
Thread Tools
Old 2015-07-25, 00:14   #34
frmky
 
frmky's Avatar
 
Jul 2003
So Cal

32×227 Posts
Default

The second pair of my original 8 finished. One matched and one didn't.
http://www.mersenne.org/report_expon...4665307&full=1
http://www.mersenne.org/report_expon...4683613&full=1

Edit: I grabbed the first pair from the new list and added them to the top of the queue. I should know tomorrow if they match.

Last fiddled with by frmky on 2015-07-25 at 00:18
frmky is online now  
Old 2015-07-25, 00:26   #35
frmky
 
frmky's Avatar
 
Jul 2003
So Cal

204310 Posts
Default

Quote:
Originally Posted by Madpoo View Post
"Factored" status on LL tests is tricky... it's kind of a no-go status in terms of determining computer quality. We may never know in those cases.
This one looks funny. Two different residues as "Verified (Factored)." I guess it simply means "verified" as composite.
http://www.mersenne.org/report_expon...1277389&full=1
frmky is online now  
Old 2015-07-25, 03:21   #36
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

1100110011012 Posts
Default

Quote:
Originally Posted by frmky View Post
This one looks funny. Two different residues as "Verified (Factored)." I guess it simply means "verified" as composite.
You guessed right. "Verified" in that case simply means that it is indeed composite, no matter that the LL tests didn't match.

The only way I know the first one is actually "suspect" is because I can look in the DB and see that it's error code is non-zero "00000100"

In a sense it's kind of a bummer not to have more info on the reliability of the LL testers in these cases... it would help in some ways. But in the broader sense it's about proving things composite or not and a factor is a good way of doing just that.
Madpoo is offline  
Old 2015-07-25, 06:56   #37
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

327710 Posts
Default

For my part, I just checked out a big chunk of ~400 exponents that need triple-checks. That includes all of them below 35M and a few above 35M as well.

That should keep my systems churning through the end of August. The nice thing with those is that I know one way or another I'll identify which result was bad, to better predict which single-checked exponents would benefit from these strategic DCs.

And speaking of those DC's, I saw that some from the list I put up earlier have been assigned (the first two), so that's good. I'll check again and when they're all gone I'll dig up some more.
Madpoo is offline  
Old 2015-07-25, 12:58   #38
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

244616 Posts
Default

Quote:
Originally Posted by Madpoo View Post
To start out here I've generated a list of exponents that are pretty likely to wind up with one of our double checks NOT matching the first one.
OK, I've taken the last 14 candidates in the list (read: all remaining); registered with Primenet. Will report back once completed (~ the 29th for the largest candidate on a relatively slow machine).

Better generate another list Aaron!
chalsall is online now  
Old 2015-07-25, 13:01   #39
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2×4,643 Posts
Default

Quote:
Originally Posted by Madpoo View Post
You guessed right. "Verified" in that case simply means that it is indeed composite, no matter that the LL tests didn't match.
And this was my earlier point. Yes, the candidate has been verified as being composite by being factored, but the residue(s) has NOT been verified. I again suggest that the second two hexs be masked in cases where two matching residues don't exist.
chalsall is online now  
Old 2015-07-25, 13:21   #40
lycorn
 
lycorn's Avatar
 
Sep 2002
Oeiras, Portugal

2·701 Posts
Default

Very funny...

I wonder what the status of http://www.mersenne.org/report_expon...6807349&full=1 was before madpoo checked in his result! Was Ian CoburnĀ“s result considered the bad one? Or... something is hiding in the masked bits of the 2 apparently matching residues?
Interesting, by any measure.
lycorn is offline  
Old 2015-07-25, 17:42   #41
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

29×113 Posts
Default

Quote:
Originally Posted by lycorn View Post
Very funny...

I wonder what the status of http://www.mersenne.org/report_expon...6807349&full=1 was before madpoo checked in his result! Was Ian CoburnĀ“s result considered the bad one? Or... something is hiding in the masked bits of the 2 apparently matching residues?
Interesting, by any measure.
There are a few oddball cases in the database where the LL results section has 2 "matching" residues (and I use the term lightly), but the shift counts are identical.

Most of the time the duplicates are hidden (because they were from the same account submitting the result twice, under the old v4 server). In this case the same residue came from two different v4 users.

The server is smart enough to know they're the same and won't count it as verified, but they still show up in there.

There are fortunately only 88 of these still unverified. For example:
M35079829

If at least one of the submissions is from a version 5 user, the dupes are merged in the display, for example:
M37074337

You still see the 2 same residues in the history section, but only one in the LL section.

I've talked to George about going through and simply clearing out these duplicates. I think most (all?) of them were probably from manual submissions that George may have added in based on users emailing their results directly.

I went through a little bit ago and ran my own tests on any where the same user had submitted it more than twice, so those are done, and a few of the "only" twice.
Madpoo is offline  
Old 2015-07-25, 18:10   #42
lycorn
 
lycorn's Avatar
 
Sep 2002
Oeiras, Portugal

2×701 Posts
Default

OK. Makes sense. Thx.
lycorn is offline  
Old 2015-07-25, 18:19   #43
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

8,369 Posts
Default

Quote:
Originally Posted by Madpoo View Post
You guessed right. "Verified" in that case simply means that it is indeed composite, no matter that the LL tests didn't match.

The only way I know the first one is actually "suspect" is because I can look in the DB and see that it's error code is non-zero "00000100"
in theory you can use an LL test with the known factor in place of the mersenne it's a factor of and the full residue mod that factor in place of the end residue and check that it works out it should if the factor isn't fake and the full residue is correct.

Last fiddled with by science_man_88 on 2015-07-25 at 18:19
science_man_88 is offline  
Old 2015-07-25, 18:24   #44
frmky
 
frmky's Avatar
 
Jul 2003
So Cal

37738 Posts
Default

Quote:
Originally Posted by frmky View Post
I grabbed the first pair from the new list and added them to the top of the queue. I should know tomorrow if they match.
Neither matched.

http://www.mersenne.org/report_expon...5064059&full=1
http://www.mersenne.org/report_expon...6497473&full=1
frmky is online now  
Closed Thread

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Double-Double Arithmetic Mysticial Software 50 2017-10-30 19:16
Clicking an exponent leads to 404 page marigonzes Information & Answers 2 2017-02-14 16:56
x.265 half the size, double the computation; so if you double again? 1/4th? jasong jasong 7 2015-08-17 10:56
What about double-checking TF/P-1? 137ben PrimeNet 6 2012-03-13 04:01
Double the area, Double the volume. Uncwilly Puzzles 8 2006-07-03 16:02

All times are UTC. The time now is 01:50.

Wed Oct 21 01:50:42 UTC 2020 up 40 days, 23:01, 0 users, load averages: 1.75, 1.72, 1.67

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