mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Data

Reply
 
Thread Tools
Old 2019-03-02, 19:48   #1
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

CB716 Posts
Default Mass exponent reports - CSVs

I had a request from someone lately for some data that they had been getting by crawling the site, but this seemed like a much more efficient way.

First up as a dump of the Primenet "factoring effort" data.

It has the exponent, the trial-factor bit level, and the B1/B2 bounds (this table, by the way, does not include exponents with a known factor).

Factoring Effort - 2019-03-02

Note that it's a large 7z file (27MB) that decompresses to a quite large CSV.

Coming up, he had asked for some sort of dump of the LL work on each exponent (whether it was unverified/verified as in single/double checked with a match).

When I have that ready I'll link to it here too.
EDIT: Here it is... all exponents with their status (verified/unverified/suspect) and their residue (masked for unverified/suspect). I didn't include proven bad results or any exponent where a factor was found.
LL Status - 2019-03-02

The goal being that if you have some need for data and are having to rely on crawling the exponent report page, it's terribly inefficient and if it's a quick query into a CSV, I can put something or another together.

PS - No guarantees on how long these files may be reachable... they're "point in time" so it may disappear in a few months or a year when it's suitably stale and I feel like cleaning up old files.

Last fiddled with by Madpoo on 2019-03-02 at 20:44
Madpoo is offline   Reply With Quote
Old 2019-03-02, 20:35   #2
nomead
 
nomead's Avatar
 
"Sam Laur"
Dec 2018
Turku, Finland

22·7·11 Posts
Default

Thanks for the list. Although I'm not the one who requested it, I have to admit browsing through the exponent data from time to time. Here and there, there are interesting "peaks" in the factoring effort and this makes it a whole lot easier to find them. Not any valid mathematical or scientific reason, just out of interest.

But another request. Would it also be possible to get a list of found factors? I can do all the sorting and filtering from there. The purpose is to make a list of known factors for various bit levels and exponent sizes, both "easy" and "hard" to find, but a larger list than the current built-in self test list included in mfaktc. Just to be more certain that any of the poking around I may be doing in the software won't result in missed factors.
nomead is offline   Reply With Quote
Old 2019-03-02, 20:57   #3
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

3·5·7·31 Posts
Default

Quote:
Originally Posted by nomead View Post
Thanks for the list. Although I'm not the one who requested it, I have to admit browsing through the exponent data from time to time. Here and there, there are interesting "peaks" in the factoring effort and this makes it a whole lot easier to find them. Not any valid mathematical or scientific reason, just out of interest.

But another request. Would it also be possible to get a list of found factors? I can do all the sorting and filtering from there. The purpose is to make a list of known factors for various bit levels and exponent sizes, both "easy" and "hard" to find, but a larger list than the current built-in self test list included in mfaktc. Just to be more certain that any of the poking around I may be doing in the software won't result in missed factors.
James has downloadable lists of the factor data over at mersenne.ca

I don't remember where those are but I'd recommend PM'ing him for details - they're quite large and he may not want everyone piling on and snagging those willy-nilly.
Madpoo is offline   Reply With Quote
Old 2019-03-03, 01:41   #4
nomead
 
nomead's Avatar
 
"Sam Laur"
Dec 2018
Turku, Finland

22×7×11 Posts
Default

Quote:
Originally Posted by Madpoo View Post
James has downloadable lists of the factor data over at mersenne.ca

I don't remember where those are but I'd recommend PM'ing him for details - they're quite large and he may not want everyone piling on and snagging those willy-nilly.
I found one package on download.mersenne.ca but that's from 2008-02-04 and only about 8 MB. But I'll PM him, let's see. Maybe it's possible to get the >1000M data as well, that would be even better.
nomead is offline   Reply With Quote
Old 2019-03-03, 04:40   #5
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

3×5×7×31 Posts
Default

Quote:
Originally Posted by nomead View Post
I found one package on download.mersenne.ca but that's from 2008-02-04 and only about 8 MB. But I'll PM him, let's see. Maybe it's possible to get the >1000M data as well, that would be even better.
Correct... if you want factors of exponents over 1e9 then James is the man.
Madpoo is offline   Reply With Quote
Old 2019-03-03, 07:16   #6
Yxine
 
Yxine's Avatar
 
"Aleksandr"
Nov 2005
Russia

2·32·5 Posts
Default

Madpoo, thanks a lot!

Some questions:
1. In llt report there are letters U, V and S. U = unverified, V = verified, S = suspect (different resudes). Is there any other letters or it is a full list?
2. Will this reports be regullary updated?

Nomead, I can generate for you the list with factors. Will send you a link soon here.
Yxine is offline   Reply With Quote
Old 2019-03-04, 03:40   #7
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

3×5×7×31 Posts
Default

Quote:
Originally Posted by Yxine View Post
Madpoo, thanks a lot!

Some questions:
1. In llt report there are letters U, V and S. U = unverified, V = verified, S = suspect (different resudes). Is there any other letters or it is a full list?
2. Will this reports be regullary updated?

Nomead, I can generate for you the list with factors. Will send you a link soon here.
Yes, that's correct:
S = Suspect
U = Unverified
V = Verified

On average, a "suspect" result has a 50/50 chance of being good. That's why the server will re-assign an exponent for a new *first* time check if the previous result was flagged as suspect based on the error code.

Currently there are 884 exponents with a pair of mismatched tests (672 of those are available to be assigned, FYI)... you'll see those entries listed twice in the data with different masked residues.
Madpoo is offline   Reply With Quote
Old 2019-03-09, 07:37   #8
Yxine
 
Yxine's Avatar
 
"Aleksandr"
Nov 2005
Russia

9010 Posts
Default

Madpoo, will these reports be updated regulary?
Yxine is offline   Reply With Quote
Old 2019-04-14, 04:11   #9
James Heinrich
 
James Heinrich's Avatar
 
"James Heinrich"
May 2004
ex-Northern Ontario

52×113 Posts
Default

Quote:
Originally Posted by Madpoo View Post
James has downloadable lists of the factor data over at mersenne.ca
I don't remember where those are but I'd recommend PM'ing him for details - they're quite large and he may not want everyone piling on and snagging those willy-nilly.
All the data exports from mersenne.ca live at https://www.mersenne.ca/export/
The archives are updated every Sunday morning around 0200h UTC.
Feel free to download whatever you want. The original poster is probably most interested in the section at the bottom of the table, notably the "TF Limit" and "Factors n,k" rows.
James Heinrich is offline   Reply With Quote
Old 2019-05-12, 15:35   #10
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

2×3×569 Posts
Default

Quote:
Originally Posted by Madpoo View Post
I had a request from someone lately for some data that they had been getting by crawling the site, but this seemed like a much more efficient way.

First up as a dump of the Primenet "factoring effort" data.

It has the exponent, the trial-factor bit level, and the B1/B2 bounds (this table, by the way, does not include exponents with a known factor).

Factoring Effort - 2019-03-02

Note that it's a large 7z file (27MB) that decompresses to a quite large CSV.

Coming up, he had asked for some sort of dump of the LL work on each exponent (whether it was unverified/verified as in single/double checked with a match).

When I have that ready I'll link to it here too.
EDIT: Here it is... all exponents with their status (verified/unverified/suspect) and their residue (masked for unverified/suspect). I didn't include proven bad results or any exponent where a factor was found.
LL Status - 2019-03-02

The goal being that if you have some need for data and are having to rely on crawling the exponent report page, it's terribly inefficient and if it's a quick query into a CSV, I can put something or another together.

PS - No guarantees on how long these files may be reachable... they're "point in time" so it may disappear in a few months or a year when it's suitably stale and I feel like cleaning up old files.
So where does one go for PRP status data?
kriesel is offline   Reply With Quote
Old 2019-05-13, 04:20   #11
Madpoo
Serpentine Vermin Jar
 
Madpoo's Avatar
 
Jul 2014

3×5×7×31 Posts
Default

Quote:
Originally Posted by kriesel View Post
So where does one go for PRP status data?
I just created new "archives of interesting things". I included the archive file sizes so you know what you're getting in to. The archive of the factors is large, and decompresses to 1.05 GB.

Known factors (for exponents < 1e9 of course):
347 MB
https://www.mersenne.org/result_arch..._2019-05-13.7z

Factoring effort:
27 MB
https://www.mersenne.org/result_arch..._2019-05-13.7z

LL status:
18 MB
https://www.mersenne.org/result_arch..._2019-05-13.7z

PRP status:
< 1 MB
https://www.mersenne.org/result_arch..._2019-05-13.7z

Note that the PRP status includes an "R" status type which indicates it was done with the Reliable testing method. It also includes the residue base and type since that matters.
Madpoo is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Book: The New Jim Crow: Mass Incarceration in the Age of Colorblindness Xyzzy Soap Box 88 2020-01-21 14:53
CSVs for stats available + New combined stats opyrt Prime Sierpinski Project 3 2010-05-31 08:13
Infractions and Reports S485122 Forum Feedback 23 2007-03-23 08:19
proton-electron mass ratio changing? jinydu Science & Technology 5 2006-05-03 07:18
A question of mass. Uncwilly Puzzles 7 2004-08-30 18:30

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

Sun Mar 29 21:11:10 UTC 2020 up 4 days, 18:44, 2 users, load averages: 1.81, 1.61, 1.57

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.