mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FactorDB

Reply
 
Thread Tools
Old 2018-12-27, 02:54   #342
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

3,833 Posts
Default

The lower area seems to be growing again, although not too fast. If they're still there, I'll knock out 2500-4000 in a couple days. That's around 100 candidates, but also includes some "##" troublemakers.
EdH is offline   Reply With Quote
Old 2018-12-27, 20:57   #343
chris2be8
 
chris2be8's Avatar
 
Sep 2009

209010 Posts
Default

I've spotted two pairs of PRPs where proving the first would enable a N-1 proof of the second:
Code:
1100000001217007748     ((3^666*665+11)/834263057836-1)/40
1100000001216564194     (3^666*665+11)/834263057836
Code:
1100000001217042397     ((2^1062*1061+19)/712254287259-1)/24
1100000001216000549     (2^1062*1061+19)/712254287259
Chris
chris2be8 is offline   Reply With Quote
Old 2018-12-28, 14:05   #344
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

3,833 Posts
Default

Quote:
Originally Posted by chris2be8 View Post
I've spotted two pairs of PRPs where proving the first would enable a N-1 proof of the second:
Code:
1100000001217007748     ((3^666*665+11)/834263057836-1)/40
1100000001216564194     (3^666*665+11)/834263057836
Code:
1100000001217042397     ((2^1062*1061+19)/712254287259-1)/24
1100000001216000549     (2^1062*1061+19)/712254287259
Chris
Not understanding anything about N-1 proofs, would this be automatic by the db? Should I run Primo on the first of each case to see? Or, are you doing more with these?
EdH is offline   Reply With Quote
Old 2018-12-28, 14:12   #345
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

73718 Posts
Default

We're still over 1k candidates below 3000 and the area from 2500 to 4000 has been cleared, except for three "##" numbers. I'm going to work the 2xxx candidates in with my other work in a little while. If no other posts show up here telling me to "cut it out!" I'll move further down, maybe to 1K. Other than possibly working the two 3xx candidates that Chis brought up, I plan to leave those below 1K for new workers, unless there's a flood.

All comments welcomed...
EdH is offline   Reply With Quote
Old 2018-12-28, 15:10   #346
MisterBitcoin
 
MisterBitcoin's Avatar
 
"Nuri, the dragon :P"
Jul 2016
Good old Germany

11001010112 Posts
Default

Quote:
Originally Posted by EdH View Post
We're still over 1k candidates below 3000 and the area from 2500 to 4000 has been cleared, except for three "##" numbers. I'm going to work the 2xxx candidates in with my other work in a little while. If no other posts show up here telling me to "cut it out!" I'll move further down, maybe to 1K. Other than possibly working the two 3xx candidates that Chis brought up, I plan to leave those below 1K for new workers, unless there's a flood.

All comments welcomed...

I can take all below 2K. Just give me some time to set it up, expecting to start in a few hours!
MisterBitcoin is offline   Reply With Quote
Old 2018-12-28, 17:05   #347
chris2be8
 
chris2be8's Avatar
 
Sep 2009

82A16 Posts
Default

Quote:
Originally Posted by EdH View Post
Not understanding anything about N-1 proofs, would this be automatic by the db? Should I run Primo on the first of each case to see? Or, are you doing more with these?
I'm not planning to do anything with them.

Once factordb has processed Primo certificates for the first of each case then clicking on primality for the second should bring up a button to prove it prime. Just click that and the job's done. But it might get clicked by someone else fairly quickly so don't leave it too long.

Chris
chris2be8 is offline   Reply With Quote
Old 2018-12-29, 03:22   #348
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

EF916 Posts
Default

Quote:
Originally Posted by chris2be8 View Post
I'm not planning to do anything with them.

Once factordb has processed Primo certificates for the first of each case then clicking on primality for the second should bring up a button to prove it prime. Just click that and the job's done. But it might get clicked by someone else fairly quickly so don't leave it too long.

Chris
I think Dennis has already certified them. I've left everything below 2k for him. There's only one 2xxx candidate left currently and that's because it just showed up tonight. It will be processed by one of my machines shortly and then all my work will move back above 5xxx.
EdH is offline   Reply With Quote
Old 2018-12-29, 08:43   #349
DukeBG
 
Mar 2018

3×43 Posts
Default

The buttons show up even if there is a primo certificate. Clicking it will do the proof with pfgw that will "override" the primo proof. The certificate would still be listed in the uploader's certificates list, but not on the prime's page. Either way, primo-proving 310dd numbers takes less time than us writing these messages, so it wasn't a measurable "waste" of time at all really.

Last fiddled with by DukeBG on 2018-12-29 at 08:43
DukeBG is offline   Reply With Quote
Old 2018-12-29, 10:56   #350
MisterBitcoin
 
MisterBitcoin's Avatar
 
"Nuri, the dragon :P"
Jul 2016
Good old Germany

32B16 Posts
Default

Quote:
Originally Posted by EdH View Post
I think Dennis has already certified them. I've left everything below 2k for him. There's only one 2xxx candidate left currently and that's because it just showed up tonight. It will be processed by one of my machines shortly and then all my work will move back above 5xxx.

The first batch (1000 numbers) was finished midnight and uploaded shortly later. The next batch (400 numbers) is in work an will be uploaded in 1-2 hours.
After then only a few (~30 numbers) are left in the range.
MisterBitcoin is offline   Reply With Quote
Old 2018-12-29, 17:03   #351
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

3,833 Posts
Default

Three more 2xxx candidates showed up overnight and I added them into my mix. After that and Dennis' work, the lower region should be looking good, so I'll go back to the 5xxx area and let the smaller ones build up again.

Quote:
Originally Posted by DukeBG View Post
... Either way, primo-proving 310dd numbers takes less time than us writing these messages, so it wasn't a measurable "waste" of time at all really.
Agreed, but I'm very lazy.
EdH is offline   Reply With Quote
Old 2019-03-11, 16:34   #352
chris2be8
 
chris2be8's Avatar
 
Sep 2009

2·5·11·19 Posts
Default

Here's another pair of PRPs where proving the smaller would enable a N-1 proof of the larger:
Code:
1100000001263132416     ((2^1024+1-2^611)/32667-1)/2
1100000001262412076     (2^1024+1-2^611)/32667
Chris
chris2be8 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Fixup Old Primo Certificate? wblipp FactorDB 1 2012-05-28 03:16
Invalid certificate? IvanP FactorDB 3 2012-05-11 12:17
Could Moore's law be purposely used for marketing purposes? jasong Science & Technology 10 2007-01-19 19:04
certificate of appreciation Unregistered Information & Answers 13 2004-04-28 06:24

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


Fri Jul 30 07:21:15 UTC 2021 up 7 days, 1:50, 0 users, load averages: 1.91, 1.56, 1.53

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.