Thread: Announcements
View Single Post
Old 2021-01-24, 19:20   #1
kriesel's Avatar
Mar 2017
US midwest

610910 Posts
Default Announcements

(Most content in this post will come and go and be of temporary interest at best.)

Just noticed 2021-12-16 a proof version difference in gpuowl v7.2-53 which affects multiple other versions too.
Results line and console output and log file say version 1, proof file header correctly says version 2. Transition in gpuowl from version 1 to 2 proofs was at v7.1.1, so it appears dozens of commits report different proof version. It does not appear to interfere with verification, since M58847203 run with v7.2-63 which also has the issue was successfully verified. The latest commit v7.2-86 also reports proof version 1. It could be proof file version versus JSON version are intended to be different. Or it could be an inconsistency in json implementation. The json results produced by prime95 show version 2. now also accepts P-1 results for exponents > 1G, from gpuowl (factors found tested lightly with v6.11-380 at 1.13-1.71G; no factor found also tested.) Put the result(s) in a text file and upload at

James Heinrich has created a converter for Mfactor and Factor5 multi-line results to standardized json format.

Mprime/prime95 v30.8b9 pre-beta is available for test intended mostly for faster substantial bounds P-1 on exponents <30M.

Mprime / prime95 v30.7b9 is available, with some modifications to P-1, addition of Alder Lake support.
Mlucas V20.1.1 (Nov 28 version) has been released, with faster P-1 stage 2, various fixes, separate help.txt file.
(For latest versions etc of leading software, see

If performing first primality tests, use PRP with GEC and proof generation. NO LL for first tests! Or for DC either. As of 2021-04-08, the server no longer issues LL first time test assignments.

Please switch for first tests, to PRP testing, with the excellent Gerbicz Error Check, and VDF based verification of correct completion ("proof"), wherever practical, instead of doing LL first tests. Cease beginning LL first primality tests. All new first primality tests should be PRP type, with proof generation whenever possible. PRP/GEC/proof/Cert is much more reliable, and effectively twice as fast, since it essentially eliminates the typical 2% LL error rate leading to occasional triple checks or further, and reduces verification to typically under 1% of what an LL DC requires (>99% reduction!). If the choices are between Gpuowl PRP or CUDALucas LL, the savings are even more dramatic, nearly 4:1. PRP with proof generation also provides much faster indication of system reliability (typically hours), than does LL. (Typically years, 8.2 in that example, for an LL DC to occur; examples over 9 years also exist, including:
Ten years:

Since the reliability advantage of PRP/GEC over LL also applies to double checking, most LL first tests will never have LLDC run. They will instead be verified composite more reliably and more quickly by a first time PRP/GEC/proof and cert. So in the usual >999,999 ppm case of a composite Mersenne number, an LL first primality test is a complete waste of time and computing resources. (An LL DC on an LL first test is a lesser waste of time, and much less reliable than PRP/GEC.)

Mprime/prime95 (~v30.3 or higher), and GpuOwl (~v6.11-316 and later) are available in proof-capable forms. Mlucas proof file generation capability was planned for V20.x, but I think that slipped past v20.1 to V21 because P-1 implementation in V20 took a lot of effort, followed by some bug finding and fixing fun, with current latest available Mlucas at V20.1.1 2021-11-28 patch. (Lucas-Lehmer tests will still be used if/when PRP returns a probable prime indication for a suspected new Mersenne prime discovery, to confirm by multiple independent tests by separate hardware, software, and participants. The person reporting a PRP probable prime indication from a first test would still be regarded as the discoverer.)
In occasional sampling ~2021-01-24 of over 130 primality testing assignments in 101-102M, 38% were LL, 62% PRP. That LL frequency was much too high.
As of 2021-01-27 1540 UTC in 101-102M primality testing of 273 active assignments, 57 LL, 21%, better. For 101M-103M as of 2021-03-28 ~2010 UTC, 23 LL of 132, 17%. On 2021-04-21 ~1500 UTC, for 102M-104M, first 1000 contained only 41 LL, 4.1% On 2021-04-30 ~1800 UTC, for 102M-104M, first 1000 contained only 11 LL, 1.1%. Let's keep moving away from inefficient LL first tests, that are very slowly double-checked, toward complete conversion to the far more reliable and efficient PRP/GEC/proof/Cert that also provides very rapid verification. A check of "recently cleared" 2021-07-19 showed a mix of primality tests for exponents >100M, 12 LL (mostly elapsed time over a year) vs. 924 PRP, ~1.3%. Drive LL percentage toward 0%, PRP with proof generation toward 100%. As of 2021-08-28, shows only PRP in 1000 queued tests. It's unclear how many will produce a proof file.
GPUs that can run either CUDALucas or Gpuowl should run PRP/GEC/proof on Gpuowl as primality tests, not LL, and not CUDALucas. (That would include all Google Colab GPU models. The Google Drive free space is sufficient.)

Please run assignments promptly or visit to turn them back in so someone else can run them.

(This is not a discussion thread. Please do not post in this thread. Use PM or a discussion thread. Most content in this thread will be temporary.)
Attached Files
File Type: pdf prp preferable.pdf (21.8 KB, 122 views)

Last fiddled with by kriesel on 2022-01-21 at 06:11 Reason: Mprime/prime95 v30.8b9
kriesel is online now