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 |
Similar domains
sat4you.co.uk
sat7trust.co.uk
sata-hard-drive.org.uk
sata-io.org
sata-raid.co.uk
