Could someone check this out.


2014-10-04 21:00:05 CEST] r3: Candidate failed primality test.
[2014-10-04 21:00:05 CEST] pfgw64 could not prove primality for 4046749378*3^42837-1. Time: 20 seconds
[2014-10-04 21:00:05 CEST] r3: 4046749378*3^42837-1 is PRP


Lennart

pfgw v3.7.7 with tc-flag

4046749378*3^42837-1 is 3-PRP! (20.6363s+0.0007s)
Primality testing 4046749378*3^42837-1 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N+1 test using discriminant 5, base 4+sqrt(5)
Running N+1 test using discriminant 5, base 5+sqrt(5)
Calling N+1 BLS with factored part 100.00% and helper 0.04% (300.04% proof)
4046749378*3^42837-1 is prime! (173.6569s+0.0011s)

[QUOTE=grueny;384367]pfgw v3.7.7 with tc-flag

4046749378*3^42837-1 is 3-PRP! (20.6363s+0.0007s)
Primality testing 4046749378*3^42837-1 [N-1/N+1, Brillhart-Lehmer-Selfridge]
Running N-1 test using base 2
Running N+1 test using discriminant 5, base 4+sqrt(5)
Running N+1 test using discriminant 5, base 5+sqrt(5)
Calling N+1 BLS with factored part 100.00% and helper 0.04% (300.04% proof)
4046749378*3^42837-1 is prime! (173.6569s+0.0011s)[/QUOTE]


Thank's

Lennart

starting a sieve r3 6G-7G 25k-100k

Lennart

starting sieve k=7e9-8e9; n=25e3-100e3

r3 4G-5G to 100k COMPLETE.

Start test r3 5G-6G to 100k


Lennart

r3 5G-6G to 100k COMPLETE.

Start test r3 6G-7G to 100k


Lennart

r3 6G-7G to 100k COMPLETE.

Lennart

sieving
 

k=7e9-8e9; n=25e3-100e3 sieved to P=50e9
[url]https://drive.google.com/folderview?id=0B4-VL4bTpim7dXZBT0JmMTU1R3M&usp=sharing[/url]

starting sieve k=8e9-9e9; n=25e3-100e3

Thanks to grueny I start test k=7e9-8e9; n=25e3-100e3

Lennart

I'm throwing 8 cores on R3, so I'm making this reservation:

Starting new range:

minK= 13000000002 (13G)
maxK= 21000000000 (21G)

I'm going to use the starting up bases script to n=2500, using "pfgw_win_3.7.8_20141127". (ETA for this part is about March 1st 2015).

From n=2501 to n=25K, I'm going to use a sievefile and primality test with LLR 3.8.13 (using LLR's StopOnPrimedK=1).

Regards

KEP