--2013-09-30 12:54:18--  http://fmv.jku.at/picosat/picosat-957.tar.gz
Resolving fmv.jku.at... 140.78.3.19
Connecting to fmv.jku.at|140.78.3.19|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 63329 (62K) [application/x-gzip]
Saving to: `./picosat-957.tar.gz'

     0K .......... .......... .......... .......... .......... 80%  151K 0s
    50K .......... .                                          100% 77.9K=0.5s

2013-09-30 12:54:19 (128 KB/s) - `./picosat-957.tar.gz' saved [63329/63329]