![](http://www.img-urlm.com/i/minisat.se.jpg)
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 |