--2013-09-30 13:12:07-- http://www.cs.unm.edu/~mccune/prover9/download/LADR-2009-11A.tar.gz Resolving www.cs.unm.edu... 64.106.20.52 Connecting to www.cs.unm.edu|64.106.20.52|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 1795750 (1.7M) [application/x-gzip] Saving to: `./LADR-2009-11A.tar.gz' 0K .......... .......... .......... .......... .......... 2% 328K 5s 50K .......... .......... .......... .......... .......... 5% 519K 4s 100K .......... .......... .......... .......... .......... 8% 554K 4s 150K .......... .......... .......... .......... .......... 11% 1.10M 3s 200K .......... .......... .......... .......... .......... 14% 984K 3s 250K .......... .......... .......... .......... .......... 17% 1.04M 2s 300K .......... .......... .......... .......... .......... 19% 97.1K 4s 350K .......... .......... .......... .......... .......... 22% 6.02M 3s 400K .......... .......... .......... .......... .......... 25% 14.3M 3s 450K .......... .......... .......... .......... .......... 28% 1.46M 3s 500K .......... .......... .......... .......... .......... 31% 1.01M 2s 550K .......... .......... .......... .......... .......... 34% 2.41M 2s 600K .......... .......... .......... .......... .......... 37% 1.38M 2s 650K .......... .......... .......... .......... .......... 39% 2.32M 2s 700K .......... .......... .......... .......... .......... 42% 1.53M 2s 750K .......... .......... .......... .......... .......... 45% 3.26M 1s 800K .......... .......... .......... .......... .......... 48% 1.75M 1s 850K .......... .......... .......... .......... .......... 51% 2.76M 1s 900K .......... .......... .......... .......... .......... 54% 1.86M 1s 950K .......... .......... .......... .......... .......... 57% 4.06M 1s 1000K .......... .......... .......... .......... .......... 59% 1.31M 1s 1050K .......... .......... .......... .......... .......... 62% 9.19M 1s 1100K .......... .......... .......... .......... .......... 65% 2.85M 1s 1150K .......... .......... .......... .......... .......... 68% 2.62M 1s 1200K .......... .......... .......... .......... .......... 71% 2.92M 1s 1250K .......... .......... .......... .......... .......... 74% 2.57M 0s 1300K .......... .......... .......... .......... .......... 76% 2.76M 0s 1350K .......... .......... .......... .......... .......... 79% 2.01M 0s 1400K .......... .......... .......... .......... .......... 82% 7.85M 0s 1450K .......... .......... .......... .......... .......... 85% 2.32M 0s 1500K .......... .......... .......... .......... .......... 88% 4.40M 0s 1550K .......... .......... .......... .......... .......... 91% 2.91M 0s 1600K .......... .......... .......... .......... .......... 94% 4.01M 0s 1650K .......... .......... .......... .......... .......... 96% 2.73M 0s 1700K .......... .......... .......... .......... .......... 99% 3.12M 0s 1750K ... 100% 2.11M=1.6s 2013-09-30 13:12:10 (1.10 MB/s) - `./LADR-2009-11A.tar.gz' saved [1795750/1795750] --2013-09-30 13:12:10-- http://www.cs.unm.edu/~mccune/prover9/manual/prover9-manual-2009-11A.tar.gz Resolving www.cs.unm.edu... 64.106.20.52 Connecting to www.cs.unm.edu|64.106.20.52|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 1056093 (1.0M) [application/x-gzip] Saving to: `./prover9-manual-2009-11A.tar.gz' 0K .......... .......... .......... .......... .......... 4% 12.7M 0s 50K .......... .......... .......... .......... .......... 9% 8.69M 0s 100K .......... .......... .......... .......... .......... 14% 6.23M 0s 150K .......... .......... .......... .......... .......... 19% 5.11M 0s 200K .......... .......... .......... .......... .......... 24% 3.70M 0s 250K .......... .......... .......... .......... .......... 29% 2.53M 0s 300K .......... .......... .......... .......... .......... 33% 6.15M 0s 350K .......... .......... .......... .......... .......... 38% 2.68M 0s 400K .......... .......... .......... .......... .......... 43% 3.24M 0s 450K .......... .......... .......... .......... .......... 48% 4.27M 0s 500K .......... .......... .......... .......... .......... 53% 3.84M 0s 550K .......... .......... .......... .......... .......... 58% 2.10M 0s 600K .......... .......... .......... .......... .......... 63% 4.30M 0s 650K .......... .......... .......... .......... .......... 67% 2.29M 0s 700K .......... .......... .......... .......... .......... 72% 6.70M 0s 750K .......... .......... .......... .......... .......... 77% 3.13M 0s 800K .......... .......... .......... .......... .......... 82% 3.98M 0s 850K .......... .......... .......... .......... .......... 87% 1.64M 0s 900K .......... .......... .......... .......... .......... 92% 4.59M 0s 950K .......... .......... .......... .......... .......... 96% 1.40M 0s 1000K .......... .......... .......... . 100% 14.7M=0.3s 2013-09-30 13:12:10 (3.43 MB/s) - `./prover9-manual-2009-11A.tar.gz' saved [1056093/1056093]