mersenneforum.org  

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

Reply
 
Thread Tools
Old 2015-02-08, 22:02   #1
tha
 
tha's Avatar
 
Dec 2002

81010 Posts
Default Factor found that should have been found by P-1

One of my machines found a factor through regular factoring, while that factor should have been found by P-1 before:

http://www.mersenne.ca/exponent/12067273
tha is offline   Reply With Quote
Old 2015-02-09, 01:00   #2
TheMawn
 
TheMawn's Avatar
 
May 2013
East. Always East.

11×157 Posts
Default

At first glance I thought you were wrong because there wasn't any record of P-1 on Primenet but there appears to be some on mersenne.ca (the link you provided). The P-1 should have found that factor during stage 2 according to the work submitted by the unknown user.

Last fiddled with by TheMawn on 2015-02-09 at 01:05
TheMawn is offline   Reply With Quote
Old 2015-02-09, 10:17   #3
VictordeHolland
 
VictordeHolland's Avatar
 
"Victor de Hollander"
Aug 2011
the Netherlands

22308 Posts
Default

P-1 misses are not so rare, there are some 200+ known:
http://www.mersenne.ca/p1missed.php

Probably a too small FFT size was used or faulty hardware.
VictordeHolland is offline   Reply With Quote
Old 2015-02-09, 18:49   #4
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

37·89 Posts
Default

Quote:
Originally Posted by VictordeHolland View Post
P-1 misses are not so rare, there are some 200+ known:
http://www.mersenne.ca/p1missed.php

Probably a too small FFT size was used or faulty hardware.
Yup, no record on mersenne.org of a P-1 being run on it. At least, the clients assigned that exponent never checked anything in indicating that P-1 had been done at all.
Madpoo is offline   Reply With Quote
Old 2015-02-18, 14:22   #5
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

3,329 Posts
Default

Quote:
Originally Posted by Madpoo View Post
Yup, no record on mersenne.org of a P-1 being run on it. At least, the clients assigned that exponent never checked anything in indicating that P-1 had been done at all.
But I didn't make up those bounds. Before Tha found that factor the mersenne.org report would have said no-factor-to=66, and P-1 bounds (like this). Unfortunately the mersenne.org report suppresses the no-factor-to and max-p1-bounds data if a factor is known. Nothing shows up on the report because mersenne.org doesn't have a specific record of who did the P-1 and when, just what bounds it was done to. The oldest P-1 run I have on file is for M18,752,249 from 03-Jan-2000, so presumably a 12M exponent would have had its P-1 done several months/years earlier than that, and no records of who-did-what-when were kept at the time (or were kept and have since been lost).
James Heinrich is offline   Reply With Quote
Old 2015-02-18, 16:42   #6
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

7,417 Posts
Default

Quote:
Originally Posted by Madpoo View Post
Yup, no record on mersenne.org of a P-1 being run on it. At least, the clients assigned that exponent never checked anything in indicating that P-1 had been done at all.
It *may* be possible to retrieve some of that old data. The Primenet server has the old v4 database on it. With some effort, we might be able to create a history entry for each exponent: "Imported from v4 DB: TF to 2^56, P-1 to 150000 / 3000000" or some such. Ditto for LL results.

Personally, I'm not sure that is worth the effort.
Prime95 is offline   Reply With Quote
Old 2015-02-18, 17:54   #7
tha
 
tha's Avatar
 
Dec 2002

2×34×5 Posts
Default

Just the 'sannerud | laptop' data from the v4 server, if any, would be something. Is there a way to download the v4 data or request it per dvd?
tha is offline   Reply With Quote
Old 2015-02-18, 21:25   #8
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

7,417 Posts
Default

Quote:
Originally Posted by tha View Post
Just the 'sannerud | laptop' data from the v4 server, if any, would be something. Is there a way to download the v4 data or request it per dvd?
The v4 server did not keep the detailed log that v5 server does. So, no, there is no way to tell which user found a factor, returned a no-factor result, did the P-1, etc. The LL results table did record the userid and user-provided computer name, but did not record the date of the result (so no help in rediscovering milestone dates).

The reason I brought up the v4 server data, is that it could be used to find P-1 bounds of exponents that have later had a factor found. The v5 server deletes that information from the "exponents with no known factor" table, but is often still available in the detailed results log.
Prime95 is offline   Reply With Quote
Old 2015-02-18, 22:19   #9
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

1101000000012 Posts
Default

Quote:
Originally Posted by Prime95 View Post
The v5 server deletes that information from the "exponents with no known factor" table
Must it do that? Can we not keep that data for reference?
James Heinrich is offline   Reply With Quote
Old 2015-02-18, 22:52   #10
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

7,417 Posts
Default

Quote:
Originally Posted by James Heinrich View Post
Must it do that? Can we not keep that data for reference?
It would be tricky to change the current table layout. Numerous stored procedures and PHP code expect an exponent to be in only one of three tables (exponents with known factors, exponents with no known factors, mersenne primes).

I see three options: 1) Fix all the code that expects an exponent to be in only one of the three tables above. 2) Create a new table that stores the data we are currently deleting when a factor is found. 3) Do nothing, live with the current shortcomings.

Option 1 is the cleanest table layout, option 2 is the safest, option 3 is the easiest!
Prime95 is offline   Reply With Quote
Old 2015-02-18, 22:54   #11
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

3,329 Posts
Default

I'm fine with #2, especially if someone else does it
James Heinrich is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
F12 factor found? johnadam74 FermatSearch 16 2016-11-03 12:10
Mfaktc keeps going after a factor is found NBtarheel_33 GPU Computing 11 2012-04-07 21:12
found this factor tha Factoring 4 2007-06-18 19:56
After a factor is found it keeps on going jocelynl Software 6 2004-08-07 01:31
Odd Reporting of a Factor Found Reboot It Data 3 2003-12-03 14:39

All times are UTC. The time now is 11:21.

Wed Apr 21 11:21:49 UTC 2021 up 13 days, 6:02, 0 users, load averages: 1.56, 1.73, 1.88

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.