The probable primes - Page 34

Batalov · 2013-01-18, 20:07

You are right - I should have looked in the .cr file again. :-)
It is indeed a backtrack.

Code:

[Setup]
MaxConcurrentTasks=8
SieveUpperBound=2^32
 
[Backtrack]
Count=1
 
[1, backtrack:1]
Type=4
Gain=3
Index=1.10120
D=-335755
H/G=96/8:12
 
[1]
Type=4
Gain=62
Index=1.30522
D=-1904820
H/G=320/16:20

It all makes sense now. I've always trusted that Gain meant literally a gain in bits.

Puzzle-Peter · 2013-05-15, 14:34

Quote:

Originally Posted by Batalov

If it gets to say Test 10, I can forward you the package?
.

I guess you never got to Test 10? Doesn't matter, I started it...

Batalov · 2013-05-15, 19:48

No, indeed, I got lucky with 1-2-3 and then backtracked. I don't think I got to 10. I can search for that folder...

The newer and newer Primo version are probably increasingly better trained for larger and larger sizes; so the later you start, the better chances are to arrive earlier.

Puzzle-Peter · 2013-05-15, 20:12

Never mind searching for the folder. I won't get near that box for several days now, so it will just run its course anyway.

Backtracking can be manipulated via the primo.ini file so I might have to do that and start once again. We'll see.

Puzzle-Peter · 2013-12-03, 16:20

Who feels motivated to run a verification?

http://www.sendspace.com/file/hxjfvg

EDIT: Marcel Martin has added new/more/better discriminants to one of his latest releases, so maybe 2^73360+10711 is doable now. I'll leave that to others though.

paulunderwood · 2013-12-03, 17:19

Congrats for the top Primo proof of 2^73845 + 14717

Pray tell us, what are the specs of the hardware used?

philmoore · 2013-12-03, 18:19

Quote:

Originally Posted by paulunderwood

Congrats for the top Primo proof of 2^73845 + 14717

Pray tell us, what are the specs of the hardware used?

Not just top Primo proof, but the third largest ECPP ever completed (at least on this planet.) Maybe we should rename this project "Seventeen or Bust" since we have exactly seventeen prps left to prove.

Congratulations, Peter, it looks like you started in May? How many cores?

Puzzle-Peter · 2013-12-03, 18:22

Most of the proof was done on a dual Xeon machine with 16 threads on 16 physical cores. I found a 1:1 ratio to be the fastest.

Puzzle-Peter · 2014-05-15, 17:12

Just for fun I tried 2^73360+10711 once again with PRIMO 4.10. This version was successful in test1 thanks to the new discriminant tables. It will be an on-and-off job, but I will continue this run unless somebody else would rather do it.

Trilo · 2014-05-31, 13:13

Quote:

Originally Posted by Puzzle-Peter

Just for fun I tried 2^73360+10711 once again with PRIMO 4.10. This version was successful in test1 thanks to the new discriminant tables. It will be an on-and-off job, but I will continue this run unless somebody else would rather do it.

How long does it take to prove these numbers prime?

Puzzle-Peter · 2014-05-31, 16:31

Quote:

Originally Posted by Trilo

How long does it take to prove these numbers prime?

Using good hardware (16 physical cores in a dual-XEON box) it's about 3 to 4 months going 24/7. Runtime depends heavily on how much backtracking is needed, especially in the beginning when one backtrack can easily cost 2 days, so it's hard to give a precise estimate.

2013-01-18, 20:07	#364
Batalov "Serge" Mar 2008 San Diego, Calif. 3²×7×163 Posts	You are right - I should have looked in the .cr file again. :-) It is indeed a backtrack. Code: [Setup] MaxConcurrentTasks=8 SieveUpperBound=2^32 [Backtrack] Count=1 [1, backtrack:1] Type=4 Gain=3 Index=1.10120 D=-335755 H/G=96/8:12 [1] Type=4 Gain=62 Index=1.30522 D=-1904820 H/G=320/16:20 It all makes sense now. I've always trusted that Gain meant literally a gain in bits.

2013-12-03, 16:20	#368
Puzzle-Peter Jun 2009 2²×5²×7 Posts	Who feels motivated to run a verification? http://www.sendspace.com/file/hxjfvg EDIT: Marcel Martin has added new/more/better discriminants to one of his latest releases, so maybe 2^73360+10711 is doable now. I'll leave that to others though. Last fiddled with by Puzzle-Peter on 2013-12-03 at 16:26

2013-12-03, 17:19	#369
paulunderwood Sep 2002 Database er0rr 5·937 Posts	Congrats for the top Primo proof of 2^73845 + 14717 Pray tell us, what are the specs of the hardware used? Last fiddled with by paulunderwood on 2013-12-03 at 17:21

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
2^9092392+40291 is a probable prime!	engracio	Five or Bust - The Dual Sierpinski Problem	91	2023-03-06 21:22
generalized minimal (probable) primes	sweety439	sweety439	140	2022-12-20 07:08
probable largest prime.	sudaprime	Miscellaneous Math	11	2018-02-05 08:10
Hi, how can I test my probable prime number?	mohdosa	Information & Answers	22	2014-10-10 11:34
Record probable prime found!	philmoore	Five or Bust - The Dual Sierpinski Problem	18	2009-01-28 19:47

2013-05-15, 19:48	#366
Batalov "Serge" Mar 2008 San Diego, Calif. 3²·7·163 Posts	No, indeed, I got lucky with 1-2-3 and then backtracked. I don't think I got to 10. I can search for that folder... The newer and newer Primo version are probably increasingly better trained for larger and larger sizes; so the later you start, the better chances are to arrive earlier.

2013-05-15, 20:12	#367
Puzzle-Peter Jun 2009 2BC₁₆ Posts	Never mind searching for the folder. I won't get near that box for several days now, so it will just run its course anyway. Backtracking can be manipulated via the primo.ini file so I might have to do that and start once again. We'll see.

2013-12-03, 18:22	#371
Puzzle-Peter Jun 2009 2²·5²·7 Posts	Most of the proof was done on a dual Xeon machine with 16 threads on 16 physical cores. I found a 1:1 ratio to be the fastest.

2014-05-15, 17:12	#372
Puzzle-Peter Jun 2009 2²×5²×7 Posts	Just for fun I tried 2^73360+10711 once again with PRIMO 4.10. This version was successful in test1 thanks to the new discriminant tables. It will be an on-and-off job, but I will continue this run unless somebody else would rather do it.