Can't download large spaces

Hi,

My attempts to download the new SMT-LIB benchmarks (or subspaces of considerable size, such as the "incremental" sub-hierarchy) have been unsuccessful so far, and merely produced "The connection has timed out. The server at www.starexec.org is taking too long to respond." browser error messages.

I am not quite sure what's taking so long - is the server creating a zip file with the entire hierarchy? Perhaps this could be revised to use some sort of streaming solution, where compression and data transfer happen simultaneously.

This is not in any way urgent (I retrieved the benchmarks from smt-lib.org instead).

Hello,

Thanks for pointing this out. We actually do stream most of our downloads already, but we hadn't applied that solution for space downloads yet. We'll implement streaming here as well, and that should resolve this issue during our next deploy.