mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   No Prime Left Behind (https://www.mersenneforum.org/forumdisplay.php?f=82)
-   -   Team drive #1: k=400-1001 n=333.2K-600K (https://www.mersenneforum.org/showthread.php?t=9889)

mdettweiler 2008-03-26 22:02

I've finally gotten around to processing the results for Beyond's range 378.0K-392.0K. :smile: (He used a private LLRnet server for all his manual ranges, so thus the results were in LLRnet format.) The lresults file is huge, so I'm going to have to email it to Gary rather than post it here. :smile: (~2.5MB when compressed in RAR format! :shock:)

I'll try to get the results for the rest of Beyond's ranges processed as soon as possible. :smile:

kar_bon 2008-03-26 22:43

try to compress with zip, it should be smaller!
(i doesn't believe that too but it was so with another file i did)

Anon, could you send me the file from Beyond too, please?

mdettweiler 2008-03-26 22:58

[quote=kar_bon;129897]try to compress with zip, it should be smaller!
(i doesn't believe that too but it was so with another file i did)

Anon, could you send me the file from Beyond too, please?[/quote]
Okay, I'll send it over your way (and CC you in for the 3rd Drive results I was just about to mail to Gary). :smile:

As for compressing with zip--well, I usually use ZIP for lresults files, but these were SO huge, I figured I'd better use RAR (which I know Gary can decompress, since he's sent me files in RAR archives before). I'll have to do a head-to-head test though to determine which one's better for lresults files. :smile:

mdettweiler 2008-03-26 23:06

Well, I just did a head-to-head test of ZIP vs. RAR for a small partial lresults file for a team drive range I'm doing right now--and would you know, they came out almost exactly the same size--only a difference of about 40 bytes. Of course, that might add up for a huge file, but I guess the conclusion is that they do roughly the same for lresults files. :smile:

IronBits 2008-03-27 02:01

Make sure winzip is using the max compression ;)

mdettweiler 2008-03-27 02:20

[quote=IronBits;129927]Make sure winzip is using the max compression ;)[/quote]
Actually, I'm not using WinZip, I'm just using GNOME's built-in "Create Archive" item on the right-click menu. :smile: But then, to be fair, I used the default compression level for RAR, too. :smile:

IronBits 2008-03-27 04:23

Well, WinRAR is the best in speed and compression, so try that one and see what happens. ;)

mdettweiler 2008-03-27 05:09

[quote=IronBits;129940]Well, WinRAR is the best in speed and compression, so try that one and see what happens. ;)[/quote]
I was actually using the command-line RAR for Linux tool, which is from the same company that makes WinRAR (just that they don't have a GUI for Linux yet). :smile:

gd_barnes 2008-03-27 23:58

I knew nothing about WinRar until somebody sent me a file using it about 2 months ago in one of these prime search efforts. I then had to scramble and ask Anon where to find the software to decompress the file.

In my short experience, the default settings on WinRar always decompress better than the defaults settings on WinZip. Of course I haven't tried messing with any settings.

I got the range from Anon here and it was no problem uncompressing the 2MB+ file and saving it.

Gary

gd_barnes 2008-03-27 23:59

393.0-393.4 complete; 1 prime

393.6-394.4 complete; 3 primes including 1 confirmed prime

394.6-394.8 complete; no primes

Beyond 2008-03-28 02:31

If the "powers that be" can find the time, i'd like to grab another 200k or so file for testing, please.


All times are UTC. The time now is 22:20.

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