mersenneforum.org  

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

Reply
 
Thread Tools
Old 2021-10-22, 08:43   #12
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

2·3·13·41 Posts
Default

Quote:
Originally Posted by Prime95 View Post
Over 414.2M the proof power goes to 11.
.
Attached Thumbnails
Click image for larger version

Name:	11.jpg
Views:	43
Size:	37.5 KB
ID:	26001  
ATH is online now   Reply With Quote
Old 2021-10-22, 10:15   #13
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

30016 Posts
Default

Quote:
Originally Posted by ATH View Post
.
XKCD 670.

Wouldn't it be nice if the comic was embedded? But I guess that's problematic from a copyright view?
kruoli is offline   Reply With Quote
Old 2021-10-22, 13:06   #14
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

5,923 Posts
Default

Quote:
Originally Posted by Prime95 View Post
414.2M+ = 11
Presumably that + is for up to 1G mersenne.org limit, or 1169M max of AVX512 prime95. Or would it apply all the way up to say OBD (3322M)? Is the optimal proof power an output of a straightforward function or does it require empirical testing to determine?
kriesel is offline   Reply With Quote
Old 2021-10-22, 18:05   #15
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

7,681 Posts
Default

Quote:
Originally Posted by kriesel View Post
Presumably that + is for up to 1G mersenne.org limit, or 1169M max of AVX512 prime95. Or would it apply all the way up to say OBD (3322M)? Is the optimal proof power an output of a straightforward function or does it require empirical testing to determine?
It's a simple formula, I've already forgotten it. Shouldn't be hard to re-derive.

I didn't worry about OBD, it looks like the next transition will be near 1600M.
Prime95 is offline   Reply With Quote
Old 2021-10-22, 18:46   #16
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

5,923 Posts
Default

Looks like about every 2 bits on fft length is +1 on proof power. So (extrapolating in Mlucas fft lengths) that would imply power 12 would be sufficient to ~6.2G, ~1.87 Gdigit, not something of concern for decades or centuries.

Last fiddled with by kriesel on 2021-10-22 at 18:47
kriesel is offline   Reply With Quote
Old 2021-10-22, 19:54   #17
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

630210 Posts
Default

Quote:
Originally Posted by kruoli View Post
Wouldn't it be nice if the comic was embedded? But I guess that's problematic from a copyright view?
Quote:
Originally Posted by XKCD
This means you're free to copy and share these comics
I don't see any problem.

https://xkcd.com/license.html
retina is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Does the PRP proof file cause disk fragmentation? Chuck PrimeNet 9 2021-06-11 02:03
I run out of disk space - will this automatically now there's more space? drkirkby Information & Answers 5 2021-02-12 08:41
Prime95 defaults - your input requested (round 2) Prime95 PrimeNet 25 2016-03-31 05:29
Prime95 defaults - your input requested Prime95 PrimeNet 25 2016-03-25 19:32
Saving disk space? Xyzzy Msieve 4 2015-11-14 13:59

All times are UTC. The time now is 03:29.


Fri Dec 3 03:29:35 UTC 2021 up 132 days, 21:58, 0 users, load averages: 1.43, 1.51, 1.36

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.