--2010-05-31 13:36:28--  http://www.cs.nyu.edu/acsys/cvc3/download/2.2/cvc3-2.2.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: 1096987 (1.0M) [application/x-gzip]
Server file no newer than local file `./cvc3-2.2.tar.gz' -- not retrieving.