| SATLIB - The Satisfiability Library | |
| H1 tags : SATLIB - The Satisfiability Library |
| Last Update : | 25/December/2011 |
| Google PR : | 5 |
| Internal links : | 6 |
| External links : | 8 |
| Archive : | Check how did the site look in the past? |
WWW.satlib .org - website information, analysis and reviews
General Info Keywords density Hosting Info Alexa Ranking Quantcast Ranking Compete Ranking Mywot Ranking Related Sites Widgets Reviews
General website information 
Keywords density
| Keyword | Occurrences | Percentage |
|---|---|---|
| satlib | 20 | 6.45% |
| sat | 8 | 2.58% |
| available | 7 | 2.26% |
| benchmark | 4 | 1.29% |
| sets | 4 | 1.29% |
| Keyword | Occurrences | Percentage |
|---|---|---|
| benchmark sets | 4 | 2.58% |
| www satlib | 4 | 2.58% |
| satlib org | 4 | 2.58% |
| now available | 3 | 1.94% |
| satlib is | 3 | 1.94% |
| Keyword | Occurrences | Percentage |
|---|---|---|
| www satlib org | 4 | 3.87% |
| of microprocessors benchmark | 2 | 1.94% |
| verification of microprocessors | 2 | 1.94% |
| formal verification of | 2 | 1.94% |
| microprocessors benchmark sets | 2 | 1.94% |
Server and Hosting Information
| Site IP address : | satlib.org |
| Server type : | Sun-Java-System-Web-Server/7.0 |
| DNS 1 : | fs1.ugrad.cs.ubc.ca |
| DNS 2 : | ns1.cs.ubc.ca |
| MX Domain 1 : | mail-relay1.cs.ubc.ca |
| MX Domain 2 : | mail-relay2.cs.ubc.ca |
Alexa Ranking Information - Alexa.com
| Alexa rank : | no data |
| Description : | Satlib.org is in the “Complexity Theory” category of sites. The site is located in Canada. The site has been online since 2000. |
Compare this site to:
Search queries:
| ubcsat | 31.99% |
| sat 4.0 | 22.60% |
| how to trigger code cleanup | 10.96% |
| satlib - bechmark problems | 9.84% |
| brigitte jaumard | 9.42% |
| common cnf dimacs format. | 3.80% |
| dimacs | 3.65% |
| 1000 saps parameters | 3.38% |
| satisfiability | 1.65% |
| 1.640 331 448 872 75 ± 4 | 1.49% |
Quantcast Ranking Information - Quantcast.com
| Quantcast rank : | 0 | Average US daily traffic : | 0 |
Compete Ranking Information - Compete.com
| Compete rank : | 0 |
| Average daily unique visitors : | 0 |
MyWot Ranking Information - MyWot.com
| MyWot rank : | 0 |
| Trustworthiness : | 0 |
| Vendor reliability : | 0 |
| Privacy : | 0 |
| Child safety : | 0 |
| satlive.org | optimization-online.org | satla-zone.co.il | satleo.gr | satlug.org |
| satlink.com | satliveonpc.com | satlink.it | satlinker.com | satlinknz.co.nz |
| satlink.tv |
Widgets
Stats summary widget
|
|
|
Ratings widget
|
|
|