Satlib.org
Satlib is ranked > 3,000,000 in the United Kingdom. 'SATLIB - The Satisfiability Library.'
--Rank in United Kingdom
--Worldwide Rank
| Monthly pages viewed | < 300 | |
| Monthly visits | < 300 | |
| Value per visitor | -- | |
| Estimated worth | £298.82 | |
| External links | 101 | |
| Number of pages | 60 |
Last Updated: 05/04/2018 . Estimated data, read disclaimer.
Content
www.Satlib.org
Topics: Ubcsat, and Miroslav Velev.
Category: 'Theoretical/Complexity Theory'
Age: It went live on September 30th 2000, making it over 17 years, 6 months old.
- Popular pages
- satlib.org SATLIB - Benchmark Problems
- satlib.org SATLIB - Benchmark Problems
- satlib.org UBCSAT - QUICKSTART
- Links out
- ubc.ca Welcome to The University of British Columbia - UBC.ca
- cs.ubc.ca Home page of Holger H. Hoos
- cs.uiowa.edu Hantao Zhang Home Page
- cirl.uoregon.edu James M. Crawford
| Server Location | |
| University Of British Columbia British Columbia Vancouver Canada 49.25, -123.13 | |
It is hosted by University Of British Columbia (British Columbia, Vancouver,) using Sun-Java-System-Web-Server/7 web server. There are 2 Nameservers, ns1.cs.ubc.ca, and fs1.ugrad.cs.ubc.ca. Its IP Number is 142.103.6.46.
IP: 142.103.6.46
Web Server: Sun-Java-System-Web-Server/7
Encoding: utf-8
| Server Setup | |
| Server: | Sun-Java-System-Web-Server/7.0 |
|---|---|
| Date: | -- |
| Content-type: | text/html |
| Last-modified: | Tue, 22 Mar 2005 08:03:50 GMT |
| Content-length: | 3951 |
| Etag: | "f6f-423fd166" |
| Accept-ranges: | bytes |