Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | QBFLIB Home |
Description | The Quantified Boolean Formulas Satisfiability The Quantified Boolean Formulas Satisfiability Library Home Instances Solvers Generators --> QBF Evaluations Organization --> QBFGALLERY’23 - CALL F |
Keywords | N/A |
WebSite | qbflib.org |
Host IP | 62.149.142.204 |
Location | Italy |
Site | Rank |
US$1,403,978
Last updated: 2023-05-15 15:50:20
qbflib.org has Semrush global rank of 7,538,797. qbflib.org has an estimated worth of US$ 1,403,978, based on its estimated Ads revenue. qbflib.org receives approximately 161,998 unique visitors each day. Its web server is located in Italy, with IP address 62.149.142.204. According to SiteAdvisor, qbflib.org is safe to visit. |
Purchase/Sale Value | US$1,403,978 |
Daily Ads Revenue | US$1,296 |
Monthly Ads Revenue | US$38,880 |
Yearly Ads Revenue | US$466,553 |
Daily Unique Visitors | 10,800 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
qbflib.org. | A | 21600 | IP: 62.149.142.204 |
qbflib.org. | NS | 21600 | NS Record: dns3.arubadns.net. |
qbflib.org. | NS | 21600 | NS Record: dns2.technorail.com. |
qbflib.org. | NS | 21600 | NS Record: dns4.arubadns.cz. |
qbflib.org. | NS | 21600 | NS Record: dns.technorail.com. |
qbflib.org. | MX | 21600 | MX Record: 10 mx.qbflib.org. |
qbflib.org. | TXT | 21600 | TXT Record: v=spf1 include:aruba.it ~all |
The Quantified Boolean Formulas Satisfiability Library Home Instances Solvers Generators --> QBF Evaluations Organization --> QBFGALLERY’23 - CALL FOR CONTRIBUTIONS QBFLIB is a collection of instances, solvers, and tools related to Quantified Boolean Formula (QBF) satisfiability. QBFLIB is meant as a service to the QBF research community and its main goal is to provide an uniform test-bed for the empirical characterization of QBF solvers. The QBFLIB problems suite is currently comprised of more than 13000 instances. The QBFLIB solvers collection lists the web sites of all the QBF solvers we are currently aware of. Finally, QBFLIB maintains lists of links to related sites , of people involved in QBF research , and QBF-related events . Please help us to keep QBFLIB updated by submitting new instances, solvers, and tools. If you want to learn more about the submission process, contact us by email . Your collaboration is essential to improve QBFLIB, so do not hesitate to send us |
HTTP/1.1 301 Moved Permanently Date: Tue, 04 Jan 2022 08:49:05 GMT Server: Apache Location: http://www.qbflib.org/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Tue, 04 Jan 2022 08:49:05 GMT Server: Apache Upgrade: h2 Connection: Upgrade Last-Modified: Tue, 07 Jan 2020 07:00:32 GMT ETag: "daf-59b875501967d" Accept-Ranges: bytes Content-Length: 3503 Content-Type: text/html |
Domain Name: QBFLIB.ORG Registry Domain ID: D87185394-LROR Registrar WHOIS Server: whois.tucows.com Registrar URL: http://www.tucows.com Updated Date: 2021-05-19T12:07:04Z Creation Date: 2002-06-03T08:08:51Z Registry Expiry Date: 2022-06-03T08:08:51Z Registrar: Tucows Domains Inc. Registrar IANA ID: 69 Registrar Abuse Contact Email: domainabuse@tucows.com Registrar Abuse Contact Phone: +1.4165350123 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Registrant Organization: LUCA PULINA Registrant State/Province: SS Registrant Country: IT Name Server: DNS2.TECHNORAIL.COM Name Server: DNS.TECHNORAIL.COM Name Server: DNS3.ARUBADNS.NET Name Server: DNS4.ARUBADNS.CZ DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2022-01-04T21:33:29Z <<< |