mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Lone Mersenne Hunters > LMH > 100M

Reply
 
Thread Tools
Old 2004-01-17, 19:59   #1
bayanne
 
bayanne's Avatar
 
"Tony Gott"
Aug 2002
Yell, Shetland, UK

22·83 Posts
Default And onwards...

Hey, this is all good fun, but whatabout moving the bit depth upwards. Do we need to analyse out own results, so that we can then say take it up to 2^52. What's going to be the procedure for taking a range for the future at these higher bit depths.....
bayanne is offline   Reply With Quote
Old 2004-01-17, 21:43   #2
Xyzzy
 
Xyzzy's Avatar
 
Aug 2002

5×1,669 Posts
Default

We can either use one of the standalone factoring programs, or wait for George to remove the limitations in Prime95...

We do need to figure out how to reverse engineer the .cmp file format so we can make new worktodo.ini files...

I have all the raw data files and I will put them online in an hour or so... Maybe someone out there can help with figuring out what has been done and what we need to do...

I'll post here once the files are online...
Xyzzy is offline   Reply With Quote
Old 2004-01-17, 23:37   #3
Xyzzy
 
Xyzzy's Avatar
 
Aug 2002

209916 Posts
Default

Raw files:

http://www.mersenneforum.org/lmh/data/
Xyzzy is offline   Reply With Quote
Old 2004-01-18, 19:50   #4
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

483210 Posts
Default

I worked on the range 195M_200M and the following is the initial results.txt file:

Code:
M195000023 has a factor: 23790002807
M195000079 no factor from 2^0 to 2^50, WX1: B830ACC7
M195000107 no factor from 2^0 to 2^50, WX1: B823ACC9
M195000109 no factor from 2^0 to 2^50, WX1: B825ACCB
M195000119 no factor from 2^0 to 2^50, WX1: B82FACC8
M195000131 has a factor: 14040009433
M195000161 no factor from 2^0 to 2^50, WX1: B830ACCB
M195000193 no factor from 2^0 to 2^50, WX1: B828ACD2
M195000241 no factor from 2^0 to 2^50, WX1: B82FACCE
M195000259 no factor from 2^0 to 2^50, WX1: B841ACD3
M195000269 no factor from 2^0 to 2^50, WX1: B822ACD1
M195000271 no factor from 2^0 to 2^50, WX1: B824ACD3
M195000307 no factor from 2^0 to 2^50, WX1: B81FACD0
M195000317 has a factor: 147810240287
M195000359 no factor from 2^0 to 2^50, WX1: B82BACD0
M195000373 no factor from 2^0 to 2^50, WX1: B839ACD2
M195000383 no factor from 2^0 to 2^50, WX1: B843ACCF
M195000391 has a factor: 87750175951
M195000419 no factor from 2^0 to 2^50, WX1: B83EACCC
M195000433 has a factor: 18720041569
M195000493 has a factor: 1170002959
M195000511 no factor from 2^0 to 2^50, WX1: B820ACCE
Then I decided to rework the range using my own factoring program, and in the same range obtained the following:

Code:
M195000023 has a factor: 23790002807
M195000079 no factor from 2^1 to 2^50.
M195000107 no factor from 2^1 to 2^50.
M195000109 has a factor: 182394911954023
M195000119 no factor from 2^1 to 2^50.
M195000131 has a factor: 14040009433
M195000161 no factor from 2^1 to 2^50.
M195000193 no factor from 2^1 to 2^50.
M195000241 no factor from 2^1 to 2^50.
M195000259 has a factor: 2839593771559
M195000259 has a factor: 39497692460969
M195000269 has a factor: 6578139074447
M195000271 has a factor: 129175979521241
M195000307 no factor from 2^1 to 2^50.
M195000317 has a factor: 147810240287
M195000359 no factor from 2^1 to 2^50.
M195000373 no factor from 2^1 to 2^50.
M195000383 has a factor: 113005061953097
M195000391 has a factor: 87750175951
M195000419 has a factor: 87324697635743
M195000433 has a factor: 18720041569
M195000493 has a factor: 1170002959
M195000511 no factor from 2^1 to 2^50.
All the factors found are certified primes.

As you can see, Prime95 missed 7 factors among the first 22 exponents tested.

My humble question is: should we go on trial-factoring Mersenne numbers with this version of prime95, missing some exponents and forcing in future some LL-test and refactoring that could be avoided, or wait until a new version of (say) Factoring95 is released?

It's fun to factor numbers, but maybe we're giving Will Eddington an incomplete batch of data, and this worries me.

Luigi
ET_ is offline   Reply With Quote
Old 2004-01-18, 23:09   #5
Xyzzy
 
Xyzzy's Avatar
 
Aug 2002

5·1,669 Posts
Default

Every factor we find just reduces the number left to be checked...

Even if we are missing factors, we've eliminated so many that someone could run the same work behind us in a fraction of the time...

Once we have the data files set up properly, creating a new worktodo.ini will be trivial...
Xyzzy is offline   Reply With Quote
Old 2004-01-19, 00:25   #6
Xyzzy
 
Xyzzy's Avatar
 
Aug 2002

100000100110012 Posts
Default

Okay, the factor data file is done... All the factors were verified... We have found 3,663,418 factors so far... You can download the factors file here:

http://www.mersenneforum.org/lmh/
Xyzzy is offline   Reply With Quote
Old 2004-01-19, 00:29   #7
hbock
 
hbock's Avatar
 
Feb 2003

163 Posts
Default

I've just repeated this on my system (Athlon 1.2 , 21.3.1 and 21.4.1 tested):

Code:
M195000023 has a factor: 23790002807
M195000079 no factor from 2^0 to 2^50, WX1: B830ACC7
M195000107 has a factor: 1380243907364191
M195000109 has a factor: 182394911954023
M195000119 no factor from 2^0 to 2^50, WX1: B82FACC8
M195000131 has a factor: 14040009433
M195000161 no factor from 2^0 to 2^50, WX1: B830ACCB
M195000193 no factor from 2^0 to 2^50, WX1: B828ACD2
M195000241 no factor from 2^0 to 2^50, WX1: B82FACCE
M195000259 has a factor: 2839593771559
M195000259 has a factor: 39497692460969
M195000269 has a factor: 6578139074447
M195000271 has a factor: 129175979521241
M195000307 no factor from 2^0 to 2^50, WX1: B81FACD0
M195000317 has a factor: 147810240287
M195000359 no factor from 2^0 to 2^50, WX1: B82BACD0
M195000373 no factor from 2^0 to 2^50, WX1: B839ACD2
M195000383 has a factor: 113005061953097
M195000391 has a factor: 87750175951
M195000419 has a factor: 87324697635743
M195000433 has a factor: 18720041569
M195000493 has a factor: 1170002959
M195000511 no factor from 2^0 to 2^50, WX1: B820ACCE
So prime95 found all factors plus a 51 bit factor (M195000107 has a factor: 1380243907364191).
We know that not all factors will be found but at least the smallest ones should. Splitting the work in two or more runs helps to find more factors and maybe all if only one bit depth is checked (b1=b2). Unfortunately this takes much longer time.
hbock is offline   Reply With Quote
Old 2004-01-19, 02:41   #8
ColdFury
 
ColdFury's Avatar
 
Aug 2002

26×5 Posts
Default

It should be trivial to write a stand-alone factoring program using GMP. It would be no-where as fast as Prime95, but the factoring is already pretty fast at such high exponents.
ColdFury is offline   Reply With Quote
Old 2004-01-19, 03:19   #9
nfortino
 
nfortino's Avatar
 
Nov 2003

16510 Posts
Default

Quote:
Originally posted by Xyzzy
We do need to figure out how to reverse engineer the .cmp file format so we can make new worktodo.ini files...
I have been working on reverse engineering the .cmp format, and I was successfully able to create a nofactor.cpm for the normal GIMPS data, and decompress it using decomp, getting back the same file. I went to do the same with this new data and found that 100923007 is in neither factor nor nofactor, nor is it in the raw data file (and yes, it is prime). Unfortunately, my method requires that every prime above the start point be in nofactor, or factor. Up to 100923007, my program worked perfectly.
nfortino is offline   Reply With Quote
Old 2004-01-19, 21:01   #10
cheesehead
 
cheesehead's Avatar
 
"Richard B. Woods"
Aug 2002
Wisconsin USA

22×3×641 Posts
Default

Quote:
Originally posted by ET_
My humble question is: should we go on trial-factoring Mersenne numbers with this version of prime95, missing some exponents and forcing in future some LL-test and refactoring that could be avoided, or wait until a new version of (say) Factoring95 is released?

It's fun to factor numbers, but maybe we're giving Will Eddington an incomplete batch of data, and this worries me.
As long as we cannot certify that no possible factor remains below the specified test limit bit level, we should not report unsuccessful TF tests to Will.

We should report only the exponents for which (verified) factors are found.

And as long as we can't certify that the reported factors include the smallest factor for their exponents, we should tag each report to Will with a disclaimer that the smallest factors may not have been discovered (as has been the case with Prime95 for a while).
cheesehead is offline   Reply With Quote
Old 2004-01-23, 03:58   #11
Xyzzy
 
Xyzzy's Avatar
 
Aug 2002

5×1,669 Posts
Default

http://www.mersenneforum.org/lmh/

factor.zip has been updated...

4,412,421 factors...
Xyzzy is offline   Reply With Quote
Reply

Thread Tools


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


Sun Nov 28 08:51:24 UTC 2021 up 128 days, 3:20, 0 users, load averages: 1.39, 1.15, 1.02

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.