mersenneforum.org Gaps to close
 Register FAQ Search Today's Posts Mark Forums Read

2018-03-01, 13:57   #12
ET_
Banned

"Luigi"
Aug 2002
Team Italia

2×2,383 Posts

Quote:
 Originally Posted by rogue 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.

 2018-03-03, 19:34 #13 rogue     "Mark" Apr 2003 Between here and the 134448 Posts 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
 2018-03-05, 18:00 #14 rogue     "Mark" Apr 2003 Between here and the 22×1,481 Posts 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
2018-03-05, 23:12   #15
rogue

"Mark"
Apr 2003
Between here and the

22·1,481 Posts

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
 flist.7z (38.8 KB, 44 views)

 2018-03-06, 13:46 #16 wombatman I moo ablest echo power!     May 2013 32·193 Posts I'm running 6151-6199 1000000000-2500000000. Sieving was completed a few days ago, and I'm currently doing the PRP/gfn testing.
2018-03-06, 16:18   #17
ET_
Banned

"Luigi"
Aug 2002
Team Italia

2×2,383 Posts

Quote:
 Originally Posted by rogue 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.

2018-03-06, 16:24   #18
ET_
Banned

"Luigi"
Aug 2002
Team Italia

129E16 Posts

Quote:
 Originally Posted by wombatman 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?

2018-03-06, 16:42   #19
rogue

"Mark"
Apr 2003
Between here and the

592410 Posts

Quote:
 Originally Posted by ET_ 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

2018-03-06, 18:03   #20
rogue

"Mark"
Apr 2003
Between here and the

10111001001002 Posts

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
 flist.7z (47.2 KB, 49 views)

2018-03-06, 19:53   #21
ET_
Banned

"Luigi"
Aug 2002
Team Italia

112368 Posts

Quote:
 Originally Posted by rogue 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.

2018-03-06, 19:57   #22
ET_
Banned

"Luigi"
Aug 2002
Team Italia

2×2,383 Posts

Quote:
 Originally Posted by rogue 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.

 Similar Threads Thread Thread Starter Forum Replies Last Post mart_r Prime Gap Searches 119 2017-08-21 12:48 robert44444uk Prime Gap Searches 77 2016-12-28 08:19 robert44444uk Prime Gap Searches 33 2016-02-03 12:55 gd_barnes Riesel Prime Search 11 2007-06-27 04:12 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