View Single Post
Old 2010-04-20, 07:58   #10
10metreh
 
10metreh's Avatar
 
Nov 2008

2×33×43 Posts
Default

With what parameters was Riesel k=280 (the one with the highest conjectured k) tested (assuming covering.exe was used)? I have managed to reduce the conjecture to k=253971311388192, although that one will still not be proved for a long time! Oddly, the original conjectured k of 513613045571841 didn't show up at all in my run of covering 144 280 -1 100000 1000000000000000.
BTW: no conjectures up to 1200 are larger than that (the largest I've found so far is 1150 481388992590).

Last fiddled with by 10metreh on 2010-04-20 at 08:05
10metreh is offline   Reply With Quote