Kenmcmil.com
Kenmcmil is ranked 4,821,071 in the United States. 'Ken McMillan's Home Page.'
4,821,071Rank in United States
--Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | $0.02 | |
| Estimated worth | $704.38 | |
| External links | 74 | |
| Number of pages | 120 |
Last Updated: 04/15/2018 . Estimated data, read disclaimer.
Content
www.Kenmcmil.com
Topics: Publications, Cadence Smv, Foci, Benchmarks Used In Publications, and Technical Reports Available On-line.
Age: The domain is 11 years and 10 months old.
- Popular pages
- kenmcmil.com SMV Model Checker Free Download - Ken McMillan's Home Page at UCB
- kenmcmil.com An Interpolating Theorem Prover
- kenmcmil.com Introduction to Model Checking
- kenmcmil.com FOCI: and interpolating prover - Ken McMillan's Home Page at UCB
| Server Location | |
| Global Net Access Llc Georgia Atlanta United States 33.9348, -84.2703 | |
Kenmcmil.com's IP address is 63.247.66.226. Global Net Access Llc (Georgia, Atlanta) is the location of the WYLTK server. Its 2 nameservers are ns2.vermontwebhost.net, and ns1.vermontwebhost.net.
IP: 63.247.66.226
Web Server: WYLTK
Encoding: iso-8859-1
| PING (63.247.66.226) 56(84) bytes of data. | |
| 64 bytes from rutland.vermontwebhost.net (63.247.66.226): icmp_seq=1 ttl=53 | 46.7 ms |
| 64 bytes from rutland.vermontwebhost.net (63.247.66.226): icmp_seq=2 ttl=53 | 46.4 ms |
| 64 bytes from rutland.vermontwebhost.net (63.247.66.226): icmp_seq=3 ttl=53 | 46.4 ms |
| --- ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2000ms | |
| rtt min/avg/max/mdev = 46.427/46.536/46.722/0.132 ms | |
| rtt min/avg/max/mdev = 46.427/46.536/46.722/0.132 ms |
A ping speed test response, is timed at 46.7 ms.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | WYLTK |
| Last-Modified: | -- |
| Accept-Ranges: | bytes |
| Content-Length: | 2422 |
| Connection: | close |
| Content-Type: | text/html |