mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FactorDB

Reply
 
Thread Tools
Old 2011-01-17, 09:21   #34
schickel
 
schickel's Avatar
 
"Frank <^>"
Dec 2004
CDP Janesville

2×1,061 Posts
Default

Quote:
Originally Posted by em99010pepe View Post
I would like to certify 500-600 but I don't understand how to download the files.
From the DB? Just go to the downloads tab, select Batch of Primo-input files, select your PRP size (digits) and number of files. This gives you a zip file containing *.in files with the PRPs to test. Unzip them in your Primo work directory and turn Primo loose on them. When done, zip up the *.out files and upload them to the DB, presto, you're done!
schickel is offline   Reply With Quote
Old 2011-01-17, 09:51   #35
mataje
 
mataje's Avatar
 
Jan 2009
Bilbao, Spain

1000110112 Posts
Default

I´ll try 466-468.
mataje is offline   Reply With Quote
Old 2011-01-17, 09:51   #36
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

32·5·107 Posts
Default

I wanted to contribute, but I lost the link page to the zips...

Luigi
ET_ is offline   Reply With Quote
Old 2011-01-17, 11:58   #37
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

C5716 Posts
Default

You can get them from the database:

http://factordb.com/primobatch.php
ATH is online now   Reply With Quote
Old 2011-01-17, 12:00   #38
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

32·5·107 Posts
Default

Quote:
Originally Posted by ATH View Post
You can get them from the database:

http://factordb.com/primobatch.php
I'll try 470 for now

Now at work with Primo.

Luigi

Edit: How many files should I take? Is 10 the default?

Last fiddled with by ET_ on 2011-01-17 at 12:06 Reason: Formatting zip
ET_ is offline   Reply With Quote
Old 2011-01-17, 12:28   #39
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

35×13 Posts
Default

10 files at 500 digits took ~ 20min, so you might want to take a bigger batch.
ATH is online now   Reply With Quote
Old 2011-01-17, 12:39   #40
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

32·5·107 Posts
Default

Quote:
Originally Posted by ATH View Post
10 files at 500 digits took ~ 20min, so you might want to take a bigger batch.
I put 470 in the "Start with digits" field. I guess the DB will trigger automatically the number of digits following its needs... 1559 bits should be about 500 digits.

I got 50, will d/l more after lunch.

Funny!

Luigi
ET_ is offline   Reply With Quote
Old 2011-01-17, 12:48   #41
smh
 
smh's Avatar
 
"Sander"
Oct 2002
52.345322,5.52471

29×41 Posts
Default

If there are not enough composites with 470 digits, it will continue with 471 , 472 etc.. so keep this in mind when reserving.

At the moment there are 73 prp's with 470 digits. If you download 100 numbers you'll be duplicating work with someone who starts at 471

I simple download 500 prp's and run the following batch file to put all the prp's with length %1 in a separate directory.

Code:
@Echo off
md .\batches\%1
grep -l "%1 dig" .\batches\*.in | xargs -n1 -i mv {} .\batches\%1
to avaoid dupplication, i'll take 475 (156 numbers)

Last fiddled with by smh on 2011-01-17 at 12:52
smh is offline   Reply With Quote
Old 2011-01-17, 17:08   #42
mataje
 
mataje's Avatar
 
Jan 2009
Bilbao, Spain

283 Posts
Default

Quote:
Originally Posted by mataje View Post
I´ll try 466-468.
Done and uploaded.
mataje is offline   Reply With Quote
Old 2011-01-17, 17:31   #43
firejuggler
 
firejuggler's Avatar
 
Apr 2010
Over the rainbow

50508 Posts
Default

don't forget there might be 'newly' discovered PRP that are lower than the current '470' digit long one
firejuggler is offline   Reply With Quote
Old 2011-01-17, 18:41   #44
em99010pepe
 
em99010pepe's Avatar
 
Sep 2004

54168 Posts
Default

Taking 525-599
em99010pepe is offline   Reply With Quote
Reply



Similar Threads
Thread Thread Starter Forum Replies Last Post
A suggestion for factordb. enzocreti FactorDB 15 2021-06-24 07:15
Other Factordb Problems wblipp FactorDB 470 2021-06-13 16:58
Accessing FactorDB from Python shortcipher FactorDB 21 2018-12-03 17:03
Extending Factordb carpetpool FactorDB 6 2017-01-23 11:04
FactorDB question Raman Factoring 15 2010-01-28 10:24

All times are UTC. The time now is 12:34.


Sat Jul 17 12:34:14 UTC 2021 up 50 days, 10:21, 1 user, load averages: 1.22, 1.16, 1.23

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.