--2010-01-06 17:21:40-- http://www.cs.nyu.edu/acsys/cvc3/download/2.2/cvc3-2.2.tar.gz Resolving www.cs.nyu.edu... 128.122.80.245 Connecting to www.cs.nyu.edu|128.122.80.245|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 1096987 (1.0M) [application/x-gzip] Saving to: `./cvc3-2.2.tar.gz' 0K .......... .......... .......... .......... .......... 4% 159K 6s 50K .......... .......... .......... .......... .......... 9% 357K 4s 100K .......... .......... .......... .......... .......... 14% 677K 3s 150K .......... .......... .......... .......... .......... 18% 408K 3s 200K .......... .......... .......... .......... .......... 23% 739K 2s 250K .......... .......... .......... .......... .......... 28% 768K 2s 300K .......... .......... .......... .......... .......... 32% 759K 2s 350K .......... .......... .......... .......... .......... 37% 666K 2s 400K .......... .......... .......... .......... .......... 42% 1.24M 1s 450K .......... .......... .......... .......... .......... 46% 1.38M 1s 500K .......... .......... .......... .......... .......... 51% 814K 1s 550K .......... .......... .......... .......... .......... 56% 1.33M 1s 600K .......... .......... .......... .......... .......... 60% 1.21M 1s 650K .......... .......... .......... .......... .......... 65% 584K 1s 700K .......... .......... .......... .......... .......... 70% 12.0M 1s 750K .......... .......... .......... .......... .......... 74% 330K 0s 800K .......... .......... .......... .......... .......... 79% 7.19M 0s 850K .......... .......... .......... .......... .......... 84% 1.13M 0s 900K .......... .......... .......... .......... .......... 88% 760K 0s 950K .......... .......... .......... .......... .......... 93% 363K 0s 1000K .......... .......... .......... .......... .......... 98% 46.1M 0s 1050K .......... .......... . 100% 226K=1.7s 2010-01-06 17:21:43 (620 KB/s) - `./cvc3-2.2.tar.gz' saved [1096987/1096987]