Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | SAT/SMT by |
Description | SAT/SMT by Example SAT/SMT by Example Written by Dennis Yurichev . News: I’m teaching. --> Target audience: CS/math geeks. News: My Discord server/ch |
Keywords | N/A |
WebSite | sat-smt.codes |
Host IP | 65.21.252.127 |
Location | United States |
Site | Rank |
US$1,187,445
Last updated: 2023-05-12 12:36:50
sat-smt.codes has Semrush global rank of 8,913,512. sat-smt.codes has an estimated worth of US$ 1,187,445, based on its estimated Ads revenue. sat-smt.codes receives approximately 137,013 unique visitors each day. Its web server is located in United States, with IP address 65.21.252.127. According to SiteAdvisor, sat-smt.codes is safe to visit. |
Purchase/Sale Value | US$1,187,445 |
Daily Ads Revenue | US$1,097 |
Monthly Ads Revenue | US$32,884 |
Yearly Ads Revenue | US$394,598 |
Daily Unique Visitors | 9,135 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
sat-smt.codes. | A | 86399 | IP: 65.21.252.127 |
sat-smt.codes. | AAAA | 86399 | IPV6: 2a01:4f9:c010:aef3::1 |
sat-smt.codes. | NS | 86400 | NS Record: ns1.yurichev.org. |
sat-smt.codes. | MX | 86400 | MX Record: 10 vps5.yurichev.org. |
sat-smt.codes. | MX | 86400 | MX Record: 20 vps6.yurichev.org. |
SAT/SMT by Example SAT/SMT by Example Written by Dennis Yurichev . News: I’m teaching. --> Target audience: CS/math geeks. News: My Discord server/channels , twitter . Latest version is available to my private club’s members. --> The PDF The source code Some history Stay tuned! Subscribe to my news feed As seen on... ... Hacker News , Reddit: 1 , 2 , 3 . ... smt-lib mailing list. ... Goodreads Recommended at least at... Brigham Young University ( link , archived , screenshot ); Czech Technical University in Prague ( link , screenshot ); Deggendorf Institute of Technology ( link , screenshot ); IIT Dharwad ( link , screenshot ); Indian Institute of Technology Guwahati ( link , screenshot ); Johannes Kepler University Linz ( screenshot ); Northeastern University ( archived , screenshot ); Software and Computational Systems Lab ( link , archived , screenshot ); Stanford #1 ( link , archived , screenshot ); Stanford #2 ( archived , screenshot ); University of California, Santa |
HTTP/1.1 301 Moved Permanently Date: Fri, 17 Dec 2021 08:34:36 GMT Server: Apache/2.4.41 (Ubuntu) Location: https://sat-smt.codes/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Fri, 17 Dec 2021 08:34:37 GMT Server: Apache/2.4.41 (Ubuntu) Last-Modified: Fri, 05 Nov 2021 07:12:44 GMT ETag: "1d59-5d0055ea40e0c" Accept-Ranges: bytes Content-Length: 7513 Vary: Accept-Encoding Content-Type: text/html |
Domain Name: sat-smt.codes Registry Domain ID: 67fa7cd588754d77a6c21170d30d6f22-DONUTS Registrar WHOIS Server: whois.gandi.net Registrar URL: https://www.gandi.net Updated Date: 2021-09-17T02:25:34Z Creation Date: 2020-09-18T13:59:51Z Registry Expiry Date: 2022-09-18T13:59:51Z Registrar: Gandi SAS Registrar IANA ID: 81 Registrar Abuse Contact Email: abuse@support.gandi.net Registrar Abuse Contact Phone: +33.170377661 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Country: FR Name Server: vps5.yurichev.org Name Server: vps6.yurichev.org DNSSEC: unsigned >>> Last update of WHOIS database: 2021-12-17T08:41:00Z <<< |