mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Conjectures 'R Us (https://www.mersenneforum.org/forumdisplay.php?f=81)
-   -   Bases 501-1030 reservations/statuses/primes (https://www.mersenneforum.org/showthread.php?t=12994)

MyDogBuster 2010-08-08 17:34

Reserving the following 1ker's to n=100K

S781, S784, S797, S803, S828

gd_barnes 2010-08-09 21:49

[quote=Batalov;224401]...and 406*580^22265+1 is prime.
S580 with CK 414 is proven.[/quote]

NICE!!

Along with S589 that also has CK=414, it is the largest conjecture proven on both sides for bases > 165!

Does anyone care to test some 1/2/3 k'ers for bases > 165 with CK>414 that are only at n=25K to try to beat the record?

Note: For "ranking" purposes, I would put S589 ahead of S580. S589 was proven at n=14952 vs. S580 at n=22265. Nevertheless, still an excellent proof!

gd_barnes 2010-08-09 22:13

[quote=ltd;224454]Another one down.

LLR reported:

38*870^29675+1 is prime![/quote]

Congrats on your first proof ltd! :smile:

MyDogBuster 2010-08-09 23:04

Sierp 683
 
Sierp 683, the last k, tested n=25K-100K. Nothing found.

Results emailed. Base released

MyDogBuster 2010-08-11 05:40

Sierp 702
 
Sierp 702, the last k, tested n=25K-100K. Nothing found.

Results emailed. Base released

gd_barnes 2010-08-12 02:02

Reserving R790, S649, S778, and S853 to n=25K.

MyDogBuster 2010-08-12 21:22

Sierp 743
 
Sierp 743, the last k, tested n=25K-100K. Nothing found.

Results emailed. Base released

vmod 2010-08-12 23:17

1 Attachment(s)
12*919^45358+1 is prime!

Proves S919.

KEP 2010-08-13 12:04

Reserving following Sierpinski conjectures to n<=25K:

S835 CK=474 (10 k's remaining at n=1K)
S859 CK=474 (5 k's remaining at n=1K)

Regards

Kenneth

MyDogBuster 2010-08-14 09:11

Sierp 736
 
Sierp 736, the last k, tested n=50K-100K. Nothing found.

Results emailed. Base released

Batalov 2010-08-14 10:00

Reserving R967 to n=25K.


All times are UTC. The time now is 23:08.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.