--2013-09-29 16:00:40-- http://www.cs.nyu.edu/acsys/cvc3/download/2.4.1/cvc3-2.4.1.tar.gz Resolving www.cs.nyu.edu... 128.122.49.30 Connecting to www.cs.nyu.edu|128.122.49.30|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 1196616 (1.1M) [application/x-gzip] Saving to: `./cvc3-2.4.1.tar.gz' 0K .......... .......... .......... .......... .......... 4% 210K 5s 50K .......... .......... .......... .......... .......... 8% 374K 4s 100K .......... .......... .......... .......... .......... 12% 3.33M 3s 150K .......... .......... .......... .......... .......... 17% 697K 2s 200K .......... .......... .......... .......... .......... 21% 874K 2s 250K .......... .......... .......... .......... .......... 25% 2.51M 2s 300K .......... .......... .......... .......... .......... 29% 1.24M 1s 350K .......... .......... .......... .......... .......... 34% 1.92M 1s 400K .......... .......... .......... .......... .......... 38% 2.90M 1s 450K .......... .......... .......... .......... .......... 42% 3.18M 1s 500K .......... .......... .......... .......... .......... 47% 1.28M 1s 550K .......... .......... .......... .......... .......... 51% 4.14M 1s 600K .......... .......... .......... .......... .......... 55% 4.01M 1s 650K .......... .......... .......... .......... .......... 59% 3.17M 0s 700K .......... .......... .......... .......... .......... 64% 2.10M 0s 750K .......... .......... .......... .......... .......... 68% 3.17M 0s 800K .......... .......... .......... .......... .......... 72% 4.28M 0s 850K .......... .......... .......... .......... .......... 77% 3.17M 0s 900K .......... .......... .......... .......... .......... 81% 4.03M 0s 950K .......... .......... .......... .......... .......... 85% 3.89M 0s 1000K .......... .......... .......... .......... .......... 89% 4.04M 0s 1050K .......... .......... .......... .......... .......... 94% 3.73M 0s 1100K .......... .......... .......... .......... .......... 98% 3.03M 0s 1150K .......... ........ 100% 4.61M=0.8s 2013-09-29 16:00:41 (1.35 MB/s) - `./cvc3-2.4.1.tar.gz' saved [1196616/1196616]