mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FermatSearch

Reply
 
Thread Tools
Old 2018-03-01, 13:57   #12
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2×2,383 Posts
Default

Quote:
Originally Posted by rogue View Post
That estimate is a little low as some cores are slower than others. I'm aiming to complete by the end of April.
If you need help drop me a line.
ET_ is offline   Reply With Quote
Old 2018-03-03, 19:34   #13
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

134448 Posts
Default

This range:

Code:
6201-6299 900000000 1000000000
is done. Over 2,000,000 PRPs, but no GFN or xGFN divisors.

Last fiddled with by rogue on 2018-03-03 at 19:34
rogue is online now   Reply With Quote
Old 2018-03-05, 18:00   #14
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

22×1,481 Posts
Default

The way my program works is that it groups n in such a way that it wants each range of n to be tested to the same k. If n <100, then each n is distinct, but between 100 and 999, it expects each group of 10 n (100-109, 110-119, 120-129, etc) to be tested to the same k. For n between 1000 and 9999, they are groups of 100 n (1000-1099, 1100-1199, etc). For n between 10000 and 99999, they are groups of 1000 n. and for n between 100000 and 999999, they are groups of 10000 n.

This means that if someone takes all n from 6000 to 7000 up to some k, then my program will output a gap for 7001-7999 for that same k.

I could change the behavior of my program to not do this, maybe treating the n ending with "0" or "00" or "000" as a special case. It would be nicer to add some restrictions to the reservation process, but I have expectation for that to happen.

On the "done" page", what does "factoring" mean? How does that differ from gfn or ecm?

Last fiddled with by rogue on 2018-03-05 at 18:01
rogue is online now   Reply With Quote
Old 2018-03-05, 23:12   #15
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

22·1,481 Posts
Default

I made some changes to my program to detect gaps. The code was a mess and without proper documentation was difficult to figure out what it was outputting. The program assumes that you have taken the table from this page, via copy&paste into TextPad (or NotePad++), removed the commas, then replaced the tabs with commas and saved as completed.csv. The source, along with the input file and two output files that it generates are attached.

With various fixes, this is what it outputs:

Code:
type 1 means that n was tested from k1-k2, but k1 != 1
type 2 means that n was tested from k1-k2 and k3-k4, but not k2-k3
type 3 means that that some n in the group were not tested to the same k as others

type 2:  900-909 150000000000-160000000000 reserved
type 2:  910-919 150000000000-160000000000 reserved
type 2:  920-929 150000000000-160000000000 reserved
type 2:  930-939 150000000000-160000000000 reserved
type 2:  940-949 150000000000-160000000000 reserved
type 3:  6151-6199 1000000000-2500000000 available
type 3:  6201-6299 900000000-1000000000 reserved
type 3:  10003-10999 100000000-269000000 reserved
type 3:  14501-14999 40000000-70000000 reserved
type 2:  19001-19999 50000-100000 available
type 3:  19001-19999 50000-12000000 available
type 2:  22000-22999 50000-100000 available
type 2:  23000-23999 50000-100000 available
type 2:  24000-24999 50000-100000 available
type 2:  25000 50000-100000 available
type 2:  25000 6000000-8000000 available
type 2:  25001-25999 50000-100000 available
type 2:  26000-26999 50000-100000 available
type 2:  27000-27999 50000-100000 available
type 2:  28000-28999 50000-100000 available
type 2:  29000-29999 50000-100000 available
type 2:  32001-32999 50000-100000 available
type 3:  32001-32999 50000-3000000 available
type 2:  61000 20000-30000 available
type 3:  61000 20000-125000 reserved
type 2:  82000-82999 70000-80000 reserved
type 2:  83000-83999 70000-80000 reserved
type 2:  84000-84999 70000-80000 reserved
type 2:  85000-85999 70000-80000 reserved
type 2:  86000-86999 70000-80000 reserved
type 2:  87000-87999 70000-80000 reserved
type 2:  88000-88999 70000-80000 reserved
type 2:  89000-89999 70000-80000 reserved
The "type 2" that are available and which I haven't previously reported were likely skipped by past searchers. As I stated in my previous post, these are based upon "groups of n", which is why you see the n ranges as they are (ending with 9, 99, or 999). Most of those available ranges could be knocked off in a couple of days.
Attached Files
File Type: 7z flist.7z (38.8 KB, 44 views)
rogue is online now   Reply With Quote
Old 2018-03-06, 13:46   #16
wombatman
I moo ablest echo power!
 
wombatman's Avatar
 
May 2013

32·193 Posts
Default

I'm running 6151-6199 1000000000-2500000000. Sieving was completed a few days ago, and I'm currently doing the PRP/gfn testing.
wombatman is offline   Reply With Quote
Old 2018-03-06, 16:18   #17
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2×2,383 Posts
Default

Quote:
Originally Posted by rogue View Post
The way my program works is that it groups n in such a way that it wants each range of n to be tested to the same k. If n <100, then each n is distinct, but between 100 and 999, it expects each group of 10 n (100-109, 110-119, 120-129, etc) to be tested to the same k. For n between 1000 and 9999, they are groups of 100 n (1000-1099, 1100-1199, etc). For n between 10000 and 99999, they are groups of 1000 n. and for n between 100000 and 999999, they are groups of 10000 n.

This means that if someone takes all n from 6000 to 7000 up to some k, then my program will output a gap for 7001-7999 for that same k.

I could change the behavior of my program to not do this, maybe treating the n ending with "0" or "00" or "000" as a special case. It would be nicer to add some restrictions to the reservation process, but I have expectation for that to happen.

On the "done" page", what does "factoring" mean? How does that differ from gfn or ecm?
Then reservations should proceed from xxx0 to x999. I will try to kindly ask people to follow the rule. Someone will keep working on "their" ranges (like N=200-249) and we will try to close the relative gaps up to 299.

"factoring" means everything that has not been tested by either ecm or gfn.
ET_ is offline   Reply With Quote
Old 2018-03-06, 16:24   #18
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

129E16 Posts
Default

Quote:
Originally Posted by wombatman View Post
I'm running 6151-6199 1000000000-2500000000. Sieving was completed a few days ago, and I'm currently doing the PRP/gfn testing.
Thank you Ben.

What should be added to the "wanted page" right now?
ET_ is offline   Reply With Quote
Old 2018-03-06, 16:42   #19
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

592410 Posts
Default

Quote:
Originally Posted by ET_ View Post
Then reservations should proceed from xxx0 to x999. I will try to kindly ask people to follow the rule. Someone will keep working on "their" ranges (like N=200-249) and we will try to close the relative gaps up to 299.

"factoring" means everything that has not been tested by either ecm or gfn.
That isn't clear to me. Does that mean they tested the entire range for GFN divisors, but not xGFN divisors? On your "done" page, could you explain the difference between them?

Since all Fermat numbers thru F11 have been factored, you should not accept any reservations for n < 14. In fact you should probably remove those ranges from your "done" page since they don't have any value.

One more thing, on the "done" page, the PrimeGrid search was to k = 10,000 for n up to 1,400,000. Sorry for any confusion there.

Last fiddled with by rogue on 2018-03-06 at 16:43
rogue is online now   Reply With Quote
Old 2018-03-06, 18:03   #20
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

10111001001002 Posts
Default

This fixes some bugs in my code and incorporates the reservations page and grabs the name of the user with that reservation.

Code:
type 1 means that n was tested from k1-k2, but k1 != 1
type 2 means that n was tested from k1-k2 and k3-k4, but not k2-k3
type 3 means that that some n in the group were not tested to the same k as others

type 2:  900-909 150000000000-160000000000 Pacher Maximilian
type 2:  910-919 150000000000-160000000000 Pacher Maximilian
type 2:  920-929 150000000000-160000000000 Pacher Maximilian
type 2:  930-939 150000000000-160000000000 Pacher Maximilian
type 2:  940-949 150000000000-160000000000 Pacher Maximilian
type 3:  6151-6199 1000000000-2500000000 Ben Meekins
type 3:  10003-10999 100000000-269000000 Mark Rodenkirch
type 3:  14501-14999 40000000-70000000 Mark Rodenkirch
type 2:  19001-19999 50000-100000 available
type 2:  22000-22999 50000-100000 available
type 2:  23000-23999 50000-100000 available
type 2:  24000-24999 50000-100000 available
type 2:  25000-25999 50000-100000 available
type 2:  26000-26999 50000-100000 available
type 2:  27000-27999 50000-100000 available
type 2:  28000-28999 50000-100000 available
type 2:  29000-29999 50000-100000 available
type 2:  30001-30999 300000-500000 Fabrice Le Foulher
type 2:  31000-31999 300000-500000 Fabrice Le Foulher
type 2:  32001-32999 50000-100000 available
type 2:  32000-32999 300000-500000 Fabrice Le Foulher
type 2:  33000-33999 300000-500000 Fabrice Le Foulher
type 2:  34000-34999 300000-500000 Fabrice Le Foulher
type 2:  61000 20000-30000 available
type 2:  82000-82999 70000-80000 Fabrice Le Foulher
type 2:  83000-83999 70000-80000 Fabrice Le Foulher
type 2:  84000-84999 70000-80000 Fabrice Le Foulher
type 2:  85000-85999 70000-80000 Fabrice Le Foulher
type 2:  86000-86999 70000-80000 Fabrice Le Foulher
type 2:  87000-87999 70000-80000 Fabrice Le Foulher
type 2:  88000-88999 70000-80000 Fabrice Le Foulher
type 2:  89000-89999 70000-80000 Fabrice Le Foulher
I see that some reservations haven't been updated in more than a year. Do you have a status update on those? Fabrice seems to be active in the past few months but two of the reservations haven't been updated in nearly two years.
Attached Files
File Type: 7z flist.7z (47.2 KB, 49 views)
rogue is online now   Reply With Quote
Old 2018-03-06, 19:53   #21
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

112368 Posts
Default

Quote:
Originally Posted by rogue View Post
That isn't clear to me. Does that mean they tested the entire range for GFN divisors, but not xGFN divisors? On your "done" page, could you explain the difference between them?

Since all Fermat numbers thru F11 have been factored, you should not accept any reservations for n < 14. In fact you should probably remove those ranges from your "done" page since they don't have any value.

One more thing, on the "done" page, the PrimeGrid search was to k = 10,000 for n up to 1,400,000. Sorry for any confusion there.
The label "gfn" means "xGF", as Prof. Keller and I decided to recheck those ranges that had survived only a GFN test. Prof. Keller is actually in charge of maintaining the status of the xGF search, while I only add those ranges that are meaningful for the Fermat-only side of the search (usually the higher N are tested with pfgw -gx ).

In the "done" table I only have one F11, done my myself and inserted as an evaluation of the CPU time needed for the 120 curves. The other N start from F12, that is still not completely factored.

I am updating the PrimeGrid record right now, thank you.
ET_ is offline   Reply With Quote
Old 2018-03-06, 19:57   #22
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2×2,383 Posts
Default

Quote:
Originally Posted by rogue View Post
This fixes some bugs in my code and incorporates the reservations page and grabs the name of the user with that reservation.

Code:
type 1 means that n was tested from k1-k2, but k1 != 1
type 2 means that n was tested from k1-k2 and k3-k4, but not k2-k3
type 3 means that that some n in the group were not tested to the same k as others

type 2:  900-909 150000000000-160000000000 Pacher Maximilian
type 2:  910-919 150000000000-160000000000 Pacher Maximilian
type 2:  920-929 150000000000-160000000000 Pacher Maximilian
type 2:  930-939 150000000000-160000000000 Pacher Maximilian
type 2:  940-949 150000000000-160000000000 Pacher Maximilian
type 3:  6151-6199 1000000000-2500000000 Ben Meekins
type 3:  10003-10999 100000000-269000000 Mark Rodenkirch
type 3:  14501-14999 40000000-70000000 Mark Rodenkirch
type 2:  19001-19999 50000-100000 available
type 2:  22000-22999 50000-100000 available
type 2:  23000-23999 50000-100000 available
type 2:  24000-24999 50000-100000 available
type 2:  25000-25999 50000-100000 available
type 2:  26000-26999 50000-100000 available
type 2:  27000-27999 50000-100000 available
type 2:  28000-28999 50000-100000 available
type 2:  29000-29999 50000-100000 available
type 2:  30001-30999 300000-500000 Fabrice Le Foulher
type 2:  31000-31999 300000-500000 Fabrice Le Foulher
type 2:  32001-32999 50000-100000 available
type 2:  32000-32999 300000-500000 Fabrice Le Foulher
type 2:  33000-33999 300000-500000 Fabrice Le Foulher
type 2:  34000-34999 300000-500000 Fabrice Le Foulher
type 2:  61000 20000-30000 available
type 2:  82000-82999 70000-80000 Fabrice Le Foulher
type 2:  83000-83999 70000-80000 Fabrice Le Foulher
type 2:  84000-84999 70000-80000 Fabrice Le Foulher
type 2:  85000-85999 70000-80000 Fabrice Le Foulher
type 2:  86000-86999 70000-80000 Fabrice Le Foulher
type 2:  87000-87999 70000-80000 Fabrice Le Foulher
type 2:  88000-88999 70000-80000 Fabrice Le Foulher
type 2:  89000-89999 70000-80000 Fabrice Le Foulher
I see that some reservations haven't been updated in more than a year. Do you have a status update on those? Fabrice seems to be active in the past few months but two of the reservations haven't been updated in nearly two years.
So type 2 have holes, and type 3 are reserved. Thank you Mark.
ET_ is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Large Gaps >500,000 mart_r Prime Gap Searches 119 2017-08-21 12:48
Medium Gaps 60,000 to 500,000 robert44444uk Prime Gap Searches 77 2016-12-28 08:19
Very small gaps - 1,300 - 4,000 robert44444uk Prime Gap Searches 33 2016-02-03 12:55
Gaps and more gaps on <300 site gd_barnes Riesel Prime Search 11 2007-06-27 04:12
Are M41,42,43 too close to each other? nngs Lounge 12 2005-12-24 13:25

All times are UTC. The time now is 02:27.

Thu Oct 1 02:27:36 UTC 2020 up 20 days, 23:38, 1 user, load averages: 1.92, 1.61, 1.51

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.