Skizzo.info
Skizzo is ranked > 3,000,000 in the United States. 'sKizzo - a QBF solver.'
--Rank in United States
--Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | -- | |
| Estimated worth | $719.23 | |
| External links | 4 | |
| Number of pages | 90 |
Last Updated: 04/14/2018 . Estimated data, read disclaimer.
Content
www.Skizzo.info
Topics: Zqsat, Quantor, Drop Me A Line, Zchaff, Minisat, and Quantifier Trees.
- Popular pages
- skizzo.info Quantifier Trees for QBFs
- skizzo.info sKizzo: a Suite to Evaluate and Certify QBFs
- skizzo.info Laboratoired'Informatique Fondamentaled'Orléans (LIFO) BP 6759 ..
- skizzo.info sKizzo - QBF certificates, models, validity
| Server Location | |
| American Registry For Internet Numbers Virginia Chantilly United States 38.8963, -77.5216 | |
ns3.dreamhost.com, ns1.dreamhost.com, and ns2.dreamhost.com are its DNS Nameservers. It is hosted by American Registry For Internet Numbers (Virginia, Chantilly,) using Apache web server. Skizzo.info's server IP number is 69.163.183.200.
IP: 69.163.183.200
Web Server: Apache
Encoding: windows-1252
| PING www. (69.163.183.200) 56(84) bytes of data. | |
| 64 bytes from apache2-vat.minsk.dreamhost.com (69.163.183.200): icmp_seq=1 ttl=56 | 41.9 ms |
| 64 bytes from apache2-vat.minsk.dreamhost.com (69.163.183.200): icmp_seq=2 ttl=56 | 40.0 ms |
| 64 bytes from apache2-vat.minsk.dreamhost.com (69.163.183.200): icmp_seq=3 ttl=56 | 41.4 ms |
| --- www. ping statistics --- | |
| 3 packets transmitted, 3 received, 0% packet loss, time 2000ms | |
| rtt min/avg/max/mdev = 40.052/41.127/41.927/0.807 ms | |
| rtt min/avg/max/mdev = 40.052/41.127/41.927/0.807 ms |
A ping speed test response, is timed at 41.9 ms.
| Server Setup | |
| Date: | -- |
|---|---|
| Server: | Apache |
| MS-Author-Via: | DAV |
| Vary: | Accept-Encoding |
| Transfer-Encoding: | chunked |
| Content-Type: | text/html |