18,713,426Rank in United Kingdom
20,957,507Worldwide Rank
Monthly pages viewed | < 300 | |
Monthly visits | < 300 | |
Value per visitor | -- | |
Estimated worth | £285.56 | |
External links | 122 | |
Number of pages | 90 |
Last Updated: 06/04/2018 . Estimated data, read disclaimer.
Content
www.Sat4j.org
Topics: Documentation, Howto, Users, Pseudo-boolean, and Minimally Unsatisfiable Subset (mus).
Age: It went live on March 22nd 2004, making it over 14 years, 0 months old.
- Popular pages
- sat4j.org From SAT to SAT4J - Providing efficient SAT solvers for the Java ..
- sat4j.org SAT4J - Howto
- sat4j.org SAT4J - Documentation
- sat4j.org www.sat4j.org
The site is programmed for PHP/4.4.9-1.standard. There are 2 Nameservers, ns0.online.net, and ns1.online.net.
IP: 88.190.253.247
Powered by: PHP/4.4.9-1.standard
Web Server: Apache/2
Encoding: iso-8859-1
PING www. (88.190.253.247) 56(84) bytes of data. | |
64 bytes from pf7-web.online.net (88.190.253.247): icmp_req=1 ttl=115 | 124 ms |
64 bytes from pf7-web.online.net (88.190.253.247): icmp_req=2 ttl=115 | 118 ms |
64 bytes from pf7-web.online.net (88.190.253.247): icmp_req=3 ttl=115 | 118 ms |
--- www. ping statistics --- | |
3 packets transmitted, 3 received, 0% packet loss, time 2002ms | |
rtt min/avg/max/mdev = 118.316/120.475/124.727/3.019 ms | |
rtt min/avg/max/mdev = 118.316/120.475/124.727/3.019 ms |
A ping to the server is timed at 124 ms.
Server Setup | |
Date: | -- |
---|---|
Server: | Apache/2.2.22 (Ubuntu) |
X-Powered-By: | PHP/4.4.9-1.standard |
Vary: | Accept-Encoding |
Transfer-Encoding: | chunked |
Content-Type: | text/html |