mersenneforum.org Pascal's OPN roadblock files
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

 2021-05-06, 01:28 #947 frmky     Jul 2003 So Cal 40648 Posts Yes, I think so. Along with computing resources to complete both the sieving and linear algebra.
 2021-05-06, 11:34 #948 wreck     "Bo Chen" Oct 2005 Wuhan,China 101010002 Posts Congratulations, it's a pleasure to see that msieve could work without crash when unique relations' count larger than 2000M.
 2021-05-06, 18:16 #949 henryzz Just call me Henry     "David" Sep 2007 Cambridge (GMT/BST) 16F416 Posts Congratulations for finally getting this problematic number done.
2021-05-08, 15:28   #950
mathwiz

Mar 2019

2·5·17 Posts

Quote:
 Originally Posted by Pascal Ochem Ryan, frmky, thank you. Now I explore the subtrees unlocked by the new factors for lower bounds on many parameters of an OPN.
Which file(s) of numbers needed will be regenerated as a result of this exploration?

 2021-05-10, 20:26 #951 Pascal Ochem     Apr 2006 101 Posts For the factor P220 of the C301, I have factored 1+P220 by finding a P48. And now the roadblock has completely disappeared for the bound $$10^{2200}$$. I started the full run for proving the bounds $$10^{2100}$$ (to see how the weights drop) and $$10^{2200}$$ (to hopefully get a new bound). They will finish in a few weeks and we will have the new mwrb files. The tXXXX files are unaffected. The other parameters where we encountered the C301 are - The total number of prime factors $$\Omega$$: I try to extend the bound from 111 factors to 115. - $$\Omega-2\omega$$: trying to go from 51 to 53 seems difficult. In both cases, C301 was also the worst roadblock, although way less bad than for the bound $$10^{2100}$$ In both cases, there are still a few mild roadblocks in the unlocked subtrees, not worth considering. There is no available file of composites here. And my webpage needs an update: C301 was the example to explain how to circumvent roadblocks.
 2021-05-24, 21:35 #952 Pascal Ochem     Apr 2006 101 Posts The run with bound $$10^{2100}$$ just finished and we see the impact of the C301. The old file has 1589 composites. http://www.lirmm.fr/~ochem/opn/old_mwrb2100.txt The new file has 1192 composites. http://www.lirmm.fr/~ochem/opn/mwrb2100.txt Don't worry if you are working on a composite that has disappeared. It will re-appear in mwrb2200 once the run with bound $$10^{2200}$$ is over, because of the composite $$\sigma(11^{330})$$.
2021-05-24, 22:09   #953
mathwiz

Mar 2019

AA16 Posts

Quote:
 Originally Posted by Pascal Ochem The run with bound $$10^{2100}$$ just finished and we see the impact of the C301. The old file has 1589 composites. http://www.lirmm.fr/~ochem/opn/old_mwrb2100.txt The new file has 1192 composites. http://www.lirmm.fr/~ochem/opn/mwrb2100.txt Don't worry if you are working on a composite that has disappeared. It will re-appear in mwrb2200 once the run with bound $$10^{2200}$$ is over, because of the composite $$\sigma(11^{330})$$.
Does this tell us anything about whether the $$10^{2200}$$ run will succeed, or are the two completely independent?

 2021-05-25, 05:01 #954 wblipp     "William" May 2003 New Haven 17×139 Posts @Pascal I think you posted the old mwrb file to both links. They both start with 6115909044841454629 16 -------------- @mathwiz As described in Pascal's summary page, he circumvents roadblocks using a process similar to Kevin Hare's process. This can be applied recursively. In principle, the proof can be extended to any level. In practice, each roadblock causes a large number of additional tree terms, and the limit on the proof is how much time he is willing to commit to generating the proof. Pascal's intuition is that the factoring of the C301 reduced the roadblock complexity sufficiently to allow him to complete the 2200 proof in tolerable time. Unless it turns out he has grossly underestimated the time, he will almost certainly stick to the process long enough to complete the 2200 proof.
2021-05-25, 05:21   #955
ryanp

Jun 2012
Boulder, CO

283 Posts

Quote:
 Originally Posted by wblipp @Pascal I think you posted the old mwrb file to both links. They both start with 6115909044841454629 16
Seems fixed now at least?

Code:
$curl -s http://www.lirmm.fr/~ochem/opn/old_mwrb2100.txt | wc -l 1589$ curl -s http://www.lirmm.fr/~ochem/opn/mwrb2100.txt | wc -l
1192

2021-05-25, 16:40   #956
ryanp

Jun 2012
Boulder, CO

283 Posts

Quote:
 Originally Posted by Pascal Ochem The run with bound $$10^{2100}$$ just finished and we see the impact of the C301. The old file has 1589 composites. http://www.lirmm.fr/~ochem/opn/old_mwrb2100.txt The new file has 1192 composites. http://www.lirmm.fr/~ochem/opn/mwrb2100.txt Don't worry if you are working on a composite that has disappeared. It will re-appear in mwrb2200 once the run with bound $$10^{2200}$$ is over, because of the composite $$\sigma(11^{330})$$.
I'm doing some ECM work now. Already found one: http://factordb.com/index.php?id=1100000000012016966 (I assume if I just report to FDB, it'll be picked up by Pascal's scraper as usual)?

2021-05-25, 21:12   #957
wblipp

"William"
May 2003
New Haven

17·139 Posts

Quote:
 Originally Posted by ryanp Seems fixed now at least?
I needed to clear my cache. Probably worked correctly all along if not cached.

Last fiddled with by wblipp on 2021-05-28 at 06:45 Reason: Fix Tags

 Similar Threads Thread Thread Starter Forum Replies Last Post Xyzzy GPU Computing 1 2017-05-17 20:22 Mark Rose GPU Computing 52 2016-07-02 12:11 firejuggler GPU Computing 12 2016-02-23 06:55 Elhueno Homework Help 5 2008-06-12 16:37 jchein1 Factoring 30 2005-05-30 14:43

All times are UTC. The time now is 21:26.

Sat Jun 12 21:26:29 UTC 2021 up 15 days, 19:13, 0 users, load averages: 1.38, 1.58, 1.58