mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Marin's Mersenne-aries (https://www.mersenneforum.org/forumdisplay.php?f=30)
-   -   Strategic Double Clicking (https://www.mersenneforum.org/showthread.php?t=20372)

frmky 2015-07-25 00:14

The second pair of my original 8 finished. One matched and one didn't.
[url]http://www.mersenne.org/report_exponent/?exp_lo=34665307&full=1[/url]
[url]http://www.mersenne.org/report_exponent/?exp_lo=34683613&full=1[/url]

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.

frmky 2015-07-25 00:26

[QUOTE=Madpoo;406408]"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.
[/QUOTE]
This one looks funny. Two different residues as "Verified (Factored)." I guess it simply means "verified" as composite. :smile:
[url]http://www.mersenne.org/report_exponent/?exp_lo=41277389&full=1[/url]

Madpoo 2015-07-25 03:21

[QUOTE=frmky;406431]This one looks funny. Two different residues as "Verified (Factored)." I guess it simply means "verified" as composite. [/QUOTE]

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. :smile:

Madpoo 2015-07-25 06:56

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.

chalsall 2015-07-25 12:58

[QUOTE=Madpoo;406428]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.[/QUOTE]

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! :smile:

chalsall 2015-07-25 13:01

[QUOTE=Madpoo;406440]You guessed right. "Verified" in that case simply means that it is indeed composite, no matter that the LL tests didn't match.[/QUOTE]

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.

lycorn 2015-07-25 13:21

Very funny...

I wonder what the status of [URL="http://www.mersenne.org/report_exponent/?exp_lo=36807349&full=1"]http://www.mersenne.org/report_exponent/?exp_lo=36807349&full=1[/URL] 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.

Madpoo 2015-07-25 17:42

[QUOTE=lycorn;406466]Very funny...

I wonder what the status of [URL="http://www.mersenne.org/report_exponent/?exp_lo=36807349&full=1"]http://www.mersenne.org/report_exponent/?exp_lo=36807349&full=1[/URL] 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.[/QUOTE]

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:
[URL="http://www.mersenne.org/M35079829"]M35079829[/URL]

If at least one of the submissions is from a version 5 user, the dupes are merged in the display, for example:
[URL="http://www.mersenne.org/M37074337"]M37074337[/URL]

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.

lycorn 2015-07-25 18:10

OK. Makes sense. Thx.

science_man_88 2015-07-25 18:19

[QUOTE=Madpoo;406440]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"[/QUOTE]

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.

frmky 2015-07-25 18:24

[QUOTE=frmky;406429]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.[/QUOTE]
Neither matched. :smile:

[url]http://www.mersenne.org/report_exponent/?exp_lo=35064059&full=1[/url]
[url]http://www.mersenne.org/report_exponent/?exp_lo=36497473&full=1[/url]


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

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.