portsurvey log for http://www.uppaal.com

> http://www.uppaal.com/ ok