portsurvey log for http://www.cs.nyu.edu

> http://www.cs.nyu.edu/acsys/cvc3/ ok
> http://www.cs.nyu.edu/acsys/cvc3/download/1.2.1/cvc3-1.2.1.tar.gz ok