--2010-06-03 04:20:38--  http://downloads.sourceforge.net/stp-fast-prover/stp-ver-0.1-11-18-2008.tgz
Resolving downloads.sourceforge.net... 216.34.181.59
Connecting to downloads.sourceforge.net|216.34.181.59|:80... connected.
HTTP request sent, awaiting response... 301 Moved Permanently
Location: http://downloads.sourceforge.net/project/stp-fast-prover/stp-fast-prover/stp-ver-0.1/stp-ver-0.1-11-18-2008.tgz [following]
--2010-06-03 04:20:38--  http://downloads.sourceforge.net/project/stp-fast-prover/stp-fast-prover/stp-ver-0.1/stp-ver-0.1-11-18-2008.tgz
Connecting to downloads.sourceforge.net|216.34.181.59|:80... connected.
HTTP request sent, awaiting response... 302 Moved Temporarily
Location: http://cdnetworks-us-2.dl.sourceforge.net/project/stp-fast-prover/stp-fast-prover/stp-ver-0.1/stp-ver-0.1-11-18-2008.tgz [following]
--2010-06-03 04:20:38--  http://cdnetworks-us-2.dl.sourceforge.net/project/stp-fast-prover/stp-fast-prover/stp-ver-0.1/stp-ver-0.1-11-18-2008.tgz
Resolving cdnetworks-us-2.dl.sourceforge.net... 174.35.19.12
Connecting to cdnetworks-us-2.dl.sourceforge.net|174.35.19.12|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 18366530 (18M) [application/x-gzip]
Server file no newer than local file `./stp-ver-0.1-11-18-2008.tgz' -- not retrieving.