1,916,189Rank in United States
--Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | $0.05 | |
| Estimated worth | $725.94 | |
| External links | 151 | |
| Number of pages | -- |
Last Updated: 04/15/2018 . Estimated data, read disclaimer.
Content
www.Minisat.se
Topics: Minisat, Minisat+, Satelite, Papers, and Authors.
Links- Links out
- satlive.org SAT Live!
- satisfiability.org The International Conferences on Theory and Applications of
- mathsat.fbk.eu The MathSAT 5 SMT Solver
| Server Location | |
| Hetzner Online Ag Bayern Nuernberg Germany 49.45, 11.07 | |
It is hosted by Hetzner Online Ag (Bayern, Nuernberg,) using lighttpd/1 web server. There are 2 Nameservers, ns1.loopia.se, and ns2.loopia.se. Its IP Number is 213.133.110.145.
IP: 213.133.110.145
Web Server: lighttpd/1
Encoding: utf-8
| PING www. (213.133.110.145) 56(84) bytes of data. | |
| 64 bytes from 213-133-110-145.clients.your-server.de (213.133.110.145): icmp_req=1 ttl=51 | 120 ms |
| 64 bytes from 213-133-110-145.clients.your-server.de (213.133.110.145): icmp_req=2 ttl=51 | 120 ms |
| 64 bytes from 213-133-110-145.clients.your-server.de (213.133.110.145): icmp_req=3 ttl=51 | 120 ms |
| --- www. ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2003ms | |
| rtt min/avg/max/mdev = 120.042/120.224/120.490/0.192 ms | |
| rtt min/avg/max/mdev = 120.042/120.224/120.490/0.192 ms |
A ping speed test response, is timed at 120 ms.
| Server Setup | |
| Date: | -- |
|---|---|
| Content-Type: | text/html |
| Content-Length: | 5321 |
| Server: | lighttpd/1.4.6 |
Similar domains
minisatfinder.com
minisav.com
minisav.wordpress.com
minisaw.net
minisaw.org
