Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Imandra - Reasoning as a Service |
Description | Cloud-native, automated reasoning engine and services. Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, use Imandra to ensure the algorithms you create are safe, explainable and fair. |
Keywords | N/A |
WebSite | www.imandra.ai |
Host IP | 146.148.27.162 |
Location | Mountain View, California, United States |
Site | Rank |
US$34,746
Last updated: Nov 25, 2020
Imandra.ai has global traffic rank of 2,935,756. Imandra.ai has an estimated worth of US$ 34,746, based on its estimated Ads revenue. Imandra.ai receives approximately 1,057 unique visitors each day. Its web server is located in Mountain View, California, United States, with IP address 146.148.27.162. According to SiteAdvisor, imandra.ai is safe to visit. |
Purchase/Sale Value | US$34,746 |
Daily Ads Revenue | US$19 |
Monthly Ads Revenue | US$571 |
Yearly Ads Revenue | US$6,949 |
Daily Unique Visitors | 1,057 |
Note: All traffic and earnings values are estimates. |
Global Rank | 2,935,756 |
Delta (90 Days) | 0 |
Most Popular In Country | N/A |
Country Rank | N/A |
Host | Type | TTL | Data |
imandra.ai | A | 299 | IP: 146.148.27.162 |
imandra.ai | MX | 21599 | Priority: 1 Target: aspmx.l.google.com. |
imandra.ai | MX | 21599 | Priority: 5 Target: alt2.aspmx.l.google.com. |
imandra.ai | MX | 21599 | Priority: 5 Target: alt1.aspmx.l.google.com. |
imandra.ai | MX | 21599 | Priority: 10 Target: aspmx3.googlemail.com. |
imandra.ai | MX | 21599 | Priority: 10 Target: aspmx2.googlemail.com. |
imandra.ai | NS | 21599 | Target: ns-cloud-b4.googledomains.com. |
imandra.ai | NS | 21599 | Target: ns-cloud-b1.googledomains.com. |
imandra.ai | NS | 21599 | Target: ns-cloud-b2.googledomains.com. |
imandra.ai | NS | 21599 | Target: ns-cloud-b3.googledomains.com. |
imandra.ai | TXT | 299 | TXT: google-site-verification=KCyhTTbQy9-j1DMy0J49SbX4llRN3296iNikdsD-YTk |
imandra.ai | SOA | 21599 | MNAME: ns-cloud-b1.googledomains.com. RNAME: cloud-dns-hostmaster.google.com. Serial: 13 Refresh: 21600 Retry: 3600 Expire: 259200 Minimum TTL: 300 |
HTTP/1.1 301 Moved Permanently Server: nginx/1.13.9 Date: Wed, 25 Nov 2020 09:58:57 GMT Content-Type: text/html Content-Length: 185 Connection: keep-alive Location: https://imandra.ai/ Strict-Transport-Security: max-age=15724800; includeSubDomains; HTTP/2 302 server: nginx/1.13.9 date: Wed, 25 Nov 2020 09:58:57 GMT content-length: 0 location: //www.imandra.ai/ x-frame-options: DENY strict-transport-security: max-age=15724800; includeSubDomains; HTTP/2 200 server: nginx/1.13.9 date: Wed, 25 Nov 2020 09:58:58 GMT content-type: text/html content-length: 70999 vary: Accept-Encoding x-frame-options: DENY strict-transport-security: max-age=15724800; includeSubDomains; |
Domain Name: imandra.ai Registry Domain ID: 260181_nic_ai Registry WHOIS Server:: whois.nic.ai Updated Date: 2019-08-13T02:30:05.535Z Creation Date: 2017-12-16T02:32:31.374Z Registry Expiry Date: 2021-08-20T02:32:31.428Z Registrar Registration Expiration Date: 2021-08-20T02:32:31.428Z Registrar: EuroDNS S.A. Registrar Abuse Contact Email: legalservices@eurodns.com Registrar Abuse Contact Phone: +352.27220150 Domain Status: ok https://icann.org/epp#ok Registry Registrant ID: Cpjb6-TpzBS Registrant Name: Redacted | EU Registrar Registrant Organization: Aesthetic Integration, Ltd Registrant Street: 185 Barnsbury Rd Registrant City: London Registrant Postal Code: N1 0EP Registrant Country: GB Registrant Phone: Redacted | EU Registrar Registrant Email: Redacted | EU Registrar Name Server: ns-cloud-b2.googledomains.com Name Server: ns-cloud-b3.googledomains.com Name Server: ns-cloud-b4.googledomains.com Name Server: ns-cloud-b1.googledomains.com DNSSEC: unsigned |