--2010-01-08 06:58:24-- http://www.cs.unm.edu/~mccune/prover9/download/LADR-2008-05A.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: 1659880 (1.6M) [application/x-gzip] Saving to: `./LADR-2008-05A.tar.gz' 0K .......... .......... .......... .......... .......... 3% 7.30M 0s 50K .......... .......... .......... .......... .......... 6% 4.62M 0s 100K .......... .......... .......... .......... .......... 9% 1.58M 0s 150K .......... .......... .......... .......... .......... 12% 5.62M 0s 200K .......... .......... .......... .......... .......... 15% 7.98M 0s 250K .......... .......... .......... .......... .......... 18% 5.99M 0s 300K .......... .......... .......... .......... .......... 21% 4.87M 0s 350K .......... .......... .......... .......... .......... 24% 9.31M 0s 400K .......... .......... .......... .......... .......... 27% 491K 0s 450K .......... .......... .......... .......... .......... 30% 6.79M 0s 500K .......... .......... .......... .......... .......... 33% 8.31M 0s 550K .......... .......... .......... .......... .......... 37% 6.10M 0s 600K .......... .......... .......... .......... .......... 40% 571K 0s 650K .......... .......... .......... .......... .......... 43% 7.69M 0s 700K .......... .......... .......... .......... .......... 46% 4.29M 0s 750K .......... .......... .......... .......... .......... 49% 11.2M 0s 800K .......... .......... .......... .......... .......... 52% 492K 0s 850K .......... .......... .......... .......... .......... 55% 15.0M 0s 900K .......... .......... .......... .......... .......... 58% 7.87M 0s 950K .......... .......... .......... .......... .......... 61% 6.06M 0s 1000K .......... .......... .......... .......... .......... 64% 7.96M 0s 1050K .......... .......... .......... .......... .......... 67% 7.70M 0s 1100K .......... .......... .......... .......... .......... 70% 7.56M 0s 1150K .......... .......... .......... .......... .......... 74% 7.89M 0s 1200K .......... .......... .......... .......... .......... 77% 6.92M 0s 1250K .......... .......... .......... .......... .......... 80% 7.66M 0s 1300K .......... .......... .......... .......... .......... 83% 7.61M 0s 1350K .......... .......... .......... .......... .......... 86% 7.75M 0s 1400K .......... .......... .......... .......... .......... 89% 1.57M 0s 1450K .......... .......... .......... .......... .......... 92% 7.71M 0s 1500K .......... .......... .......... .......... .......... 95% 8.85M 0s 1550K .......... .......... .......... .......... .......... 98% 26.2M 0s 1600K .......... .......... 100% 16.2M=0.5s 2010-01-08 06:58:25 (2.96 MB/s) - `./LADR-2008-05A.tar.gz' saved [1659880/1659880] --2010-01-08 06:58:25-- http://www.cs.unm.edu/~mccune/prover9/manual/prover9-manual-2008-05A.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: 866237 (846K) [application/x-gzip] Saving to: `./prover9-manual-2008-05A.tar.gz' 0K .......... .......... .......... .......... .......... 5% 8.66M 0s 50K .......... .......... .......... .......... .......... 11% 6.29M 0s 100K .......... .......... .......... .......... .......... 17% 5.34M 0s 150K .......... .......... .......... .......... .......... 23% 7.53M 0s 200K .......... .......... .......... .......... .......... 29% 4.44M 0s 250K .......... .......... .......... .......... .......... 35% 5.44M 0s 300K .......... .......... .......... .......... .......... 41% 10.1M 0s 350K .......... .......... .......... .......... .......... 47% 5.49M 0s 400K .......... .......... .......... .......... .......... 53% 6.00M 0s 450K .......... .......... .......... .......... .......... 59% 6.61M 0s 500K .......... .......... .......... .......... .......... 65% 5.28M 0s 550K .......... .......... .......... .......... .......... 70% 7.73M 0s 600K .......... .......... .......... .......... .......... 76% 8.37M 0s 650K .......... .......... .......... .......... .......... 82% 35.0M 0s 700K .......... .......... .......... .......... .......... 88% 7.76M 0s 750K .......... .......... .......... .......... .......... 94% 9.22M 0s 800K .......... .......... .......... .......... ..... 100% 65.5M=0.1s 2010-01-08 06:58:25 (7.29 MB/s) - `./prover9-manual-2008-05A.tar.gz' saved [866237/866237]