20040117, 19:59  #1 
"Tony Gott"
Aug 2002
Yell, Shetland, UK
514_{8} Posts 
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.....

20040117, 21:43  #2 
Aug 2002
20327_{8} Posts 
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... 
20040117, 23:37  #3 
Aug 2002
7·1,201 Posts 

20040118, 19:50  #4 
Banned
"Luigi"
Aug 2002
Team Italia
2·41·59 Posts 
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 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. As you can see, Prime95 missed 7 factors among the first 22 exponents tested. My humble question is: should we go on trialfactoring Mersenne numbers with this version of prime95, missing some exponents and forcing in future some LLtest 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 
20040118, 23:09  #5 
Aug 2002
7·1,201 Posts 
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... 
20040119, 00:25  #6 
Aug 2002
7×1,201 Posts 
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/ 
20040119, 00:29  #7 
Feb 2003
10100011_{2} Posts 
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 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. 
20040119, 02:41  #8 
Aug 2002
101000000_{2} Posts 
It should be trivial to write a standalone factoring program using GMP. It would be nowhere as fast as Prime95, but the factoring is already pretty fast at such high exponents.

20040119, 03:19  #9  
Nov 2003
3×5×11 Posts 
Quote:


20040119, 21:01  #10  
"Richard B. Woods"
Aug 2002
Wisconsin USA
2^{2}×3×641 Posts 
Quote:
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). 

20040123, 03:58  #11 
Aug 2002
7·1,201 Posts 
